Suite Jordan-Kaiser results for solvers
QBFEVAL'16 - 2QBF Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
areqs21062.34438.8264.1599.71573.120.271
aspQ1396.7629.128.111559.410.5
cadet28786.99599.730.04599.7100
depqbf-v122136.89461.19239.73592.9333.950.25
depqbf-v221326.47444.3250.95592.93346.960.271
depqbf-v323194.39483.22224.84599.7100.229
dynQBF27590.8574.81119.82599.810.10.042
ghostq-cegar28033.55584.0388.03599.810.10.042
ghostq-plain27534.58573.64110.49599.820.10.042
hiqqer117170.65357.72273.11599.71591.880.458
hiqqer1ldsq17136.7357.01273.39599.71591.940.458
hiqqer317207.48358.49272.17599.71590.120.458
iprover-QBF26072.53543.18131.58599.220.10.021
iprover-QBF-bloqqer23162.82482.56112.97504.24202.690.021
qestos15839.8330239.21353.43569.250.333
qsts14323.89298.41258.35218.16594.440.625
rareqs8865.98184.71247.5730.16433.70.771
squeezebf+struqs26633.62554.87150.03599.7100.083
struqs-1026636.05554.92149.92599.7100.083
xb-bid-qsts13227.75275.58269.74151.38583.450.625
xb-qsts15335.58319.49274.99340.27595.190.542