{
  "protocol": {
    "prompt_tokens": 200,
    "generated_ids": 64,
    "timed_decode_steps": 63,
    "prefill": "excluded from both arms",
    "warmup": "one identical fresh-context run before each sample",
    "rounds": 5,
    "threads": [
      8,
      16,
      24,
      32
    ],
    "cpp": "greedy, f16 KV, flash-attention auto, CPU-only, context prompt+64+4, batch512",
    "engine": "greedy or suffix4 lookup, widths2/4, q32 and f32; source frozen window candidate",
    "comparison": "context and length matched; cross-engine numerical/ID parity not assumed; excludes llama speculation"
  },
  "identity": {
    "model_sha256": "37ae482d336108d23516fa35e8e0c4126688d81018b87178a18d752a1357814f",
    "cpu": "Intel(R) Core(TM) i9-14900KF",
    "cases": {
      "readme": {
        "path": "readme.ids",
        "sha256": "894a166ae31393f33425ed7d1fd0b3eed0801c26a3c7095d90825d66fb240443",
        "prompt_tokens": 200
      },
      "code": {
        "path": "code.ids",
        "sha256": "264e3388040e4f7f86530111efffc20015eea929b2cf4ee15a90e846194cc44f",
        "prompt_tokens": 200
      }
    },
    "engine_binary_sha256": "90f23f2d7f122b363df8d5beb88b920ce88320ede53f18f59e7c6aa769469ec2",
    "cpp_binary_sha256": "d7b2d5752227ae251d49e99a3d30f31134fcb8a72fd24636dd49ce60b6925488",
    "cpp_source_sha256": "673e9edefb8354ead53f6268eea77d5d70d547c98fbe424ae6b7c50efb6015ff",
    "llama_headers_revision": "0324696b8e5fe340dc94b64714e4c9aab03084a2",
    "headers": {
      "llama.h": "cbfc6f41a34c53041db368de83f802923d6c442a9e1f913d63723379af662944",
      "ggml-alloc.h": "94e4cd069b9313b2ceb35dacec901981e0bb478d8bb31035b7126be091998c23",
      "gguf.h": "e56714aab702e5ce62ee587a409643c08f7e93e8fbb77f48ef7cc85075f96fa4",
      "ggml-opt.h": "3586de1bc8a934b5c72339e2b6937b0641e8f149b512231e666f67de0736eea2",
      "ggml-backend.h": "a620e815b43a44cc72d5f216629a3a91980335b61bc37eb6b2d0813368c3704f",
      "ggml-cpu.h": "316279e004cdeb8e6ef78599acb602bf79a8abdf897fed9fd1914808c1518c6e",
      "ggml.h": "c65c30fdb4dce95eac71c26bb38ae8423fbc80d79db91d2b2ffaea8c4e46276a"
    },
    "libraries": {
      "libllama.so.0": {
        "resolved": "libllama.so.0.0.10152",
        "sha256": "984d64404b05e2915af6eab847b1c4b0ce703ad390daef167b3e5179dc09a9ef"
      },
      "libggml.so.0": {
        "resolved": "libggml.so.0.17.0",
        "sha256": "80c029dd6dc41cac425c7bcadb3ef7748c35a86f8839cb270b4b92f731778837"
      },
      "libggml-cpu.so.0": {
        "resolved": "libggml-cpu.so.0.17.0",
        "sha256": "36f2aa86fdce6634d8d69818bcdd1eb44580bfb7304ac627f54013ed63f249de"
      },
      "libggml-base.so.0": {
        "resolved": "libggml-base.so.0.17.0",
        "sha256": "43e57780aa55b165e7e6b78a4e8b2ad0d7c2c398ebbbcbaf9033a6ae84945f77"
      }
    }
  },
  "rounds": [
    {
      "round": 0,
      "cases": {
        "readme": {
          "cpp": {
            "8": {
              "tps": 51.3103,
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.029962546816479363
            },
            "16": {
              "tps": 48.9444,
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.02680798004987528
            },
            "24": {
              "tps": 28.2096,
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.04304429195258885
            },
            "32": {
              "tps": 20.79,
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.028019925280199254
            }
          },
          "q32": {
            "0": {
              "tps": 73.0186551351774,
              "stats": [
                0,
                0,
                0,
                0
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.038006230529595064
            },
            "2": {
              "tps": 85.37220613730058,
              "stats": [
                13,
                13,
                37,
                0
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.04738154613466339
            },
            "4": {
              "tps": 92.14301080856531,
              "stats": [
                7,
                19,
                37,
                1
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.02557704304429198
            }
          },
          "f32": {
            "0": {
              "tps": 85.26525059888891,
              "stats": [
                0,
                0,
                0,
                0
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.03731343283582089
            },
            "2": {
              "tps": 98.33900779846594,
              "stats": [
                13,
                13,
                37,
                0
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.04361370716510904
            },
            "4": {
              "tps": 83.20117267272117,
              "stats": [
                7,
                19,
                37,
                1
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.02807236431690585
            }
          }
        },
        "code": {
          "cpp": {
            "8": {
              "tps": 49.8276,
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                25152,
                26,
                279,
                25552,
                369,
                198
              ],
              "busy": 0.03560274828232357
            },
            "16": {
              "tps": 49.7203,
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                25152,
                26,
                279,
                25552,
                369,
                198
              ],
              "busy": 0.03553615960099754
            },
            "24": {
              "tps": 31.2659,
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                25152,
                26,
                279,
                25552,
                369,
                198
              ],
              "busy": 0.034847542003733634
            },
            "32": {
              "tps": 26.9563,
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                25152,
                26,
                279,
                25552,
                369,
                198
              ],
              "busy": 0.04361370716510904
            }
          },
          "q32": {
            "0": {
              "tps": 74.57493944695436,
              "stats": [
                0,
                0,
                0,
                0
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552,
                369
              ],
              "busy": 0.0318153462258266
            },
            "2": {
              "tps": 88.57773053750877,
              "stats": [
                20,
                19,
                24,
                0
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552,
                369
              ],
              "busy": 0.02998126171143034
            },
            "4": {
              "tps": 110.75794524054052,
              "stats": [
                10,
                29,
                24,
                1
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552,
                369
              ],
              "busy": 0.026874999999999982
            }
          },
          "f32": {
            "0": {
              "tps": 88.16361561640947,
              "stats": [
                0,
                0,
                0,
                0
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552
              ],
              "busy": 0.04239401496259354
            },
            "2": {
              "tps": 76.28629962478281,
              "stats": [
                18,
                17,
                28,
                0
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552
              ],
              "busy": 0.033001245330012474
            },
            "4": {
              "tps": 78.61700067182595,
              "stats": [
                10,
                25,
                28,
                3
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552
              ],
              "busy": 0.041796631316281974
            }
          }
        }
      }
    },
    {
      "round": 1,
      "cases": {
        "code": {
          "cpp": {
            "16": {
              "tps": 49.717,
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                25152,
                26,
                279,
                25552,
                369,
                198
              ],
              "busy": 0.028054862842892714
            },
            "24": {
              "tps": 33.1396,
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                25152,
                26,
                279,
                25552,
                369,
                198
              ],
              "busy": 0.04234122042341215
            },
            "32": {
              "tps": 31.7784,
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                25152,
                26,
                279,
                25552,
                369,
                198
              ],
              "busy": 0.047945205479452024
            },
            "8": {
              "tps": 53.9531,
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                25152,
                26,
                279,
                25552,
                369,
                198
              ],
              "busy": 0.042963885429638804
            }
          },
          "q32": {
            "0": {
              "tps": 76.14810713041737,
              "stats": [
                0,
                0,
                0,
                0
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552,
                369
              ],
              "busy": 0.03609209707529559
            },
            "2": {
              "tps": 93.02519612243695,
              "stats": [
                20,
                19,
                24,
                0
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552,
                369
              ],
              "busy": 0.04735202492211843
            },
            "4": {
              "tps": 115.67991633764039,
              "stats": [
                10,
                29,
                24,
                1
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552,
                369
              ],
              "busy": 0.031210986267166008
            }
          },
          "f32": {
            "0": {
              "tps": 79.82447323092055,
              "stats": [
                0,
                0,
                0,
                0
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552
              ],
              "busy": 0.037958929682638476
            },
            "2": {
              "tps": 99.60681474726957,
              "stats": [
                18,
                17,
                28,
                0
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552
              ],
              "busy": 0.02684144818976275
            },
            "4": {
              "tps": 106.93485030908296,
              "stats": [
                10,
                25,
                28,
                3
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552
              ],
              "busy": 0.025593008739076106
            }
          }
        },
        "readme": {
          "cpp": {
            "16": {
              "tps": 49.4995,
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.046787273861509715
            },
            "24": {
              "tps": 37.5645,
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.03302180685358258
            },
            "32": {
              "tps": 29.3136,
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.032418952618453845
            },
            "8": {
              "tps": 52.1392,
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.04109589041095896
            }
          },
          "q32": {
            "0": {
              "tps": 75.58303130713942,
              "stats": [
                0,
                0,
                0,
                0
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.04485981308411213
            },
            "2": {
              "tps": 79.56793449624101,
              "stats": [
                13,
                13,
                37,
                0
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.04299065420560744
            },
            "4": {
              "tps": 83.79214732208723,
              "stats": [
                7,
                19,
                37,
                1
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.03304239401496256
            }
          },
          "f32": {
            "0": {
              "tps": 88.03669357090847,
              "stats": [
                0,
                0,
                0,
                0
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.03995006242197252
            },
            "2": {
              "tps": 94.0174947425902,
              "stats": [
                13,
                13,
                37,
                0
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.039227895392279
            },
            "4": {
              "tps": 77.90539373764392,
              "stats": [
                7,
                19,
                37,
                1
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.032358431860609826
            }
          }
        }
      }
    },
    {
      "round": 2,
      "cases": {
        "readme": {
          "cpp": {
            "24": {
              "tps": 28.8944,
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.03306300686213348
            },
            "32": {
              "tps": 24.0018,
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.03302180685358258
            },
            "8": {
              "tps": 50.8436,
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.02985074626865669
            },
            "16": {
              "tps": 50.1964,
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.022471910112359605
            }
          },
          "q32": {
            "0": {
              "tps": 77.44307616446763,
              "stats": [
                0,
                0,
                0,
                0
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.023735165521549084
            },
            "2": {
              "tps": 77.53324643759869,
              "stats": [
                13,
                13,
                37,
                0
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.03735990037359904
            },
            "4": {
              "tps": 97.49296168133229,
              "stats": [
                7,
                19,
                37,
                1
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.03990024937655856
            }
          },
          "f32": {
            "0": {
              "tps": 91.10462522983727,
              "stats": [
                0,
                0,
                0,
                0
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.026184538653366562
            },
            "2": {
              "tps": 98.17699088292775,
              "stats": [
                13,
                13,
                37,
                0
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.02557704304429198
            },
            "4": {
              "tps": 82.86363397709196,
              "stats": [
                7,
                19,
                37,
                1
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.028019925280199254
            }
          }
        },
        "code": {
          "cpp": {
            "24": {
              "tps": 28.5984,
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                25152,
                26,
                279,
                25552,
                369,
                198
              ],
              "busy": 0.02372034956304614
            },
            "32": {
              "tps": 20.1224,
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                25152,
                26,
                279,
                25552,
                369,
                198
              ],
              "busy": 0.042963885429638804
            },
            "8": {
              "tps": 51.0165,
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                25152,
                26,
                279,
                25552,
                369,
                198
              ],
              "busy": 0.021793275217932728
            },
            "16": {
              "tps": 50.8125,
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                25152,
                26,
                279,
                25552,
                369,
                198
              ],
              "busy": 0.030605871330418477
            }
          },
          "q32": {
            "0": {
              "tps": 74.26367189160204,
              "stats": [
                0,
                0,
                0,
                0
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552,
                369
              ],
              "busy": 0.043559427504667125
            },
            "2": {
              "tps": 92.85760100728152,
              "stats": [
                20,
                19,
                24,
                0
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552,
                369
              ],
              "busy": 0.025561097256857845
            },
            "4": {
              "tps": 102.60037891785655,
              "stats": [
                10,
                29,
                24,
                1
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552,
                369
              ],
              "busy": 0.023096129837702817
            }
          },
          "f32": {
            "0": {
              "tps": 75.40392879268525,
              "stats": [
                0,
                0,
                0,
                0
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552
              ],
              "busy": 0.03865336658354113
            },
            "2": {
              "tps": 57.21469773367115,
              "stats": [
                18,
                17,
                28,
                0
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552
              ],
              "busy": 0.04234122042341215
            },
            "4": {
              "tps": 101.90636363863705,
              "stats": [
                10,
                25,
                28,
                3
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552
              ],
              "busy": 0.042910447761194015
            }
          }
        }
      }
    },
    {
      "round": 3,
      "cases": {
        "code": {
          "cpp": {
            "32": {
              "tps": 37.6922,
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                25152,
                26,
                279,
                25552,
                369,
                198
              ],
              "busy": 0.02684144818976275
            },
            "8": {
              "tps": 53.1646,
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                25152,
                26,
                279,
                25552,
                369,
                198
              ],
              "busy": 0.03239875389408098
            },
            "16": {
              "tps": 50.1909,
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                25152,
                26,
                279,
                25552,
                369,
                198
              ],
              "busy": 0.024968789013732784
            },
            "24": {
              "tps": 40.9951,
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                25152,
                26,
                279,
                25552,
                369,
                198
              ],
              "busy": 0.03056768558951961
            }
          },
          "q32": {
            "0": {
              "tps": 72.02818919907874,
              "stats": [
                0,
                0,
                0,
                0
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552,
                369
              ],
              "busy": 0.0366915422885572
            },
            "2": {
              "tps": 91.23263817915085,
              "stats": [
                20,
                19,
                24,
                0
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552,
                369
              ],
              "busy": 0.03368683718028698
            },
            "4": {
              "tps": 114.19869808879977,
              "stats": [
                10,
                29,
                24,
                1
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552,
                369
              ],
              "busy": 0.01810237203495635
            }
          },
          "f32": {
            "0": {
              "tps": 77.69775906195254,
              "stats": [
                0,
                0,
                0,
                0
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552
              ],
              "busy": 0.03611457036114574
            },
            "2": {
              "tps": 101.33362302096218,
              "stats": [
                18,
                17,
                28,
                0
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552
              ],
              "busy": 0.04488778054862841
            },
            "4": {
              "tps": 84.56648313269949,
              "stats": [
                10,
                25,
                28,
                3
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552
              ],
              "busy": 0.022401991288114487
            }
          }
        },
        "readme": {
          "cpp": {
            "32": {
              "tps": 37.3049,
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.03810118675827612
            },
            "8": {
              "tps": 49.6627,
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.023646546359676446
            },
            "16": {
              "tps": 48.9947,
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.033104309806371024
            },
            "24": {
              "tps": 28.4981,
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.01933873986275736
            }
          },
          "q32": {
            "0": {
              "tps": 67.83532890352771,
              "stats": [
                0,
                0,
                0,
                0
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.041147132169576106
            },
            "2": {
              "tps": 73.28139742665022,
              "stats": [
                13,
                13,
                37,
                0
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.041198501872659166
            },
            "4": {
              "tps": 89.32664693038357,
              "stats": [
                7,
                19,
                37,
                1
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.041198501872659166
            }
          },
          "f32": {
            "0": {
              "tps": 91.22043718660024,
              "stats": [
                0,
                0,
                0,
                0
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.03738317757009346
            },
            "2": {
              "tps": 94.76771315097257,
              "stats": [
                13,
                13,
                37,
                0
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.031152647975077885
            },
            "4": {
              "tps": 88.31725067086519,
              "stats": [
                7,
                19,
                37,
                1
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.03606965174129351
            }
          }
        }
      }
    },
    {
      "round": 4,
      "cases": {
        "readme": {
          "cpp": {
            "8": {
              "tps": 55.064,
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.028089887640449396
            },
            "16": {
              "tps": 49.1363,
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.021861336664584674
            },
            "24": {
              "tps": 30.4302,
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.03995006242197252
            },
            "32": {
              "tps": 18.9628,
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.03805364940736122
            }
          },
          "q32": {
            "0": {
              "tps": 77.0334201019436,
              "stats": [
                0,
                0,
                0,
                0
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.03618215845290085
            },
            "2": {
              "tps": 77.86414459082935,
              "stats": [
                13,
                13,
                37,
                0
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.019350811485642994
            },
            "4": {
              "tps": 98.33397046202052,
              "stats": [
                7,
                19,
                37,
                1
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.04361370716510904
            }
          },
          "f32": {
            "0": {
              "tps": 90.96098224623837,
              "stats": [
                0,
                0,
                0,
                0
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.027448533998752356
            },
            "2": {
              "tps": 84.79847932798351,
              "stats": [
                13,
                13,
                37,
                0
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.043559427504667125
            },
            "4": {
              "tps": 84.70287871768296,
              "stats": [
                7,
                19,
                37,
                1
              ],
              "ids": [
                12182,
                9251,
                2349,
                1074,
                5039,
                877,
                14,
                1825,
                42427,
                14,
                1825,
                42427,
                33673,
                14905,
                14,
                52838,
                20668,
                553,
                271,
                760,
                1510,
                49,
                8065,
                9477,
                7,
                87,
                61,
                17,
                471,
                19638,
                44646,
                17189,
                369,
                264,
                1330,
                84212,
                45309,
                888,
                264,
                1028,
                330,
                1340,
                9761,
                11,
                321,
                799,
                40701,
                1284,
                42583,
                198,
                1938,
                6483,
                29234,
                12669,
                369,
                279,
                2965,
                470,
                9766,
                25880,
                473,
                1510,
                2473,
                27653
              ],
              "busy": 0.04556803995006242
            }
          }
        },
        "code": {
          "cpp": {
            "8": {
              "tps": 49.3008,
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                25152,
                26,
                279,
                25552,
                369,
                198
              ],
              "busy": 0.034267912772585674
            },
            "16": {
              "tps": 48.9905,
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                25152,
                26,
                279,
                25552,
                369,
                198
              ],
              "busy": 0.02930174563591026
            },
            "24": {
              "tps": 29.6858,
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                25152,
                26,
                279,
                25552,
                369,
                198
              ],
              "busy": 0.028037383177570097
            },
            "32": {
              "tps": 20.3721,
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                25152,
                26,
                279,
                25552,
                369,
                198
              ],
              "busy": 0.040473225404732305
            }
          },
          "q32": {
            "0": {
              "tps": 73.31790586492482,
              "stats": [
                0,
                0,
                0,
                0
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552,
                369
              ],
              "busy": 0.03925233644859816
            },
            "2": {
              "tps": 91.44219162897102,
              "stats": [
                20,
                19,
                24,
                0
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552,
                369
              ],
              "busy": 0.0385812072184194
            },
            "4": {
              "tps": 102.18820982637317,
              "stats": [
                10,
                29,
                24,
                1
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552,
                369
              ],
              "busy": 0.03615960099750626
            }
          },
          "f32": {
            "0": {
              "tps": 87.12476838537218,
              "stats": [
                0,
                0,
                0,
                0
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552
              ],
              "busy": 0.0417185554171855
            },
            "2": {
              "tps": 98.92122929361398,
              "stats": [
                18,
                17,
                28,
                0
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552
              ],
              "busy": 0.03495630461922594
            },
            "4": {
              "tps": 78.92305141792203,
              "stats": [
                10,
                25,
                28,
                3
              ],
              "ids": [
                791,
                58755,
                2723,
                314,
                279,
                5016,
                364,
                1510,
                65971,
                51311,
                4805,
                6609,
                40474,
                27653,
                198,
                2490,
                198,
                2490,
                1061,
                369,
                264,
                791,
                58755,
                2723,
                314,
                279,
                5016,
                11,
                1510,
                3928,
                63,
                15218,
                1472,
                310,
                279,
                1817,
                869,
                13,
                198,
                2490,
                561,
                1817,
                4563,
                6107,
                303,
                1510,
                3431,
                79213,
                14,
                9239,
                14,
                20724,
                24822,
                63,
                1332,
                279,
                5016,
                369,
                198,
                2490,
                25152,
                26,
                279,
                25552
              ],
              "busy": 0.02933832709113604
            }
          }
        }
      }
    }
  ],
  "summary": {
    "readme": {
      "cpp_medians": {
        "8": 51.3103,
        "16": 49.1363,
        "24": 28.8944,
        "32": 24.0018
      },
      "cpp_best_setting": "8",
      "q32": {
        "0": {
          "median_tps": 75.58303130713942,
          "paired_vs_cpp_best_setting": 1.4230798715886948,
          "paired_vs_cpp_fastest_each_round": 1.4230798715886948,
          "paired_vs_engine_greedy": 1.0
        },
        "2": {
          "median_tps": 77.86414459082935,
          "paired_vs_cpp_best_setting": 1.5249362050995343,
          "paired_vs_cpp_fastest_each_round": 1.5249362050995343,
          "paired_vs_engine_greedy": 1.0527221933307824
        },
        "4": {
          "median_tps": 92.14301080856531,
          "paired_vs_cpp_best_setting": 1.7957994946154148,
          "paired_vs_cpp_fastest_each_round": 1.7957994946154148,
          "paired_vs_engine_greedy": 1.2619105437916314
        }
      },
      "f32": {
        "0": {
          "median_tps": 90.96098224623837,
          "paired_vs_cpp_best_setting": 1.6884933710319388,
          "paired_vs_cpp_fastest_each_round": 1.6884933710319388,
          "paired_vs_engine_greedy": 1.0
        },
        "2": {
          "median_tps": 94.76771315097257,
          "paired_vs_cpp_best_setting": 1.9082271634641808,
          "paired_vs_cpp_fastest_each_round": 1.9082271634641808,
          "paired_vs_engine_greedy": 1.067935322523949
        },
        "4": {
          "median_tps": 83.20117267272117,
          "paired_vs_cpp_best_setting": 1.6215296475117311,
          "paired_vs_cpp_fastest_each_round": 1.6215296475117311,
          "paired_vs_engine_greedy": 0.9312001324742268
        }
      },
      "cpp_thread_ids_equal": true
    },
    "code": {
      "cpp_medians": {
        "8": 51.0165,
        "16": 49.7203,
        "24": 31.2659,
        "32": 26.9563
      },
      "cpp_best_setting": "8",
      "q32": {
        "0": {
          "median_tps": 74.26367189160204,
          "paired_vs_cpp_best_setting": 1.4556794741231178,
          "paired_vs_cpp_fastest_each_round": 1.4556794741231178,
          "paired_vs_engine_greedy": 1.0
        },
        "2": {
          "median_tps": 91.44219162897102,
          "paired_vs_cpp_best_setting": 1.7776840654077013,
          "paired_vs_cpp_fastest_each_round": 1.7776840654077013,
          "paired_vs_engine_greedy": 1.247201356206722
        },
        "4": {
          "median_tps": 110.75794524054052,
          "paired_vs_cpp_best_setting": 2.144082848578495,
          "paired_vs_cpp_fastest_each_round": 2.144082848578495,
          "paired_vs_engine_greedy": 1.4851898782877775
        }
      },
      "f32": {
        "0": {
          "median_tps": 79.82447323092055,
          "paired_vs_cpp_best_setting": 1.47951597277859,
          "paired_vs_cpp_fastest_each_round": 1.47951597277859,
          "paired_vs_engine_greedy": 1.0
        },
        "2": {
          "median_tps": 98.92122929361398,
          "paired_vs_cpp_best_setting": 1.846174079844709,
          "paired_vs_cpp_fastest_each_round": 1.846174079844709,
          "paired_vs_engine_greedy": 1.1353973287603294
        },
        "4": {
          "median_tps": 84.56648313269949,
          "paired_vs_cpp_best_setting": 1.6008472766754702,
          "paired_vs_cpp_fastest_each_round": 1.6008472766754702,
          "paired_vs_engine_greedy": 1.088403116816666
        }
      },
      "cpp_thread_ids_equal": true
    }
  },
  "source_record_sha256": "4c59201ef0552e9452bf50cb515b8694c59100ab102494a3ed9050172e4b5e46"
}
