Instances of family disjunctive_decomposition solved by xb-qsts_bqsts2.0
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
kenflashp04SAT0.03
pdtpmsrotate32SAT0.03
bobtuint31negSAT0.21
eijkbs3330FAIL900
neclaftp2002FAIL900