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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ182.9718.30.8718.541.791
GRL11.481.151.810.040.291
openQbf6.960.70.750.420.171
preQuantor125.8812.598.2917.3217.840
Qbfl28.012.84.940.432.651
Quaffle3521.12352.11263.87461.09597.70.5
QUANTOR139.5113.950.8613.940.880
QUANTOR_hc147.714.770.7914.721.120
qube3.00.480.050.060.030.021
qube4.00.470.050.060.030.021
qube5.00.670.070.060.050.011
semprop0.090.010.010.010.011
sKizzo-0.9-abs57849.695784.97630.916000.3633.380
sKizzo-0.9-grn220.4222.0416.8415.838.231
sKizzo-0.9-std216.8921.6917.6515.778.891
SQBF545.1754.52105.5419.742.281
sSolve1.890.190.030.180.031
ssolve+ut1.860.190.040.20.071
ssolve-ut1.810.180.030.180.031
WalkQSAT3606.08360.61294.42600.99600.990.4
yQuaffle132.6113.2638.440.40.521