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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL7600.27760.03294.77900.96511.820.2
openQbf9009.17900.920.02900.920.040
qbfbdd9009.91900.990.01900.990.020
QbflHR2054.74205.47267.27104.8283.320.9
QChaffLearn8061.9806.1915.37800.1123.760
QMRes9004.18900.420.16900.390.230
QUANTOR169.816.9810.0811.974.040
semprop2724.16272.42411.514.124.730
skizzo_v0.48121.26812.13266.15900.850.260.1
skizzo_v0.58136.78813.68261.5900.860.160.1
sSolve912.6491.26269.910.010.10.9
WalkQSAT5552.73555.27386.41792.51850.940.5
yQuaffle8986.64898.660.37898.750.410