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