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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL0.690.070.040.050.031
openQbf549.0154.999.912.8360.091
qbfbdd9009.989010.019010.010
QbflHR9010.039010.0190100
QChaffLearn0.370.040.020.040.021
QMRes8999.959000.89900.290.230
QUANTOR140.8114.080.1714.130.280
semprop0.130.010.010.010.011
skizzo_v0.4326.5332.653511.635.31
skizzo_v0.5433.5343.3541.1511.4469.981
sSolve0.250.030.010.030.011
WalkQSAT0.320.030.010.030.011
yQuaffle0.260.030.010.020.011