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

InstanceResultTime
pdtpmsrotate32SAT0.03
kenflashp04SAT0.14
bobtuint31negFAIL900
eijkbs3330FAIL900
neclaftp2002FAIL900