Suite Ling results for solvers
QBFEVAL'08

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN12.861.611.021.041.561
Nenofex15.321.913.120.461.981
quantor3.04.260.530.710.140.951
QuBE6.11347.42168.43253.570.6372.950.75
ssolve-A1407.89175.99249.6925.32378.510.75
ssolveB1435.48179.43249.1928.13389.470.75
ssolveC1319.9164.99252.6915.46344.40.75