Suite Tacchella results for solvers
QBFEVAL'06

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ690561.621255.572186.7526.761246.620.765
GRL59230.27107.69216.060.1344.180.76
openQbf1305613.992373.842866.7252.726000.360.622
preQuantor90055.64163.74840.3418.2832.060.145
Qbfl1238030.952250.972754.7598.565993.720.449
Quaffle245513.29446.39834520.7542.810.391
QUANTOR27094.3349.26166.7517.5511.120.118
QUANTOR_hc22738.2741.3486.4217.6210.360.113
qube3.0449984.27818.152002.770.071.050.871
qube4.0403047.27732.811899.840.070.630.893
qube5.0402971.69732.681899.590.090.620.893
semprop48494.1488.17209.090.020.930.845
sKizzo-0.9-abs1046891.251903.442681.2324.815990.110.667
sKizzo-0.9-grn722060.291312.842435.914.13175.990.758
sKizzo-0.9-std765141.411391.172461.9615.8483.530.773
SQBF295345.79536.991493.2227.97236.40.758
sSolve8282.6915.06174.010.220.281
ssolve+ut8926.7316.23173.750.242.020.998
ssolve-ut6939.8112.62157.160.20.080.998
WalkQSAT64824.11117.86227.690.0746.590.762
yQuaffle327176.83594.871302.59316.67598.540.524