Instances of family Chain solved by CLearn
QBFEVAL'04

InstanceResultTime
CHAIN12v.13SAT0.16
CHAIN13v.14SAT0.34
CHAIN14v.15SAT0.7
CHAIN16v.17SAT2.98
CHAIN17v.18SAT6.18
CHAIN19v.20SAT27.75
CHAIN20v.21SAT59.04
CHAIN23v.24SAT535.45