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

InstanceResultTime
pdtpmsrotate32SAT0.03
kenflashp04SAT0.14
eijkbs3330FAIL900
neclaftp2002FAIL900
bobtuint31negFAIL900