Benchmarks used in the evaluation

AKL

Prolog

Timings on a SS-20, Model 50 SuperSPARC, 64MByte

Benchmark Penny AGENTS 1.0 SICStus v3(em)
Hanoi 2.9s 2.7s 1.6s
KKqueens 2.7s 3.1s 1.0s
TSP 1.7s 1.7s 0.63s
Mastermind 2.6s 2.2s 0.65s
Matrix 2.5s 2.5s 1.3s
Sum: 12.4s 12.2s 5.18s