Instances of family SzymanskiP solved by nanoqbf_hqspre
Prenex CNF Track

InstanceResultTime
szymanski-20-sUNSAT418.96
szymanski-24-sUNSAT621.82