Results for instance stmt16_818_819
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Rareqs_20180SAT
predyndep0SAT
Iprover-HQSpre-Bloqqer0SAT
ijtihad0SAT
Heretiq-simple0SAT
Heretiq-cube0SAT
depqbf_pre_QxQBH0SAT
Cued_3_20180SAT
Cued_2_20180SAT
Caqe-hqspre0SAT
Qute_default0SAT
Qute_opt5000SAT
Qute_random0SAT
Caqe-bloqqer0SAT
Caqe-bloqqer-qdo0SAT
GhostQ-PG_cegar0.17SAT
GhostQ-PG_plain6.29SAT
PortfolioDepQBFGhostQRaReQSQute___pf9.87SAT
depqbf_prefix_opt_qdo900.01FAIL