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



Solver Time Result
CADET_20170UNSAT
GhostQ-PG_cegar2.5UNSAT
GhostQ-PG_plain3.54UNSAT
aspq3alt5.79UNSAT
Caqe-bloqqer-qdo5.88UNSAT
Cued_3_20185.89UNSAT
Cued_2_20185.93UNSAT
ASPQ_20186.01UNSAT
predyndep8.9UNSAT
Caqe-hqspre11.57UNSAT
Iprover-HQSpre-Bloqqer11.98UNSAT
PortfolioDepQBFGhostQRaReQSQute___pf12.27UNSAT
depqbf_pre_QxQBH12.61UNSAT
Qute_default13.87UNSAT
Qute_random13.87SAT
Qute_opt50014SAT
Heretiq-cube482.9FAIL
Caqe-bloqqer900.02FAIL
depqbf_prefix_opt_qdo900.02FAIL
Rareqs_2018900.05FAIL
ijtihad900.09FAIL
aspq2v3900.09FAIL
Heretiq-simple900.1FAIL