Instances of family disjunctive_decomposition solved by iProver-qbf-bloqqer-2017-07-27-v3
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
kenflashp04SAT0.05
pdtpmsrotate32SAT0.05
bobtuint31negSAT0.23
neclaftp2002FAIL900
eijkbs3330FAIL900