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

InstanceResultTime
kenflashp12SAT0.23
pdtpmsmiimSAT6.49
neclaftp4001UNSAT110.17
bobsmfpuFAIL900
eijkbs4863FAIL900