Soft conflicts of 2021-22-I-levelezo.fet Generated with FET 6.2.2 on 2021. 11. 29. 11:30 Number of broken soft constraints: 0 Total soft conflicts: 0 Soft conflicts list (in decreasing order): End of file.