Sota solver results for family disjunctive_decomposition
QBFEVAL'18 - Prenex 2QBF Track


InstanceSolverResultTime
bobtuint31negaspq2v3SAT0
eijkbs3330aspq2v3SAT0
eijkbs4863aspq2v3SAT0
kenflashp04Cued_2_2018SAT0
kenflashp12aspq2v3SAT0
neclaftp2002Cued_3_2018UNSAT253.83
neclaftp4001CADET_2017UNSAT0
pdtpmsmiimCaqe-hqspreSAT0
pdtpmsrotate32Caqe-hqspreSAT0