Instances of family disjunctive_decomposition solved by predyndep
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
kenflashp12SAT0
pdtpmsmiimSAT0
eijkbs4863SAT0.85
neclaftp4001FAIL900.07