Results for instance pi-bus-fixpoint-1
QBFEVAL'19 - Prenex CNF Track



Solver Time Result
GhostQ___plain_pcnf_20197.29UNSAT
GhostQ___cegar_pcnf_20197.41UNSAT
Hiqqer2019_214.22UNSAT
Caqe-bloqqer-qdo23.29UNSAT
caqe-pre34.47UNSAT
Caqe-hqspre34.67UNSAT
Qute_default37.92UNSAT
depqbf_pre_QxQBH38.63UNSAT
Qute_rrs39.34UNSAT
Qute_opt50039.71FAIL
Hiqqer2019_1899.61FAIL
Hiqqer2019_3899.97FAIL
depqbf_prefix_opt_qdo900.02FAIL