{
  "checked_results": 9306112,
  "implementations": {
    "IntegerEncoding": "4.1.0",
    "Leb128": "0.2.5",
    "Previous": "original verified source snapshot",
    "Verified": "repository path dependency"
  },
  "malformed_observations": [
    {
      "bytes": [
        128,
        0
      ],
      "case": "redundant-zero",
      "integer_encoding": "Some((0, 2))",
      "leb128": "Ok(0)",
      "leb128_consumed": 2,
      "verified_bounded": "Ok(Decoded { value: 0, consumed: 2, canonical: false })",
      "verified_canonical": "Err(DecodeError { kind: NonCanonical, consumed: 2 })"
    },
    {
      "bytes": [
        128
      ],
      "case": "truncated",
      "integer_encoding": "None",
      "leb128": "Err(IoError(Error { kind: UnexpectedEof, message: \"failed to fill whole buffer\" }))",
      "leb128_consumed": 1,
      "verified_bounded": "Err(DecodeError { kind: Truncated, consumed: 1 })",
      "verified_canonical": "Err(DecodeError { kind: Truncated, consumed: 1 })"
    },
    {
      "bytes": [
        255,
        255,
        255,
        255,
        255,
        255,
        255,
        255,
        255,
        2
      ],
      "case": "overflow",
      "integer_encoding": "None",
      "leb128": "Err(Overflow)",
      "leb128_consumed": 10,
      "verified_bounded": "Err(DecodeError { kind: Overflow, consumed: 10 })",
      "verified_canonical": "Err(DecodeError { kind: Overflow, consumed: 10 })"
    },
    {
      "bytes": [
        128,
        128,
        128,
        128,
        128,
        128,
        128,
        128,
        128,
        128,
        128
      ],
      "case": "too-long",
      "integer_encoding": "None",
      "leb128": "Err(IoError(Error { kind: UnexpectedEof, message: \"failed to fill whole buffer\" }))",
      "leb128_consumed": 11,
      "verified_bounded": "Err(DecodeError { kind: TooLong, consumed: 10 })",
      "verified_canonical": "Err(DecodeError { kind: TooLong, consumed: 10 })"
    },
    {
      "bytes": [
        0,
        1
      ],
      "case": "trailing",
      "integer_encoding": "Some((0, 1))",
      "leb128": "Ok(0)",
      "leb128_consumed": 1,
      "verified_bounded": "Ok(Decoded { value: 0, consumed: 1, canonical: true })",
      "verified_canonical": "Ok(Decoded { value: 0, consumed: 1, canonical: true })"
    }
  ],
  "order": "rotated each repeat",
  "repeats": 15,
  "results": [
    {
      "approx_95_percent_interval_ns": [
        1.0753775106226298,
        1.1163463765030215
      ],
      "dataset": "length-1",
      "encoded_bytes": 16384,
      "implementation": "Verified",
      "mean_ns_per_value": 1.0958619435628256,
      "mean_thread_cpu_ns_per_value": 1.0864575703938801,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        1.103957176208496,
        1.1097583770751953,
        1.079758644104004,
        1.1149253845214844,
        1.0788040161132812,
        1.0755062103271484,
        1.0705795288085938,
        1.0770959854125977,
        1.0797185897827148,
        1.073598861694336,
        1.0718908309936523,
        1.2182788848876953,
        1.081705093383789,
        1.1008577346801758,
        1.1014938354492188
      ],
      "sd_ns": 0.03698641847733381,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.0763751954345449,
        1.0965399453532154
      ],
      "thread_cpu_ns_per_value_samples": [
        1.088221549987793,
        1.1099576950073242,
        1.0780487060546875,
        1.1150836944580078,
        1.078963279724121,
        1.0756254196166992,
        1.0706987380981445,
        1.077214241027832,
        1.0767383575439453,
        1.0737180709838867,
        1.0720491409301758,
        1.1326866149902344,
        1.0786857604980469,
        1.0875864028930664,
        1.0815858840942383
      ],
      "thread_cpu_sd_ns": 0.018204601542062743,
      "values": 16384,
      "values_per_second": 912523704.1710174
    },
    {
      "approx_95_percent_interval_ns": [
        1.0457343693353842,
        1.087380890470931
      ],
      "dataset": "length-1",
      "encoded_bytes": 16384,
      "implementation": "Previous",
      "mean_ns_per_value": 1.0665576299031576,
      "mean_thread_cpu_ns_per_value": 1.0592777252197265,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        1.066605567932129,
        1.0205507278442383,
        1.0264720916748047,
        1.075148582458496,
        1.0667638778686523,
        1.0621156692504883,
        1.0870294570922852,
        1.0666446685791016,
        1.1085271835327148,
        1.023848533630371,
        1.1328067779541016,
        1.0391864776611328,
        1.0279417037963867,
        1.1388463973999023,
        1.0558767318725586
      ],
      "sd_ns": 0.03759820111548904,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.041692396598481,
        1.076863053840972
      ],
      "thread_cpu_ns_per_value_samples": [
        1.0475711822509766,
        1.0207090377807617,
        1.0266695022583008,
        1.075307846069336,
        1.0561542510986328,
        1.0622339248657227,
        1.077890396118164,
        1.0667648315429688,
        1.0838508605957031,
        1.024007797241211,
        1.1104345321655273,
        1.0366830825805664,
        1.0281009674072266,
        1.1272029876708984,
        1.0455846786499023
      ],
      "thread_cpu_sd_ns": 0.0317518344464653,
      "values": 16384,
      "values_per_second": 937595842.8901765
    },
    {
      "approx_95_percent_interval_ns": [
        1.6939771942835677,
        1.905772052949505
      ],
      "dataset": "length-1",
      "encoded_bytes": 16384,
      "implementation": "Leb128",
      "mean_ns_per_value": 1.7998746236165364,
      "mean_thread_cpu_ns_per_value": 1.7896650950113933,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        1.7146663665771484,
        2.452214241027832,
        1.7774105072021484,
        1.8066959381103516,
        1.9173221588134766,
        1.791834831237793,
        1.749197006225586,
        1.6280412673950195,
        1.737196922302246,
        1.755197525024414,
        1.7153024673461914,
        1.7430782318115234,
        1.7791986465454102,
        1.6878042221069336,
        1.7429590225219727
      ],
      "sd_ns": 0.19120698378217468,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.6872962152349908,
        1.8920339747877957
      ],
      "thread_cpu_ns_per_value_samples": [
        1.706162452697754,
        2.4357242584228516,
        1.7750263214111328,
        1.8068151473999023,
        1.8097562789916992,
        1.7823772430419922,
        1.7473697662353516,
        1.628199577331543,
        1.7345352172851562,
        1.752655029296875,
        1.7126398086547852,
        1.743276596069336,
        1.7793569564819336,
        1.6879634857177734,
        1.7431182861328125
      ],
      "thread_cpu_sd_ns": 0.18483588183865524,
      "values": 16384,
      "values_per_second": 555594254.6657351
    },
    {
      "approx_95_percent_interval_ns": [
        1.0850135994617607,
        1.1168402162527578
      ],
      "dataset": "length-1",
      "encoded_bytes": 16384,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 1.1009269078572592,
      "mean_thread_cpu_ns_per_value": 1.091830062866211,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        1.0744733810424805,
        1.1348724365234375,
        1.0869903564453125,
        1.1026859283447266,
        1.0856781005859375,
        1.1527137756347656,
        1.0843677520751953,
        1.0798368453979492,
        1.09442138671875,
        1.0797185897827148,
        1.0793209075927734,
        1.158595085144043,
        1.1320505142211914,
        1.089334487915039,
        1.0788440704345703
      ],
      "sd_ns": 0.028732857062390916,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.0807349380074056,
        1.1029251877250164
      ],
      "thread_cpu_ns_per_value_samples": [
        1.0564727783203125,
        1.1270837783813477,
        1.0849237442016602,
        1.1006202697753906,
        1.0832548141479492,
        1.102884292602539,
        1.0822219848632812,
        1.0799570083618164,
        1.0847654342651367,
        1.0799169540405273,
        1.0794792175292969,
        1.1199712753295898,
        1.1274023056030273,
        1.089493751525879,
        1.0790033340454102
      ],
      "thread_cpu_sd_ns": 0.020033209231815948,
      "values": 16384,
      "values_per_second": 908325514.4942421
    },
    {
      "approx_95_percent_interval_ns": [
        1.0016895935951136,
        1.085559145011657
      ],
      "dataset": "length-1",
      "encoded_bytes": 16384,
      "implementation": "Verified",
      "mean_ns_per_value": 1.0436243693033853,
      "mean_thread_cpu_ns_per_value": 1.0405167897542318,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        1.173457145690918,
        0.9578466415405273,
        1.0088682174682617,
        1.1872453689575195,
        0.9970273971557617,
        1.0047359466552734,
        0.9935302734375,
        0.9433422088623047,
        1.0947380065917969,
        1.1413888931274414,
        1.0645780563354492,
        1.0716915130615234,
        0.9949607849121094,
        1.0111331939697266,
        1.009821891784668
      ],
      "sd_ns": 0.07571687083686689,
      "thread_cpu_approx_95_percent_interval_ns": [
        0.9990246175140287,
        1.0820089619944349
      ],
      "thread_cpu_ns_per_value_samples": [
        1.1736154556274414,
        0.9579257965087891,
        1.0031061172485352,
        1.1849002838134766,
        0.9971857070922852,
        1.0048542022705078,
        0.9936494827270508,
        0.9434614181518555,
        1.0836915969848633,
        1.1415481567382812,
        1.0376367568969727,
        1.0718107223510742,
        0.9951200485229492,
        1.0093050003051758,
        1.0099411010742188
      ],
      "thread_cpu_sd_ns": 0.0749177119274014,
      "values": 16384,
      "values_per_second": 958199165.7280824
    },
    {
      "approx_95_percent_interval_ns": [
        4.837091419125933,
        4.929074123476607
      ],
      "dataset": "length-1",
      "encoded_bytes": 16384,
      "implementation": "Previous",
      "mean_ns_per_value": 4.88308277130127,
      "mean_thread_cpu_ns_per_value": 4.84737294514974,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        4.854837417602539,
        4.834255218505859,
        4.926283836364746,
        4.852890968322754,
        4.857023239135742,
        4.840930938720703,
        4.80635929107666,
        5.050262451171875,
        4.834850311279297,
        4.77488899230957,
        5.047122001647949,
        4.866759300231934,
        4.831036567687988,
        4.984935760498047,
        4.883805274963379
      ],
      "sd_ns": 0.08304137111638205,
      "thread_cpu_approx_95_percent_interval_ns": [
        4.818456433523146,
        4.876289456776334
      ],
      "thread_cpu_ns_per_value_samples": [
        4.835406303405762,
        4.831234931945801,
        4.884004592895508,
        4.832148551940918,
        4.8461761474609375,
        4.838545799255371,
        4.797816276550293,
        4.990896224975586,
        4.83079719543457,
        4.77178955078125,
        4.9184160232543945,
        4.849076271057129,
        4.829089164733887,
        4.848797798156738,
        4.806399345397949
      ],
      "thread_cpu_sd_ns": 0.052211267114318526,
      "values": 16384,
      "values_per_second": 204788664.62743056
    },
    {
      "approx_95_percent_interval_ns": [
        5.54046161616101,
        5.64113132512317
      ],
      "dataset": "length-1",
      "encoded_bytes": 16384,
      "implementation": "Leb128",
      "mean_ns_per_value": 5.59079647064209,
      "mean_thread_cpu_ns_per_value": 5.569813092549642,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        5.582928657531738,
        5.513985633850098,
        5.636492729187012,
        5.628149032592773,
        5.555987358093262,
        5.664666175842285,
        5.710721015930176,
        5.6584672927856445,
        5.552172660827637,
        5.685766220092773,
        5.619367599487305,
        5.63204288482666,
        5.400538444519043,
        5.60621452331543,
        5.414446830749512
      ],
      "sd_ns": 0.09088394085734151,
      "thread_cpu_approx_95_percent_interval_ns": [
        5.522295835498912,
        5.617330349600372
      ],
      "thread_cpu_ns_per_value_samples": [
        5.576809883117676,
        5.5037736892700195,
        5.599339485168457,
        5.610982894897461,
        5.550424575805664,
        5.648334503173828,
        5.6296186447143555,
        5.631725311279297,
        5.547484397888184,
        5.660533905029297,
        5.614559173583984,
        5.6029558181762695,
        5.396644592285156,
        5.602319717407227,
        5.371689796447754
      ],
      "thread_cpu_sd_ns": 0.08579652457572653,
      "values": 16384,
      "values_per_second": 178865391.58617455
    },
    {
      "approx_95_percent_interval_ns": [
        1.0198142746040617,
        1.2258079788139071
      ],
      "dataset": "length-1",
      "encoded_bytes": 16384,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 1.1228111267089844,
      "mean_thread_cpu_ns_per_value": 1.1162492752075195,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        1.083970069885254,
        1.3711061477661133,
        1.0059270858764648,
        1.3418197631835938,
        1.042525291442871,
        1.4079809188842773,
        1.0067224502563477,
        0.9597539901733398,
        0.9512100219726562,
        1.0055694580078125,
        1.1888742446899414,
        1.0059280395507812,
        1.4899578094482422,
        1.0061264038085938,
        0.9746952056884766
      ],
      "sd_ns": 0.185969740286319,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.016204923768023,
        1.216293626647016
      ],
      "thread_cpu_ns_per_value_samples": [
        1.0842084884643555,
        1.3634767532348633,
        1.006087303161621,
        1.2935800552368164,
        1.026113510131836,
        1.390019416809082,
        1.0068416595458984,
        0.9549856185913086,
        0.951329231262207,
        1.0057287216186523,
        1.1889934539794922,
        1.0042591094970703,
        1.4901561737060547,
        1.0062456130981445,
        0.9717140197753906
      ],
      "thread_cpu_sd_ns": 0.18063874452554401,
      "values": 16384,
      "values_per_second": 890621740.5691819
    },
    {
      "approx_95_percent_interval_ns": [
        1.3336725429796426,
        1.4150975986219199
      ],
      "dataset": "length-2",
      "encoded_bytes": 32768,
      "implementation": "Verified",
      "mean_ns_per_value": 1.3743850708007812,
      "mean_thread_cpu_ns_per_value": 1.3708141326904297,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        1.2554330825805664,
        1.3765888214111328,
        1.4231204986572266,
        1.3770265579223633,
        1.3892250061035156,
        1.4018621444702148,
        1.3860063552856445,
        1.3091163635253906,
        1.3850135803222656,
        1.355330467224121,
        1.3446407318115234,
        1.4151735305786133,
        1.3109045028686523,
        1.306732177734375,
        1.5796022415161133
      ],
      "sd_ns": 0.0735099963791496,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.3343237229515958,
        1.4073045424292636
      ],
      "thread_cpu_ns_per_value_samples": [
        1.2555923461914062,
        1.3767881393432617,
        1.4210538864135742,
        1.3771848678588867,
        1.379847526550293,
        1.4020204544067383,
        1.386204719543457,
        1.3092355728149414,
        1.3851327896118164,
        1.3555288314819336,
        1.342336654663086,
        1.411478042602539,
        1.3111038208007812,
        1.3068513870239258,
        1.5418529510498047
      ],
      "thread_cpu_sd_ns": 0.06588659637053078,
      "values": 16384,
      "values_per_second": 727598124.6051757
    },
    {
      "approx_95_percent_interval_ns": [
        1.1625547558656224,
        1.318164365431578
      ],
      "dataset": "length-2",
      "encoded_bytes": 32768,
      "implementation": "Previous",
      "mean_ns_per_value": 1.2403595606486002,
      "mean_thread_cpu_ns_per_value": 1.2348650614420573,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        1.1636810302734375,
        1.1801719665527344,
        1.1556148529052734,
        1.2113256454467773,
        1.2492341995239258,
        1.163681983947754,
        1.1766347885131836,
        1.7247200012207031,
        1.2732744216918945,
        1.2215375900268555,
        1.1833114624023438,
        1.2554330825805664,
        1.1533498764038086,
        1.218637466430664,
        1.274785041809082
      ],
      "sd_ns": 0.14048331616754892,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.1595632662268518,
        1.3101668566572628
      ],
      "thread_cpu_ns_per_value_samples": [
        1.1608600616455078,
        1.1784229278564453,
        1.1557340621948242,
        1.207590103149414,
        1.2493534088134766,
        1.1638402938842773,
        1.1767549514770508,
        1.7063617706298828,
        1.273432731628418,
        1.2194709777832031,
        1.1834697723388672,
        1.2555522918701172,
        1.153508186340332,
        1.2070331573486328,
        1.2315912246704102
      ],
      "thread_cpu_sd_ns": 0.13596391552821088,
      "values": 16384,
      "values_per_second": 806217835.316307
    },
    {
      "approx_95_percent_interval_ns": [
        3.3176210967017727,
        3.4189169638044126
      ],
      "dataset": "length-2",
      "encoded_bytes": 32768,
      "implementation": "Leb128",
      "mean_ns_per_value": 3.3682690302530927,
      "mean_thread_cpu_ns_per_value": 3.354673957824707,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        3.5264883041381836,
        3.242611885070801,
        3.2456722259521484,
        3.3615827560424805,
        3.5514440536499023,
        3.347039222717285,
        3.404378890991211,
        3.4056501388549805,
        3.4104185104370117,
        3.3771591186523438,
        3.281195640563965,
        3.380298614501953,
        3.3665103912353516,
        3.377039909362793,
        3.2465457916259766
      ],
      "sd_ns": 0.09144923224432697,
      "thread_cpu_approx_95_percent_interval_ns": [
        3.30577935884692,
        3.4035685568024943
      ],
      "thread_cpu_ns_per_value_samples": [
        3.518660545349121,
        3.239870071411133,
        3.243724822998047,
        3.3594369888305664,
        3.5305023193359375,
        3.3396081924438477,
        3.389080047607422,
        3.382643699645996,
        3.3870534896850586,
        3.3696489334106445,
        3.2639904022216797,
        3.3688154220581055,
        3.313779830932617,
        3.368377685546875,
        3.2449169158935547
      ],
      "thread_cpu_sd_ns": 0.08828343476012133,
      "values": 16384,
      "values_per_second": 296888399.0614193
    },
    {
      "approx_95_percent_interval_ns": [
        1.3550100115839627,
        1.4176602256393447
      ],
      "dataset": "length-2",
      "encoded_bytes": 32768,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 1.3863351186116537,
      "mean_thread_cpu_ns_per_value": 1.3801839828491211,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        1.5696287155151367,
        1.4130668640136719,
        1.3290643692016602,
        1.398921012878418,
        1.3477802276611328,
        1.3736486434936523,
        1.3550519943237305,
        1.363119125366211,
        1.349726676940918,
        1.3938751220703125,
        1.4192657470703125,
        1.3873577117919922,
        1.36566162109375,
        1.3655815124511719,
        1.3632774353027344
      ],
      "sd_ns": 0.05656019479552996,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.3510525417833126,
        1.4093154239149297
      ],
      "thread_cpu_ns_per_value_samples": [
        1.5515880584716797,
        1.4132652282714844,
        1.3292236328125,
        1.3866825103759766,
        1.3459129333496094,
        1.3633966445922852,
        1.3551712036132812,
        1.3614492416381836,
        1.3498859405517578,
        1.3776226043701172,
        1.410841941833496,
        1.3790531158447266,
        1.354217529296875,
        1.3610525131225586,
        1.3633966445922852
      ],
      "thread_cpu_sd_ns": 0.05259934083864771,
      "values": 16384,
      "values_per_second": 721326313.2232059
    },
    {
      "approx_95_percent_interval_ns": [
        1.9577948703022106,
        3.2160314745057326
      ],
      "dataset": "length-2",
      "encoded_bytes": 32768,
      "implementation": "Verified",
      "mean_ns_per_value": 2.5869131724039716,
      "mean_thread_cpu_ns_per_value": 2.5126935323079427,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        5.086620330810547,
        1.913468360900879,
        1.5360116958618164,
        3.139972686767578,
        3.9727296829223633,
        3.6252737045288086,
        3.4000072479248047,
        2.1723508834838867,
        1.7267866134643555,
        1.6181068420410156,
        1.5213489532470703,
        2.3354692459106445,
        3.623048782348633,
        1.7742319107055664,
        1.3582706451416016
      ],
      "sd_ns": 1.135927602253803,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.8799207966110782,
        3.145466268004807
      ],
      "thread_cpu_ns_per_value_samples": [
        5.0868988037109375,
        1.8367376327514648,
        1.524169921875,
        3.0194129943847656,
        3.943800926208496,
        3.4312801361083984,
        3.3319387435913086,
        2.050161361694336,
        1.5519466400146484,
        1.6141338348388672,
        1.521468162536621,
        2.1938486099243164,
        3.61649227142334,
        1.6096830368041992,
        1.3584299087524414
      ],
      "thread_cpu_sd_ns": 1.1425259987356937,
      "values": 16384,
      "values_per_second": 386561099.4089601
    },
    {
      "approx_95_percent_interval_ns": [
        5.2221199374631775,
        5.691882544633176
      ],
      "dataset": "length-2",
      "encoded_bytes": 32768,
      "implementation": "Previous",
      "mean_ns_per_value": 5.457001241048177,
      "mean_thread_cpu_ns_per_value": 5.349485143025716,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        5.725383758544922,
        6.02114200592041,
        5.259235382080078,
        4.996499061584473,
        4.981477737426758,
        6.345708847045898,
        5.295276641845703,
        5.363583564758301,
        5.1163434982299805,
        5.178849220275879,
        4.991372108459473,
        5.234877586364746,
        5.925297737121582,
        5.612771034240723,
        5.8072004318237305
      ],
      "sd_ns": 0.42409854411197767,
      "thread_cpu_approx_95_percent_interval_ns": [
        5.162664420286097,
        5.5363058657653355
      ],
      "thread_cpu_ns_per_value_samples": [
        5.516290664672852,
        5.664189338684082,
        5.259354591369629,
        4.996736526489258,
        4.977107048034668,
        6.125330924987793,
        5.204598426818848,
        5.187034606933594,
        5.116541862487793,
        5.179047584533691,
        4.99149227142334,
        5.1392316818237305,
        5.737662315368652,
        5.434950828552246,
        5.712708473205566
      ],
      "thread_cpu_sd_ns": 0.3373210013505728,
      "values": 16384,
      "values_per_second": 183250828.7661523
    },
    {
      "approx_95_percent_interval_ns": [
        6.171701981763398,
        6.616244083503529
      ],
      "dataset": "length-2",
      "encoded_bytes": 32768,
      "implementation": "Leb128",
      "mean_ns_per_value": 6.393973032633464,
      "mean_thread_cpu_ns_per_value": 6.230110613505046,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.179213523864746,
        6.865024566650391,
        6.479343414306641,
        6.65907096862793,
        5.885442733764648,
        5.958517074584961,
        7.2741899490356445,
        6.667097091674805,
        6.008386611938477,
        6.111660957336426,
        6.234645843505859,
        6.604274749755859,
        6.669958114624023,
        5.90670108795166,
        6.406068801879883
      ],
      "sd_ns": 0.40132964026283635,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.0605423622164105,
        6.399678864793681
      ],
      "thread_cpu_ns_per_value_samples": [
        6.012757301330566,
        6.596247673034668,
        6.338874816894531,
        6.363829612731934,
        5.885680198669434,
        5.949616432189941,
        7.031559944152832,
        6.361484527587891,
        6.008584976196289,
        6.087462425231934,
        6.056666374206543,
        6.203651428222656,
        6.402134895324707,
        5.8928327560424805,
        6.260275840759277
      ],
      "thread_cpu_sd_ns": 0.3061701693642889,
      "values": 16384,
      "values_per_second": 156397281.45492873
    },
    {
      "approx_95_percent_interval_ns": [
        5.760690036138897,
        6.192038235345478
      ],
      "dataset": "length-2",
      "encoded_bytes": 32768,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 5.9763641357421875,
      "mean_thread_cpu_ns_per_value": 5.822971153259277,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.4661102294921875,
        6.1706695556640625,
        5.716283798217773,
        5.438287734985352,
        5.898554801940918,
        5.965709686279297,
        6.633798599243164,
        6.418664932250977,
        5.490978240966797,
        6.09775447845459,
        5.881786346435547,
        5.949178695678711,
        5.6300554275512695,
        6.429712295532227,
        5.457917213439941
      ],
      "sd_ns": 0.38941827318033817,
      "thread_cpu_approx_95_percent_interval_ns": [
        5.639772954071188,
        6.006169352447366
      ],
      "thread_cpu_ns_per_value_samples": [
        6.297707557678223,
        6.038585662841797,
        5.712469100952148,
        5.438406944274902,
        5.752642631530762,
        5.672693252563477,
        6.566962242126465,
        5.980809211730957,
        5.472263336181641,
        5.792777061462402,
        5.66383171081543,
        5.7447357177734375,
        5.573670387268066,
        6.190220832824707,
        5.446791648864746
      ],
      "thread_cpu_sd_ns": 0.33078022121709016,
      "values": 16384,
      "values_per_second": 167325815.04185954
    },
    {
      "approx_95_percent_interval_ns": [
        1.7494000156317309,
        1.9383736253187898
      ],
      "dataset": "length-3",
      "encoded_bytes": 49152,
      "implementation": "Verified",
      "mean_ns_per_value": 1.8438868204752603,
      "mean_thread_cpu_ns_per_value": 1.7784383773803711,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        1.753687858581543,
        1.6589956283569336,
        1.7757415771484375,
        1.7552375793457031,
        1.7556352615356445,
        1.8252525329589844,
        2.0703468322753906,
        1.9687013626098633,
        1.9359188079833984,
        2.282381057739258,
        1.6585197448730469,
        1.883864402770996,
        1.7824172973632812,
        1.657684326171875,
        1.8939180374145508
      ],
      "sd_ns": 0.1706041126318599,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.730149020731589,
        1.8267277340291532
      ],
      "thread_cpu_ns_per_value_samples": [
        1.749197006225586,
        1.6592741012573242,
        1.7472906112670898,
        1.755356788635254,
        1.755793571472168,
        1.7659263610839844,
        1.8581552505493164,
        1.7864704132080078,
        1.8351478576660156,
        1.975377082824707,
        1.6586780548095703,
        1.884023666381836,
        1.782536506652832,
        1.6578435897827148,
        1.8055047988891602
      ],
      "thread_cpu_sd_ns": 0.0871906172959455,
      "values": 16384,
      "values_per_second": 542332636.0900236
    },
    {
      "approx_95_percent_interval_ns": [
        1.4267139907701158,
        1.652679014600978
      ],
      "dataset": "length-3",
      "encoded_bytes": 49152,
      "implementation": "Previous",
      "mean_ns_per_value": 1.539696502685547,
      "mean_thread_cpu_ns_per_value": 1.4483424504597981,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        1.2993812561035156,
        1.412470817565918,
        1.5648603439331055,
        1.5774173736572266,
        1.3197660446166992,
        2.044081687927246,
        1.5891790390014648,
        1.8280344009399414,
        1.3894634246826172,
        1.555323600769043,
        1.663644790649414,
        1.3814764022827148,
        1.3124151229858398,
        1.5915231704711914,
        1.5664100646972656
      ],
      "sd_ns": 0.20399971424762048,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.3868600194340108,
        1.5098248814855855
      ],
      "thread_cpu_ns_per_value_samples": [
        1.2995405197143555,
        1.4127492904663086,
        1.4610681533813477,
        1.5775766372680664,
        1.3199644088745117,
        1.6781883239746094,
        1.4557838439941406,
        1.5721321105957031,
        1.3716611862182617,
        1.4362735748291016,
        1.5818672180175781,
        1.3816356658935547,
        1.3125734329223633,
        1.4443397521972656,
        1.4197826385498047
      ],
      "thread_cpu_sd_ns": 0.11101185615255017,
      "values": 16384,
      "values_per_second": 649478646.1200597
    },
    {
      "approx_95_percent_interval_ns": [
        5.373590412342907,
        5.871548900401233
      ],
      "dataset": "length-3",
      "encoded_bytes": 49152,
      "implementation": "Leb128",
      "mean_ns_per_value": 5.62256965637207,
      "mean_thread_cpu_ns_per_value": 5.404554621378581,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.537437438964844,
        5.010763168334961,
        5.113720893859863,
        5.614360809326172,
        5.288243293762207,
        5.790392875671387,
        4.99570369720459,
        5.722482681274414,
        5.925297737121582,
        6.014307022094727,
        6.274660110473633,
        5.4198102951049805,
        5.419731140136719,
        5.428235054016113,
        5.783398628234863
      ],
      "sd_ns": 0.44955359705187037,
      "thread_cpu_approx_95_percent_interval_ns": [
        5.226692058164029,
        5.582417184593132
      ],
      "thread_cpu_ns_per_value_samples": [
        6.224989891052246,
        4.995425224304199,
        5.09456729888916,
        5.593697547912598,
        5.080103874206543,
        5.2973432540893555,
        4.968047142028809,
        5.396923065185547,
        5.557934761047363,
        5.652626991271973,
        5.65071964263916,
        5.419929504394531,
        5.4198503494262695,
        5.275289535522461,
        5.440871238708496
      ],
      "thread_cpu_sd_ns": 0.32114626817889147,
      "values": 16384,
      "values_per_second": 177854621.8394463
    },
    {
      "approx_95_percent_interval_ns": [
        1.7585188536061938,
        1.901873907624275
      ],
      "dataset": "length-3",
      "encoded_bytes": 49152,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 1.8301963806152344,
      "mean_thread_cpu_ns_per_value": 1.7453352610270183,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        1.831650733947754,
        1.7752246856689453,
        1.9679069519042969,
        2.0106239318847656,
        1.8602609634399414,
        1.9202632904052734,
        1.664200782775879,
        1.7948150634765625,
        1.8921699523925781,
        1.885453224182129,
        1.6345186233520508,
        1.7008781433105469,
        1.9157724380493164,
        1.6111536026000977,
        1.988053321838379
      ],
      "sd_ns": 0.12941998526962567,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.7009877580908388,
        1.7896827639631978
      ],
      "thread_cpu_ns_per_value_samples": [
        1.7534494400024414,
        1.7579002380371094,
        1.8426179885864258,
        1.8024044036865234,
        1.7356081008911133,
        1.763899803161621,
        1.653432846069336,
        1.7217798233032227,
        1.760880470275879,
        1.7308788299560547,
        1.612107276916504,
        1.7009973526000977,
        1.8683271408081055,
        1.6114311218261719,
        1.864314079284668
      ],
      "thread_cpu_sd_ns": 0.08007325888937425,
      "values": 16384,
      "values_per_second": 546389453.3896097
    },
    {
      "approx_95_percent_interval_ns": [
        3.022695120058142,
        4.061907617368616
      ],
      "dataset": "length-3",
      "encoded_bytes": 49152,
      "implementation": "Verified",
      "mean_ns_per_value": 3.542301368713379,
      "mean_thread_cpu_ns_per_value": 3.3843041102091473,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.876758575439453,
        3.5533905029296875,
        2.979755401611328,
        5.273659706115723,
        4.693388938903809,
        5.006511688232422,
        4.6537322998046875,
        2.918402671813965,
        3.798285484313965,
        3.110170364379883,
        3.169377326965332,
        2.0667314529418945,
        2.960245132446289,
        2.872189521789551,
        3.2019214630126953
      ],
      "sd_ns": 0.9381941014578296,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.855153939261629,
        3.9134542811566657
      ],
      "thread_cpu_ns_per_value_samples": [
        2.7455883026123047,
        3.2823486328125,
        2.769906997680664,
        5.273859024047852,
        4.464468002319336,
        4.9817962646484375,
        4.552085876464844,
        2.9185619354248047,
        3.3878087997436523,
        2.912203788757324,
        2.924044609069824,
        2.0668506622314453,
        2.8202924728393555,
        2.7419328689575195,
        2.9228134155273438
      ],
      "thread_cpu_sd_ns": 0.9554264800571314,
      "values": 16384,
      "values_per_second": 282302349.7752864
    },
    {
      "approx_95_percent_interval_ns": [
        5.701094103936583,
        6.23059013576882
      ],
      "dataset": "length-3",
      "encoded_bytes": 49152,
      "implementation": "Previous",
      "mean_ns_per_value": 5.965842119852701,
      "mean_thread_cpu_ns_per_value": 5.642763710021972,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        5.35567569732666,
        5.845189094543457,
        6.367485046386719,
        5.568465232849121,
        5.485136985778809,
        5.47464656829834,
        5.604068756103516,
        6.404717445373535,
        6.655017852783203,
        6.848136901855469,
        6.047645568847656,
        5.442102432250977,
        5.940875053405762,
        6.104588508605957,
        6.343880653381348
      ],
      "sd_ns": 0.4780254809252126,
      "thread_cpu_approx_95_percent_interval_ns": [
        5.540722828243286,
        5.7448045918006585
      ],
      "thread_cpu_ns_per_value_samples": [
        5.3380327224731445,
        5.525548934936523,
        5.747714996337891,
        5.5474042892456055,
        5.485296249389648,
        5.474884986877441,
        5.500435829162598,
        5.829215049743652,
        5.93256950378418,
        5.90403938293457,
        5.63331413269043,
        5.435268402099609,
        5.798856735229492,
        5.737543106079102,
        5.751331329345703
      ],
      "thread_cpu_sd_ns": 0.1842436530355104,
      "values": 16384,
      "values_per_second": 167620929.26868978
    },
    {
      "approx_95_percent_interval_ns": [
        6.4495178356263825,
        7.007796337754151
      ],
      "dataset": "length-3",
      "encoded_bytes": 49152,
      "implementation": "Leb128",
      "mean_ns_per_value": 6.728657086690267,
      "mean_thread_cpu_ns_per_value": 6.358255195617676,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.125251770019531,
        7.577380180358887,
        6.405472755432129,
        7.558742523193359,
        6.778041839599609,
        6.234487533569336,
        6.667852401733398,
        6.618936538696289,
        6.2060747146606445,
        6.846746444702148,
        6.621360778808594,
        7.063150405883789,
        7.554967880249023,
        6.419380187988281,
        6.252010345458984
      ],
      "sd_ns": 0.5040101028639794,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.2414564373797035,
        6.475053953855648
      ],
      "thread_cpu_ns_per_value_samples": [
        6.125490188598633,
        6.656249046325684,
        6.211002349853516,
        6.666620254516602,
        6.361523628234863,
        6.133754730224609,
        6.310582160949707,
        6.3023176193237305,
        6.132681846618652,
        6.365537643432617,
        6.287257194519043,
        6.704051971435547,
        6.666460990905762,
        6.201664924621582,
        6.24863338470459
      ],
      "thread_cpu_sd_ns": 0.2108902776286114,
      "values": 16384,
      "values_per_second": 148618065.55398205
    },
    {
      "approx_95_percent_interval_ns": [
        6.054735073567208,
        6.484815961995944
      ],
      "dataset": "length-3",
      "encoded_bytes": 49152,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 6.269775517781576,
      "mean_thread_cpu_ns_per_value": 6.080357424418131,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.111939430236816,
        6.448468208312988,
        6.843487739562988,
        6.296475410461426,
        5.967497825622559,
        6.150245666503906,
        6.020109176635742,
        5.924066543579102,
        5.929867744445801,
        6.061077117919922,
        5.894620895385742,
        5.914886474609375,
        6.901979446411133,
        6.974895477294922,
        6.607015609741211
      ],
      "sd_ns": 0.388274153474727,
      "thread_cpu_approx_95_percent_interval_ns": [
        5.978282320056308,
        6.182432528779954
      ],
      "thread_cpu_ns_per_value_samples": [
        5.978028297424316,
        6.209571838378906,
        6.366888999938965,
        6.119012832641602,
        5.935153007507324,
        6.030282020568848,
        5.936026573181152,
        5.922357559204102,
        5.92648983001709,
        5.973299980163574,
        5.892236709594727,
        5.915045738220215,
        6.388942718505859,
        6.32166862487793,
        6.290356636047363
      ],
      "thread_cpu_sd_ns": 0.18430544487446485,
      "values": 16384,
      "values_per_second": 159495343.5197036
    },
    {
      "approx_95_percent_interval_ns": [
        2.0695125709398345,
        2.331127280948186
      ],
      "dataset": "length-4",
      "encoded_bytes": 65536,
      "implementation": "Verified",
      "mean_ns_per_value": 2.2003199259440103,
      "mean_thread_cpu_ns_per_value": 2.0836645126342774,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.253373146057129,
        2.0922021865844727,
        2.0787315368652344,
        2.153118133544922,
        2.824068069458008,
        1.9066333770751953,
        2.124150276184082,
        2.2396650314331055,
        2.394437789916992,
        2.008040428161621,
        2.2558774948120117,
        2.3636417388916016,
        2.011935234069824,
        1.9027786254882812,
        2.396145820617676
      ],
      "sd_ns": 0.23618401281706927,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.9675431504835867,
        2.199785874784968
      ],
      "thread_cpu_ns_per_value_samples": [
        2.0737648010253906,
        2.0058956146240234,
        2.078890800476074,
        2.14385986328125,
        2.75079345703125,
        1.8407106399536133,
        1.9642515182495117,
        2.060453414916992,
        2.199252128601074,
        1.9472436904907227,
        2.088944435119629,
        2.129077911376953,
        1.9473237991333008,
        1.902897834777832,
        2.121607780456543
      ],
      "thread_cpu_sd_ns": 0.20966718030235199,
      "values": 16384,
      "values_per_second": 454479363.7547807
    },
    {
      "approx_95_percent_interval_ns": [
        2.1976225480563927,
        2.49533450353866
      ],
      "dataset": "length-4",
      "encoded_bytes": 65536,
      "implementation": "Previous",
      "mean_ns_per_value": 2.3464785257975262,
      "mean_thread_cpu_ns_per_value": 2.2329277674357098,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        1.8985271453857422,
        2.774834632873535,
        1.9289255142211914,
        2.3937625885009766,
        2.484877586364746,
        2.5461912155151367,
        2.339442253112793,
        2.5724172592163086,
        2.0341873168945312,
        2.5336742401123047,
        2.5120182037353516,
        2.527555465698242,
        2.332766532897949,
        1.9625024795532227,
        2.3554954528808594
      ],
      "sd_ns": 0.2687723649299916,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.1105778776535717,
        2.3552776572178478
      ],
      "thread_cpu_ns_per_value_samples": [
        1.8875999450683594,
        2.5911331176757812,
        1.917123794555664,
        2.3729801177978516,
        2.302885055541992,
        2.4739904403686523,
        2.3262901306152344,
        2.314408302307129,
        1.951615333557129,
        2.368131637573242,
        2.381563186645508,
        2.370119094848633,
        2.0907325744628906,
        1.9542369842529297,
        2.1911067962646484
      ],
      "thread_cpu_sd_ns": 0.22091332659045865,
      "values": 16384,
      "values_per_second": 426170531.29012454
    },
    {
      "approx_95_percent_interval_ns": [
        7.624687860624902,
        8.449487274669693
      ],
      "dataset": "length-4",
      "encoded_bytes": 65536,
      "implementation": "Leb128",
      "mean_ns_per_value": 8.037087567647298,
      "mean_thread_cpu_ns_per_value": 7.654052225748698,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        7.798194885253906,
        7.779121398925781,
        8.398612022399902,
        8.96112060546875,
        7.4485931396484375,
        9.207010269165039,
        6.813526153564453,
        8.665244102478027,
        8.312384605407715,
        9.188850402832031,
        8.24157428741455,
        7.352869033813477,
        7.324497222900391,
        7.2894487380981445,
        7.775266647338867
      ],
      "sd_ns": 0.7446234019946651,
      "thread_cpu_approx_95_percent_interval_ns": [
        7.256663934466686,
        8.05144051703071
      ],
      "thread_cpu_ns_per_value_samples": [
        7.13956356048584,
        7.333556175231934,
        7.853548049926758,
        8.569042205810547,
        7.11635684967041,
        8.663932800292969,
        6.808876991271973,
        8.240859031677246,
        7.878740310668945,
        8.99815559387207,
        8.013010025024414,
        6.930191993713379,
        6.868163108825684,
        7.035890579223633,
        7.360896110534668
      ],
      "thread_cpu_sd_ns": 0.7175189902624961,
      "values": 16384,
      "values_per_second": 124423180.85788018
    },
    {
      "approx_95_percent_interval_ns": [
        2.1991000559750002,
        2.5005380564110675
      ],
      "dataset": "length-4",
      "encoded_bytes": 65536,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 2.349819056193034,
      "mean_thread_cpu_ns_per_value": 2.1998535792032876,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.5990800857543945,
        2.7529001235961914,
        2.5156335830688477,
        1.9505424499511719,
        1.8398370742797852,
        2.3956298828125,
        2.5255680084228516,
        2.5142431259155273,
        2.6651220321655273,
        1.9454154968261719,
        2.2858381271362305,
        2.3560523986816406,
        2.1572113037109375,
        2.373973846435547,
        2.3702383041381836
      ],
      "sd_ns": 0.2721362134272621,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.0862730666065126,
        2.3134340918000627
      ],
      "thread_cpu_ns_per_value_samples": [
        2.30391788482666,
        2.3292694091796875,
        2.4167699813842773,
        1.9507007598876953,
        1.8400354385375977,
        2.183993339538574,
        2.240300178527832,
        2.3144874572753906,
        2.6220874786376953,
        1.8548965454101562,
        2.1500978469848633,
        2.20926570892334,
        2.1255407333374023,
        2.245943069458008,
        2.2104978561401367
      ],
      "thread_cpu_sd_ns": 0.2050794562895161,
      "values": 16384,
      "values_per_second": 425564682.2526456
    },
    {
      "approx_95_percent_interval_ns": [
        4.322627645261509,
        5.098556767376838
      ],
      "dataset": "length-4",
      "encoded_bytes": 65536,
      "implementation": "Verified",
      "mean_ns_per_value": 4.710592206319173,
      "mean_thread_cpu_ns_per_value": 4.530249659220377,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        4.47535514831543,
        5.202651023864746,
        4.423975944519043,
        4.896482467651367,
        5.7957963943481445,
        5.817374229431152,
        5.0803022384643555,
        4.158258438110352,
        4.44793701171875,
        3.8460893630981445,
        4.61423397064209,
        5.767742156982422,
        3.581523895263672,
        4.361748695373535,
        4.1894121170043945
      ],
      "sd_ns": 0.7005036288554802,
      "thread_cpu_approx_95_percent_interval_ns": [
        4.11986217069035,
        4.9406371477504045
      ],
      "thread_cpu_ns_per_value_samples": [
        4.186272621154785,
        4.8732757568359375,
        4.215398788452148,
        4.588921546936035,
        5.646188735961914,
        5.737343788146973,
        4.925529479980469,
        3.9380788803100586,
        4.4210357666015625,
        3.482937812805176,
        4.614353179931641,
        5.767902374267578,
        3.5789012908935547,
        3.9919214248657227,
        3.9856834411621094
      ],
      "thread_cpu_sd_ns": 0.7409901671648872,
      "values": 16384,
      "values_per_second": 212287533.32935894
    },
    {
      "approx_95_percent_interval_ns": [
        5.864500857669347,
        6.211648892086513
      ],
      "dataset": "length-4",
      "encoded_bytes": 65536,
      "implementation": "Previous",
      "mean_ns_per_value": 6.03807487487793,
      "mean_thread_cpu_ns_per_value": 5.8171034495035805,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.237109184265137,
        6.2393341064453125,
        5.710244178771973,
        6.696462631225586,
        5.733212471008301,
        5.9250993728637695,
        5.477428436279297,
        5.726099014282227,
        6.190219879150391,
        5.882580757141113,
        5.966464996337891,
        6.01506233215332,
        6.11690616607666,
        6.256738662719727,
        6.398160934448242
      ],
      "sd_ns": 0.3134029267986772,
      "thread_cpu_approx_95_percent_interval_ns": [
        5.712732446287728,
        5.921474452719433
      ],
      "thread_cpu_ns_per_value_samples": [
        6.086151123046875,
        5.850434303283691,
        5.619685173034668,
        6.107449531555176,
        5.594611167907715,
        5.820473670959473,
        5.469719886779785,
        5.601088523864746,
        5.899310111999512,
        5.798181533813477,
        5.966623306274414,
        5.761940956115723,
        5.8159027099609375,
        5.821983337402344,
        6.042996406555176
      ],
      "thread_cpu_sd_ns": 0.18845088917573816,
      "values": 16384,
      "values_per_second": 165615700.4876851
    },
    {
      "approx_95_percent_interval_ns": [
        6.2957718935274345,
        6.6036004616157955
      ],
      "dataset": "length-4",
      "encoded_bytes": 65536,
      "implementation": "Leb128",
      "mean_ns_per_value": 6.449686177571615,
      "mean_thread_cpu_ns_per_value": 6.236889584859212,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.386995315551758,
        6.884852409362793,
        6.218433380126953,
        6.914934158325195,
        6.750266075134277,
        6.397564888000488,
        6.566366195678711,
        6.633321762084961,
        6.378729820251465,
        6.084521293640137,
        6.200075149536133,
        6.112495422363281,
        6.477276802062988,
        6.6432952880859375,
        6.096164703369141
      ],
      "sd_ns": 0.27790557521983633,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.175852414628429,
        6.297926755089995
      ],
      "thread_cpu_ns_per_value_samples": [
        6.2607526779174805,
        6.436744689941406,
        6.173571586608887,
        6.293892860412598,
        6.348569869995117,
        6.275336265563965,
        6.286938667297363,
        6.311933517456055,
        6.212432861328125,
        6.084680557250977,
        6.064096450805664,
        6.110429763793945,
        6.25920295715332,
        6.338437080383301,
        6.0963239669799805
      ],
      "thread_cpu_sd_ns": 0.11020789920906765,
      "values": 16384,
      "values_per_second": 155046303.41200757
    },
    {
      "approx_95_percent_interval_ns": [
        6.362454913220284,
        6.86342361155999
      ],
      "dataset": "length-4",
      "encoded_bytes": 65536,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 6.612939262390137,
      "mean_thread_cpu_ns_per_value": 6.347942225138346,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.294608116149902,
        7.102927207946777,
        6.756186485290527,
        6.133397102355957,
        6.849726676940918,
        7.223764419555664,
        6.022334098815918,
        7.313807487487793,
        6.459712982177734,
        6.113608360290527,
        7.10733699798584,
        6.671667098999023,
        6.246169090270996,
        6.832758903503418,
        6.066083908081055
      ],
      "sd_ns": 0.4522711947880867,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.2198836640992266,
        6.476000786177465
      ],
      "thread_cpu_ns_per_value_samples": [
        6.204724311828613,
        6.53342342376709,
        6.4612627029418945,
        6.075699806213379,
        6.4286394119262695,
        6.573796272277832,
        6.0225725173950195,
        6.763657569885254,
        6.301084518432617,
        6.050546646118164,
        6.584961891174316,
        6.4557390213012695,
        6.224830627441406,
        6.474494934082031,
        6.063699722290039
      ],
      "thread_cpu_sd_ns": 0.23122082715328515,
      "values": 16384,
      "values_per_second": 151218688.13876972
    },
    {
      "approx_95_percent_interval_ns": [
        2.196614887810995,
        2.367882487677287
      ],
      "dataset": "length-5",
      "encoded_bytes": 81920,
      "implementation": "Verified",
      "mean_ns_per_value": 2.282248687744141,
      "mean_thread_cpu_ns_per_value": 2.250639470418294,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.2668838500976562,
        2.4116039276123047,
        2.7605295181274414,
        2.3642377853393555,
        2.294342041015625,
        2.1536741256713867,
        2.217571258544922,
        2.215346336364746,
        2.2820234298706055,
        2.1969079971313477,
        2.154867172241211,
        2.1243486404418945,
        2.2580623626708984,
        2.2058095932006836,
        2.3275222778320312
      ],
      "sd_ns": 0.1546192452277536,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.1998406948207716,
        2.3014382460158167
      ],
      "thread_cpu_ns_per_value_samples": [
        2.2670822143554688,
        2.2590951919555664,
        2.497553825378418,
        2.3233890533447266,
        2.294461250305176,
        2.1539525985717773,
        2.2177696228027344,
        2.212961196899414,
        2.2821426391601562,
        2.1920995712280273,
        2.155026435852051,
        2.1201372146606445,
        2.258220672607422,
        2.2060070037841797,
        2.3196935653686523
      ],
      "thread_cpu_sd_ns": 0.09172159062794023,
      "values": 16384,
      "values_per_second": 438164344.389847
    },
    {
      "approx_95_percent_interval_ns": [
        2.4310447053510935,
        2.636892001191875
      ],
      "dataset": "length-5",
      "encoded_bytes": 81920,
      "implementation": "Previous",
      "mean_ns_per_value": 2.5339683532714843,
      "mean_thread_cpu_ns_per_value": 2.4757465998331707,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.3449268341064453,
        2.8797388076782227,
        2.7370052337646484,
        2.680182456970215,
        2.5393171310424805,
        2.652923583984375,
        2.59836483001709,
        2.521395683288574,
        2.605715751647949,
        2.618710517883301,
        2.386808395385742,
        2.5981264114379883,
        2.343337059020996,
        2.170602798461914,
        2.332369804382324
      ],
      "sd_ns": 0.1858375637886195,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.3943030678993398,
        2.5571901317670016
      ],
      "thread_cpu_ns_per_value_samples": [
        2.3450450897216797,
        2.6312665939331055,
        2.5751190185546875,
        2.505223274230957,
        2.3540258407592773,
        2.618551254272461,
        2.598484992980957,
        2.5198068618774414,
        2.603610038757324,
        2.6028547286987305,
        2.38362979888916,
        2.586087226867676,
        2.343496322631836,
        2.1588010787963867,
        2.310196876525879
      ],
      "thread_cpu_sd_ns": 0.14705335330351452,
      "values": 16384,
      "values_per_second": 394637919.88915265
    },
    {
      "approx_95_percent_interval_ns": [
        8.933519569438955,
        9.406400474506357
      ],
      "dataset": "length-5",
      "encoded_bytes": 81920,
      "implementation": "Leb128",
      "mean_ns_per_value": 9.169960021972656,
      "mean_thread_cpu_ns_per_value": 8.915935770670574,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        9.120146751403809,
        9.616613388061523,
        9.868860244750977,
        9.831428527832031,
        8.95376968383789,
        9.734432220458984,
        9.254376411437988,
        8.826494216918945,
        8.92917251586914,
        9.220083236694336,
        9.113629341125488,
        8.757908821105957,
        8.450627326965332,
        8.74527359008789,
        9.12658405303955
      ],
      "sd_ns": 0.426913722626,
      "thread_cpu_approx_95_percent_interval_ns": [
        8.748710181763446,
        9.083161359577701
      ],
      "thread_cpu_ns_per_value_samples": [
        9.001890182495117,
        8.769035339355469,
        9.063363075256348,
        9.555856704711914,
        8.566658020019531,
        9.189685821533203,
        8.815327644348145,
        8.776704788208008,
        8.904337882995605,
        9.185750961303711,
        9.104808807373047,
        8.582433700561523,
        8.378068923950195,
        8.72194766998291,
        9.123167037963867
      ],
      "thread_cpu_sd_ns": 0.30194028946248486,
      "values": 16384,
      "values_per_second": 109051729.51723278
    },
    {
      "approx_95_percent_interval_ns": [
        2.266337313723737,
        2.442402920651263
      ],
      "dataset": "length-5",
      "encoded_bytes": 81920,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 2.3543701171875,
      "mean_thread_cpu_ns_per_value": 2.30932502746582,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.324223518371582,
        2.306262969970703,
        2.548137664794922,
        2.6101274490356445,
        2.452731132507324,
        2.6025772094726562,
        2.2815465927124023,
        2.348621368408203,
        2.3707151412963867,
        2.177556037902832,
        2.3224353790283203,
        1.9882116317749023,
        2.356290817260742,
        2.292116165161133,
        2.333998680114746
      ],
      "sd_ns": 0.15895085395575978,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.2451162878860984,
        2.373533767045542
      ],
      "thread_cpu_ns_per_value_samples": [
        2.3243818283081055,
        2.2750301361083984,
        2.4044113159179688,
        2.4968385696411133,
        2.345125198364258,
        2.435009002685547,
        2.2781686782836914,
        2.339085578918457,
        2.3320913314819336,
        2.1777544021606445,
        2.322554588317871,
        1.9849538803100586,
        2.319931983947754,
        2.2923154830932617,
        2.312223434448242
      ],
      "thread_cpu_sd_ns": 0.11593444245838297,
      "values": 16384,
      "values_per_second": 424742054.2334215
    },
    {
      "approx_95_percent_interval_ns": [
        5.642066264462891,
        5.975196893699544
      ],
      "dataset": "length-5",
      "encoded_bytes": 81920,
      "implementation": "Verified",
      "mean_ns_per_value": 5.808631579081218,
      "mean_thread_cpu_ns_per_value": 5.734364191691081,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        5.650600433349609,
        5.722641944885254,
        5.928357124328613,
        5.164345741271973,
        5.560238838195801,
        5.888700485229492,
        5.772312164306641,
        5.931218147277832,
        5.290667533874512,
        6.26031494140625,
        5.875149726867676,
        6.031831741333008,
        6.041566848754883,
        6.181120872497559,
        5.83040714263916
      ],
      "sd_ns": 0.3007481070268429,
      "thread_cpu_approx_95_percent_interval_ns": [
        5.583285591477286,
        5.885442791904876
      ],
      "thread_cpu_ns_per_value_samples": [
        5.6351423263549805,
        5.666932106018066,
        5.908052444458008,
        5.161762237548828,
        5.54005241394043,
        5.76158332824707,
        5.744257926940918,
        5.921363830566406,
        5.272547721862793,
        6.2094926834106445,
        5.875269889831543,
        6.031949996948242,
        5.903720855712891,
        5.602200508117676,
        5.781134605407715
      ],
      "thread_cpu_sd_ns": 0.27278550237592436,
      "values": 16384,
      "values_per_second": 172157587.61518413
    },
    {
      "approx_95_percent_interval_ns": [
        5.8685899777782105,
        6.203035413864042
      ],
      "dataset": "length-5",
      "encoded_bytes": 81920,
      "implementation": "Previous",
      "mean_ns_per_value": 6.035812695821126,
      "mean_thread_cpu_ns_per_value": 5.917822138468424,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        5.924781799316406,
        5.786895751953125,
        5.928158760070801,
        5.997896194458008,
        5.967974662780762,
        6.023764610290527,
        5.908727645874023,
        5.769968032836914,
        5.77064323425293,
        6.142298698425293,
        5.773265838623047,
        6.397088050842285,
        6.9224443435668945,
        6.208339691162109,
        6.0149431228637695
      ],
      "sd_ns": 0.30193510586841443,
      "thread_cpu_approx_95_percent_interval_ns": [
        5.826102061747603,
        6.009542215189246
      ],
      "thread_cpu_ns_per_value_samples": [
        5.837440490722656,
        5.77998161315918,
        5.897204399108887,
        5.976955413818359,
        5.962888717651367,
        5.98768424987793,
        5.901852607727051,
        5.747875213623047,
        5.730112075805664,
        6.040732383728027,
        5.706548690795898,
        6.0068769454956055,
        6.377856254577637,
        5.949934959411621,
        5.8633880615234375
      ],
      "thread_cpu_sd_ns": 0.1656085452925907,
      "values": 16384,
      "values_per_second": 165677772.05749717
    },
    {
      "approx_95_percent_interval_ns": [
        5.998020787553193,
        6.3341907704708955
      ],
      "dataset": "length-5",
      "encoded_bytes": 81920,
      "implementation": "Leb128",
      "mean_ns_per_value": 6.166105779012044,
      "mean_thread_cpu_ns_per_value": 6.06383482615153,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.023447036743164,
        6.216804504394531,
        6.0138702392578125,
        5.960504531860352,
        6.018956184387207,
        6.149848937988281,
        6.208578109741211,
        5.9740142822265625,
        5.735317230224609,
        5.976240158081055,
        6.580352783203125,
        6.065130233764648,
        6.941556930541992,
        6.098628044128418,
        6.528337478637695
      ],
      "sd_ns": 0.30349201522962505,
      "thread_cpu_approx_95_percent_interval_ns": [
        5.969230105322681,
        6.15843954698038
      ],
      "thread_cpu_ns_per_value_samples": [
        5.993485450744629,
        6.158788681030273,
        5.985736846923828,
        5.953192710876465,
        5.9871673583984375,
        6.1459150314331055,
        6.162206649780273,
        5.966226577758789,
        5.711992263793945,
        5.974531173706055,
        6.400069236755371,
        5.99686336517334,
        6.348212242126465,
        6.00544548034668,
        6.167689323425293
      ],
      "thread_cpu_sd_ns": 0.17081702015978362,
      "values": 16384,
      "values_per_second": 162176912.92351192
    },
    {
      "approx_95_percent_interval_ns": [
        6.173848004197558,
        6.517771360223015
      ],
      "dataset": "length-5",
      "encoded_bytes": 81920,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 6.3458096822102865,
      "mean_thread_cpu_ns_per_value": 6.278989092508952,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.397525787353516,
        6.328940391540527,
        6.268342018127441,
        6.362478256225586,
        6.255586624145508,
        6.007830619812012,
        6.329217910766602,
        6.246805191040039,
        6.267586708068848,
        6.247758865356445,
        6.231427192687988,
        6.193757057189941,
        6.478706359863281,
        7.3986053466796875,
        6.172576904296875
      ],
      "sd_ns": 0.31049170868493203,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.1918559730105365,
        6.366122212007367
      ],
      "thread_cpu_ns_per_value_samples": [
        6.39232063293457,
        6.298184394836426,
        6.267706871032715,
        6.351828575134277,
        6.24847412109375,
        5.993207931518555,
        6.315747261047363,
        6.230989456176758,
        6.237308502197266,
        6.241997718811035,
        6.182511329650879,
        6.1910552978515625,
        6.325760841369629,
        6.73504638671875,
        6.172697067260742
      ],
      "thread_cpu_sd_ns": 0.15732639660627576,
      "values": 16384,
      "values_per_second": 157584303.67103186
    },
    {
      "approx_95_percent_interval_ns": [
        2.520475006392872,
        3.399225361852571
      ],
      "dataset": "length-6",
      "encoded_bytes": 98304,
      "implementation": "Verified",
      "mean_ns_per_value": 2.9598501841227214,
      "mean_thread_cpu_ns_per_value": 2.6341970443725584,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.4510622024536133,
        3.230571746826172,
        2.744753837585449,
        2.636115074157715,
        2.818981170654297,
        5.673408508300781,
        2.3579206466674805,
        3.088871955871582,
        3.0666990280151367,
        2.99227237701416,
        2.73569393157959,
        2.7632713317871094,
        2.3516416549682617,
        2.7615232467651367,
        2.724966049194336
      ],
      "sd_ns": 0.793329951554607,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.4483599582260718,
        2.820034130519045
      ],
      "thread_cpu_ns_per_value_samples": [
        2.3096799850463867,
        3.1141834259033203,
        2.6841964721679688,
        2.3879613876342773,
        2.4772090911865234,
        3.5081701278686523,
        2.358078956604004,
        2.66094970703125,
        2.963027000427246,
        2.7454700469970703,
        2.5344696044921875,
        2.594193458557129,
        2.34830379486084,
        2.3932056427001953,
        2.433856964111328
      ],
      "thread_cpu_sd_ns": 0.33554496025783503,
      "values": 16384,
      "values_per_second": 337854937.8492928
    },
    {
      "approx_95_percent_interval_ns": [
        2.697313348938092,
        3.2580966547240173
      ],
      "dataset": "length-6",
      "encoded_bytes": 98304,
      "implementation": "Previous",
      "mean_ns_per_value": 2.9777050018310547,
      "mean_thread_cpu_ns_per_value": 2.8332286834716798,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        3.127018928527832,
        2.601822853088379,
        4.213094711303711,
        2.941767692565918,
        3.311673164367676,
        2.6294784545898438,
        2.7753114700317383,
        2.8418703079223633,
        3.262202262878418,
        2.95070743560791,
        1.9731922149658203,
        2.7019577026367188,
        2.835352897644043,
        3.6172866821289062,
        2.882838249206543
      ],
      "sd_ns": 0.5062714228764641,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.569512328070536,
        3.0969450388728235
      ],
      "thread_cpu_ns_per_value_samples": [
        2.8852624893188477,
        2.602140426635742,
        4.1377153396606445,
        2.8287172317504883,
        3.1937761306762695,
        2.5190515518188477,
        2.6264190673828125,
        2.7406606674194336,
        2.8846263885498047,
        2.7310848236083984,
        1.9735097885131836,
        2.614577293395996,
        2.6077823638916016,
        3.365635871887207,
        2.787470817565918
      ],
      "thread_cpu_sd_ns": 0.4761627284807209,
      "values": 16384,
      "values_per_second": 335829103.0794113
    },
    {
      "approx_95_percent_interval_ns": [
        12.165346345364126,
        13.753402510226694
      ],
      "dataset": "length-6",
      "encoded_bytes": 98304,
      "implementation": "Leb128",
      "mean_ns_per_value": 12.95937442779541,
      "mean_thread_cpu_ns_per_value": 12.155066617329915,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        11.954943656921387,
        12.038588523864746,
        13.450583457946777,
        12.212991714477539,
        12.147704124450684,
        12.176791191101074,
        12.188434600830078,
        12.580792427062988,
        16.159613609313965,
        11.945526123046875,
        14.713565826416016,
        12.796958923339844,
        11.926651000976562,
        12.273987770080566,
        15.82348346710205
      ],
      "sd_ns": 1.4336864986840914,
      "thread_cpu_approx_95_percent_interval_ns": [
        11.655628163202408,
        12.654505071457422
      ],
      "thread_cpu_ns_per_value_samples": [
        11.27016544342041,
        11.735479354858398,
        13.258974075317383,
        11.54188346862793,
        11.547486305236816,
        11.629223823547363,
        11.437495231628418,
        11.893272399902344,
        12.84949016571045,
        11.614322662353516,
        14.034271240234375,
        12.172937393188477,
        11.749942779541016,
        11.720538139343262,
        13.870516777038574
      ],
      "thread_cpu_sd_ns": 0.901779401068257,
      "values": 16384,
      "values_per_second": 77164218.50233673
    },
    {
      "approx_95_percent_interval_ns": [
        2.742553885866071,
        3.28233650516583
      ],
      "dataset": "length-6",
      "encoded_bytes": 98304,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 3.0124451955159506,
      "mean_thread_cpu_ns_per_value": 2.8705888112386067,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.448122024536133,
        2.783219337463379,
        3.8592023849487305,
        3.488262176513672,
        2.7130041122436523,
        3.9446353912353516,
        2.5715036392211914,
        2.7479724884033203,
        2.927422523498535,
        2.5909337997436523,
        3.371119499206543,
        2.5467472076416016,
        2.7903318405151367,
        2.941807746887207,
        3.4623937606811523
      ],
      "sd_ns": 0.4873121433846579,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.6296920360594527,
        3.1114855864177606
      ],
      "thread_cpu_ns_per_value_samples": [
        2.437114715576172,
        2.6063127517700195,
        3.7353830337524414,
        3.1891660690307617,
        2.635915756225586,
        3.78092098236084,
        2.5589866638183594,
        2.564668655395508,
        2.8419103622436523,
        2.5823516845703125,
        3.256638526916504,
        2.5469064712524414,
        2.6214122772216797,
        2.6682214736938477,
        3.0329227447509766
      ],
      "thread_cpu_sd_ns": 0.4349599992652381,
      "values": 16384,
      "values_per_second": 331956246.53637123
    },
    {
      "approx_95_percent_interval_ns": [
        5.890492818118695,
        6.188136739172972
      ],
      "dataset": "length-6",
      "encoded_bytes": 98304,
      "implementation": "Verified",
      "mean_ns_per_value": 6.039314778645833,
      "mean_thread_cpu_ns_per_value": 5.956668345133464,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.165942192077637,
        6.110469818115234,
        5.927562713623047,
        6.574789047241211,
        6.235042572021484,
        6.034335136413574,
        5.639910697937012,
        5.615353584289551,
        5.923271179199219,
        6.2257843017578125,
        6.318926811218262,
        5.990743637084961,
        6.102602005004883,
        5.619962692260742,
        6.105025291442871
      ],
      "sd_ns": 0.26871094390281786,
      "thread_cpu_approx_95_percent_interval_ns": [
        5.833134006717625,
        6.080202683549302
      ],
      "thread_cpu_ns_per_value_samples": [
        6.156961441040039,
        6.098548889160156,
        5.870819091796875,
        6.196379661560059,
        6.216526031494141,
        5.99531364440918,
        5.623936653137207,
        5.59544563293457,
        5.790750503540039,
        6.178855895996094,
        6.009817123413086,
        5.858341217041016,
        6.090481758117676,
        5.585114479064941,
        6.082733154296875
      ],
      "thread_cpu_sd_ns": 0.22305195122111565,
      "values": 16384,
      "values_per_second": 165581698.69466966
    },
    {
      "approx_95_percent_interval_ns": [
        6.137073086470385,
        6.421116687089186
      ],
      "dataset": "length-6",
      "encoded_bytes": 98304,
      "implementation": "Previous",
      "mean_ns_per_value": 6.279094886779785,
      "mean_thread_cpu_ns_per_value": 6.170543034871419,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.664673805236816,
        6.196657180786133,
        6.05662727355957,
        6.291667938232422,
        6.082375526428223,
        6.875038146972656,
        6.115277290344238,
        6.338794708251953,
        6.18882942199707,
        6.2192277908325195,
        6.682991981506348,
        6.022890090942383,
        6.13387393951416,
        6.1772260665893555,
        6.14027214050293
      ],
      "sd_ns": 0.2564326654530092,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.099024562146075,
        6.242061507596763
      ],
      "thread_cpu_ns_per_value_samples": [
        6.300806999206543,
        6.174485206604004,
        6.004373550415039,
        6.147782325744629,
        6.0628252029418945,
        6.460508346557617,
        6.063938140869141,
        6.322065353393555,
        6.177942276000977,
        6.149888038635254,
        6.313204765319824,
        6.013393402099609,
        6.130576133728027,
        6.171663284301758,
        6.064692497253418
      ],
      "thread_cpu_sd_ns": 0.12913279897969543,
      "values": 16384,
      "values_per_second": 159258622.14718768
    },
    {
      "approx_95_percent_interval_ns": [
        6.093116475651961,
        6.348609064509173
      ],
      "dataset": "length-6",
      "encoded_bytes": 98304,
      "implementation": "Leb128",
      "mean_ns_per_value": 6.220862770080567,
      "mean_thread_cpu_ns_per_value": 6.14317003885905,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.784677505493164,
        6.1709089279174805,
        6.391565322875977,
        6.14011287689209,
        6.221732139587402,
        6.636659622192383,
        6.376226425170898,
        6.143370628356934,
        6.149609565734863,
        6.00775146484375,
        6.092429161071777,
        6.034096717834473,
        6.036321640014648,
        6.078958511352539,
        6.048521041870117
      ],
      "sd_ns": 0.23065700273272732,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.061173590010208,
        6.225166487707892
      ],
      "thread_cpu_ns_per_value_samples": [
        6.577293395996094,
        6.136775016784668,
        6.267070770263672,
        6.112933158874512,
        6.124933242797852,
        6.280303001403809,
        6.226977348327637,
        6.110628128051758,
        6.108562469482422,
        6.007870674133301,
        6.049116134643555,
        6.015578269958496,
        6.030797958374023,
        6.052574157714844,
        6.046136856079102
      ],
      "thread_cpu_sd_ns": 0.14805169269916615,
      "values": 16384,
      "values_per_second": 160749406.78799912
    },
    {
      "approx_95_percent_interval_ns": [
        6.62088521358166,
        7.024128086996139
      ],
      "dataset": "length-6",
      "encoded_bytes": 98304,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 6.8225066502889,
      "mean_thread_cpu_ns_per_value": 6.670514742533366,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.78082275390625,
        6.672580718994141,
        7.258335113525391,
        7.480303764343262,
        6.491025924682617,
        6.858428001403809,
        6.916324615478516,
        6.495356559753418,
        6.5430803298950195,
        6.505727767944336,
        7.1241455078125,
        7.532000541687012,
        6.525874137878418,
        6.574353218078613,
        6.579240798950195
      ],
      "sd_ns": 0.3640449727764815,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.563556336964422,
        6.7774731481023105
      ],
      "thread_cpu_ns_per_value_samples": [
        6.774306297302246,
        6.611545562744141,
        6.9189863204956055,
        7.081866264343262,
        6.481766700744629,
        6.641705513000488,
        6.730595588684082,
        6.493687629699707,
        6.517966270446777,
        6.49293327331543,
        6.765763282775879,
        6.955663681030273,
        6.501953125,
        6.533265113830566,
        6.555716514587402
      ],
      "thread_cpu_sd_ns": 0.1931226683008946,
      "values": 16384,
      "values_per_second": 146573693.69623917
    },
    {
      "approx_95_percent_interval_ns": [
        2.4716473414019977,
        2.702470446277039
      ],
      "dataset": "length-7",
      "encoded_bytes": 114688,
      "implementation": "Verified",
      "mean_ns_per_value": 2.5870588938395183,
      "mean_thread_cpu_ns_per_value": 2.5574367523193358,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.403815269470215,
        2.512256622314453,
        3.017385482788086,
        3.081719398498535,
        2.732832908630371,
        2.5791730880737305,
        2.550522804260254,
        2.5124549865722656,
        2.578258514404297,
        2.46866512298584,
        2.4938974380493164,
        2.3446884155273438,
        2.423008918762207,
        2.550522804260254,
        2.5566816329956055
      ],
      "sd_ns": 0.20838555736618253,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.4626561013326067,
        2.652217403306065
      ],
      "thread_cpu_ns_per_value_samples": [
        2.4041337966918945,
        2.5016860961914062,
        2.9762191772460938,
        2.8759632110595703,
        2.6996936798095703,
        2.553582191467285,
        2.531330108642578,
        2.495448112487793,
        2.5136871337890625,
        2.449711799621582,
        2.49139404296875,
        2.344846725463867,
        2.4211015701293945,
        2.545912742614746,
        2.5568408966064453
      ],
      "thread_cpu_sd_ns": 0.17113467730270357,
      "values": 16384,
      "values_per_second": 386539325.5566267
    },
    {
      "approx_95_percent_interval_ns": [
        2.8428991347610086,
        3.0000251104375595
      ],
      "dataset": "length-7",
      "encoded_bytes": 114688,
      "implementation": "Previous",
      "mean_ns_per_value": 2.921462122599284,
      "mean_thread_cpu_ns_per_value": 2.8827773412068685,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.8846654891967773,
        3.0329227447509766,
        2.921621322631836,
        3.1211776733398438,
        3.213564872741699,
        3.118316650390625,
        2.8831167221069336,
        2.756317138671875,
        2.850374221801758,
        2.7728872299194336,
        2.9495153427124023,
        2.886693000793457,
        2.8876867294311523,
        2.7697877883911133,
        2.773284912109375
      ],
      "sd_ns": 0.14185228136407288,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.825826677415612,
        2.9397280049981247
      ],
      "thread_cpu_ns_per_value_samples": [
        2.884824752807617,
        2.953608512878418,
        2.8636064529418945,
        3.0118227005004883,
        3.094911575317383,
        3.001293182373047,
        2.8780298233032227,
        2.747138023376465,
        2.7976436614990234,
        2.7656164169311523,
        2.9298458099365234,
        2.8868112564086914,
        2.8859376907348633,
        2.769987106323242,
        2.770583152770996
      ],
      "thread_cpu_sd_ns": 0.10282935777109213,
      "values": 16384,
      "values_per_second": 342294357.4261643
    },
    {
      "approx_95_percent_interval_ns": [
        12.401597491588467,
        13.32809064419441
      ],
      "dataset": "length-7",
      "encoded_bytes": 114688,
      "implementation": "Leb128",
      "mean_ns_per_value": 12.864844067891438,
      "mean_thread_cpu_ns_per_value": 12.663573582967123,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        12.26341724395752,
        12.332677841186523,
        12.845396995544434,
        14.991561889648438,
        12.776494026184082,
        14.442880630493164,
        13.089735984802246,
        12.915690422058105,
        12.343009948730469,
        12.525558471679688,
        11.820158004760742,
        12.654304504394531,
        12.340227127075195,
        12.446920394897461,
        13.184627532958984
      ],
      "sd_ns": 0.8364318299342725,
      "thread_cpu_approx_95_percent_interval_ns": [
        12.288926981792928,
        13.038220184141318
      ],
      "thread_cpu_ns_per_value_samples": [
        12.241840362548828,
        12.321114540100098,
        12.345513343811035,
        14.40103816986084,
        12.272834777832031,
        13.838926315307617,
        12.635271072387695,
        12.885332107543945,
        12.277722358703613,
        12.477397918701172,
        11.775930404663086,
        12.621045112609863,
        12.316425323486328,
        12.390811920166016,
        13.152400016784668
      ],
      "thread_cpu_sd_ns": 0.6764568983966757,
      "values": 16384,
      "values_per_second": 77731218.09504381
    },
    {
      "approx_95_percent_interval_ns": [
        2.628873405960153,
        2.9673243581186233
      ],
      "dataset": "length-7",
      "encoded_bytes": 114688,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 2.798098882039388,
      "mean_thread_cpu_ns_per_value": 2.7659998575846356,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.740422248840332,
        2.770265579223633,
        3.5011768341064453,
        2.9448671340942383,
        3.118952751159668,
        2.6873350143432617,
        2.8879241943359375,
        2.851644515991211,
        2.794344902038574,
        2.663930892944336,
        2.0208749771118164,
        2.753694534301758,
        2.7641849517822266,
        2.854267120361328,
        2.6175975799560547
      ],
      "sd_ns": 0.3055512590251277,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.6070890132743743,
        2.924910701894897
      ],
      "thread_cpu_ns_per_value_samples": [
        2.740701675415039,
        2.7136011123657227,
        3.460725784301758,
        2.9012365341186523,
        2.9598073959350586,
        2.687612533569336,
        2.790689468383789,
        2.8395252227783203,
        2.79251766204834,
        2.664128303527832,
        2.0210342407226562,
        2.7025146484375,
        2.7576284408569336,
        2.842426300048828,
        2.6158485412597656
      ],
      "thread_cpu_sd_ns": 0.2869272976901644,
      "values": 16384,
      "values_per_second": 357385511.4338033
    },
    {
      "approx_95_percent_interval_ns": [
        6.18332291521499,
        7.500091289700374
      ],
      "dataset": "length-7",
      "encoded_bytes": 114688,
      "implementation": "Verified",
      "mean_ns_per_value": 6.841707102457682,
      "mean_thread_cpu_ns_per_value": 6.373781649271647,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.361126899719238,
        6.1140851974487305,
        10.755459785461426,
        5.885441780090332,
        6.910721778869629,
        6.218354225158691,
        7.227420806884766,
        7.852275848388672,
        6.605425834655762,
        6.674408912658691,
        6.586948394775391,
        6.237665176391602,
        6.686130523681641,
        6.218314170837402,
        6.291827201843262
      ],
      "sd_ns": 1.1887696935185335,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.212577809423647,
        6.534985489119648
      ],
      "thread_cpu_ns_per_value_samples": [
        6.272952079772949,
        6.005644798278809,
        6.678462028503418,
        5.851109504699707,
        6.620287895202637,
        6.162087440490723,
        6.644447326660156,
        6.954113960266113,
        6.3606109619140625,
        6.591519355773926,
        6.380120277404785,
        6.172736167907715,
        6.49372673034668,
        6.17543888092041,
        6.243467330932617
      ],
      "thread_cpu_sd_ns": 0.29106749980232816,
      "values": 16384,
      "values_per_second": 146162351.73832265
    },
    {
      "approx_95_percent_interval_ns": [
        6.381732626227933,
        7.03497129731536
      ],
      "dataset": "length-7",
      "encoded_bytes": 114688,
      "implementation": "Previous",
      "mean_ns_per_value": 6.708351961771647,
      "mean_thread_cpu_ns_per_value": 6.453140449523926,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.099979400634766,
        6.005923271179199,
        7.953126907348633,
        6.134986877441406,
        6.106695175170898,
        6.933173179626465,
        7.148941993713379,
        7.436434745788574,
        6.450931549072266,
        7.569512367248535,
        6.597319602966309,
        6.352265357971191,
        6.700475692749023,
        6.5229339599609375,
        6.612579345703125
      ],
      "sd_ns": 0.5897395091422543,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.26580464661893,
        6.640476252428922
      ],
      "thread_cpu_ns_per_value_samples": [
        6.078958511352539,
        5.999048233032227,
        6.59489631652832,
        6.129622459411621,
        6.061354637145996,
        6.667852401733398,
        6.763616561889648,
        6.921370506286621,
        6.285429000854492,
        7.1898698806762695,
        6.382226943969727,
        6.321946144104004,
        6.552696228027344,
        6.350438117980957,
        6.497780799865723
      ],
      "thread_cpu_sd_ns": 0.3382510232165242,
      "values": 16384,
      "values_per_second": 149067909.03319037
    },
    {
      "approx_95_percent_interval_ns": [
        5.966095244159217,
        7.77653717669853
      ],
      "dataset": "length-7",
      "encoded_bytes": 114688,
      "implementation": "Leb128",
      "mean_ns_per_value": 6.871316210428874,
      "mean_thread_cpu_ns_per_value": 6.391514778137207,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.092309951782227,
        6.016016006469727,
        12.438098907470703,
        6.000876426696777,
        6.158749580383301,
        6.374518394470215,
        6.198962211608887,
        7.366101264953613,
        6.233692169189453,
        7.77419376373291,
        7.256706237792969,
        6.28070068359375,
        6.1571197509765625,
        6.598870277404785,
        6.122827529907227
      ],
      "sd_ns": 1.6344548843823608,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.116211589169783,
        6.666817967104631
      ],
      "thread_cpu_ns_per_value_samples": [
        6.087143898010254,
        6.0030622482299805,
        7.475337028503418,
        5.918304443359375,
        6.142377853393555,
        6.219427108764648,
        6.155411720275879,
        7.056951522827148,
        6.118456840515137,
        7.368365287780762,
        6.522695541381836,
        6.259243011474609,
        6.118059158325195,
        6.327033042907715,
        6.100852966308594
      ],
      "thread_cpu_sd_ns": 0.4970837603863066,
      "values": 16384,
      "values_per_second": 145532525.26528466
    },
    {
      "approx_95_percent_interval_ns": [
        6.809893263102943,
        8.450469489175703
      ],
      "dataset": "length-7",
      "encoded_bytes": 114688,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 7.630181376139323,
      "mean_thread_cpu_ns_per_value": 7.125809669494629,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.7414045333862305,
        6.726781845092773,
        12.534777641296387,
        6.670673370361328,
        7.181009292602539,
        6.924152374267578,
        7.746298789978027,
        8.234779357910156,
        7.2814226150512695,
        8.226473808288574,
        8.402705192565918,
        6.8340301513671875,
        6.908893585205078,
        7.215420722961426,
        6.823897361755371
      ],
      "sd_ns": 1.4811012591523578,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.886391325012531,
        7.3652280139767266
      ],
      "thread_cpu_ns_per_value_samples": [
        6.739696502685547,
        6.710489273071289,
        7.865628242492676,
        6.64083194732666,
        7.045745849609375,
        6.897647857666016,
        7.448275566101074,
        7.773399353027344,
        6.962299346923828,
        7.767280578613281,
        7.572850227355957,
        6.80573844909668,
        6.853024482727051,
        6.989638328552246,
        6.81459903717041
      ],
      "thread_cpu_sd_ns": 0.43229056454811876,
      "values": 16384,
      "values_per_second": 131058483.50173485
    },
    {
      "approx_95_percent_interval_ns": [
        2.3078679900288734,
        2.4205865998148766
      ],
      "dataset": "length-8",
      "encoded_bytes": 131072,
      "implementation": "Verified",
      "mean_ns_per_value": 2.364227294921875,
      "mean_thread_cpu_ns_per_value": 2.3467487335205077,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.6714000701904297,
        2.313375473022461,
        2.379775047302246,
        2.3062620162963867,
        2.445737838745117,
        2.315004348754883,
        2.297957420349121,
        2.4771289825439453,
        2.357402801513672,
        2.329230308532715,
        2.2983951568603516,
        2.3668203353881836,
        2.324819564819336,
        2.2846460342407227,
        2.2954540252685547
      ],
      "sd_ns": 0.10176160804401924,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.305407389431322,
        2.3880900776096934
      ],
      "thread_cpu_ns_per_value_samples": [
        2.530972480773926,
        2.309361457824707,
        2.337733268737793,
        2.3022098541259766,
        2.441883087158203,
        2.3151636123657227,
        2.2955331802368164,
        2.477288246154785,
        2.3272838592529297,
        2.321004867553711,
        2.29644775390625,
        2.3463172912597656,
        2.321441650390625,
        2.2829771041870117,
        2.2956132888793945
      ],
      "thread_cpu_sd_ns": 0.07464537863274934,
      "values": 16384,
      "values_per_second": 422971176.31113577
    },
    {
      "approx_95_percent_interval_ns": [
        2.9158208575592965,
        3.187271081731068
      ],
      "dataset": "length-8",
      "encoded_bytes": 131072,
      "implementation": "Previous",
      "mean_ns_per_value": 3.0515459696451823,
      "mean_thread_cpu_ns_per_value": 3.029513422648112,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        3.0335588455200195,
        3.276665687561035,
        2.8972625732421875,
        3.4617977142333984,
        2.984602928161621,
        2.3469924926757812,
        3.170053482055664,
        3.124197006225586,
        2.9218196868896484,
        3.073732376098633,
        3.0925674438476562,
        2.92984676361084,
        3.1838817596435547,
        3.2128095626831055,
        3.063401222229004
      ],
      "sd_ns": 0.24506344931038282,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.9023047053103963,
        3.156722139985828
      ],
      "thread_cpu_ns_per_value_samples": [
        3.0315723419189453,
        3.2701892852783203,
        2.894719123840332,
        3.3289594650268555,
        2.949197769165039,
        2.3471908569335938,
        3.1513376235961914,
        3.1224489212036133,
        2.9043750762939453,
        3.07198429107666,
        3.079970359802246,
        2.9151439666748047,
        3.1459732055664062,
        3.2045841217041016,
        3.025054931640625
      ],
      "thread_cpu_sd_ns": 0.22968636071859186,
      "values": 16384,
      "values_per_second": 327702748.03242594
    },
    {
      "approx_95_percent_interval_ns": [
        14.085234214142638,
        14.651410403573834
      ],
      "dataset": "length-8",
      "encoded_bytes": 131072,
      "implementation": "Leb128",
      "mean_ns_per_value": 14.368322308858236,
      "mean_thread_cpu_ns_per_value": 14.215376536051432,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        15.076478004455566,
        15.087485313415527,
        14.22472858428955,
        14.292001724243164,
        15.29395580291748,
        14.624556541442871,
        13.841669082641602,
        14.156103134155273,
        14.076034545898438,
        13.606786727905273,
        14.518499374389648,
        13.551752090454102,
        14.451542854309082,
        14.416377067565918,
        14.306863784790039
      ],
      "sd_ns": 0.5111400822112344,
      "thread_cpu_approx_95_percent_interval_ns": [
        13.984385976772218,
        14.446367095330645
      ],
      "thread_cpu_ns_per_value_samples": [
        14.694412231445312,
        14.61776065826416,
        14.125147819519043,
        13.991077423095703,
        14.961202621459961,
        14.581401824951172,
        13.789932250976562,
        14.014482498168945,
        13.92050552368164,
        13.580520629882812,
        14.491955757141113,
        13.531248092651367,
        14.37532901763916,
        14.332453727722168,
        14.223217964172363
      ],
      "thread_cpu_sd_ns": 0.41707346816761276,
      "values": 16384,
      "values_per_second": 69597547.8907157
    },
    {
      "approx_95_percent_interval_ns": [
        2.937937937051852,
        3.051634715129138
      ],
      "dataset": "length-8",
      "encoded_bytes": 131072,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 2.994786326090495,
      "mean_thread_cpu_ns_per_value": 2.9713314056396483,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.9831724166870117,
        3.243009567260742,
        2.9201107025146484,
        2.9862728118896484,
        3.0028419494628906,
        3.189723014831543,
        2.9685096740722656,
        2.8706789016723633,
        2.8752880096435547,
        2.996206283569336,
        2.890427589416504,
        2.993901252746582,
        2.985438346862793,
        2.9952526092529297,
        3.0209617614746094
      ],
      "sd_ns": 0.10264469184400256,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.9292221511156775,
        3.013440660163619
      ],
      "thread_cpu_ns_per_value_samples": [
        2.969583511352539,
        3.168781280517578,
        2.9060049057006836,
        2.9386682510375977,
        2.98917293548584,
        3.0567245483398438,
        2.9613170623779297,
        2.8685731887817383,
        2.872547149658203,
        2.978245735168457,
        2.8905868530273438,
        2.9903650283813477,
        2.9855575561523438,
        2.988616943359375,
        3.0052261352539062
      ],
      "thread_cpu_sd_ns": 0.07603190745573306,
      "values": 16384,
      "values_per_second": 333913638.9424607
    },
    {
      "approx_95_percent_interval_ns": [
        6.57564519498619,
        6.980655159017716
      ],
      "dataset": "length-8",
      "encoded_bytes": 131072,
      "implementation": "Verified",
      "mean_ns_per_value": 6.778150177001953,
      "mean_thread_cpu_ns_per_value": 6.6756088892618815,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.602327346801758,
        7.492780685424805,
        6.641904830932617,
        6.538271903991699,
        6.639361381530762,
        6.767233848571777,
        6.839990615844727,
        6.591439247131348,
        7.750709533691406,
        6.920099258422852,
        6.502310752868652,
        6.565093994140625,
        6.490826606750488,
        6.654143333435059,
        6.675759315490723
      ],
      "sd_ns": 0.3656402903827899,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.544518048721212,
        6.806699729802551
      ],
      "thread_cpu_ns_per_value_samples": [
        6.588895797729492,
        7.0902509689331055,
        6.481170654296875,
        6.492097854614258,
        6.634394645690918,
        6.676514625549316,
        6.764927864074707,
        6.587943077087402,
        7.30613899230957,
        6.760001182556152,
        6.471911430358887,
        6.510217666625977,
        6.473262786865234,
        6.654262542724609,
        6.642143249511719
      ],
      "thread_cpu_sd_ns": 0.23669587051484567,
      "values": 16384,
      "values_per_second": 147532877.53832427
    },
    {
      "approx_95_percent_interval_ns": [
        6.520144891188123,
        6.941084560309273
      ],
      "dataset": "length-8",
      "encoded_bytes": 131072,
      "implementation": "Previous",
      "mean_ns_per_value": 6.730614725748698,
      "mean_thread_cpu_ns_per_value": 6.6182348251342775,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.36275577545166,
        6.415764808654785,
        7.618188858032227,
        6.5795183181762695,
        6.452639579772949,
        6.58106803894043,
        6.587624549865723,
        6.737391471862793,
        7.5581865310668945,
        6.507317543029785,
        6.959795951843262,
        6.716886520385742,
        6.773710250854492,
        6.604552268981934,
        6.503820419311523
      ],
      "sd_ns": 0.380021521739925,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.4993861722885145,
        6.737083477980041
      ],
      "thread_cpu_ns_per_value_samples": [
        6.3512725830078125,
        6.395380020141602,
        7.037797927856445,
        6.568630218505859,
        6.435394287109375,
        6.514310836791992,
        6.580630302429199,
        6.625613212585449,
        7.118463516235352,
        6.497462272644043,
        6.67881965637207,
        6.641427993774414,
        6.743788719177246,
        6.582498550415039,
        6.502032279968262
      ],
      "thread_cpu_sd_ns": 0.21459153994910365,
      "values": 16384,
      "values_per_second": 148574839.11155862
    },
    {
      "approx_95_percent_interval_ns": [
        6.232565100453142,
        6.610461124318993
      ],
      "dataset": "length-8",
      "encoded_bytes": 131072,
      "implementation": "Leb128",
      "mean_ns_per_value": 6.421513112386068,
      "mean_thread_cpu_ns_per_value": 6.2802526473999025,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.120601654052734,
        6.737947463989258,
        7.103363990783691,
        6.445487976074219,
        6.233732223510742,
        6.270408630371094,
        6.1355438232421875,
        6.83875846862793,
        6.262341499328613,
        6.1505231857299805,
        7.0271100997924805,
        6.188115119934082,
        6.484230995178223,
        6.13995361328125,
        6.184577941894531
      ],
      "sd_ns": 0.3411620063008022,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.176455023049326,
        6.384050271750479
      ],
      "thread_cpu_ns_per_value_samples": [
        6.119052886962891,
        6.506085395812988,
        6.596088409423828,
        6.295243263244629,
        6.159543991088867,
        6.179213523864746,
        6.125767707824707,
        6.576816558837891,
        6.190776824951172,
        6.139159202575684,
        6.593942642211914,
        6.151954650878906,
        6.27402400970459,
        6.133516311645508,
        6.162604331970215
      ],
      "thread_cpu_sd_ns": 0.18741560395602588,
      "values": 16384,
      "values_per_second": 155726537.11025843
    },
    {
      "approx_95_percent_interval_ns": [
        7.153793978948734,
        7.516911816339352
      ],
      "dataset": "length-8",
      "encoded_bytes": 131072,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 7.335352897644043,
      "mean_thread_cpu_ns_per_value": 7.245161883036295,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        7.199287414550781,
        8.150577545166016,
        7.239182472229004,
        7.226785659790039,
        7.173022270202637,
        7.275938987731934,
        8.04901123046875,
        7.109165191650391,
        7.511775016784668,
        7.180173873901367,
        7.329344749450684,
        7.232069969177246,
        7.095972061157227,
        7.15776252746582,
        7.100224494934082
      ],
      "sd_ns": 0.3278203582575104,
      "thread_cpu_approx_95_percent_interval_ns": [
        7.113394666237668,
        7.376929099834922
      ],
      "thread_cpu_ns_per_value_samples": [
        7.134636878967285,
        7.896701812744141,
        7.186372756958008,
        7.199883460998535,
        7.153511047363281,
        7.194876670837402,
        7.730205535888672,
        7.102927207946777,
        7.275263786315918,
        7.141391754150391,
        7.193207740783691,
        7.152636528015137,
        7.088820457458496,
        7.143178939819336,
        7.083813667297363
      ],
      "thread_cpu_sd_ns": 0.23791712645090177,
      "values": 16384,
      "values_per_second": 136326092.82113454
    },
    {
      "approx_95_percent_interval_ns": [
        2.6834524790770815,
        2.747341155973374
      ],
      "dataset": "length-9",
      "encoded_bytes": 147456,
      "implementation": "Verified",
      "mean_ns_per_value": 2.7153968175252277,
      "mean_thread_cpu_ns_per_value": 2.707566197713216,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.7219057083129883,
        2.701361656188965,
        2.7497615814208984,
        2.7054147720336914,
        2.7784500122070312,
        2.690831184387207,
        2.6504993438720703,
        2.7616825103759766,
        2.7060508728027344,
        2.8285980224609375,
        2.7736825942993164,
        2.733588218688965,
        2.659916877746582,
        2.6606712341308594,
        2.6085376739501953
      ],
      "sd_ns": 0.05767827077635567,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.6787802623746053,
        2.7363521330518266
      ],
      "thread_cpu_ns_per_value_samples": [
        2.701361656188965,
        2.6952028274536133,
        2.7468605041503906,
        2.6787919998168945,
        2.755244255065918,
        2.690951347351074,
        2.650697708129883,
        2.7620391845703125,
        2.7027931213378906,
        2.7923974990844727,
        2.773801803588867,
        2.7337474822998047,
        2.660076141357422,
        2.660830497741699,
        2.608696937561035
      ],
      "thread_cpu_sd_ns": 0.05197550031302687,
      "values": 16384,
      "values_per_second": 368270299.775701
    },
    {
      "approx_95_percent_interval_ns": [
        3.2166134586276955,
        3.4599706579901426
      ],
      "dataset": "length-9",
      "encoded_bytes": 147456,
      "implementation": "Previous",
      "mean_ns_per_value": 3.338292058308919,
      "mean_thread_cpu_ns_per_value": 3.282271448771159,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        3.2629566192626953,
        3.058354377746582,
        3.6030616760253906,
        3.559192657470703,
        3.4699840545654297,
        3.6162538528442383,
        3.5609798431396484,
        3.411571502685547,
        3.273209571838379,
        3.280003547668457,
        3.1371116638183594,
        3.019611358642578,
        3.135165214538574,
        3.6006364822387695,
        3.0862884521484375
      ],
      "sd_ns": 0.21970125415161668,
      "thread_cpu_approx_95_percent_interval_ns": [
        3.1831073560017464,
        3.3814355415405717
      ],
      "thread_cpu_ns_per_value_samples": [
        3.2630767822265625,
        3.054936408996582,
        3.591179847717285,
        3.348072052001953,
        3.254096031188965,
        3.4366044998168945,
        3.351250648498535,
        3.409147262573242,
        3.267725944519043,
        3.2782955169677734,
        3.1374292373657227,
        3.0197296142578125,
        3.1353235244750977,
        3.600796699523926,
        3.0864076614379883
      ],
      "thread_cpu_sd_ns": 0.17904936122969803,
      "values": 16384,
      "values_per_second": 299554377.66777384
    },
    {
      "approx_95_percent_interval_ns": [
        15.097793976469873,
        15.840062952037613
      ],
      "dataset": "length-9",
      "encoded_bytes": 147456,
      "implementation": "Leb128",
      "mean_ns_per_value": 15.468928464253743,
      "mean_thread_cpu_ns_per_value": 15.376806386311848,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        14.251032829284668,
        15.114903450012207,
        15.483419418334961,
        15.961567878723145,
        15.707731246948242,
        16.31319522857666,
        15.471816062927246,
        15.440265655517578,
        15.679438591003418,
        14.212250709533691,
        15.733957290649414,
        15.655000686645508,
        16.528685569763184,
        14.645099639892578,
        15.835562705993652
      ],
      "sd_ns": 0.6701154733753606,
      "thread_cpu_approx_95_percent_interval_ns": [
        15.001025253133237,
        15.75258751949046
      ],
      "thread_cpu_ns_per_value_samples": [
        14.177203178405762,
        14.86670970916748,
        15.291690826416016,
        15.886902809143066,
        15.471856117248535,
        16.121745109558105,
        15.448769569396973,
        15.398263931274414,
        15.602986335754395,
        14.097373008728027,
        15.64164924621582,
        15.65269660949707,
        16.524712562561035,
        14.636239051818848,
        15.833297729492188
      ],
      "thread_cpu_sd_ns": 0.6785053942283057,
      "values": 16384,
      "values_per_second": 64645718.82343645
    },
    {
      "approx_95_percent_interval_ns": [
        3.1630168772666916,
        3.437575163748934
      ],
      "dataset": "length-9",
      "encoded_bytes": 147456,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 3.3002960205078127,
      "mean_thread_cpu_ns_per_value": 3.26106808980306,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        3.171563148498535,
        3.3606691360473633,
        3.219127655029297,
        3.222306251525879,
        3.0558900833129883,
        3.5181846618652344,
        3.926555633544922,
        3.61196231842041,
        3.15248966217041,
        3.3054351806640625,
        3.362457275390625,
        3.3622188568115234,
        3.2672882080078125,
        2.992868423461914,
        2.975423812866211
      ],
      "sd_ns": 0.24786938720488783,
      "thread_cpu_approx_95_percent_interval_ns": [
        3.15288388110346,
        3.36925229850266
      ],
      "thread_cpu_ns_per_value_samples": [
        3.1551122665405273,
        3.3572511672973633,
        3.1891660690307617,
        3.220677375793457,
        3.049612045288086,
        3.2760705947875977,
        3.6498708724975586,
        3.6084651947021484,
        3.1474828720092773,
        3.303647041320801,
        3.3626155853271484,
        3.362377166748047,
        3.267566680908203,
        2.9930267333984375,
        2.9730796813964844
      ],
      "thread_cpu_sd_ns": 0.1953359620588244,
      "values": 16384,
      "values_per_second": 303003122.68538
    },
    {
      "approx_95_percent_interval_ns": [
        6.585209112696742,
        6.765907703506057
      ],
      "dataset": "length-9",
      "encoded_bytes": 147456,
      "implementation": "Verified",
      "mean_ns_per_value": 6.675558408101399,
      "mean_thread_cpu_ns_per_value": 6.673621940612793,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.899237632751465,
        6.962576866149902,
        6.930509567260742,
        6.762782096862793,
        6.783287048339844,
        6.687322616577148,
        6.560246467590332,
        6.4584808349609375,
        6.59445858001709,
        6.597439765930176,
        6.52297306060791,
        6.555874824523926,
        6.653308868408203,
        6.699204444885254,
        6.465673446655273
      ],
      "sd_ns": 0.16313348085958776,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.582806079019213,
        6.7644378022063725
      ],
      "thread_cpu_ns_per_value_samples": [
        6.899476051330566,
        6.962776184082031,
        6.930668830871582,
        6.7630205154418945,
        6.7834062576293945,
        6.6818389892578125,
        6.560364723205566,
        6.458600044250488,
        6.590008735656738,
        6.597558975219727,
        6.518562316894531,
        6.551821708679199,
        6.641109466552734,
        6.699323654174805,
        6.465792655944824
      ],
      "thread_cpu_sd_ns": 0.16397590653772093,
      "values": 16384,
      "values_per_second": 149800202.30014148
    },
    {
      "approx_95_percent_interval_ns": [
        6.554287921894006,
        6.648421530417193
      ],
      "dataset": "length-9",
      "encoded_bytes": 147456,
      "implementation": "Previous",
      "mean_ns_per_value": 6.601354726155599,
      "mean_thread_cpu_ns_per_value": 6.601312446594238,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.517092704772949,
        6.6339569091796875,
        6.610591888427734,
        6.657442092895508,
        6.521463394165039,
        6.6970977783203125,
        6.529013633728027,
        6.676037788391113,
        6.488800048828125,
        6.514151573181152,
        6.781379699707031,
        6.669282913208008,
        6.557901382446289,
        6.624897003173828,
        6.54121208190918
      ],
      "sd_ns": 0.08498319303699553,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.554339738158579,
        6.648285155029897
      ],
      "thread_cpu_ns_per_value_samples": [
        6.5172119140625,
        6.6341962814331055,
        6.610751152038574,
        6.657560348510742,
        6.52158260345459,
        6.697257041931152,
        6.529132843017578,
        6.673376083374023,
        6.488959312438965,
        6.514270782470703,
        6.781498908996582,
        6.669441223144531,
        6.558060646057129,
        6.625016212463379,
        6.5413713455200195
      ],
      "thread_cpu_sd_ns": 0.08481329487065944,
      "values": 16384,
      "values_per_second": 151484057.6643827
    },
    {
      "approx_95_percent_interval_ns": [
        6.0094964647014875,
        6.12908182305893
      ],
      "dataset": "length-9",
      "encoded_bytes": 147456,
      "implementation": "Leb128",
      "mean_ns_per_value": 6.069289143880209,
      "mean_thread_cpu_ns_per_value": 6.067517217000326,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.16892147064209,
        6.223082542419434,
        6.238420486450195,
        6.150603294372559,
        5.988399505615234,
        5.960424423217773,
        6.086627960205078,
        5.955894470214844,
        5.958040237426758,
        6.121316909790039,
        6.099224090576172,
        5.8786468505859375,
        6.085315704345703,
        5.9909820556640625,
        6.133437156677246
      ],
      "sd_ns": 0.10796086278988876,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.007879159703098,
        6.127155274297554
      ],
      "thread_cpu_ns_per_value_samples": [
        6.166140556335449,
        6.223201751708984,
        6.238579750061035,
        6.148537635803223,
        5.988518714904785,
        5.960543632507324,
        6.086747169494629,
        5.956053733825684,
        5.95402717590332,
        6.110668182373047,
        6.099343299865723,
        5.878806114196777,
        6.085475921630859,
        5.986651420593262,
        6.129463195800781
      ],
      "thread_cpu_sd_ns": 0.10768167958616637,
      "values": 16384,
      "values_per_second": 164763941.2612795
    },
    {
      "approx_95_percent_interval_ns": [
        7.1911573765605565,
        7.3222503942320865
      ],
      "dataset": "length-9",
      "encoded_bytes": 147456,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 7.2567038853963215,
      "mean_thread_cpu_ns_per_value": 7.255305163065592,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        7.398883819580078,
        7.238864898681641,
        7.471522331237793,
        7.139960289001465,
        7.209300994873047,
        7.202625274658203,
        7.221221923828125,
        7.309118270874023,
        7.034262657165527,
        7.302403450012207,
        7.1563720703125,
        7.153232574462891,
        7.4312286376953125,
        7.318019866943359,
        7.263541221618652
      ],
      "sd_ns": 0.11834990075662254,
      "thread_cpu_approx_95_percent_interval_ns": [
        7.190092051118223,
        7.320518275012961
      ],
      "thread_cpu_ns_per_value_samples": [
        7.399003028869629,
        7.2394609451293945,
        7.466872215270996,
        7.137933731079102,
        7.2051286697387695,
        7.202744483947754,
        7.221500396728516,
        7.304628372192383,
        7.034420967102051,
        7.302522659301758,
        7.154783248901367,
        7.1533918380737305,
        7.431387901306152,
        7.312098503112793,
        7.263700485229492
      ],
      "thread_cpu_sd_ns": 0.11774792378858627,
      "values": 16384,
      "values_per_second": 137803611.08745798
    },
    {
      "approx_95_percent_interval_ns": [
        2.6241248013831115,
        2.6921007591230732
      ],
      "dataset": "length-10",
      "encoded_bytes": 163840,
      "implementation": "Verified",
      "mean_ns_per_value": 2.6581127802530924,
      "mean_thread_cpu_ns_per_value": 2.657959238688151,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.624988555908203,
        2.651174545288086,
        2.685983657836914,
        2.693216323852539,
        2.754171371459961,
        2.6488304138183594,
        2.6345643997192383,
        2.568404197692871,
        2.721508026123047,
        2.554337501525879,
        2.7097063064575195,
        2.6045637130737305,
        2.6252670288085938,
        2.7573108673095703,
        2.637664794921875
      ],
      "sd_ns": 0.06136824062223099,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.6239400726169637,
        2.6919784047593383
      ],
      "thread_cpu_ns_per_value_samples": [
        2.6252660751342773,
        2.646604537963867,
        2.686182975769043,
        2.693375587463379,
        2.75437068939209,
        2.649028778076172,
        2.634723663330078,
        2.568563461303711,
        2.7216672897338867,
        2.5544567108154297,
        2.7098655700683594,
        2.6046838760375977,
        2.625385284423828,
        2.757430076599121,
        2.637784004211426
      ],
      "thread_cpu_sd_ns": 0.06142455181611741,
      "values": 16384,
      "values_per_second": 376206761.21379054
    },
    {
      "approx_95_percent_interval_ns": [
        3.244310373462253,
        3.398428604605781
      ],
      "dataset": "length-10",
      "encoded_bytes": 163840,
      "implementation": "Previous",
      "mean_ns_per_value": 3.321369489034017,
      "mean_thread_cpu_ns_per_value": 3.3205139795939127,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        3.306746482849121,
        3.520846366882324,
        3.135561943054199,
        3.147562026977539,
        3.279566764831543,
        3.2753944396972656,
        3.286996841430664,
        3.13413143157959,
        3.2720956802368164,
        3.280679702758789,
        3.3448143005371094,
        3.5252180099487305,
        3.2738847732543945,
        3.520488739013672,
        3.516554832458496
      ],
      "sd_ns": 0.13913690968900458,
      "thread_cpu_approx_95_percent_interval_ns": [
        3.2432046107258117,
        3.3978233484620137
      ],
      "thread_cpu_ns_per_value_samples": [
        3.30352783203125,
        3.521005630493164,
        3.135721206665039,
        3.147721290588379,
        3.2771825790405273,
        3.2755136489868164,
        3.287236213684082,
        3.1299591064453125,
        3.2722158432006836,
        3.28079891204834,
        3.3399658203125,
        3.525456428527832,
        3.274083137512207,
        3.5206480026245117,
        3.516674041748047
      ],
      "thread_cpu_sd_ns": 0.13958876369788403,
      "values": 16384,
      "values_per_second": 301080624.5139678
    },
    {
      "approx_95_percent_interval_ns": [
        15.836497338832515,
        16.801686763543785
      ],
      "dataset": "length-10",
      "encoded_bytes": 163840,
      "implementation": "Leb128",
      "mean_ns_per_value": 16.31909205118815,
      "mean_thread_cpu_ns_per_value": 16.316037686665855,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        16.74385929107666,
        17.671385765075684,
        15.3273344039917,
        16.75872039794922,
        15.012581825256348,
        15.42194652557373,
        17.22983455657959,
        16.623616218566895,
        15.214999198913574,
        15.95008373260498,
        17.128705978393555,
        17.183859825134277,
        15.527327537536621,
        15.966018676757812,
        17.02610683441162
      ],
      "sd_ns": 0.8713665659305984,
      "thread_cpu_approx_95_percent_interval_ns": [
        15.834037746567574,
        16.798037626764135
      ],
      "thread_cpu_ns_per_value_samples": [
        16.744057655334473,
        17.6694393157959,
        15.327492713928223,
        16.75701141357422,
        15.012741088867188,
        15.422065734863281,
        17.22558307647705,
        16.608397483825684,
        15.215118408203125,
        15.948613166809082,
        17.128865242004395,
        17.179250717163086,
        15.523433685302734,
        15.957474708557129,
        17.021020889282227
      ],
      "thread_cpu_sd_ns": 0.8702926530879319,
      "values": 16384,
      "values_per_second": 61277918.94691792
    },
    {
      "approx_95_percent_interval_ns": [
        3.181891021849359,
        3.330904362875576
      ],
      "dataset": "length-10",
      "encoded_bytes": 163840,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 3.2563976923624676,
      "mean_thread_cpu_ns_per_value": 3.25528507232666,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        3.492156982421875,
        3.100912094116211,
        3.2471418380737305,
        3.1612319946289062,
        3.215829849243164,
        3.281195640563965,
        3.489175796508789,
        3.489255905151367,
        3.2127294540405273,
        3.226757049560547,
        3.2422142028808594,
        3.096938133239746,
        3.248532295227051,
        3.244161605834961,
        3.0977325439453125
      ],
      "sd_ns": 0.13452824898770716,
      "thread_cpu_approx_95_percent_interval_ns": [
        3.180841846503499,
        3.329728298149821
      ],
      "thread_cpu_ns_per_value_samples": [
        3.4923152923583984,
        3.101071357727051,
        3.2428903579711914,
        3.1613502502441406,
        3.215949058532715,
        3.266613006591797,
        3.489335060119629,
        3.4894142150878906,
        3.212888717651367,
        3.2269554138183594,
        3.242373466491699,
        3.097097396850586,
        3.2487707138061523,
        3.2443599700927734,
        3.0978918075561523
      ],
      "thread_cpu_sd_ns": 0.13441369410305834,
      "values": 16384,
      "values_per_second": 307087798.9950039
    },
    {
      "approx_95_percent_interval_ns": [
        6.74613730759615,
        7.066499894348837
      ],
      "dataset": "length-10",
      "encoded_bytes": 163840,
      "implementation": "Verified",
      "mean_ns_per_value": 6.906318600972494,
      "mean_thread_cpu_ns_per_value": 6.8489842732747395,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.856123924255371,
        6.981451988220215,
        6.784319877624512,
        6.272356033325195,
        6.765007972717285,
        6.7816972732543945,
        6.672541618347168,
        6.987412452697754,
        7.115999221801758,
        6.933808326721191,
        6.894469261169434,
        7.171034812927246,
        7.632573127746582,
        6.921966552734375,
        6.824016571044922
      ],
      "sd_ns": 0.28922120355269987,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.716343175929883,
        6.981625370619596
      ],
      "thread_cpu_ns_per_value_samples": [
        6.856243133544922,
        6.981572151184082,
        6.7844390869140625,
        6.26981258392334,
        6.763498306274414,
        6.781856536865234,
        6.670832633972168,
        6.987571716308594,
        7.116118431091309,
        6.780226707458496,
        6.784001350402832,
        6.949384689331055,
        7.387240409851074,
        6.808320999145508,
        6.813645362854004
      ],
      "thread_cpu_sd_ns": 0.23949499349151768,
      "values": 16384,
      "values_per_second": 144794941.81736532
    },
    {
      "approx_95_percent_interval_ns": [
        6.813501595718696,
        7.0426918196051975
      ],
      "dataset": "length-10",
      "encoded_bytes": 163840,
      "implementation": "Previous",
      "mean_ns_per_value": 6.928096707661947,
      "mean_thread_cpu_ns_per_value": 6.904827117919922,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.892681121826172,
        6.594657897949219,
        6.716012954711914,
        6.912906646728516,
        7.11512565612793,
        7.130980491638184,
        6.647467613220215,
        6.958921432495117,
        7.251063346862793,
        6.831446647644043,
        7.064938545227051,
        6.6574811935424805,
        7.165828704833984,
        7.079998970031738,
        6.901939392089844
      ],
      "sd_ns": 0.20691140331607688,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.794026582209962,
        7.015627653629882
      ],
      "thread_cpu_ns_per_value_samples": [
        6.879726409912109,
        6.5947771072387695,
        6.716132164001465,
        6.913025856018066,
        7.1152849197387695,
        7.131138801574707,
        6.647586822509766,
        6.959080696105957,
        7.251182556152344,
        6.806612014770508,
        7.04209041595459,
        6.627599716186523,
        6.964206695556641,
        7.080118179321289,
        6.843844413757324
      ],
      "thread_cpu_sd_ns": 0.20005996715875832,
      "values": 16384,
      "values_per_second": 144339786.55264384
    },
    {
      "approx_95_percent_interval_ns": [
        6.056827014644779,
        6.261148220340572
      ],
      "dataset": "length-10",
      "encoded_bytes": 163840,
      "implementation": "Leb128",
      "mean_ns_per_value": 6.158987617492675,
      "mean_thread_cpu_ns_per_value": 6.124573453267415,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.154934883117676,
        6.008306503295898,
        6.059725761413574,
        6.158590316772461,
        5.953232765197754,
        5.998969078063965,
        5.91886043548584,
        6.244222640991211,
        6.244063377380371,
        6.600499153137207,
        6.2153730392456055,
        6.253838539123535,
        6.055274963378906,
        6.0783233642578125,
        6.44059944152832
      ],
      "sd_ns": 0.18445981979879475,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.049510572489677,
        6.199636334045154
      ],
      "thread_cpu_ns_per_value_samples": [
        6.155054092407227,
        6.003935813903809,
        6.057779312133789,
        6.158749580383301,
        5.953392028808594,
        5.999128341674805,
        5.919018745422363,
        6.242156028747559,
        6.244341850280762,
        6.400029182434082,
        6.194591522216797,
        6.189823150634766,
        6.01506233215332,
        6.068190574645996,
        6.2673492431640625
      ],
      "thread_cpu_sd_ns": 0.1355325348114377,
      "values": 16384,
      "values_per_second": 162364346.56238198
    },
    {
      "approx_95_percent_interval_ns": [
        7.368961190555853,
        7.634206406896946
      ],
      "dataset": "length-10",
      "encoded_bytes": 163840,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 7.5015837987264,
      "mean_thread_cpu_ns_per_value": 7.444267972310384,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        7.334311485290527,
        7.510503768920898,
        7.374286651611328,
        7.256269454956055,
        7.250785827636719,
        7.499337196350098,
        7.491787910461426,
        7.381558418273926,
        7.567326545715332,
        8.037805557250977,
        7.379412651062012,
        8.011857986450195,
        7.455548286437988,
        7.646481513977051,
        7.326483726501465
      ],
      "sd_ns": 0.23946160968536948,
      "thread_cpu_approx_95_percent_interval_ns": [
        7.362766158600495,
        7.525769786020273
      ],
      "thread_cpu_ns_per_value_samples": [
        7.334430694580078,
        7.510662078857422,
        7.374445915222168,
        7.2563886642456055,
        7.2509050369262695,
        7.4994964599609375,
        7.491907119750977,
        7.3816375732421875,
        7.567445755004883,
        7.63547420501709,
        7.321159362792969,
        7.723331451416016,
        7.391532897949219,
        7.623354911804199,
        7.301847457885742
      ],
      "thread_cpu_sd_ns": 0.14715858609981275,
      "values": 16384,
      "values_per_second": 133305182.85615599
    },
    {
      "approx_95_percent_interval_ns": [
        1.2773409086674323,
        1.3943141104569168
      ],
      "dataset": "short-80-15-5",
      "encoded_bytes": 25750,
      "implementation": "Verified",
      "mean_ns_per_value": 1.3358275095621746,
      "mean_thread_cpu_ns_per_value": 1.3260786692301432,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        1.2108879089355469,
        1.2455387115478516,
        1.1765565872192383,
        1.451690673828125,
        1.2187957763671875,
        1.4111595153808594,
        1.3878345489501953,
        1.4732284545898438,
        1.2949304580688477,
        1.3142423629760742,
        1.2813405990600586,
        1.3081636428833008,
        1.5361309051513672,
        1.4139413833618164,
        1.3129711151123047
      ],
      "sd_ns": 0.10560262528746683,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.2697480633563019,
        1.3824092751039845
      ],
      "thread_cpu_ns_per_value_samples": [
        1.197615623474121,
        1.245697021484375,
        1.1767148971557617,
        1.4518098831176758,
        1.2164907455444336,
        1.4112787246704102,
        1.3856487274169922,
        1.384058952331543,
        1.2950506210327148,
        1.314401626586914,
        1.2814998626708984,
        1.288254737854004,
        1.536250114440918,
        1.4140605926513672,
        1.2923479080200195
      ],
      "thread_cpu_sd_ns": 0.10170978947839666,
      "values": 16384,
      "values_per_second": 748599645.4196066
    },
    {
      "approx_95_percent_interval_ns": [
        1.2737134431019848,
        1.3744336312795258
      ],
      "dataset": "short-80-15-5",
      "encoded_bytes": 25750,
      "implementation": "Previous",
      "mean_ns_per_value": 1.3240735371907553,
      "mean_thread_cpu_ns_per_value": 1.3043906529744467,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        1.5926761627197266,
        1.421372413635254,
        1.2424383163452148,
        1.3644695281982422,
        1.2367963790893555,
        1.2951288223266602,
        1.2725591659545898,
        1.251896858215332,
        1.288334846496582,
        1.370112419128418,
        1.3277530670166016,
        1.3153553009033203,
        1.3265609741210938,
        1.3074474334716797,
        1.2482013702392578
      ],
      "sd_ns": 0.09092951315582598,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.273903002368617,
        1.3348783035802763
      ],
      "thread_cpu_ns_per_value_samples": [
        1.4487504959106445,
        1.3554096221923828,
        1.2425975799560547,
        1.3370914459228516,
        1.2369556427001953,
        1.2952880859375,
        1.2702150344848633,
        1.2520151138305664,
        1.2885332107543945,
        1.3386011123657227,
        1.3238191604614258,
        1.2938175201416016,
        1.3267602920532227,
        1.3075666427612305,
        1.248438835144043
      ],
      "thread_cpu_sd_ns": 0.05504809466730468,
      "values": 16384,
      "values_per_second": 755245061.4802469
    },
    {
      "approx_95_percent_interval_ns": [
        2.8936070383055528,
        2.967664883488067
      ],
      "dataset": "short-80-15-5",
      "encoded_bytes": 25750,
      "implementation": "Leb128",
      "mean_ns_per_value": 2.9306359608968098,
      "mean_thread_cpu_ns_per_value": 2.918277931213379,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.9027862548828125,
        2.9801530838012695,
        2.8989715576171875,
        2.965569496154785,
        2.9192771911621094,
        2.9876632690429688,
        3.0148820877075195,
        2.9986705780029297,
        2.9882593154907227,
        2.9075145721435547,
        2.979198455810547,
        2.759854316711426,
        2.8679370880126953,
        2.9009971618652344,
        2.8878049850463867
      ],
      "sd_ns": 0.06685892798318949,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.883388584236749,
        2.9531672781900093
      ],
      "thread_cpu_ns_per_value_samples": [
        2.8880443572998047,
        2.8996076583862305,
        2.8858585357666016,
        2.951303482055664,
        2.9130773544311523,
        2.987781524658203,
        3.0040340423583984,
        2.9796361923217773,
        2.9883785247802734,
        2.9043760299682617,
        2.9622316360473633,
        2.7601327896118164,
        2.868135452270508,
        2.897937774658203,
        2.883633613586426
      ],
      "thread_cpu_sd_ns": 0.06299573883475143,
      "values": 16384,
      "values_per_second": 341222865.3926665
    },
    {
      "approx_95_percent_interval_ns": [
        1.3355806913728638,
        1.4859915488208209
      ],
      "dataset": "short-80-15-5",
      "encoded_bytes": 25750,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 1.4107861200968423,
      "mean_thread_cpu_ns_per_value": 1.3872729619344075,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        1.2927846908569336,
        1.3947086334228516,
        1.3724966049194336,
        1.3579530715942383,
        1.3115406036376953,
        1.2967586517333984,
        1.6103582382202148,
        1.437067985534668,
        1.318216323852539,
        1.280466079711914,
        1.7101364135742188,
        1.6268091201782227,
        1.4692144393920898,
        1.369277000427246,
        1.3140039443969727
      ],
      "sd_ns": 0.13578991747895472,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.3351705730080823,
        1.4393753508607328
      ],
      "thread_cpu_ns_per_value_samples": [
        1.2930231094360352,
        1.3949470520019531,
        1.3726158142089844,
        1.358072280883789,
        1.3117790222167969,
        1.2969579696655273,
        1.4853878021240234,
        1.4374256134033203,
        1.318375587463379,
        1.2805852890014648,
        1.5579071044921875,
        1.5693902969360352,
        1.4490680694580078,
        1.3693962097167969,
        1.3141632080078125
      ],
      "thread_cpu_sd_ns": 0.09407537744022336,
      "values": 16384,
      "values_per_second": 708824665.734134
    },
    {
      "approx_95_percent_interval_ns": [
        4.9468255796298894,
        5.107720522258131
      ],
      "dataset": "short-80-15-5",
      "encoded_bytes": 25750,
      "implementation": "Verified",
      "mean_ns_per_value": 5.02727305094401,
      "mean_thread_cpu_ns_per_value": 5.01149222056071,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        5.003054618835449,
        4.865487098693848,
        4.9207611083984375,
        5.027215003967285,
        4.982551574707031,
        4.97452449798584,
        4.873116493225098,
        5.112290382385254,
        4.89668083190918,
        5.145549774169922,
        4.899263381958008,
        5.173404693603516,
        5.359768867492676,
        5.219738006591797,
        4.955689430236816
      ],
      "sd_ns": 0.1452548795543527,
      "thread_cpu_approx_95_percent_interval_ns": [
        4.9437730544361225,
        5.079211386685297
      ],
      "thread_cpu_ns_per_value_samples": [
        4.998723030090332,
        4.865606307983398,
        4.917104721069336,
        5.023797035217285,
        4.982670783996582,
        4.968523979187012,
        4.870614051818848,
        5.09146785736084,
        4.890481948852539,
        5.123813629150391,
        4.897157669067383,
        5.1600141525268555,
        5.232810974121094,
        5.19827938079834,
        4.95131778717041
      ],
      "thread_cpu_sd_ns": 0.12227282173406948,
      "values": 16384,
      "values_per_second": 198914996.234832
    },
    {
      "approx_95_percent_interval_ns": [
        4.97871910171634,
        5.076886723072072
      ],
      "dataset": "short-80-15-5",
      "encoded_bytes": 25750,
      "implementation": "Previous",
      "mean_ns_per_value": 5.027802912394206,
      "mean_thread_cpu_ns_per_value": 5.010136159261068,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        5.034486770629883,
        5.061626434326172,
        5.084952354431152,
        4.885673522949219,
        4.921038627624512,
        4.87236213684082,
        5.072513580322266,
        4.966696739196777,
        5.135257720947266,
        4.989664077758789,
        5.099138259887695,
        5.108674049377441,
        4.961093902587891,
        5.092223167419434,
        5.1316423416137695
      ],
      "sd_ns": 0.08862507287821521,
      "thread_cpu_approx_95_percent_interval_ns": [
        4.961945211373817,
        5.058327107148318
      ],
      "thread_cpu_ns_per_value_samples": [
        5.03230094909668,
        4.95179557800293,
        5.085110664367676,
        4.88142204284668,
        4.9211578369140625,
        4.869858741760254,
        5.069732666015625,
        4.932761192321777,
        5.1201982498168945,
        4.974405288696289,
        5.095759391784668,
        5.0811767578125,
        4.951437950134277,
        5.090078353881836,
        5.094846725463867
      ],
      "thread_cpu_sd_ns": 0.08701293175070814,
      "values": 16384,
      "values_per_second": 198894033.3231572
    },
    {
      "approx_95_percent_interval_ns": [
        5.623262421647082,
        5.748170073470105
      ],
      "dataset": "short-80-15-5",
      "encoded_bytes": 25750,
      "implementation": "Leb128",
      "mean_ns_per_value": 5.685716247558593,
      "mean_thread_cpu_ns_per_value": 5.66652348836263,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        5.774855613708496,
        5.5605974197387695,
        5.61678409576416,
        5.691409111022949,
        5.49050235748291,
        5.781213760375977,
        5.687594413757324,
        5.585272789001465,
        5.758960723876953,
        5.883852005004883,
        5.556861877441406,
        5.631923675537109,
        5.832195281982422,
        5.765874862670898,
        5.667845726013184
      ],
      "sd_ns": 0.11276579378192172,
      "thread_cpu_approx_95_percent_interval_ns": [
        5.6085515669825785,
        5.724495409742682
      ],
      "thread_cpu_ns_per_value_samples": [
        5.649487495422363,
        5.527337074279785,
        5.612810134887695,
        5.6915283203125,
        5.490660667419434,
        5.770166397094727,
        5.682706832885742,
        5.582571029663086,
        5.745966911315918,
        5.856355667114258,
        5.551059722900391,
        5.630056381225586,
        5.797147750854492,
        5.7508544921875,
        5.659143447875977
      ],
      "thread_cpu_sd_ns": 0.10467332683104195,
      "values": 16384,
      "values_per_second": 175879336.29811248
    },
    {
      "approx_95_percent_interval_ns": [
        5.012439942262687,
        5.159349481361988
      ],
      "dataset": "short-80-15-5",
      "encoded_bytes": 25750,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 5.085894711812338,
      "mean_thread_cpu_ns_per_value": 5.057491302490234,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        5.020420074462891,
        4.888852119445801,
        5.138874053955078,
        5.108356475830078,
        5.209843635559082,
        5.082964897155762,
        4.962563514709473,
        5.402484893798828,
        4.977901458740234,
        5.091507911682129,
        5.263050079345703,
        5.004405975341797,
        4.961450576782227,
        5.044182777404785,
        5.131562232971191
      ],
      "sd_ns": 0.132628950659813,
      "thread_cpu_approx_95_percent_interval_ns": [
        4.9946837193114035,
        5.120298885669065
      ],
      "thread_cpu_ns_per_value_samples": [
        4.977385520935059,
        4.886786460876465,
        5.138993263244629,
        5.098422050476074,
        5.207856178283691,
        4.986366271972656,
        4.9550933837890625,
        5.248269081115723,
        4.943530082702637,
        5.085906028747559,
        5.226214408874512,
        4.998167037963867,
        4.956523895263672,
        5.026777267456055,
        5.1260786056518555
      ],
      "thread_cpu_sd_ns": 0.11340453317815842,
      "values": 16384,
      "values_per_second": 196622237.9078025
    },
    {
      "approx_95_percent_interval_ns": [
        2.6207791063257835,
        2.7152883476943988
      ],
      "dataset": "full-width",
      "encoded_bytes": 155617,
      "implementation": "Verified",
      "mean_ns_per_value": 2.668033727010091,
      "mean_thread_cpu_ns_per_value": 2.656549644470215,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.504627227783203,
        2.7414159774780273,
        2.60007381439209,
        2.680459976196289,
        2.684990882873535,
        2.7470197677612305,
        2.821843147277832,
        2.6285648345947266,
        2.741177558898926,
        2.7358531951904297,
        2.551516532897949,
        2.7019577026367188,
        2.6618642807006836,
        2.5798473358154297,
        2.639293670654297
      ],
      "sd_ns": 0.08532231186091908,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.6153654247314964,
        2.6977338642089337
      ],
      "thread_cpu_ns_per_value_samples": [
        2.5014476776123047,
        2.7325544357299805,
        2.59836483001709,
        2.680619239807129,
        2.6769237518310547,
        2.6906728744506836,
        2.7698678970336914,
        2.624591827392578,
        2.7279052734375,
        2.725919723510742,
        2.550919532775879,
        2.687016487121582,
        2.661982536315918,
        2.5799665451049805,
        2.6394920349121094
      ],
      "thread_cpu_sd_ns": 0.07436167700447731,
      "values": 16384,
      "values_per_second": 374807855.64155567
    },
    {
      "approx_95_percent_interval_ns": [
        5.561368784704736,
        5.673015116255551
      ],
      "dataset": "full-width",
      "encoded_bytes": 155617,
      "implementation": "Previous",
      "mean_ns_per_value": 5.6171919504801435,
      "mean_thread_cpu_ns_per_value": 5.593042945861816,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        5.572875022888184,
        5.783041000366211,
        5.403757095336914,
        5.730271339416504,
        5.638280868530273,
        5.570927619934082,
        5.633831024169922,
        5.667686462402344,
        5.637845039367676,
        5.753477096557617,
        5.4482622146606445,
        5.601446151733398,
        5.618810653686523,
        5.615035057067871,
        5.582332611083984
      ],
      "sd_ns": 0.100793562415259,
      "thread_cpu_approx_95_percent_interval_ns": [
        5.54405571175306,
        5.642030179970572
      ],
      "thread_cpu_ns_per_value_samples": [
        5.556821823120117,
        5.668282508850098,
        5.388299942016602,
        5.6753950119018555,
        5.5817766189575195,
        5.563855171203613,
        5.596518516540527,
        5.655566215515137,
        5.622982978820801,
        5.7464447021484375,
        5.440950393676758,
        5.582094192504883,
        5.618969917297363,
        5.615194320678711,
        5.582491874694824
      ],
      "thread_cpu_sd_ns": 0.08845069551514008,
      "values": 16384,
      "values_per_second": 178024893.72194633
    },
    {
      "approx_95_percent_interval_ns": [
        18.120532412597086,
        18.431298006307536
      ],
      "dataset": "full-width",
      "encoded_bytes": 155617,
      "implementation": "Leb128",
      "mean_ns_per_value": 18.27591520945231,
      "mean_thread_cpu_ns_per_value": 18.23262119293213,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        18.147945404052734,
        17.553964614868164,
        18.550951957702637,
        18.30923557281494,
        18.314441680908203,
        18.63563060760498,
        18.07534694671631,
        18.210848808288574,
        17.94874668121338,
        18.295645713806152,
        18.221179008483887,
        18.56362819671631,
        18.366535186767578,
        18.34245491027832,
        18.6021728515625
      ],
      "sd_ns": 0.28055710233445763,
      "thread_cpu_approx_95_percent_interval_ns": [
        18.07785293164036,
        18.387389454223896
      ],
      "thread_cpu_ns_per_value_samples": [
        18.085440635681152,
        17.522335052490234,
        18.47418212890625,
        18.231630325317383,
        18.226146697998047,
        18.517017364501953,
        18.056710243225098,
        18.1843843460083,
        17.885168075561523,
        18.26890277862549,
        18.17929744720459,
        18.560211181640625,
        18.35481357574463,
        18.34257411956787,
        18.60050392150879
      ],
      "thread_cpu_sd_ns": 0.27944750513029853,
      "values": 16384,
      "values_per_second": 54716822.03268264
    },
    {
      "approx_95_percent_interval_ns": [
        5.276594332940493,
        5.397882290594663
      ],
      "dataset": "full-width",
      "encoded_bytes": 155617,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 5.337238311767578,
      "mean_thread_cpu_ns_per_value": 5.320141156514485,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        5.388298988342285,
        5.315741539001465,
        5.349357604980469,
        5.344510078430176,
        5.383014678955078,
        5.333702087402344,
        5.378127098083496,
        5.4159955978393555,
        5.558529853820801,
        5.410154342651367,
        5.098025321960449,
        5.358695983886719,
        5.29917049407959,
        5.2837934494018555,
        5.141457557678223
      ],
      "sd_ns": 0.10949795806296289,
      "thread_cpu_approx_95_percent_interval_ns": [
        5.265097442647557,
        5.375184870381414
      ],
      "thread_cpu_ns_per_value_samples": [
        5.3855180740356445,
        5.302786827087402,
        5.333900451660156,
        5.344669342041016,
        5.368351936340332,
        5.305131912231445,
        5.373835563659668,
        5.327025413513184,
        5.515059471130371,
        5.401174545288086,
        5.098223686218262,
        5.321621894836426,
        5.29932975769043,
        5.283912658691406,
        5.141575813293457
      ],
      "thread_cpu_sd_ns": 0.0993861944615482,
      "values": 16384,
      "values_per_second": 187362816.04574287
    },
    {
      "approx_95_percent_interval_ns": [
        8.094692778975684,
        8.22638863683649
      ],
      "dataset": "full-width",
      "encoded_bytes": 155617,
      "implementation": "Verified",
      "mean_ns_per_value": 8.160540707906087,
      "mean_thread_cpu_ns_per_value": 8.158712832132975,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        8.255163192749023,
        8.261839866638184,
        8.292555809020996,
        8.174458503723145,
        8.213003158569336,
        8.27038288116455,
        8.231322288513184,
        8.070032119750977,
        7.9663190841674805,
        7.964611053466797,
        8.252898216247559,
        7.985671043395996,
        8.051872253417969,
        8.234700202941895,
        8.183280944824219
      ],
      "sd_ns": 0.11889414085300716,
      "thread_cpu_approx_95_percent_interval_ns": [
        8.093301442929137,
        8.224124221336814
      ],
      "thread_cpu_ns_per_value_samples": [
        8.255322456359863,
        8.25778579711914,
        8.292675018310547,
        8.174617767333984,
        8.21077823638916,
        8.255084991455078,
        8.231480598449707,
        8.070151329040527,
        7.964094161987305,
        7.964770317077637,
        8.25301742553711,
        7.9833269119262695,
        8.052031517028809,
        8.234818458557129,
        8.180737495422363
      ],
      "thread_cpu_sd_ns": 0.11810593055419959,
      "values": 16384,
      "values_per_second": 122540899.65278661
    },
    {
      "approx_95_percent_interval_ns": [
        8.143181511591237,
        8.276520636846264
      ],
      "dataset": "full-width",
      "encoded_bytes": 155617,
      "implementation": "Previous",
      "mean_ns_per_value": 8.20985107421875,
      "mean_thread_cpu_ns_per_value": 8.208123842875162,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        8.126935005187988,
        8.294224739074707,
        8.294661521911621,
        8.112907409667969,
        8.23040771484375,
        8.213996887207031,
        8.336504936218262,
        8.326807975769043,
        8.096575736999512,
        8.1251859664917,
        8.289297103881836,
        8.080443382263184,
        8.063554763793945,
        8.093277931213379,
        8.462985038757324
      ],
      "sd_ns": 0.12037767168078975,
      "thread_cpu_approx_95_percent_interval_ns": [
        8.141994128710774,
        8.27425355703955
      ],
      "thread_cpu_ns_per_value_samples": [
        8.127093315124512,
        8.294384002685547,
        8.29017162322998,
        8.1082181930542,
        8.23056697845459,
        8.214156150817871,
        8.336663246154785,
        8.312702178955078,
        8.096694946289062,
        8.125385284423828,
        8.289456367492676,
        8.080601692199707,
        8.063713073730469,
        8.090734481811523,
        8.461316108703613
      ],
      "thread_cpu_sd_ns": 0.11940292850728752,
      "values": 16384,
      "values_per_second": 121804889.14595324
    },
    {
      "approx_95_percent_interval_ns": [
        7.290415947984146,
        7.440980536390855
      ],
      "dataset": "full-width",
      "encoded_bytes": 155617,
      "implementation": "Leb128",
      "mean_ns_per_value": 7.3656982421875,
      "mean_thread_cpu_ns_per_value": 7.364744504292806,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        7.30458927154541,
        7.363796234130859,
        7.644335746765137,
        7.514595985412598,
        7.411280632019043,
        7.34523868560791,
        7.317741394042969,
        7.280270576477051,
        7.333278656005859,
        7.345636367797852,
        7.246295928955078,
        7.283608436584473,
        7.103283882141113,
        7.590333938598633,
        7.401187896728516
      ],
      "sd_ns": 0.13592870476171534,
      "thread_cpu_approx_95_percent_interval_ns": [
        7.289028185447338,
        7.440460823138273
      ],
      "thread_cpu_ns_per_value_samples": [
        7.300415992736816,
        7.36391544342041,
        7.6444549560546875,
        7.5147552490234375,
        7.411439895629883,
        7.34539794921875,
        7.317900657653809,
        7.272283554077148,
        7.33339786529541,
        7.345755577087402,
        7.242362022399902,
        7.283726692199707,
        7.103443145751953,
        7.590532302856445,
        7.401386260986328
      ],
      "thread_cpu_sd_ns": 0.13671237385763382,
      "values": 16384,
      "values_per_second": 135764453.97565123
    },
    {
      "approx_95_percent_interval_ns": [
        8.18429766660193,
        8.31001385683557
      ],
      "dataset": "full-width",
      "encoded_bytes": 155617,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 8.24715576171875,
      "mean_thread_cpu_ns_per_value": 8.245828564961752,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        8.266409873962402,
        8.186022758483887,
        8.141596794128418,
        8.195002555847168,
        8.339365005493164,
        8.400718688964844,
        8.117159843444824,
        8.067330360412598,
        8.350689888000488,
        8.311590194702148,
        8.479435920715332,
        8.197864532470703,
        8.269548416137695,
        8.151848793029785,
        8.232752799987793
      ],
      "sd_ns": 0.1134957368586304,
      "thread_cpu_approx_95_percent_interval_ns": [
        8.182773456239104,
        8.308883673684399
      ],
      "thread_cpu_ns_per_value_samples": [
        8.266528129577637,
        8.186182022094727,
        8.141756057739258,
        8.195201873779297,
        8.339484214782715,
        8.400876998901367,
        8.1133451461792,
        8.062641143798828,
        8.34206771850586,
        8.311708450317383,
        8.479635238647461,
        8.196036338806152,
        8.267085075378418,
        8.152008056640625,
        8.232872009277344
      ],
      "thread_cpu_sd_ns": 0.11385146199352394,
      "values": 16384,
      "values_per_second": 121253924.24886066
    },
    {
      "approx_95_percent_interval_ns": [
        1.9881345161044397,
        2.1688575696703003
      ],
      "dataset": "alternating",
      "encoded_bytes": 90112,
      "implementation": "Verified",
      "mean_ns_per_value": 2.07849604288737,
      "mean_thread_cpu_ns_per_value": 2.0405213673909506,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.0994338989257812,
        1.97772216796875,
        1.9923839569091797,
        2.089977264404297,
        1.763899803161621,
        2.1010637283325195,
        1.935124397277832,
        2.0721359252929688,
        1.9744243621826172,
        2.1714372634887695,
        2.0852479934692383,
        2.1109180450439453,
        2.227902412414551,
        2.5157928466796875,
        2.059976577758789
      ],
      "sd_ns": 0.16315556567280404,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.975589986527125,
        2.1054527482547765
      ],
      "thread_cpu_ns_per_value_samples": [
        2.099593162536621,
        1.9778413772583008,
        1.9925031661987305,
        2.0859241485595703,
        1.764059066772461,
        2.1011829376220703,
        1.9352436065673828,
        2.037565231323242,
        1.974543571472168,
        2.1018190383911133,
        2.001523971557617,
        2.111116409301758,
        2.0516719818115234,
        2.3131370544433594,
        2.06009578704834
      ],
      "thread_cpu_sd_ns": 0.11723923390762137,
      "values": 16384,
      "values_per_second": 481117105.5254149
    },
    {
      "approx_95_percent_interval_ns": [
        2.2482101226396054,
        2.485834651733767
      ],
      "dataset": "alternating",
      "encoded_bytes": 90112,
      "implementation": "Previous",
      "mean_ns_per_value": 2.3670223871866862,
      "mean_thread_cpu_ns_per_value": 2.334306081136068,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.0800037384033203,
        2.6483936309814453,
        2.509514808654785,
        2.046942710876465,
        2.5097131729125977,
        2.4317102432250977,
        2.0356578826904297,
        2.1473169326782227,
        2.2298498153686523,
        2.5132503509521484,
        2.3746089935302734,
        2.62435245513916,
        2.4511022567749023,
        2.6088953018188477,
        2.2940235137939453
      ],
      "sd_ns": 0.2145258377230924,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.2208046316117698,
        2.447807530660366
      ],
      "thread_cpu_ns_per_value_samples": [
        2.069552421569824,
        2.648552894592285,
        2.509634017944336,
        2.0471019744873047,
        2.509871482849121,
        2.4318294525146484,
        2.035776138305664,
        2.1448535919189453,
        2.230009078979492,
        2.513408660888672,
        2.2582616806030273,
        2.43719482421875,
        2.3298263549804688,
        2.6046438217163086,
        2.244074821472168
      ],
      "thread_cpu_sd_ns": 0.20493670106200818,
      "values": 16384,
      "values_per_second": 422471711.89138836
    },
    {
      "approx_95_percent_interval_ns": [
        8.868908464040894,
        9.494922229521931
      ],
      "dataset": "alternating",
      "encoded_bytes": 90112,
      "implementation": "Leb128",
      "mean_ns_per_value": 9.181915346781413,
      "mean_thread_cpu_ns_per_value": 8.968408966064453,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        9.339611053466797,
        9.39587688446045,
        9.250640869140625,
        8.480389595031738,
        8.518855094909668,
        8.511224746704102,
        8.848071098327637,
        9.149670600891113,
        9.194612503051758,
        9.351651191711426,
        9.337742805480957,
        9.467720985412598,
        8.509516716003418,
        9.801547050476074,
        10.571599006652832
      ],
      "sd_ns": 0.565161046201551,
      "thread_cpu_approx_95_percent_interval_ns": [
        8.76154766868989,
        9.175270263439018
      ],
      "thread_cpu_ns_per_value_samples": [
        9.286999702453613,
        9.37978458404541,
        9.250760078430176,
        8.48058795928955,
        8.518974304199219,
        8.511344909667969,
        8.843938827514648,
        9.144981384277344,
        9.19481086730957,
        8.660714149475098,
        9.07178783416748,
        8.896072387695312,
        8.474746704101562,
        9.160598754882812,
        9.650032043457031
      ],
      "thread_cpu_sd_ns": 0.3735059952011857,
      "values": 16384,
      "values_per_second": 108909738.57110712
    },
    {
      "approx_95_percent_interval_ns": [
        1.9179389649359915,
        2.087455907093631
      ],
      "dataset": "alternating",
      "encoded_bytes": 90112,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 2.0026974360148113,
      "mean_thread_cpu_ns_per_value": 1.9679094950358074,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.0085573196411133,
        2.0010862350463867,
        1.9164085388183594,
        1.833359718322754,
        1.9376678466796875,
        1.961867332458496,
        1.9033756256103516,
        1.8906192779541016,
        1.9981460571289062,
        2.464254379272461,
        2.0088748931884766,
        2.0245704650878906,
        1.9985437393188477,
        1.8949508666992188,
        2.198179244995117
      ],
      "sd_ns": 0.15303876314138556,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.9256414626073433,
        2.0101775274642715
      ],
      "thread_cpu_ns_per_value_samples": [
        2.008716583251953,
        2.0012054443359375,
        1.9165277481079102,
        1.8335180282592773,
        1.9377870559692383,
        1.9620256423950195,
        1.903493881225586,
        1.8907785415649414,
        1.9984245300292969,
        2.1550254821777344,
        2.0089941024780273,
        1.988053321838379,
        1.998702049255371,
        1.8951101303100586,
        2.020279884338379
      ],
      "thread_cpu_sd_ns": 0.07631859471906578,
      "values": 16384,
      "values_per_second": 499326549.29139495
    },
    {
      "approx_95_percent_interval_ns": [
        2.3994825073143056,
        2.762417567962387
      ],
      "dataset": "alternating",
      "encoded_bytes": 90112,
      "implementation": "Verified",
      "mean_ns_per_value": 2.5809500376383463,
      "mean_thread_cpu_ns_per_value": 2.4491522471110025,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.7664899826049805,
        2.5922060012817383,
        2.661625862121582,
        2.849618911743164,
        3.054777145385742,
        2.7191247940063477,
        2.606947898864746,
        2.580921173095703,
        2.404412269592285,
        2.8143720626831055,
        1.8696393966674805,
        1.8672142028808594,
        2.588907241821289,
        2.789179801940918,
        2.548813819885254
      ],
      "sd_ns": 0.3276553486351508,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.302715948101019,
        2.595588546120986
      ],
      "thread_cpu_ns_per_value_samples": [
        2.5000572204589844,
        2.59244441986084,
        2.6175174713134766,
        2.663930892944336,
        2.790093421936035,
        2.476255416870117,
        2.607067108154297,
        2.3325681686401367,
        2.3877620697021484,
        2.509514808654785,
        1.869797706604004,
        1.8673343658447266,
        2.403696060180664,
        2.653360366821289,
        2.465884208679199
      ],
      "thread_cpu_sd_ns": 0.26440342533609157,
      "values": 16384,
      "values_per_second": 387454226.31855077
    },
    {
      "approx_95_percent_interval_ns": [
        2.6872056786499856,
        3.0365884955443505
      ],
      "dataset": "alternating",
      "encoded_bytes": 90112,
      "implementation": "Previous",
      "mean_ns_per_value": 2.861897087097168,
      "mean_thread_cpu_ns_per_value": 2.739670753479004,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        3.098051071166992,
        2.7311248779296875,
        3.471771240234375,
        2.6227636337280273,
        2.808730125427246,
        2.6141796112060547,
        2.896587371826172,
        2.489368438720703,
        2.887248992919922,
        2.954165458679199,
        2.36495304107666,
        3.2393531799316406,
        3.2383995056152344,
        3.004749298095703,
        2.5070104598999023
      ],
      "sd_ns": 0.3154204734925202,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.6157695144823223,
        2.8635719924756855
      ],
      "thread_cpu_ns_per_value_samples": [
        2.916733741760254,
        2.641996383666992,
        3.146092414855957,
        2.5680465698242188,
        2.6690168380737305,
        2.614299774169922,
        2.8536319732666016,
        2.4895267486572266,
        2.865354537963867,
        2.6626195907592773,
        2.3650732040405273,
        2.984285354614258,
        3.0329627990722656,
        2.787907600402832,
        2.497513771057129
      ],
      "thread_cpu_sd_ns": 0.2237144220086776,
      "values": 16384,
      "values_per_second": 349418574.3115953
    },
    {
      "approx_95_percent_interval_ns": [
        6.5768770274848105,
        7.007434775697156
      ],
      "dataset": "alternating",
      "encoded_bytes": 90112,
      "implementation": "Leb128",
      "mean_ns_per_value": 6.792155901590983,
      "mean_thread_cpu_ns_per_value": 6.354218165079753,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.450573921203613,
        6.559531211853027,
        6.840188980102539,
        6.448944091796875,
        6.568591117858887,
        6.841341972351074,
        6.70949649810791,
        6.830613136291504,
        6.705323219299316,
        6.737351417541504,
        7.211248397827148,
        7.961352348327637,
        6.725470542907715,
        6.3603315353393555,
        6.931980133056641
      ],
      "sd_ns": 0.38870465930232717,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.220736637848898,
        6.487699692310608
      ],
      "thread_cpu_ns_per_value_samples": [
        6.159384727478027,
        6.185094833374023,
        6.259879112243652,
        6.095647811889648,
        6.381352424621582,
        6.31729793548584,
        6.265401840209961,
        6.321152687072754,
        6.242236137390137,
        6.119091987609863,
        6.647665977478027,
        6.973187446594238,
        6.417989730834961,
        6.246447563171387,
        6.6814422607421875
      ],
      "thread_cpu_sd_ns": 0.2410124624668682,
      "values": 16384,
      "values_per_second": 147228658.24763557
    },
    {
      "approx_95_percent_interval_ns": [
        4.2736021394356305,
        5.013606290536701
      ],
      "dataset": "alternating",
      "encoded_bytes": 90112,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 4.643604214986166,
      "mean_thread_cpu_ns_per_value": 4.409345054626465,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        4.05994987487793,
        4.609187126159668,
        4.1079912185668945,
        4.565914154052734,
        4.988351821899414,
        4.5954389572143555,
        4.522800445556641,
        4.7761993408203125,
        4.909952163696289,
        6.777604103088379,
        4.604497909545898,
        3.9845705032348633,
        4.317958831787109,
        4.725615501403809,
        4.108031272888184
      ],
      "sd_ns": 0.668070804974079,
      "thread_cpu_approx_95_percent_interval_ns": [
        4.1096892659175515,
        4.709000843335379
      ],
      "thread_cpu_ns_per_value_samples": [
        4.047791481018066,
        4.288752555847168,
        4.062017440795898,
        4.2591094970703125,
        4.506547927856445,
        4.3169660568237305,
        4.3898820877075195,
        4.475275993347168,
        4.490177154541016,
        6.268461227416992,
        4.398941993713379,
        3.984689712524414,
        4.200497627258301,
        4.3534040451049805,
        4.097661018371582
      ],
      "thread_cpu_sd_ns": 0.5410544891674924,
      "values": 16384,
      "values_per_second": 215349963.8863988
    },
    {
      "approx_95_percent_interval_ns": [
        1.2583483837765403,
        1.4248726703006083
      ],
      "dataset": "zigzag-near-zero",
      "encoded_bytes": 24575,
      "implementation": "Verified",
      "mean_ns_per_value": 1.3416105270385743,
      "mean_thread_cpu_ns_per_value": 1.2849358240763347,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        1.2178030014038086,
        1.3841781616210938,
        1.2842817306518555,
        1.298506736755371,
        1.2243986129760742,
        1.3091964721679688,
        1.237234115600586,
        1.2427167892456055,
        1.3185338973999023,
        1.7637815475463867,
        1.231154441833496,
        1.2485980987548828,
        1.3507204055786133,
        1.458683967590332,
        1.5543699264526367
      ],
      "sd_ns": 0.1503370136239599,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.2483667762029127,
        1.3215048719497566
      ],
      "thread_cpu_ns_per_value_samples": [
        1.1955900192260742,
        1.3229846954345703,
        1.2844409942626953,
        1.2510614395141602,
        1.2245569229125977,
        1.3093948364257812,
        1.2374324798583984,
        1.2399358749389648,
        1.264373779296875,
        1.4356374740600586,
        1.2313528060913086,
        1.2487173080444336,
        1.2885732650756836,
        1.378178596496582,
        1.361806869506836
      ],
      "thread_cpu_sd_ns": 0.06602858433586238,
      "values": 16384,
      "values_per_second": 745372803.6909238
    },
    {
      "approx_95_percent_interval_ns": [
        1.2462125510586894,
        1.4036775856600607
      ],
      "dataset": "zigzag-near-zero",
      "encoded_bytes": 24575,
      "implementation": "Previous",
      "mean_ns_per_value": 1.324945068359375,
      "mean_thread_cpu_ns_per_value": 1.2424469629923502,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        1.3508796691894531,
        1.394113540649414,
        1.3512763977050781,
        1.4378232955932617,
        1.128077507019043,
        1.2940959930419922,
        1.5195608139038086,
        1.2542800903320312,
        1.1348333358764648,
        1.3481378555297852,
        1.1286735534667969,
        1.133601188659668,
        1.3941926956176758,
        1.5333490371704102,
        1.4712810516357422
      ],
      "sd_ns": 0.14215838149675664,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.1912023509514433,
        1.2936915750332572
      ],
      "thread_cpu_ns_per_value_samples": [
        1.2803478240966797,
        1.2965993881225586,
        1.2604389190673828,
        1.4001531600952148,
        1.1281967163085938,
        1.21478271484375,
        1.4187097549438477,
        1.1945571899414062,
        1.1349525451660156,
        1.2193126678466797,
        1.1287927627563477,
        1.1337594985961914,
        1.2345714569091797,
        1.312255859375,
        1.2792739868164062
      ],
      "thread_cpu_sd_ns": 0.09252658695444892,
      "values": 16384,
      "values_per_second": 754748271.3666452
    },
    {
      "approx_95_percent_interval_ns": [
        2.769257890677858,
        3.0023631776408264
      ],
      "dataset": "zigzag-near-zero",
      "encoded_bytes": 24575,
      "implementation": "Leb128",
      "mean_ns_per_value": 2.8858105341593423,
      "mean_thread_cpu_ns_per_value": 2.764280573527018,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        2.8333263397216797,
        3.1877756118774414,
        3.341754913330078,
        2.991239547729492,
        2.6338891983032227,
        2.6972694396972656,
        3.1221303939819336,
        2.727627754211426,
        2.854466438293457,
        2.7358932495117188,
        3.0079288482666016,
        2.8318166732788086,
        2.6888046264648438,
        2.953608512878418,
        2.67962646484375
      ],
      "sd_ns": 0.21044589611199951,
      "thread_cpu_approx_95_percent_interval_ns": [
        2.6985106141788933,
        2.830050532875143
      ],
      "thread_cpu_ns_per_value_samples": [
        2.687135696411133,
        2.92531681060791,
        3.0586318969726562,
        2.875605583190918,
        2.6340484619140625,
        2.671401023864746,
        2.824625015258789,
        2.725522041320801,
        2.7800798416137695,
        2.6743011474609375,
        2.809246063232422,
        2.7092695236206055,
        2.662141799926758,
        2.771695137023926,
        2.65518856048584
      ],
      "thread_cpu_sd_ns": 0.11875336001679583,
      "values": 16384,
      "values_per_second": 346523095.73445624
    },
    {
      "approx_95_percent_interval_ns": [
        1.3624842048009753,
        1.522248232332814
      ],
      "dataset": "zigzag-near-zero",
      "encoded_bytes": 24575,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 1.4423662185668946,
      "mean_thread_cpu_ns_per_value": 1.3588957468668619,
      "operation": "encode",
      "rounds": 64,
      "samples_ns_per_value": [
        1.4342460632324219,
        1.5471773147583008,
        1.2804269790649414,
        1.5077590942382812,
        1.3822717666625977,
        1.3339920043945312,
        1.4508562088012695,
        1.3958215713500977,
        1.833796501159668,
        1.515707015991211,
        1.4220075607299805,
        1.2400941848754883,
        1.5217866897583008,
        1.482844352722168,
        1.2867059707641602
      ],
      "sd_ns": 0.14423389695893576,
      "thread_cpu_approx_95_percent_interval_ns": [
        1.311485566539718,
        1.4063059271940057
      ],
      "thread_cpu_ns_per_value_samples": [
        1.3529863357543945,
        1.4253063201904297,
        1.2714862823486328,
        1.4024181365966797,
        1.3284282684326172,
        1.2629823684692383,
        1.3335542678833008,
        1.3147592544555664,
        1.5474557876586914,
        1.4422340393066406,
        1.4046821594238281,
        1.2402935028076172,
        1.4496641159057617,
        1.341501235961914,
        1.2656841278076172
      ],
      "thread_cpu_sd_ns": 0.08560318827399488,
      "values": 16384,
      "values_per_second": 693305200.251833
    },
    {
      "approx_95_percent_interval_ns": [
        5.359564442580263,
        5.6065773217426536
      ],
      "dataset": "zigzag-near-zero",
      "encoded_bytes": 24575,
      "implementation": "Verified",
      "mean_ns_per_value": 5.483070882161458,
      "mean_thread_cpu_ns_per_value": 5.252032852172851,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        5.217432975769043,
        5.810816764831543,
        5.6033525466918945,
        5.3414106369018555,
        5.657672882080078,
        5.699872970581055,
        5.14968204498291,
        5.3327484130859375,
        5.497852325439453,
        5.600452423095703,
        5.199074745178223,
        5.447824478149414,
        5.245089530944824,
        5.665063858032227,
        5.777716636657715
      ],
      "sd_ns": 0.22300157745796775,
      "thread_cpu_approx_95_percent_interval_ns": [
        5.190774402714998,
        5.313291301630705
      ],
      "thread_cpu_ns_per_value_samples": [
        5.217632293701172,
        5.3497161865234375,
        5.277316093444824,
        5.230863571166992,
        5.30850887298584,
        5.36330509185791,
        5.055944442749023,
        5.1555633544921875,
        5.18345832824707,
        5.314032554626465,
        5.098382949829102,
        5.182226181030273,
        5.22581672668457,
        5.340933799743652,
        5.476792335510254
      ],
      "thread_cpu_sd_ns": 0.11060743802552793,
      "values": 16384,
      "values_per_second": 182379549.9805383
    },
    {
      "approx_95_percent_interval_ns": [
        5.375889600128393,
        5.775604362477401
      ],
      "dataset": "zigzag-near-zero",
      "encoded_bytes": 24575,
      "implementation": "Previous",
      "mean_ns_per_value": 5.575746981302897,
      "mean_thread_cpu_ns_per_value": 5.320874913533529,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        5.203843116760254,
        5.024273872375488,
        5.451798439025879,
        5.530515670776367,
        5.275130271911621,
        5.453348159790039,
        5.581299781799316,
        6.115238189697266,
        5.132397651672363,
        5.604067802429199,
        5.761623382568359,
        5.4340362548828125,
        5.846342086791992,
        5.926370620727539,
        6.295919418334961
      ],
      "sd_ns": 0.360859817671554,
      "thread_cpu_approx_95_percent_interval_ns": [
        5.194106010835071,
        5.447643816231986
      ],
      "thread_cpu_ns_per_value_samples": [
        5.135178565979004,
        5.024393081665039,
        5.238493919372559,
        5.182424545288086,
        5.218505859375,
        5.227088928222656,
        5.242983818054199,
        5.556662559509277,
        5.064487457275391,
        5.243539810180664,
        5.410552024841309,
        5.232612609863281,
        5.654573440551758,
        5.565127372741699,
        5.816499710083008
      ],
      "thread_cpu_sd_ns": 0.22889223728117186,
      "values": 16384,
      "values_per_second": 179348166.86504805
    },
    {
      "approx_95_percent_interval_ns": [
        6.11184919139709,
        6.409783321013393
      ],
      "dataset": "zigzag-near-zero",
      "encoded_bytes": 24575,
      "implementation": "Leb128",
      "mean_ns_per_value": 6.260816256205241,
      "mean_thread_cpu_ns_per_value": 5.976128578186035,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        6.1187744140625,
        5.949576377868652,
        6.575067520141602,
        6.159782409667969,
        6.47922420501709,
        6.138324737548828,
        5.952954292297363,
        6.35854434967041,
        6.313562393188477,
        6.527820587158203,
        6.105382919311523,
        6.115436553955078,
        5.9119462966918945,
        6.333987236022949,
        6.871859550476074
      ],
      "sd_ns": 0.26897294225425294,
      "thread_cpu_approx_95_percent_interval_ns": [
        5.904869919479587,
        6.047387236892483
      ],
      "thread_cpu_ns_per_value_samples": [
        5.862672805786133,
        5.949775695800781,
        6.170828819274902,
        5.933444023132324,
        6.128032684326172,
        5.868594169616699,
        5.784432411193848,
        5.961894989013672,
        6.064852714538574,
        6.052136421203613,
        5.883932113647461,
        5.884011268615723,
        5.841691970825195,
        6.049871444702148,
        6.205757141113281
      ],
      "thread_cpu_sd_ns": 0.12866368225787977,
      "values": 16384,
      "values_per_second": 159723582.21004754
    },
    {
      "approx_95_percent_interval_ns": [
        5.60115547162048,
        6.010915374937138
      ],
      "dataset": "zigzag-near-zero",
      "encoded_bytes": 24575,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 5.806035423278809,
      "mean_thread_cpu_ns_per_value": 5.492716344197591,
      "operation": "decode",
      "rounds": 64,
      "samples_ns_per_value": [
        5.481243133544922,
        6.461024284362793,
        5.75566291809082,
        5.5359601974487305,
        5.713820457458496,
        5.345861434936523,
        5.201180458068848,
        5.741436958312988,
        5.557219505310059,
        6.4095659255981445,
        6.054997444152832,
        6.100852966308594,
        6.158510208129883,
        5.698442459106445,
        5.874752998352051
      ],
      "sd_ns": 0.3699285038435844,
      "thread_cpu_approx_95_percent_interval_ns": [
        5.380906181779143,
        5.604526506616039
      ],
      "thread_cpu_ns_per_value_samples": [
        5.438962936401367,
        5.811572074890137,
        5.477826118469238,
        5.339860916137695,
        5.397439002990723,
        5.232294082641602,
        5.199273109436035,
        5.359689712524414,
        5.335092544555664,
        5.78196907043457,
        5.517045974731445,
        5.61678409576416,
        5.854447364807129,
        5.461931228637695,
        5.566556930541992
      ],
      "thread_cpu_sd_ns": 0.201882935656594,
      "values": 16384,
      "values_per_second": 172234567.49688166
    },
    {
      "approx_95_percent_interval_ns": [
        3.80331952377376,
        4.015760701852868
      ],
      "dataset": "large-full-width",
      "encoded_bytes": 19914662,
      "implementation": "Verified",
      "mean_ns_per_value": 3.9095401128133136,
      "mean_thread_cpu_ns_per_value": 3.7541852315266926,
      "operation": "encode",
      "rounds": 1,
      "samples_ns_per_value": [
        3.8770437240600586,
        4.018882751464844,
        3.61726713180542,
        3.7769675254821777,
        3.508547782897949,
        3.932277202606201,
        3.8126707077026367,
        3.976027011871338,
        4.181841850280762,
        4.140873908996582,
        3.8789706230163574,
        3.8720169067382812,
        3.9019384384155273,
        4.214882850646973,
        3.9328932762145996
      ],
      "sd_ns": 0.19179047663148394,
      "thread_cpu_approx_95_percent_interval_ns": [
        3.6554765902978215,
        3.8528938727555637
      ],
      "thread_cpu_ns_per_value_samples": [
        3.7794113159179688,
        3.7700533866882324,
        3.4540891647338867,
        3.5672388076782227,
        3.4487247467041016,
        3.7368335723876953,
        3.6887922286987305,
        3.769516944885254,
        4.013200283050537,
        3.85721492767334,
        3.7765302658081055,
        3.736515998840332,
        3.7947893142700195,
        4.127065181732178,
        3.792802333831787
      ],
      "thread_cpu_sd_ns": 0.17822700401220518,
      "values": 2097152,
      "values_per_second": 255784560.6245482
    },
    {
      "approx_95_percent_interval_ns": [
        6.353057162957685,
        6.863390540085935
      ],
      "dataset": "large-full-width",
      "encoded_bytes": 19914662,
      "implementation": "Previous",
      "mean_ns_per_value": 6.60822385152181,
      "mean_thread_cpu_ns_per_value": 6.28097194035848,
      "operation": "encode",
      "rounds": 1,
      "samples_ns_per_value": [
        6.188849449157715,
        6.406068801879883,
        6.116747856140137,
        6.0553154945373535,
        6.1307549476623535,
        7.160464763641357,
        6.204664707183838,
        7.040699005126953,
        7.529973983764648,
        6.802062034606934,
        6.5010786056518555,
        6.538609504699707,
        6.884594440460205,
        6.4043803215026855,
        7.159093856811523
      ],
      "sd_ns": 0.4607255642497675,
      "thread_cpu_approx_95_percent_interval_ns": [
        6.091136225621456,
        6.470807655095504
      ],
      "thread_cpu_ns_per_value_samples": [
        5.9855780601501465,
        6.225863933563232,
        5.880773067474365,
        5.848288536071777,
        5.851408004760742,
        6.422857284545898,
        6.075879096984863,
        6.529609203338623,
        7.016639232635498,
        6.400704383850098,
        6.274759769439697,
        6.243765354156494,
        6.439050197601318,
        6.184101104736328,
        6.835301876068115
      ],
      "thread_cpu_sd_ns": 0.34276483062558216,
      "values": 2097152,
      "values_per_second": 151326592.81354547
    },
    {
      "approx_95_percent_interval_ns": [
        19.31616083770405,
        20.76151231140484
      ],
      "dataset": "large-full-width",
      "encoded_bytes": 19914662,
      "implementation": "Leb128",
      "mean_ns_per_value": 20.038836574554445,
      "mean_thread_cpu_ns_per_value": 19.0492086092631,
      "operation": "encode",
      "rounds": 1,
      "samples_ns_per_value": [
        19.826213359832764,
        18.524726390838623,
        22.864341735839844,
        20.392080307006836,
        20.740290641784668,
        19.906500816345215,
        19.448896408081055,
        20.119468212127686,
        19.139329433441162,
        19.39411973953247,
        19.562105655670166,
        18.97879457473755,
        19.271910190582275,
        19.385576248168945,
        23.028194904327393
      ],
      "sd_ns": 1.304853656657227,
      "thread_cpu_approx_95_percent_interval_ns": [
        18.47966060637037,
        19.61875661215583
      ],
      "thread_cpu_ns_per_value_samples": [
        19.15272045135498,
        17.740686416625977,
        19.905567169189453,
        19.736210346221924,
        19.01090145111084,
        18.71494436264038,
        18.6443133354187,
        19.335269927978516,
        18.49035406112671,
        18.48703622817993,
        18.549203872680664,
        18.598437309265137,
        18.359283447265625,
        18.816510677337646,
        22.19669008255005
      ],
      "thread_cpu_sd_ns": 1.028368265766548,
      "values": 2097152,
      "values_per_second": 49903096.73316125
    },
    {
      "approx_95_percent_interval_ns": [
        6.09270813035037,
        6.568205845683159
      ],
      "dataset": "large-full-width",
      "encoded_bytes": 19914662,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 6.330456988016764,
      "mean_thread_cpu_ns_per_value": 6.0357146581014,
      "operation": "encode",
      "rounds": 1,
      "samples_ns_per_value": [
        6.118993282318115,
        5.593637466430664,
        5.878627300262451,
        5.6745805740356445,
        6.33084774017334,
        6.28801155090332,
        6.144702434539795,
        6.467998027801514,
        6.422817707061768,
        6.459156513214111,
        6.953378677368164,
        6.142477512359619,
        6.551861763000488,
        6.9536566734313965,
        6.976107597351074
      ],
      "sd_ns": 0.4292761614553779,
      "thread_cpu_approx_95_percent_interval_ns": [
        5.873487528585021,
        6.197941787617778
      ],
      "thread_cpu_ns_per_value_samples": [
        5.90747594833374,
        5.533576011657715,
        5.732555866241455,
        5.622068881988525,
        5.988697052001953,
        6.011565685272217,
        5.866646766662598,
        6.13713264465332,
        6.0645341873168945,
        6.134589672088623,
        6.312906742095947,
        5.971074104309082,
        6.210943222045898,
        6.389359474182129,
        6.652593612670898
      ],
      "thread_cpu_sd_ns": 0.2929151379580276,
      "values": 2097152,
      "values_per_second": 157966478.86447212
    },
    {
      "approx_95_percent_interval_ns": [
        8.492885298049586,
        8.905437697454158
      ],
      "dataset": "large-full-width",
      "encoded_bytes": 19914662,
      "implementation": "Verified",
      "mean_ns_per_value": 8.699161497751872,
      "mean_thread_cpu_ns_per_value": 8.57088565826416,
      "operation": "decode",
      "rounds": 1,
      "samples_ns_per_value": [
        8.760531902313232,
        8.655349254608154,
        8.696238040924072,
        8.493224620819092,
        8.809646129608154,
        8.742551326751709,
        8.843958377838135,
        8.483012676239014,
        8.583267211914062,
        8.276303768157959,
        8.859515190124512,
        8.182028770446777,
        8.222858428955078,
        9.4832181930542,
        9.395718574523926
      ],
      "sd_ns": 0.372449550660098,
      "thread_cpu_approx_95_percent_interval_ns": [
        8.430896468038624,
        8.710874848489697
      ],
      "thread_cpu_ns_per_value_samples": [
        8.717000484466553,
        8.636792182922363,
        8.634289264678955,
        8.484184741973877,
        8.689125537872314,
        8.64720344543457,
        8.735597133636475,
        8.479515552520752,
        8.569101333618164,
        8.226573467254639,
        8.426884651184082,
        8.151412010192871,
        8.193989753723145,
        8.998294830322266,
        8.973320484161377
      ],
      "thread_cpu_sd_ns": 0.25276261183802484,
      "values": 2097152,
      "values_per_second": 114953607.9147893
    },
    {
      "approx_95_percent_interval_ns": [
        8.468009951592366,
        8.782361091295003
      ],
      "dataset": "large-full-width",
      "encoded_bytes": 19914662,
      "implementation": "Previous",
      "mean_ns_per_value": 8.625185521443685,
      "mean_thread_cpu_ns_per_value": 8.537145392100017,
      "operation": "decode",
      "rounds": 1,
      "samples_ns_per_value": [
        8.675078868865967,
        8.682449340820312,
        8.493185043334961,
        8.73263692855835,
        8.584956169128418,
        8.68759536743164,
        8.643150329589844,
        8.586565971374512,
        8.530517101287842,
        8.412599563598633,
        8.82740831375122,
        8.13521957397461,
        8.319457530975342,
        8.631309032440186,
        9.435653686523438
      ],
      "sd_ns": 0.28379410930760757,
      "thread_cpu_approx_95_percent_interval_ns": [
        8.429702081657899,
        8.644588702542135
      ],
      "thread_cpu_ns_per_value_samples": [
        8.578638553619385,
        8.658965110778809,
        8.479376316070557,
        8.650739669799805,
        8.575181007385254,
        8.65010404586792,
        8.610248565673828,
        8.568127632141113,
        8.505403995513916,
        8.390049457550049,
        8.416017055511475,
        8.105675220489502,
        8.299013137817383,
        8.596797943115234,
        8.972843170166016
      ],
      "thread_cpu_sd_ns": 0.19399820606233825,
      "values": 2097152,
      "values_per_second": 115939535.15710811
    },
    {
      "approx_95_percent_interval_ns": [
        8.39189126075252,
        8.721913683603763
      ],
      "dataset": "large-full-width",
      "encoded_bytes": 19914662,
      "implementation": "Leb128",
      "mean_ns_per_value": 8.556902472178141,
      "mean_thread_cpu_ns_per_value": 8.481582005818685,
      "operation": "decode",
      "rounds": 1,
      "samples_ns_per_value": [
        8.637031078338623,
        8.492907047271729,
        8.667747497558594,
        8.963167667388916,
        8.468071937561035,
        8.476038932800293,
        8.467416286468506,
        8.549789428710938,
        8.446971416473389,
        8.278151035308838,
        8.314589977264404,
        8.240282535552979,
        8.372028827667236,
        8.556703567504883,
        9.422639846801758
      ],
      "sd_ns": 0.29794203906244504,
      "thread_cpu_approx_95_percent_interval_ns": [
        8.371387728660661,
        8.59177628297671
      ],
      "thread_cpu_ns_per_value_samples": [
        8.611440658569336,
        8.477548599243164,
        8.637229442596436,
        8.665899276733398,
        8.45817756652832,
        8.46340274810791,
        8.458435535430908,
        8.497158527374268,
        8.384644985198975,
        8.248706817626953,
        8.281111717224121,
        8.203128814697266,
        8.353273391723633,
        8.473217487335205,
        9.01035451889038
      ],
      "thread_cpu_sd_ns": 0.19896531481603313,
      "values": 2097152,
      "values_per_second": 116864718.65857929
    },
    {
      "approx_95_percent_interval_ns": [
        8.50930543938585,
        8.815433571742895
      ],
      "dataset": "large-full-width",
      "encoded_bytes": 19914662,
      "implementation": "IntegerEncoding",
      "mean_ns_per_value": 8.662369505564373,
      "mean_thread_cpu_ns_per_value": 8.572663148244223,
      "operation": "decode",
      "rounds": 1,
      "samples_ns_per_value": [
        8.666157722473145,
        8.68678092956543,
        9.189109325408936,
        8.7555251121521,
        8.701682090759277,
        8.65185260772705,
        8.549530982971191,
        8.518298625946045,
        8.562882423400879,
        8.43741512298584,
        8.20682430267334,
        8.305052757263184,
        8.555710315704346,
        9.095489978790283,
        9.053230285644531
      ],
      "sd_ns": 0.2763704331991655,
      "thread_cpu_approx_95_percent_interval_ns": [
        8.46336154223306,
        8.681964754255386
      ],
      "thread_cpu_ns_per_value_samples": [
        8.575717449188232,
        8.668104648590088,
        9.002427101135254,
        8.676210880279541,
        8.657176971435547,
        8.596142292022705,
        8.505702018737793,
        8.490602493286133,
        8.5487961769104,
        8.421182632446289,
        8.180717945098877,
        8.28323745727539,
        8.518139362335205,
        8.675436019897461,
        8.790353775024414
      ],
      "thread_cpu_sd_ns": 0.1973535197179289,
      "values": 2097152,
      "values_per_second": 115441854.49000283
    }
  ],
  "schema": "varint-comparison/0.1",
  "scope": "u64 canonical valid input; ZigZag mapped outside timing; public caller-buffer encode / prefix decode; no allocations in timed loops; large traversal cache uncontrolled",
  "seed": "766172696e743031",
  "timestamp_utc": "2026-10-12T10:52:33.935790+00:00",
  "host": "macOS-27.2-arm64-arm-64bit-Mach-O",
  "host_load_average_before": [
    4.12646484375,
    3.5625,
    5.0126953125
  ],
  "host_load_average_after_timing": [
    4.38720703125,
    3.64794921875,
    5.01708984375
  ],
  "cpu": "Apple M5",
  "rustc": "rustc 1.88.0 (6b00bc388 2025-06-23)\nbinary: rustc\ncommit-hash: 6b00bc3880198600130e1cf62b8f8a93494488cc\ncommit-date: 2025-06-23\nhost: aarch64-apple-darwin\nrelease: 1.88.0\nLLVM version: 20.1.5",
  "git_commit": "be6dff38a944d7437107961787cb265bcdc1daad",
  "working_tree_dirty": true,
  "flags": {
    "opt_level": 3,
    "overflow_checks": true,
    "lto": false,
    "target_cpu": "compiler default",
    "debug_info": 1,
    "threads": 1
  },
  "source_sha256": {
    "verification/performance/Cargo.toml": "666d1478300e6817377d25fe997980e4cd0d6062729d104adcc9b5e7a22353f6",
    "verification/performance/Cargo.lock": "d2f1dcd33100956feafe05c984c2dba8ca036b3adf97ec9f990c97419d6d2a7b",
    "verification/performance/src/main.rs": "491ebf6e1ac2b5e3ac616daf30dcc63bee89c92683cf298b4f33d917e5382dbe",
    "Cargo.toml": "ee2dcc7e069639fe23809ce696bd62e88fb9ef89d5102dd47da585b259f0e269",
    "scripts/compare-performance": "809a9a9b48538a5deadb63474a45b0b2ca012cca31c1bfda6840efe58a4f42ce",
    "src/api.rs": "ed32cca2252787e167c197412dedd432714a9e0ee0c80aa8c6c48149689b9dbd",
    "src/decode.rs": "fdef469f1131ba804774ba23b863623a73382d0f31af131f77c7f1b687ba82c7",
    "src/encode.rs": "00aae6b36bf4d77bafde9fa2de31b52fa4477c5fa1cfbe6d9976051e0f4ce9fb",
    "src/lib.rs": "bc6114115f74fc62ee8d26af2041bd99f691563c34291710134a5a2429c31a72",
    "src/stream.rs": "cbdf524a6f0680afa913ee7bf75c45cf4c197350343424d54145751937faec31",
    "src/zigzag.rs": "ee19568ab3d8e3545e9c2c9cbaa4ddf47aa8f007f0c48eab9ef7eb8ef9d7dfd4",
    "verification/performance/baseline/Cargo.toml": "4a19dc5a1e8c2cb66d686387d9a07d7b551c59020302b4e8055b8f67628808a6",
    "verification/performance/baseline/provenance.json": "69d65ab24d64abd60a2458ca6823341b6feb266a16dcb71025ed22d78bf59439",
    "verification/performance/baseline/src/api.rs": "580a6b120f284281f0a9d6fa9efd9ddf96c2f42fa9e1ccf420f8cb4cd59ab7bc",
    "verification/performance/baseline/src/decode.rs": "61f8ab1d118c153a76465a24859b7e8a41362f5c5aa4d2ad0c08738197011b71",
    "verification/performance/baseline/src/encode.rs": "550ecf99a95c83a88e7b36912efc701f0cbc22f798eeea068ad456ad1ee6167a",
    "verification/performance/baseline/src/lib.rs": "172ce73919eebf8ecf6f357e358bba360471e978da301d1b2f9bb924bb369a08",
    "verification/performance/baseline/src/stream.rs": "0f12ad521079a300b49e5192a7797a4eb6f91327626e5b2fa2d0b3193d646529",
    "verification/performance/baseline/src/zigzag.rs": "ee19568ab3d8e3545e9c2c9cbaa4ddf47aa8f007f0c48eab9ef7eb8ef9d7dfd4"
  },
  "binary_sha256": "35b4908029c165b8a40f090678323562104de02245b03c1edeccc9a270400ca4",
  "baseline_provenance": {
    "commit": "0fdaadf304e6e53ad38942b2ca820c14b8ab771d",
    "source_sha256": {
      "src/api.rs": "580a6b120f284281f0a9d6fa9efd9ddf96c2f42fa9e1ccf420f8cb4cd59ab7bc",
      "src/decode.rs": "61f8ab1d118c153a76465a24859b7e8a41362f5c5aa4d2ad0c08738197011b71",
      "src/encode.rs": "550ecf99a95c83a88e7b36912efc701f0cbc22f798eeea068ad456ad1ee6167a",
      "src/lib.rs": "172ce73919eebf8ecf6f357e358bba360471e978da301d1b2f9bb924bb369a08",
      "src/stream.rs": "0f12ad521079a300b49e5192a7797a4eb6f91327626e5b2fa2d0b3193d646529",
      "src/zigzag.rs": "ee19568ab3d8e3545e9c2c9cbaa4ddf47aa8f007f0c48eab9ef7eb8ef9d7dfd4"
    }
  },
  "disassembly_sha256": "116a8ee90d91e537170da1e7602afc7e2eb9a1f733ce9671e74738659a8ec508",
  "profiles": [
    {
      "implementation": "verified",
      "operation": "encode",
      "dataset": "full-width",
      "return_code": 0,
      "log": "verification/reports/profile-verified-encode-full-width.log",
      "report": "verification/reports/profile-verified-encode-full-width.sample.txt",
      "sha256": "f83fa0bea846ceda78401d32812db2fd310ecb9979d151c9ddd879ba06411383",
      "tool_output": "Sampling process 52692 for 4 seconds with 1 millisecond of run time between samples\nSampling completed, processing symbols...\nSample analysis of process 52692 written to file /Users/dmytro/.superset/worktrees/tooled/invincible-diascia-b7e40204/verification/reports/profile-verified-encode-full-width.sample.txt\n"
    },
    {
      "implementation": "verified",
      "operation": "decode",
      "dataset": "full-width",
      "return_code": 0,
      "log": "verification/reports/profile-verified-decode-full-width.log",
      "report": "verification/reports/profile-verified-decode-full-width.sample.txt",
      "sha256": "d3ffe6002b3d075904d0d98cb0dba27b84dd9b4c05ca099c99b644f482a048bd",
      "tool_output": "Sampling process 53065 for 4 seconds with 1 millisecond of run time between samples\nSampling completed, processing symbols...\nSample analysis of process 53065 written to file /Users/dmytro/.superset/worktrees/tooled/invincible-diascia-b7e40204/verification/reports/profile-verified-decode-full-width.sample.txt\n"
    },
    {
      "implementation": "verified",
      "operation": "decode",
      "dataset": "short-80-15-5",
      "return_code": 0,
      "log": "verification/reports/profile-verified-decode-short-80-15-5.log",
      "report": "verification/reports/profile-verified-decode-short-80-15-5.sample.txt",
      "sha256": "ff1227022f47028d9834ab0808c95802bac30d65595f44a5ae0e6a34b155ba1e",
      "tool_output": "Sampling process 53953 for 4 seconds with 1 millisecond of run time between samples\nSampling completed, processing symbols...\nSample analysis of process 53953 written to file /Users/dmytro/.superset/worktrees/tooled/invincible-diascia-b7e40204/verification/reports/profile-verified-decode-short-80-15-5.sample.txt\n"
    },
    {
      "implementation": "previous",
      "operation": "encode",
      "dataset": "full-width",
      "return_code": 0,
      "log": "verification/reports/profile-previous-encode-full-width.log",
      "report": "verification/reports/profile-previous-encode-full-width.sample.txt",
      "sha256": "7446f42ea43b99f6fb66c2b095f8248befae808ac5351a695a71006a676a45e7",
      "tool_output": "Sampling process 54746 for 4 seconds with 1 millisecond of run time between samples\nSampling completed, processing symbols...\nSample analysis of process 54746 written to file /Users/dmytro/.superset/worktrees/tooled/invincible-diascia-b7e40204/verification/reports/profile-previous-encode-full-width.sample.txt\n"
    },
    {
      "implementation": "previous",
      "operation": "decode",
      "dataset": "full-width",
      "return_code": 0,
      "log": "verification/reports/profile-previous-decode-full-width.log",
      "report": "verification/reports/profile-previous-decode-full-width.sample.txt",
      "sha256": "46dc29985ccf7fc38aea77b8879b588b527c847a41b74459616b5602d61c424c",
      "tool_output": "Sampling process 54804 for 4 seconds with 1 millisecond of run time between samples\nSampling completed, processing symbols...\nSample analysis of process 54804 written to file /Users/dmytro/.superset/worktrees/tooled/invincible-diascia-b7e40204/verification/reports/profile-previous-decode-full-width.sample.txt\n"
    },
    {
      "implementation": "previous",
      "operation": "decode",
      "dataset": "short-80-15-5",
      "return_code": 0,
      "log": "verification/reports/profile-previous-decode-short-80-15-5.log",
      "report": "verification/reports/profile-previous-decode-short-80-15-5.sample.txt",
      "sha256": "2c2d88091d245e077721a10524bfc526fcd591cf0e6cbefabb6114b43eea9451",
      "tool_output": "Sampling process 55130 for 4 seconds with 1 millisecond of run time between samples\nSampling completed, processing symbols...\nSample analysis of process 55130 written to file /Users/dmytro/.superset/worktrees/tooled/invincible-diascia-b7e40204/verification/reports/profile-previous-decode-short-80-15-5.sample.txt\n"
    },
    {
      "implementation": "leb128",
      "operation": "encode",
      "dataset": "full-width",
      "return_code": 0,
      "log": "verification/reports/profile-leb128-encode-full-width.log",
      "report": "verification/reports/profile-leb128-encode-full-width.sample.txt",
      "sha256": "6c980d5b424e79090a34234eb31337bcadbdf165c69b28d856cd17b057395e19",
      "tool_output": "Sampling process 55879 for 4 seconds with 1 millisecond of run time between samples\nSampling completed, processing symbols...\nSample analysis of process 55879 written to file /Users/dmytro/.superset/worktrees/tooled/invincible-diascia-b7e40204/verification/reports/profile-leb128-encode-full-width.sample.txt\n"
    },
    {
      "implementation": "leb128",
      "operation": "decode",
      "dataset": "full-width",
      "return_code": 0,
      "log": "verification/reports/profile-leb128-decode-full-width.log",
      "report": "verification/reports/profile-leb128-decode-full-width.sample.txt",
      "sha256": "8a5a9767bf421b2ae949e2afc6484a595cfd45f0526622260f65055b73c0a939",
      "tool_output": "Sampling process 55987 for 4 seconds with 1 millisecond of run time between samples\nSampling completed, processing symbols...\nSample analysis of process 55987 written to file /Users/dmytro/.superset/worktrees/tooled/invincible-diascia-b7e40204/verification/reports/profile-leb128-decode-full-width.sample.txt\n"
    },
    {
      "implementation": "leb128",
      "operation": "decode",
      "dataset": "short-80-15-5",
      "return_code": 0,
      "log": "verification/reports/profile-leb128-decode-short-80-15-5.log",
      "report": "verification/reports/profile-leb128-decode-short-80-15-5.sample.txt",
      "sha256": "33fd8dc6d454c2ea3827a9527b05b7d70c36ab97494d3c5355abd8c3eeb6a005",
      "tool_output": "Sampling process 56298 for 4 seconds with 1 millisecond of run time between samples\nSampling completed, processing symbols...\nSample analysis of process 56298 written to file /Users/dmytro/.superset/worktrees/tooled/invincible-diascia-b7e40204/verification/reports/profile-leb128-decode-short-80-15-5.sample.txt\n"
    },
    {
      "implementation": "integer",
      "operation": "encode",
      "dataset": "full-width",
      "return_code": 0,
      "log": "verification/reports/profile-integer-encode-full-width.log",
      "report": "verification/reports/profile-integer-encode-full-width.sample.txt",
      "sha256": "37e46ca51b9460e2555d2699924e0beed0d1f23cc1ec19b5dccafc26dc7571ca",
      "tool_output": "Sampling process 57541 for 4 seconds with 1 millisecond of run time between samples\nSampling completed, processing symbols...\nSample analysis of process 57541 written to file /Users/dmytro/.superset/worktrees/tooled/invincible-diascia-b7e40204/verification/reports/profile-integer-encode-full-width.sample.txt\n"
    },
    {
      "implementation": "integer",
      "operation": "decode",
      "dataset": "full-width",
      "return_code": 0,
      "log": "verification/reports/profile-integer-decode-full-width.log",
      "report": "verification/reports/profile-integer-decode-full-width.sample.txt",
      "sha256": "8199b69fe4b4841ff36f5fb431e34b7f2e895f71c8c55fc333830c93306cda72",
      "tool_output": "Sampling process 59142 for 4 seconds with 1 millisecond of run time between samples\nSampling completed, processing symbols...\nSample analysis of process 59142 written to file /Users/dmytro/.superset/worktrees/tooled/invincible-diascia-b7e40204/verification/reports/profile-integer-decode-full-width.sample.txt\n"
    },
    {
      "implementation": "integer",
      "operation": "decode",
      "dataset": "short-80-15-5",
      "return_code": 0,
      "log": "verification/reports/profile-integer-decode-short-80-15-5.log",
      "report": "verification/reports/profile-integer-decode-short-80-15-5.sample.txt",
      "sha256": "92ef4aa1d2bfd86b3f7b57e51e69fc6a35f1e175977e2d7b3fdd4ef6cd8609df",
      "tool_output": "Sampling process 59829 for 4 seconds with 1 millisecond of run time between samples\nSampling completed, processing symbols...\nSample analysis of process 59829 written to file /Users/dmytro/.superset/worktrees/tooled/invincible-diascia-b7e40204/verification/reports/profile-integer-decode-short-80-15-5.sample.txt\n"
    }
  ],
  "profiling_scope": "macOS sample at 1 ms for 4 s; statistical stacks, not hardware counters; timed benchmark runs finished before profiling"
}