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

qbflib.org

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

Solver	Time	Result
Qute_opt500	0.66	FAIL
caqe-pre	34.88	SAT
Caqe-hqspre	34.9	SAT
Caqe-bloqqer-qdo	52.87	SAT
Qute_default	900.02	FAIL
depqbf_pre_QxQBH	900.04	FAIL
GhostQ___cegar_pcnf_2019	900.04	FAIL
Hiqqer2019_2	900.06	FAIL
Qute_rrs	900.06	FAIL
GhostQ___plain_pcnf_2019	900.07	FAIL
depqbf_prefix_opt_qdo	900.08	FAIL
Hiqqer2019_1	900.08	FAIL
Hiqqer2019_3	900.08	FAIL