Results for instance query44_query26_1344n
QBFEVAL'19 - Prenex CNF Track



Solver Time Result
Qute_opt50013.76FAIL
GhostQ___cegar_pcnf_201926.46SAT
Hiqqer2019_3899.03FAIL
Hiqqer2019_2899.26FAIL
Hiqqer2019_1899.29FAIL
depqbf_prefix_opt_qdo900.01FAIL
depqbf_pre_QxQBH900.01FAIL
Caqe-hqspre900.01FAIL
Caqe-bloqqer-qdo900.02FAIL
GhostQ___plain_pcnf_2019900.04FAIL
Qute_default900.04FAIL
caqe-pre900.05FAIL
Qute_rrs900.1FAIL