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

InstanceResultTime
ii8a3-90SAT87.91
ii32c1-00FAIL1750.67