Skip to content

Commit a415af2

Browse files
scip-ciscip-ci
committed
Merge remote-tracking branch 'origin/v9-minor'
2 parents 81df6e5 + 2777553 commit a415af2

File tree

4 files changed

+220
-126
lines changed

4 files changed

+220
-126
lines changed

‎CHANGELOG

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -130,6 +130,7 @@ Fixed bugs
130130

131131
- fix bug in separator aggregation that caused incorrect terminations when for an integral objective the objective limit was set to a fractional value
132132
- fix bug in memory management of doublelex matrices where indices were set beyond array bounds
133+
- store relevance flags in consdataTightenCoefs() of cons_linear.c to avoid dropping variables unintentionally due to numerical changes
133134

134135
Performance improvements
135136
------------------------

‎check/CMakeLists.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -490,6 +490,7 @@ set(pairs_Issue
490490
"instances/Issue/3688.cip\;131882\;reduced_presolving"
491491
"instances/Issue/3693.cip\;7812672.2316\;default"
492492
"instances/Issue/3719.cip\;0\;presolving_off"
493+
"instances/Issue/3722.cip\;1200008400.00755\;default"
493494
)
494495

495496
#

‎check/instances/Issue/3722.cip

Lines changed: 106 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,106 @@
1+
STATISTICS
2+
Problem name : glass4
3+
Variables : 39 (24 binary, 0 integer, 0 implicit integer, 15 continuous)
4+
Constraints : 0 initial, 58 maximal
5+
OBJECTIVE
6+
Sense : minimize
7+
VARIABLES
8+
[binary] <z1&2.0>: obj=0, original bounds=[0,1]
9+
[binary] <z1&2.1>: obj=0, original bounds=[0,1]
10+
[binary] <z1&2.2>: obj=0, original bounds=[0,1]
11+
[binary] <z1&2.3>: obj=0, original bounds=[0,1]
12+
[binary] <z1&3.2>: obj=0, original bounds=[0,1]
13+
[binary] <z1&3.7>: obj=0, original bounds=[0,1]
14+
[binary] <z1&3.9>: obj=0, original bounds=[0,1]
15+
[binary] <z1&4.3>: obj=0, original bounds=[0,1]
16+
[binary] <z1&4.5>: obj=0, original bounds=[0,1]
17+
[binary] <z1&6.4>: obj=0, original bounds=[0,1]
18+
[binary] <z1&6.5>: obj=0, original bounds=[0,1]
19+
[binary] <z1&6.7>: obj=0, original bounds=[0,1]
20+
[binary] <z1&7.0>: obj=0, original bounds=[0,1]
21+
[binary] <z1&7.1>: obj=0, original bounds=[0,1]
22+
[binary] <z1&7.2>: obj=0, original bounds=[0,1]
23+
[binary] <z1&7.4>: obj=0, original bounds=[0,1]
24+
[binary] <z1&7.6>: obj=0, original bounds=[0,1]
25+
[binary] <z1&9.1>: obj=0, original bounds=[0,1]
26+
[binary] <z1&9.2>: obj=0, original bounds=[0,1]
27+
[binary] <z1&9.3>: obj=0, original bounds=[0,1]
28+
[binary] <z1&9.6>: obj=0, original bounds=[0,1]
29+
[binary] <z6&9.0>: obj=0, original bounds=[0,1]
30+
[binary] <z6&9.2>: obj=0, original bounds=[0,1]
31+
[binary] <z6&9.3>: obj=0, original bounds=[0,1]
32+
[continuous] <x3>: obj=2, original bounds=[200,+inf]
33+
[continuous] <x4>: obj=2, original bounds=[200,+inf]
34+
[continuous] <x5>: obj=0, original bounds=[100,+inf]
35+
[continuous] <x6>: obj=0, original bounds=[200,+inf]
36+
[continuous] <x7>: obj=2, original bounds=[200,+inf]
37+
[continuous] <x8>: obj=2, original bounds=[300,+inf]
38+
[continuous] <x9>: obj=0, original bounds=[0,+inf]
39+
[continuous] <lung>: obj=1000000, original bounds=[0,+inf]
40+
[continuous] <y1>: obj=1, original bounds=[0,700]
41+
[continuous] <y5>: obj=1, original bounds=[0,800]
42+
[continuous] <y6>: obj=1, original bounds=[0,600]
43+
[continuous] <y7>: obj=1, original bounds=[0,700]
44+
[continuous] <y9>: obj=1, original bounds=[0,600]
45+
[continuous] <x1>: obj=0, original bounds=[0,+inf]
46+
[continuous] <x2>: obj=2, original bounds=[0,+inf]
47+
CONSTRAINTS
48+
[linear] <id21>: <lung>[C] -<x1>[C] == 1200;
49+
[linear] <id23>: -<x3>[C] +<lung>[C] >= 200;
50+
[linear] <id28>: -<x8>[C] +<lung>[C] >= 500;
51+
[linear] <id31>: -8400000<z1&2.0>[B] +200<y1>[C] >= -8360000;
52+
[linear] <id32>: -8400000<z1&2.0>[B] +300<x1>[C] -300<x2>[C] >= -8310000;
53+
[linear] <id34>: -8400000<z1&2.1>[B] +700<y1>[C] >= -8050000;
54+
[linear] <id36>: -8400000<z1&2.2>[B] +300<y1>[C] -300<x1>[C] +300<x2>[C] >= -8130000;
55+
[linear] <id38>: -8400000<z1&2.3>[B] -600<x1>[C] +600<x2>[C] >= -7980000;
56+
[linear] <id40>: -300<y1>[C] >= -8280000;
57+
[linear] <id43>: -500<y1>[C] >= -8150000;
58+
[linear] <id46>: -250<y1>[C] >= -8300000;
59+
[linear] <id49>: <z1&2.0>[B] +<z1&2.1>[B] +<z1&2.2>[B] +<z1&2.3>[B] == 1;
60+
[linear] <id55>: -8400000<z1&3.2>[B] +400<x3>[C] -400<x1>[C] >= -8040000;
61+
[linear] <id60>: -200<y1>[C] >= -8360000;
62+
[linear] <id67>: -8400000<z1&3.7>[B] -120<x3>[C] -60<y1>[C] +120<x1>[C] >= -8394000;
63+
[linear] <id72>: -8400000<z1&3.9>[B] -1100<x3>[C] +1100<x1>[C] >= -8180000;
64+
[linear] <id73>: <z1&3.2>[B] +<z1&3.7>[B] +<z1&3.9>[B] == 1;
65+
[linear] <id81>: -8400000<z1&4.3>[B] +200<x4>[C] -200<y1>[C] -200<x1>[C] >= -8340000;
66+
[linear] <id86>: -8400000<z1&4.5>[B] -100<x4>[C] -200<y1>[C] +100<x1>[C] >= -8490000;
67+
[linear] <id94>: <z1&4.3>[B] +<z1&4.5>[B] == 1;
68+
[linear] <id108>: +25<x5>[C] -50<y1>[C] +50<y5>[C] -25<x1>[C] >= 20000;
69+
[linear] <id126>: -8400000<z1&6.4>[B] -166.665985107422<x6>[C] -166.666000366211<y1>[C] +166.666000366211<y6>[C] +166.665985107422<x1>[C] >= -8366666.79492188;
70+
[linear] <id127>: -8400000<z1&6.4>[B] +66.6659851074219<x6>[C] -133.333999633789<y1>[C] +133.333999633789<y6>[C] -66.6659851074219<x1>[C] >= -8346666.40039062;
71+
[linear] <id129>: -8400000<z1&6.5>[B] -200<x6>[C] -200<y1>[C] +200<y6>[C] +200<x1>[C] >= -8320000;
72+
[linear] <id134>: -8400000<z1&6.7>[B] -400<x6>[C] +400<x1>[C] >= -8280000;
73+
[linear] <id135>: <z1&6.4>[B] +<z1&6.5>[B] +<z1&6.7>[B] == 1;
74+
[linear] <id137>: -8400000<z1&7.0>[B] -300<x7>[C] +300<y1>[C] -300<y7>[C] +300<x1>[C] >= -8310000;
75+
[linear] <id139>: -8400000<z1&7.1>[B] +700<y1>[C] -700<y7>[C] >= -8050000;
76+
[linear] <id141>: -8400000<z1&7.2>[B] +800<x7>[C] -800<x1>[C] >= -7680000;
77+
[linear] <id145>: -8400000<z1&7.4>[B] -66.6659851074219<x7>[C] -133.333984375<y1>[C] +133.333984375<y7>[C] +66.6659851074219<x1>[C] >= -8393332.59570312;
78+
[linear] <id150>: -8400000<z1&7.6>[B] -200<x7>[C] -100<y1>[C] +100<y7>[C] +200<x1>[C] >= -8410000;
79+
[linear] <id156>: <z1&7.0>[B] +<z1&7.1>[B] +<z1&7.2>[B] +<z1&7.4>[B] +<z1&7.6>[B] == 1;
80+
[linear] <id191>: -8400000<z1&9.1>[B] +700<y1>[C] -700<y9>[C] >= -7980000;
81+
[linear] <id193>: -8400000<z1&9.2>[B] +1000<x9>[C] -1000<x1>[C] == -7700000;
82+
[linear] <id195>: -8400000<z1&9.3>[B] -100<x9>[C] -200<y1>[C] +200<y9>[C] +100<x1>[C] >= -8390000;
83+
[linear] <id203>: -8400000<z1&9.6>[B] -400<x9>[C] +400<x1>[C] == -280000;
84+
[linear] <id204>: <z1&9.1>[B] +<z1&9.2>[B] +<z1&9.3>[B] +<z1&9.6>[B] == 1;
85+
[linear] <id206>: 0 == 0;
86+
[linear] <id216>: +300<x3>[C] -300<x2>[C] >= 90000;
87+
[linear] <id218>: 0 == 0;
88+
[linear] <id238>: -300<x4>[C] +300<x2>[C] == -90000;
89+
[linear] <id241>: 0 == 0;
90+
[linear] <id263>: 0 == 0;
91+
[linear] <id281>: -200<x6>[C] +200<x2>[C] >= 60000;
92+
[linear] <id299>: -200<x7>[C] +200<x2>[C] >= 20000;
93+
[linear] <id357>: +200<x3>[C] -200<x5>[C] -200<y5>[C] >= -8320000;
94+
[linear] <id358>: +300<x3>[C] -300<x5>[C] >= -8250000;
95+
[linear] <id547>: +200<x5>[C] -200<x6>[C] -200<y5>[C] +200<y6>[C] == 0;
96+
[linear] <id566>: +300<x5>[C] -300<x7>[C] +300<y5>[C] -300<y7>[C] == 210000;
97+
[linear] <id593>: -200<x5>[C] +200<x9>[C] +400<y5>[C] -400<y9>[C] == 300000;
98+
[linear] <id595>: -200<x5>[C] +200<x9>[C] +100<y5>[C] -100<y9>[C] == 120000;
99+
[linear] <id601>: +500<x5>[C] -500<x9>[C] -500<y5>[C] +500<y9>[C] == -450000;
100+
[linear] <id603>: +200<x5>[C] -200<x9>[C] +100<y5>[C] -100<y9>[C] == 0;
101+
[linear] <id630>: -400<x6>[C] +400<x8>[C] +400<y6>[C] == 360000;
102+
[linear] <id649>: -8400000<z6&9.0>[B] +500<x6>[C] -500<x9>[C] +500<y6>[C] -500<y9>[C] >= -8100000;
103+
[linear] <id653>: -8400000<z6&9.2>[B] -300<x6>[C] +300<x9>[C] == 150000;
104+
[linear] <id656>: -8400000<z6&9.3>[B] -600<x6>[C] +600<x9>[C] >= -8220000;
105+
[linear] <id663>: <z6&9.0>[B] +<z6&9.2>[B] +<z6&9.3>[B] == 1;
106+
END

0 commit comments

Comments
 (0)