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



Solver Time Result
aspq3_hit182961.5SAT
caqe_hit183600FAIL
depqbf_hit183600FAIL