Instances of family disjunctive_decomposition solved by Caqe-hqspre
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
kenflashp04SAT0
pdtpmsrotate32SAT0
pdtpmsmiimSAT0
neclaftp4001UNSAT29.75
neclaftp2002FAIL900.06
bobtuint31negFAIL900.07
eijkbs3330FAIL900.08
eijkbs4863FAIL900.09
kenflashp12FAIL900.09