Results for instance pi-bus-fixpoint-1
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
GhostQ-PG_plain7.16UNSAT
GhostQ-PG_cegar7.26UNSAT
xb-qsts_bqsts2.018.85UNSAT
xb-qsts_xbqsts2.018.89UNSAT
xb-qsts_xbqsts1.018.93UNSAT
dynQBF-bloqqer-hqspre19.03UNSAT
iProver-qbf-bloqqer-2017-07-27-v319.1UNSAT
qbfrelay19.8UNSAT
caqe_2017_v337.43UNSAT
Qute_default38.6UNSAT
Qute_opt50038.86UNSAT
Qute_random38.98UNSAT
caqe_2017_v239.13UNSAT
qbfrelay-limited-depqbf105.84UNSAT
AIGSolve318.29UNSAT
CUED1919_NL380.83FAIL
QELL_unit900FAIL
QELL_default900FAIL
rev_qfun0.1900FAIL
prefix-opt-depqbf900FAIL
qesto900FAIL
rareqs900FAIL
ghostq-cegar900FAIL
CUED1919_NNL900FAIL
heretiq900FAIL
ijtihad_v1900FAIL
ijtihad_v2900FAIL
HQSpre_solver900FAIL
iProver-qbf-2017-07-27-v3900FAIL
caqe_2017_v1900FAIL