Family mA-t2-4qbf-5cnf-20var-40cl results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL0.0300.01001
openQbf1.590.160.010.160.011
qbfbdd8108.67810.87270.28900.990.250.1
QbflHR0.0200001
QChaffLearn0.0300.01001
QMRes0.130.010.010.010.011
QUANTOR0.0200001
semprop0.0100001
skizzo_v0.40.150.020.010.010.011
skizzo_v0.50.130.010.010.010.011
sSolve0.0400.0100.011
WalkQSAT0.0400.0100.011
yQuaffle0.0300.01000.9