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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ASPQ23294.69329.47314.99235.14696.030.6
CADET_20179000900090000
caqe_2017_v17679.28767.93284.7900422.840.2
caqe_2017_v27278.02727.8344.81900823.280.2
caqe_2017_v37278.4727.84344.74900822.920.2
CUED1919_NL9000900090000
CUED1919_NNL9000900090000
dynQBF-bloqqer-hqspre8105.95810.6268.2290000.1
DynQBF-bloqqer-hqspre-it8105.97810.6268.2190000.1
DynQBF-bloqqer-variant9000900090000
ghostq-cegar9000900090000
GhostQ-PG_cegar9000900090000
GhostQ-PG_plain9000900090000
heretiq9000900090000
ijtihad_v19000900090000
ijtihad_v29000900090000
iProver-qbf-2017-07-27-v39000900090000
iProver-qbf-bloqqer-2017-07-27-v38119.94811.99264.0290000.1
no-prefix-opt-depqbf9000900090000
qbfrelay223.5222.3516.2314.838.320.1
qbfrelay-limited-depqbf8077.2807.72242.66888.212.290.1
QELL_default9000900090000
QELL_unit9000900090000
qesto9000900090000
rareqs7290.23729.02342.39900816.360.2
rev_qfun0.19000900090000
xb-qsts_bqsts2.09000900090000
xb-qsts_xbqsts1.09000900090000
xb-qsts_xbqsts2.09000900090000