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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL0.070.010.010.010.011
openQbf4.920.490.760.230.11
qbfbdd9009.75900.980.02900.980.050
QbflHR0.0400.01001
QChaffLearn0.0400.01001
QMRes2364.4236.44318.5472.593.330.9
QUANTOR637.5863.7685.6116.7717.030
semprop0.0400.01001
skizzo_v0.41860.37186.04240.1991.78177.490.9
skizzo_v0.53975.99397.6277.27373.94365.730.8
sSolve0.0200001
WalkQSAT0.050.010.010.010.011
yQuaffle6.040.60.890.190.21