Results for instance ltl2dba_C2-6_comp3_REAL.sat
QBFEVAL'18 - Prenex 2QBF Track



Solver Time Result
Rareqs_20180SAT
Heretiq-simple0SAT
Caqe-bloqqer0SAT
Heretiq-cube0SAT
aspq2v30SAT
Qute_random0SAT
Qute_opt5000SAT
Iprover-HQSpre-Bloqqer0SAT
ijtihad0.19SAT
depqbf_pre_QxQBH0.45SAT
Caqe-bloqqer-qdo0.84SAT
Cued_2_20181.2SAT
ASPQ_20181.2SAT
Cued_3_20181.21SAT
aspq3alt1.22SAT
predyndep1.45SAT
Caqe-hqspre1.8SAT
PortfolioDepQBFGhostQRaReQSQute___pf9.76SAT
CADET_201716.56SAT
Qute_default175.8SAT
depqbf_prefix_opt_qdo900.03FAIL
GhostQ-PG_plain900.04FAIL
GhostQ-PG_cegar900.06FAIL