Instances of family disjunctive_decomposition solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
kenflashp04SAT0.18
bobtuint31negSAT0.25
pdtpmsrotate32SAT72.39
eijkbs3330SAT72.97
neclaftp2002FAIL894.75