Instances of family SzymanskiP solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
szymanski-4-sUNSAT0.02
szymanski-10-sFAIL0.09
szymanski-5-sUNSAT0.11
szymanski-12-sFAIL0.12
szymanski-14-sFAIL0.24
szymanski-6-sUNSAT0.3
szymanski-16-sFAIL0.31
szymanski-18-sFAIL0.51
szymanski-20-sFAIL0.69
szymanski-22-sFAIL0.96
szymanski-24-sFAIL1.24
szymanski-8-sUNSAT1.78