Instances of family SzymanskiP solved by yQuaffle
QBFEVAL'05

InstanceResultTime
szymanski-20-sFAIL727.4
szymanski-24-sFAIL727.47
szymanski-18-sFAIL728.71
szymanski-16-sFAIL729.63
szymanski-22-sFAIL731.68
szymanski-14-sFAIL733.15
szymanski-12-sFAIL741.59
szymanski-10-sFAIL755.43
szymanski-8-sFAIL785.55
szymanski-6-sFAIL828
szymanski-5-sFAIL878.73
szymanski-4-sFAIL891.74