Family Toilet results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN10.371.30.810.930.471
Nenofex4.260.530.740.090.871
quantor3.01.060.130.230.030.121
QuBE6.11881.96235.25283.2540.36599.380.625
ssolve-A5.680.711.260.10.761
ssolveB7.840.981.890.10.841
ssolveC4.760.61.020.090.681