Family Impl results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL0.0200001
openQbf52.355.2411.160.431.11
qbfbdd3476.08347.61426.152.06773.720.6
QbflHR0.050.010.010.010.011
QChaffLearn0.0400.0100.011
QMRes0.140.010.010.010.021
QUANTOR0.0200001
semprop0.0400.0100.011
skizzo_v0.40.150.020.010.020.021
skizzo_v0.50.180.020.010.020.011
sSolve1167.15116.72270.080.334.270.9
WalkQSAT0.050.010.010.010.011
yQuaffle0.080.010.010.010.011