Results for instance ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp <br> QBFEVAL'17 - Prenex non-CNF Track

qbflib.org

Results for instance ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp
QBFEVAL'17 - Prenex non-CNF Track

Solver	Time	Result
QuAbS_2017	355.82	SAT
Qute_hybrid	877.51	FAIL
ghostq-cegar	900	FAIL
ghostq-plain	900	FAIL
cqesto	900	FAIL
qfun0.1	900	FAIL
Qute_opt617	900	FAIL
Qute_opt993	900	FAIL