Results for instance nusmv.reactor^3.C-d4
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Iprover-HQSpre-Bloqqer1.32SAT
Caqe-hqspre1.37SAT
Qute_random1.85SAT
depqbf_pre_QxQBH1.98SAT
Qute_opt5002.17SAT
Qute_default2.42SAT
GhostQ-PG_plain3.26SAT
GhostQ-PG_cegar3.29SAT
predyndep8.78SAT
PortfolioDepQBFGhostQRaReQSQute___pf11.32SAT
Heretiq-cube464.18FAIL
Rareqs_2018900FAIL
depqbf_prefix_opt_qdo900.02FAIL
Caqe-bloqqer-qdo900.02FAIL
Heretiq-simple900.06FAIL
ijtihad900.07FAIL
Cued_2_2018900.07FAIL
Caqe-bloqqer900.07FAIL
Cued_3_2018900.09FAIL