Results for instance klieber2017q-078-19-eq
QBFEVAL'19 - Prenex CNF Track



Solver Time Result
Qute_opt5002.45FAIL
GhostQ___cegar_pcnf_201910.2SAT
depqbf_prefix_opt_qdo251.73SAT
caqe-pre314.86SAT
Caqe-hqspre315.18SAT
Hiqqer2019_1418.96SAT
Hiqqer2019_3420.57SAT
Hiqqer2019_2428.84SAT
GhostQ___plain_pcnf_2019900.02FAIL
Qute_default900.03FAIL
Qute_rrs900.04FAIL
depqbf_pre_QxQBH900.08FAIL
Caqe-bloqqer-qdo900.08FAIL