{
  "expected_set": {
    "kind": "peer-consensus-heuristic",
    "selectors": [],
    "source": "peer-consensus heuristic: observed in every available corpus for at least two independent evidence families (Echidna and Recon count as one related typed-corpus family); not benchmark ground truth",
    "status": "unavailable"
  },
  "fuzzers": [
    {
      "available_instances": 4,
      "distribution": [
        {
          "comparison_key": "0x5bf58259",
          "function_names": [
            "collectToSelf"
          ],
          "function_signatures": [
            "collectToSelf(uint8)"
          ],
          "saved_corpus_calls": 426,
          "selector": "0x5bf58259",
          "share": 0.0176910299
        },
        {
          "comparison_key": "0x8d8b7f3b",
          "function_names": [
            "setSplits"
          ],
          "function_signatures": [
            "setSplits(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 421,
          "selector": "0x8d8b7f3b",
          "share": 0.017483388704
        },
        {
          "comparison_key": "0x1ba3a23c",
          "function_names": [
            "testReceiveStreamsViewConsistency"
          ],
          "function_signatures": [
            "testReceiveStreamsViewConsistency(uint8,uint32)"
          ],
          "saved_corpus_calls": 405,
          "selector": "0x1ba3a23c",
          "share": 0.016818936877
        },
        {
          "comparison_key": "0x7a81c2d8",
          "function_names": [
            "testSqueezableAmountCantBeUndone"
          ],
          "function_signatures": [
            "testSqueezableAmountCantBeUndone(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 405,
          "selector": "0x7a81c2d8",
          "share": 0.016818936877
        },
        {
          "comparison_key": "0xb89fedbc",
          "function_names": [
            "addStreamWithClamping"
          ],
          "function_signatures": [
            "addStreamWithClamping(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 405,
          "selector": "0xb89fedbc",
          "share": 0.016818936877
        },
        {
          "comparison_key": "0x752315fa",
          "function_names": [
            "testSetStreamsShouldNotRevert"
          ],
          "function_signatures": [
            "testSetStreamsShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 401,
          "selector": "0x752315fa",
          "share": 0.01665282392
        },
        {
          "comparison_key": "0xdf65cad7",
          "function_names": [
            "testSetSplitsShouldNotRevert"
          ],
          "function_signatures": [
            "testSetSplitsShouldNotRevert(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 397,
          "selector": "0xdf65cad7",
          "share": 0.016486710963
        },
        {
          "comparison_key": "0xec13b1ca",
          "function_names": [
            "testAddStreamShouldNotRevert"
          ],
          "function_signatures": [
            "testAddStreamShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 397,
          "selector": "0xec13b1ca",
          "share": 0.016486710963
        },
        {
          "comparison_key": "0x1a3ed582",
          "function_names": [
            "setStreams"
          ],
          "function_signatures": [
            "setStreams(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 394,
          "selector": "0x1a3ed582",
          "share": 0.016362126246
        },
        {
          "comparison_key": "0xe31f637a",
          "function_names": [
            "testCollect"
          ],
          "function_signatures": [
            "testCollect(uint8,uint8)"
          ],
          "saved_corpus_calls": 394,
          "selector": "0xe31f637a",
          "share": 0.016362126246
        },
        {
          "comparison_key": "0xf89367f3",
          "function_names": [
            "testReceiversReceivedSplit"
          ],
          "function_signatures": [
            "testReceiversReceivedSplit(uint8)"
          ],
          "saved_corpus_calls": 391,
          "selector": "0xf89367f3",
          "share": 0.016237541528
        },
        {
          "comparison_key": "0x2b95b898",
          "function_names": [
            "invariantWithdrawAllTokensShouldNotRevert"
          ],
          "function_signatures": [
            "invariantWithdrawAllTokensShouldNotRevert()"
          ],
          "saved_corpus_calls": 390,
          "selector": "0x2b95b898",
          "share": 0.016196013289
        },
        {
          "comparison_key": "0xcf2634be",
          "function_names": [
            "squeezeWithDefaultHistory"
          ],
          "function_signatures": [
            "squeezeWithDefaultHistory(uint8,uint8)"
          ],
          "saved_corpus_calls": 387,
          "selector": "0xcf2634be",
          "share": 0.016071428571
        },
        {
          "comparison_key": "0xe393d86b",
          "function_names": [
            "removeStream"
          ],
          "function_signatures": [
            "removeStream(uint8,uint256)"
          ],
          "saved_corpus_calls": 385,
          "selector": "0xe393d86b",
          "share": 0.015988372093
        },
        {
          "comparison_key": "0x0325f4e1",
          "function_names": [
            "addSplitsReceiver"
          ],
          "function_signatures": [
            "addSplitsReceiver(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 384,
          "selector": "0x0325f4e1",
          "share": 0.015946843854
        },
        {
          "comparison_key": "0x47bc779b",
          "function_names": [
            "testAddSplitsShouldNotRevert"
          ],
          "function_signatures": [
            "testAddSplitsShouldNotRevert(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 384,
          "selector": "0x47bc779b",
          "share": 0.015946843854
        },
        {
          "comparison_key": "0x218be192",
          "function_names": [
            "invariantSumAmtDeltaIsZero"
          ],
          "function_signatures": [
            "invariantSumAmtDeltaIsZero(uint8)"
          ],
          "saved_corpus_calls": 382,
          "selector": "0x218be192",
          "share": 0.015863787375
        },
        {
          "comparison_key": "0x32dc4442",
          "function_names": [
            "testSqueezeWithFullyHashedHistory"
          ],
          "function_signatures": [
            "testSqueezeWithFullyHashedHistory(uint8,uint8)"
          ],
          "saved_corpus_calls": 381,
          "selector": "0x32dc4442",
          "share": 0.015822259136
        },
        {
          "comparison_key": "0x402f2eae",
          "function_names": [
            "testSplitViewVsActual"
          ],
          "function_signatures": [
            "testSplitViewVsActual(uint8)"
          ],
          "saved_corpus_calls": 376,
          "selector": "0x402f2eae",
          "share": 0.01561461794
        },
        {
          "comparison_key": "0x4e0ad60b",
          "function_names": [
            "testSqueezableAmountCantBeWithdrawn"
          ],
          "function_signatures": [
            "testSqueezableAmountCantBeWithdrawn(uint8,uint8)"
          ],
          "saved_corpus_calls": 374,
          "selector": "0x4e0ad60b",
          "share": 0.015531561462
        },
        {
          "comparison_key": "0x662fe867",
          "function_names": [
            "invariantAmtPerSecVsMinAmtPerSec"
          ],
          "function_signatures": [
            "invariantAmtPerSecVsMinAmtPerSec(uint8,uint256)"
          ],
          "saved_corpus_calls": 374,
          "selector": "0x662fe867",
          "share": 0.015531561462
        },
        {
          "comparison_key": "0xe2b3d196",
          "function_names": [
            "splitAndCollectToSelf"
          ],
          "function_signatures": [
            "splitAndCollectToSelf(uint8)"
          ],
          "saved_corpus_calls": 374,
          "selector": "0xe2b3d196",
          "share": 0.015531561462
        },
        {
          "comparison_key": "0x01b73ab9",
          "function_names": [
            "testBalanceAtInFuture"
          ],
          "function_signatures": [
            "testBalanceAtInFuture(uint8,uint8,uint160)"
          ],
          "saved_corpus_calls": 373,
          "selector": "0x01b73ab9",
          "share": 0.015490033223
        },
        {
          "comparison_key": "0x424df745",
          "function_names": [
            "testCollectableAfterSplit"
          ],
          "function_signatures": [
            "testCollectableAfterSplit(uint8)"
          ],
          "saved_corpus_calls": 370,
          "selector": "0x424df745",
          "share": 0.015365448505
        },
        {
          "comparison_key": "0x1ef44aed",
          "function_names": [
            "split"
          ],
          "function_signatures": [
            "split(uint8)"
          ],
          "saved_corpus_calls": 368,
          "selector": "0x1ef44aed",
          "share": 0.015282392027
        },
        {
          "comparison_key": "0xbcb054fd",
          "function_names": [
            "addStreamImmediatelySqueezable"
          ],
          "function_signatures": [
            "addStreamImmediatelySqueezable(uint8,uint8,uint160)"
          ],
          "saved_corpus_calls": 367,
          "selector": "0xbcb054fd",
          "share": 0.015240863787
        },
        {
          "comparison_key": "0x45b9b0ba",
          "function_names": [
            "testReceiveStreamsViewVsActual"
          ],
          "function_signatures": [
            "testReceiveStreamsViewVsActual(uint8,uint32)"
          ],
          "saved_corpus_calls": 366,
          "selector": "0x45b9b0ba",
          "share": 0.015199335548
        },
        {
          "comparison_key": "0x925d2ba2",
          "function_names": [
            "testSetStreamBalanceShouldNotRevert"
          ],
          "function_signatures": [
            "testSetStreamBalanceShouldNotRevert(uint8,int128)"
          ],
          "saved_corpus_calls": 365,
          "selector": "0x925d2ba2",
          "share": 0.015157807309
        },
        {
          "comparison_key": "0x0e8df0d4",
          "function_names": [
            "testSqueeze"
          ],
          "function_signatures": [
            "testSqueeze(uint8,uint8)"
          ],
          "saved_corpus_calls": 362,
          "selector": "0x0e8df0d4",
          "share": 0.015033222591
        },
        {
          "comparison_key": "0x30387686",
          "function_names": [
            "testSplitShouldNotRevert"
          ],
          "function_signatures": [
            "testSplitShouldNotRevert(uint8)"
          ],
          "saved_corpus_calls": 362,
          "selector": "0x30387686",
          "share": 0.015033222591
        },
        {
          "comparison_key": "0x55072e3e",
          "function_names": [
            "collect"
          ],
          "function_signatures": [
            "collect(uint8,uint8)"
          ],
          "saved_corpus_calls": 361,
          "selector": "0x55072e3e",
          "share": 0.014991694352
        },
        {
          "comparison_key": "0x13a600d0",
          "function_names": [
            "addStream"
          ],
          "function_signatures": [
            "addStream(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 359,
          "selector": "0x13a600d0",
          "share": 0.014908637874
        },
        {
          "comparison_key": "0x2e81ecdc",
          "function_names": [
            "addSplitsReceiverWithClamping"
          ],
          "function_signatures": [
            "addSplitsReceiverWithClamping(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 358,
          "selector": "0x2e81ecdc",
          "share": 0.014867109635
        },
        {
          "comparison_key": "0x462664e4",
          "function_names": [
            "testRemoveStreamShouldNotRevert"
          ],
          "function_signatures": [
            "testRemoveStreamShouldNotRevert(uint8,uint256)"
          ],
          "saved_corpus_calls": 358,
          "selector": "0x462664e4",
          "share": 0.014867109635
        },
        {
          "comparison_key": "0x3bfbc3bd",
          "function_names": [
            "setStreamBalance"
          ],
          "function_signatures": [
            "setStreamBalance(uint8,int128)"
          ],
          "saved_corpus_calls": 356,
          "selector": "0x3bfbc3bd",
          "share": 0.014784053156
        },
        {
          "comparison_key": "0x0787f556",
          "function_names": [
            "giveClampedAmount"
          ],
          "function_signatures": [
            "giveClampedAmount(uint8,uint8,uint128)"
          ],
          "saved_corpus_calls": 352,
          "selector": "0x0787f556",
          "share": 0.014617940199
        },
        {
          "comparison_key": "0x7e089b12",
          "function_names": [
            "testSqueezeTwice"
          ],
          "function_signatures": [
            "testSqueezeTwice(uint8,uint8,uint256,bytes32)"
          ],
          "saved_corpus_calls": 349,
          "selector": "0x7e089b12",
          "share": 0.014493355482
        },
        {
          "comparison_key": "0xcdb89fe8",
          "function_names": [
            "give"
          ],
          "function_signatures": [
            "give(uint8,uint8,uint128)"
          ],
          "saved_corpus_calls": 349,
          "selector": "0xcdb89fe8",
          "share": 0.014493355482
        },
        {
          "comparison_key": "0x2e0c28fb",
          "function_names": [
            "setMaxEndHints"
          ],
          "function_signatures": [
            "setMaxEndHints(uint32,uint32)"
          ],
          "saved_corpus_calls": 348,
          "selector": "0x2e0c28fb",
          "share": 0.014451827243
        },
        {
          "comparison_key": "0x12a17262",
          "function_names": [
            "squeezeAllAndReceiveAndSplitAndCollectToSelf"
          ],
          "function_signatures": [
            "squeezeAllAndReceiveAndSplitAndCollectToSelf(uint8)"
          ],
          "saved_corpus_calls": 347,
          "selector": "0x12a17262",
          "share": 0.014410299003
        },
        {
          "comparison_key": "0x441581e7",
          "function_names": [
            "setSplitsWithClamping"
          ],
          "function_signatures": [
            "setSplitsWithClamping(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 347,
          "selector": "0x441581e7",
          "share": 0.014410299003
        },
        {
          "comparison_key": "0xf24a44c9",
          "function_names": [
            "assert_canary_ASSERTION_CANARY"
          ],
          "function_signatures": [
            "assert_canary_ASSERTION_CANARY(uint256)"
          ],
          "saved_corpus_calls": 347,
          "selector": "0xf24a44c9",
          "share": 0.014410299003
        },
        {
          "comparison_key": "0x3ba851ca",
          "function_names": [
            "setStreamsWithClamping"
          ],
          "function_signatures": [
            "setStreamsWithClamping(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 344,
          "selector": "0x3ba851ca",
          "share": 0.014285714286
        },
        {
          "comparison_key": "0x19ca05b3",
          "function_names": [
            "testSplittableAfterSplit"
          ],
          "function_signatures": [
            "testSplittableAfterSplit(uint8)"
          ],
          "saved_corpus_calls": 343,
          "selector": "0x19ca05b3",
          "share": 0.014244186047
        },
        {
          "comparison_key": "0x68c69e1c",
          "function_names": [
            "testSqueezeWithDefaultHistoryShouldNotRevert"
          ],
          "function_signatures": [
            "testSqueezeWithDefaultHistoryShouldNotRevert(uint8,uint8)"
          ],
          "saved_corpus_calls": 343,
          "selector": "0x68c69e1c",
          "share": 0.014244186047
        },
        {
          "comparison_key": "0xf56082ce",
          "function_names": [
            "setStreamBalanceWithClamping"
          ],
          "function_signatures": [
            "setStreamBalanceWithClamping(uint8,int128)"
          ],
          "saved_corpus_calls": 343,
          "selector": "0xf56082ce",
          "share": 0.014244186047
        },
        {
          "comparison_key": "0xfabaa91d",
          "function_names": [
            "testSetStreamBalanceWithdrawAllShouldNotRevert"
          ],
          "function_signatures": [
            "testSetStreamBalanceWithdrawAllShouldNotRevert(uint8)"
          ],
          "saved_corpus_calls": 343,
          "selector": "0xfabaa91d",
          "share": 0.014244186047
        },
        {
          "comparison_key": "0x6fdf0fee",
          "function_names": [
            "setStreamBalanceWithdrawAll"
          ],
          "function_signatures": [
            "setStreamBalanceWithdrawAll(uint8)"
          ],
          "saved_corpus_calls": 342,
          "selector": "0x6fdf0fee",
          "share": 0.014202657807
        },
        {
          "comparison_key": "0x12dbc6ae",
          "function_names": [
            "testCollectShouldNotRevert"
          ],
          "function_signatures": [
            "testCollectShouldNotRevert(uint8,uint8)"
          ],
          "saved_corpus_calls": 340,
          "selector": "0x12dbc6ae",
          "share": 0.014119601329
        },
        {
          "comparison_key": "0xf288ca3f",
          "function_names": [
            "invariantWithdrawShouldAlwaysFail"
          ],
          "function_signatures": [
            "invariantWithdrawShouldAlwaysFail(uint256)"
          ],
          "saved_corpus_calls": 338,
          "selector": "0xf288ca3f",
          "share": 0.01403654485
        },
        {
          "comparison_key": "0x6cc8862a",
          "function_names": [
            "testGiveShouldNotRevert"
          ],
          "function_signatures": [
            "testGiveShouldNotRevert(uint8,uint8,uint128)"
          ],
          "saved_corpus_calls": 336,
          "selector": "0x6cc8862a",
          "share": 0.013953488372
        },
        {
          "comparison_key": "0xfed02144",
          "function_names": [
            "receiveStreams"
          ],
          "function_signatures": [
            "receiveStreams(uint8,uint32)"
          ],
          "saved_corpus_calls": 335,
          "selector": "0xfed02144",
          "share": 0.013911960133
        },
        {
          "comparison_key": "0xed0c06d6",
          "function_names": [
            "removeAllSplits"
          ],
          "function_signatures": [
            "removeAllSplits(uint8)"
          ],
          "saved_corpus_calls": 333,
          "selector": "0xed0c06d6",
          "share": 0.013828903654
        },
        {
          "comparison_key": "0x81b0058c",
          "function_names": [
            "testSqueezeViewVsActual"
          ],
          "function_signatures": [
            "testSqueezeViewVsActual(uint8,uint8)"
          ],
          "saved_corpus_calls": 331,
          "selector": "0x81b0058c",
          "share": 0.013745847176
        },
        {
          "comparison_key": "0xfa1227cd",
          "function_names": [
            "testSetStreamBalance"
          ],
          "function_signatures": [
            "testSetStreamBalance(uint8,int128)"
          ],
          "saved_corpus_calls": 331,
          "selector": "0xfa1227cd",
          "share": 0.013745847176
        },
        {
          "comparison_key": "0x93191ccc",
          "function_names": [
            "invariantWithdrawAllTokens"
          ],
          "function_signatures": [
            "invariantWithdrawAllTokens()"
          ],
          "saved_corpus_calls": 330,
          "selector": "0x93191ccc",
          "share": 0.013704318937
        },
        {
          "comparison_key": "0x82ce0f6d",
          "function_names": [
            "testReceiveStreamsShouldNotRevert"
          ],
          "function_signatures": [
            "testReceiveStreamsShouldNotRevert(uint8)"
          ],
          "saved_corpus_calls": 329,
          "selector": "0x82ce0f6d",
          "share": 0.013662790698
        },
        {
          "comparison_key": "0x8319b8db",
          "function_names": [
            "receiveStreamsSplitAndCollectToSelf"
          ],
          "function_signatures": [
            "receiveStreamsSplitAndCollectToSelf(uint8)"
          ],
          "saved_corpus_calls": 329,
          "selector": "0x8319b8db",
          "share": 0.013662790698
        },
        {
          "comparison_key": "0xb777536f",
          "function_names": [
            "squeezeToSelf"
          ],
          "function_signatures": [
            "squeezeToSelf(uint8)"
          ],
          "saved_corpus_calls": 329,
          "selector": "0xb777536f",
          "share": 0.013662790698
        },
        {
          "comparison_key": "0x1c1e74b7",
          "function_names": [
            "testSqueezableVsReceived"
          ],
          "function_signatures": [
            "testSqueezableVsReceived(uint8)"
          ],
          "saved_corpus_calls": 323,
          "selector": "0x1c1e74b7",
          "share": 0.013413621262
        },
        {
          "comparison_key": "0x79f368d0",
          "function_names": [
            "squeezeAllSenders"
          ],
          "function_signatures": [
            "squeezeAllSenders(uint8)"
          ],
          "saved_corpus_calls": 323,
          "selector": "0x79f368d0",
          "share": 0.013413621262
        },
        {
          "comparison_key": "0x3b0786f0",
          "function_names": [
            "receiveStreamsAllCycles"
          ],
          "function_signatures": [
            "receiveStreamsAllCycles(uint8)"
          ],
          "saved_corpus_calls": 322,
          "selector": "0x3b0786f0",
          "share": 0.013372093023
        },
        {
          "comparison_key": "0x611aa8c7",
          "function_names": [
            "invariantAccountingVsTokenBalance"
          ],
          "function_signatures": [
            "invariantAccountingVsTokenBalance()"
          ],
          "saved_corpus_calls": 320,
          "selector": "0x611aa8c7",
          "share": 0.013289036545
        },
        {
          "comparison_key": "0xed2ce2d6",
          "function_names": [
            "squeezeWithFuzzedHistory"
          ],
          "function_signatures": [
            "squeezeWithFuzzedHistory(uint8,uint8,uint256,bytes32)"
          ],
          "saved_corpus_calls": 318,
          "selector": "0xed2ce2d6",
          "share": 0.013205980066
        },
        {
          "comparison_key": "0xec992a3f",
          "function_names": [
            "testReceiveStreams"
          ],
          "function_signatures": [
            "testReceiveStreams(uint8,uint32)"
          ],
          "saved_corpus_calls": 311,
          "selector": "0xec992a3f",
          "share": 0.012915282392
        },
        {
          "comparison_key": "0x1a042ae7",
          "function_names": [
            "invariant_canary"
          ],
          "function_signatures": [
            "invariant_canary()"
          ],
          "saved_corpus_calls": 304,
          "selector": "0x1a042ae7",
          "share": 0.012624584718
        },
        {
          "comparison_key": "0x92da0f7a",
          "function_names": [
            "testSqueezeWithFuzzedHistoryShouldNotRevert"
          ],
          "function_signatures": [
            "testSqueezeWithFuzzedHistoryShouldNotRevert(uint8,uint8,uint256,bytes32)"
          ],
          "saved_corpus_calls": 304,
          "selector": "0x92da0f7a",
          "share": 0.012624584718
        },
        {
          "comparison_key": "0x21d76db7",
          "function_names": [
            "clampSplitWeight"
          ],
          "function_signatures": [
            "clampSplitWeight(uint32,uint32)"
          ],
          "saved_corpus_calls": 45,
          "selector": "0x21d76db7",
          "share": 0.001868770764
        }
      ],
      "fuzzer": "echidna-ci-cff8760d4b7c",
      "instances": 4,
      "malformed_instances": 0,
      "observed_zero_instances": 0,
      "saved_corpus_calls": 24080,
      "status": "available",
      "unavailable_instances": 0,
      "unique_call_identities": 68,
      "unique_selectors": 68
    },
    {
      "available_instances": 4,
      "distribution": [
        {
          "comparison_key": "0xe31f637a",
          "function_names": [
            "testCollect"
          ],
          "function_signatures": [
            "testCollect(uint8,uint8)"
          ],
          "saved_corpus_calls": 437,
          "selector": "0xe31f637a",
          "share": 0.018770671363
        },
        {
          "comparison_key": "0x4e0ad60b",
          "function_names": [
            "testSqueezableAmountCantBeWithdrawn"
          ],
          "function_signatures": [
            "testSqueezableAmountCantBeWithdrawn(uint8,uint8)"
          ],
          "saved_corpus_calls": 415,
          "selector": "0x4e0ad60b",
          "share": 0.017825694773
        },
        {
          "comparison_key": "0xb89fedbc",
          "function_names": [
            "addStreamWithClamping"
          ],
          "function_signatures": [
            "addStreamWithClamping(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 415,
          "selector": "0xb89fedbc",
          "share": 0.017825694773
        },
        {
          "comparison_key": "0x0e8df0d4",
          "function_names": [
            "testSqueeze"
          ],
          "function_signatures": [
            "testSqueeze(uint8,uint8)"
          ],
          "saved_corpus_calls": 397,
          "selector": "0x0e8df0d4",
          "share": 0.017052532108
        },
        {
          "comparison_key": "0xfa1227cd",
          "function_names": [
            "testSetStreamBalance"
          ],
          "function_signatures": [
            "testSetStreamBalance(uint8,int128)"
          ],
          "saved_corpus_calls": 396,
          "selector": "0xfa1227cd",
          "share": 0.017009578626
        },
        {
          "comparison_key": "0x12a17262",
          "function_names": [
            "squeezeAllAndReceiveAndSplitAndCollectToSelf"
          ],
          "function_signatures": [
            "squeezeAllAndReceiveAndSplitAndCollectToSelf(uint8)"
          ],
          "saved_corpus_calls": 395,
          "selector": "0x12a17262",
          "share": 0.016966625145
        },
        {
          "comparison_key": "0x218be192",
          "function_names": [
            "invariantSumAmtDeltaIsZero"
          ],
          "function_signatures": [
            "invariantSumAmtDeltaIsZero(uint8)"
          ],
          "saved_corpus_calls": 389,
          "selector": "0x218be192",
          "share": 0.016708904257
        },
        {
          "comparison_key": "0x79f368d0",
          "function_names": [
            "squeezeAllSenders"
          ],
          "function_signatures": [
            "squeezeAllSenders(uint8)"
          ],
          "saved_corpus_calls": 388,
          "selector": "0x79f368d0",
          "share": 0.016665950775
        },
        {
          "comparison_key": "0x12dbc6ae",
          "function_names": [
            "testCollectShouldNotRevert"
          ],
          "function_signatures": [
            "testCollectShouldNotRevert(uint8,uint8)"
          ],
          "saved_corpus_calls": 387,
          "selector": "0x12dbc6ae",
          "share": 0.016622997294
        },
        {
          "comparison_key": "0x0787f556",
          "function_names": [
            "giveClampedAmount"
          ],
          "function_signatures": [
            "giveClampedAmount(uint8,uint8,uint128)"
          ],
          "saved_corpus_calls": 386,
          "selector": "0x0787f556",
          "share": 0.016580043813
        },
        {
          "comparison_key": "0x82ce0f6d",
          "function_names": [
            "testReceiveStreamsShouldNotRevert"
          ],
          "function_signatures": [
            "testReceiveStreamsShouldNotRevert(uint8)"
          ],
          "saved_corpus_calls": 385,
          "selector": "0x82ce0f6d",
          "share": 0.016537090331
        },
        {
          "comparison_key": "0x8d8b7f3b",
          "function_names": [
            "setSplits"
          ],
          "function_signatures": [
            "setSplits(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 382,
          "selector": "0x8d8b7f3b",
          "share": 0.016408229887
        },
        {
          "comparison_key": "0xdf65cad7",
          "function_names": [
            "testSetSplitsShouldNotRevert"
          ],
          "function_signatures": [
            "testSetSplitsShouldNotRevert(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 382,
          "selector": "0xdf65cad7",
          "share": 0.016408229887
        },
        {
          "comparison_key": "0x13a600d0",
          "function_names": [
            "addStream"
          ],
          "function_signatures": [
            "addStream(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 371,
          "selector": "0x13a600d0",
          "share": 0.015935741592
        },
        {
          "comparison_key": "0x5bf58259",
          "function_names": [
            "collectToSelf"
          ],
          "function_signatures": [
            "collectToSelf(uint8)"
          ],
          "saved_corpus_calls": 370,
          "selector": "0x5bf58259",
          "share": 0.01589278811
        },
        {
          "comparison_key": "0x424df745",
          "function_names": [
            "testCollectableAfterSplit"
          ],
          "function_signatures": [
            "testCollectableAfterSplit(uint8)"
          ],
          "saved_corpus_calls": 367,
          "selector": "0x424df745",
          "share": 0.015763927666
        },
        {
          "comparison_key": "0x68c69e1c",
          "function_names": [
            "testSqueezeWithDefaultHistoryShouldNotRevert"
          ],
          "function_signatures": [
            "testSqueezeWithDefaultHistoryShouldNotRevert(uint8,uint8)"
          ],
          "saved_corpus_calls": 365,
          "selector": "0x68c69e1c",
          "share": 0.015678020704
        },
        {
          "comparison_key": "0x2e81ecdc",
          "function_names": [
            "addSplitsReceiverWithClamping"
          ],
          "function_signatures": [
            "addSplitsReceiverWithClamping(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 361,
          "selector": "0x2e81ecdc",
          "share": 0.015506206778
        },
        {
          "comparison_key": "0x3bfbc3bd",
          "function_names": [
            "setStreamBalance"
          ],
          "function_signatures": [
            "setStreamBalance(uint8,int128)"
          ],
          "saved_corpus_calls": 356,
          "selector": "0x3bfbc3bd",
          "share": 0.015291439371
        },
        {
          "comparison_key": "0xec992a3f",
          "function_names": [
            "testReceiveStreams"
          ],
          "function_signatures": [
            "testReceiveStreams(uint8,uint32)"
          ],
          "saved_corpus_calls": 356,
          "selector": "0xec992a3f",
          "share": 0.015291439371
        },
        {
          "comparison_key": "0x2e0c28fb",
          "function_names": [
            "setMaxEndHints"
          ],
          "function_signatures": [
            "setMaxEndHints(uint32,uint32)"
          ],
          "saved_corpus_calls": 354,
          "selector": "0x2e0c28fb",
          "share": 0.015205532408
        },
        {
          "comparison_key": "0x19ca05b3",
          "function_names": [
            "testSplittableAfterSplit"
          ],
          "function_signatures": [
            "testSplittableAfterSplit(uint8)"
          ],
          "saved_corpus_calls": 353,
          "selector": "0x19ca05b3",
          "share": 0.015162578927
        },
        {
          "comparison_key": "0x402f2eae",
          "function_names": [
            "testSplitViewVsActual"
          ],
          "function_signatures": [
            "testSplitViewVsActual(uint8)"
          ],
          "saved_corpus_calls": 352,
          "selector": "0x402f2eae",
          "share": 0.015119625446
        },
        {
          "comparison_key": "0x81b0058c",
          "function_names": [
            "testSqueezeViewVsActual"
          ],
          "function_signatures": [
            "testSqueezeViewVsActual(uint8,uint8)"
          ],
          "saved_corpus_calls": 352,
          "selector": "0x81b0058c",
          "share": 0.015119625446
        },
        {
          "comparison_key": "0xfed02144",
          "function_names": [
            "receiveStreams"
          ],
          "function_signatures": [
            "receiveStreams(uint8,uint32)"
          ],
          "saved_corpus_calls": 351,
          "selector": "0xfed02144",
          "share": 0.015076671964
        },
        {
          "comparison_key": "0x55072e3e",
          "function_names": [
            "collect"
          ],
          "function_signatures": [
            "collect(uint8,uint8)"
          ],
          "saved_corpus_calls": 350,
          "selector": "0x55072e3e",
          "share": 0.015033718483
        },
        {
          "comparison_key": "0xf288ca3f",
          "function_names": [
            "invariantWithdrawShouldAlwaysFail"
          ],
          "function_signatures": [
            "invariantWithdrawShouldAlwaysFail(uint256)"
          ],
          "saved_corpus_calls": 350,
          "selector": "0xf288ca3f",
          "share": 0.015033718483
        },
        {
          "comparison_key": "0x93191ccc",
          "function_names": [
            "invariantWithdrawAllTokens"
          ],
          "function_signatures": [
            "invariantWithdrawAllTokens()"
          ],
          "saved_corpus_calls": 348,
          "selector": "0x93191ccc",
          "share": 0.01494781152
        },
        {
          "comparison_key": "0xcf2634be",
          "function_names": [
            "squeezeWithDefaultHistory"
          ],
          "function_signatures": [
            "squeezeWithDefaultHistory(uint8,uint8)"
          ],
          "saved_corpus_calls": 348,
          "selector": "0xcf2634be",
          "share": 0.01494781152
        },
        {
          "comparison_key": "0x45b9b0ba",
          "function_names": [
            "testReceiveStreamsViewVsActual"
          ],
          "function_signatures": [
            "testReceiveStreamsViewVsActual(uint8,uint32)"
          ],
          "saved_corpus_calls": 347,
          "selector": "0x45b9b0ba",
          "share": 0.014904858039
        },
        {
          "comparison_key": "0x1a3ed582",
          "function_names": [
            "setStreams"
          ],
          "function_signatures": [
            "setStreams(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 346,
          "selector": "0x1a3ed582",
          "share": 0.014861904557
        },
        {
          "comparison_key": "0x47bc779b",
          "function_names": [
            "testAddSplitsShouldNotRevert"
          ],
          "function_signatures": [
            "testAddSplitsShouldNotRevert(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 346,
          "selector": "0x47bc779b",
          "share": 0.014861904557
        },
        {
          "comparison_key": "0x7a81c2d8",
          "function_names": [
            "testSqueezableAmountCantBeUndone"
          ],
          "function_signatures": [
            "testSqueezableAmountCantBeUndone(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 345,
          "selector": "0x7a81c2d8",
          "share": 0.014818951076
        },
        {
          "comparison_key": "0xf24a44c9",
          "function_names": [
            "assert_canary_ASSERTION_CANARY"
          ],
          "function_signatures": [
            "assert_canary_ASSERTION_CANARY(uint256)"
          ],
          "saved_corpus_calls": 345,
          "selector": "0xf24a44c9",
          "share": 0.014818951076
        },
        {
          "comparison_key": "0x6cc8862a",
          "function_names": [
            "testGiveShouldNotRevert"
          ],
          "function_signatures": [
            "testGiveShouldNotRevert(uint8,uint8,uint128)"
          ],
          "saved_corpus_calls": 344,
          "selector": "0x6cc8862a",
          "share": 0.014775997595
        },
        {
          "comparison_key": "0xb777536f",
          "function_names": [
            "squeezeToSelf"
          ],
          "function_signatures": [
            "squeezeToSelf(uint8)"
          ],
          "saved_corpus_calls": 344,
          "selector": "0xb777536f",
          "share": 0.014775997595
        },
        {
          "comparison_key": "0x441581e7",
          "function_names": [
            "setSplitsWithClamping"
          ],
          "function_signatures": [
            "setSplitsWithClamping(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 343,
          "selector": "0x441581e7",
          "share": 0.014733044113
        },
        {
          "comparison_key": "0xe2b3d196",
          "function_names": [
            "splitAndCollectToSelf"
          ],
          "function_signatures": [
            "splitAndCollectToSelf(uint8)"
          ],
          "saved_corpus_calls": 343,
          "selector": "0xe2b3d196",
          "share": 0.014733044113
        },
        {
          "comparison_key": "0x01b73ab9",
          "function_names": [
            "testBalanceAtInFuture"
          ],
          "function_signatures": [
            "testBalanceAtInFuture(uint8,uint8,uint160)"
          ],
          "saved_corpus_calls": 340,
          "selector": "0x01b73ab9",
          "share": 0.014604183669
        },
        {
          "comparison_key": "0x662fe867",
          "function_names": [
            "invariantAmtPerSecVsMinAmtPerSec"
          ],
          "function_signatures": [
            "invariantAmtPerSecVsMinAmtPerSec(uint8,uint256)"
          ],
          "saved_corpus_calls": 339,
          "selector": "0x662fe867",
          "share": 0.014561230188
        },
        {
          "comparison_key": "0xf56082ce",
          "function_names": [
            "setStreamBalanceWithClamping"
          ],
          "function_signatures": [
            "setStreamBalanceWithClamping(uint8,int128)"
          ],
          "saved_corpus_calls": 339,
          "selector": "0xf56082ce",
          "share": 0.014561230188
        },
        {
          "comparison_key": "0xbcb054fd",
          "function_names": [
            "addStreamImmediatelySqueezable"
          ],
          "function_signatures": [
            "addStreamImmediatelySqueezable(uint8,uint8,uint160)"
          ],
          "saved_corpus_calls": 338,
          "selector": "0xbcb054fd",
          "share": 0.014518276706
        },
        {
          "comparison_key": "0x752315fa",
          "function_names": [
            "testSetStreamsShouldNotRevert"
          ],
          "function_signatures": [
            "testSetStreamsShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 335,
          "selector": "0x752315fa",
          "share": 0.014389416262
        },
        {
          "comparison_key": "0xfabaa91d",
          "function_names": [
            "testSetStreamBalanceWithdrawAllShouldNotRevert"
          ],
          "function_signatures": [
            "testSetStreamBalanceWithdrawAllShouldNotRevert(uint8)"
          ],
          "saved_corpus_calls": 335,
          "selector": "0xfabaa91d",
          "share": 0.014389416262
        },
        {
          "comparison_key": "0x1c1e74b7",
          "function_names": [
            "testSqueezableVsReceived"
          ],
          "function_signatures": [
            "testSqueezableVsReceived(uint8)"
          ],
          "saved_corpus_calls": 334,
          "selector": "0x1c1e74b7",
          "share": 0.014346462781
        },
        {
          "comparison_key": "0x6fdf0fee",
          "function_names": [
            "setStreamBalanceWithdrawAll"
          ],
          "function_signatures": [
            "setStreamBalanceWithdrawAll(uint8)"
          ],
          "saved_corpus_calls": 334,
          "selector": "0x6fdf0fee",
          "share": 0.014346462781
        },
        {
          "comparison_key": "0xed2ce2d6",
          "function_names": [
            "squeezeWithFuzzedHistory"
          ],
          "function_signatures": [
            "squeezeWithFuzzedHistory(uint8,uint8,uint256,bytes32)"
          ],
          "saved_corpus_calls": 334,
          "selector": "0xed2ce2d6",
          "share": 0.014346462781
        },
        {
          "comparison_key": "0x1ef44aed",
          "function_names": [
            "split"
          ],
          "function_signatures": [
            "split(uint8)"
          ],
          "saved_corpus_calls": 333,
          "selector": "0x1ef44aed",
          "share": 0.014303509299
        },
        {
          "comparison_key": "0x3ba851ca",
          "function_names": [
            "setStreamsWithClamping"
          ],
          "function_signatures": [
            "setStreamsWithClamping(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 332,
          "selector": "0x3ba851ca",
          "share": 0.014260555818
        },
        {
          "comparison_key": "0xec13b1ca",
          "function_names": [
            "testAddStreamShouldNotRevert"
          ],
          "function_signatures": [
            "testAddStreamShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 332,
          "selector": "0xec13b1ca",
          "share": 0.014260555818
        },
        {
          "comparison_key": "0xe393d86b",
          "function_names": [
            "removeStream"
          ],
          "function_signatures": [
            "removeStream(uint8,uint256)"
          ],
          "saved_corpus_calls": 325,
          "selector": "0xe393d86b",
          "share": 0.013959881448
        },
        {
          "comparison_key": "0xed0c06d6",
          "function_names": [
            "removeAllSplits"
          ],
          "function_signatures": [
            "removeAllSplits(uint8)"
          ],
          "saved_corpus_calls": 325,
          "selector": "0xed0c06d6",
          "share": 0.013959881448
        },
        {
          "comparison_key": "0x0325f4e1",
          "function_names": [
            "addSplitsReceiver"
          ],
          "function_signatures": [
            "addSplitsReceiver(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 324,
          "selector": "0x0325f4e1",
          "share": 0.013916927967
        },
        {
          "comparison_key": "0x2b95b898",
          "function_names": [
            "invariantWithdrawAllTokensShouldNotRevert"
          ],
          "function_signatures": [
            "invariantWithdrawAllTokensShouldNotRevert()"
          ],
          "saved_corpus_calls": 324,
          "selector": "0x2b95b898",
          "share": 0.013916927967
        },
        {
          "comparison_key": "0x611aa8c7",
          "function_names": [
            "invariantAccountingVsTokenBalance"
          ],
          "function_signatures": [
            "invariantAccountingVsTokenBalance()"
          ],
          "saved_corpus_calls": 324,
          "selector": "0x611aa8c7",
          "share": 0.013916927967
        },
        {
          "comparison_key": "0x925d2ba2",
          "function_names": [
            "testSetStreamBalanceShouldNotRevert"
          ],
          "function_signatures": [
            "testSetStreamBalanceShouldNotRevert(uint8,int128)"
          ],
          "saved_corpus_calls": 321,
          "selector": "0x925d2ba2",
          "share": 0.013788067523
        },
        {
          "comparison_key": "0x462664e4",
          "function_names": [
            "testRemoveStreamShouldNotRevert"
          ],
          "function_signatures": [
            "testRemoveStreamShouldNotRevert(uint8,uint256)"
          ],
          "saved_corpus_calls": 315,
          "selector": "0x462664e4",
          "share": 0.013530346635
        },
        {
          "comparison_key": "0x32dc4442",
          "function_names": [
            "testSqueezeWithFullyHashedHistory"
          ],
          "function_signatures": [
            "testSqueezeWithFullyHashedHistory(uint8,uint8)"
          ],
          "saved_corpus_calls": 313,
          "selector": "0x32dc4442",
          "share": 0.013444439672
        },
        {
          "comparison_key": "0xf89367f3",
          "function_names": [
            "testReceiversReceivedSplit"
          ],
          "function_signatures": [
            "testReceiversReceivedSplit(uint8)"
          ],
          "saved_corpus_calls": 310,
          "selector": "0xf89367f3",
          "share": 0.013315579228
        },
        {
          "comparison_key": "0x3b0786f0",
          "function_names": [
            "receiveStreamsAllCycles"
          ],
          "function_signatures": [
            "receiveStreamsAllCycles(uint8)"
          ],
          "saved_corpus_calls": 309,
          "selector": "0x3b0786f0",
          "share": 0.013272625746
        },
        {
          "comparison_key": "0x8319b8db",
          "function_names": [
            "receiveStreamsSplitAndCollectToSelf"
          ],
          "function_signatures": [
            "receiveStreamsSplitAndCollectToSelf(uint8)"
          ],
          "saved_corpus_calls": 309,
          "selector": "0x8319b8db",
          "share": 0.013272625746
        },
        {
          "comparison_key": "0x1a042ae7",
          "function_names": [
            "invariant_canary"
          ],
          "function_signatures": [
            "invariant_canary()"
          ],
          "saved_corpus_calls": 304,
          "selector": "0x1a042ae7",
          "share": 0.013057858339
        },
        {
          "comparison_key": "0x92da0f7a",
          "function_names": [
            "testSqueezeWithFuzzedHistoryShouldNotRevert"
          ],
          "function_signatures": [
            "testSqueezeWithFuzzedHistoryShouldNotRevert(uint8,uint8,uint256,bytes32)"
          ],
          "saved_corpus_calls": 301,
          "selector": "0x92da0f7a",
          "share": 0.012928997895
        },
        {
          "comparison_key": "0x1ba3a23c",
          "function_names": [
            "testReceiveStreamsViewConsistency"
          ],
          "function_signatures": [
            "testReceiveStreamsViewConsistency(uint8,uint32)"
          ],
          "saved_corpus_calls": 300,
          "selector": "0x1ba3a23c",
          "share": 0.012886044414
        },
        {
          "comparison_key": "0xcdb89fe8",
          "function_names": [
            "give"
          ],
          "function_signatures": [
            "give(uint8,uint8,uint128)"
          ],
          "saved_corpus_calls": 300,
          "selector": "0xcdb89fe8",
          "share": 0.012886044414
        },
        {
          "comparison_key": "0x7e089b12",
          "function_names": [
            "testSqueezeTwice"
          ],
          "function_signatures": [
            "testSqueezeTwice(uint8,uint8,uint256,bytes32)"
          ],
          "saved_corpus_calls": 290,
          "selector": "0x7e089b12",
          "share": 0.0124565096
        },
        {
          "comparison_key": "0x30387686",
          "function_names": [
            "testSplitShouldNotRevert"
          ],
          "function_signatures": [
            "testSplitShouldNotRevert(uint8)"
          ],
          "saved_corpus_calls": 272,
          "selector": "0x30387686",
          "share": 0.011683346935
        },
        {
          "comparison_key": "0x21d76db7",
          "function_names": [
            "clampSplitWeight"
          ],
          "function_signatures": [
            "clampSplitWeight(uint32,uint32)"
          ],
          "saved_corpus_calls": 29,
          "selector": "0x21d76db7",
          "share": 0.00124565096
        }
      ],
      "fuzzer": "echidna-pr-1614",
      "instances": 4,
      "malformed_instances": 0,
      "observed_zero_instances": 0,
      "saved_corpus_calls": 23281,
      "status": "available",
      "unavailable_instances": 0,
      "unique_call_identities": 68,
      "unique_selectors": 68
    }
  ],
  "health_findings": [],
  "health_warnings": [],
  "instances": [
    {
      "artifact_files": 67,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna-ci-cff8760d4b7c",
      "fuzzer_label": "echidna-ci-cff8760d4b7c",
      "ignored_calls": 0,
      "instance_id": "i-032d59c23713d098f",
      "instance_label": "i-032d59c23713d098f-echidna-ci-cff8760d4b7c",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 67,
      "processed_artifact_bytes": 3961399,
      "saved_corpus_calls": 6561,
      "status": "available",
      "unique_call_identities": 68,
      "unique_selectors": 68,
      "warnings": []
    },
    {
      "artifact_files": 57,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna-pr-1614",
      "fuzzer_label": "echidna-pr-1614",
      "ignored_calls": 0,
      "instance_id": "i-0795e4e09cf507d02",
      "instance_label": "i-0795e4e09cf507d02-echidna-pr-1614",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 57,
      "processed_artifact_bytes": 3427310,
      "saved_corpus_calls": 5699,
      "status": "available",
      "unique_call_identities": 68,
      "unique_selectors": 68,
      "warnings": []
    },
    {
      "artifact_files": 60,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna-ci-cff8760d4b7c",
      "fuzzer_label": "echidna-ci-cff8760d4b7c",
      "ignored_calls": 0,
      "instance_id": "i-0acc4697fb9922478",
      "instance_label": "i-0acc4697fb9922478-echidna-ci-cff8760d4b7c",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 60,
      "processed_artifact_bytes": 3592551,
      "saved_corpus_calls": 5951,
      "status": "available",
      "unique_call_identities": 68,
      "unique_selectors": 68,
      "warnings": []
    },
    {
      "artifact_files": 61,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna-pr-1614",
      "fuzzer_label": "echidna-pr-1614",
      "ignored_calls": 0,
      "instance_id": "i-0c311257104ff1013",
      "instance_label": "i-0c311257104ff1013-echidna-pr-1614",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 61,
      "processed_artifact_bytes": 3607041,
      "saved_corpus_calls": 6038,
      "status": "available",
      "unique_call_identities": 68,
      "unique_selectors": 68,
      "warnings": []
    },
    {
      "artifact_files": 56,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna-ci-cff8760d4b7c",
      "fuzzer_label": "echidna-ci-cff8760d4b7c",
      "ignored_calls": 0,
      "instance_id": "i-0d04f20e7fd23d352",
      "instance_label": "i-0d04f20e7fd23d352-echidna-ci-cff8760d4b7c",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 56,
      "processed_artifact_bytes": 3294470,
      "saved_corpus_calls": 5495,
      "status": "available",
      "unique_call_identities": 68,
      "unique_selectors": 68,
      "warnings": []
    },
    {
      "artifact_files": 61,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna-pr-1614",
      "fuzzer_label": "echidna-pr-1614",
      "ignored_calls": 0,
      "instance_id": "i-0d62ce9e5ec50ee3b",
      "instance_label": "i-0d62ce9e5ec50ee3b-echidna-pr-1614",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 61,
      "processed_artifact_bytes": 3563301,
      "saved_corpus_calls": 5945,
      "status": "available",
      "unique_call_identities": 68,
      "unique_selectors": 68,
      "warnings": []
    },
    {
      "artifact_files": 61,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna-ci-cff8760d4b7c",
      "fuzzer_label": "echidna-ci-cff8760d4b7c",
      "ignored_calls": 0,
      "instance_id": "i-0dbc76bdcbb49d22b",
      "instance_label": "i-0dbc76bdcbb49d22b-echidna-ci-cff8760d4b7c",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 61,
      "processed_artifact_bytes": 3623023,
      "saved_corpus_calls": 6073,
      "status": "available",
      "unique_call_identities": 68,
      "unique_selectors": 68,
      "warnings": []
    },
    {
      "artifact_files": 56,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna-pr-1614",
      "fuzzer_label": "echidna-pr-1614",
      "ignored_calls": 0,
      "instance_id": "i-0e1968a88175d10b2",
      "instance_label": "i-0e1968a88175d10b2-echidna-pr-1614",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 56,
      "processed_artifact_bytes": 3357637,
      "saved_corpus_calls": 5599,
      "status": "available",
      "unique_call_identities": 68,
      "unique_selectors": 68,
      "warnings": []
    }
  ],
  "limitations": [
    "No expected selector set was available: the peer heuristic requires corroboration from every available instance in at least two fuzzer families"
  ],
  "measurement": "Counts are occurrences in unique saved corpus sequences, not runtime execution frequencies",
  "run_id": "gh-33919985770-1",
  "schema_version": 1
}