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

InstanceResultTime
eijkbs3330SAT0
kenflashp04SAT0
eijkbs4863SAT0
pdtpmsrotate32SAT0
kenflashp12SAT0
pdtpmsmiimSAT0
bobtuint31negSAT0
neclaftp4001UNSAT1.97
neclaftp2002FAIL900.01