Results for instance C499.blif_0.10_0.20_0_0_inp_exact
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
CUED1919_NNL0.04FAIL
CUED1919_NL0.06FAIL
dynQBF-bloqqer-hqspre12.01UNSAT
AIGSolve19.38UNSAT
GhostQ-PG_plain27.64UNSAT
Qute_opt50099.83UNSAT
Qute_random100.5UNSAT
caqe_2017_v2288.9UNSAT
qbfrelay-limited-depqbf318.61UNSAT
prefix-opt-depqbf341.79UNSAT
Qute_default742.91UNSAT
xb-qsts_xbqsts2.0900FAIL
xb-qsts_xbqsts1.0900FAIL
QELL_unit900FAIL
QELL_default900FAIL
qbfrelay900FAIL
xb-qsts_bqsts2.0900FAIL
rev_qfun0.1900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
qesto900FAIL
rareqs900FAIL
ghostq-cegar900FAIL
caqe_2017_v3900FAIL
GhostQ-PG_cegar900FAIL
heretiq900FAIL
ijtihad_v1900FAIL
ijtihad_v2900FAIL
HQSpre_solver900FAIL
iProver-qbf-2017-07-27-v3900FAIL
caqe_2017_v1900FAIL