Suite Jordan-Kaiser results for solvers
QBFEVAL'17 - Prenex 2QBF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ASPQ220893.08254.79310.6741.59699.480.707
CADET_201759619.19727.06345.7890000.207
caqe_2017_v127598.02336.56391.2371.6898.860.732
caqe_2017_v241263.29503.21419.97831.66883.230.512
caqe_2017_v341268.38503.27419.93830.06883.180.512
CUED1919_NL33532.37408.93376.04357877.180.488
CUED1919_NNL42988.22524.25418.77900893.980.476
dynQBF-bloqqer-hqspre66111.7806.24268.4990000.11
DynQBF-bloqqer-hqspre-it66279.59808.29261.6490000.122
DynQBF-bloqqer-variant66177.15807.04267.0790000.11
ghostq-cegar65558.73799.5274.9890000.122
GhostQ-PG_cegar16253.42198.21336.995.41190.030.829
GhostQ-PG_plain44122.6538.08414.85900892.470.476
heretiq53202.78648.81387.6900848.840.305
ijtihad_v167507.08823.26251.290000.085
ijtihad_v266399.84809.75266.4990000.122
iProver-qbf-2017-07-27-v371597.75873.14140.6190000.037
iProver-qbf-bloqqer-2017-07-27-v368400.45834.15234.3690000.073
no-prefix-opt-depqbf57807.39704.97359.2190090.950.244
qbfrelay6112.8474.55142.112.3828.190.085
qbfrelay-limited-depqbf56333.97687356.22888.21493.150.256
QELL_default43246.9527.4421.56900884.160.451
QELL_unit42812.63522.11420.47900888.660.476
qesto29456.26359.22403.2794.01896.740.671
rareqs20238.43246.81356.3432.3299.760.793
rev_qfun0.165597799.96271.7190000.122
xb-qsts_bqsts2.034350.36418.91396.11292.03891.660.646
xb-qsts_xbqsts1.034429.21419.87395.68295.14891.20.646
xb-qsts_xbqsts2.034425.27419.82395.54294.87891.250.646