Results for instance ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp <br> QBFEVAL'19 - Prenex CNF Track

qbflib.org

Results for instance ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp
QBFEVAL'19 - Prenex CNF Track

Solver	Time	Result
Qute_opt500	0	FAIL
Qute_default	41.28	UNSAT
Qute_rrs	43.29	UNSAT
depqbf_pre_QxQBH	416.66	UNSAT
depqbf_prefix_opt_qdo	900.01	FAIL
Caqe-hqspre	900.02	FAIL
GhostQ___plain_pcnf_2019	900.04	FAIL
Caqe-bloqqer-qdo	900.04	FAIL
Hiqqer2019_3	900.05	FAIL
Hiqqer2019_2	900.06	FAIL
caqe-pre	900.06	FAIL
GhostQ___cegar_pcnf_2019	900.07	FAIL
Hiqqer2019_1	900.08	FAIL