Instances of family disjunctive_decomposition solved by depqbf_prefix_opt_qdo
Prenex CNF Track

InstanceResultTime
kenflashp12SAT0
bobtuint31negSAT0
kenflashp04SAT0
eijkbs4863FAIL900
pdtpmsrotate32FAIL900
neclaftp4001FAIL900
pdtpmsmiimFAIL900
eijkbs3330FAIL900
bobsmfpuFAIL900
neclaftp2002FAIL900