Instances of family disjunctive_decomposition solved by iprover_bloqqer_single
Prenex CNF Track

InstanceResultTime
pdtpmsrotate32SAT0
kenflashp12SAT0
pdtpmsmiimSAT0
bobtuint31negSAT0
kenflashp04SAT0
eijkbs4863SAT1.16
bobsmfpuFAIL900
neclaftp2002FAIL900
neclaftp4001FAIL900
eijkbs3330FAIL900