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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.10.010.010.010.011
GRL0.270.030.010.030.011
openQbf3.680.370.060.370.11
preQuantor0.080.010.010.010.010.9
Qbfl5996.03599.60.19599.580.310
Quaffle0.670.070.010.070.011
QUANTOR104.7310.4711.967.9916.340.5
QUANTOR_hc104.7610.4811.967.4816.270.5
qube3.00.420.040.010.040.021
qube4.00.480.050.010.050.011
qube5.00.720.070.010.080.021
semprop0.130.010.010.0101
sKizzo-0.9-abs44.94.498.780.130.121
sKizzo-0.9-grn17.341.733.210.130.071
sKizzo-0.9-std45.254.538.830.150.111
SQBF0.110.010.010.010.011
sSolve2.490.250.030.250.041
ssolve+ut2.010.20.030.190.011
ssolve-ut1.790.180.030.190.041
WalkQSAT0.210.020.010.0201
yQuaffle0.260.030.010.030.011