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

InstanceResultTime
bobtuint31negFAIL900
eijkbs3330FAIL900
kenflashp04FAIL900
neclaftp2002FAIL900
pdtpmsrotate32FAIL900