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 |