Suite Scholl-Becker results for solvers
QBFEVAL'06

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ13879.936941598.540.59186.660.9
GRL5556.89277.84231.48226.87531.820.15
openQbf120017.176000.860.066000.880.050
preQuantor20135.341006.772113.010.6610.350.75
Qbfl54830.312741.522654.41599.345394.370.05
Quaffle23151.131157.562060.8309.33581.170.65
QUANTOR3334.23166.71243.760.22383.530.6
QUANTOR_hc3191.96159.6238.890.24313.320.6
qube3.046481.162324.062725.02599.295980.170.55
qube4.046760.362338.022598.09650.335971.710.6
qube5.036499.031824.952455583.283938.40.6
semprop6325.06316.25262.73256.25595.050.55
sKizzo-0.9-abs6667.18333.36501.5110.97545.70.7
sKizzo-0.9-grn26270.521313.532359.152.5865.560.75
sKizzo-0.9-std10679.3533.971336.3311.2410.880.6
SQBF6512.3325.62741.360.6305.510.8
sSolve41156.432057.822682.73159.975986.740.7
ssolve+ut41675.682083.782673.37160.095985.320.7
ssolve-ut41155.572057.782683.92156.155987.960.7
WalkQSAT4336.19216.81253.1651.11509.320.15
yQuaffle36783.211839.162505.34149.174620.920.8