Prolog Performance
Benchmarks
Results of Prolog benchmarks (see Sicstus Prolog web site). Times in seconds.
Benchmark | Iterations | ECLiPSe 6.1#229 Ubuntu Linux 16.04 Intel Core i3-3240 3.40GHz |
ECLiPSe 7.0#36 Ubuntu Linux 16.04 Intel Core i3-3240 3.40GHz |
boyer | 1000 | 11.4 | 12.3 |
browse | 1000 | 18.3 | 15.6 |
chat_parser | 1000 | 5.7 | 5.1 |
crypt | 100000 | 7.9 | 6.5 |
deriv | 1000000 | 3.1 | 2.6 |
dynamic_unit_clause | 100000 | 104.5 | 106.3 |
fast_mu | 100000 | 3.2 | 2.6 |
flatten | 1000000 | 15.2 | 14.8 |
itak | 1000 | 17.0 | 19.4 |
meta_qsort | 50000 | 6.2 | 5.4 |
mu | 100000 | 2.5 | 2.2 |
nreverse_builtin | 1000000 | 6.8 | 5.0 |
nreverse | 1000000 | 6.8 | 5.0 |
poly | 10000 | 11.6 | 10.6 |
primes | 100000 | 2.2 | 2.1 |
prover | 100000 | 3.4 | 3.1 |
qsort | 1000000 | 13.9 | 12.4 |
queens | 100000 | 2.8 | 2.7 |
query | 1000000 | 13.1 | 10.8 |
reducer | 5000 | 5.2 | 4.6 |
sendmore | 5000 | 9.0 | 8.8 |
simple_analyzer | 5000 | 2.4 | 2.3 |
tak | 10000 | 29.0 | 27.2 |
unify | 200000 | 10.8 | 10.5 |
zebra | 5000 | 5.8 | 4.8 |