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

InstanceResultTime
neclaftp4001UNSAT36.2
bobsmfpuFAIL394.6
eijkbs4863FAIL900
kenflashp12FAIL900
pdtpmsmiimFAIL900