Family RankingFunctions results for solvers
QBFEVAL'16 - 2QBF Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
areqs1.760.040.030.030.041
aspQ1.950.040.030.030.041
cadet11.490.230.460.080.151
depqbf-v110081.45201.63280.830.11592.50.66
depqbf-v2100.222.940.661.911
depqbf-v384.811.72.770.561.591
dynQBF29388.02587.7683.96599.710.10.02
ghostq-cegar29390.21587.883.96599.8100.02
ghostq-plain29392.29587.8583.96599.810.10.02
hiqqer11203.2724.07117.510.070.060.96
hiqqer1ldsq1202.5124.05117.510.060.060.96
hiqqer31203.324.07117.510.070.050.96
iprover-QBF18214.35364.29177.06355.14275.410.2
iprover-QBF-bloqqer27.980.560.550.350.560.98
qestos1.770.040.030.030.041
qsts29414.97588.331.03599.7100
rareqs1.740.030.030.030.041
squeezebf+struqs1906.0138.12141.930.92.740.94
struqs-101905.2738.11141.940.862.670.94
xb-bid-qsts26.630.530.540.310.561
xb-qsts26.270.530.540.310.551