Instances of family Abduction solved by struqs-10
QBFEVAL'10 - Small Hard Track.

InstanceResultTime
ii8a3-90FAIL43200
ii32c1-00FAIL43200