|
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
|
|
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
|
2126860
|
Sascha Kurz
|
8div
|
Infeasible
|
infeasible set_partitioning cardinality equation_knapsack integer_knapsack general_linear
|
|
8div-n59k12
|
hard
|
24575
|
24570
|
5
|
0
|
8211
|
8448020
|
Sascha Kurz
|
8div
|
Infeasible
|
infeasible set_partitioning cardinality equation_knapsack integer_knapsack general_linear
|
|
flugplinf
|
easy
|
18
|
0
|
11
|
7
|
19
|
64
|
MIPLIB submission pool
|
–
|
Infeasible
|
infeasible aggregations variable_bound general_linear
|
|
mod008inf
|
easy
|
319
|
319
|
0
|
0
|
7
|
1562
|
MIPLIB submission pool
|
mod
|
Infeasible
|
infeasible binary knapsack mixed_binary
|
|
stein15inf
|
easy
|
15
|
15
|
0
|
0
|
37
|
135
|
MIPLIB submission pool
|
stein
|
Infeasible
|
infeasible binary set_covering invariant_knapsack mixed_binary
|
|
neos859080
|
easy
|
160
|
80
|
80
|
0
|
164
|
1280
|
NEOS Server Submission
|
neos-pseudoapplication-96
|
Infeasible
|
benchmark infeasible benchmark_suitable variable_bound general_linear
|
|
misc05inf
|
easy
|
136
|
74
|
0
|
62
|
301
|
2946
|
MIPLIB submission pool
|
misc
|
Infeasible
|
infeasible variable_bound set_partitioning set_covering cardinality mixed_binary general_linear
|
|
g503inf
|
easy
|
48
|
24
|
0
|
24
|
41
|
144
|
MIPLIB submission pool
|
–
|
Infeasible
|
infeasible variable_bound binpacking knapsack mixed_binary
|
|
dell
|
easy
|
626
|
105
|
0
|
521
|
500
|
4580
|
MIPLIB submission pool
|
–
|
Infeasible
|
infeasible aggregations precedence variable_bound 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
|
|
misc04inf
|
easy
|
4897
|
30
|
0
|
4867
|
1726
|
17253
|
MIPLIB submission pool
|
misc
|
Infeasible
|
infeasible aggregations precedence variable_bound set_packing mixed_binary general_linear
|
|
enlight11
|
easy
|
242
|
121
|
121
|
0
|
121
|
682
|
A. Zymolka
|
enlight
|
Infeasible
|
infeasible equation_knapsack general_linear
|
|
enlight4
|
easy
|
32
|
16
|
16
|
0
|
16
|
80
|
A. Zymolka
|
enlight
|
Infeasible
|
infeasible equation_knapsack general_linear
|
|
p2m2p1m1p0n100
|
easy
|
100
|
100
|
0
|
0
|
1
|
100
|
B. Krishnamoorthy, G. Pataki
|
–
|
Infeasible
|
infeasible binary benchmark_suitable knapsack mixed_binary
|
|
ponderthis0517-inf
|
easy
|
975
|
975
|
0
|
0
|
78
|
2925
|
Rob Pratt
|
–
|
Infeasible
|
infeasible binary feasibility benchmark_suitable set_partitioning set_packing
|
|
neos-2626858-aoos
|
easy
|
524
|
209
|
315
|
0
|
342
|
1690
|
Jeff Linderoth
|
neos-pseudoapplication-7
|
Infeasible
|
infeasible decomposition benchmark_suitable aggregations precedence variable_bound set_partitioning integer_knapsack general_linear
|
|
neos-3135526-osun
|
easy
|
192
|
170
|
0
|
22
|
1546
|
25750
|
Jeff Linderoth
|
neos-pseudoapplication-71
|
Infeasible
|
infeasible numerics precedence variable_bound set_partitioning set_packing cardinality invariant_knapsack mixed_binary
|
|
neos-3218348-suir
|
easy
|
7022
|
7006
|
0
|
16
|
1320
|
221881
|
Jeff Linderoth
|
neos-pseudoapplication-72
|
Infeasible
|
infeasible decomposition aggregations set_partitioning invariant_knapsack equation_knapsack mixed_binary
|
|
neos-5157194-moruya
|
easy
|
24557
|
13302
|
1681
|
9574
|
30175
|
9381780
|
Jeff Linderoth
|
neos-pseudoapplication-41
|
Infeasible
|
infeasible numerics aggregations variable_bound set_partitioning mixed_binary general_linear
|
|
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-2656603-coxs
|
easy
|
524
|
186
|
338
|
0
|
342
|
1690
|
Jeff Linderoth
|
neos-pseudoapplication-7
|
Infeasible
|
infeasible decomposition benchmark_suitable aggregations precedence variable_bound set_partitioning integer_knapsack general_linear
|
|
neos-3754224-navua
|
easy
|
150228
|
3574
|
0
|
146654
|
232387
|
652974
|
Jeff Linderoth
|
neos-pseudoapplication-83
|
Infeasible
|
benchmark infeasible benchmark_suitable aggregations precedence variable_bound set_partitioning 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
|
|
no-ip-64999
|
easy
|
2232
|
2187
|
45
|
0
|
2547
|
13590
|
Christopher Hojny
|
noip
|
Infeasible
|
infeasible feasibility decomposition benchmark_suitable precedence set_covering general_linear
|
|
no-ip-65059
|
easy
|
2232
|
2187
|
45
|
0
|
2547
|
13590
|
Christopher Hojny
|
noip
|
Infeasible
|
infeasible feasibility decomposition benchmark_suitable precedence set_covering general_linear
|
|
uc720-7-4-4-8
|
easy
|
1405278
|
269009
|
0
|
1136269
|
4308353
|
11856400
|
Juan Javier Domínguez Moreno
|
–
|
Infeasible
|
infeasible numerics aggregations precedence variable_bound set_partitioning set_packing cardinality invariant_knapsack binpacking mixed_binary
|
|
supportcase22
|
hard
|
7129
|
7129
|
0
|
0
|
260602
|
2228830
|
Michael Winkler
|
–
|
Infeasible
|
benchmark infeasible binary benchmark_suitable aggregations set_covering invariant_knapsack binpacking knapsack
|
|
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-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
|
|
enlight9
|
easy
|
162
|
81
|
81
|
0
|
81
|
450
|
A. Zymolka
|
enlight
|
Infeasible
|
infeasible equation_knapsack general_linear
|
|
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-18
|
easy
|
520
|
481
|
0
|
39
|
650
|
2392
|
Simon Felix
|
binpack
|
Infeasible
|
infeasible feasibility benchmark_suitable invariant_knapsack mixed_binary
|
|
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
|
|
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
|
|
bnatt500
|
hard
|
4500
|
4500
|
0
|
0
|
7029
|
27203
|
Tatsuya Akutsu
|
bnatt
|
Infeasible
|
benchmark infeasible binary benchmark_suitable precedence set_covering invariant_knapsack binpacking knapsack
|
|
oocsp-racks030f7cci
|
easy
|
50859
|
32779
|
18080
|
0
|
92792
|
233170
|
Gleb Belov
|
oocsp-racks
|
Infeasible
|
infeasible feasibility indicator numerics aggregations precedence variable_bound set_partitioning set_covering cardinality invariant_knapsack integer_knapsack general_linear
|
|
maritime-jg3d9
|
easy
|
92261
|
36960
|
0
|
55301
|
126621
|
627969
|
Dimitri Papageorgiou
|
maritime
|
Infeasible
|
infeasible decomposition aggregations precedence variable_bound set_partitioning set_packing cardinality invariant_knapsack mixed_binary general_linear
|
|
control30-5-10-4
|
easy
|
1960
|
150
|
0
|
1810
|
3640
|
21460
|
Qie He
|
control
|
Infeasible
|
infeasible decomposition numerics variable_bound set_partitioning mixed_binary
|