Results for instance gttt_1_1_000111_4x4_torus_b
QBFEVAL'19 - Prenex CNF Track



Solver Time Result
Hiqqer2019_27.3SAT
Qute_opt50022.86FAIL
Hiqqer2019_324.93SAT
Hiqqer2019_125.06SAT
depqbf_prefix_opt_qdo51.87SAT
depqbf_pre_QxQBH114.8SAT
Caqe-bloqqer-qdo135.53SAT
caqe-pre542.85SAT
Caqe-hqspre786.15FAIL
GhostQ___plain_pcnf_2019900.07FAIL
GhostQ___cegar_pcnf_2019900.08FAIL
Qute_default900.09FAIL
Qute_rrs900.1FAIL