Suite Mneimneh-Sakallah results for solvers
QBFEVAL'08

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN72606.09424.6267.19600571.040.298
Nenofex77344.76452.31198.54600435.860.029
quantor3.092996.3543.84164.4660000.099
QuBE6.168406.31400.04270.55600573.350.363
ssolve-A100491.78587.6781.7560000.023
ssolveB100731.17589.0778.2360000.023
ssolveC97584.91570.67125.860000.023