Raw benchmark times
system cqueens crypt deriv nrev poly primes qsort queens query tak
swiprolog_seq 2421.091 100.133 0.831 4.265 384.857 9.691 4.395 90780.000 78.080 1450.500
nuprolog_seq 1662.528 72.959 0.558 1.246 219.240 5.988 2.776 56100.000 40.821 667.333
nuprolog_co 1479.750 83.269 0.945 1.246 245.187 5.822 3.550 2687.787 41.696 749.374
nuprolog_best 1479.750 72.959 0.558 1.246 219.240 5.822 2.776 2687.787 40.821 667.333
wamcc_seq 568.718 23.259 0.377 1.146 130.107 2.776 1.551 22075.667 39.239 396.600
quintus_seq 641.250 28.805 0.302 0.409 104.350 2.740 1.253 21045.000 22.979 421.190
sicstuscomp_seq 1175.802 48.066 0.534 1.404 172.280 5.659 2.410 43936.600 43.732 577.477
sicstuscomp_co 1258.447 55.450 0.619 2.220 202.906 6.319 3.183 3583.444 45.732 663.557
sicstuscomp_best 1175.802 48.066 0.534 1.404 172.280 5.659 2.410 3583.444 43.732 577.477
sicstusfast_seq 399.407 16.584 0.122 0.352 48.459 1.690 0.633 13271.133 17.731 125.360
sicstusfast_co 693.667 32.063 0.344 1.955 121.050 3.622 1.986 2951.900 20.210 384.400
sicstusfast_best 399.407 16.584 0.122 0.352 48.459 1.690 0.633 2951.900 17.731 125.360
aquarius_none 149.017 13.740 0.115 0.271 39.102 1.195 0.298 5724.700 17.206 51.777
aquarius_decl 138.579 13.492 0.105 0.219 30.657 1.079 0.263 5220.520 9.048 32.707
aquarius_anal 93.471 13.280 0.053 0.116 20.431 0.827 0.135 3477.150 4.300 26.618
aquarius_both 93.484 13.209 0.053 0.116 20.366 0.753 0.134 3472.225 4.298 15.393
aquarius_best 93.471 13.209 0.053 0.116 20.366 0.753 0.134 3472.225 4.298 15.393
mercury_none.gc 180.629 16.428 0.314 1.048 53.656 1.515 0.940 11755.333 3.236 43.195
mercury_none 127.323 7.992 0.125 0.301 25.606 0.786 0.427 7077.333 3.198 42.815
mercury_asm_fast.gc 106.067 13.753 0.204 0.868 38.282 1.159 0.518 7418.667 1.957 12.510
mercury_asm_fast 49.344 3.444 0.032 0.106 9.632 0.410 0.110 2675.556 1.941 12.413
mercury_best 49.344 3.444 0.032 0.106 9.632 0.410 0.110 2675.556 1.941 12.413