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

InstanceResultTime
kenflashp04SAT0
pdtpmsrotate32SAT0
bobtuint31negSAT0.03
eijkbs3330SAT0.17
neclaftp2002FAIL900