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