#Variables: 81727 (#bools:103 #ints:111 in objective)
- 80444 Booleans in [0,1]
- 269 different domains in [-3744,56590] with a largest complexity of 174.
- 330 constants in {-1,0,1,2,3,5,6,7,8,11,12,13, ... 68,3382,3408,3409,4276,4612,6292,6293,6294,6295}
#kBoolOr: 23 (#literals: 23)
#kInterval: 598 (#enforced: 267)
#kLinear1: 82691 (#enforced: 82398)
#kLinear2: 42128 (#enforced: 2605) (#complex_domain: 1044)
#kLinear3: 765 (#enforced: 281)
#kLinearN: 504 (#terms: 80045)
#kNoOverlap: 77 (#intervals: 306, #optional: 178, #variable_sizes: 152)
#kReservoir: 44