Instances of family SzymanskiP solved by Qute_rrs
Prenex CNF Track

InstanceResultTime
szymanski-20-sUNSAT51.53
szymanski-24-sUNSAT173.69