Results for instance cache-coherence-3-fixpoint-3
QBFEVAL'19 - Prenex CNF Track



Solver Time Result
GhostQ___cegar_pcnf_20193.91UNSAT
GhostQ___plain_pcnf_20195.07UNSAT
Caqe-bloqqer-qdo13.14UNSAT
caqe-pre66.04UNSAT
Caqe-hqspre68.31UNSAT
Qute_rrs68.48UNSAT
Qute_default68.96UNSAT
Qute_opt50068.99FAIL
depqbf_pre_QxQBH200.23UNSAT
Hiqqer2019_2900.01FAIL
depqbf_prefix_opt_qdo900.03FAIL
Hiqqer2019_1900.07FAIL
Hiqqer2019_3900.07FAIL