Family C6288 results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL7207.05900.880.12900.950.160
openQbf7207.52900.940.03900.950.060
qbfbdd7207.3900.910.08900.940.110
QbflHR7207.93900.990.019010.010
QChaffLearn7202.27900.280.32900.260.620
QMRes7204.37900.550.19900.510.320
QUANTOR100.6712.581.4913.112.660
semprop6310.89788.86296.65900.990.010.125
skizzo_v0.43193.69399.21306.06315.75416.870.125
skizzo_v0.53303.08412.89281.21328.33341.690.125
sSolve7207.86900.980.02900.990.040
WalkQSAT3707.82463.48437.86479.44878.970
yQuaffle7202.76900.350.23900.460.30