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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL0.0100001
openQbf1.590.160.010.160.011
qbfbdd9009.86900.990.029010.030
QbflHR0.070.010.010.010.011
QChaffLearn0.0300.01001
QMRes0.10.010.010.010.011
QUANTOR0.0100001
semprop0.060.010.010.010.011
skizzo_v0.40.090.010.010.010.011
skizzo_v0.50.160.020.010.020.021
sSolve0.0400.0100.011
WalkQSAT0.050.010.010.010.011
yQuaffle0.060.010.010.010.011