Family jmc_quant results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL9007.8900.780.18900.860.320
openQbf9009.2900.920.02900.930.030
qbfbdd9007.9900.790.09900.830.220
QbflHR9010.029010.019010.020
QChaffLearn8977.56897.761.97897.4630
QMRes4435.56443.56401.08386.05894.670.4
QUANTOR1957.6195.76286.7755.591.460
semprop9009.94900.990.01900.990.010
skizzo_v0.49006.87900.690.1900.70.120
skizzo_v0.59003.4900.340.28900.30.630
sSolve9008.53900.850.06900.860.120
WalkQSAT8872.64887.2641.29010.030.1
yQuaffle9005.86900.590.09900.60.180