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



Solver Time Result
caqe_hit183600FAIL
depqbf_hit183600FAIL
aspq3_hit183600FAIL