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

InstanceResultTime
kenflashp12SAT0
pdtpmsmiimSAT0
eijkbs4863SAT0.61
neclaftp4001UNSAT34.04