Suite Katz results for solvers
QBFEVAL'06

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ20645.552949.361971.721921.081277.80
GRL4206.29600.90.05600.90.080
openQbf42005.766000.820.16000.860.280
preQuantor1373.22196.17255.4638.6611.310
Qbfl4097.17585.313.02586.235.120
Quaffle4135.98590.851.89589.842.70
QUANTOR12318.661759.812682.1479.851.870
QUANTOR_hc1522.74217.53242.9580.7259.710
qube3.032164.464594.922222.236000.334938.870
qube4.033335.54762.211982.56000.274918.010
qube5.033319.564759.941986.066000.384925.870
semprop4206.96600.990.016010.020
sKizzo-0.9-abs25350.013621.432756.046000.445927.350
sKizzo-0.9-grn31606.24515.172351.386000.315417.710
sKizzo-0.9-std24454.863493.552716.345338.255925.180.143
SQBF1804.45257.7843.15259.27107.480
sSolve31459.254494.182385.325998.865568.980.286
ssolve+ut31458.44494.062384.615998.795568.430.286
ssolve-ut26044.973720.712637.276000.285574.220.286
WalkQSAT4206.976010.016010.020
yQuaffle37568.785366.971001.125999.942250.820