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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL1.010.10.090.060.071
openQbf1678.26167.83230.5643.9351
qbfbdd9009.85900.990.029010.040
QbflHR81.218.125.87.769.331
QChaffLearn15.791.583.310.270.751
QMRes6794.47679.45328.48900.57765.760.4
QUANTOR1429.64142.96174.0464.4865.330
semprop5.970.61.290.180.210.9
skizzo_v0.49008.33900.830.05900.850.090
skizzo_v0.59007.49900.750.14900.80.220
sSolve0.050.010.010.010.011
WalkQSAT1.010.10.130.030.041
yQuaffle2245.49224.55293.9357.13247.40.8