Soft conflicts of Sumait.fet
Generated with FET 5.44.8 on 9/17/25 10:05 AM

Number of broken soft constraints: 0
Total soft conflicts: 0

Soft conflicts list (in decreasing order):


End of file.