Instances of family SzymanskiP solved by quabs-picosat
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
szymanski-5-sUNSAT0.24
szymanski-6-sUNSAT0.93
szymanski-8-sUNSAT6.53
szymanski-14-sUNSAT220.41
szymanski-16-sUNSAT500.27