Results for instance stmt19_313_412
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
ijtihad_v21.46UNSAT
heretiq1.65UNSAT
ijtihad_v11.65UNSAT
GhostQ-PG_plain1.84UNSAT
Qute_default2.82UNSAT
Qute_opt5002.88UNSAT
Qute_random2.88UNSAT
GhostQ-PG_cegar2.97UNSAT
caqe_2017_v33.89UNSAT
caqe_2017_v23.9UNSAT
dynQBF-bloqqer-hqspre34.73UNSAT
qbfrelay50.97FAIL
prefix-opt-depqbf275.82UNSAT
AIGSolve513.38UNSAT
qbfrelay-limited-depqbf889.62FAIL
rev_qfun0.1900FAIL
xb-qsts_bqsts2.0900FAIL
xb-qsts_xbqsts1.0900FAIL
xb-qsts_xbqsts2.0900FAIL
QELL_unit900FAIL
QELL_default900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
iProver-qbf-2017-07-27-v3900FAIL
HQSpre_solver900FAIL
CUED1919_NNL900FAIL
CUED1919_NL900FAIL
ghostq-cegar900FAIL
rareqs900FAIL
qesto900FAIL
caqe_2017_v1900FAIL