Sota solver results for family disjunctive_decomposition
QBFEVAL'19 - Prenex CNF Track


InstanceSolverResultTime
bobtuint31negCaqe-bloqqer-qdoSAT0
eijkbs3330Hiqqer2019_2SAT0
eijkbs4863Hiqqer2019_1SAT0
kenflashp04Caqe-bloqqer-qdoSAT0
kenflashp12Caqe-bloqqer-qdoSAT0
neclaftp4001Qute_defaultUNSAT6.48
pdtpmsmiimQute_defaultSAT0
pdtpmsrotate32Qute_defaultSAT0