Instances of family Chain solved by QSAT
QBFEVAL'04

InstanceResultTime
CHAIN12v.13SAT0.09
CHAIN13v.14SAT0.18
CHAIN14v.15SAT0.35
CHAIN16v.17SAT1.26
CHAIN17v.18SAT2.63
CHAIN19v.20SAT10.92
CHAIN20v.21SAT22.96
CHAIN23v.24SAT207.1