Skip to content

Instantly share code, notes, and snippets.

@vtjeng

vtjeng/MIPVerify_with_cbc

Last active November 25, 2019 06:12
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save vtjeng/e9b4286c9c52cd5bab93badea2c10216 to your computer and use it in GitHub Desktop.
Save vtjeng/e9b4286c9c52cd5bab93badea2c10216 to your computer and use it in GitHub Desktop.
Download ZIP
Test runtime for MIPVerify package with CBC solver
Raw
MIPVerify_with_cbc
────────────────────────────────────────────────────────────────────────────────────
Time Allocations
────────────────────── ───────────────────────
Tot / % measured: 1795s / 100% 17.9GiB / 98.8%
Section ncalls time %tot avg alloc %tot avg
────────────────────────────────────────────────────────────────────────────────────
integration/ 1 1479s 82.5% 1479s 3.62GiB 20.4% 3.62GiB
sequential/ 1 1479s 82.5% 1479s 3.62GiB 20.4% 3.62GiB
generated_weights/ 1 1479s 82.5% 1479s 3.62GiB 20.4% 3.62GiB
conv+fc+softmax.jl 1 1449s 80.8% 1449s 1.00GiB 5.63% 1.00GiB
UnrestrictedPert... 1 1408s 78.6% 1408s 185MiB 1.02% 185MiB
With multiple ... 1 931s 52.0% 931s 46.8MiB 0.26% 46.8MiB
Minimizing lIn... 1 423s 23.6% 423s 15.3MiB 0.08% 15.3MiB
Minimizing l1 ... 1 38.0s 2.12% 38.0s 87.9MiB 0.49% 87.9MiB
Increasing mar... 1 16.1s 0.90% 16.1s 35.3MiB 0.20% 35.3MiB
LInfNormBoundedP... 1 29.0s 1.62% 29.0s 87.0MiB 0.48% 87.0MiB
BlurringPerturba... 1 11.4s 0.64% 11.4s 741MiB 4.09% 741MiB
mfc+mfc+softmax.jl 1 30.3s 1.69% 30.3s 2.62GiB 14.8% 2.62GiB
utils/ 1 216s 12.1% 216s 6.47GiB 36.6% 6.47GiB
import_datasets.jl 1 123s 6.85% 123s 3.26GiB 18.4% 3.26GiB
import_example_nets.jl 1 92.8s 5.18% 92.8s 3.20GiB 18.1% 3.20GiB
get_example_network_... 1 92.8s 5.18% 92.8s 3.20GiB 18.1% 3.20GiB
MNIST.WK17a_linf0.... 1 82.3s 4.59% 82.3s 1.58GiB 8.90% 1.58GiB
MNIST.RSL18a_linf0... 1 6.96s 0.39% 6.96s 833MiB 4.60% 833MiB
MNIST.n1 1 3.54s 0.20% 3.54s 835MiB 4.61% 835MiB
batch_processing_helpers/ 1 75.0s 4.18% 75.0s 6.54GiB 36.9% 6.54GiB
integration.jl 1 70.5s 3.93% 70.5s 5.74GiB 32.4% 5.74GiB
unit.jl 1 3.97s 0.22% 3.97s 818MiB 4.52% 818MiB
net_components/ 1 21.8s 1.22% 21.8s 1.07GiB 6.05% 1.07GiB
layers/ 1 7.46s 0.42% 7.46s 585MiB 3.23% 585MiB
core_ops.jl 1 4.10s 0.23% 4.10s 349MiB 1.93% 349MiB
nets/ 1 122ms 0.01% 122ms 6.98MiB 0.04% 6.98MiB
models.jl 1 10.7ms 0.00% 10.7ms 167KiB 0.00% 167KiB
────────────────────────────────────────────────────────────────────────────────────
Test Summary: | Pass Total
MIPVerify | 261 261
Testing MIPVerify tests passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment