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

InstanceResultTime
stmt1_629_630SAT1768.57
stmt38_943_942FAIL42255.3