Results for instance stmt17_70_98
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
dynQBF-bloqqer-hqspre15.22SAT
AIGSolve18.48SAT
qbfrelay48.94SAT
rev_qfun0.158.27SAT
ghostq-cegar169.17SAT
GhostQ-PG_cegar170.31SAT
CUED1919_NL467.03FAIL
qbfrelay-limited-depqbf890.99FAIL
QELL_default900FAIL
QELL_unit900FAIL
Qute_default900FAIL
Qute_opt500900FAIL
xb-qsts_xbqsts1.0900FAIL
xb-qsts_xbqsts2.0900FAIL
Qute_random900FAIL
xb-qsts_bqsts2.0900FAIL
prefix-opt-depqbf900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
qesto900FAIL
rareqs900FAIL
caqe_2017_v2900FAIL
caqe_2017_v3900FAIL
CUED1919_NNL900FAIL
GhostQ-PG_plain900FAIL
heretiq900FAIL
ijtihad_v1900FAIL
ijtihad_v2900FAIL
HQSpre_solver900FAIL
iProver-qbf-2017-07-27-v3900FAIL
caqe_2017_v1900FAIL