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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL0.140.010.010.010.011
openQbf3.590.360.030.370.051
qbfbdd0.0100001
QbflHR0.0400.0100.011
QChaffLearn0.120.010.010.0101
QMRes9003.94900.390.17900.330.080
QUANTOR0.140.010.010.020.021
semprop0.10.010.010.010.011
skizzo_v0.40.440.040.010.050.021
skizzo_v0.50.450.050.020.040.041
sSolve0.090.010.010.010.011
WalkQSAT0.120.010.010.010.021
yQuaffle0.140.010.010.010.011