Instances of family Chain solved by hiqqerfork
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

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