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