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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL8.220.821.60.210.191
openQbf8112.61811.26268.98900.920.040.1
qbfbdd9009.93900.990.019010.020
QbflHR9010.039010.0190100
QChaffLearn4.820.481.060.090.091
QMRes9004.28900.430.18900.380.260
QUANTOR95.759.580.19.560.160
semprop0.210.020.010.020.021
skizzo_v0.4466.6946.6732.2541.6229.271
skizzo_v0.5689.0168.948.4463.5859.571
sSolve0.110.010.010.0101
WalkQSAT4.810.481.030.070.081
yQuaffle8987.47898.750.27898.780.480