Results for instance Core1108_tbm_21.tex.module.000008
QBFEVAL'19 - Prenex CNF Track



Solver Time Result
Qute_opt5001.53FAIL
Caqe-hqspre16.52SAT
caqe-pre16.57SAT
depqbf_prefix_opt_qdo40.54SAT
Hiqqer2019_251.85SAT
Hiqqer2019_155.47SAT
Hiqqer2019_358.94SAT
Caqe-bloqqer-qdo62.09SAT
depqbf_pre_QxQBH112.77SAT
Qute_rrs214.51SAT
Qute_default900.03FAIL
GhostQ___plain_pcnf_2019900.07FAIL
GhostQ___cegar_pcnf_2019900.08FAIL