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

InstanceResultTime
stmt38_943_942FAIL975.91
stmt1_629_630FAIL1805.84