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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL0.960.10.060.080.031
openQbf48.014.81.714.023.341
qbfbdd2.390.240.270.180.161
QbflHR16.81.681.760.580.571
QChaffLearn8.690.870.30.960.551
QMRes1.240.120.070.110.071
QUANTOR0.450.050.040.030.021
semprop1.620.160.050.160.061
skizzo_v0.4314.9631.532.0217.0824.531
skizzo_v0.575.947.596.535.236.131
sSolve0.0400.0100.011
WalkQSAT3.810.380.150.350.261
yQuaffle0.790.080.090.050.051