Family Selection-hard results for solvers
QBFEVAL'17 - Prenex 2QBF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ASPQ22582.4258.24308.449.08370.090.7
CADET_20179000900090000
caqe_2017_v15777.04577.7397.23900876.030.4
caqe_2017_v24736.29473.63427.87521.22882.760.5
caqe_2017_v34733473.3428.13519.68882.810.5
CUED1919_NL9000900090000
CUED1919_NNL9000900090000
dynQBF-bloqqer-hqspre8107.42810.74267.7790000.1
DynQBF-bloqqer-hqspre-it8107.68810.77267.790000.1
DynQBF-bloqqer-variant9000900090000
ghostq-cegar8917.14891.7124.8690000.1
GhostQ-PG_cegar8978.17897.826.5590000.1
GhostQ-PG_plain9000900090000
heretiq9000900090000
ijtihad_v19000900090000
ijtihad_v29000900090000
iProver-qbf-2017-07-27-v39000900090000
iProver-qbf-bloqqer-2017-07-27-v38118.84811.88264.3590000.1
no-prefix-opt-depqbf9000900090000
qbfrelay306.3530.6426.1620.9625.130.1
qbfrelay-limited-depqbf7369.54736.95304.52888.27711.480.2
QELL_default9000900090000
QELL_unit9000900090000
qesto8164.81816.48250.5690000.1
rareqs7363.7736.37328.8900746.970.2
rev_qfun0.19000900090000
xb-qsts_bqsts2.08106.35810.64268.190000.1
xb-qsts_xbqsts1.08107.77810.78267.6790000.1
xb-qsts_xbqsts2.08107.69810.77267.6990000.1