Instances of family SzymanskiP solved by CLearn
QBFEVAL'04

InstanceResultTime
szymanski-4-sUNSAT0.01
szymanski-6-sUNSAT0.08
szymanski-10-sUNSAT0.79
szymanski-12-sUNSAT1.87
szymanski-14-sUNSAT3.94
szymanski-16-sUNSAT7.41
szymanski-18-sUNSAT13.07
szymanski-22-sUNSAT36.15