$ ./flagmatic --n 6 --r 2 --oriented --induced-density 3:1223 --dir output/p3 --verbose flagmatic version 1.0 ============================================================================ Using density of 3:1223 Using directory oriented/p3 Using admissible graphs of order 6. Generating types and flags... Generated 1 type of order 0, with 7 flags of order 3. Generated 2 types of order 2, with [126, 126] flags of order 4. Generated 42 types of order 4, with [81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 8 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81] flags of order 5. Generating admissible graphs... Generated 21480 admissible graphs. Written flags.py Computing flag densities... Written flags.dat-s and flags.rat Running: ./csdp oriented/p3/flags.dat-s oriented/p3/flags.out ============================================================================ Iter: 0 Ap: 0.00e+00 Pobj: -1.6157014e+05 Ad: 0.00e+00 Dobj: 0.0000000e+00 Iter: 1 Ap: 9.01e-01 Pobj: -1.8457409e+05 Ad: 9.59e-01 Dobj: -8.7763318e-02 Iter: 2 Ap: 8.91e-01 Pobj: -2.1495400e+05 Ad: 8.28e-01 Dobj: -1.8853476e-01 Iter: 3 Ap: 9.77e-01 Pobj: -2.1554011e+05 Ad: 9.53e-01 Dobj: -2.1696178e-01 Iter: 4 Ap: 1.00e+00 Pobj: -1.5372395e+05 Ad: 6.47e-01 Dobj: -2.1746442e-01 Iter: 5 Ap: 8.71e-01 Pobj: -1.0028951e+05 Ad: 7.39e-01 Dobj: -2.1729289e-01 Iter: 6 Ap: 9.56e-01 Pobj: -5.4703755e+04 Ad: 7.35e-01 Dobj: -2.1617576e-01 Iter: 7 Ap: 5.68e-01 Pobj: -4.0618019e+04 Ad: 5.95e-01 Dobj: -2.1450366e-01 Iter: 8 Ap: 7.70e-01 Pobj: -2.5476025e+04 Ad: 8.38e-01 Dobj: -2.1166194e-01 Iter: 9 Ap: 7.50e-01 Pobj: -1.4642856e+04 Ad: 1.00e+00 Dobj: -2.0868742e-01 Iter: 10 Ap: 9.80e-01 Pobj: -1.1113735e+03 Ad: 1.00e+00 Dobj: -2.0856791e-01 Iter: 11 Ap: 9.93e-01 Pobj: -5.3553669e+01 Ad: 1.00e+00 Dobj: -2.0850510e-01 Iter: 12 Ap: 1.00e+00 Pobj: -2.9890878e+00 Ad: 1.00e+00 Dobj: -2.0874978e-01 Iter: 13 Ap: 1.00e+00 Pobj: -9.1181404e-01 Ad: 1.00e+00 Dobj: -2.1471546e-01 Iter: 14 Ap: 1.00e+00 Pobj: -6.6665808e-01 Ad: 1.00e+00 Dobj: -2.3533040e-01 Iter: 15 Ap: 7.60e-01 Pobj: -6.2236920e-01 Ad: 4.00e-01 Dobj: -2.4019196e-01 Iter: 16 Ap: 5.35e-01 Pobj: -5.6405825e-01 Ad: 1.00e+00 Dobj: -2.5919006e-01 Iter: 17 Ap: 8.60e-01 Pobj: -4.9070828e-01 Ad: 1.00e+00 Dobj: -2.7387172e-01 Iter: 18 Ap: 9.66e-01 Pobj: -4.4223638e-01 Ad: 1.00e+00 Dobj: -3.0191791e-01 Iter: 19 Ap: 6.70e-01 Pobj: -4.3316088e-01 Ad: 8.68e-01 Dobj: -3.3437463e-01 Iter: 20 Ap: 9.49e-01 Pobj: -4.2036766e-01 Ad: 1.00e+00 Dobj: -3.5047696e-01 Iter: 21 Ap: 9.98e-01 Pobj: -4.0658015e-01 Ad: 9.84e-01 Dobj: -3.7442908e-01 Iter: 22 Ap: 7.91e-01 Pobj: -4.0271456e-01 Ad: 1.00e+00 Dobj: -3.8049274e-01 Iter: 23 Ap: 7.11e-01 Pobj: -4.0126414e-01 Ad: 9.91e-01 Dobj: -3.8832142e-01 Iter: 24 Ap: 6.42e-01 Pobj: -4.0065416e-01 Ad: 1.00e+00 Dobj: -3.9375051e-01 Iter: 25 Ap: 6.29e-01 Pobj: -4.0038712e-01 Ad: 7.14e-01 Dobj: -3.9487335e-01 Iter: 26 Ap: 6.06e-01 Pobj: -4.0023817e-01 Ad: 1.00e+00 Dobj: -3.9718093e-01 Iter: 27 Ap: 6.99e-01 Pobj: -4.0013874e-01 Ad: 1.00e+00 Dobj: -3.9830919e-01 Iter: 28 Ap: 4.02e-01 Pobj: -4.0011177e-01 Ad: 1.00e+00 Dobj: -3.9910053e-01 Iter: 29 Ap: 7.94e-01 Pobj: -4.0006910e-01 Ad: 1.00e+00 Dobj: -3.9939836e-01 Iter: 30 Ap: 1.00e+00 Pobj: -4.0004188e-01 Ad: 1.00e+00 Dobj: -3.9979872e-01 Iter: 31 Ap: 1.00e+00 Pobj: -4.0003554e-01 Ad: 1.00e+00 Dobj: -3.9993102e-01 Iter: 32 Ap: 8.50e-01 Pobj: -4.0003232e-01 Ad: 1.00e+00 Dobj: -4.0000724e-01 Iter: 33 Ap: 8.45e-01 Pobj: -4.0003047e-01 Ad: 1.00e+00 Dobj: -4.0003553e-01 Iter: 34 Ap: 4.09e-01 Pobj: -4.0003017e-01 Ad: 1.00e+00 Dobj: -4.0004333e-01 Iter: 35 Ap: 2.80e-01 Pobj: -4.0002998e-01 Ad: 1.00e+00 Dobj: -4.0004701e-01 Iter: 36 Ap: 3.64e-01 Pobj: -4.0002973e-01 Ad: 9.54e-01 Dobj: -4.0004982e-01 Iter: 37 Ap: 3.43e-01 Pobj: -4.0002956e-01 Ad: 8.39e-01 Dobj: -4.0005134e-01 Iter: 38 Ap: 3.99e-01 Pobj: -4.0002947e-01 Ad: 9.09e-01 Dobj: -4.0005167e-01 Iter: 39 Ap: 5.74e-01 Pobj: -4.0002932e-01 Ad: 1.00e+00 Dobj: -4.0005606e-01 Iter: 40 Ap: 7.01e-01 Pobj: -4.0002928e-01 Ad: 9.93e-01 Dobj: -4.0005939e-01 Iter: 41 Ap: 2.78e-02 Pobj: -4.0002913e-01 Ad: 6.14e-02 Dobj: -4.0005885e-01 Iter: 42 Ap: 8.55e-03 Pobj: -4.0002913e-01 Ad: 3.67e-02 Dobj: -4.0005857e-01 Iter: 43 Ap: 5.46e-02 Pobj: -4.0002887e-01 Ad: 2.12e-01 Dobj: -4.0005680e-01 Iter: 44 Ap: 2.74e-01 Pobj: -4.0002779e-01 Ad: 5.47e-01 Dobj: -4.0005358e-01 Iter: 45 Ap: 4.21e-02 Pobj: -4.0002733e-01 Ad: 1.98e-01 Dobj: -4.0005200e-01 Iter: 46 Ap: 1.17e-01 Pobj: -4.0002652e-01 Ad: 2.80e-01 Dobj: -4.0005001e-01 Iter: 47 Ap: 1.34e-01 Pobj: -4.0002521e-01 Ad: 3.44e-01 Dobj: -4.0004674e-01 Iter: 48 Ap: 1.90e-01 Pobj: -4.0002357e-01 Ad: 4.22e-01 Dobj: -4.0004350e-01 Iter: 49 Ap: 1.33e-01 Pobj: -4.0002210e-01 Ad: 4.06e-01 Dobj: -4.0003972e-01 Iter: 50 Ap: 1.33e-01 Pobj: -4.0002139e-01 Ad: 2.50e-01 Dobj: -4.0003797e-01 Iter: 51 Ap: 6.36e-02 Pobj: -4.0002117e-01 Ad: 3.55e-01 Dobj: -4.0003577e-01 Iter: 52 Ap: 1.85e-01 Pobj: -4.0002065e-01 Ad: 3.64e-01 Dobj: -4.0003460e-01 Iter: 53 Ap: 2.42e-01 Pobj: -4.0001948e-01 Ad: 4.45e-01 Dobj: -4.0003133e-01 Iter: 54 Ap: 2.93e-01 Pobj: -4.0001869e-01 Ad: 4.82e-01 Dobj: -4.0002906e-01 Iter: 55 Ap: 4.54e-01 Pobj: -4.0001785e-01 Ad: 5.33e-01 Dobj: -4.0002752e-01 Iter: 56 Ap: 3.39e-01 Pobj: -4.0001727e-01 Ad: 3.17e-01 Dobj: -4.0002550e-01 Iter: 57 Ap: 3.25e-01 Pobj: -4.0001695e-01 Ad: 6.24e-01 Dobj: -4.0002277e-01 Iter: 58 Ap: 2.52e-01 Pobj: -4.0001668e-01 Ad: 4.93e-01 Dobj: -4.0002154e-01 Iter: 59 Ap: 2.12e-01 Pobj: -4.0001642e-01 Ad: 3.66e-01 Dobj: -4.0002055e-01 Iter: 60 Ap: 2.35e-01 Pobj: -4.0001631e-01 Ad: 2.95e-01 Dobj: -4.0002008e-01 Iter: 61 Ap: 1.32e-01 Pobj: -4.0001622e-01 Ad: 5.03e-01 Dobj: -4.0001872e-01 Iter: 62 Ap: 1.97e-01 Pobj: -4.0001611e-01 Ad: 4.02e-01 Dobj: -4.0001827e-01 Iter: 63 Ap: 5.55e-01 Pobj: -4.0001582e-01 Ad: 7.56e-01 Dobj: -4.0001767e-01 Iter: 64 Ap: 3.13e-01 Pobj: -4.0001571e-01 Ad: 6.01e-01 Dobj: -4.0001705e-01 Iter: 65 Ap: 3.12e-01 Pobj: -4.0001564e-01 Ad: 5.03e-01 Dobj: -4.0001662e-01 Iter: 66 Ap: 5.51e-01 Pobj: -4.0001554e-01 Ad: 6.23e-01 Dobj: -4.0001636e-01 Iter: 67 Ap: 3.86e-01 Pobj: -4.0001548e-01 Ad: 4.55e-01 Dobj: -4.0001613e-01 Iter: 68 Ap: 1.40e-01 Pobj: -4.0001546e-01 Ad: 5.07e-01 Dobj: -4.0001595e-01 Iter: 69 Ap: 8.60e-02 Pobj: -4.0001545e-01 Ad: 2.84e-01 Dobj: -4.0001586e-01 Iter: 70 Ap: 8.31e-02 Pobj: -4.0001543e-01 Ad: 2.44e-01 Dobj: -4.0001579e-01 Iter: 71 Ap: 5.27e-02 Pobj: -4.0001542e-01 Ad: 2.90e-01 Dobj: -4.0001571e-01 Iter: 72 Ap: 1.28e-01 Pobj: -4.0001540e-01 Ad: 4.10e-01 Dobj: -4.0001561e-01 Iter: 73 Ap: 1.36e-01 Pobj: -4.0001537e-01 Ad: 3.00e-01 Dobj: -4.0001554e-01 Iter: 74 Ap: 1.38e-01 Pobj: -4.0001535e-01 Ad: 4.01e-01 Dobj: -4.0001548e-01 Iter: 75 Ap: 1.28e-01 Pobj: -4.0001533e-01 Ad: 3.31e-01 Dobj: -4.0001543e-01 Iter: 76 Ap: 1.21e-01 Pobj: -4.0001532e-01 Ad: 4.89e-01 Dobj: -4.0001538e-01 Iter: 77 Ap: 1.86e-01 Pobj: -4.0001530e-01 Ad: 2.48e-01 Dobj: -4.0001536e-01 Iter: 78 Ap: 6.30e-02 Pobj: -4.0001530e-01 Ad: 2.82e-01 Dobj: -4.0001534e-01 Iter: 79 Ap: 1.31e-01 Pobj: -4.0001529e-01 Ad: 2.83e-01 Dobj: -4.0001532e-01 Iter: 80 Ap: 2.57e-01 Pobj: -4.0001527e-01 Ad: 4.19e-01 Dobj: -4.0001530e-01 Iter: 81 Ap: 3.59e-01 Pobj: -4.0001526e-01 Ad: 5.78e-01 Dobj: -4.0001528e-01 Iter: 82 Ap: 1.99e-01 Pobj: -4.0001525e-01 Ad: 5.52e-01 Dobj: -4.0001526e-01 Iter: 83 Ap: 2.98e-01 Pobj: -4.0001525e-01 Ad: 3.86e-01 Dobj: -4.0001525e-01 Iter: 84 Ap: 4.33e-01 Pobj: -4.0001524e-01 Ad: 5.22e-01 Dobj: -4.0001524e-01 Iter: 85 Ap: 4.55e-01 Pobj: -4.0001524e-01 Ad: 5.15e-01 Dobj: -4.0001524e-01 Iter: 86 Ap: 4.34e-01 Pobj: -4.0001523e-01 Ad: 4.13e-01 Dobj: -4.0001523e-01 Iter: 87 Ap: 2.96e-01 Pobj: -4.0001523e-01 Ad: 3.08e-01 Dobj: -4.0001524e-01 Success: SDP solved Primal objective value: -4.0001523e-01 Dual objective value: -4.0001524e-01 Relative primal infeasibility: 4.71e-09 Relative dual infeasibility: 4.95e-11 Real Relative Gap: -1.50e-09 XZ Relative Gap: 8.70e-09 DIMACS error measures: 1.06e-07 0.00e+00 1.72e-10 0.00e+00 -1.50e-09 8.70e-09 Elements time: 69814.488672 Factor time: 8348.809112 Other time: 826.892853 Total time: 78990.190636 ============================================================================ Return code is 0 Approximate floating-point bound is 0.40001523 $ python make_nontight_exact_qdash.py --denominator 10000000 --dir output/p3 Written r.py Written qdash.py Marked bound as non-tight in flags.py $ python verify_bound.py --dir output/p3 Written q.py Bound (all graphs) is 1800068736091423/4500000000000000 (Approximately 0.400015275) Added exact bound to flags.py $ python make_certificate.py --dir output/p3 Written certificate to cert.js