Family mA-t2-6qbf-5cnf-80var-640cl results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ60004.26000.4206000.4200
GRL6009.59600.960.02600.960.020
openQbf60007.536000.750.156000.790.260
preQuantor296.3829.649.7427.0214.050
Qbfl39655.233965.522509.885987.735398.280.1
Quaffle5230.92523.091.8523.613.690
QUANTOR322.9932.320.0428.0417.970
QUANTOR_hc326.3132.6319.8429.3316.510
qube3.060007.056000.710.116000.730.140
qube4.060006.646000.660.116000.670.090
qube5.060006.736000.670.146000.70.180
semprop5409.05540.91180.276010.020.1
sKizzo-0.9-abs48248.494824.852352.226000.755768.370.2
sKizzo-0.9-grn42639.464263.952654.746000.785806.990.2
sKizzo-0.9-std48251.74825.172351.696000.755766.250.2
SQBF3389.5338.9555.48339.4649.810
sSolve1770.01177529.440.221.011
ssolve+ut1770.71177.07526.220.271.031
ssolve-ut602.8660.291800.190.070.9
WalkQSAT60106010.016010.010
yQuaffle5981.16598.120.31598.120.410