Results for instance ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.asp <br> QBFEVAL'18 - Hard Instances Track

qbflib.org

Results for instance ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.asp
QBFEVAL'18 - Hard Instances Track

Solver	Time	Result
caqe_hit18	3600	FAIL
depqbf_hit18	3600	FAIL
aspq3_hit18	3600	FAIL