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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL0.060.010.010.010.011
openQbf1.750.180.020.180.011
qbfbdd9009.64900.960.05900.980.050
QbflHR0.110.010.010.010.011
QChaffLearn0.0400.0100.011
QMRes0.710.070.010.070.011
QUANTOR0.0300.01001
semprop0.0300.01001
skizzo_v0.40.090.010.010.010.011
skizzo_v0.50.170.020.010.020.011
sSolve0.050.010.010.010.011
WalkQSAT0.060.010.010.010.011
yQuaffle901.9890.2268.810.070.110.9