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

InstanceResultTime
ii32c1-00SAT255.7
ii8a3-90FAIL6505.83