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

qbflib.org

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

Solver	Time	Result
QuAbS_2017	0.11	SAT
Qute_hybrid	0.17	SAT
cqesto	1.66	SAT
ghostq-cegar	7.64	SAT
qfun0.1	531.18	SAT
ghostq-plain	900	FAIL
Qute_opt617	900	FAIL
Qute_opt993	900	FAIL