Results for instance sortnetsort9.v.stepl.005
QBFEVAL'19 - Prenex CNF Track



Solver Time Result
Qute_opt5003.83FAIL
Caqe-bloqqer-qdo9.79UNSAT
depqbf_pre_QxQBH23.24UNSAT
Caqe-hqspre101.06UNSAT
caqe-pre104.17UNSAT
Hiqqer2019_3900.02FAIL
Hiqqer2019_2900.03FAIL
GhostQ___cegar_pcnf_2019900.05FAIL
GhostQ___plain_pcnf_2019900.05FAIL
Hiqqer2019_1900.05FAIL
Qute_default900.07FAIL
depqbf_prefix_opt_qdo900.09FAIL
Qute_rrs900.1FAIL