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

InstanceResultTime
ken.oop^1.C-d2FAIL43200.7