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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL8050.38805.04268.89900.9858.490.2
openQbf9009.14900.910.02900.920.030
qbfbdd9009.51900.950.03900.960.040
QbflHR8036.58803.66253.5901123.690.2
QChaffLearn7465.48746.55248.4829.9410.130.1
QMRes4544.37454.44310.68365.94284.710.7
QUANTOR188.7618.8812.8721.0918.430.4
semprop6415.47641.55363.14901896.460.4
skizzo_v0.47081.65708.17344.37900.77870.350.2
skizzo_v0.56769.46676.95338.82900.47775.930.2
sSolve0.290.030.010.030.011
WalkQSAT7556.55755.66280.16901404.750.3
yQuaffle8188.47818.85244.72900.450.460.1