Soft conflicts of 2022-23-II-nappali.fet Generated with FET 6.9.0 on 2023. 06. 05. 12:37 Number of broken soft constraints: 0 Total soft conflicts: 0 Soft conflicts list (in decreasing order): End of file.