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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL3418.94341.89380.85152.35348.30.7
openQbf7032.55703.26315.1900.9606.570.3
qbfbdd9008.33900.830.03900.820.050
QbflHR7039.68703.97319.39901756.930.3
QChaffLearn3360.31336.03307.76259.34452.750.8
QMRes9006.76900.680.05900.680.080
QUANTOR94.819.480.579.20.470
semprop947.4394.74269.090.070.170.9
skizzo_v0.4433.7843.3825.7942.3133.31
skizzo_v0.5747.2774.7359.9961.5138.271
sSolve0.10.010.010.010.011
WalkQSAT5141.54514.15397.86635.69877.650.5
yQuaffle5164.31516.43400.65671.06862.490.5