🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
❌
❌
🔺
❌
❌
🔺
🔺
🔺
🔺
🔺
🔺
❌
❌
🔺
🔺
🔺
🔺
🔺
🔺
❌
❌
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
❌
❌
🔺
🔺
🔺
🔺
🔺
❌
❌
🔺
🔺
🔺
🔺
❌
❌
control30-5-10-4
stein9inf
stein45inf
stein15inf
ponderthis0517-inf
p2m2p1m1p0n100
no-ip-65059
no-ip-64999
neos859080
neos-3218348-suir
neos-2656603-coxs
neos-2626858-aoos
neos-3135526-osun
mod008inf
dell
enlight11
enlight4
enlight9
flugplinf
maritime-jg3d9
g503inf
misc04inf
misc05inf
oocsp-racks030f7cci
neos-859770
supportcase29
neos-2075418-temuka
neos-3988577-wolgan
neos-5157194-moruya
fhnw-binpack4-18
neos-4382714-ruvuma
uc720-7-4-4-8
1/256
1/128
1/64
1/32
1/16
1/8
1/4
1/2
1
2
4
8
16
32
64
128
256
512
1
2
5
10
2
5
100
2
5
1000
2
5
click to hide/show
CBC-2.10.5
COPT-5.0.0
FSCIP-7.0.0
GUROBI-9.5.0
HiGHS-1.2.2
MATLAB-2020b
SCIP-8.0.0
SCIPC-8.0.0
Infeasibility Detection for MILP Problems
shifted time ratios (shift=10 seconds) using GUROBI-9.5.0 as base solver (18 Jun 2022) -
mattmilten.github.io/mittelmann-plots
instances sorted by solving time of GUROBI-9.5.0
time ratios (log scale)
time of GUROBI-9.5.0
(🔻)🔺: (base) solver failed to solve within the time limit
❌: no solution
plotly-logomark
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
❌
❌
❌
🔺
🔺
🔺
🔺
🔺
❌
❌
❌
❌
🔻
❌
🔺
🔺
🔺
🔺
🔺
🔺
❌
🔻
❌
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
❌
❌
❌
🔺
🔺
🔺
🔺
❌
❌
❌
🔺
🔺
🔺
🔺
❌
🔻
❌
control30-5-10-4
stein9inf
stein45inf
stein15inf
ponderthis0517-inf
p2m2p1m1p0n100
neos859080
neos-3218348-suir
neos-2626858-aoos
mod008inf
neos-3135526-osun
misc04inf
dell
enlight11
enlight4
enlight9
misc05inf
flugplinf
g503inf
neos-2656603-coxs
fhnw-binpack4-18
neos-859770
oocsp-racks030f7cci
maritime-jg3d9
no-ip-64999
no-ip-65059
supportcase29
neos-5157194-moruya
neos-3988577-wolgan
neos-4382714-ruvuma
neos-2075418-temuka
uc720-7-4-4-8
1/128
1/64
1/32
1/16
1/8
1/4
1/2
1
2
4
8
16
32
64
128
256
512
1
2
5
10
2
5
100
2
5
1000
2
5
click to hide/show
CBC-2.10.5
COPT-5.0.0
FSCIP-7.0.0
GUROBI-9.5.0
HiGHS-1.2.2
MATLAB-2020b
SCIP-8.0.0
SCIPC-8.0.0
Infeasibility Detection for MILP Problems
shifted time ratios (shift=10 seconds) using COPT-5.0.0 as base solver (18 Jun 2022) -
mattmilten.github.io/mittelmann-plots
instances sorted by solving time of COPT-5.0.0
time ratios (log scale)
time of COPT-5.0.0
(🔻)🔺: (base) solver failed to solve within the time limit
❌: no solution
plotly-logomark
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔻
🔻
❌
🔻
❌
❌
🔺
🔻
🔻
❌
🔻
🔻
❌
🔺
🔺
❌
❌
❌
❌
❌
❌
🔻
🔻
❌
🔻
🔻
❌
🔺
🔺
🔺
🔺
❌
🔻
❌
🔻
❌
❌
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
❌
❌
❌
❌
🔻
❌
🔺
🔺
❌
🔻
❌
❌
❌
❌
neos-3135526-osun
neos859080
stein45inf
stein9inf
mod008inf
misc05inf
misc04inf
stein15inf
flugplinf
enlight9
dell
enlight11
g503inf
enlight4
fhnw-binpack4-18
neos-3218348-suir
neos-2626858-aoos
neos-5157194-moruya
maritime-jg3d9
neos-2656603-coxs
neos-859770
no-ip-65059
oocsp-racks030f7cci
supportcase29
neos-2075418-temuka
no-ip-64999
control30-5-10-4
p2m2p1m1p0n100
neos-4382714-ruvuma
neos-3988577-wolgan
ponderthis0517-inf
uc720-7-4-4-8
1/512
1/256
1/128
1/64
1/32
1/16
1/8
1/4
1/2
1
2
4
8
16
32
64
128
256
512
1
2
5
10
2
5
100
2
5
1000
2
5
click to hide/show
CBC-2.10.5
COPT-5.0.0
FSCIP-7.0.0
GUROBI-9.5.0
HiGHS-1.2.2
MATLAB-2020b
SCIP-8.0.0
SCIPC-8.0.0
Infeasibility Detection for MILP Problems
shifted time ratios (shift=10 seconds) using SCIPC-8.0.0 as base solver (18 Jun 2022) -
mattmilten.github.io/mittelmann-plots
instances sorted by solving time of SCIPC-8.0.0
time ratios (log scale)
time of SCIPC-8.0.0
(🔻)🔺: (base) solver failed to solve within the time limit
❌: no solution
plotly-logomark
🔺
🔺
🔺
🔺
🔺
🔺
🔺
❌
🔻
🔻
❌
❌
❌
❌
🔻
🔻
🔻
🔻
❌
❌
❌
🔺
🔺
❌
❌
❌
🔻
❌
❌
❌
🔻
🔻
🔻
🔻
🔻
❌
❌
🔺
🔺
🔺
🔺
❌
❌
🔻
🔻
🔻
❌
❌
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔻
❌
❌
🔻
❌
❌
❌
🔺
❌
❌
❌
🔻
🔻
❌
❌
neos-3135526-osun
neos859080
stein15inf
stein45inf
mod008inf
misc05inf
misc04inf
stein9inf
flugplinf
enlight9
dell
enlight4
g503inf
enlight11
neos-3218348-suir
fhnw-binpack4-18
neos-5157194-moruya
neos-2626858-aoos
maritime-jg3d9
neos-859770
no-ip-65059
oocsp-racks030f7cci
no-ip-64999
supportcase29
p2m2p1m1p0n100
ponderthis0517-inf
control30-5-10-4
neos-3988577-wolgan
neos-2656603-coxs
neos-2075418-temuka
neos-4382714-ruvuma
uc720-7-4-4-8
1/512
1/256
1/128
1/64
1/32
1/16
1/8
1/4
1/2
1
2
4
8
16
32
64
128
256
512
1
2
5
10
2
5
100
2
5
1000
2
5
click to hide/show
CBC-2.10.5
COPT-5.0.0
FSCIP-7.0.0
GUROBI-9.5.0
HiGHS-1.2.2
MATLAB-2020b
SCIP-8.0.0
SCIPC-8.0.0
Infeasibility Detection for MILP Problems
shifted time ratios (shift=10 seconds) using SCIP-8.0.0 as base solver (18 Jun 2022) -
mattmilten.github.io/mittelmann-plots
instances sorted by solving time of SCIP-8.0.0
time ratios (log scale)
time of SCIP-8.0.0
(🔻)🔺: (base) solver failed to solve within the time limit
❌: no solution
plotly-logomark
🔺
🔺
🔺
🔺
🔺
🔺
🔺
❌
🔻
❌
🔻
❌
❌
🔻
❌
🔻
🔻
❌
🔻
❌
🔻
🔻
❌
🔻
🔻
❌
🔻
🔻
🔻
🔻
❌
🔺
🔺
🔺
❌
❌
❌
🔻
🔻
❌
🔻
❌
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔻
❌
❌
❌
❌
❌
❌
❌
🔺
❌
❌
❌
❌
❌
🔻
🔻
❌
❌
❌
❌
❌
🔻
🔻
❌
❌
neos-3135526-osun
dell
enlight11
enlight4
enlight9
stein9inf
flugplinf
g503inf
neos859080
misc04inf
misc05inf
mod008inf
stein15inf
neos-3218348-suir
stein45inf
maritime-jg3d9
neos-2656603-coxs
neos-5157194-moruya
oocsp-racks030f7cci
supportcase29
neos-859770
neos-2626858-aoos
no-ip-65059
no-ip-64999
ponderthis0517-inf
control30-5-10-4
neos-4382714-ruvuma
neos-3988577-wolgan
neos-2075418-temuka
fhnw-binpack4-18
p2m2p1m1p0n100
uc720-7-4-4-8
1/512
1/256
1/128
1/64
1/32
1/16
1/8
1/4
1/2
1
2
4
8
16
32
64
128
256
512
1
2
5
10
2
5
100
2
5
1000
2
5
click to hide/show
CBC-2.10.5
COPT-5.0.0
FSCIP-7.0.0
GUROBI-9.5.0
HiGHS-1.2.2
MATLAB-2020b
SCIP-8.0.0
SCIPC-8.0.0
Infeasibility Detection for MILP Problems
shifted time ratios (shift=10 seconds) using FSCIP-7.0.0 as base solver (18 Jun 2022) -
mattmilten.github.io/mittelmann-plots
instances sorted by solving time of FSCIP-7.0.0
time ratios (log scale)
time of FSCIP-7.0.0
(🔻)🔺: (base) solver failed to solve within the time limit
❌: no solution
plotly-logomark
🔺
🔺
🔺
🔺
🔺
🔺
❌
🔻
❌
❌
🔻
❌
❌
❌
🔺
🔻
🔻
🔻
❌
🔻
🔻
🔻
❌
🔺
🔺
🔺
❌
❌
🔻
❌
🔻
❌
🔻
❌
🔻
🔻
🔻
❌
🔻
🔻
🔻
❌
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔺
🔻
❌
❌
❌
🔻
❌
❌
❌
🔺
🔺
🔺
❌
❌
🔻
❌
🔻
🔻
🔻
❌
🔺
🔺
❌
❌
🔻
❌
🔻
🔻
🔻
❌
neos-3135526-osun
neos-3218348-suir
stein45inf
mod008inf
misc05inf
g503inf
misc04inf
stein9inf
enlight9
enlight4
dell
flugplinf
stein15inf
maritime-jg3d9
neos859080
neos-5157194-moruya
neos-859770
enlight11
supportcase29
neos-2075418-temuka
neos-3988577-wolgan
neos-2656603-coxs
p2m2p1m1p0n100
no-ip-64999
ponderthis0517-inf
control30-5-10-4
no-ip-65059
neos-4382714-ruvuma
neos-2626858-aoos
fhnw-binpack4-18
oocsp-racks030f7cci
uc720-7-4-4-8
1/512
1/256
1/128
1/64
1/32
1/16
1/8
1/4
1/2
1
2
4
8
16
32
64
128
256
512
1
2
5
10
2
5
100
2
5
1000
2
5
click to hide/show
CBC-2.10.5
COPT-5.0.0
FSCIP-7.0.0
GUROBI-9.5.0
HiGHS-1.2.2
MATLAB-2020b
SCIP-8.0.0
SCIPC-8.0.0
Infeasibility Detection for MILP Problems
shifted time ratios (shift=10 seconds) using HiGHS-1.2.2 as base solver (18 Jun 2022) -
mattmilten.github.io/mittelmann-plots
instances sorted by solving time of HiGHS-1.2.2
time ratios (log scale)
time of HiGHS-1.2.2
(🔻)🔺: (base) solver failed to solve within the time limit
❌: no solution
plotly-logomark
🔻
🔻
🔻
🔻
🔻
🔻
🔻
🔻
❌
🔻
❌
❌
🔺
🔺
🔺
🔻
🔻
🔻
🔻
🔻
🔻
❌
🔻
❌
❌
❌
❌
🔻
🔻
🔻
🔻
🔻
🔻
🔻
🔻
🔻
🔻
❌
❌
🔺
🔺
🔻
🔻
🔻
❌
❌
🔻
❌
🔻
🔻
❌
❌
❌
🔺
🔺
🔺
🔺
🔺
🔺
🔺
❌
❌
❌
❌
❌
❌
🔻
🔻
❌
❌
❌
❌
🔺
🔺
🔻
🔻
🔻
🔻
🔻
🔻
❌
❌
❌
🔻
❌
❌
🔺
🔺
🔺
🔻
🔻
🔻
🔻
🔻
🔻
❌
🔻
🔻
🔻
❌
❌
control30-5-10-4
stein9inf
stein45inf
stein15inf
neos-3218348-suir
mod008inf
misc05inf
misc04inf
neos-3135526-osun
g503inf
flugplinf
dell
enlight4
neos-2626858-aoos
enlight9
neos-3988577-wolgan
enlight11
p2m2p1m1p0n100
neos-5157194-moruya
neos-859770
maritime-jg3d9
neos859080
no-ip-64999
no-ip-65059
oocsp-racks030f7cci
supportcase29
ponderthis0517-inf
neos-2656603-coxs
neos-2075418-temuka
fhnw-binpack4-18
neos-4382714-ruvuma
uc720-7-4-4-8
1/512
1/256
1/128
1/64
1/32
1/16
1/8
1/4
1/2
1
2
4
8
16
32
64
128
256
512
1
2
5
10
2
5
100
2
5
1000
2
5
click to hide/show
CBC-2.10.5
COPT-5.0.0
FSCIP-7.0.0
GUROBI-9.5.0
HiGHS-1.2.2
MATLAB-2020b
SCIP-8.0.0
SCIPC-8.0.0
Infeasibility Detection for MILP Problems
shifted time ratios (shift=10 seconds) using CBC-2.10.5 as base solver (18 Jun 2022) -
mattmilten.github.io/mittelmann-plots
instances sorted by solving time of CBC-2.10.5
time ratios (log scale)
time of CBC-2.10.5
(🔻)🔺: (base) solver failed to solve within the time limit
❌: no solution
plotly-logomark
🔺
🔺
❌
🔻
❌
❌
❌
🔻
🔻
❌
🔻
🔻
❌
❌
❌
❌
🔻
🔻
❌
🔻
🔻
🔻
🔻
🔻
🔻
🔻
❌
🔻
🔻
🔻
❌
🔻
🔻
🔻
🔻
❌
🔺
🔻
❌
🔻
🔻
🔻
❌
🔻
❌
❌
🔻
🔻
❌
🔻
❌
🔻
🔻
❌
🔻
🔻
🔻
🔻
🔻
🔻
🔻
❌
🔻
🔻
🔻
🔻
🔻
🔻
🔻
🔻
❌
🔺
🔺
🔻
🔻
❌
❌
🔻
❌
🔻
❌
🔻
🔻
🔻
🔻
🔻
❌
🔻
🔻
❌
🔺
🔺
🔻
🔻
🔻
🔻
🔻
❌
🔻
❌
❌
🔻
🔻
❌
🔻
🔻
🔻
🔻
❌
🔺
🔻
❌
🔻
🔻
🔻
❌
🔻
❌
❌
🔻
🔻
🔻
🔻
🔻
🔻
🔻
❌
neos-3135526-osun
dell
stein9inf
misc05inf
stein15inf
flugplinf
g503inf
ponderthis0517-inf
misc04inf
enlight4
stein45inf
mod008inf
neos-2626858-aoos
neos-2656603-coxs
enlight9
no-ip-64999
p2m2p1m1p0n100
oocsp-racks030f7cci
no-ip-65059
neos859080
control30-5-10-4
neos-5157194-moruya
neos-4382714-ruvuma
neos-3988577-wolgan
neos-3218348-suir
supportcase29
neos-2075418-temuka
maritime-jg3d9
fhnw-binpack4-18
enlight11
neos-859770
uc720-7-4-4-8
1/512
1/256
1/128
1/64
1/32
1/16
1/8
1/4
1/2
1
2
4
8
16
32
64
128
256
512
2
5
10
2
5
100
2
5
1000
2
5
click to hide/show
CBC-2.10.5
COPT-5.0.0
FSCIP-7.0.0
GUROBI-9.5.0
HiGHS-1.2.2
MATLAB-2020b
SCIP-8.0.0
SCIPC-8.0.0
Infeasibility Detection for MILP Problems
shifted time ratios (shift=10 seconds) using MATLAB-2020b as base solver (18 Jun 2022) -
mattmilten.github.io/mittelmann-plots
instances sorted by solving time of MATLAB-2020b
time ratios (log scale)
time of MATLAB-2020b
(🔻)🔺: (base) solver failed to solve within the time limit
❌: no solution
plotly-logomark