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



Solver Time Result
GhostQ-PG_plain7.28UNSAT
GhostQ-PG_cegar7.38UNSAT
predyndep18.73UNSAT
Caqe-bloqqer-qdo19.31UNSAT
Cued_2_201819.34UNSAT
Cued_3_201819.4UNSAT
PortfolioDepQBFGhostQRaReQSQute___pf22.26UNSAT
Caqe-hqspre34.74UNSAT
Iprover-HQSpre-Bloqqer36.12UNSAT
depqbf_pre_QxQBH37.75UNSAT
Qute_default38.92UNSAT
Qute_random39.17SAT
Qute_opt50039.3SAT
Heretiq-cube596.65FAIL
Heretiq-simple900.01FAIL
ijtihad900.05FAIL
Caqe-bloqqer900.06FAIL
depqbf_prefix_opt_qdo900.06FAIL
Rareqs_2018900.07FAIL