Results for instance ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#19.asp <br> QBFEVAL'18 - Hard Instances Track

qbflib.org

Results for instance ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#19.asp
QBFEVAL'18 - Hard Instances Track

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