reblock115
|
easy
|
1150
|
1150
|
0
|
0
|
4735
|
13724
|
Andreas Bley
|
reblock
|
-36800603.2332
|
benchmark binary benchmark_suitable precedence knapsack
|
ex1010-pi
|
open
|
25200
|
25200
|
0
|
0
|
1468
|
102114
|
M. Winkler
|
--
|
235*
|
binary set_covering
|
neos-941313
|
easy
|
167910
|
167910
|
0
|
0
|
13189
|
484080
|
NEOS Server Submission
|
neos-pseudoapplication-81
|
9361
|
binary decomposition benchmark_suitable set_partitioning set_packing cardinality invariant_knapsack knapsack
|
d20200
|
open
|
4000
|
4000
|
0
|
0
|
1502
|
189389
|
COR@L test set
|
--
|
12240*
|
binary decomposition set_partitioning invariant_knapsack knapsack
|
cvs16r89-60
|
easy
|
2384
|
2384
|
0
|
0
|
3068
|
8368
|
Michael Bastubbe
|
cvs
|
-65
|
binary decomposition benchmark_suitable precedence set_packing invariant_knapsack
|
wnq-n100-mw99-14
|
hard
|
10000
|
10000
|
0
|
0
|
656900
|
1333400
|
M. Winkler
|
--
|
259
|
binary variable_bound set_covering
|
academictimetablesmall
|
easy
|
28926
|
28926
|
0
|
0
|
23294
|
268350
|
Joshua Friedman
|
--
|
0
|
benchmark binary decomposition benchmark_suitable aggregations precedence variable_bound set_partitioning set_packing cardinality invariant_knapsack equation_knapsack binpacking knapsack
|
academictimetablebig
|
hard
|
168974
|
168974
|
0
|
0
|
167661
|
1545380
|
Joshua Friedman
|
--
|
427
|
binary aggregations precedence variable_bound set_partitioning set_packing set_covering cardinality invariant_knapsack equation_knapsack binpacking knapsack
|
supportcase29
|
easy
|
12050
|
12050
|
0
|
0
|
12441
|
96050
|
Domenico Salvagnin
|
--
|
Infeasible
|
infeasible binary decomposition benchmark_suitable precedence set_packing invariant_knapsack binpacking knapsack mixed_binary
|
bab6
|
hard
|
114240
|
114240
|
0
|
0
|
29904
|
1283180
|
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
|
ivu06-big
|
open
|
2277736
|
2277736
|
0
|
0
|
1177
|
23125800
|
S. Weider
|
ivu
|
140.74*
|
binary set_partitioning
|
cvs16r106-72
|
easy
|
2848
|
2848
|
0
|
0
|
3608
|
9888
|
Michael Bastubbe
|
cvs
|
-81
|
binary decomposition benchmark_suitable precedence set_packing invariant_knapsack
|
vpphard
|
easy
|
51471
|
51471
|
0
|
0
|
47280
|
372305
|
C. Cardonha
|
--
|
5
|
binary decomposition benchmark_suitable set_partitioning cardinality invariant_knapsack
|
rmine21
|
open
|
162547
|
162547
|
0
|
0
|
1441651
|
3514880
|
Daniel Espinoza
|
rmine
|
-10617.615401999996*
|
binary precedence mixed_binary
|
sp98ic
|
easy
|
10894
|
10894
|
0
|
0
|
825
|
316317
|
J. Goessens, S. v. Hoessel, L. Kroon
|
sp9
|
449144758.4
|
binary decomposition benchmark_suitable variable_bound set_packing set_covering mixed_binary
|
neos-831188
|
easy
|
4612
|
4612
|
0
|
0
|
2185
|
11256
|
NEOS Server Submission
|
neos-pseudoapplication-94
|
2.61377462
|
binary benchmark_suitable aggregations precedence set_partitioning cardinality invariant_knapsack
|
ivu06
|
open
|
787239
|
787239
|
0
|
0
|
1177
|
8032300
|
S. Weider
|
ivu
|
142.86*
|
binary set_partitioning
|
air03
|
easy
|
10757
|
10757
|
0
|
0
|
124
|
91028
|
G. Astfalk
|
air
|
340160
|
binary aggregations set_partitioning
|
mod008inf
|
easy
|
319
|
319
|
0
|
0
|
7
|
1562
|
MIPLIB submission pool
|
mod
|
Infeasible
|
infeasible binary knapsack mixed_binary
|
neos-1516309
|
easy
|
4500
|
4500
|
0
|
0
|
489
|
30400
|
NEOS Server Submission
|
neos-pseudoapplication-26
|
35954
|
binary decomposition set_packing set_covering knapsack
|
stein15inf
|
easy
|
15
|
15
|
0
|
0
|
37
|
135
|
MIPLIB submission pool
|
stein
|
Infeasible
|
infeasible binary set_covering invariant_knapsack mixed_binary
|
neos-1599274
|
easy
|
4500
|
4500
|
0
|
0
|
1237
|
46800
|
NEOS Server Submission
|
neos-pseudoapplication-26
|
32075.6
|
binary decomposition set_packing set_covering knapsack
|
neos-787933
|
easy
|
236376
|
236376
|
0
|
0
|
1897
|
298320
|
NEOS Server Submission
|
neos-pseudoapplication-36
|
30
|
benchmark binary decomposition benchmark_suitable binpacking mixed_binary
|
sp97ic
|
easy
|
12497
|
12497
|
0
|
0
|
1033
|
316629
|
J. Goessens, S. v. Hoessel, L. Kroon
|
sp9
|
427684487.68
|
binary decomposition benchmark_suitable variable_bound set_packing set_covering mixed_binary
|
air05
|
easy
|
7195
|
7195
|
0
|
0
|
426
|
52121
|
G. Astfalk
|
air
|
26374
|
benchmark binary benchmark_suitable set_partitioning
|
neos-780889
|
easy
|
182700
|
182700
|
0
|
0
|
73910
|
497210
|
NEOS Server Submission
|
neos-pseudoapplication-94
|
3421500
|
binary benchmark_suitable aggregations set_partitioning cardinality mixed_binary
|
ivu59
|
open
|
2569996
|
2569996
|
0
|
0
|
3436
|
36186300
|
S. Weider
|
ivu
|
931.0*
|
binary set_partitioning
|
neos-956971
|
easy
|
57756
|
57756
|
0
|
0
|
2527
|
483560
|
NEOS Server Submission
|
neos-pseudoapplication-48
|
-237.7688889
|
binary benchmark_suitable precedence set_packing invariant_knapsack binpacking knapsack
|
p0201
|
easy
|
201
|
201
|
0
|
0
|
133
|
1923
|
MIPLIB submission pool
|
pfour
|
7615
|
binary set_packing set_covering invariant_knapsack knapsack mixed_binary
|
neos-876808
|
easy
|
87268
|
87268
|
0
|
0
|
85808
|
682376
|
NEOS Server Submission
|
neos-pseudoapplication-62
|
169795.259907
|
binary decomposition benchmark_suitable aggregations set_packing set_covering invariant_knapsack knapsack mixed_binary
|
30_70_45_095_98
|
easy
|
10990
|
10989
|
0
|
1
|
12471
|
46387
|
J. Walser
|
30_70
|
12
|
binary decomposition benchmark_suitable precedence variable_bound set_covering mixed_binary
|
irp
|
easy
|
20315
|
20315
|
0
|
0
|
39
|
98254
|
MIPLIB submission pool
|
--
|
12159.492835397
|
benchmark binary benchmark_suitable set_partitioning
|
neos-1324574
|
easy
|
5256
|
5256
|
0
|
0
|
5904
|
20880
|
NEOS Server Submission
|
neos-pseudoapplication-99
|
8
|
binary decomposition benchmark_suitable aggregations precedence cardinality
|
neos-829552
|
easy
|
40971
|
40971
|
0
|
0
|
5153
|
86952
|
NEOS Server Submission
|
neos-pseudoapplication-95
|
2.31958979
|
binary numerics precedence set_partitioning cardinality invariant_knapsack
|
neos-957143
|
easy
|
57756
|
57756
|
0
|
0
|
2767
|
497676
|
NEOS Server Submission
|
neos-pseudoapplication-48
|
-237.7688889
|
binary benchmark_suitable precedence set_packing invariant_knapsack binpacking knapsack
|
neos-827015
|
easy
|
79347
|
79347
|
0
|
0
|
7688
|
166239
|
NEOS Server Submission
|
neos-pseudoapplication-95
|
2.31958979
|
binary numerics precedence set_partitioning cardinality invariant_knapsack
|
30_70_45_05_100
|
easy
|
10772
|
10771
|
0
|
1
|
12050
|
45889
|
J. Walser
|
30_70
|
9
|
binary decomposition benchmark_suitable precedence variable_bound set_covering mixed_binary
|
ds
|
hard
|
67732
|
67732
|
0
|
0
|
656
|
1024060
|
MIPLIB submission pool
|
--
|
93.52
|
binary set_partitioning
|
neos-953928
|
easy
|
23305
|
23305
|
0
|
0
|
12498
|
169861
|
NEOS Server Submission
|
neos-pseudoapplication-13
|
-99.9044444446
|
binary decomposition benchmark_suitable precedence set_packing invariant_knapsack binpacking knapsack
|
qap10
|
easy
|
4150
|
4150
|
0
|
0
|
1820
|
18200
|
MIPLIB submission pool
|
--
|
340
|
benchmark binary benchmark_suitable set_partitioning
|
core4284-1064
|
open
|
21714
|
21705
|
0
|
9
|
4287
|
245121
|
A. Caprara, M. Fischetti, P. Toth
|
core
|
1063.0*
|
binary variable_bound set_covering invariant_knapsack
|
ab69-40-100
|
easy
|
12622
|
12622
|
0
|
0
|
11911
|
74233
|
MIPLIB submission pool
|
ab
|
-11186281442
|
binary decomposition numerics precedence set_packing
|
neos-948346
|
easy
|
57855
|
57855
|
0
|
0
|
1570
|
540443
|
NEOS Server Submission
|
neos-pseudoapplication-48
|
-227.6
|
binary benchmark_suitable set_packing invariant_knapsack binpacking knapsack
|
ab71-20-100
|
easy
|
6689
|
6689
|
0
|
0
|
6380
|
41961
|
MIPLIB submission pool
|
ab
|
-10420305975
|
binary decomposition numerics precedence set_packing
|
h80x6320
|
easy
|
12640
|
6320
|
0
|
6320
|
79
|
6320
|
MIPLIB submission pool
|
fixed-cost-network-flow
|
3700
|
binary decomposition set_partitioning
|
ab51-40-100
|
easy
|
12675
|
12675
|
0
|
0
|
11893
|
72745
|
MIPLIB submission pool
|
ab
|
-10420305975
|
binary decomposition numerics precedence set_packing
|
10teams
|
easy
|
2025
|
1800
|
0
|
225
|
230
|
12150
|
MIPLIB submission pool
|
--
|
924
|
binary set_partitioning set_packing invariant_knapsack
|
sp98ar
|
easy
|
15085
|
15085
|
0
|
0
|
1435
|
426148
|
J. Goessens, S. v. Hoessel, L. Kroon
|
sp9
|
529740623.2
|
benchmark binary benchmark_suitable variable_bound set_packing set_covering mixed_binary
|
stein45inf
|
easy
|
45
|
45
|
0
|
0
|
332
|
1079
|
MIPLIB submission pool
|
stein
|
Infeasible
|
infeasible binary variable_bound set_covering invariant_knapsack mixed_binary
|
stein9inf
|
easy
|
9
|
9
|
0
|
0
|
14
|
54
|
MIPLIB submission pool
|
stein
|
Infeasible
|
infeasible binary set_covering invariant_knapsack mixed_binary
|
eilC76-2
|
easy
|
28599
|
28599
|
0
|
0
|
75
|
314837
|
J. Linderoth
|
eil
|
762.514781999996
|
binary benchmark_suitable set_partitioning
|
mod010
|
easy
|
2655
|
2655
|
0
|
0
|
146
|
11203
|
MIPLIB submission pool
|
mod
|
6548
|
binary set_partitioning cardinality binpacking
|
disctom
|
easy
|
10000
|
10000
|
0
|
0
|
399
|
30000
|
MIPLIB submission pool
|
--
|
-5000
|
binary set_partitioning cardinality
|
core2586-950
|
open
|
13226
|
13215
|
0
|
11
|
2589
|
104678
|
A. Caprara, M. Fischetti, P. Toth
|
core
|
946.0*
|
binary variable_bound set_covering invariant_knapsack
|
neos-960392
|
easy
|
59376
|
59376
|
0
|
0
|
4744
|
189503
|
NEOS Server Submission
|
neos-pseudoapplication-94
|
-238
|
benchmark binary benchmark_suitable precedence variable_bound set_partitioning set_packing invariant_knapsack binpacking knapsack
|
cap6000
|
easy
|
6000
|
6000
|
0
|
0
|
2176
|
48243
|
MIPLIB submission pool
|
--
|
-2451377
|
binary decomposition aggregations precedence variable_bound set_partitioning set_packing knapsack
|
neos-913984
|
easy
|
76000
|
76000
|
0
|
0
|
1076
|
152000
|
NEOS Server Submission
|
neos-pseudoapplication-2
|
1000
|
binary decomposition set_partitioning mixed_binary
|
mitre
|
easy
|
10724
|
10724
|
0
|
0
|
2054
|
39704
|
MIPLIB submission pool
|
--
|
115155
|
binary decomposition set_partitioning set_covering invariant_knapsack mixed_binary
|
ab72-40-100
|
easy
|
12370
|
12370
|
0
|
0
|
11671
|
72137
|
MIPLIB submission pool
|
ab
|
-11186620442
|
binary decomposition numerics precedence set_packing
|
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-1330346
|
easy
|
2664
|
2664
|
0
|
0
|
4248
|
13032
|
NEOS Server Submission
|
neos-pseudoapplication-49
|
8
|
binary decomposition benchmark_suitable aggregations precedence variable_bound cardinality
|
fast0507
|
easy
|
63009
|
63009
|
0
|
0
|
507
|
409349
|
MIPLIB submission pool
|
--
|
174
|
benchmark binary benchmark_suitable variable_bound set_covering
|
neos-578379
|
easy
|
17010
|
17010
|
0
|
0
|
21703
|
101560
|
NEOS Server Submission
|
neos-pseudoapplication-42
|
0
|
binary feasibility benchmark_suitable aggregations variable_bound set_partitioning set_packing cardinality
|
ab67-40-100
|
easy
|
12812
|
12812
|
0
|
0
|
12092
|
75871
|
MIPLIB submission pool
|
ab
|
-11186253442
|
binary decomposition numerics precedence set_packing
|
neos-633273
|
easy
|
11154
|
11154
|
0
|
0
|
21781
|
63910
|
NEOS Server Submission
|
neos-pseudoapplication-10
|
6996841098
|
binary aggregations set_partitioning cardinality invariant_knapsack
|
neos-957323
|
easy
|
57756
|
57756
|
0
|
0
|
3757
|
499656
|
NEOS Server Submission
|
neos-pseudoapplication-48
|
-237.7566815
|
benchmark binary benchmark_suitable precedence variable_bound set_packing invariant_knapsack binpacking knapsack
|
nw04
|
easy
|
87482
|
87482
|
0
|
0
|
36
|
636666
|
MIPLIB submission pool
|
--
|
16862
|
benchmark binary benchmark_suitable set_partitioning
|
acc-tight2
|
easy
|
1620
|
1620
|
0
|
0
|
2520
|
15327
|
J. Walser
|
acc-tight
|
0
|
binary benchmark_suitable precedence set_partitioning set_packing set_covering cardinality invariant_knapsack
|
neos-820879
|
easy
|
9522
|
9522
|
0
|
0
|
361
|
72356
|
NEOS Server Submission
|
neos-pseudoapplication-23
|
25468
|
binary benchmark_suitable set_partitioning set_covering cardinality knapsack mixed_binary
|
p2m2p1m1p0n100
|
easy
|
100
|
100
|
0
|
0
|
1
|
100
|
B. Krishnamoorthy, G. Pataki
|
--
|
Infeasible
|
infeasible binary benchmark_suitable knapsack 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
|
acc-tight5
|
easy
|
1339
|
1339
|
0
|
0
|
3052
|
16134
|
J. Walser
|
acc-tight
|
0
|
binary benchmark_suitable aggregations precedence variable_bound set_partitioning set_packing set_covering cardinality invariant_knapsack mixed_binary
|
ponderthis0517-inf
|
easy
|
975
|
975
|
0
|
0
|
78
|
2925
|
Rob Pratt
|
--
|
Infeasible
|
infeasible binary feasibility benchmark_suitable set_partitioning set_packing
|
netdiversion
|
easy
|
129180
|
129180
|
0
|
0
|
119589
|
615282
|
Chris Cullenbine
|
--
|
242
|
benchmark binary benchmark_suitable precedence variable_bound set_partitioning set_packing cardinality invariant_knapsack
|
pb-market-split8-70-4
|
open
|
71
|
71
|
0
|
0
|
17
|
1113
|
Gleb Belov
|
pb-
|
NA
|
no_solution binary feasibility knapsack mixed_binary
|
pb-gfrd-pnc
|
open
|
27888
|
27888
|
0
|
0
|
874
|
60737
|
Gleb Belov
|
pb-
|
8890*
|
binary equation_knapsack binpacking knapsack
|
pb-grow22
|
open
|
25124
|
25124
|
0
|
0
|
1320
|
154694
|
Gleb Belov
|
pb-
|
-342763.0*
|
binary equation_knapsack knapsack
|
pb-fit2d
|
easy
|
118500
|
118500
|
0
|
0
|
10525
|
1575580
|
Gleb Belov
|
pb-
|
-20425
|
binary decomposition benchmark_suitable equation_knapsack binpacking knapsack
|
t1722
|
open
|
36630
|
36630
|
0
|
0
|
338
|
133096
|
R. Borndörfer
|
--
|
109137*
|
binary set_partitioning
|
datt256
|
open
|
262144
|
262144
|
0
|
0
|
11077
|
1503730
|
Jon Dattorro
|
--
|
NA
|
no_solution binary set_partitioning cardinality
|
cvs08r139-94
|
easy
|
1864
|
1864
|
0
|
0
|
2398
|
6456
|
Michael Bastubbe
|
cvs
|
-116
|
binary decomposition benchmark_suitable precedence set_packing invariant_knapsack
|
sorrell7
|
open
|
2048
|
2048
|
0
|
0
|
78848
|
157696
|
Toni Sorrell
|
independentset
|
-196.0*
|
binary variable_bound
|
sorrell3
|
hard
|
1024
|
1024
|
0
|
0
|
169162
|
338324
|
Toni Sorrell
|
independentset
|
-16
|
benchmark binary benchmark_suitable variable_bound
|
sorrell4
|
open
|
2048
|
2048
|
0
|
0
|
504451
|
1008900
|
Toni Sorrell
|
independentset
|
-24*
|
binary variable_bound
|
sorrell8
|
easy
|
2046
|
2046
|
0
|
0
|
18944
|
37888
|
Toni Sorrell
|
independentset
|
-350
|
binary decomposition variable_bound
|
bnatt400
|
easy
|
3600
|
3600
|
0
|
0
|
5614
|
21698
|
Tatsuya Akutsu
|
bnatt
|
1
|
benchmark binary benchmark_suitable precedence set_covering invariant_knapsack binpacking knapsack
|
tbfp-network
|
easy
|
72747
|
72747
|
0
|
0
|
2436
|
215837
|
Rob Pratt
|
--
|
24.16319444
|
benchmark binary benchmark_suitable set_partitioning cardinality
|
glass-sc
|
easy
|
214
|
214
|
0
|
0
|
6119
|
63918
|
Marc Pfetsch
|
maxfeassub
|
23
|
benchmark binary benchmark_suitable set_covering
|
acc-tight4
|
easy
|
1620
|
1620
|
0
|
0
|
3285
|
17073
|
J. Walser
|
acc-tight
|
0
|
binary benchmark_suitable precedence set_partitioning set_packing set_covering cardinality invariant_knapsack mixed_binary
|
ex9
|
easy
|
10404
|
0
|
10404
|
0
|
40962
|
517112
|
Iulian Ober
|
--
|
81
|
benchmark binary benchmark_suitable precedence set_partitioning invariant_knapsack
|
t1717
|
open
|
73885
|
73885
|
0
|
0
|
551
|
325689
|
R. Borndörfer
|
--
|
158260*
|
binary set_partitioning
|
ns1828997
|
open
|
27275
|
27275
|
0
|
0
|
81725
|
190670
|
NEOS Server Submission
|
neos-pseudoapplication-13
|
9*
|
binary precedence variable_bound cardinality invariant_knapsack
|
bab5
|
easy
|
21600
|
21600
|
0
|
0
|
4964
|
155520
|
Elmar Swarat
|
bab
|
-106411.8401
|
binary decomposition benchmark_suitable aggregations set_partitioning set_packing set_covering cardinality invariant_knapsack equation_knapsack knapsack mixed_binary
|
mine-166-5
|
easy
|
830
|
830
|
0
|
0
|
8429
|
19412
|
Andreas Bley
|
mine
|
-566395707.9
|
binary benchmark_suitable precedence knapsack
|
neos-4531126-vouga
|
open
|
169996
|
169996
|
0
|
0
|
7694
|
967980
|
Jeff Linderoth
|
neos-pseudoapplication-87
|
525053.6089188*
|
binary decomposition numerics set_partitioning cardinality invariant_knapsack binpacking mixed_binary
|
neos-3226448-wkra
|
easy
|
10012
|
10012
|
0
|
0
|
2208
|
40048
|
Jeff Linderoth
|
neos-pseudoapplication-103
|
0
|
binary feasibility benchmark_suitable set_partitioning
|
neos-3148108-pahi
|
easy
|
12241
|
12241
|
0
|
0
|
154774
|
353504
|
Jeff Linderoth
|
neos-pseudoapplication-49
|
0
|
binary decomposition aggregations precedence variable_bound set_partitioning set_packing cardinality invariant_knapsack equation_knapsack binpacking knapsack
|
neos-3045796-mogo
|
easy
|
11016
|
11016
|
0
|
0
|
2226
|
44442
|
Jeff Linderoth
|
neos-pseudoapplication-22
|
-175
|
binary decomposition set_partitioning set_packing set_covering invariant_knapsack equation_knapsack
|
neos-3237086-abava
|
open
|
50192
|
50192
|
0
|
0
|
69472
|
233552
|
Jeff Linderoth
|
neos-pseudoapplication-51
|
NA
|
no_solution binary feasibility decomposition aggregations variable_bound set_packing set_covering cardinality invariant_knapsack binpacking
|
neos-2328163-agri
|
easy
|
2236
|
2236
|
0
|
0
|
1963
|
12740
|
Jeff Linderoth
|
neos-pseudoapplication-36
|
27674
|
binary decomposition benchmark_suitable set_partitioning set_packing set_covering cardinality invariant_knapsack binpacking knapsack
|
neos-3437289-erdre
|
easy
|
12162
|
12162
|
0
|
0
|
7358
|
149856
|
Jeff Linderoth
|
neos-pseudoapplication-87
|
0
|
binary set_partitioning set_packing cardinality invariant_knapsack binpacking
|
neos-5052403-cygnet
|
easy
|
32868
|
32868
|
0
|
0
|
38268
|
4898300
|
Jeff Linderoth
|
neos-pseudoapplication-100
|
182
|
benchmark binary benchmark_suitable set_covering invariant_knapsack
|
neos-4754521-awarau
|
easy
|
41680
|
41680
|
0
|
0
|
255386
|
1237480
|
Jeff Linderoth
|
neos-pseudoapplication-51
|
0
|
binary feasibility benchmark_suitable aggregations precedence cardinality invariant_knapsack binpacking
|
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-3322547-alsek
|
open
|
1001000
|
1001000
|
0
|
0
|
2000
|
2001000
|
Jeff Linderoth
|
neos-pseudoapplication-77
|
400.0*
|
binary set_partitioning binpacking
|
neos-5129192-manaia
|
easy
|
164229
|
164229
|
0
|
0
|
531569
|
1599180
|
Jeff Linderoth
|
neos-pseudoapplication-51
|
0
|
binary feasibility benchmark_suitable precedence set_packing cardinality invariant_knapsack equation_knapsack binpacking mixed_binary
|
mining
|
open
|
348921
|
348920
|
0
|
1
|
661133
|
3844880
|
Kelly Eurek
|
--
|
-833555203.4089005*
|
binary numerics precedence invariant_knapsack mixed_binary
|
app2-1
|
easy
|
3283
|
3283
|
0
|
0
|
1038
|
8652
|
Emilie Danna
|
app
|
19294.125
|
binary decomposition numerics variable_bound set_packing mixed_binary
|
app2-2
|
easy
|
1226
|
1226
|
0
|
0
|
335
|
3130
|
Emilie Danna
|
app
|
212040.3571429
|
binary decomposition numerics variable_bound set_packing mixed_binary
|
z26
|
open
|
17937
|
17937
|
0
|
0
|
850513
|
1715610
|
Daniel Bienstock
|
--
|
-1187.0*
|
binary variable_bound set_packing
|
rmine25
|
open
|
326599
|
326599
|
0
|
0
|
2953849
|
7182740
|
Daniel Espinoza
|
rmine
|
-15536.55450900004*
|
binary precedence mixed_binary
|
bab3
|
open
|
393800
|
393800
|
0
|
0
|
23069
|
3301840
|
Elmar Swarat
|
bab
|
-656214.9542*
|
binary decomposition aggregations set_partitioning set_packing set_covering cardinality invariant_knapsack equation_knapsack knapsack mixed_binary
|
sp97ar
|
easy
|
14101
|
14101
|
0
|
0
|
1761
|
290968
|
J. Goessens, S. v. Hoessel, L. Kroon
|
sp9
|
660705645.759
|
benchmark binary benchmark_suitable variable_bound set_packing set_covering mixed_binary
|
rvb-sub
|
hard
|
33765
|
33763
|
0
|
2
|
225
|
984143
|
S. Weider
|
--
|
16.08499802
|
binary set_partitioning knapsack
|
neos-1337307
|
easy
|
2840
|
2840
|
0
|
0
|
5687
|
30799
|
NEOS Server Submission
|
neos-pseudoapplication-13
|
-202319
|
binary decomposition benchmark_suitable precedence set_partitioning invariant_knapsack knapsack mixed_binary
|
core4872-1529
|
open
|
24656
|
24645
|
0
|
11
|
4875
|
218762
|
A. Caprara, M. Fischetti, P. Toth
|
core
|
1530.0*
|
binary variable_bound set_covering invariant_knapsack
|
graph40-40-1rand
|
open
|
102600
|
102600
|
0
|
0
|
360900
|
1260900
|
Michael Bastubbe
|
graphs
|
-9*
|
binary precedence set_partitioning invariant_knapsack
|
graph20-80-1rand
|
hard
|
16263
|
16263
|
0
|
0
|
55107
|
191997
|
Michael Bastubbe
|
graphs
|
-6
|
binary decomposition precedence set_partitioning invariant_knapsack
|
graph40-20-1rand
|
open
|
31243
|
31243
|
0
|
0
|
99067
|
345557
|
Michael Bastubbe
|
graphs
|
-15*
|
binary decomposition precedence set_partitioning invariant_knapsack
|
graph20-20-1rand
|
easy
|
2183
|
2183
|
0
|
0
|
5587
|
19277
|
Michael Bastubbe
|
graphs
|
-9
|
benchmark binary decomposition benchmark_suitable precedence set_partitioning invariant_knapsack
|
graph40-80-1rand
|
open
|
283648
|
283648
|
0
|
0
|
1050112
|
3671550
|
Michael Bastubbe
|
graphs
|
-7*
|
binary precedence set_partitioning invariant_knapsack
|
decomp2
|
easy
|
14387
|
14387
|
0
|
0
|
10765
|
64073
|
Martin Berger
|
--
|
-160
|
benchmark binary decomposition benchmark_suitable precedence set_partitioning set_packing invariant_knapsack binpacking mixed_binary
|
neos18
|
easy
|
3312
|
3312
|
0
|
0
|
11402
|
24614
|
NEOS Server Submission
|
neos-pseudoapplication-49
|
16
|
binary decomposition benchmark_suitable precedence variable_bound set_covering invariant_knapsack
|
reblock354
|
hard
|
3540
|
3540
|
0
|
0
|
19906
|
52901
|
Andreas Bley
|
reblock
|
-39280521.2281657
|
binary precedence knapsack
|
queens-30
|
hard
|
900
|
900
|
0
|
0
|
960
|
93440
|
Ashutosh Mahajan
|
--
|
-40
|
binary knapsack
|
decomp1
|
easy
|
10735
|
10735
|
0
|
0
|
8357
|
47889
|
Martin Berger
|
--
|
-120
|
binary decomposition precedence set_partitioning set_packing invariant_knapsack binpacking mixed_binary
|
mine-90-10
|
easy
|
900
|
900
|
0
|
0
|
6270
|
15407
|
Andreas Bley
|
mine
|
-784302337.6332
|
binary benchmark_suitable precedence knapsack
|
eilA101-2
|
easy
|
65832
|
65832
|
0
|
0
|
100
|
959373
|
J. Linderoth
|
eil
|
880.920108
|
benchmark binary benchmark_suitable set_partitioning
|
supportcase30
|
open
|
1024
|
1024
|
0
|
0
|
1028
|
12288
|
Domenico Salvagnin
|
--
|
NA
|
no_solution binary feasibility set_covering cardinality
|
n3seq24
|
easy
|
119856
|
119856
|
0
|
0
|
6044
|
3232340
|
R. Meirich
|
nseq
|
52200
|
binary benchmark_suitable set_packing set_covering invariant_knapsack knapsack
|
ds-big
|
open
|
174997
|
174997
|
0
|
0
|
1042
|
4623440
|
Steffen Weider
|
--
|
195.498997075249*
|
binary set_partitioning
|
scpk4
|
open
|
1e+05
|
1e+05
|
0
|
0
|
2000
|
1e+06
|
Shunji Umetani
|
scp
|
321.0*
|
binary set_covering
|
scpm1
|
open
|
5e+05
|
5e+05
|
0
|
0
|
5000
|
6250000
|
Shunji Umetani
|
scp
|
557.0*
|
binary set_covering
|
scpn2
|
open
|
1e+06
|
1e+06
|
0
|
0
|
5000
|
12500000
|
Shunji Umetani
|
scp
|
516.0*
|
binary set_covering
|
scpj4scip
|
open
|
99947
|
99947
|
0
|
0
|
1000
|
999893
|
Shunji Umetani
|
scp
|
128.0*
|
binary set_covering
|
scpl4
|
open
|
2e+05
|
2e+05
|
0
|
0
|
2000
|
2e+06
|
Shunji Umetani
|
scp
|
262.0*
|
binary set_covering
|
air04
|
easy
|
8904
|
8904
|
0
|
0
|
823
|
72965
|
G. Astfalk
|
air
|
56137
|
binary benchmark_suitable aggregations set_partitioning
|
rmine11
|
open
|
12292
|
12292
|
0
|
0
|
97389
|
241240
|
Daniel Espinoza
|
rmine
|
-2508.404144*
|
binary precedence mixed_binary
|
supportcase4
|
easy
|
3162
|
3162
|
0
|
0
|
9492
|
38036
|
Michael Winkler
|
--
|
0
|
binary feasibility benchmark_suitable aggregations precedence variable_bound invariant_knapsack knapsack mixed_binary
|
supportcase18
|
easy
|
13410
|
13410
|
0
|
0
|
240
|
28920
|
Michael Winkler
|
--
|
48
|
benchmark binary benchmark_suitable set_partitioning binpacking
|
supportcase22
|
hard
|
7129
|
7129
|
0
|
0
|
260602
|
2228830
|
Michael Winkler
|
--
|
Infeasible
|
benchmark infeasible binary benchmark_suitable aggregations set_covering invariant_knapsack binpacking knapsack
|
supportcase11
|
easy
|
8066286
|
8066286
|
0
|
0
|
15270211
|
32602300
|
Michael Winkler
|
--
|
-14.281996107
|
binary numerics aggregations variable_bound
|
supportcase16
|
easy
|
319
|
319
|
0
|
0
|
130
|
1076
|
Michael Winkler
|
--
|
288
|
binary aggregations variable_bound set_partitioning set_packing cardinality
|
supportcase10
|
hard
|
14770
|
14770
|
0
|
0
|
165684
|
555082
|
Michael Winkler
|
--
|
7
|
benchmark binary benchmark_suitable aggregations precedence variable_bound set_covering invariant_knapsack
|
supportcase2
|
open
|
2912
|
2912
|
0
|
0
|
597385
|
7653930
|
Michael Winkler
|
--
|
109137*
|
binary aggregations set_covering invariant_knapsack binpacking
|
supportcase14
|
easy
|
304
|
304
|
0
|
0
|
234
|
1129
|
Michael Winkler
|
--
|
288
|
binary aggregations variable_bound set_partitioning set_packing cardinality
|
supportcase3
|
hard
|
4191
|
4191
|
0
|
0
|
12702
|
53470
|
Michael Winkler
|
--
|
0
|
binary feasibility aggregations precedence variable_bound invariant_knapsack knapsack mixed_binary
|
ramos3
|
open
|
2187
|
2187
|
0
|
0
|
2187
|
32805
|
F. Ramos
|
--
|
192.0*
|
binary set_covering
|
rmine13
|
open
|
23980
|
23980
|
0
|
0
|
197155
|
485784
|
Daniel Espinoza
|
rmine
|
-3494.715232*
|
binary precedence mixed_binary
|
n3div36
|
easy
|
22120
|
22120
|
0
|
0
|
4484
|
340740
|
R. Meirich
|
nseq
|
130800
|
benchmark binary decomposition benchmark_suitable set_packing set_covering mixed_binary
|
cvs16r128-89
|
easy
|
3472
|
3472
|
0
|
0
|
4633
|
12528
|
Michael Bastubbe
|
cvs
|
-97
|
benchmark binary decomposition benchmark_suitable precedence set_packing invariant_knapsack
|
tanglegram6
|
easy
|
9182
|
9182
|
0
|
0
|
17712
|
53136
|
Falk Hueffner
|
huefner
|
1224
|
binary benchmark_suitable set_covering invariant_knapsack
|
co-100
|
easy
|
48417
|
48417
|
0
|
0
|
2187
|
1995820
|
Axel Werner
|
--
|
2639942.06
|
benchmark binary benchmark_suitable precedence set_partitioning set_packing binpacking knapsack
|
rail03
|
hard
|
758775
|
758775
|
0
|
0
|
253905
|
1728450
|
Thomas Schlechte
|
rail0
|
-867.093965444446
|
binary numerics aggregations variable_bound set_partitioning set_packing cardinality knapsack
|
cvs16r70-62
|
easy
|
2112
|
2112
|
0
|
0
|
3278
|
8512
|
Michael Bastubbe
|
cvs
|
-42
|
binary decomposition benchmark_suitable precedence set_packing invariant_knapsack
|
rail507
|
easy
|
63019
|
63009
|
0
|
10
|
509
|
468878
|
A. Caprara, M. Fischetti, P. Toth
|
--
|
174
|
benchmark binary benchmark_suitable variable_bound set_covering invariant_knapsack
|
v150d30-2hopcds
|
open
|
150
|
150
|
0
|
0
|
7822
|
103991
|
Austin Buchanan
|
2hopcds
|
41*
|
binary variable_bound set_covering
|
neos-3555904-turama
|
easy
|
37461
|
37461
|
0
|
0
|
146493
|
793605
|
Hans Mittelmann
|
neos-pseudoapplication-81
|
-34.7
|
benchmark binary benchmark_suitable aggregations precedence variable_bound set_partitioning set_packing cardinality invariant_knapsack
|
neos-4382714-ruvuma
|
easy
|
6562
|
6561
|
0
|
1
|
3645
|
32805
|
Hans Mittelmann
|
neos-pseudoapplication-103
|
Infeasible
|
infeasible binary feasibility benchmark_suitable set_partitioning
|
neos-3988577-wolgan
|
easy
|
25870
|
25870
|
0
|
0
|
44662
|
350350
|
Hans Mittelmann
|
neos-pseudoapplication-64
|
Infeasible
|
benchmark infeasible binary decomposition benchmark_suitable precedence set_packing cardinality invariant_knapsack binpacking knapsack
|
neos-2075418-temuka
|
easy
|
122304
|
122304
|
0
|
0
|
349602
|
7610260
|
Hans Mittelmann
|
neos-pseudoapplication-62
|
Infeasible
|
benchmark infeasible binary benchmark_suitable precedence variable_bound set_covering invariant_knapsack knapsack
|
tanglegram4
|
easy
|
56048
|
56048
|
0
|
0
|
110404
|
331212
|
Falk Hueffner
|
huefner
|
10696
|
binary benchmark_suitable set_covering invariant_knapsack
|
iis-glass-cov
|
easy
|
214
|
214
|
0
|
0
|
5375
|
56133
|
Marc Pfetsch
|
iis
|
21
|
binary benchmark_suitable set_covering
|
iis-hc-cov
|
easy
|
297
|
297
|
0
|
0
|
9727
|
142971
|
Marc Pfetsch
|
iis
|
17
|
binary benchmark_suitable set_covering
|
f2000
|
open
|
4000
|
4000
|
0
|
0
|
10500
|
29500
|
M. Winkler
|
--
|
1811.0*
|
binary variable_bound set_covering
|
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
|
peg-solitaire-a3
|
easy
|
4552
|
4552
|
0
|
0
|
4587
|
28387
|
Hiroshige Dan ; Koichi Fujii
|
pegsolitaire
|
1
|
benchmark binary benchmark_suitable aggregations variable_bound set_partitioning cardinality binpacking
|
cod105
|
easy
|
1024
|
1024
|
0
|
0
|
1024
|
57344
|
MIPLIB submission pool
|
--
|
-12
|
benchmark binary benchmark_suitable set_packing
|
neos-859770
|
easy
|
2504
|
2504
|
0
|
0
|
2065
|
880736
|
NEOS Server Submission
|
neos-pseudoapplication-81
|
Infeasible
|
infeasible binary benchmark_suitable set_partitioning invariant_knapsack mixed_binary
|
circ10-3
|
open
|
2700
|
2700
|
0
|
0
|
42620
|
307320
|
M. Winkler
|
--
|
280.0*
|
binary decomposition precedence variable_bound set_partitioning set_packing invariant_knapsack knapsack mixed_binary
|
ivu52
|
hard
|
157591
|
157591
|
0
|
0
|
2116
|
2179480
|
S. Weider
|
ivu
|
481.0068
|
binary set_partitioning invariant_knapsack knapsack mixed_binary
|
rail02
|
easy
|
270869
|
270869
|
0
|
0
|
95791
|
756228
|
Thomas Schlechte
|
rail0
|
-200.4499077
|
benchmark binary benchmark_suitable aggregations set_partitioning set_packing cardinality
|
seymour
|
easy
|
1372
|
1372
|
0
|
0
|
4944
|
33549
|
W. Cook, P. Seymour
|
--
|
423
|
benchmark binary benchmark_suitable variable_bound set_covering
|
neos-885524
|
easy
|
91670
|
91670
|
0
|
0
|
65
|
258309
|
NEOS Server Submission
|
neos-pseudoapplication-100
|
12320.092
|
binary benchmark_suitable set_covering mixed_binary
|
toll-like
|
easy
|
2883
|
2883
|
0
|
0
|
4408
|
13224
|
Falk Hueffner
|
huefner
|
610
|
binary benchmark_suitable set_covering invariant_knapsack
|
pythago7824
|
hard
|
3740
|
3740
|
0
|
0
|
14652
|
43956
|
Felix J. L. Willamowski
|
--
|
0
|
binary feasibility set_covering invariant_knapsack
|
pythago7825
|
open
|
3745
|
3745
|
0
|
0
|
14672
|
44016
|
Felix J. L. Willamowski
|
--
|
NA
|
no_solution binary feasibility set_covering invariant_knapsack
|
vpphard2
|
easy
|
199999
|
199999
|
0
|
0
|
198450
|
648340
|
C. Cardonha
|
--
|
81
|
binary decomposition benchmark_suitable set_partitioning cardinality invariant_knapsack
|
ex10
|
easy
|
17680
|
0
|
17680
|
0
|
69608
|
1162000
|
Iulian Ober
|
--
|
100
|
benchmark binary benchmark_suitable precedence set_partitioning invariant_knapsack
|
f2gap801600
|
easy
|
1600
|
1600
|
0
|
0
|
80
|
3200
|
Salim Haddadi
|
f2gap
|
86679
|
binary knapsack mixed_binary
|
f2gap401600
|
easy
|
1600
|
1600
|
0
|
0
|
40
|
3200
|
Salim Haddadi
|
f2gap
|
82307
|
binary mixed_binary
|
f2gap40400
|
easy
|
400
|
400
|
0
|
0
|
40
|
800
|
Salim Haddadi
|
f2gap
|
20772
|
binary knapsack mixed_binary
|
f2gap201600
|
easy
|
1600
|
1600
|
0
|
0
|
20
|
3200
|
Salim Haddadi
|
f2gap
|
76453
|
binary mixed_binary
|
n2seq36f
|
easy
|
8100
|
8100
|
0
|
0
|
285
|
60948
|
R. Meirich
|
nseq
|
52200
|
binary decomposition benchmark_suitable set_packing set_covering mixed_binary
|
n2seq36q
|
easy
|
22480
|
22480
|
0
|
0
|
2565
|
183292
|
R. Meirich
|
nseq
|
52200
|
benchmark binary benchmark_suitable set_packing set_covering invariant_knapsack binpacking knapsack
|
cdc7-4-3-2
|
open
|
11811
|
11811
|
0
|
0
|
14478
|
259842
|
Sascha Kurz
|
--
|
-289.0*
|
binary set_packing
|
rmine15
|
open
|
42438
|
42438
|
0
|
0
|
358395
|
879732
|
Daniel Espinoza
|
rmine
|
-5018.006238*
|
binary precedence 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
|
core2536-691
|
easy
|
15293
|
15284
|
0
|
9
|
2539
|
177739
|
A. Caprara, M. Fischetti, P. Toth
|
core
|
689
|
binary benchmark_suitable variable_bound set_covering invariant_knapsack
|
s100
|
hard
|
364417
|
364417
|
0
|
0
|
14733
|
1777920
|
Daniel Espinoza
|
Spinoza
|
-0.1697235270583
|
benchmark binary benchmark_suitable aggregations set_partitioning set_packing cardinality invariant_knapsack knapsack
|
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
|
opm2-z8-s0
|
easy
|
3200
|
3200
|
0
|
0
|
63608
|
152793
|
Daniel Espinoza
|
opm2
|
-15775
|
binary benchmark_suitable precedence knapsack
|
opm2-z7-s8
|
easy
|
2023
|
2023
|
0
|
0
|
31798
|
79756
|
Daniel Espinoza
|
opm2
|
-11242
|
binary benchmark_suitable precedence knapsack
|
opm2-z6-s1
|
easy
|
1350
|
1350
|
0
|
0
|
15533
|
41844
|
Daniel Espinoza
|
opm2
|
-6202
|
binary benchmark_suitable precedence knapsack
|
reblock166
|
easy
|
1660
|
1660
|
0
|
0
|
17024
|
39442
|
Andreas Bley
|
reblock
|
-600052168.91
|
binary benchmark_suitable precedence knapsack
|
a2864-99blp
|
open
|
200787
|
200787
|
0
|
0
|
22117
|
20078700
|
Daniel Heinlein
|
selofsubspaces
|
-257*
|
binary set_packing invariant_knapsack
|
neos-952987
|
hard
|
31329
|
31329
|
0
|
0
|
354
|
90384
|
NEOS Server Submission
|
neos-pseudoapplication-22
|
Infeasible
|
infeasible binary set_covering equation_knapsack knapsack
|
rail01
|
easy
|
117527
|
117527
|
0
|
0
|
46843
|
392086
|
Thomas Schlechte
|
rail0
|
-70.5699643
|
benchmark binary benchmark_suitable aggregations variable_bound set_partitioning set_packing cardinality knapsack
|
neos-631710
|
easy
|
167056
|
167056
|
0
|
0
|
169576
|
834166
|
NEOS Server Submission
|
neos-pseudoapplication-75
|
203
|
benchmark binary benchmark_suitable precedence set_partitioning set_packing binpacking
|
bab2
|
hard
|
147912
|
147912
|
0
|
0
|
17245
|
2027730
|
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
|
chromaticindex256-8
|
easy
|
18432
|
18432
|
0
|
0
|
16895
|
67572
|
Pierre Le Bodic
|
chromaticindex
|
4
|
binary benchmark_suitable set_partitioning set_packing
|
chromaticindex32-8
|
easy
|
2304
|
2304
|
0
|
0
|
2111
|
8436
|
Pierre Le Bodic
|
chromaticindex
|
4
|
binary benchmark_suitable set_partitioning set_packing
|
chromaticindex128-5
|
easy
|
9216
|
9216
|
0
|
0
|
8447
|
33780
|
Pierre Le Bodic
|
chromaticindex
|
4
|
binary benchmark_suitable set_partitioning set_packing
|
chromaticindex512-7
|
easy
|
36864
|
36864
|
0
|
0
|
33791
|
135156
|
Pierre Le Bodic
|
chromaticindex
|
4
|
benchmark binary benchmark_suitable set_partitioning set_packing
|
chromaticindex1024-7
|
easy
|
73728
|
73728
|
0
|
0
|
67583
|
270324
|
Pierre Le Bodic
|
chromaticindex
|
4
|
benchmark binary benchmark_suitable set_partitioning set_packing
|
hanoi5
|
hard
|
3862
|
3862
|
0
|
0
|
16399
|
39718
|
M. Winkler
|
--
|
1931
|
binary variable_bound set_covering
|
bley_xl1
|
easy
|
5831
|
5831
|
0
|
0
|
175620
|
869139
|
A. Bley
|
bley_x
|
190
|
binary numerics aggregations variable_bound set_partitioning set_packing cardinality invariant_knapsack binpacking knapsack mixed_binary
|
30_70_45_095_100
|
easy
|
10976
|
10975
|
0
|
1
|
12526
|
46640
|
J. Walser
|
30_70
|
3
|
binary decomposition benchmark_suitable precedence variable_bound set_covering mixed_binary
|
2club200v15p5scn
|
hard
|
200
|
200
|
0
|
0
|
17013
|
104811
|
Balabhaskar Balasundaram
|
--
|
-70
|
binary variable_bound invariant_knapsack
|
eil33-2
|
easy
|
4516
|
4516
|
0
|
0
|
32
|
44243
|
J. Linderoth
|
eil
|
934.007915999999
|
benchmark binary benchmark_suitable set_partitioning
|
s1234
|
hard
|
2945
|
2945
|
0
|
0
|
8418
|
44641
|
Siwei Sun
|
SiweiSun
|
29
|
binary precedence set_covering invariant_knapsack binpacking knapsack
|
reblock420
|
easy
|
4200
|
4200
|
0
|
0
|
62800
|
138670
|
Andreas Bley
|
reblock
|
-517793000
|
binary benchmark_suitable precedence knapsack
|