Suite Faber-Leone-Maratea-Ricca results for solvers
QBFEVAL'06

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ2186324.644125.142653.256000.425498.430.336
GRL257591.01486.02230.46600.870.140.206
openQbf2646433.414993.272177.496000.880.090.181
preQuantor30591.0957.7245.863.1883.450.087
Qbfl2715140.175122.912072.675999.133.260.158
Quaffle588972.571111.271703.5559.5721.110.079
QUANTOR38207.9172.0933.6873.138.960.121
QUANTOR_hc38308.5572.2833.6573.4639.630.121
qube3.01039498.051961.322676.7862.525997.320.711
qube4.01052244.451985.372695.19615997.70.709
qube5.01051847.651984.622694.8860.725998.270.709
semprop127567.56240.69289.980.28600.880.613
sKizzo-0.9-abs2386978.974503.732271.176000.473373.860.147
sKizzo-0.9-grn2877918.785430.041725.046000.690.130.075
sKizzo-0.9-std2844109.435366.241784.886000.670.180.094
SQBF2504093.814724.712031.675960.081688.970.145
sSolve2598993.724903.762256.466000.270.110.196
ssolve+ut2396444.894521.592484.276000.264168.010.194
ssolve-ut1939422.73659.292757.166000.255400.010.179
WalkQSAT276911.87522.48197.29600.980.030.096
yQuaffle547898.151033.771680.22559.3250.150.189