Results for instance stay24n.sat
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Rareqs_20180SAT
Caqe-bloqqer0SAT
Qute_default0.95SAT
Qute_opt5000.96SAT
Qute_random0.99SAT
Caqe-hqspre1.29SAT
Iprover-HQSpre-Bloqqer1.35SAT
depqbf_pre_QxQBH1.61SAT
Cued_2_20185.1SAT
Cued_3_20185.14SAT
predyndep5.5SAT
Caqe-bloqqer-qdo14.83SAT
PortfolioDepQBFGhostQRaReQSQute___pf35.7SAT
GhostQ-PG_plain111.48SAT
Heretiq-simple190.25SAT
Heretiq-cube191.05SAT
depqbf_prefix_opt_qdo900.04FAIL
GhostQ-PG_cegar900.08FAIL
ijtihad900.09FAIL