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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL0.380.040.030.030.011
openQbf129.1812.9223.81.991.771
qbfbdd9009.91900.990.019010.020
QbflHR8921.76892.1826.499010.010.1
QChaffLearn0.170.020.010.020.011
QMRes9003.29900.330.12900.360.230
QUANTOR127.4612.750.112.740.10
semprop0.090.010.010.010.011
skizzo_v0.4815.781.5788.163.4951.331
skizzo_v0.51104.6110.4677.47112.04104.061
sSolve0.110.0100.0101
WalkQSAT0.160.020.010.020.011
yQuaffle8.80.882.090.030.021