Suite Gent-Rowley results for solvers
QBFEVAL'06

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ50.380.210.380.341
GRL34.42.653.481.340.461
openQbf8656.49665.88533.66561.0932.521
preQuantor4.930.380.230.350.381
Qbfl7252.7557.91586.120.340.10.923
Quaffle950.2773.1159.016.32.180.923
QUANTOR142.610.9720.260.750.340.769
QUANTOR_hc140.2510.7919.870.90.40.769
qube3.0286.7122.0560.073.091.230.923
qube4.03959.71304.59168.12276.58277.651
qube5.018984.731460.36768.541730.581042.691
semprop505.3938.88104.641.450.631
sKizzo-0.9-abs4830371.541089.111.430.630.769
sKizzo-0.9-grn290.5922.3540.941.410.590.846
sKizzo-0.9-std1238.495.26192.751.530.660.769
SQBF5.280.410.220.510.341
sSolve141.9810.9226.871.030.421
ssolve+ut158.8512.2227.251.043.761
ssolve-ut128.129.8624.981.020.371
WalkQSAT1810.64139.28252.870.890.280
yQuaffle802.4961.73138.832.610.70.923