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

InstanceResultTime
pdtpmsrotate32SAT0
kenflashp04SAT0.01
bobtuint31negSAT0.03
eijkbs3330SAT0.17
neclaftp2002FAIL900