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

InstanceResultTime
stmt1_629_630SAT1290.72
stmt38_943_942FAIL34314.6