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

InstanceResultTime
szymanski-5-sUNSAT0.57
szymanski-6-sUNSAT1.45
szymanski-8-sUNSAT7.36
szymanski-14-sUNSAT496.01
szymanski-16-sFAIL599.43