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-2023 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.