Results for instance cache-coherence-3-fixpoint-3
QBFEVAL'18 - Prenex 2QBF Track



Solver Time Result
CADET_20170UNSAT
GhostQ-PG_cegar3.88UNSAT
GhostQ-PG_plain5.08UNSAT
ASPQ_20189.66UNSAT
Caqe-bloqqer-qdo9.77UNSAT
Cued_2_20189.78UNSAT
aspq3alt9.79UNSAT
Cued_3_20189.94UNSAT
predyndep11.59UNSAT
PortfolioDepQBFGhostQRaReQSQute___pf16.54UNSAT
Qute_random67.82SAT
Qute_opt50068SAT
Qute_default68.02UNSAT
Caqe-hqspre68.3UNSAT
Iprover-HQSpre-Bloqqer71.81UNSAT
depqbf_pre_QxQBH195.05UNSAT
Heretiq-cube460.28FAIL
aspq2v3900.05FAIL
Caqe-bloqqer900.05FAIL
depqbf_prefix_opt_qdo900.06FAIL
ijtihad900.07FAIL
Heretiq-simple900.07FAIL
Rareqs_2018900.09FAIL