|
in
|
hard
|
1449074
|
1489
|
0
|
1447585
|
1526202
|
6811639
|
Armin Fuegenschuh
|
--
|
58
|
aggregations variable_bound mixed_binary
|
|
wnq-n100-mw99-14
|
hard
|
10000
|
10000
|
0
|
0
|
656900
|
1333400
|
M. Winkler
|
--
|
259
|
binary variable_bound set_covering
|
|
academictimetablebig
|
hard
|
168974
|
168974
|
0
|
0
|
167661
|
1545375
|
Joshua Friedman
|
--
|
427
|
binary aggregations precedence variable_bound set_partitioning set_packing set_covering cardinality invariant_knapsack equation_knapsack binpacking knapsack
|
|
bab6
|
hard
|
114240
|
114240
|
0
|
0
|
29904
|
1283181
|
Elmar Swarat
|
bab
|
-284248.2307
|
benchmark binary benchmark_suitable aggregations precedence set_partitioning set_packing set_covering cardinality invariant_knapsack equation_knapsack knapsack mixed_binary
|
|
comp21-2idx
|
hard
|
10863
|
10792
|
71
|
0
|
14038
|
57301
|
Matias Sørensen
|
coursetimetabling
|
74
|
benchmark decomposition benchmark_suitable precedence variable_bound set_partitioning cardinality invariant_knapsack mixed_binary general_linear
|
|
ns1111636
|
hard
|
360822
|
13200
|
0
|
347622
|
13895
|
568444
|
NEOS Server Submission
|
neos-pseudoapplication-67
|
162
|
decomposition set_partitioning set_packing invariant_knapsack knapsack mixed_binary
|
|
neos-1140050
|
hard
|
40320
|
38640
|
0
|
1680
|
3795
|
808080
|
NEOS Server Submission
|
neos-pseudoapplication-101
|
Infeasible
|
infeasible decomposition numerics set_partitioning mixed_binary
|
|
8div-n59k10
|
hard
|
6143
|
6138
|
5
|
0
|
2065
|
539151
|
Sascha Kurz
|
8div
|
Infeasible
|
infeasible set_partitioning cardinality equation_knapsack integer_knapsack general_linear
|
|
8div-n59k11
|
hard
|
12287
|
12282
|
5
|
0
|
4114
|
2126864
|
Sascha Kurz
|
8div
|
Infeasible
|
infeasible set_partitioning cardinality equation_knapsack integer_knapsack general_linear
|
|
8div-n59k12
|
hard
|
24575
|
24570
|
5
|
0
|
8211
|
8448017
|
Sascha Kurz
|
8div
|
Infeasible
|
infeasible set_partitioning cardinality equation_knapsack integer_knapsack general_linear
|
|
roi5alpha10n8
|
hard
|
106150
|
105950
|
0
|
200
|
4665
|
2370224
|
Domenico Salvagnin
|
--
|
-52.322274351
|
benchmark decomposition benchmark_suitable variable_bound cardinality binpacking mixed_binary
|
|
markshare2
|
hard
|
74
|
60
|
0
|
14
|
7
|
434
|
G. Cornuéjols, M. Dawande
|
markshare
|
1
|
benchmark benchmark_suitable integer_knapsack general_linear
|
|
icir97_potential
|
hard
|
2112
|
1235
|
422
|
455
|
3314
|
9942
|
MIPLIB submission pool
|
--
|
6325
|
precedence mixed_binary general_linear
|
|
ds
|
hard
|
67732
|
67732
|
0
|
0
|
656
|
1024059
|
MIPLIB submission pool
|
--
|
93.52
|
binary set_partitioning
|
|
rococoC11-010100
|
hard
|
12321
|
12155
|
166
|
0
|
4010
|
46955
|
A. Chabrier, E. Danna, C. Le Pape, L. Perron
|
rococo
|
20889
|
decomposition aggregations precedence set_partitioning cardinality invariant_knapsack general_linear
|
|
neos-954925
|
hard
|
84718
|
84718
|
0
|
0
|
2989
|
844983
|
NEOS Server Submission
|
neos-pseudoapplication-48
|
-237.7688889
|
binary precedence set_packing invariant_knapsack binpacking knapsack
|
|
neos-872648
|
hard
|
175219
|
87575
|
0
|
87644
|
93291
|
350438
|
NEOS Server Submission
|
neos-pseudoapplication-61
|
48.60790603143
|
decomposition precedence variable_bound mixed_binary
|
|
ger50-17-ptp-pop-6t
|
hard
|
4892
|
0
|
540
|
4352
|
545
|
14285
|
C. Raack
|
ger50
|
8942.6328
|
mixed_binary general_linear
|
|
dolom1
|
hard
|
11612
|
9720
|
0
|
1892
|
1803
|
190413
|
Double-Click SAS
|
--
|
6609253
|
mixed_binary general_linear
|
|
rmatr200-p10
|
hard
|
35254
|
200
|
0
|
35054
|
35055
|
105362
|
Dmitry Krushinsky
|
rmatr
|
2017
|
cardinality mixed_binary
|
|
stp3d
|
hard
|
204880
|
204880
|
0
|
0
|
159488
|
662128
|
T. Koch
|
--
|
493.71965
|
binary decomposition aggregations precedence variable_bound set_partitioning set_packing cardinality
|
|
hawaiiv10-130
|
hard
|
685130
|
578444
|
0
|
106686
|
1388052
|
183263061
|
Jennifer Van Dinter
|
--
|
52425028.9449536
|
numerics aggregations precedence variable_bound set_partitioning set_packing invariant_knapsack mixed_binary
|
|
probportfolio
|
hard
|
320
|
300
|
0
|
20
|
302
|
6620
|
Feng Qiu
|
--
|
16.734246764
|
invariant_knapsack mixed_binary
|
|
mkc
|
hard
|
5325
|
5323
|
0
|
2
|
3411
|
17038
|
J. Kalagnanam, M. Dawande
|
--
|
-563.8460100132
|
decomposition precedence variable_bound set_packing invariant_knapsack binpacking mixed_binary
|
|
allcolor10
|
hard
|
14872
|
476
|
13776
|
620
|
34014
|
89136
|
Domenico Salvagnin
|
allcolor
|
6
|
decomposition aggregations precedence variable_bound set_partitioning integer_knapsack general_linear
|
|
fhnw-sq3
|
hard
|
2450
|
2401
|
49
|
0
|
167
|
7372
|
Simon Felix
|
fhnw-sq
|
Infeasible
|
infeasible feasibility precedence set_partitioning integer_knapsack general_linear
|
|
fhnw-sq2
|
hard
|
650
|
625
|
25
|
0
|
91
|
1968
|
Simon Felix
|
fhnw-sq
|
0
|
feasibility precedence set_partitioning integer_knapsack general_linear
|
|
sorrell3
|
hard
|
1024
|
1024
|
0
|
0
|
169162
|
338324
|
Toni Sorrell
|
independentset
|
-16
|
benchmark binary benchmark_suitable variable_bound
|
|
tbfp-bigm
|
hard
|
2406
|
2404
|
0
|
2
|
35999
|
74338
|
Rob Pratt
|
--
|
24.163194443
|
variable_bound set_partitioning
|
|
physiciansched3-4
|
hard
|
74119
|
65900
|
0
|
8219
|
239780
|
908634
|
Pelin Damci-Kurt
|
physiciansched
|
1480389.74666667
|
aggregations precedence variable_bound set_packing set_covering invariant_knapsack binpacking knapsack mixed_binary general_linear
|
|
b2c1s1
|
hard
|
3872
|
288
|
0
|
3584
|
3904
|
11408
|
M. Vyve, Y. Pochet
|
c1s1
|
25687.9
|
aggregations variable_bound mixed_binary
|
|
ns1430538
|
hard
|
33616
|
1680
|
0
|
31936
|
34960
|
178112
|
NEOS Server Submission
|
neos-pseudoapplication-76
|
88
|
decomposition precedence variable_bound mixed_binary
|
|
neos-4295773-pissa
|
hard
|
85126
|
85124
|
0
|
2
|
210116
|
552408
|
Jeff Linderoth
|
neos-pseudoapplication-6
|
0.0383071909985602
|
decomposition aggregations precedence variable_bound set_partitioning cardinality invariant_knapsack knapsack mixed_binary
|
|
neos-5076235-embley
|
hard
|
49686
|
98
|
0
|
49588
|
63112
|
1089564
|
Jeff Linderoth
|
neos-pseudoapplication-17
|
2362
|
decomposition benchmark_suitable aggregations mixed_binary
|
|
neos-4954672-berkel
|
hard
|
1533
|
630
|
0
|
903
|
1848
|
8007
|
Jeff Linderoth
|
neos-pseudoapplication-43
|
2612710
|
benchmark benchmark_suitable aggregations variable_bound mixed_binary
|
|
neos-3352863-ancoa
|
hard
|
20046
|
20045
|
0
|
1
|
169
|
869239
|
Jeff Linderoth
|
neos-pseudoapplication-100
|
28700
|
set_covering mixed_binary
|
|
neos-4300652-rahue
|
hard
|
33003
|
20900
|
0
|
12103
|
76992
|
183616
|
Jeff Linderoth
|
neos-pseudoapplication-13
|
2.1416
|
benchmark decomposition benchmark_suitable aggregations precedence variable_bound set_partitioning cardinality knapsack mixed_binary
|
|
neos-3656078-kumeu
|
hard
|
14870
|
9755
|
4455
|
660
|
17656
|
59292
|
Jeff Linderoth
|
neos-pseudoapplication-44
|
-13172.2
|
benchmark benchmark_suitable aggregations precedence variable_bound set_packing cardinality invariant_knapsack knapsack mixed_binary general_linear
|
|
neos-3237086-abava
|
hard
|
50192
|
50192
|
0
|
0
|
69472
|
233552
|
Jeff Linderoth
|
neos-pseudoapplication-51
|
0.0
|
binary feasibility decomposition aggregations variable_bound set_packing set_covering cardinality invariant_knapsack binpacking
|
|
neos-5114902-kasavu
|
hard
|
710164
|
14560
|
0
|
695604
|
961170
|
4240376
|
Jeff Linderoth
|
neos-pseudoapplication-104
|
655
|
benchmark benchmark_suitable variable_bound cardinality invariant_knapsack mixed_binary
|
|
neos-3214367-sovi
|
hard
|
4318
|
4139
|
179
|
0
|
7244
|
93911
|
Jeff Linderoth
|
neos-pseudoapplication-56
|
179965
|
aggregations variable_bound set_partitioning set_packing set_covering cardinality invariant_knapsack binpacking general_linear
|
|
neos-4387871-tavua
|
hard
|
4004
|
2000
|
0
|
2004
|
4554
|
23496
|
Jeff Linderoth
|
neos-pseudoapplication-58
|
33.384729927
|
benchmark benchmark_suitable variable_bound binpacking mixed_binary
|
|
neos-5104907-jarama
|
hard
|
345856
|
9520
|
0
|
336336
|
489818
|
2053548
|
Jeff Linderoth
|
neos-pseudoapplication-24
|
935
|
benchmark benchmark_suitable aggregations variable_bound set_partitioning cardinality invariant_knapsack mixed_binary
|
|
neos-3211096-shag
|
hard
|
4379
|
4289
|
90
|
0
|
10187
|
31705
|
Jeff Linderoth
|
neos-pseudoapplication-38
|
Infeasible
|
infeasible feasibility aggregations precedence variable_bound set_covering invariant_knapsack binpacking mixed_binary general_linear
|
|
neos-2987202-jeir
|
hard
|
146700
|
9045
|
0
|
137655
|
120209
|
1979663
|
Jeff Linderoth
|
neos-pseudoapplication-82
|
-1836136351.2
|
numerics aggregations precedence mixed_binary
|
|
neos-4338804-snowy
|
hard
|
1344
|
1260
|
42
|
42
|
1701
|
6342
|
Jeff Linderoth
|
neos-pseudoapplication-40
|
1471
|
benchmark benchmark_suitable precedence set_covering mixed_binary general_linear
|
|
neos-5093327-huahum
|
hard
|
40640
|
64
|
0
|
40576
|
51840
|
784768
|
Jeff Linderoth
|
neos-pseudoapplication-17
|
6260
|
benchmark decomposition benchmark_suitable aggregations mixed_binary
|
|
neos-4409277-trave
|
hard
|
14363
|
14362
|
0
|
1
|
7875
|
204518
|
Jeff Linderoth
|
neos-pseudoapplication-47
|
3
|
variable_bound set_partitioning set_packing set_covering cardinality invariant_knapsack mixed_binary
|
|
neos-3530905-gaula
|
hard
|
2090
|
190
|
1900
|
0
|
200
|
3990
|
Jeff Linderoth
|
neos-pseudoapplication-105
|
159
|
decomposition general_linear
|
|
neos-4335793-snake
|
hard
|
30827
|
20473
|
7865
|
2489
|
37166
|
129119
|
Jeff Linderoth
|
neos-pseudoapplication-44
|
27
|
numerics aggregations precedence variable_bound set_packing cardinality invariant_knapsack knapsack mixed_binary general_linear
|
|
neos-3209462-rhin
|
hard
|
56453
|
383
|
0
|
56070
|
170226
|
447473
|
Jeff Linderoth
|
neos-pseudoapplication-98
|
12
|
aggregations precedence variable_bound set_partitioning set_covering cardinality invariant_knapsack mixed_binary
|
|
neos-2294525-abba
|
hard
|
10842
|
10086
|
0
|
756
|
11122
|
80010
|
Jeff Linderoth
|
neos-pseudoapplication-46
|
321.1522319
|
decomposition precedence set_partitioning cardinality mixed_binary
|
|
neos-4343293-stony
|
hard
|
9400
|
4698
|
0
|
4702
|
10650
|
55668
|
Jeff Linderoth
|
neos-pseudoapplication-58
|
46.38472895
|
variable_bound binpacking mixed_binary
|
|
neos-3373491-avoca
|
hard
|
2368
|
43
|
2325
|
0
|
1570
|
9438
|
Jeff Linderoth
|
neos-pseudoapplication-37
|
27449084632
|
numerics aggregations variable_bound invariant_knapsack integer_knapsack general_linear
|
|
neos-5102383-irwell
|
hard
|
51450
|
98
|
0
|
51352
|
65464
|
1213044
|
Jeff Linderoth
|
neos-pseudoapplication-17
|
2210
|
decomposition benchmark_suitable aggregations mixed_binary
|
|
neos-4954274-beardy
|
hard
|
12865
|
12865
|
0
|
0
|
17359
|
140082
|
Jeff Linderoth
|
neos-pseudoapplication-62
|
20946.48
|
binary decomposition variable_bound set_partitioning set_packing set_covering cardinality invariant_knapsack binpacking knapsack
|
|
neos-3754480-nidda
|
hard
|
253
|
50
|
0
|
203
|
402
|
1488
|
Jeff Linderoth
|
neos-pseudoapplication-107
|
12941.74
|
benchmark benchmark_suitable precedence variable_bound knapsack mixed_binary
|
|
neos-3402454-bohle
|
hard
|
2904
|
2616
|
0
|
288
|
2897380
|
8953800
|
Jeff Linderoth
|
neos-pseudoapplication-4
|
Infeasible
|
benchmark infeasible benchmark_suitable precedence set_partitioning set_covering invariant_knapsack mixed_binary
|
|
swath
|
hard
|
6805
|
6724
|
0
|
81
|
884
|
34965
|
D. Panton
|
swath
|
467.407491
|
set_partitioning cardinality mixed_binary
|
|
set3-20
|
hard
|
4019
|
1424
|
0
|
2595
|
3747
|
13747
|
Kerem Akartunali
|
set3
|
159462.572721458
|
precedence variable_bound mixed_binary
|
|
neos-5273874-yomtsa
|
hard
|
136971
|
232
|
0
|
136739
|
486492
|
1955349
|
Hans Mittelmann
|
neos-pseudoapplication-19
|
0
|
aggregations variable_bound set_partitioning set_packing cardinality mixed_binary
|
|
nursesched-medium-hint03
|
hard
|
34248
|
34170
|
78
|
0
|
14062
|
622800
|
Haroldo Gambini Santos
|
nursescheduling
|
115
|
benchmark decomposition benchmark_suitable set_partitioning set_packing cardinality invariant_knapsack general_linear
|
|
sing326
|
hard
|
55156
|
40010
|
0
|
15146
|
50781
|
268173
|
Daniel Espinoza
|
sing
|
7753674.85376
|
benchmark decomposition benchmark_suitable aggregations variable_bound set_partitioning cardinality mixed_binary
|
|
sing44
|
hard
|
59708
|
43524
|
0
|
16184
|
54745
|
281260
|
Daniel Espinoza
|
sing
|
8128831.1772
|
benchmark decomposition benchmark_suitable aggregations variable_bound set_partitioning cardinality mixed_binary
|
|
set3-10
|
hard
|
4019
|
1424
|
0
|
2595
|
3747
|
13747
|
Kerem Akartunali
|
set3
|
185179.043049708
|
precedence variable_bound mixed_binary
|
|
set3-15
|
hard
|
4019
|
1424
|
0
|
2595
|
3747
|
13747
|
Kerem Akartunali
|
set3
|
124886
|
precedence variable_bound mixed_binary
|
|
rvb-sub
|
hard
|
33765
|
33763
|
0
|
2
|
225
|
984143
|
S. Weider
|
--
|
16.08499802
|
binary set_partitioning knapsack
|
|
thor50dday
|
hard
|
106261
|
53131
|
0
|
53130
|
53360
|
212060
|
Daniel Rehfeldt
|
--
|
40417
|
benchmark decomposition benchmark_suitable variable_bound mixed_binary
|
|
graph20-80-1rand
|
hard
|
16263
|
16263
|
0
|
0
|
55107
|
191997
|
Michael Bastubbe
|
graphs
|
-6
|
binary decomposition precedence set_partitioning invariant_knapsack
|
|
reblock354
|
hard
|
3540
|
3540
|
0
|
0
|
19906
|
52901
|
Andreas Bley
|
reblock
|
-39280521.2281657
|
binary precedence knapsack
|
|
woodlands09
|
hard
|
382147
|
382119
|
28
|
0
|
194599
|
2646003
|
George Fonseca
|
timetabling
|
0
|
aggregations variable_bound set_partitioning set_packing set_covering cardinality invariant_knapsack equation_knapsack general_linear
|
|
highschool1-aigio
|
hard
|
320404
|
319686
|
718
|
0
|
92568
|
1562168
|
George Fonseca
|
timetabling
|
0
|
benchmark benchmark_suitable aggregations variable_bound set_partitioning set_packing set_covering cardinality invariant_knapsack equation_knapsack general_linear
|
|
queens-30
|
hard
|
900
|
900
|
0
|
0
|
960
|
93440
|
Ashutosh Mahajan
|
--
|
-40
|
binary knapsack
|
|
atm20-100
|
hard
|
6480
|
2220
|
0
|
4260
|
4380
|
58878
|
Matthew Galati
|
--
|
2463621.57727541
|
decomposition variable_bound set_partitioning invariant_knapsack mixed_binary
|
|
dc1c
|
hard
|
10039
|
8380
|
0
|
1659
|
1649
|
121158
|
Double-Click SAS
|
--
|
1767903.6501
|
mixed_binary general_linear
|
|
bg512142
|
hard
|
792
|
240
|
0
|
552
|
1307
|
3953
|
A. Miller
|
--
|
184202.75
|
aggregations precedence variable_bound mixed_binary
|
|
supportcase22
|
hard
|
7129
|
7129
|
0
|
0
|
260602
|
2228828
|
Michael Winkler
|
--
|
Infeasible
|
benchmark infeasible binary benchmark_suitable aggregations set_covering invariant_knapsack binpacking knapsack
|
|
supportcase10
|
hard
|
14770
|
14770
|
0
|
0
|
165684
|
555082
|
Michael Winkler
|
--
|
7
|
benchmark binary benchmark_suitable aggregations precedence variable_bound set_covering invariant_knapsack
|
|
supportcase3
|
hard
|
4191
|
4191
|
0
|
0
|
12702
|
53470
|
Michael Winkler
|
--
|
0
|
binary feasibility aggregations precedence variable_bound invariant_knapsack knapsack mixed_binary
|
|
supportcase19
|
hard
|
1429098
|
1311292
|
117806
|
0
|
10713
|
4287094
|
Michael Winkler
|
--
|
12677206
|
benchmark benchmark_suitable variable_bound set_partitioning set_covering general_linear
|
|
neos-5261882-treska
|
hard
|
2900
|
2730
|
0
|
170
|
2971
|
19342
|
Hans Mittelmann
|
neos-pseudoapplication-102
|
51614.874
|
decomposition precedence set_partitioning cardinality binpacking knapsack mixed_binary
|
|
dws008-01
|
hard
|
11096
|
6608
|
0
|
4488
|
6064
|
56400
|
Philipp Leise
|
dws
|
37412.604588
|
benchmark decomposition benchmark_suitable precedence variable_bound set_partitioning set_packing mixed_binary
|
|
dws008-03
|
hard
|
32280
|
18928
|
0
|
13352
|
16344
|
165168
|
Philipp Leise
|
dws
|
62831.7633546923
|
decomposition precedence variable_bound set_partitioning set_packing invariant_knapsack mixed_binary
|
|
cmflsp40-24-10-7
|
hard
|
13200
|
1200
|
0
|
12000
|
2825
|
127736
|
Andrea Arias
|
cmflsp
|
51664409.2721
|
precedence variable_bound mixed_binary
|
|
tw-myciel4
|
hard
|
760
|
759
|
1
|
0
|
8146
|
27961
|
Arie Koster
|
--
|
10
|
aggregations precedence variable_bound invariant_knapsack general_linear
|
|
neos-5223573-tarwin
|
hard
|
158244
|
190
|
0
|
158054
|
560182
|
2166505
|
Hans Mittelmann
|
neos-pseudoapplication-19
|
0.1058
|
feasibility aggregations variable_bound set_partitioning set_packing cardinality mixed_binary
|
|
rail03
|
hard
|
758775
|
758775
|
0
|
0
|
253905
|
1728451
|
Thomas Schlechte
|
rail0
|
-867.093965444446
|
binary numerics aggregations variable_bound set_partitioning set_packing cardinality knapsack
|
|
v150d30-2hopcds
|
hard
|
150
|
150
|
0
|
0
|
7822
|
103991
|
Austin Buchanan
|
2hopcds
|
41.0
|
binary variable_bound set_covering
|
|
neos-3372571-onahau
|
hard
|
13086
|
185
|
0
|
12901
|
29487
|
116511
|
Hans Mittelmann
|
neos-pseudoapplication-93
|
0.411055181902462
|
variable_bound mixed_binary
|
|
neos-4165869-wannon
|
hard
|
31728
|
480
|
31248
|
0
|
85865
|
270474
|
Hans Mittelmann
|
neos-pseudoapplication-44
|
293
|
precedence variable_bound set_partitioning set_packing invariant_knapsack integer_knapsack general_linear
|
|
neos-4647030-tutaki
|
hard
|
12600
|
7000
|
0
|
5600
|
8382
|
3953388
|
Hans Mittelmann
|
neos-pseudoapplication-29
|
27265.706
|
benchmark benchmark_suitable set_packing mixed_binary
|
|
neos-3631363-vilnia
|
hard
|
15755
|
755
|
0
|
15000
|
15960
|
112497
|
Hans Mittelmann
|
neos-pseudoapplication-12
|
Infeasible
|
infeasible precedence variable_bound set_packing mixed_binary
|
|
neos-3025225-shelon
|
hard
|
69846
|
69845
|
0
|
1
|
91572
|
9357951
|
Hans Mittelmann
|
neos-pseudoapplication-64
|
0.7727272712094
|
benchmark_suitable variable_bound set_packing cardinality invariant_knapsack knapsack mixed_binary
|
|
hgms-det
|
hard
|
1322
|
547
|
0
|
775
|
9752
|
32367
|
Jesus Rodriguez
|
hgms
|
-47314.0858741549
|
aggregations variable_bound set_partitioning set_packing set_covering invariant_knapsack equation_knapsack mixed_binary
|
|
sct32
|
hard
|
9767
|
7728
|
0
|
2039
|
5440
|
109654
|
Siemens
|
sct
|
-17.8875590846509
|
decomposition aggregations precedence set_partitioning set_covering invariant_knapsack knapsack mixed_binary general_linear
|
|
milo-v12-6-r1-58-1
|
hard
|
4440
|
1500
|
0
|
2940
|
9540
|
25068
|
Tamas Terlaky
|
milo
|
634081.411203952
|
decomposition aggregations precedence variable_bound mixed_binary general_linear
|
|
milo-v13-4-3d-3-0
|
hard
|
516
|
120
|
0
|
396
|
996
|
2456
|
Tamas Terlaky
|
milo
|
273238.08563337
|
aggregations variable_bound mixed_binary general_linear
|
|
bab1
|
hard
|
61152
|
61152
|
0
|
0
|
60680
|
854392
|
Elmar Swarat, Laura Traverso, Julia Buwaya
|
bab
|
-218764.88525
|
binary decomposition aggregations set_packing set_covering cardinality invariant_knapsack knapsack mixed_binary
|
|
rmatr200-p20
|
hard
|
29605
|
200
|
0
|
29405
|
29406
|
88415
|
Dmitry Krushinsky
|
rmatr
|
837
|
cardinality mixed_binary
|
|
moj-mining
|
hard
|
67519
|
5171
|
0
|
62348
|
49916
|
1691236
|
Alexandra M. Newman
|
--
|
-1256561010.473
|
numerics precedence mixed_binary
|
|
fhnw-binpack4-4
|
hard
|
520
|
481
|
0
|
39
|
620
|
2332
|
Simon Felix
|
binpack
|
Infeasible
|
benchmark infeasible feasibility benchmark_suitable precedence variable_bound invariant_knapsack mixed_binary
|
|
fhnw-binpack4-48
|
hard
|
3710
|
3605
|
0
|
105
|
4480
|
17290
|
Simon Felix
|
binpack
|
0
|
benchmark feasibility benchmark_suitable precedence variable_bound invariant_knapsack mixed_binary
|
|
splice1k1
|
hard
|
3253
|
3252
|
1
|
0
|
6505
|
1761016
|
Gleb Belov
|
splice
|
-394
|
benchmark benchmark_suitable set_covering binpacking general_linear
|
|
proteindesign121hz512p9
|
hard
|
159145
|
159054
|
91
|
0
|
301
|
629449
|
Gleb Belov
|
proteindesign
|
1473
|
benchmark benchmark_suitable set_partitioning general_linear
|
|
gfd-schedulen180f7d50m30k18
|
hard
|
227535
|
192408
|
2025
|
33102
|
457985
|
1233372
|
Gleb Belov
|
gfd-schedule
|
1
|
benchmark feasibility benchmark_suitable aggregations precedence variable_bound set_partitioning cardinality invariant_knapsack mixed_binary general_linear
|
|
cryptanalysiskb128n5obj14
|
hard
|
48950
|
47830
|
1120
|
0
|
98021
|
292875
|
Gleb Belov
|
cryptanalysis
|
Infeasible
|
benchmark infeasible feasibility benchmark_suitable aggregations precedence variable_bound set_covering cardinality invariant_knapsack binpacking knapsack integer_knapsack mixed_binary general_linear
|
|
traininstance2
|
hard
|
12890
|
5278
|
2602
|
5010
|
15603
|
41531
|
Gleb Belov
|
traininstance
|
71820
|
benchmark decomposition benchmark_suitable aggregations precedence variable_bound set_partitioning cardinality invariant_knapsack mixed_binary general_linear
|
|
radiationm40-10-02
|
hard
|
172013
|
62400
|
47213
|
62400
|
173603
|
406825
|
Gleb Belov
|
radiation
|
155328
|
benchmark decomposition benchmark_suitable aggregations precedence variable_bound integer_knapsack mixed_binary general_linear
|
|
neos-5251015-ogosta
|
hard
|
136971
|
232
|
0
|
136739
|
486531
|
1955388
|
Hans Mittelmann
|
neos-pseudoapplication-19
|
0.1058
|
feasibility aggregations variable_bound set_partitioning set_packing cardinality mixed_binary
|
|
ivu52
|
hard
|
157591
|
157591
|
0
|
0
|
2116
|
2179476
|
S. Weider
|
ivu
|
481.0068
|
binary set_partitioning invariant_knapsack knapsack mixed_binary
|
|
usAbbrv-8-25_70
|
hard
|
2312
|
1681
|
0
|
631
|
3291
|
9628
|
publicly available
|
--
|
120
|
precedence invariant_knapsack knapsack mixed_binary
|
|
ger50_17_trans
|
hard
|
22414
|
0
|
18062
|
4352
|
499
|
172035
|
C. Raack
|
ger50
|
7393.2618
|
numerics mixed_binary general_linear
|
|
shiftreg2-7
|
hard
|
11404
|
4152
|
0
|
7252
|
8540
|
34900
|
Domenico Salvagnin
|
shiftreg
|
230.326187744737
|
decomposition numerics aggregations set_partitioning cardinality equation_knapsack binpacking knapsack mixed_binary
|
|
gmut-75-50
|
hard
|
68865
|
68859
|
0
|
6
|
2565
|
571475
|
Nora Konnyu
|
gmu
|
-14180699.047
|
variable_bound set_packing mixed_binary
|
|
pythago7824
|
hard
|
3740
|
3740
|
0
|
0
|
14652
|
43956
|
Felix J. L. Willamowski
|
--
|
0
|
binary feasibility set_covering invariant_knapsack
|
|
triptim7
|
hard
|
27342
|
18619
|
8716
|
7
|
14427
|
521944
|
MIPLIB submission pool
|
triptim
|
2566.02
|
aggregations variable_bound set_partitioning set_packing set_covering invariant_knapsack mixed_binary general_linear
|
|
triptim2
|
hard
|
27326
|
20776
|
6543
|
7
|
14427
|
521898
|
MIPLIB submission pool
|
triptim
|
12.0051
|
aggregations precedence variable_bound set_partitioning set_packing set_covering cardinality invariant_knapsack general_linear
|
|
tpl-tub-ss16
|
hard
|
595066
|
570303
|
0
|
24763
|
901872
|
3687098
|
János Höner
|
--
|
150501
|
aggregations precedence variable_bound set_partitioning set_packing invariant_knapsack binpacking knapsack mixed_binary
|
|
bnatt500
|
hard
|
4500
|
4500
|
0
|
0
|
7029
|
27203
|
Tatsuya Akutsu
|
bnatt
|
Infeasible
|
benchmark infeasible binary benchmark_suitable precedence set_covering invariant_knapsack binpacking knapsack
|
|
dg012142
|
hard
|
2080
|
640
|
0
|
1440
|
6310
|
14795
|
A. Miller
|
--
|
2300867
|
aggregations precedence variable_bound mixed_binary
|
|
stoch-vrpvrp-s5v2c8vrp-v2c8i
|
hard
|
8436
|
1485
|
734
|
6217
|
13813
|
26231
|
Gleb Belov
|
vrp
|
330
|
indicator numerics aggregations precedence variable_bound set_partitioning set_packing mixed_binary general_linear
|
|
elitserienhandball14i
|
hard
|
32541
|
16938
|
6938
|
8665
|
35328
|
98685
|
Gleb Belov
|
elitserienhandball
|
2
|
indicator numerics aggregations precedence variable_bound set_partitioning set_packing set_covering cardinality invariant_knapsack equation_knapsack mixed_binary general_linear
|
|
gfd-schedulen180f7d50m30k18-16i
|
hard
|
2226625
|
1055523
|
1103442
|
67660
|
3447025
|
7026385
|
Gleb Belov
|
gfd-schedule
|
47
|
indicator numerics aggregations precedence variable_bound set_partitioning set_packing cardinality invariant_knapsack equation_knapsack mixed_binary general_linear
|
|
amaze22012-07-04i
|
hard
|
31237
|
10654
|
1603
|
18980
|
42328
|
83384
|
Gleb Belov
|
amaze
|
0
|
feasibility indicator numerics aggregations precedence variable_bound set_partitioning cardinality integer_knapsack mixed_binary general_linear
|
|
elitserienhandball3i
|
hard
|
32807
|
16966
|
6973
|
8868
|
35804
|
99434
|
Gleb Belov
|
elitserienhandball
|
4
|
indicator numerics aggregations precedence variable_bound set_partitioning set_packing set_covering cardinality invariant_knapsack equation_knapsack mixed_binary general_linear
|
|
elitserienhandball11i
|
hard
|
32679
|
16944
|
6952
|
8783
|
35580
|
99071
|
Gleb Belov
|
elitserienhandball
|
3
|
indicator numerics aggregations precedence variable_bound set_partitioning set_packing set_covering cardinality invariant_knapsack equation_knapsack mixed_binary general_linear
|
|
l2p1i
|
hard
|
317369
|
301560
|
15689
|
120
|
30784
|
641396
|
Gleb Belov
|
l2p
|
6
|
indicator numerics aggregations precedence variable_bound set_partitioning set_packing cardinality invariant_knapsack general_linear
|
|
elitserienhandball13i
|
hard
|
32791
|
16976
|
6976
|
8839
|
35758
|
99381
|
Gleb Belov
|
elitserienhandball
|
5
|
indicator numerics aggregations precedence variable_bound set_partitioning set_packing set_covering cardinality invariant_knapsack equation_knapsack mixed_binary general_linear
|
|
amaze22012-03-15i
|
hard
|
94351
|
31870
|
2770
|
59711
|
126975
|
251822
|
Gleb Belov
|
amaze
|
0
|
feasibility indicator numerics aggregations precedence variable_bound set_partitioning cardinality equation_knapsack integer_knapsack mixed_binary general_linear
|
|
splice1k1i
|
hard
|
19513
|
6504
|
13009
|
0
|
22765
|
1780528
|
Gleb Belov
|
splice
|
-394
|
indicator numerics aggregations precedence variable_bound general_linear
|
|
s100
|
hard
|
364417
|
364417
|
0
|
0
|
14733
|
1777917
|
Daniel Espinoza
|
Spinoza
|
-0.1697235270583
|
benchmark binary benchmark_suitable aggregations set_partitioning set_packing cardinality invariant_knapsack knapsack
|
|
gsvm2rl5
|
hard
|
401
|
100
|
0
|
301
|
300
|
10700
|
Toni Sorrell
|
supportvectormachine
|
5.42305352523751
|
precedence variable_bound mixed_binary
|
|
opm2-z12-s8
|
hard
|
10800
|
10800
|
0
|
0
|
319508
|
725377
|
Daniel Espinoza
|
opm2
|
-58540
|
binary precedence knapsack
|
|
opm2-z10-s4
|
hard
|
6250
|
6250
|
0
|
0
|
160633
|
371240
|
Daniel Espinoza
|
opm2
|
-33269
|
benchmark binary benchmark_suitable precedence knapsack
|
|
shs1023
|
hard
|
444625
|
1296
|
440899
|
2430
|
133944
|
1044725
|
C. Helmberg
|
shs
|
13136.636273
|
aggregations variable_bound set_partitioning set_packing invariant_knapsack integer_knapsack general_linear
|
|
neos-952987
|
hard
|
31329
|
31329
|
0
|
0
|
354
|
90384
|
NEOS Server Submission
|
neos-pseudoapplication-22
|
Infeasible
|
infeasible binary set_covering equation_knapsack knapsack
|
|
uccase7
|
hard
|
33020
|
7224
|
0
|
25796
|
47132
|
335644
|
Daniel Espinoza
|
uccase
|
26834.2842733101
|
aggregations precedence variable_bound set_partitioning invariant_knapsack binpacking knapsack mixed_binary
|
|
satellites3-25
|
hard
|
81681
|
79961
|
0
|
1720
|
44804
|
698176
|
He Renjie
|
satellites
|
-25
|
benchmark_suitable aggregations precedence variable_bound set_partitioning set_packing cardinality invariant_knapsack knapsack mixed_binary
|
|
satellites4-25
|
hard
|
95637
|
93747
|
0
|
1890
|
51712
|
821192
|
He Renjie
|
satellites
|
-25
|
benchmark_suitable aggregations precedence set_partitioning set_packing cardinality invariant_knapsack knapsack mixed_binary
|
|
bab2
|
hard
|
147912
|
147912
|
0
|
0
|
17245
|
2027726
|
Elmar Swarat
|
bab
|
-357544.3115
|
benchmark binary decomposition benchmark_suitable aggregations set_partitioning set_packing set_covering cardinality invariant_knapsack equation_knapsack knapsack mixed_binary
|
|
hanoi5
|
hard
|
3862
|
3862
|
0
|
0
|
16399
|
39718
|
M. Winkler
|
--
|
1931
|
binary variable_bound set_covering
|
|
snip10x10-35r1budget17
|
hard
|
47611
|
63
|
0
|
47548
|
213801
|
475334
|
Utz-Uwe Haus
|
--
|
72.3086203570709
|
aggregations variable_bound invariant_knapsack mixed_binary
|
|
2club200v15p5scn
|
hard
|
200
|
200
|
0
|
0
|
17013
|
104811
|
Balabhaskar Balasundaram
|
--
|
-70
|
binary variable_bound invariant_knapsack
|
|
s1234
|
hard
|
2945
|
2945
|
0
|
0
|
8418
|
44641
|
Siwei Sun
|
SiweiSun
|
29
|
binary precedence set_covering invariant_knapsack binpacking knapsack
|