$ ./flagmatic --n 7 --forbid-k4- --forbid 6:123134145156162 --verbose --dir output/k4-l5
flagmatic version 0.91
============================================================================
Using directory output/k4-l5
Forbidding 6:123124135146156
Forbidding 4.3
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 [95, 47] flags of order 5.
Generated 11 types of order 5, with [376, 256, 189, 169, 148, 127, 122, 94, 101, 81, 51] flags of order 6.
Generating admissible graphs...
Generated 6590 admissible graphs.
Written flags.py
Computing flag densities...
Written flags.dat-s and flags.rat
Running: ./csdp output/k4-l5/flags.dat-s output/k4-l5/flags.out
============================================================================
Iter:  0 Ap: 0.00e+00 Pobj: -4.8317428e+04 Ad: 0.00e+00 Dobj:  0.0000000e+00
Iter:  1 Ap: 1.00e+00 Pobj: -5.4608239e+04 Ad: 9.55e-01 Dobj: -2.2871941e-01
Iter:  2 Ap: 1.00e+00 Pobj: -6.1577436e+04 Ad: 8.48e-01 Dobj: -2.4490610e-01
Iter:  3 Ap: 1.00e+00 Pobj: -9.2454516e+04 Ad: 4.07e-01 Dobj: -2.4572938e-01
Iter:  4 Ap: 5.65e-01 Pobj: -1.0052828e+05 Ad: 3.40e-01 Dobj: -2.3022874e-01
Iter:  5 Ap: 1.50e-01 Pobj: -1.0906094e+05 Ad: 1.88e-01 Dobj: -2.2480861e-01
Iter:  6 Ap: 1.57e-01 Pobj: -1.1461901e+05 Ad: 5.05e-01 Dobj: -2.1695083e-01
Iter:  7 Ap: 4.87e-01 Pobj: -1.1691169e+05 Ad: 3.36e-01 Dobj: -2.1194075e-01
Iter:  8 Ap: 3.60e-01 Pobj: -1.2269452e+05 Ad: 4.52e-01 Dobj: -2.0820136e-01
Iter:  9 Ap: 4.15e-01 Pobj: -1.2252936e+05 Ad: 5.17e-01 Dobj: -2.0481074e-01
Iter: 10 Ap: 5.35e-01 Pobj: -1.1484821e+05 Ad: 5.13e-01 Dobj: -2.0308476e-01
Iter: 11 Ap: 3.83e-01 Pobj: -1.0649492e+05 Ad: 4.96e-01 Dobj: -2.0214383e-01
Iter: 12 Ap: 2.24e-01 Pobj: -9.9959969e+04 Ad: 4.32e-01 Dobj: -2.0180574e-01
Iter: 13 Ap: 3.24e-01 Pobj: -9.0668079e+04 Ad: 4.43e-01 Dobj: -2.0160209e-01
Iter: 14 Ap: 4.91e-01 Pobj: -7.1324405e+04 Ad: 4.29e-01 Dobj: -2.0152652e-01
Iter: 15 Ap: 2.22e-01 Pobj: -6.5949763e+04 Ad: 5.14e-01 Dobj: -2.0132789e-01
Iter: 16 Ap: 2.47e-01 Pobj: -6.0073494e+04 Ad: 4.98e-01 Dobj: -2.0124367e-01
Iter: 17 Ap: 4.55e-01 Pobj: -4.8859718e+04 Ad: 5.00e-01 Dobj: -2.0115203e-01
Iter: 18 Ap: 5.82e-01 Pobj: -3.9688157e+04 Ad: 5.66e-01 Dobj: -2.0120361e-01
Iter: 19 Ap: 3.80e-01 Pobj: -3.4609061e+04 Ad: 4.60e-01 Dobj: -2.0112249e-01
Iter: 20 Ap: 4.32e-01 Pobj: -2.9914866e+04 Ad: 6.99e-01 Dobj: -2.0105925e-01
Iter: 21 Ap: 7.28e-01 Pobj: -1.9666370e+04 Ad: 8.41e-01 Dobj: -2.0114730e-01
Iter: 22 Ap: 9.03e-01 Pobj: -7.1688415e+03 Ad: 1.00e+00 Dobj: -2.0110129e-01
Iter: 23 Ap: 9.69e-01 Pobj: -5.4322322e+02 Ad: 1.00e+00 Dobj: -2.0110118e-01
Iter: 24 Ap: 9.91e-01 Pobj: -2.8277168e+01 Ad: 1.00e+00 Dobj: -2.0110442e-01
Iter: 25 Ap: 1.00e+00 Pobj: -1.9564986e+00 Ad: 1.00e+00 Dobj: -2.0119314e-01
Iter: 26 Ap: 1.00e+00 Pobj: -7.8780644e-01 Ad: 1.00e+00 Dobj: -2.0262400e-01
Iter: 27 Ap: 1.00e+00 Pobj: -5.2458031e-01 Ad: 9.73e-01 Dobj: -2.0605616e-01
Iter: 28 Ap: 1.15e-01 Pobj: -5.1799851e-01 Ad: 1.00e+00 Dobj: -2.0638531e-01
Iter: 29 Ap: 1.00e+00 Pobj: -4.0848958e-01 Ad: 9.28e-01 Dobj: -2.1061904e-01
Iter: 30 Ap: 4.17e-01 Pobj: -3.8304818e-01 Ad: 1.00e+00 Dobj: -2.1267003e-01
Iter: 31 Ap: 1.00e+00 Pobj: -3.1879636e-01 Ad: 1.00e+00 Dobj: -2.1874845e-01
Iter: 32 Ap: 4.82e-01 Pobj: -3.1088680e-01 Ad: 1.00e+00 Dobj: -2.2213355e-01
Iter: 33 Ap: 9.89e-01 Pobj: -2.8929701e-01 Ad: 1.00e+00 Dobj: -2.3038505e-01
Iter: 34 Ap: 6.41e-01 Pobj: -2.8045106e-01 Ad: 1.00e+00 Dobj: -2.3784951e-01
Iter: 35 Ap: 7.69e-01 Pobj: -2.7149605e-01 Ad: 1.00e+00 Dobj: -2.4518917e-01
Iter: 36 Ap: 2.11e-01 Pobj: -2.7023687e-01 Ad: 9.40e-01 Dobj: -2.4584296e-01
Iter: 37 Ap: 2.36e-01 Pobj: -2.6902006e-01 Ad: 8.21e-01 Dobj: -2.4683753e-01
Iter: 38 Ap: 9.90e-01 Pobj: -2.6368106e-01 Ad: 1.00e+00 Dobj: -2.4886371e-01
Iter: 39 Ap: 8.86e-01 Pobj: -2.6080137e-01 Ad: 1.00e+00 Dobj: -2.5384888e-01
Iter: 40 Ap: 8.95e-01 Pobj: -2.5960953e-01 Ad: 1.00e+00 Dobj: -2.5536780e-01
Iter: 41 Ap: 9.84e-01 Pobj: -2.5898983e-01 Ad: 1.00e+00 Dobj: -2.5685831e-01
Iter: 42 Ap: 9.71e-01 Pobj: -2.5872912e-01 Ad: 1.00e+00 Dobj: -2.5771429e-01
Iter: 43 Ap: 1.00e+00 Pobj: -2.5860170e-01 Ad: 1.00e+00 Dobj: -2.5810309e-01
Iter: 44 Ap: 1.00e+00 Pobj: -2.5851808e-01 Ad: 1.00e+00 Dobj: -2.5836232e-01
Iter: 45 Ap: 9.93e-01 Pobj: -2.5846233e-01 Ad: 1.00e+00 Dobj: -2.5851874e-01
Iter: 46 Ap: 1.00e+00 Pobj: -2.5843629e-01 Ad: 1.00e+00 Dobj: -2.5858468e-01
Iter: 47 Ap: 1.00e+00 Pobj: -2.5841558e-01 Ad: 1.00e+00 Dobj: -2.5863532e-01
Iter: 48 Ap: 1.00e+00 Pobj: -2.5840638e-01 Ad: 1.00e+00 Dobj: -2.5865706e-01
Iter: 49 Ap: 1.00e+00 Pobj: -2.5840057e-01 Ad: 1.00e+00 Dobj: -2.5867006e-01
Iter: 50 Ap: 8.15e-01 Pobj: -2.5839890e-01 Ad: 9.90e-01 Dobj: -2.5867477e-01
Iter: 51 Ap: 1.04e-02 Pobj: -2.5839819e-01 Ad: 2.39e-02 Dobj: -2.5866989e-01
Iter: 52 Ap: 1.79e-02 Pobj: -2.5839703e-01 Ad: 1.38e-01 Dobj: -2.5864256e-01
Iter: 53 Ap: 1.56e-01 Pobj: -2.5838694e-01 Ad: 2.56e-01 Dobj: -2.5859877e-01
Iter: 54 Ap: 1.19e-01 Pobj: -2.5837834e-01 Ad: 1.52e-01 Dobj: -2.5857793e-01
Iter: 55 Ap: 8.38e-02 Pobj: -2.5837403e-01 Ad: 1.40e-01 Dobj: -2.5856123e-01
Iter: 56 Ap: 2.00e-01 Pobj: -2.5836399e-01 Ad: 2.81e-01 Dobj: -2.5853190e-01
Iter: 57 Ap: 2.15e-01 Pobj: -2.5835596e-01 Ad: 3.32e-01 Dobj: -2.5850639e-01
Iter: 58 Ap: 3.39e-01 Pobj: -2.5834631e-01 Ad: 5.98e-01 Dobj: -2.5847521e-01
Iter: 59 Ap: 3.44e-01 Pobj: -2.5833969e-01 Ad: 6.00e-01 Dobj: -2.5846240e-01
Iter: 60 Ap: 3.94e-01 Pobj: -2.5833483e-01 Ad: 6.84e-01 Dobj: -2.5845808e-01
Iter: 61 Ap: 4.82e-01 Pobj: -2.5833142e-01 Ad: 1.00e+00 Dobj: -2.5845745e-01
Iter: 62 Ap: 9.27e-01 Pobj: -2.5832735e-01 Ad: 1.00e+00 Dobj: -2.5845978e-01
Iter: 63 Ap: 2.30e-01 Pobj: -2.5832473e-01 Ad: 4.47e-01 Dobj: -2.5844025e-01
Iter: 64 Ap: 1.74e-01 Pobj: -2.5832178e-01 Ad: 3.90e-01 Dobj: -2.5842361e-01
Iter: 65 Ap: 2.44e-01 Pobj: -2.5831849e-01 Ad: 5.29e-01 Dobj: -2.5840983e-01
Iter: 66 Ap: 3.74e-01 Pobj: -2.5831520e-01 Ad: 5.93e-01 Dobj: -2.5840264e-01
Iter: 67 Ap: 2.60e-01 Pobj: -2.5831308e-01 Ad: 5.22e-01 Dobj: -2.5839506e-01
Iter: 68 Ap: 3.62e-01 Pobj: -2.5831105e-01 Ad: 7.54e-01 Dobj: -2.5838851e-01
Iter: 69 Ap: 2.77e-01 Pobj: -2.5830853e-01 Ad: 3.41e-01 Dobj: -2.5838195e-01
Iter: 70 Ap: 4.13e-01 Pobj: -2.5830703e-01 Ad: 7.08e-01 Dobj: -2.5837239e-01
Iter: 71 Ap: 2.21e-01 Pobj: -2.5830558e-01 Ad: 4.82e-01 Dobj: -2.5836130e-01
Iter: 72 Ap: 2.90e-01 Pobj: -2.5830434e-01 Ad: 5.17e-01 Dobj: -2.5835527e-01
Iter: 73 Ap: 4.06e-01 Pobj: -2.5830295e-01 Ad: 8.07e-01 Dobj: -2.5834950e-01
Iter: 74 Ap: 1.20e-01 Pobj: -2.5830203e-01 Ad: 3.23e-01 Dobj: -2.5834488e-01
Iter: 75 Ap: 4.22e-01 Pobj: -2.5830078e-01 Ad: 5.48e-01 Dobj: -2.5833979e-01
Iter: 76 Ap: 2.90e-01 Pobj: -2.5830009e-01 Ad: 4.79e-01 Dobj: -2.5833471e-01
Iter: 77 Ap: 5.51e-01 Pobj: -2.5829906e-01 Ad: 7.40e-01 Dobj: -2.5833009e-01
Iter: 78 Ap: 2.43e-01 Pobj: -2.5829850e-01 Ad: 4.91e-01 Dobj: -2.5832471e-01
Iter: 79 Ap: 4.95e-01 Pobj: -2.5829781e-01 Ad: 6.55e-01 Dobj: -2.5832128e-01
Iter: 80 Ap: 2.50e-01 Pobj: -2.5829732e-01 Ad: 3.82e-01 Dobj: -2.5831730e-01
Iter: 81 Ap: 2.27e-01 Pobj: -2.5829708e-01 Ad: 6.03e-01 Dobj: -2.5831345e-01
Iter: 82 Ap: 3.65e-01 Pobj: -2.5829672e-01 Ad: 5.13e-01 Dobj: -2.5831214e-01
Iter: 83 Ap: 1.63e-01 Pobj: -2.5829652e-01 Ad: 3.10e-01 Dobj: -2.5831012e-01
Iter: 84 Ap: 4.93e-01 Pobj: -2.5829612e-01 Ad: 6.30e-01 Dobj: -2.5830736e-01
Iter: 85 Ap: 4.28e-01 Pobj: -2.5829587e-01 Ad: 8.40e-01 Dobj: -2.5830475e-01
Iter: 86 Ap: 1.33e-01 Pobj: -2.5829575e-01 Ad: 2.82e-01 Dobj: -2.5830367e-01
Iter: 87 Ap: 3.91e-01 Pobj: -2.5829553e-01 Ad: 5.65e-01 Dobj: -2.5830212e-01
Iter: 88 Ap: 4.50e-01 Pobj: -2.5829535e-01 Ad: 5.21e-01 Dobj: -2.5830096e-01
Iter: 89 Ap: 2.55e-01 Pobj: -2.5829527e-01 Ad: 3.57e-01 Dobj: -2.5829990e-01
Iter: 90 Ap: 3.69e-01 Pobj: -2.5829518e-01 Ad: 4.32e-01 Dobj: -2.5829900e-01
Iter: 91 Ap: 2.08e-01 Pobj: -2.5829514e-01 Ad: 5.87e-01 Dobj: -2.5829772e-01
Iter: 92 Ap: 2.36e-01 Pobj: -2.5829508e-01 Ad: 3.11e-01 Dobj: -2.5829736e-01
Iter: 93 Ap: 1.91e-01 Pobj: -2.5829505e-01 Ad: 5.67e-01 Dobj: -2.5829678e-01
Iter: 94 Ap: 2.13e-01 Pobj: -2.5829502e-01 Ad: 4.46e-01 Dobj: -2.5829636e-01
Iter: 95 Ap: 3.51e-01 Pobj: -2.5829498e-01 Ad: 6.84e-01 Dobj: -2.5829598e-01
Iter: 96 Ap: 2.96e-01 Pobj: -2.5829495e-01 Ad: 5.63e-01 Dobj: -2.5829566e-01
Iter: 97 Ap: 5.90e-01 Pobj: -2.5829491e-01 Ad: 7.06e-01 Dobj: -2.5829540e-01
Iter: 98 Ap: 4.08e-01 Pobj: -2.5829490e-01 Ad: 7.85e-01 Dobj: -2.5829520e-01
Iter: 99 Ap: 5.72e-01 Pobj: -2.5829489e-01 Ad: 5.96e-01 Dobj: -2.5829511e-01
Iter: 100 Ap: 5.46e-01 Pobj: -2.5829488e-01 Ad: 5.93e-01 Dobj: -2.5829503e-01
Iter: 101 Ap: 8.16e-01 Pobj: -2.5829487e-01 Ad: 1.00e+00 Dobj: -2.5829493e-01
Iter: 102 Ap: 4.11e-01 Pobj: -2.5829487e-01 Ad: 1.46e-01 Dobj: -2.5829493e-01
Success: SDP solved
Primal objective value: -2.5829487e-01
Dual objective value: -2.5829493e-01
Relative primal infeasibility: 3.38e-11
Relative dual infeasibility: 5.00e-11
Real Relative Gap: -3.95e-08
XZ Relative Gap: 8.40e-09
DIMACS error measures: 5.27e-10 0.00e+00 1.27e-10 0.00e+00 -3.95e-08 8.40e-09
Elements time: 52226.120248
Factor time: 1753.221262
Other time: 415.610730
Total time: 54394.952240
============================================================================
Return code is 0
Floating point bound is 0.25829487

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

$ python verify_bound.py --dir output/k4-l5
Written q.py
Bound (all graphs) is 904032120152529/3500000000000000
(Approximately 0.258294891)
Added exact bound to flags.py

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