tokyometro |
open |
4537 |
2496 |
2041 |
0 |
7719 |
26958 |
Hsiang-Yun WU |
– |
8263.099999999999* |
aggregations
precedence
variable_bound
set_partitioning
equation_knapsack
mixed_binary
general_linear |
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 |
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.2307000001 |
benchmark
binary
benchmark_suitable
aggregations
precedence
set_partitioning
set_packing
set_covering
cardinality
invariant_knapsack
equation_knapsack
knapsack
mixed_binary |
neos-555424 |
easy |
3815 |
3800 |
15 |
0 |
2676 |
15667 |
NEOS Server Submission |
neos-pseudoapplication-15 |
1286800 |
decomposition
benchmark_suitable
precedence
invariant_knapsack
equation_knapsack
binpacking
mixed_binary
general_linear |
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 |
neos-555884 |
easy |
3815 |
3800 |
15 |
0 |
4331 |
19067 |
NEOS Server Submission |
neos-pseudoapplication-32 |
1232700 |
decomposition
benchmark_suitable
aggregations
precedence
variable_bound
set_partitioning
cardinality
equation_knapsack
binpacking
mixed_binary
general_linear |
enlight8 |
easy |
128 |
64 |
64 |
0 |
64 |
352 |
A. Zymolka |
enlight |
27 |
equation_knapsack
general_linear |
blp-ir98 |
easy |
6097 |
6031 |
0 |
66 |
486 |
79152 |
M. Lübbecke |
blp |
2342.315488 |
decomposition
benchmark_suitable
set_packing
equation_knapsack
mixed_binary
general_linear |
neos-555343 |
easy |
3815 |
3800 |
15 |
0 |
3326 |
16967 |
NEOS Server Submission |
neos-pseudoapplication-15 |
1512800 |
decomposition
benchmark_suitable
aggregations
precedence
invariant_knapsack
equation_knapsack
binpacking
mixed_binary
general_linear |
neos-1223462 |
easy |
5495 |
5180 |
315 |
0 |
5890 |
47040 |
NEOS Server Submission |
neos-pseudoapplication-12 |
-751.0000000645 |
benchmark_suitable
variable_bound
set_partitioning
set_packing
cardinality
invariant_knapsack
equation_knapsack
knapsack
general_linear |
enlight_hard |
easy |
200 |
100 |
100 |
0 |
100 |
560 |
A. Zymolka |
enlight |
37 |
benchmark
benchmark_suitable
equation_knapsack
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 |
pb-gfrd-pnc |
open |
27888 |
27888 |
0 |
0 |
874 |
60737 |
Gleb Belov |
pb- |
8844.0* |
binary
equation_knapsack
binpacking
knapsack |
pb-grow22 |
open |
25124 |
25124 |
0 |
0 |
1320 |
154694 |
Gleb Belov |
pb- |
-449302.0* |
binary
equation_knapsack
knapsack |
pb-fit2d |
easy |
118500 |
118500 |
0 |
0 |
10525 |
1575578 |
Gleb Belov |
pb- |
-20425 |
binary
decomposition
benchmark_suitable
equation_knapsack
binpacking
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 |
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-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-5125849-lopori |
easy |
8130 |
8040 |
90 |
0 |
453 |
20938 |
Jeff Linderoth |
neos-pseudoapplication-42 |
0 |
feasibility
benchmark_suitable
aggregations
set_partitioning
set_packing
equation_knapsack
general_linear |
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 |
bab3 |
open |
393800 |
393800 |
0 |
0 |
23069 |
3301838 |
Elmar Swarat |
bab |
-656214.9542* |
binary
decomposition
aggregations
set_partitioning
set_packing
set_covering
cardinality
invariant_knapsack
equation_knapsack
knapsack
mixed_binary |
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 |
kosova1 |
hard |
614253 |
609591 |
4662 |
0 |
304931 |
3414761 |
George Fonseca |
timetabling |
0.0 |
aggregations
precedence
variable_bound
set_partitioning
set_packing
set_covering
cardinality
invariant_knapsack
equation_knapsack
binpacking
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 |
brazil3 |
easy |
23968 |
23874 |
94 |
0 |
14646 |
133184 |
George Fonseca |
timetabling |
24 |
benchmark
decomposition
benchmark_suitable
aggregations
precedence
variable_bound
set_partitioning
set_packing
set_covering
cardinality
invariant_knapsack
equation_knapsack
mixed_binary
general_linear |
neos-4360552-sangro |
open |
10272 |
9696 |
576 |
0 |
46012 |
302184 |
Hans Mittelmann |
neos-pseudoapplication-62 |
-8.0* |
decomposition
precedence
variable_bound
set_packing
set_covering
cardinality
invariant_knapsack
equation_knapsack
binpacking
knapsack
integer_knapsack
general_linear |
neos-3682128-sandon |
open |
7880 |
7870 |
10 |
0 |
14920 |
50438 |
Hans Mittelmann |
neos-pseudoapplication-10 |
34666770* |
aggregations
variable_bound
set_packing
cardinality
invariant_knapsack
equation_knapsack
knapsack
integer_knapsack
general_linear |
enlight9 |
easy |
162 |
81 |
81 |
0 |
81 |
450 |
A. Zymolka |
enlight |
Infeasible |
infeasible
equation_knapsack
general_linear |
hgms62 |
open |
48597 |
547 |
0 |
48050 |
582237 |
1753238 |
Jesus Rodriguez |
hgms |
-44837.24534313961* |
aggregations
variable_bound
set_partitioning
set_packing
set_covering
invariant_knapsack
equation_knapsack
mixed_binary |
hgms30 |
open |
23797 |
547 |
0 |
23250 |
281917 |
850486 |
Jesus Rodriguez |
hgms |
-44338.74480308597* |
aggregations
variable_bound
set_partitioning
set_packing
set_covering
invariant_knapsack
equation_knapsack
mixed_binary |
hgms-det |
hard |
1322 |
547 |
0 |
775 |
9752 |
32367 |
Jesus Rodriguez |
hgms |
-47314.08587415493 |
aggregations
variable_bound
set_partitioning
set_packing
set_covering
invariant_knapsack
equation_knapsack
mixed_binary |
shiftreg1-4 |
easy |
10008 |
3912 |
0 |
6096 |
8136 |
29976 |
Domenico Salvagnin |
shiftreg |
132.66969396 |
decomposition
numerics
aggregations
set_partitioning
cardinality
equation_knapsack
binpacking
knapsack
mixed_binary |
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 |
neos-738098 |
easy |
9093 |
8946 |
0 |
147 |
25849 |
101360 |
NEOS Server Submission |
neos-pseudoapplication-15 |
-1099 |
benchmark_suitable
precedence
variable_bound
set_partitioning
set_packing
cardinality
invariant_knapsack
equation_knapsack
binpacking
mixed_binary
general_linear |
piperout-03 |
easy |
9526 |
9373 |
129 |
24 |
12246 |
39067 |
Gleb Belov |
piperout |
74981.99999999999 |
benchmark_suitable
aggregations
precedence
variable_bound
set_partitioning
set_packing
set_covering
invariant_knapsack
equation_knapsack
integer_knapsack
mixed_binary
general_linear |
piperout-08 |
easy |
10399 |
10245 |
130 |
24 |
14589 |
44959 |
Gleb Belov |
piperout |
125054.9999999999 |
benchmark
benchmark_suitable
aggregations
precedence
variable_bound
set_partitioning
set_packing
set_covering
invariant_knapsack
equation_knapsack
integer_knapsack
mixed_binary
general_linear |
piperout-27 |
easy |
11659 |
11514 |
121 |
24 |
18442 |
54662 |
Gleb Belov |
piperout |
8123.999999999973 |
benchmark
benchmark_suitable
aggregations
precedence
variable_bound
set_partitioning
set_packing
set_covering
invariant_knapsack
equation_knapsack
integer_knapsack
mixed_binary
general_linear |
shiftreg5-1 |
hard |
48736 |
10608 |
0 |
38128 |
31424 |
157504 |
Domenico Salvagnin |
shiftreg |
520.2562364680399 |
numerics
aggregations
set_partitioning
cardinality
equation_knapsack
binpacking
knapsack
mixed_binary |
gfd-schedulen25f5d20m10k3i |
easy |
30916 |
14783 |
14556 |
1577 |
47093 |
88245 |
Gleb Belov |
gfd-schedule |
5 |
indicator
numerics
aggregations
precedence
variable_bound
set_partitioning
set_packing
cardinality
invariant_knapsack
equation_knapsack
mixed_binary
general_linear |
gfd-schedulen55f2d50m30k3i |
easy |
90158 |
40622 |
42209 |
7327 |
129102 |
260992 |
Gleb Belov |
gfd-schedule |
6 |
indicator
numerics
aggregations
precedence
variable_bound
set_partitioning
set_packing
cardinality
invariant_knapsack
equation_knapsack
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 |
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 |
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 |
easy |
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 |
neos-952987 |
hard |
31329 |
31329 |
0 |
0 |
354 |
90384 |
NEOS Server Submission |
neos-pseudoapplication-22 |
Infeasible |
infeasible
binary
set_covering
equation_knapsack
knapsack |
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 |
blp-ar98 |
easy |
16021 |
15806 |
0 |
215 |
1128 |
200601 |
M. Lübbecke |
blp |
6205.2147104 |
benchmark
decomposition
benchmark_suitable
variable_bound
set_packing
equation_knapsack
mixed_binary
general_linear |