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

InstanceResultTime
szymanski-5-sUNSAT0.04
szymanski-6-sUNSAT0.14
szymanski-8-sUNSAT1.39
szymanski-14-sUNSAT133.13
szymanski-16-sUNSAT566.07