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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL0.340.030.050.010.021
openQbf8.10.810.70.430.841
qbfbdd9008.31900.830.02900.840.050
QbflHR5.460.551.2200.011
QChaffLearn0.340.030.070.010.021
QMRes6118.82611.88276.7629.51644.160.6
QUANTOR2020.51202.05225.44102.9109.610
semprop0.060.010.010.010.011
skizzo_v0.4129.3812.9414.076.213.270.9
skizzo_v0.52788.27278.83259.23157.79234.460.8
sSolve0.050.010.010.010.011
WalkQSAT0.330.030.0700.011
yQuaffle0.960.10.10.050.091