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

InstanceResultTime
szymanski-5-sUNSAT0.53
szymanski-6-sUNSAT1.44
szymanski-8-sUNSAT7.34
szymanski-14-sUNSAT508.1
szymanski-16-sFAIL599.43