Results for instance rankfunc54_signed_64
QBFEVAL'18 - Prenex 2QBF Track



Solver Time Result
Rareqs_20180SAT
Iprover-HQSpre-Bloqqer0SAT
ijtihad0SAT
Heretiq-simple0SAT
Heretiq-cube0SAT
depqbf_pre_QxQBH0SAT
Caqe-hqspre0SAT
Caqe-bloqqer0SAT
Qute_default0SAT
Qute_opt5000SAT
Qute_random0SAT
aspq2v30SAT
CADET_20170SAT
ASPQ_20180.66SAT
Cued_2_20180.68SAT
Cued_3_20180.69SAT
aspq3alt0.7SAT
Caqe-bloqqer-qdo0.71SAT
predyndep0.94SAT
GhostQ-PG_cegar3.3SAT
GhostQ-PG_plain5.44SAT
PortfolioDepQBFGhostQRaReQSQute___pf5.64SAT
depqbf_prefix_opt_qdo900.04FAIL