Family jmc_quant results for solvers
QBFEVAL'17 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve900900090000
caqe_2017_v1900900090000
caqe_2017_v2900900090000
caqe_2017_v3900900090000
CUED1919_NL42.9342.93042.9300
CUED1919_NNL6.696.6906.6900
dynQBF-bloqqer-hqspre900900090000
ghostq-cegar900900090000
GhostQ-PG_cegar900900090000
GhostQ-PG_plain900900090000
heretiq900900090000
HQSpre_solver900900090000
ijtihad_v1900900090000
ijtihad_v2900900090000
iProver-qbf-2017-07-27-v3900900090000
iProver-qbf-bloqqer-2017-07-27-v3900900090000
prefix-opt-depqbf900900090000
qbfrelay99.4699.46099.4600
qbfrelay-limited-depqbf890.23890.230890.2300
QELL_default900900090000
QELL_unit900900090000
qesto900900090000
Qute_default900900090000
Qute_opt500900900090000
Qute_random900900090000
rareqs900900090000
rev_qfun0.1900900090000
xb-qsts_bqsts2.0900900090000
xb-qsts_xbqsts1.0900900090000
xb-qsts_xbqsts2.0900900090000