Results for instance rankfunc19_unsigned_64
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Rareqs_20180SAT
Heretiq-simple0SAT
depqbf_pre_QxQBH0SAT
ijtihad0SAT
Caqe-hqspre0SAT
Heretiq-cube0SAT
Caqe-bloqqer0SAT
Qute_random0SAT
Qute_opt5000SAT
Qute_default0SAT
Iprover-HQSpre-Bloqqer0SAT
Caqe-bloqqer-qdo1.9SAT
Cued_2_20181.93SAT
Cued_3_20181.98SAT
predyndep2.39SAT
PortfolioDepQBFGhostQRaReQSQute___pf6.07SAT
GhostQ-PG_cegar6.1SAT
GhostQ-PG_plain10.91SAT
depqbf_prefix_opt_qdo900.03FAIL