Instances of family disjunctive_decomposition solved by qesto
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
kenflashp12SAT0.01
pdtpmsmiimSAT0.02
eijkbs4863SAT0.14
neclaftp4001UNSAT278.52
bobsmfpuFAIL900