Suite Ayari results for solvers
QBFEVAL'06

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ63671.812195.582769.79156.935932.430.276
GRL9743.59335.99269.61472.18557.630.31
openQbf121661.964195.242694.576000.795675.670.31
preQuantor27299.88941.381815.9923.151156.590.241
Qbfl71256.932457.142601.12599.75390.740.31
Quaffle16349.69563.7822.34564.9940.610
QUANTOR12550.56432.781515.4116.3513.740.138
QUANTOR_hc1753.7960.48147.416.5813.360.138
qube3.070984.062447.732620.88598.725969.190.345
qube4.055898.691927.542605.32296.454841.780.483
qube5.056405.61945.022593.91338.694836.110.483
semprop16315.98562.62141.08600.990.050.069
sKizzo-0.9-abs22727.32783.71598.7283.73429.960.517
sKizzo-0.9-grn34218.181179.942170.93255.51464.070.379
sKizzo-0.9-std21037.91725.451430.8566.3412.160.552
SQBF65421.482255.912301.291070.662798.840.241
sSolve94379.463254.462901.465432.15984.50.517
ssolve+ut89344.083080.832930.344495.485982.810.517
ssolve-ut94333.43252.882903.555416.155988.610.517
WalkQSAT10499.65362.06285.7600.98598.890.172
yQuaffle15899.09548.2437.14556.8978.30