Results for instance ltl2dba_C2-8_comp4_REAL.sat
QBFEVAL'19 - Prenex CNF Track



Solver Time Result
Hiqqer2019_30SAT
Hiqqer2019_10SAT
Hiqqer2019_21.09SAT
Qute_opt5001.25FAIL
depqbf_pre_QxQBH1.66SAT
Caqe-bloqqer-qdo131.8SAT
caqe-pre450.35SAT
GhostQ___plain_pcnf_2019900.04FAIL
Qute_default900.04FAIL
GhostQ___cegar_pcnf_2019900.05FAIL
depqbf_prefix_opt_qdo900.05FAIL
Qute_rrs900.07FAIL
Caqe-hqspre900.08FAIL