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

InstanceResultTime
pdtpmsmiimSAT0.16
neclaftp4001UNSAT6.35
bobsmfpuFAIL900
eijkbs4863FAIL900
kenflashp12FAIL900