Instances of family SzymanskiP solved by QuAbS_2017
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
szymanski-5-sUNSAT0.27
szymanski-6-sUNSAT0.98
szymanski-8-sUNSAT7.97
szymanski-14-sUNSAT256.69
szymanski-16-sUNSAT528.23