Suite Rabe results for solvers
QBFEVAL'17 - Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve4500900090000
caqe_2017_v14500900090000
caqe_2017_v23634.06726.81219.23900432.970.4
caqe_2017_v33624.77724.95221.1900437.620.4
CUED1919_NL4500900090000
CUED1919_NNL4500900090000
dynQBF-bloqqer-hqspre4500900090000
ghostq-cegar4500900090000
GhostQ-PG_cegar4500900090000
GhostQ-PG_plain4500900090000
heretiq4500900090000
HQSpre_solver4500900090000
ijtihad_v14500900090000
ijtihad_v24500900090000
iProver-qbf-2017-07-27-v34500900090000
iProver-qbf-bloqqer-2017-07-27-v34500900090000
prefix-opt-depqbf4500900090000
qbfrelay30260.430.7954.0127.880
qbfrelay-limited-depqbf4441.37888.271.44887.821.550
QELL_default4500900090000
QELL_unit4500900090000
qesto4500900090000
Qute_default4500900090000
Qute_opt5004500900090000
Qute_random4500900090000
rareqs3916.47783.29233.41900291.770.2
rev_qfun0.14500900090000
xb-qsts_bqsts2.03636.76727.35345.3900431.620.2
xb-qsts_xbqsts1.04500900090000
xb-qsts_xbqsts2.04500900090000