Results for instance unit9_2_b
QBFEVAL'19 - Prenex CNF Track



Solver Time Result
Hiqqer2019_30SAT
Hiqqer2019_10SAT
Hiqqer2019_20.9SAT
GhostQ___cegar_pcnf_20190.91SAT
GhostQ___plain_pcnf_20190.96SAT
Qute_opt5002.76FAIL
Caqe-bloqqer-qdo4.98SAT
depqbf_pre_QxQBH9.33SAT
caqe-pre449.98SAT
Qute_default900.01FAIL
Caqe-hqspre900.02FAIL
Qute_rrs900.02FAIL
depqbf_prefix_opt_qdo900.03FAIL