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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL0.10.0100.0101
openQbf2.560.260.020.250.051
qbfbdd9007.28900.730.05900.70.040
QbflHR0.150.020.010.020.021
QChaffLearn0.060.010.010.010.011
QMRes9006.81900.680.08900.670.120
QUANTOR136.8713.690.7513.350.260
semprop0.050.010.0100.011
skizzo_v0.472.877.299.792.689.021
skizzo_v0.594.829.4812.72.739.071
sSolve0.0100001
WalkQSAT0.070.010.010.010.011
yQuaffle0.110.010.010.0101