files / problems / kissing-5d / compute / q1 / integer_restricted.json

4.8 KB · on GitHub

{
  "T_L5": {
    "T": [
      "-1",
      "-3/4",
      "-1/2",
      "-1/4",
      "0",
      "1/2"
    ],
    "N": {
      "41": {
        "real_feasible": true,
        "box": [
          {
            "t": "-1",
            "min": 0.0,
            "max": 20.0
          },
          {
            "t": "-3/4",
            "min": 0.0,
            "max": 110.73607038123164
          },
          {
            "t": "-1/2",
            "min": 23.439736070381258,
            "max": 257.4142857142857
          },
          {
            "t": "-1/4",
            "min": 0.0,
            "max": 251.85606540028192
          },
          {
            "t": "0",
            "min": 165.82294052679617,
            "max": 295.0047619047619
          },
          {
            "t": "1/2",
            "min": 253.41904761904757,
            "max": 282.24831695437626
          }
        ],
        "pairs": 820,
        "deg": 14,
        "integer": {
          "scanned": 84769107,
          "n_hits": 3,
          "hits": [
            {
              "-1": 0,
              "-3/4": 93,
              "-1/2": 87,
              "-1/4": 142,
              "0": 239,
              "1/2": 259
            },
            {
              "-1": 0,
              "-3/4": 93,
              "-1/2": 88,
              "-1/4": 141,
              "0": 240,
              "1/2": 258
            },
            {
              "-1": 0,
              "-3/4": 93,
              "-1/2": 88,
              "-1/4": 142,
              "0": 239,
              "1/2": 258
            }
          ],
          "skipped": false,
          "used_window": [
            536,
            568
          ]
        }
      },
      "42": {
        "real_feasible": true,
        "box": [
          {
            "t": "-1",
            "min": 0.0,
            "max": 21.0
          },
          {
            "t": "-3/4",
            "min": 0.0,
            "max": 113.43695014662755
          },
          {
            "t": "-1/2",
            "min": 32.41143695014664,
            "max": 268.79999999999984
          },
          {
            "t": "-1/4",
            "min": 0.0,
            "max": 248.9842941308076
          },
          {
            "t": "0",
            "min": 185.4104705794615,
            "max": 302.4000000000001
          },
          {
            "t": "1/2",
            "min": 268.80000000000007,
            "max": 290.3470075085083
          }
        ],
        "pairs": 861,
        "deg": 14,
        "integer": {
          "scanned": 66328489,
          "n_hits": 3,
          "hits": [
            {
              "-1": 0,
              "-3/4": 102,
              "-1/2": 71,
              "-1/4": 181,
              "0": 231,
              "1/2": 276
            },
            {
              "-1": 0,
              "-3/4": 102,
              "-1/2": 71,
              "-1/4": 182,
              "0": 230,
              "1/2": 276
            },
            {
              "-1": 0,
              "-3/4": 102,
              "-1/2": 72,
              "-1/4": 181,
              "0": 231,
              "1/2": 275
            }
          ],
          "skipped": false,
          "used_window": [
            569,
            594
          ]
        }
      },
      "43": {
        "real_feasible": true,
        "box": [
          {
            "t": "-1",
            "min": 0.0,
            "max": 10.611296760419572
          },
          {
            "t": "-3/4",
            "min": 58.818156502366804,
            "max": 116.13782991202345
          },
          {
            "t": "-1/2",
            "min": 41.783137829912036,
            "max": 161.23024227234856
          },
          {
            "t": "-1/4",
            "min": 119.87153067854685,
            "max": 245.68325609310028
          },
          {
            "t": "0",
            "min": 205.7381467315839,
            "max": 264.8529379003062
          },
          {
            "t": "1/2",
            "min": 287.6158358860114,
            "max": 298.5035354560957
          }
        ],
        "pairs": 903,
        "deg": 14,
        "integer": {
          "scanned": 5431000,
          "n_hits": 3,
          "hits": [
            {
              "-1": 0,
              "-3/4": 111,
              "-1/2": 56,
              "-1/4": 220,
              "0": 223,
              "1/2": 293
            },
            {
              "-1": 0,
              "-3/4": 111,
              "-1/2": 57,
              "-1/4": 220,
              "0": 223,
              "1/2": 292
            },
            {
              "-1": 0,
              "-3/4": 111,
              "-1/2": 58,
              "-1/4": 216,
              "0": 226,
              "1/2": 292
            }
          ],
          "skipped": false,
          "used_window": [
            603,
            617
          ]
        }
      }
    }
  }
}