Instances of family disjunctive_decomposition solved by CADET_2017
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
kenflashp04SAT0.2
pdtpmsrotate32SAT0.92
eijkbs3330SAT10.17
bobtuint31negFAIL900
neclaftp2002FAIL900