Instances of family Chain solved by sSolve
QBFEVAL'06

InstanceResultTime
CHAIN22v.23SAT0.26
CHAIN21v.22SAT0.28
CHAIN23v.24SAT0.3
CHAIN20v.21SAT0.34