$ ./flagmatic --r 3 --n 6 --forbid-k4 --forbid 5:123124125134135145 --verbose --dir output/k4j4
flagmatic version 1.5
============================================================================
Using directory output/k4j4
Forbidding 5:123124125134135145
Forbidding 4.4
Using admissible graphs of order 6.
Generating types and flags...
Generated 1 type of order 0, with 2 flags of order 3.
Generated 1 type of order 2, with 11 flags of order 4.
Generated 4 types of order 4, with [63, 56, 50, 44] flags of order 5.
Generating admissible graphs...
Generated 914 admissible graphs.
Written flags.py
Computing flag densities...
Written flags.dat-s and flags.rat
Running: ./csdp output/k4j4/flags.dat-s output/k4j4/flags.out
============================================================================
Iter:  0 Ap: 0.00e+00 Pobj: -7.5551856e+03 Ad: 0.00e+00 Dobj:  0.0000000e+00
Iter:  1 Ap: 1.00e+00 Pobj: -1.1890913e+04 Ad: 8.51e-01 Dobj: -2.6967984e-01
Iter:  2 Ap: 9.96e-01 Pobj: -1.0082448e+04 Ad: 9.52e-01 Dobj: -3.6764123e-01
Iter:  3 Ap: 1.00e+00 Pobj: -1.1462428e+04 Ad: 5.21e-01 Dobj: -3.8974130e-01
Iter:  4 Ap: 1.00e+00 Pobj: -1.2883452e+04 Ad: 7.17e-01 Dobj: -3.8390846e-01
Iter:  5 Ap: 9.35e-01 Pobj: -9.2736657e+03 Ad: 7.62e-01 Dobj: -3.8596589e-01
Iter:  6 Ap: 9.17e-01 Pobj: -5.7213890e+03 Ad: 6.37e-01 Dobj: -3.8698756e-01
Iter:  7 Ap: 7.98e-01 Pobj: -3.6278055e+03 Ad: 5.47e-01 Dobj: -3.8422734e-01
Iter:  8 Ap: 8.57e-01 Pobj: -2.9432377e+03 Ad: 4.95e-01 Dobj: -3.8250720e-01
Iter:  9 Ap: 3.66e-01 Pobj: -2.7442983e+03 Ad: 8.68e-01 Dobj: -3.7748619e-01
Iter: 10 Ap: 5.45e-01 Pobj: -2.0279562e+03 Ad: 1.00e+00 Dobj: -3.7730850e-01
Iter: 11 Ap: 9.25e-01 Pobj: -2.8706756e+02 Ad: 1.00e+00 Dobj: -3.7732923e-01
Iter: 12 Ap: 9.72e-01 Pobj: -2.1516946e+01 Ad: 1.00e+00 Dobj: -3.7740892e-01
Iter: 13 Ap: 1.00e+00 Pobj: -1.8141937e+00 Ad: 1.00e+00 Dobj: -3.7828903e-01
Iter: 14 Ap: 1.00e+00 Pobj: -9.1138981e-01 Ad: 1.00e+00 Dobj: -3.9032421e-01
Iter: 15 Ap: 1.00e+00 Pobj: -7.2778706e-01 Ad: 7.60e-01 Dobj: -4.0579899e-01
Iter: 16 Ap: 3.55e-01 Pobj: -7.0539432e-01 Ad: 1.00e+00 Dobj: -4.0680574e-01
Iter: 17 Ap: 1.00e+00 Pobj: -6.1588959e-01 Ad: 9.01e-01 Dobj: -4.2590474e-01
Iter: 18 Ap: 4.52e-01 Pobj: -5.9077281e-01 Ad: 1.00e+00 Dobj: -4.2750313e-01
Iter: 19 Ap: 8.27e-01 Pobj: -5.5935339e-01 Ad: 1.00e+00 Dobj: -4.4401266e-01
Iter: 20 Ap: 1.00e+00 Pobj: -5.2351157e-01 Ad: 1.00e+00 Dobj: -4.5182177e-01
Iter: 21 Ap: 1.00e+00 Pobj: -4.9717353e-01 Ad: 1.00e+00 Dobj: -4.6534138e-01
Iter: 22 Ap: 1.00e+00 Pobj: -4.8670912e-01 Ad: 1.00e+00 Dobj: -4.7240257e-01
Iter: 23 Ap: 1.00e+00 Pobj: -4.8249116e-01 Ad: 1.00e+00 Dobj: -4.7611922e-01
Iter: 24 Ap: 1.00e+00 Pobj: -4.8087429e-01 Ad: 1.00e+00 Dobj: -4.7770277e-01
Iter: 25 Ap: 1.00e+00 Pobj: -4.8010438e-01 Ad: 1.00e+00 Dobj: -4.7855301e-01
Iter: 26 Ap: 1.00e+00 Pobj: -4.7968138e-01 Ad: 1.00e+00 Dobj: -4.7902911e-01
Iter: 27 Ap: 1.00e+00 Pobj: -4.7948363e-01 Ad: 1.00e+00 Dobj: -4.7926290e-01
Iter: 28 Ap: 1.00e+00 Pobj: -4.7941133e-01 Ad: 1.00e+00 Dobj: -4.7934966e-01
Iter: 29 Ap: 1.00e+00 Pobj: -4.7938007e-01 Ad: 1.00e+00 Dobj: -4.7938847e-01
Iter: 30 Ap: 1.00e+00 Pobj: -4.7937259e-01 Ad: 1.00e+00 Dobj: -4.7939847e-01
Iter: 31 Ap: 1.00e+00 Pobj: -4.7937157e-01 Ad: 1.00e+00 Dobj: -4.7937265e-01
Iter: 32 Ap: 1.00e+00 Pobj: -4.7937081e-01 Ad: 1.00e+00 Dobj: -4.7937164e-01
Iter: 33 Ap: 8.98e-01 Pobj: -4.7937075e-01 Ad: 9.01e-01 Dobj: -4.7937085e-01
Success: SDP solved
Primal objective value: -4.7937075e-01
Dual objective value: -4.7937085e-01
Relative primal infeasibility: 1.94e-11
Relative dual infeasibility: 1.96e-09
Real Relative Gap: -5.23e-08
XZ Relative Gap: 8.25e-09
DIMACS error measures: 1.58e-10 0.00e+00 3.77e-09 0.00e+00 -5.23e-08 8.25e-09
Elements time: 13.907593
Factor time: 0.402193
Other time: 1.084280
Total time: 15.394065
============================================================================
Return code is 0
Approximate floating-point bound is 0.47937075

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

$ sage -python scripts/verify_bound.py --dir output/k4j4
Written q.py
Bound (all graphs) is 47937077505403/100000000000000
(Approximately 0.479370775)
Added exact bound to flags.py

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