Results for instance add5_CHOOSE
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
caqe_2017_v180.24SAT
rev_qfun0.184.93SAT
heretiq163.5SAT
qbfrelay-limited-depqbf212.81SAT
rareqs270.72SAT
QELL_unit350.25SAT
CUED1919_NL494.32FAIL
CUED1919_NNL779.5FAIL
qbfrelay835.14FAIL
QELL_default900FAIL
Qute_default900FAIL
Qute_opt500900FAIL
Qute_random900FAIL
xb-qsts_bqsts2.0900FAIL
xb-qsts_xbqsts1.0900FAIL
xb-qsts_xbqsts2.0900FAIL
prefix-opt-depqbf900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
qesto900FAIL
ghostq-cegar900FAIL
caqe_2017_v2900FAIL
caqe_2017_v3900FAIL
dynQBF-bloqqer-hqspre900FAIL
GhostQ-PG_cegar900FAIL
GhostQ-PG_plain900FAIL
ijtihad_v1900FAIL
ijtihad_v2900FAIL
HQSpre_solver900FAIL
iProver-qbf-2017-07-27-v3900FAIL
AIGSolve900FAIL