Improve IIS log

[joaquimg]

close #39

Following the example of #39, we would get:

## List of issues

 * Irreducible Infeasible Subset:
   c2 : x + y >= 2
   c1: x + y <= 1

cc @datejada

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 98.42%. Comparing base (2a9241d) to head (98602ee).
Report is 1 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main      #41      +/-   ##
==========================================
+ Coverage   98.41%   98.42%   +0.01%     
==========================================
  Files          13       13              
  Lines        1384     1396      +12     
==========================================
+ Hits         1362     1374      +12     
  Misses         22       22              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.