Soft conflicts of 2018-19-I-levelezo.fet Generated with FET 5.36.0 on 2018. 11. 20. 8:01 Number of broken soft constraints: 0 Total soft conflicts: 0 Soft conflicts list (in decreasing order): End of file.