$ ./flagmatic --r 2 --n 8 --induced-density 5:1223344551 --verbose --dir output/2maxc5
flagmatic version 1.5
============================================================================
Optimizing for density of 5:1213243545.
Using directory output/2maxc5
Using admissible graphs of order 8.
Generating types and flags...
Generated 1 type of order 0, with 11 flags of order 4.
Generated 2 types of order 2, with [120, 120] flags of order 5.
Generated 11 types of order 4, with [272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272] flags of order 6.
Generated 156 types of order 6, with [64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64] flags of order 7.
Generating admissible graphs...
Generated 12346 admissible graphs.
Written flags.py
Computing flag densities...
Written flags.dat-s and flags.rat
Running: ./csdp output/2maxc5/flags.dat-s output/2maxc5/flags.out
============================================================================
Iter:  0 Ap: 0.00e+00 Pobj: -1.1952886e+05 Ad: 0.00e+00 Dobj:  0.0000000e+00
Iter:  1 Ap: 8.92e-01 Pobj: -1.4780085e+05 Ad: 8.60e-01 Dobj: -1.9231525e-02
Iter:  2 Ap: 7.49e-01 Pobj: -1.5380484e+05 Ad: 8.22e-01 Dobj: -5.4651108e-04
Iter:  3 Ap: 1.00e+00 Pobj: -1.8287333e+05 Ad: 8.22e-01 Dobj: -1.2657155e-02
Iter:  4 Ap: 9.00e-01 Pobj: -1.7043854e+05 Ad: 8.54e-01 Dobj: -1.0441296e-02
Iter:  5 Ap: 1.00e+00 Pobj: -1.4876647e+05 Ad: 6.27e-01 Dobj: -1.0163541e-02
Iter:  6 Ap: 7.58e-01 Pobj: -1.1245600e+05 Ad: 7.88e-01 Dobj: -9.9404107e-03
Iter:  7 Ap: 7.14e-01 Pobj: -6.6123017e+04 Ad: 7.42e-01 Dobj: -9.7799345e-03
Iter:  8 Ap: 2.02e-01 Pobj: -5.8071154e+04 Ad: 4.61e-01 Dobj: -9.6265643e-03
Iter:  9 Ap: 1.28e-01 Pobj: -5.4591767e+04 Ad: 3.05e-01 Dobj: -9.4862671e-03
Iter: 10 Ap: 8.22e-01 Pobj: -2.6080818e+04 Ad: 5.98e-01 Dobj: -9.2056619e-03
Iter: 11 Ap: 6.45e-01 Pobj: -1.7605455e+04 Ad: 6.77e-01 Dobj: -8.4969706e-03
Iter: 12 Ap: 6.57e-01 Pobj: -1.0615470e+04 Ad: 9.00e-01 Dobj: -7.6870659e-03
Iter: 13 Ap: 7.69e-01 Pobj: -4.3558303e+03 Ad: 1.00e+00 Dobj: -7.3133940e-03
Iter: 14 Ap: 9.29e-01 Pobj: -5.1786462e+02 Ad: 1.00e+00 Dobj: -7.2703380e-03
Iter: 15 Ap: 9.83e-01 Pobj: -3.0706000e+01 Ad: 1.00e+00 Dobj: -7.2381087e-03
Iter: 16 Ap: 9.73e-01 Pobj: -2.1753052e+00 Ad: 1.00e+00 Dobj: -7.2213970e-03
Iter: 17 Ap: 1.00e+00 Pobj: -2.2587057e-01 Ad: 1.00e+00 Dobj: -7.3651613e-03
Iter: 18 Ap: 1.00e+00 Pobj: -1.2048227e-01 Ad: 1.00e+00 Dobj: -9.4380914e-03
Iter: 19 Ap: 1.00e+00 Pobj: -8.3373085e-02 Ad: 1.00e+00 Dobj: -1.3091920e-02
Iter: 20 Ap: 4.95e-01 Pobj: -7.4951361e-02 Ad: 1.00e+00 Dobj: -1.6458172e-02
Iter: 21 Ap: 1.00e+00 Pobj: -5.7262067e-02 Ad: 1.00e+00 Dobj: -1.9931750e-02
Iter: 22 Ap: 1.00e+00 Pobj: -5.1038710e-02 Ad: 1.00e+00 Dobj: -2.5672097e-02
Iter: 23 Ap: 1.00e+00 Pobj: -4.4997031e-02 Ad: 1.00e+00 Dobj: -3.1130198e-02
Iter: 24 Ap: 1.00e+00 Pobj: -4.0710738e-02 Ad: 1.00e+00 Dobj: -3.4875192e-02
Iter: 25 Ap: 9.75e-01 Pobj: -3.9085910e-02 Ad: 1.00e+00 Dobj: -3.6824663e-02
Iter: 26 Ap: 9.03e-01 Pobj: -3.8720431e-02 Ad: 1.00e+00 Dobj: -3.7527425e-02
Iter: 27 Ap: 1.00e+00 Pobj: -3.8587148e-02 Ad: 1.00e+00 Dobj: -3.7911323e-02
Iter: 28 Ap: 9.13e-01 Pobj: -3.8537415e-02 Ad: 1.00e+00 Dobj: -3.8179357e-02
Iter: 29 Ap: 7.78e-01 Pobj: -3.8509267e-02 Ad: 1.00e+00 Dobj: -3.8308349e-02
Iter: 30 Ap: 1.00e+00 Pobj: -3.8483939e-02 Ad: 1.00e+00 Dobj: -3.8380360e-02
Iter: 31 Ap: 1.00e+00 Pobj: -3.8474376e-02 Ad: 1.00e+00 Dobj: -3.8417364e-02
Iter: 32 Ap: 9.33e-01 Pobj: -3.8468361e-02 Ad: 1.00e+00 Dobj: -3.8443016e-02
Iter: 33 Ap: 9.57e-01 Pobj: -3.8466368e-02 Ad: 1.00e+00 Dobj: -3.8449277e-02
Iter: 34 Ap: 1.00e+00 Pobj: -3.8464558e-02 Ad: 1.00e+00 Dobj: -3.8455811e-02
Iter: 35 Ap: 9.16e-01 Pobj: -3.8463502e-02 Ad: 1.00e+00 Dobj: -3.8460064e-02
Iter: 36 Ap: 6.72e-01 Pobj: -3.8463246e-02 Ad: 1.00e+00 Dobj: -3.8461065e-02
Iter: 37 Ap: 8.88e-01 Pobj: -3.8462807e-02 Ad: 1.00e+00 Dobj: -3.8461484e-02
Iter: 38 Ap: 5.99e-01 Pobj: -3.8462535e-02 Ad: 8.88e-01 Dobj: -3.8461490e-02
Iter: 39 Ap: 1.19e-01 Pobj: -3.8462483e-02 Ad: 4.56e-01 Dobj: -3.8461270e-02
Iter: 40 Ap: 1.68e-01 Pobj: -3.8462405e-02 Ad: 4.54e-01 Dobj: -3.8461254e-02
Iter: 41 Ap: 2.52e-01 Pobj: -3.8462285e-02 Ad: 5.07e-01 Dobj: -3.8461222e-02
Iter: 42 Ap: 2.92e-01 Pobj: -3.8462160e-02 Ad: 6.36e-01 Dobj: -3.8461249e-02
Iter: 43 Ap: 2.44e-01 Pobj: -3.8462069e-02 Ad: 5.51e-01 Dobj: -3.8461264e-02
Iter: 44 Ap: 3.75e-01 Pobj: -3.8461955e-02 Ad: 6.68e-01 Dobj: -3.8461331e-02
Iter: 45 Ap: 3.78e-01 Pobj: -3.8461867e-02 Ad: 7.26e-01 Dobj: -3.8461373e-02
Iter: 46 Ap: 3.57e-04 Pobj: -3.8461867e-02 Ad: 1.95e-02 Dobj: -3.8461378e-02
Iter: 47 Ap: 8.81e-02 Pobj: -3.8461851e-02 Ad: 3.51e-01 Dobj: -3.8461376e-02
Iter: 48 Ap: 1.71e-01 Pobj: -3.8461822e-02 Ad: 4.76e-01 Dobj: -3.8461381e-02
Iter: 49 Ap: 2.23e-01 Pobj: -3.8461787e-02 Ad: 4.88e-01 Dobj: -3.8461410e-02
Iter: 50 Ap: 3.41e-01 Pobj: -3.8461739e-02 Ad: 6.82e-01 Dobj: -3.8461436e-02
Iter: 51 Ap: 3.69e-01 Pobj: -3.8461694e-02 Ad: 6.46e-01 Dobj: -3.8461495e-02
Iter: 52 Ap: 2.77e-01 Pobj: -3.8461668e-02 Ad: 6.71e-01 Dobj: -3.8461524e-02
Iter: 53 Ap: 3.37e-01 Pobj: -3.8461642e-02 Ad: 4.17e-01 Dobj: -3.8461534e-02
Iter: 54 Ap: 1.70e-01 Pobj: -3.8461632e-02 Ad: 2.74e-01 Dobj: -3.8461538e-02
Iter: 55 Ap: 1.56e-01 Pobj: -3.8461623e-02 Ad: 4.09e-01 Dobj: -3.8461543e-02
Iter: 56 Ap: 2.16e-01 Pobj: -3.8461613e-02 Ad: 4.99e-01 Dobj: -3.8461548e-02
Iter: 57 Ap: 2.16e-01 Pobj: -3.8461604e-02 Ad: 5.26e-01 Dobj: -3.8461550e-02
Iter: 58 Ap: 1.70e-01 Pobj: -3.8461597e-02 Ad: 4.38e-01 Dobj: -3.8461552e-02
Iter: 59 Ap: 6.86e-02 Pobj: -3.8461594e-02 Ad: 3.23e-01 Dobj: -3.8461552e-02
Iter: 60 Ap: 1.97e-01 Pobj: -3.8461587e-02 Ad: 3.93e-01 Dobj: -3.8461552e-02
Iter: 61 Ap: 2.34e-01 Pobj: -3.8461582e-02 Ad: 4.64e-01 Dobj: -3.8461553e-02
Iter: 62 Ap: 2.89e-01 Pobj: -3.8461576e-02 Ad: 4.45e-01 Dobj: -3.8461553e-02
Iter: 63 Ap: 1.63e-01 Pobj: -3.8461573e-02 Ad: 2.20e-01 Dobj: -3.8461553e-02
Iter: 64 Ap: 1.39e-01 Pobj: -3.8461571e-02 Ad: 3.38e-01 Dobj: -3.8461553e-02
Iter: 65 Ap: 2.49e-01 Pobj: -3.8461567e-02 Ad: 3.57e-01 Dobj: -3.8461554e-02
Iter: 66 Ap: 1.46e-01 Pobj: -3.8461565e-02 Ad: 4.24e-01 Dobj: -3.8461554e-02
Iter: 67 Ap: 1.16e-01 Pobj: -3.8461564e-02 Ad: 3.80e-01 Dobj: -3.8461553e-02
Iter: 68 Ap: 6.94e-02 Pobj: -3.8461563e-02 Ad: 2.69e-01 Dobj: -3.8461553e-02
Iter: 69 Ap: 2.62e-01 Pobj: -3.8461560e-02 Ad: 5.24e-01 Dobj: -3.8461552e-02
Iter: 70 Ap: 1.95e-01 Pobj: -3.8461558e-02 Ad: 2.59e-01 Dobj: -3.8461553e-02
Success: SDP solved
Primal objective value: -3.8461558e-02
Dual objective value: -3.8461553e-02
Relative primal infeasibility: 5.32e-10
Relative dual infeasibility: 3.80e-11
Real Relative Gap: 4.89e-09
XZ Relative Gap: 9.77e-09
DIMACS error measures: 1.63e-09 0.00e+00 3.72e-10 0.00e+00 4.89e-09 9.77e-09
Elements time: 120146.812388
Factor time: 1303.845635
Other time: 507.023576
Total time: 121957.681599
============================================================================
Return code is 0
Approximate floating-point bound is 0.03846156

$ sage -python scripts/make_nontight_exact_qdash.py --denominator 10000000 --dir output/2maxc5
Written r.py
Written qdash.py
Marked bound as non-tight in flags.py

$ sage -python scripts/verify_bound.py --dir output/2maxc5
Written q.py
Bound (all graphs) is 3230771813134811/84000000000000000
(Approximately 0.038461569)
Added exact bound to flags.py

$ sage -python scripts/make_certificate.py --dir output/2maxc5
Written certificate to cert.js