Instances of family Chain solved by hiqqer1ldsq
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
CHAIN14v.15SAT0.03
CHAIN12v.13SAT0.03
CHAIN17v.18SAT0.04
CHAIN16v.17SAT0.04
CHAIN18v.19SAT0.04
CHAIN22v.23SAT0.05
CHAIN20v.21SAT0.05
CHAIN21v.22SAT0.05
CHAIN19v.20SAT0.05
CHAIN23v.24SAT0.06