files / problems / one-third-two-thirds / compute / q1 / interval_orders.json

2.1 KB · on GitHub

{
  "census": [
    {
      "n": 3,
      "n_natural_interval": 7,
      "n_nonchain": 6,
      "n_not_semiorder": 0,
      "n_below_1_3": 0,
      "min_delta": [
        1,
        3
      ],
      "min_e": 3,
      "min_is_not_semiorder": false,
      "min_down": [
        0,
        0,
        1
      ],
      "complete": true
    },
    {
      "n": 4,
      "n_natural_interval": 37,
      "n_nonchain": 36,
      "n_not_semiorder": 4,
      "n_below_1_3": 0,
      "min_delta": [
        1,
        3
      ],
      "min_e": 3,
      "min_is_not_semiorder": false,
      "min_down": [
        0,
        0,
        1,
        7
      ],
      "complete": true
    },
    {
      "n": 5,
      "n_natural_interval": 272,
      "n_nonchain": 271,
      "n_not_semiorder": 82,
      "n_below_1_3": 0,
      "min_delta": [
        1,
        3
      ],
      "min_e": 3,
      "min_is_not_semiorder": false,
      "min_down": [
        0,
        0,
        1,
        7,
        15
      ],
      "complete": true
    },
    {
      "n": 6,
      "n_natural_interval": 2637,
      "n_nonchain": 2636,
      "n_not_semiorder": 1355,
      "n_below_1_3": 0,
      "min_delta": [
        1,
        3
      ],
      "min_e": 9,
      "min_is_not_semiorder": false,
      "min_down": [
        0,
        0,
        1,
        7,
        7,
        15
      ],
      "complete": true
    },
    {
      "n": 7,
      "n_natural_interval": 32469,
      "n_nonchain": 32468,
      "n_not_semiorder": 22595,
      "n_below_1_3": 0,
      "min_delta": [
        1,
        3
      ],
      "min_e": 9,
      "min_is_not_semiorder": false,
      "min_down": [
        0,
        0,
        1,
        7,
        7,
        15,
        63
      ],
      "complete": true
    },
    {
      "n": 8,
      "n_natural_interval": 493602,
      "n_nonchain": 493601,
      "n_not_semiorder": 408370,
      "n_below_1_3": 0,
      "min_delta": [
        1,
        3
      ],
      "min_e": 9,
      "min_is_not_semiorder": false,
      "min_down": [
        0,
        0,
        1,
        7,
        7,
        15,
        63,
        127
      ],
      "complete": true
    }
  ]
}