Instances of family Chain solved by qube4.0
QBFEVAL'06

InstanceResultTime
CHAIN20v.21SAT0.19
CHAIN22v.23SAT0.22
CHAIN21v.22SAT0.22
CHAIN23v.24SAT0.26