Results for instance ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.asp
QBFEVAL'19 - Prenex CNF Track



Solver Time Result
Qute_default0SAT
caqe-pre0SAT
depqbf_pre_QxQBH0SAT
Caqe-hqspre0SAT
Qute_opt5000SAT
Qute_rrs0SAT
depqbf_prefix_opt_qdo0.01SAT
Caqe-bloqqer-qdo2.41SAT
Hiqqer2019_2127.36SAT
Hiqqer2019_3262.07SAT
Hiqqer2019_1262.83SAT
GhostQ___plain_pcnf_2019900.04FAIL
GhostQ___cegar_pcnf_2019900.07FAIL