Instances of family Chain solved by Qute_opt617
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
CHAIN20v.21SAT0.09
CHAIN22v.23SAT0.12
CHAIN23v.24SAT0.14