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

qbflib.org

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

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