Instances of family SzymanskiP solved by QbflHR
QBFEVAL'05

InstanceResultTime
szymanski-4-sUNSAT0.03
szymanski-5-sUNSAT0.03
szymanski-6-sUNSAT0.07
szymanski-8-sUNSAT0.52
szymanski-10-sUNSAT2.54
szymanski-12-sUNSAT7.19
szymanski-14-sUNSAT17.48
szymanski-16-sUNSAT37.9
szymanski-18-sUNSAT74.64
szymanski-20-sUNSAT136.35
szymanski-22-sUNSAT234.39
szymanski-24-sUNSAT388.18