Results for instance nusmv.tcas-t^1.B-d2
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Qute_default0SAT
Qute_opt5000SAT
Qute_random0SAT
Caqe-hqspre1.3SAT
Iprover-HQSpre-Bloqqer1.37SAT
depqbf_pre_QxQBH1.57SAT
GhostQ-PG_plain1.87SAT
PortfolioDepQBFGhostQRaReQSQute___pf7.36SAT
GhostQ-PG_cegar7.89SAT
predyndep9.93SAT
Caqe-bloqqer-qdo900.01FAIL
ijtihad900.02FAIL
Rareqs_2018900.02FAIL
Cued_2_2018900.02FAIL
Cued_3_2018900.03FAIL
Heretiq-simple900.04FAIL
Heretiq-cube900.06FAIL
Caqe-bloqqer900.06FAIL
depqbf_prefix_opt_qdo900.09FAIL