Results for instance nusmv.reactor^3.C-d4
QBFEVAL'19 - Prenex CNF Track



Solver Time Result
caqe-pre1.29SAT
Caqe-hqspre1.3SAT
Qute_opt5002.3FAIL
Qute_rrs2.39SAT
depqbf_pre_QxQBH2.41SAT
Qute_default2.53SAT
GhostQ___plain_pcnf_20193.2SAT
GhostQ___cegar_pcnf_20193.35SAT
Hiqqer2019_1900.01FAIL
Hiqqer2019_2900.06FAIL
Hiqqer2019_3900.07FAIL
depqbf_prefix_opt_qdo900.09FAIL
Caqe-bloqqer-qdo900.09FAIL