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

InstanceResultTime
pdtpmsmiimSAT0.16
bobsmfpuFAIL900
eijkbs4863FAIL900
kenflashp12FAIL900
neclaftp4001FAIL900