Results for instance k_branch_n-11
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
caqe_2017_v11.19SAT
caqe_2017_v31.2SAT
xb-qsts_bqsts2.03.36SAT
iProver-qbf-bloqqer-2017-07-27-v33.39SAT
xb-qsts_xbqsts2.03.43SAT
dynQBF-bloqqer-hqspre3.49SAT
xb-qsts_xbqsts1.03.68SAT
qbfrelay3.82SAT
caqe_2017_v24.83SAT
ijtihad_v27.76SAT
HQSpre_solver14.33SAT
Qute_opt50014.45SAT
Qute_random14.72SAT
Qute_default14.92SAT
ijtihad_v117.37SAT
heretiq17.49SAT
qesto21.64SAT
CUED1919_NNL23.6FAIL
qbfrelay-limited-depqbf77.02SAT
AIGSolve117.57SAT
CUED1919_NL140.26FAIL
rareqs469.72SAT
prefix-opt-depqbf900FAIL
ghostq-cegar900FAIL
rev_qfun0.1900FAIL
GhostQ-PG_cegar900FAIL
GhostQ-PG_plain900FAIL
QELL_unit900FAIL
QELL_default900FAIL
iProver-qbf-2017-07-27-v3900FAIL