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



Solver Time Result
Rareqs_20180SAT
Heretiq-simple0SAT
Heretiq-cube0SAT
Cued_3_20180SAT
Cued_2_20180SAT
Caqe-bloqqer-qdo0SAT
Caqe-bloqqer0SAT
ASPQ_20180SAT
aspq3alt0SAT
ijtihad0SAT
aspq2v30SAT
predyndep0.62SAT
Iprover-HQSpre-Bloqqer1.26SAT
depqbf_pre_QxQBH1.44SAT
CADET_201720.36SAT
PortfolioDepQBFGhostQRaReQSQute___pf900.01FAIL
Qute_opt500900.01FAIL
depqbf_prefix_opt_qdo900.02FAIL
Qute_default900.02FAIL
Caqe-hqspre900.06FAIL
Qute_random900.07FAIL
GhostQ-PG_cegar900.07FAIL
GhostQ-PG_plain900.09FAIL