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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL0.0200001
openQbf1.590.160.020.160.021
qbfbdd9009.8900.980.02900.980.040
QbflHR0.060.010.010.010.011
QChaffLearn0.0300.01001
QMRes0.150.020.010.020.011
QUANTOR0.0100001
semprop0.050.010.010.010.011
skizzo_v0.40.150.020.010.0101
skizzo_v0.50.10.010.010.010.011
sSolve0.0400.0100.011
WalkQSAT0.0200001
yQuaffle0.440.040.10.010.020.8