Soft conflicts of 2022-23-I-nappali.fet Generated with FET 6.7.7 on 2023. 01. 08. 18:11 Number of broken soft constraints: 0 Total soft conflicts: 0 Soft conflicts list (in decreasing order): End of file.