Soft conflicts of 2019-20-II-nappali.fet Generated with FET 5.44.2 on 2020. 06. 16. 16:22 Number of broken soft constraints: 0 Total soft conflicts: 0 Soft conflicts list (in decreasing order): End of file.