MIPLIB 2017 Infeas

brazil3

primal-infeasible

The instance

as published
Variables
23,968
Constraints
14,646
Nonzeros
133,184
Format
MPS, gzipped

Where it comes from

provenance

A branch-and-bound run reached this node's parent and split on a variable. This instance is the side the search did not explore, and it has no feasible point.

branch taken by the search
u(T3-S1#1#1) ≥ 1
this instance, the other side
u(T3-S1#1#1) ≤ 0 at depth 220
Depth in the tree
220
Bounds tightened vs. source
1,102
Branch variable
u(T3-S1#1#1)

Tightened bounds

1,102 entries
x(T1-S1#1#3,Tu_3,Class#Class,S1)<=0x(T1-S1#2#1,Fr_5,Class#Class,S1)<=0x(T1-S1#2#1,Fr_5,Teacher#Teacher,T1)<=0x(T1-S1#2#2,Fr_5,Class#Class,S1)<=0x(T1-S1#2#2,Fr_5,Teacher#Teacher,T1)<=0x(T1-S2#1#4,Tu_5,Class#Class,S2)<=0x(T1-S2#2#1,Fr_5,Class#Class,S2)<=0x(T1-S2#2#1,Fr_5,Teacher#Teacher,T1)<=0x(T1-S2#2#2,Fr_5,Class#Class,S2)<=0x(T1-S2#2#2,Fr_5,Teacher#Teacher,T1)<=0x(T1-S3#1#5,Tu_1,Teacher#Teacher,T1)<=0x(T1-S3#2#1,Th_3,Teacher#Teacher,T1)<=0

12 of 1,102 shown. The complete list is in the sidecar.