Instances of family Chain solved by QUBE-LRN
QBFEVAL'04

InstanceResultTime
CHAIN12v.13SAT1.87
CHAIN13v.14SAT3.69
CHAIN14v.15SAT9.76
CHAIN16v.17SAT88.85
CHAIN17v.18SAT257.9
CHAIN20v.21FAIL901.03
CHAIN23v.24FAIL901.03
CHAIN19v.20FAIL901.03