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

InstanceResultTime
pdtpmsmiimSAT0
pdtpmsrotate32SAT0
neclaftp4001UNSAT6.37
kenflashp04SAT7.5
neclaftp2002FAIL900.01
kenflashp12FAIL900.01
eijkbs3330FAIL900.02
eijkbs4863FAIL900.05
bobtuint31negFAIL900.08