$ ./flagmatic --n 7 --forbid-k4- --forbid-c5 --verbose --dir output/k4-c5
flagmatic version 0.91
============================================================================
Using directory output/k4-c5
Forbidding 4.3
Forbidding 5:123124135245345
Using admissible graphs of order 7.
Generating types and flags...
Generated 1 type of order 1, with 5 flags of order 4.
Generated 2 types of order 3, with [92, 44] flags of order 5.
Generated 10 types of order 5, with [388, 262, 175, 173, 112, 116, 116, 76, 81, 79] flags of order 6.
Generating admissible graphs...
Generated 6077 admissible graphs.
Written flags.py
Computing flag densities...
Written flags.dat-s and flags.rat
Running: ./csdp output/k4-c5/flags.dat-s output/k4-c5/flags.out
============================================================================
Iter:  0 Ap: 0.00e+00 Pobj: -4.3673220e+04 Ad: 0.00e+00 Dobj:  0.0000000e+00
Iter:  1 Ap: 1.00e+00 Pobj: -4.9513093e+04 Ad: 9.56e-01 Dobj: -2.1900887e-01
Iter:  2 Ap: 1.00e+00 Pobj: -5.6092891e+04 Ad: 8.34e-01 Dobj: -2.3988640e-01
Iter:  3 Ap: 1.00e+00 Pobj: -8.3568187e+04 Ad: 4.35e-01 Dobj: -2.4090010e-01
Iter:  4 Ap: 4.25e-01 Pobj: -8.6025928e+04 Ad: 3.59e-01 Dobj: -2.2198974e-01
Iter:  5 Ap: 2.61e-01 Pobj: -9.3648304e+04 Ad: 2.40e-01 Dobj: -2.1577059e-01
Iter:  6 Ap: 2.83e-01 Pobj: -1.0085142e+05 Ad: 3.80e-01 Dobj: -2.0838761e-01
Iter:  7 Ap: 1.93e-01 Pobj: -1.0446058e+05 Ad: 3.94e-01 Dobj: -2.0319665e-01
Iter:  8 Ap: 5.45e-01 Pobj: -1.0342533e+05 Ad: 4.93e-01 Dobj: -1.9738407e-01
Iter:  9 Ap: 5.44e-01 Pobj: -9.9868733e+04 Ad: 4.97e-01 Dobj: -1.9435006e-01
Iter: 10 Ap: 3.11e-01 Pobj: -9.9739812e+04 Ad: 4.62e-01 Dobj: -1.9291220e-01
Iter: 11 Ap: 3.90e-01 Pobj: -9.2181397e+04 Ad: 4.50e-01 Dobj: -1.9235521e-01
Iter: 12 Ap: 3.59e-01 Pobj: -8.3484035e+04 Ad: 4.95e-01 Dobj: -1.9201269e-01
Iter: 13 Ap: 5.25e-01 Pobj: -6.9294104e+04 Ad: 4.88e-01 Dobj: -1.9187887e-01
Iter: 14 Ap: 3.51e-01 Pobj: -6.1624183e+04 Ad: 5.76e-01 Dobj: -1.9184414e-01
Iter: 15 Ap: 2.37e-01 Pobj: -5.7076228e+04 Ad: 4.79e-01 Dobj: -1.9184259e-01
Iter: 16 Ap: 2.07e-01 Pobj: -5.2989820e+04 Ad: 5.23e-01 Dobj: -1.9190570e-01
Iter: 17 Ap: 1.71e-01 Pobj: -4.9136246e+04 Ad: 4.97e-01 Dobj: -1.9196840e-01
Iter: 18 Ap: 2.65e-01 Pobj: -4.3729440e+04 Ad: 4.38e-01 Dobj: -1.9213332e-01
Iter: 19 Ap: 2.42e-01 Pobj: -3.9887870e+04 Ad: 5.70e-01 Dobj: -1.9233866e-01
Iter: 20 Ap: 2.05e-01 Pobj: -3.6636139e+04 Ad: 4.99e-01 Dobj: -1.9258741e-01
Iter: 21 Ap: 6.73e-01 Pobj: -2.1279809e+04 Ad: 8.52e-01 Dobj: -1.9275849e-01
Iter: 22 Ap: 8.71e-01 Pobj: -6.7647241e+03 Ad: 1.00e+00 Dobj: -1.9281049e-01
Iter: 23 Ap: 9.75e-01 Pobj: -4.8830117e+02 Ad: 1.00e+00 Dobj: -1.9282108e-01
Iter: 24 Ap: 9.80e-01 Pobj: -3.0413253e+01 Ad: 1.00e+00 Dobj: -1.9283287e-01
Iter: 25 Ap: 1.00e+00 Pobj: -2.1201727e+00 Ad: 1.00e+00 Dobj: -1.9291072e-01
Iter: 26 Ap: 1.00e+00 Pobj: -8.2182018e-01 Ad: 1.00e+00 Dobj: -1.9401011e-01
Iter: 27 Ap: 1.00e+00 Pobj: -5.1929728e-01 Ad: 9.68e-01 Dobj: -1.9661810e-01
Iter: 28 Ap: 2.04e-01 Pobj: -5.0706794e-01 Ad: 1.00e+00 Dobj: -1.9765171e-01
Iter: 29 Ap: 1.00e+00 Pobj: -4.0401406e-01 Ad: 1.00e+00 Dobj: -2.0060090e-01
Iter: 30 Ap: 7.70e-01 Pobj: -3.3684954e-01 Ad: 1.00e+00 Dobj: -2.0344343e-01
Iter: 31 Ap: 7.52e-01 Pobj: -3.0564096e-01 Ad: 1.00e+00 Dobj: -2.0777280e-01
Iter: 32 Ap: 6.51e-01 Pobj: -2.9171375e-01 Ad: 1.00e+00 Dobj: -2.1155535e-01
Iter: 33 Ap: 9.28e-01 Pobj: -2.6810854e-01 Ad: 1.00e+00 Dobj: -2.1799775e-01
Iter: 34 Ap: 1.72e-01 Pobj: -2.6769443e-01 Ad: 6.36e-01 Dobj: -2.2409950e-01
Iter: 35 Ap: 1.68e-01 Pobj: -2.6736321e-01 Ad: 4.45e-01 Dobj: -2.2684120e-01
Iter: 36 Ap: 6.32e-01 Pobj: -2.6328857e-01 Ad: 7.99e-01 Dobj: -2.3354192e-01
Iter: 37 Ap: 7.64e-01 Pobj: -2.5743421e-01 Ad: 1.00e+00 Dobj: -2.4089090e-01
Iter: 38 Ap: 8.55e-01 Pobj: -2.5368260e-01 Ad: 1.00e+00 Dobj: -2.4344343e-01
Iter: 39 Ap: 1.00e+00 Pobj: -2.5184575e-01 Ad: 1.00e+00 Dobj: -2.4609280e-01
Iter: 40 Ap: 1.00e+00 Pobj: -2.5132265e-01 Ad: 1.00e+00 Dobj: -2.4902957e-01
Iter: 41 Ap: 8.66e-01 Pobj: -2.5122751e-01 Ad: 1.00e+00 Dobj: -2.5008486e-01
Iter: 42 Ap: 9.21e-01 Pobj: -2.5118030e-01 Ad: 1.00e+00 Dobj: -2.5048783e-01
Iter: 43 Ap: 9.16e-01 Pobj: -2.5115291e-01 Ad: 1.00e+00 Dobj: -2.5078290e-01
Iter: 44 Ap: 8.37e-01 Pobj: -2.5113563e-01 Ad: 1.00e+00 Dobj: -2.5093597e-01
Iter: 45 Ap: 8.61e-01 Pobj: -2.5112368e-01 Ad: 1.00e+00 Dobj: -2.5100736e-01
Iter: 46 Ap: 9.39e-01 Pobj: -2.5111471e-01 Ad: 1.00e+00 Dobj: -2.5105394e-01
Iter: 47 Ap: 9.53e-01 Pobj: -2.5110900e-01 Ad: 1.00e+00 Dobj: -2.5108604e-01
Iter: 48 Ap: 1.00e+00 Pobj: -2.5110511e-01 Ad: 1.00e+00 Dobj: -2.5110402e-01
Iter: 49 Ap: 9.93e-01 Pobj: -2.5110277e-01 Ad: 1.00e+00 Dobj: -2.5111622e-01
Iter: 50 Ap: 1.00e+00 Pobj: -2.5110122e-01 Ad: 1.00e+00 Dobj: -2.5112372e-01
Iter: 51 Ap: 1.00e+00 Pobj: -2.5110014e-01 Ad: 1.00e+00 Dobj: -2.5112879e-01
Iter: 52 Ap: 1.53e-01 Pobj: -2.5109871e-01 Ad: 2.67e-01 Dobj: -2.5112271e-01
Iter: 53 Ap: 6.33e-02 Pobj: -2.5109766e-01 Ad: 6.52e-02 Dobj: -2.5112132e-01
Iter: 54 Ap: 8.98e-02 Pobj: -2.5109637e-01 Ad: 2.27e-01 Dobj: -2.5111671e-01
Iter: 55 Ap: 6.51e-02 Pobj: -2.5109564e-01 Ad: 1.31e-01 Dobj: -2.5111454e-01
Iter: 56 Ap: 2.11e-01 Pobj: -2.5109342e-01 Ad: 3.00e-01 Dobj: -2.5111032e-01
Iter: 57 Ap: 2.57e-01 Pobj: -2.5109121e-01 Ad: 3.38e-01 Dobj: -2.5110689e-01
Iter: 58 Ap: 4.27e-01 Pobj: -2.5108861e-01 Ad: 2.99e-01 Dobj: -2.5110502e-01
Iter: 59 Ap: 2.48e-01 Pobj: -2.5108741e-01 Ad: 3.29e-01 Dobj: -2.5110154e-01
Iter: 60 Ap: 3.70e-01 Pobj: -2.5108577e-01 Ad: 5.29e-01 Dobj: -2.5109797e-01
Iter: 61 Ap: 2.97e-01 Pobj: -2.5108464e-01 Ad: 6.15e-01 Dobj: -2.5109499e-01
Iter: 62 Ap: 2.45e-01 Pobj: -2.5108378e-01 Ad: 4.36e-01 Dobj: -2.5109403e-01
Iter: 63 Ap: 2.10e-01 Pobj: -2.5108289e-01 Ad: 4.72e-01 Dobj: -2.5109215e-01
Iter: 64 Ap: 1.60e-01 Pobj: -2.5108225e-01 Ad: 3.99e-01 Dobj: -2.5109076e-01
Iter: 65 Ap: 5.67e-01 Pobj: -2.5108046e-01 Ad: 5.53e-01 Dobj: -2.5108993e-01
Iter: 66 Ap: 2.78e-01 Pobj: -2.5107959e-01 Ad: 4.37e-01 Dobj: -2.5108789e-01
Iter: 67 Ap: 1.83e-01 Pobj: -2.5107922e-01 Ad: 3.58e-01 Dobj: -2.5108684e-01
Iter: 68 Ap: 2.69e-01 Pobj: -2.5107857e-01 Ad: 5.52e-01 Dobj: -2.5108536e-01
Iter: 69 Ap: 1.87e-01 Pobj: -2.5107807e-01 Ad: 5.86e-01 Dobj: -2.5108374e-01
Iter: 70 Ap: 1.19e-01 Pobj: -2.5107776e-01 Ad: 5.08e-01 Dobj: -2.5108286e-01
Iter: 71 Ap: 3.82e-01 Pobj: -2.5107695e-01 Ad: 4.57e-01 Dobj: -2.5108264e-01
Iter: 72 Ap: 3.16e-01 Pobj: -2.5107617e-01 Ad: 4.47e-01 Dobj: -2.5108149e-01
Iter: 73 Ap: 5.52e-01 Pobj: -2.5107546e-01 Ad: 7.66e-01 Dobj: -2.5108042e-01
Iter: 74 Ap: 9.26e-02 Pobj: -2.5107531e-01 Ad: 2.41e-01 Dobj: -2.5107975e-01
Iter: 75 Ap: 2.24e-01 Pobj: -2.5107501e-01 Ad: 2.26e-01 Dobj: -2.5107930e-01
Iter: 76 Ap: 2.20e-01 Pobj: -2.5107474e-01 Ad: 2.83e-01 Dobj: -2.5107878e-01
Iter: 77 Ap: 3.18e-01 Pobj: -2.5107440e-01 Ad: 4.79e-01 Dobj: -2.5107800e-01
Iter: 78 Ap: 4.74e-01 Pobj: -2.5107404e-01 Ad: 6.10e-01 Dobj: -2.5107759e-01
Iter: 79 Ap: 2.77e-01 Pobj: -2.5107375e-01 Ad: 4.83e-01 Dobj: -2.5107663e-01
Iter: 80 Ap: 3.28e-01 Pobj: -2.5107351e-01 Ad: 6.01e-01 Dobj: -2.5107606e-01
Iter: 81 Ap: 2.70e-01 Pobj: -2.5107333e-01 Ad: 6.18e-01 Dobj: -2.5107553e-01
Iter: 82 Ap: 3.35e-01 Pobj: -2.5107311e-01 Ad: 6.87e-01 Dobj: -2.5107516e-01
Iter: 83 Ap: 2.60e-01 Pobj: -2.5107295e-01 Ad: 4.35e-01 Dobj: -2.5107489e-01
Iter: 84 Ap: 3.71e-01 Pobj: -2.5107272e-01 Ad: 4.83e-01 Dobj: -2.5107444e-01
Iter: 85 Ap: 1.73e-01 Pobj: -2.5107266e-01 Ad: 3.17e-01 Dobj: -2.5107416e-01
Iter: 86 Ap: 8.73e-02 Pobj: -2.5107263e-01 Ad: 5.46e-01 Dobj: -2.5107375e-01
Iter: 87 Ap: 3.14e-01 Pobj: -2.5107249e-01 Ad: 3.61e-01 Dobj: -2.5107352e-01
Iter: 88 Ap: 2.56e-01 Pobj: -2.5107241e-01 Ad: 5.67e-01 Dobj: -2.5107319e-01
Iter: 89 Ap: 1.52e-01 Pobj: -2.5107236e-01 Ad: 3.93e-01 Dobj: -2.5107299e-01
Iter: 90 Ap: 2.68e-01 Pobj: -2.5107230e-01 Ad: 4.65e-01 Dobj: -2.5107282e-01
Iter: 91 Ap: 2.33e-01 Pobj: -2.5107225e-01 Ad: 4.82e-01 Dobj: -2.5107267e-01
Iter: 92 Ap: 3.01e-01 Pobj: -2.5107219e-01 Ad: 4.39e-01 Dobj: -2.5107257e-01
Iter: 93 Ap: 3.13e-01 Pobj: -2.5107215e-01 Ad: 4.75e-01 Dobj: -2.5107248e-01
Iter: 94 Ap: 4.65e-01 Pobj: -2.5107211e-01 Ad: 6.45e-01 Dobj: -2.5107238e-01
Iter: 95 Ap: 2.46e-01 Pobj: -2.5107209e-01 Ad: 4.38e-01 Dobj: -2.5107230e-01
Iter: 96 Ap: 4.05e-01 Pobj: -2.5107206e-01 Ad: 5.09e-01 Dobj: -2.5107223e-01
Iter: 97 Ap: 3.82e-01 Pobj: -2.5107205e-01 Ad: 5.33e-01 Dobj: -2.5107217e-01
Iter: 98 Ap: 3.41e-01 Pobj: -2.5107204e-01 Ad: 5.33e-01 Dobj: -2.5107213e-01
Iter: 99 Ap: 1.73e-01 Pobj: -2.5107203e-01 Ad: 3.79e-01 Dobj: -2.5107210e-01
Iter: 100 Ap: 3.54e-01 Pobj: -2.5107202e-01 Ad: 3.60e-01 Dobj: -2.5107209e-01
Iter: 101 Ap: 3.81e-01 Pobj: -2.5107202e-01 Ad: 5.14e-01 Dobj: -2.5107206e-01
Iter: 102 Ap: 2.79e-01 Pobj: -2.5107201e-01 Ad: 5.48e-01 Dobj: -2.5107204e-01
Iter: 103 Ap: 2.31e-01 Pobj: -2.5107201e-01 Ad: 4.04e-01 Dobj: -2.5107203e-01
Iter: 104 Ap: 2.90e-01 Pobj: -2.5107201e-01 Ad: 2.20e-01 Dobj: -2.5107203e-01
Success: SDP solved
Primal objective value: -2.5107201e-01
Dual objective value: -2.5107203e-01
Relative primal infeasibility: 1.64e-10
Relative dual infeasibility: 3.10e-11
Real Relative Gap: -1.41e-08
XZ Relative Gap: 8.15e-09
DIMACS error measures: 2.42e-09 0.00e+00 7.68e-11 0.00e+00 -1.41e-08 8.15e-09
Elements time: 39858.385433
Factor time: 1289.445634
Other time: 300.609296
Total time: 41448.440363
============================================================================
Return code is 0
Floating point bound is 0.25107201

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

$ python verify_bound.py --dir output/k4-c5
Written q.py
Bound (all graphs) is 25107205545779/100000000000000
(Approximately 0.251072055)
Added exact bound to flags.py

$ python make_certificate.py --dir output/k4-c5
Written certificate to cert.js