Results for instance ev-pr-4x4-17-3-0-0-1-lg
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
prefix-opt-depqbf0.48SAT
qbfrelay-limited-depqbf0.73SAT
rareqs0.84SAT
ghostq-cegar6.83SAT
GhostQ-PG_cegar7.11SAT
ijtihad_v18.27SAT
heretiq8.38SAT
GhostQ-PG_plain11.47SAT
CUED1919_NNL44.73FAIL
Qute_default69.78SAT
ijtihad_v283.74SAT
iProver-qbf-bloqqer-2017-07-27-v387.07SAT
CUED1919_NL352.48FAIL
iProver-qbf-2017-07-27-v3472.63SAT
Qute_random900FAIL
Qute_opt500900FAIL
rev_qfun0.1900FAIL
xb-qsts_bqsts2.0900FAIL
xb-qsts_xbqsts1.0900FAIL
xb-qsts_xbqsts2.0900FAIL
QELL_unit900FAIL
QELL_default900FAIL
qbfrelay900FAIL
AIGSolve900FAIL
HQSpre_solver900FAIL
dynQBF-bloqqer-hqspre900FAIL
caqe_2017_v3900FAIL
caqe_2017_v2900FAIL
qesto900FAIL
caqe_2017_v1900FAIL