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



Solver Time Result
Rareqs_20180SAT
ijtihad0SAT
Heretiq-simple0SAT
CADET_20170SAT
aspq2v30SAT
Caqe-bloqqer0SAT
Heretiq-cube0.27SAT
Caqe-hqspre0.78SAT
Iprover-HQSpre-Bloqqer0.92SAT
depqbf_pre_QxQBH1.1SAT
Qute_default1.2SAT
Qute_random1.28SAT
Qute_opt5001.28SAT
Caqe-bloqqer-qdo2.73SAT
Cued_3_20182.77SAT
ASPQ_20182.78SAT
Cued_2_20182.8SAT
aspq3alt2.82SAT
predyndep2.89SAT
GhostQ-PG_cegar4.8SAT
GhostQ-PG_plain6.07SAT
PortfolioDepQBFGhostQRaReQSQute___pf7SAT
depqbf_prefix_opt_qdo900.03FAIL