$ ./flagmatic --n 7 --forbid-k4- --forbid 6:123134145156162 --forbid-f32 --verbose --dir output/k4-f32l5 flagmatic version 0.91 ============================================================================ Using directory output/k4-f32l5 Forbidding 6:123124135146156 Forbidding 4.3 Forbidding 5:123124125345 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, 43] flags of order 5. Generated 10 types of order 5, with [376, 239, 167, 153, 142, 103, 109, 75, 64, 36] flags of order 6. Generating admissible graphs... Generated 4149 admissible graphs. Written flags.py Computing flag densities... Written flags.dat-s and flags.rat Running: ./csdp output/k4-f32l5/flags.dat-s output/k4-f32l5/flags.out ============================================================================ Iter: 0 Ap: 0.00e+00 Pobj: -3.2563681e+04 Ad: 0.00e+00 Dobj: 0.0000000e+00 Iter: 1 Ap: 1.00e+00 Pobj: -3.9369375e+04 Ad: 9.55e-01 Dobj: -1.9604162e-01 Iter: 2 Ap: 1.00e+00 Pobj: -4.3875055e+04 Ad: 8.38e-01 Dobj: -2.3211862e-01 Iter: 3 Ap: 1.00e+00 Pobj: -5.9992359e+04 Ad: 4.38e-01 Dobj: -2.3438466e-01 Iter: 4 Ap: 4.25e-01 Pobj: -6.1026638e+04 Ad: 3.47e-01 Dobj: -2.2132389e-01 Iter: 5 Ap: 2.39e-01 Pobj: -6.4833967e+04 Ad: 4.95e-01 Dobj: -2.1150357e-01 Iter: 6 Ap: 1.34e-01 Pobj: -6.5435999e+04 Ad: 3.77e-01 Dobj: -2.0818376e-01 Iter: 7 Ap: 3.28e-01 Pobj: -6.3930804e+04 Ad: 4.73e-01 Dobj: -2.0133594e-01 Iter: 8 Ap: 4.51e-01 Pobj: -5.9398898e+04 Ad: 4.24e-01 Dobj: -1.9779887e-01 Iter: 9 Ap: 2.68e-01 Pobj: -5.7114310e+04 Ad: 3.66e-01 Dobj: -1.9491803e-01 Iter: 10 Ap: 2.77e-01 Pobj: -5.3584918e+04 Ad: 4.76e-01 Dobj: -1.9325537e-01 Iter: 11 Ap: 5.10e-01 Pobj: -4.2914614e+04 Ad: 4.27e-01 Dobj: -1.9196214e-01 Iter: 12 Ap: 5.40e-01 Pobj: -3.6544783e+04 Ad: 5.12e-01 Dobj: -1.9110668e-01 Iter: 13 Ap: 4.37e-01 Pobj: -3.2381585e+04 Ad: 4.19e-01 Dobj: -1.9051373e-01 Iter: 14 Ap: 6.00e-01 Pobj: -2.3653310e+04 Ad: 5.52e-01 Dobj: -1.9005952e-01 Iter: 15 Ap: 4.65e-01 Pobj: -1.9732374e+04 Ad: 4.63e-01 Dobj: -1.8958346e-01 Iter: 16 Ap: 2.07e-01 Pobj: -1.8340671e+04 Ad: 5.77e-01 Dobj: -1.8927342e-01 Iter: 17 Ap: 5.01e-01 Pobj: -1.4890278e+04 Ad: 5.18e-01 Dobj: -1.8912756e-01 Iter: 18 Ap: 6.63e-01 Pobj: -1.0979009e+04 Ad: 6.42e-01 Dobj: -1.8904489e-01 Iter: 19 Ap: 5.41e-01 Pobj: -8.7416252e+03 Ad: 7.07e-01 Dobj: -1.8883139e-01 Iter: 20 Ap: 7.91e-01 Pobj: -4.4792079e+03 Ad: 9.99e-01 Dobj: -1.8872165e-01 Iter: 21 Ap: 9.67e-01 Pobj: -3.8450522e+02 Ad: 1.00e+00 Dobj: -1.8871808e-01 Iter: 22 Ap: 9.91e-01 Pobj: -2.0170082e+01 Ad: 1.00e+00 Dobj: -1.8872093e-01 Iter: 23 Ap: 1.00e+00 Pobj: -1.4131469e+00 Ad: 1.00e+00 Dobj: -1.8883299e-01 Iter: 24 Ap: 1.00e+00 Pobj: -5.9116152e-01 Ad: 1.00e+00 Dobj: -1.9070711e-01 Iter: 25 Ap: 1.00e+00 Pobj: -4.1891136e-01 Ad: 8.32e-01 Dobj: -1.9460224e-01 Iter: 26 Ap: 1.95e-01 Pobj: -4.0973317e-01 Ad: 1.00e+00 Dobj: -1.9670411e-01 Iter: 27 Ap: 1.00e+00 Pobj: -3.3408676e-01 Ad: 8.92e-01 Dobj: -2.0129382e-01 Iter: 28 Ap: 4.34e-01 Pobj: -3.1699472e-01 Ad: 1.00e+00 Dobj: -2.0469028e-01 Iter: 29 Ap: 1.00e+00 Pobj: -2.7595903e-01 Ad: 8.17e-01 Dobj: -2.1167973e-01 Iter: 30 Ap: 9.23e-02 Pobj: -2.7616592e-01 Ad: 4.68e-01 Dobj: -2.1788290e-01 Iter: 31 Ap: 2.00e-01 Pobj: -2.7582320e-01 Ad: 4.36e-01 Dobj: -2.2304890e-01 Iter: 32 Ap: 4.40e-01 Pobj: -2.7319011e-01 Ad: 1.00e+00 Dobj: -2.3382282e-01 Iter: 33 Ap: 8.16e-01 Pobj: -2.6520574e-01 Ad: 1.00e+00 Dobj: -2.3925307e-01 Iter: 34 Ap: 1.00e+00 Pobj: -2.5881572e-01 Ad: 1.00e+00 Dobj: -2.4616839e-01 Iter: 35 Ap: 9.54e-01 Pobj: -2.5655417e-01 Ad: 1.00e+00 Dobj: -2.5120183e-01 Iter: 36 Ap: 1.00e+00 Pobj: -2.5599537e-01 Ad: 1.00e+00 Dobj: -2.5296388e-01 Iter: 37 Ap: 1.00e+00 Pobj: -2.5591115e-01 Ad: 1.00e+00 Dobj: -2.5472023e-01 Iter: 38 Ap: 7.30e-01 Pobj: -2.5590160e-01 Ad: 1.00e+00 Dobj: -2.5530270e-01 Iter: 39 Ap: 6.95e-01 Pobj: -2.5589658e-01 Ad: 1.00e+00 Dobj: -2.5552938e-01 Iter: 40 Ap: 8.75e-01 Pobj: -2.5589239e-01 Ad: 1.00e+00 Dobj: -2.5569961e-01 Iter: 41 Ap: 6.81e-01 Pobj: -2.5589117e-01 Ad: 1.00e+00 Dobj: -2.5577737e-01 Iter: 42 Ap: 8.67e-01 Pobj: -2.5588997e-01 Ad: 1.00e+00 Dobj: -2.5582998e-01 Iter: 43 Ap: 8.12e-01 Pobj: -2.5588949e-01 Ad: 1.00e+00 Dobj: -2.5585490e-01 Iter: 44 Ap: 5.91e-01 Pobj: -2.5588931e-01 Ad: 1.00e+00 Dobj: -2.5586594e-01 Iter: 45 Ap: 4.84e-01 Pobj: -2.5588916e-01 Ad: 1.00e+00 Dobj: -2.5587673e-01 Iter: 46 Ap: 7.75e-01 Pobj: -2.5588897e-01 Ad: 1.00e+00 Dobj: -2.5588139e-01 Iter: 47 Ap: 9.27e-01 Pobj: -2.5588883e-01 Ad: 1.00e+00 Dobj: -2.5588625e-01 Iter: 48 Ap: 8.16e-01 Pobj: -2.5588878e-01 Ad: 1.00e+00 Dobj: -2.5588846e-01 Iter: 49 Ap: 1.00e+00 Pobj: -2.5588870e-01 Ad: 1.00e+00 Dobj: -2.5588936e-01 Iter: 50 Ap: 1.00e+00 Pobj: -2.5588866e-01 Ad: 1.00e+00 Dobj: -2.5588893e-01 Iter: 51 Ap: 1.00e+00 Pobj: -2.5588864e-01 Ad: 8.60e-01 Dobj: -2.5588870e-01 Iter: 52 Ap: 1.00e+00 Pobj: -2.5588864e-01 Ad: 8.30e-01 Dobj: -2.5588865e-01 Iter: 53 Ap: 7.45e-01 Pobj: -2.5588864e-01 Ad: 9.50e-01 Dobj: -2.5588864e-01 Success: SDP solved Primal objective value: -2.5588864e-01 Dual objective value: -2.5588864e-01 Relative primal infeasibility: 7.01e-12 Relative dual infeasibility: 2.75e-10 Real Relative Gap: -4.58e-10 XZ Relative Gap: 2.57e-09 DIMACS error measures: 8.36e-11 0.00e+00 7.21e-10 0.00e+00 -4.58e-10 2.57e-09 Elements time: 12084.234824 Factor time: 230.516464 Other time: 119.800450 Total time: 12434.551739 ============================================================================ Return code is 0 Floating point bound is 0.25588864 $ python make_nontight_exact_qdash.py --denominator 10000000 --dir output/k4-f32l5 Written r.py Written qdash.py Marked bound as non-tight in flags.py $ python verify_bound.py --dir output/k4-f32l5 Written q.py Bound (all graphs) is 4605995725514911/18000000000000000 (Approximately 0.255888651) Added exact bound to flags.py $ python make_certificate.py --dir output/k4-f32l5 Written certificate to cert.js