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. The benchmark sources can be found here. The benchmark environment was SICStus Prolog 4.6.0, Ubuntu Linux 18.04 on a quad core 3.60GHz Intel Core i7-4790. In terms of LIPS performance (Logical Inferences Per Second), the nreverse benchmark, executing 497 inferences, indicates a rate of 303 MLIPS.

Benchmark	Iterations	seconds no JIT	seconds JIT
boyer	1000	9.678	4.607
browse	1000	12.070	10.649
chat_parser	10000	31.998	9.614
crypt	100000	5.256	3.687
deriv	10000000	18.693	7.394
dynamic_unit_clause	100000	8.182	7.141
fast_mu	1000000	16.265	7.375
flatten	1000000	7.996	4.431
itak	1000	30.129	26.497
meta_qsort	100000	7.531	3.007
mu	1000000	12.429	5.693
nreverse	10000000	38.528	16.348
nreverse_builtin	10000000	17.166	7.996
poly	10000	6.684	2.708
primes	1000000	17.945	9.825
prover	1000000	15.658	5.833
qsort	1000000	8.891	3.671
queens	100000	1.843	0.883
query	1000000	7.075	5.400
reducer	10000	5.679	2.325
sendmore	10000	11.397	7.902
simple_analyzer	50000	13.352	5.824
tak	10000	15.227	5.844
unify	500000	17.395	6.088
zebra	10000	6.285	4.319

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(default).


Copyright © 2001-2024 RISE Research Institutes of Sweden AB, Swedish org no: 556464-6874, All Rights Reserved. DUNS: 357295187		For more information on SICStus Prolog, please email SICStus Request.