Instances of family disjunctive_decomposition solved by Rareqs_2018
Prenex CNF Track

InstanceResultTime
pdtpmsmiimSAT0
bobtuint31negSAT0
eijkbs3330SAT0
kenflashp04SAT0
eijkbs4863SAT0
pdtpmsrotate32SAT0
kenflashp12SAT0
neclaftp4001UNSAT58.22
bobsmfpuFAIL900
neclaftp2002FAIL900