SICStus Prolog Homepage WELCOME TO
SICStus Prolog
Leading Prolog Technology
  SICStus Home > Performance Summary Download for Evaluation
Performance data for SICStus Prolog

Performance data for SICStus Prolog

Performance Summary

The SICStus Prolog compiler produces portable, optimized virtual machine code.

Prolog Benchmarks

The table below shows performance for selected benchmarks from the Aquarius benchmark suite, plus a few additions from other sources. In terms of LIPS performance (Logical Inferences Per Second), the table indicates a rate of >61 MLips on a 2.67 GHz Intel Core i7. The benchmark sources can be found here.
Benchmark Iterations SICStus Release Hardware Platform CPU Seconds
boyer 100 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 2.29
Linux glibc2.5 (x86, 64 bits) 1.90
MS Windows (32 bits) 2.65
browse 100 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 6.02
Linux glibc2.5 (x86, 64 bits) 4.35
MS Windows (32 bits) 4.91
chat_parser 100 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 0.79
Linux glibc2.5 (x86, 64 bits) 0.74
MS Windows (32 bits) 0.73
crypt 10000 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 1.14
Linux glibc2.5 (x86, 64 bits) 1.02
MS Windows (32 bits) 1.22
deriv 100000 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 0.47
Linux glibc2.5 (x86, 64 bits) 0.39
MS Windows (32 bits) 0.41
dynamic_unit_clause 10000 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 1.21
Linux glibc2.5 (x86, 64 bits) 1.10
MS Windows (32 bits) 1.01
fast_mu 10000 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 0.43
Linux glibc2.5 (x86, 64 bits) 0.36
MS Windows (32 bits) 0.44
flatten 100000 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 2.26
Linux glibc2.5 (x86, 64 bits) 1.80
MS Windows (32 bits) 2.29
itak 100 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 5.52
Linux glibc2.5 (x86, 64 bits) 4.65
MS Windows (32 bits) 5.25
meta_qsort 5000 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 0.99
Linux glibc2.5 (x86, 64 bits) 0.86
MS Windows (32 bits) 1.08
mu 10000 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 0.35
Linux glibc2.5 (x86, 64 bits) 0.29
MS Windows (32 bits) 0.33
nreverse 100000 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 1.07
Linux glibc2.5 (x86, 64 bits) 0.81
MS Windows (32 bits) 0.87
nreverse_builtin 100000 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 0.38
Linux glibc2.5 (x86, 64 bits) 0.33
MS Windows (32 bits) 0.33
poly 1000 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 1.60
Linux glibc2.5 (x86, 64 bits) 1.30
MS Windows (32 bits) 1.59
primes 10000 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 0.37
Linux glibc2.5 (x86, 64 bits) 0.32
MS Windows (32 bits) 0.33
prover 10000 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 0.41
Linux glibc2.5 (x86, 64 bits) 0.35
MS Windows (32 bits) 0.37
qsort 100000 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 2.35
Linux glibc2.5 (x86, 64 bits) 1.93
MS Windows (32 bits) 2.14
queens 10000 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 0.39
Linux glibc2.5 (x86, 64 bits) 0.38
MS Windows (32 bits) 0.47
query 100000 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 1.63
Linux glibc2.5 (x86, 64 bits) 1.47
MS Windows (32 bits) 1.53
reducer 500 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 0.76
Linux glibc2.5 (x86, 64 bits) 0.65
MS Windows (32 bits) 0.80
sendmore 500 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 1.25
Linux glibc2.5 (x86, 64 bits) 1.11
MS Windows (32 bits) 1.89
simple_analyzer 500 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 0.34
Linux glibc2.5 (x86, 64 bits) 0.30
MS Windows (32 bits) 0.34
tak 1000 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 3.06
Linux glibc2.5 (x86, 64 bits) 2.73
MS Windows (32 bits) 3.34
unify 20000 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 1.88
Linux glibc2.5 (x86, 64 bits) 1.55
MS Windows (32 bits) 1.92
zebra 500 4.2.0 Intel Core i7 (2.67 GHz) Linux glibc2.5 (x86, 32 bits) 0.85
Linux glibc2.5 (x86, 64 bits) 0.73
MS Windows (32 bits) 0.73

Some CLPFD Benchmarks

We do not maintain benchmark figures for the finite domain constraint solver, but the distribution comes with a number of demonstration programs and a benchmark harness for these. To run the harness and view the performance figures, type the following:
| ?- load_files(library('clpfd/examples/bench')).
| ?- bench.

Valid HTML 4.01 Transitional