{
  "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": "0x1a3ed582",
          "function_names": [
            "setStreams"
          ],
          "function_signatures": [
            "setStreams(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 402,
          "selector": "0x1a3ed582",
          "share": 0.01802690583
        },
        {
          "comparison_key": "0x12a17262",
          "function_names": [
            "squeezeAllAndReceiveAndSplitAndCollectToSelf"
          ],
          "function_signatures": [
            "squeezeAllAndReceiveAndSplitAndCollectToSelf(uint8)"
          ],
          "saved_corpus_calls": 390,
          "selector": "0x12a17262",
          "share": 0.017488789238
        },
        {
          "comparison_key": "0xe393d86b",
          "function_names": [
            "removeStream"
          ],
          "function_signatures": [
            "removeStream(uint8,uint256)"
          ],
          "saved_corpus_calls": 388,
          "selector": "0xe393d86b",
          "share": 0.017399103139
        },
        {
          "comparison_key": "0xf89367f3",
          "function_names": [
            "testReceiversReceivedSplit"
          ],
          "function_signatures": [
            "testReceiversReceivedSplit(uint8)"
          ],
          "saved_corpus_calls": 385,
          "selector": "0xf89367f3",
          "share": 0.017264573991
        },
        {
          "comparison_key": "0x30387686",
          "function_names": [
            "testSplitShouldNotRevert"
          ],
          "function_signatures": [
            "testSplitShouldNotRevert(uint8)"
          ],
          "saved_corpus_calls": 377,
          "selector": "0x30387686",
          "share": 0.016905829596
        },
        {
          "comparison_key": "0x3ba851ca",
          "function_names": [
            "setStreamsWithClamping"
          ],
          "function_signatures": [
            "setStreamsWithClamping(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 377,
          "selector": "0x3ba851ca",
          "share": 0.016905829596
        },
        {
          "comparison_key": "0x0e8df0d4",
          "function_names": [
            "testSqueeze"
          ],
          "function_signatures": [
            "testSqueeze(uint8,uint8)"
          ],
          "saved_corpus_calls": 373,
          "selector": "0x0e8df0d4",
          "share": 0.016726457399
        },
        {
          "comparison_key": "0x32dc4442",
          "function_names": [
            "testSqueezeWithFullyHashedHistory"
          ],
          "function_signatures": [
            "testSqueezeWithFullyHashedHistory(uint8,uint8)"
          ],
          "saved_corpus_calls": 373,
          "selector": "0x32dc4442",
          "share": 0.016726457399
        },
        {
          "comparison_key": "0x218be192",
          "function_names": [
            "invariantSumAmtDeltaIsZero"
          ],
          "function_signatures": [
            "invariantSumAmtDeltaIsZero(uint8)"
          ],
          "saved_corpus_calls": 371,
          "selector": "0x218be192",
          "share": 0.0166367713
        },
        {
          "comparison_key": "0x79f368d0",
          "function_names": [
            "squeezeAllSenders"
          ],
          "function_signatures": [
            "squeezeAllSenders(uint8)"
          ],
          "saved_corpus_calls": 371,
          "selector": "0x79f368d0",
          "share": 0.0166367713
        },
        {
          "comparison_key": "0x1ef44aed",
          "function_names": [
            "split"
          ],
          "function_signatures": [
            "split(uint8)"
          ],
          "saved_corpus_calls": 366,
          "selector": "0x1ef44aed",
          "share": 0.016412556054
        },
        {
          "comparison_key": "0x93191ccc",
          "function_names": [
            "invariantWithdrawAllTokens"
          ],
          "function_signatures": [
            "invariantWithdrawAllTokens()"
          ],
          "saved_corpus_calls": 365,
          "selector": "0x93191ccc",
          "share": 0.016367713004
        },
        {
          "comparison_key": "0x2e0c28fb",
          "function_names": [
            "setMaxEndHints"
          ],
          "function_signatures": [
            "setMaxEndHints(uint32,uint32)"
          ],
          "saved_corpus_calls": 361,
          "selector": "0x2e0c28fb",
          "share": 0.016188340807
        },
        {
          "comparison_key": "0x7a81c2d8",
          "function_names": [
            "testSqueezableAmountCantBeUndone"
          ],
          "function_signatures": [
            "testSqueezableAmountCantBeUndone(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 357,
          "selector": "0x7a81c2d8",
          "share": 0.01600896861
        },
        {
          "comparison_key": "0xec13b1ca",
          "function_names": [
            "testAddStreamShouldNotRevert"
          ],
          "function_signatures": [
            "testAddStreamShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 356,
          "selector": "0xec13b1ca",
          "share": 0.015964125561
        },
        {
          "comparison_key": "0x13a600d0",
          "function_names": [
            "addStream"
          ],
          "function_signatures": [
            "addStream(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 354,
          "selector": "0x13a600d0",
          "share": 0.015874439462
        },
        {
          "comparison_key": "0x92da0f7a",
          "function_names": [
            "testSqueezeWithFuzzedHistoryShouldNotRevert"
          ],
          "function_signatures": [
            "testSqueezeWithFuzzedHistoryShouldNotRevert(uint8,uint8,uint256,bytes32)"
          ],
          "saved_corpus_calls": 353,
          "selector": "0x92da0f7a",
          "share": 0.015829596413
        },
        {
          "comparison_key": "0xb89fedbc",
          "function_names": [
            "addStreamWithClamping"
          ],
          "function_signatures": [
            "addStreamWithClamping(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 351,
          "selector": "0xb89fedbc",
          "share": 0.015739910314
        },
        {
          "comparison_key": "0xfa1227cd",
          "function_names": [
            "testSetStreamBalance"
          ],
          "function_signatures": [
            "testSetStreamBalance(uint8,int128)"
          ],
          "saved_corpus_calls": 351,
          "selector": "0xfa1227cd",
          "share": 0.015739910314
        },
        {
          "comparison_key": "0xed2ce2d6",
          "function_names": [
            "squeezeWithFuzzedHistory"
          ],
          "function_signatures": [
            "squeezeWithFuzzedHistory(uint8,uint8,uint256,bytes32)"
          ],
          "saved_corpus_calls": 349,
          "selector": "0xed2ce2d6",
          "share": 0.015650224215
        },
        {
          "comparison_key": "0x68c69e1c",
          "function_names": [
            "testSqueezeWithDefaultHistoryShouldNotRevert"
          ],
          "function_signatures": [
            "testSqueezeWithDefaultHistoryShouldNotRevert(uint8,uint8)"
          ],
          "saved_corpus_calls": 348,
          "selector": "0x68c69e1c",
          "share": 0.015605381166
        },
        {
          "comparison_key": "0x402f2eae",
          "function_names": [
            "testSplitViewVsActual"
          ],
          "function_signatures": [
            "testSplitViewVsActual(uint8)"
          ],
          "saved_corpus_calls": 346,
          "selector": "0x402f2eae",
          "share": 0.015515695067
        },
        {
          "comparison_key": "0x462664e4",
          "function_names": [
            "testRemoveStreamShouldNotRevert"
          ],
          "function_signatures": [
            "testRemoveStreamShouldNotRevert(uint8,uint256)"
          ],
          "saved_corpus_calls": 345,
          "selector": "0x462664e4",
          "share": 0.015470852018
        },
        {
          "comparison_key": "0x8d8b7f3b",
          "function_names": [
            "setSplits"
          ],
          "function_signatures": [
            "setSplits(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 345,
          "selector": "0x8d8b7f3b",
          "share": 0.015470852018
        },
        {
          "comparison_key": "0xec992a3f",
          "function_names": [
            "testReceiveStreams"
          ],
          "function_signatures": [
            "testReceiveStreams(uint8,uint32)"
          ],
          "saved_corpus_calls": 345,
          "selector": "0xec992a3f",
          "share": 0.015470852018
        },
        {
          "comparison_key": "0x82ce0f6d",
          "function_names": [
            "testReceiveStreamsShouldNotRevert"
          ],
          "function_signatures": [
            "testReceiveStreamsShouldNotRevert(uint8)"
          ],
          "saved_corpus_calls": 342,
          "selector": "0x82ce0f6d",
          "share": 0.01533632287
        },
        {
          "comparison_key": "0x45b9b0ba",
          "function_names": [
            "testReceiveStreamsViewVsActual"
          ],
          "function_signatures": [
            "testReceiveStreamsViewVsActual(uint8,uint32)"
          ],
          "saved_corpus_calls": 338,
          "selector": "0x45b9b0ba",
          "share": 0.015156950673
        },
        {
          "comparison_key": "0xdf65cad7",
          "function_names": [
            "testSetSplitsShouldNotRevert"
          ],
          "function_signatures": [
            "testSetSplitsShouldNotRevert(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 335,
          "selector": "0xdf65cad7",
          "share": 0.015022421525
        },
        {
          "comparison_key": "0xcdb89fe8",
          "function_names": [
            "give"
          ],
          "function_signatures": [
            "give(uint8,uint8,uint128)"
          ],
          "saved_corpus_calls": 334,
          "selector": "0xcdb89fe8",
          "share": 0.014977578475
        },
        {
          "comparison_key": "0x1ba3a23c",
          "function_names": [
            "testReceiveStreamsViewConsistency"
          ],
          "function_signatures": [
            "testReceiveStreamsViewConsistency(uint8,uint32)"
          ],
          "saved_corpus_calls": 333,
          "selector": "0x1ba3a23c",
          "share": 0.014932735426
        },
        {
          "comparison_key": "0x925d2ba2",
          "function_names": [
            "testSetStreamBalanceShouldNotRevert"
          ],
          "function_signatures": [
            "testSetStreamBalanceShouldNotRevert(uint8,int128)"
          ],
          "saved_corpus_calls": 332,
          "selector": "0x925d2ba2",
          "share": 0.014887892377
        },
        {
          "comparison_key": "0xf56082ce",
          "function_names": [
            "setStreamBalanceWithClamping"
          ],
          "function_signatures": [
            "setStreamBalanceWithClamping(uint8,int128)"
          ],
          "saved_corpus_calls": 332,
          "selector": "0xf56082ce",
          "share": 0.014887892377
        },
        {
          "comparison_key": "0x81b0058c",
          "function_names": [
            "testSqueezeViewVsActual"
          ],
          "function_signatures": [
            "testSqueezeViewVsActual(uint8,uint8)"
          ],
          "saved_corpus_calls": 329,
          "selector": "0x81b0058c",
          "share": 0.014753363229
        },
        {
          "comparison_key": "0xf24a44c9",
          "function_names": [
            "assert_canary_ASSERTION_CANARY"
          ],
          "function_signatures": [
            "assert_canary_ASSERTION_CANARY(uint256)"
          ],
          "saved_corpus_calls": 329,
          "selector": "0xf24a44c9",
          "share": 0.014753363229
        },
        {
          "comparison_key": "0x5bf58259",
          "function_names": [
            "collectToSelf"
          ],
          "function_signatures": [
            "collectToSelf(uint8)"
          ],
          "saved_corpus_calls": 328,
          "selector": "0x5bf58259",
          "share": 0.014708520179
        },
        {
          "comparison_key": "0x0325f4e1",
          "function_names": [
            "addSplitsReceiver"
          ],
          "function_signatures": [
            "addSplitsReceiver(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 324,
          "selector": "0x0325f4e1",
          "share": 0.014529147982
        },
        {
          "comparison_key": "0xed0c06d6",
          "function_names": [
            "removeAllSplits"
          ],
          "function_signatures": [
            "removeAllSplits(uint8)"
          ],
          "saved_corpus_calls": 323,
          "selector": "0xed0c06d6",
          "share": 0.014484304933
        },
        {
          "comparison_key": "0xe2b3d196",
          "function_names": [
            "splitAndCollectToSelf"
          ],
          "function_signatures": [
            "splitAndCollectToSelf(uint8)"
          ],
          "saved_corpus_calls": 322,
          "selector": "0xe2b3d196",
          "share": 0.014439461883
        },
        {
          "comparison_key": "0xfed02144",
          "function_names": [
            "receiveStreams"
          ],
          "function_signatures": [
            "receiveStreams(uint8,uint32)"
          ],
          "saved_corpus_calls": 321,
          "selector": "0xfed02144",
          "share": 0.014394618834
        },
        {
          "comparison_key": "0x12dbc6ae",
          "function_names": [
            "testCollectShouldNotRevert"
          ],
          "function_signatures": [
            "testCollectShouldNotRevert(uint8,uint8)"
          ],
          "saved_corpus_calls": 320,
          "selector": "0x12dbc6ae",
          "share": 0.014349775785
        },
        {
          "comparison_key": "0x3b0786f0",
          "function_names": [
            "receiveStreamsAllCycles"
          ],
          "function_signatures": [
            "receiveStreamsAllCycles(uint8)"
          ],
          "saved_corpus_calls": 320,
          "selector": "0x3b0786f0",
          "share": 0.014349775785
        },
        {
          "comparison_key": "0x662fe867",
          "function_names": [
            "invariantAmtPerSecVsMinAmtPerSec"
          ],
          "function_signatures": [
            "invariantAmtPerSecVsMinAmtPerSec(uint8,uint256)"
          ],
          "saved_corpus_calls": 320,
          "selector": "0x662fe867",
          "share": 0.014349775785
        },
        {
          "comparison_key": "0x6cc8862a",
          "function_names": [
            "testGiveShouldNotRevert"
          ],
          "function_signatures": [
            "testGiveShouldNotRevert(uint8,uint8,uint128)"
          ],
          "saved_corpus_calls": 320,
          "selector": "0x6cc8862a",
          "share": 0.014349775785
        },
        {
          "comparison_key": "0x7e089b12",
          "function_names": [
            "testSqueezeTwice"
          ],
          "function_signatures": [
            "testSqueezeTwice(uint8,uint8,uint256,bytes32)"
          ],
          "saved_corpus_calls": 319,
          "selector": "0x7e089b12",
          "share": 0.014304932735
        },
        {
          "comparison_key": "0xcf2634be",
          "function_names": [
            "squeezeWithDefaultHistory"
          ],
          "function_signatures": [
            "squeezeWithDefaultHistory(uint8,uint8)"
          ],
          "saved_corpus_calls": 317,
          "selector": "0xcf2634be",
          "share": 0.014215246637
        },
        {
          "comparison_key": "0x3bfbc3bd",
          "function_names": [
            "setStreamBalance"
          ],
          "function_signatures": [
            "setStreamBalance(uint8,int128)"
          ],
          "saved_corpus_calls": 316,
          "selector": "0x3bfbc3bd",
          "share": 0.014170403587
        },
        {
          "comparison_key": "0x4e0ad60b",
          "function_names": [
            "testSqueezableAmountCantBeWithdrawn"
          ],
          "function_signatures": [
            "testSqueezableAmountCantBeWithdrawn(uint8,uint8)"
          ],
          "saved_corpus_calls": 316,
          "selector": "0x4e0ad60b",
          "share": 0.014170403587
        },
        {
          "comparison_key": "0x752315fa",
          "function_names": [
            "testSetStreamsShouldNotRevert"
          ],
          "function_signatures": [
            "testSetStreamsShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 314,
          "selector": "0x752315fa",
          "share": 0.014080717489
        },
        {
          "comparison_key": "0x8319b8db",
          "function_names": [
            "receiveStreamsSplitAndCollectToSelf"
          ],
          "function_signatures": [
            "receiveStreamsSplitAndCollectToSelf(uint8)"
          ],
          "saved_corpus_calls": 314,
          "selector": "0x8319b8db",
          "share": 0.014080717489
        },
        {
          "comparison_key": "0x1c1e74b7",
          "function_names": [
            "testSqueezableVsReceived"
          ],
          "function_signatures": [
            "testSqueezableVsReceived(uint8)"
          ],
          "saved_corpus_calls": 313,
          "selector": "0x1c1e74b7",
          "share": 0.014035874439
        },
        {
          "comparison_key": "0x1a042ae7",
          "function_names": [
            "invariant_canary"
          ],
          "function_signatures": [
            "invariant_canary()"
          ],
          "saved_corpus_calls": 311,
          "selector": "0x1a042ae7",
          "share": 0.013946188341
        },
        {
          "comparison_key": "0x01b73ab9",
          "function_names": [
            "testBalanceAtInFuture"
          ],
          "function_signatures": [
            "testBalanceAtInFuture(uint8,uint8,uint160)"
          ],
          "saved_corpus_calls": 310,
          "selector": "0x01b73ab9",
          "share": 0.013901345291
        },
        {
          "comparison_key": "0x441581e7",
          "function_names": [
            "setSplitsWithClamping"
          ],
          "function_signatures": [
            "setSplitsWithClamping(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 309,
          "selector": "0x441581e7",
          "share": 0.013856502242
        },
        {
          "comparison_key": "0xbcb054fd",
          "function_names": [
            "addStreamImmediatelySqueezable"
          ],
          "function_signatures": [
            "addStreamImmediatelySqueezable(uint8,uint8,uint160)"
          ],
          "saved_corpus_calls": 309,
          "selector": "0xbcb054fd",
          "share": 0.013856502242
        },
        {
          "comparison_key": "0x2e81ecdc",
          "function_names": [
            "addSplitsReceiverWithClamping"
          ],
          "function_signatures": [
            "addSplitsReceiverWithClamping(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 306,
          "selector": "0x2e81ecdc",
          "share": 0.013721973094
        },
        {
          "comparison_key": "0xf288ca3f",
          "function_names": [
            "invariantWithdrawShouldAlwaysFail"
          ],
          "function_signatures": [
            "invariantWithdrawShouldAlwaysFail(uint256)"
          ],
          "saved_corpus_calls": 306,
          "selector": "0xf288ca3f",
          "share": 0.013721973094
        },
        {
          "comparison_key": "0x611aa8c7",
          "function_names": [
            "invariantAccountingVsTokenBalance"
          ],
          "function_signatures": [
            "invariantAccountingVsTokenBalance()"
          ],
          "saved_corpus_calls": 304,
          "selector": "0x611aa8c7",
          "share": 0.013632286996
        },
        {
          "comparison_key": "0x47bc779b",
          "function_names": [
            "testAddSplitsShouldNotRevert"
          ],
          "function_signatures": [
            "testAddSplitsShouldNotRevert(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 303,
          "selector": "0x47bc779b",
          "share": 0.013587443946
        },
        {
          "comparison_key": "0xfabaa91d",
          "function_names": [
            "testSetStreamBalanceWithdrawAllShouldNotRevert"
          ],
          "function_signatures": [
            "testSetStreamBalanceWithdrawAllShouldNotRevert(uint8)"
          ],
          "saved_corpus_calls": 303,
          "selector": "0xfabaa91d",
          "share": 0.013587443946
        },
        {
          "comparison_key": "0x424df745",
          "function_names": [
            "testCollectableAfterSplit"
          ],
          "function_signatures": [
            "testCollectableAfterSplit(uint8)"
          ],
          "saved_corpus_calls": 297,
          "selector": "0x424df745",
          "share": 0.01331838565
        },
        {
          "comparison_key": "0x0787f556",
          "function_names": [
            "giveClampedAmount"
          ],
          "function_signatures": [
            "giveClampedAmount(uint8,uint8,uint128)"
          ],
          "saved_corpus_calls": 294,
          "selector": "0x0787f556",
          "share": 0.013183856502
        },
        {
          "comparison_key": "0xb777536f",
          "function_names": [
            "squeezeToSelf"
          ],
          "function_signatures": [
            "squeezeToSelf(uint8)"
          ],
          "saved_corpus_calls": 292,
          "selector": "0xb777536f",
          "share": 0.013094170404
        },
        {
          "comparison_key": "0xe31f637a",
          "function_names": [
            "testCollect"
          ],
          "function_signatures": [
            "testCollect(uint8,uint8)"
          ],
          "saved_corpus_calls": 288,
          "selector": "0xe31f637a",
          "share": 0.012914798206
        },
        {
          "comparison_key": "0x2b95b898",
          "function_names": [
            "invariantWithdrawAllTokensShouldNotRevert"
          ],
          "function_signatures": [
            "invariantWithdrawAllTokensShouldNotRevert()"
          ],
          "saved_corpus_calls": 287,
          "selector": "0x2b95b898",
          "share": 0.012869955157
        },
        {
          "comparison_key": "0x19ca05b3",
          "function_names": [
            "testSplittableAfterSplit"
          ],
          "function_signatures": [
            "testSplittableAfterSplit(uint8)"
          ],
          "saved_corpus_calls": 284,
          "selector": "0x19ca05b3",
          "share": 0.012735426009
        },
        {
          "comparison_key": "0x55072e3e",
          "function_names": [
            "collect"
          ],
          "function_signatures": [
            "collect(uint8,uint8)"
          ],
          "saved_corpus_calls": 284,
          "selector": "0x55072e3e",
          "share": 0.012735426009
        },
        {
          "comparison_key": "0x6fdf0fee",
          "function_names": [
            "setStreamBalanceWithdrawAll"
          ],
          "function_signatures": [
            "setStreamBalanceWithdrawAll(uint8)"
          ],
          "saved_corpus_calls": 281,
          "selector": "0x6fdf0fee",
          "share": 0.012600896861
        },
        {
          "comparison_key": "0x21d76db7",
          "function_names": [
            "clampSplitWeight"
          ],
          "function_signatures": [
            "clampSplitWeight(uint32,uint32)"
          ],
          "saved_corpus_calls": 22,
          "selector": "0x21d76db7",
          "share": 0.000986547085
        }
      ],
      "fuzzer": "echidna-ci-0ea96cb95290",
      "instances": 4,
      "malformed_instances": 0,
      "observed_zero_instances": 0,
      "saved_corpus_calls": 22300,
      "status": "available",
      "unavailable_instances": 0,
      "unique_call_identities": 68,
      "unique_selectors": 68
    },
    {
      "available_instances": 4,
      "distribution": [
        {
          "comparison_key": "0x5bf58259",
          "function_names": [
            "collectToSelf"
          ],
          "function_signatures": [
            "collectToSelf(uint8)"
          ],
          "saved_corpus_calls": 411,
          "selector": "0x5bf58259",
          "share": 0.018105726872
        },
        {
          "comparison_key": "0x81b0058c",
          "function_names": [
            "testSqueezeViewVsActual"
          ],
          "function_signatures": [
            "testSqueezeViewVsActual(uint8,uint8)"
          ],
          "saved_corpus_calls": 388,
          "selector": "0x81b0058c",
          "share": 0.017092511013
        },
        {
          "comparison_key": "0x2e81ecdc",
          "function_names": [
            "addSplitsReceiverWithClamping"
          ],
          "function_signatures": [
            "addSplitsReceiverWithClamping(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 384,
          "selector": "0x2e81ecdc",
          "share": 0.016916299559
        },
        {
          "comparison_key": "0x0787f556",
          "function_names": [
            "giveClampedAmount"
          ],
          "function_signatures": [
            "giveClampedAmount(uint8,uint8,uint128)"
          ],
          "saved_corpus_calls": 378,
          "selector": "0x0787f556",
          "share": 0.016651982379
        },
        {
          "comparison_key": "0x3ba851ca",
          "function_names": [
            "setStreamsWithClamping"
          ],
          "function_signatures": [
            "setStreamsWithClamping(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 378,
          "selector": "0x3ba851ca",
          "share": 0.016651982379
        },
        {
          "comparison_key": "0xec992a3f",
          "function_names": [
            "testReceiveStreams"
          ],
          "function_signatures": [
            "testReceiveStreams(uint8,uint32)"
          ],
          "saved_corpus_calls": 378,
          "selector": "0xec992a3f",
          "share": 0.016651982379
        },
        {
          "comparison_key": "0x3b0786f0",
          "function_names": [
            "receiveStreamsAllCycles"
          ],
          "function_signatures": [
            "receiveStreamsAllCycles(uint8)"
          ],
          "saved_corpus_calls": 377,
          "selector": "0x3b0786f0",
          "share": 0.016607929515
        },
        {
          "comparison_key": "0x13a600d0",
          "function_names": [
            "addStream"
          ],
          "function_signatures": [
            "addStream(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 372,
          "selector": "0x13a600d0",
          "share": 0.016387665198
        },
        {
          "comparison_key": "0x92da0f7a",
          "function_names": [
            "testSqueezeWithFuzzedHistoryShouldNotRevert"
          ],
          "function_signatures": [
            "testSqueezeWithFuzzedHistoryShouldNotRevert(uint8,uint8,uint256,bytes32)"
          ],
          "saved_corpus_calls": 368,
          "selector": "0x92da0f7a",
          "share": 0.016211453744
        },
        {
          "comparison_key": "0x47bc779b",
          "function_names": [
            "testAddSplitsShouldNotRevert"
          ],
          "function_signatures": [
            "testAddSplitsShouldNotRevert(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 365,
          "selector": "0x47bc779b",
          "share": 0.016079295154
        },
        {
          "comparison_key": "0x1a3ed582",
          "function_names": [
            "setStreams"
          ],
          "function_signatures": [
            "setStreams(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 363,
          "selector": "0x1a3ed582",
          "share": 0.015991189427
        },
        {
          "comparison_key": "0x6cc8862a",
          "function_names": [
            "testGiveShouldNotRevert"
          ],
          "function_signatures": [
            "testGiveShouldNotRevert(uint8,uint8,uint128)"
          ],
          "saved_corpus_calls": 363,
          "selector": "0x6cc8862a",
          "share": 0.015991189427
        },
        {
          "comparison_key": "0xec13b1ca",
          "function_names": [
            "testAddStreamShouldNotRevert"
          ],
          "function_signatures": [
            "testAddStreamShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 363,
          "selector": "0xec13b1ca",
          "share": 0.015991189427
        },
        {
          "comparison_key": "0x19ca05b3",
          "function_names": [
            "testSplittableAfterSplit"
          ],
          "function_signatures": [
            "testSplittableAfterSplit(uint8)"
          ],
          "saved_corpus_calls": 360,
          "selector": "0x19ca05b3",
          "share": 0.015859030837
        },
        {
          "comparison_key": "0xcf2634be",
          "function_names": [
            "squeezeWithDefaultHistory"
          ],
          "function_signatures": [
            "squeezeWithDefaultHistory(uint8,uint8)"
          ],
          "saved_corpus_calls": 360,
          "selector": "0xcf2634be",
          "share": 0.015859030837
        },
        {
          "comparison_key": "0xf288ca3f",
          "function_names": [
            "invariantWithdrawShouldAlwaysFail"
          ],
          "function_signatures": [
            "invariantWithdrawShouldAlwaysFail(uint256)"
          ],
          "saved_corpus_calls": 359,
          "selector": "0xf288ca3f",
          "share": 0.015814977974
        },
        {
          "comparison_key": "0x1ef44aed",
          "function_names": [
            "split"
          ],
          "function_signatures": [
            "split(uint8)"
          ],
          "saved_corpus_calls": 358,
          "selector": "0x1ef44aed",
          "share": 0.01577092511
        },
        {
          "comparison_key": "0xb777536f",
          "function_names": [
            "squeezeToSelf"
          ],
          "function_signatures": [
            "squeezeToSelf(uint8)"
          ],
          "saved_corpus_calls": 357,
          "selector": "0xb777536f",
          "share": 0.015726872247
        },
        {
          "comparison_key": "0x82ce0f6d",
          "function_names": [
            "testReceiveStreamsShouldNotRevert"
          ],
          "function_signatures": [
            "testReceiveStreamsShouldNotRevert(uint8)"
          ],
          "saved_corpus_calls": 356,
          "selector": "0x82ce0f6d",
          "share": 0.015682819383
        },
        {
          "comparison_key": "0x611aa8c7",
          "function_names": [
            "invariantAccountingVsTokenBalance"
          ],
          "function_signatures": [
            "invariantAccountingVsTokenBalance()"
          ],
          "saved_corpus_calls": 355,
          "selector": "0x611aa8c7",
          "share": 0.01563876652
        },
        {
          "comparison_key": "0x79f368d0",
          "function_names": [
            "squeezeAllSenders"
          ],
          "function_signatures": [
            "squeezeAllSenders(uint8)"
          ],
          "saved_corpus_calls": 354,
          "selector": "0x79f368d0",
          "share": 0.015594713656
        },
        {
          "comparison_key": "0x752315fa",
          "function_names": [
            "testSetStreamsShouldNotRevert"
          ],
          "function_signatures": [
            "testSetStreamsShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 353,
          "selector": "0x752315fa",
          "share": 0.015550660793
        },
        {
          "comparison_key": "0x7a81c2d8",
          "function_names": [
            "testSqueezableAmountCantBeUndone"
          ],
          "function_signatures": [
            "testSqueezableAmountCantBeUndone(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 351,
          "selector": "0x7a81c2d8",
          "share": 0.015462555066
        },
        {
          "comparison_key": "0x925d2ba2",
          "function_names": [
            "testSetStreamBalanceShouldNotRevert"
          ],
          "function_signatures": [
            "testSetStreamBalanceShouldNotRevert(uint8,int128)"
          ],
          "saved_corpus_calls": 349,
          "selector": "0x925d2ba2",
          "share": 0.015374449339
        },
        {
          "comparison_key": "0xb89fedbc",
          "function_names": [
            "addStreamWithClamping"
          ],
          "function_signatures": [
            "addStreamWithClamping(uint8,uint8,uint160,uint32,uint32,int128)"
          ],
          "saved_corpus_calls": 349,
          "selector": "0xb89fedbc",
          "share": 0.015374449339
        },
        {
          "comparison_key": "0xed0c06d6",
          "function_names": [
            "removeAllSplits"
          ],
          "function_signatures": [
            "removeAllSplits(uint8)"
          ],
          "saved_corpus_calls": 349,
          "selector": "0xed0c06d6",
          "share": 0.015374449339
        },
        {
          "comparison_key": "0x7e089b12",
          "function_names": [
            "testSqueezeTwice"
          ],
          "function_signatures": [
            "testSqueezeTwice(uint8,uint8,uint256,bytes32)"
          ],
          "saved_corpus_calls": 348,
          "selector": "0x7e089b12",
          "share": 0.015330396476
        },
        {
          "comparison_key": "0x2e0c28fb",
          "function_names": [
            "setMaxEndHints"
          ],
          "function_signatures": [
            "setMaxEndHints(uint32,uint32)"
          ],
          "saved_corpus_calls": 347,
          "selector": "0x2e0c28fb",
          "share": 0.015286343612
        },
        {
          "comparison_key": "0x3bfbc3bd",
          "function_names": [
            "setStreamBalance"
          ],
          "function_signatures": [
            "setStreamBalance(uint8,int128)"
          ],
          "saved_corpus_calls": 346,
          "selector": "0x3bfbc3bd",
          "share": 0.015242290749
        },
        {
          "comparison_key": "0x68c69e1c",
          "function_names": [
            "testSqueezeWithDefaultHistoryShouldNotRevert"
          ],
          "function_signatures": [
            "testSqueezeWithDefaultHistoryShouldNotRevert(uint8,uint8)"
          ],
          "saved_corpus_calls": 346,
          "selector": "0x68c69e1c",
          "share": 0.015242290749
        },
        {
          "comparison_key": "0xfa1227cd",
          "function_names": [
            "testSetStreamBalance"
          ],
          "function_signatures": [
            "testSetStreamBalance(uint8,int128)"
          ],
          "saved_corpus_calls": 344,
          "selector": "0xfa1227cd",
          "share": 0.015154185022
        },
        {
          "comparison_key": "0xbcb054fd",
          "function_names": [
            "addStreamImmediatelySqueezable"
          ],
          "function_signatures": [
            "addStreamImmediatelySqueezable(uint8,uint8,uint160)"
          ],
          "saved_corpus_calls": 340,
          "selector": "0xbcb054fd",
          "share": 0.014977973568
        },
        {
          "comparison_key": "0x2b95b898",
          "function_names": [
            "invariantWithdrawAllTokensShouldNotRevert"
          ],
          "function_signatures": [
            "invariantWithdrawAllTokensShouldNotRevert()"
          ],
          "saved_corpus_calls": 339,
          "selector": "0x2b95b898",
          "share": 0.014933920705
        },
        {
          "comparison_key": "0x55072e3e",
          "function_names": [
            "collect"
          ],
          "function_signatures": [
            "collect(uint8,uint8)"
          ],
          "saved_corpus_calls": 338,
          "selector": "0x55072e3e",
          "share": 0.014889867841
        },
        {
          "comparison_key": "0x12a17262",
          "function_names": [
            "squeezeAllAndReceiveAndSplitAndCollectToSelf"
          ],
          "function_signatures": [
            "squeezeAllAndReceiveAndSplitAndCollectToSelf(uint8)"
          ],
          "saved_corpus_calls": 336,
          "selector": "0x12a17262",
          "share": 0.014801762115
        },
        {
          "comparison_key": "0x1c1e74b7",
          "function_names": [
            "testSqueezableVsReceived"
          ],
          "function_signatures": [
            "testSqueezableVsReceived(uint8)"
          ],
          "saved_corpus_calls": 334,
          "selector": "0x1c1e74b7",
          "share": 0.014713656388
        },
        {
          "comparison_key": "0x0325f4e1",
          "function_names": [
            "addSplitsReceiver"
          ],
          "function_signatures": [
            "addSplitsReceiver(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 332,
          "selector": "0x0325f4e1",
          "share": 0.014625550661
        },
        {
          "comparison_key": "0x402f2eae",
          "function_names": [
            "testSplitViewVsActual"
          ],
          "function_signatures": [
            "testSplitViewVsActual(uint8)"
          ],
          "saved_corpus_calls": 332,
          "selector": "0x402f2eae",
          "share": 0.014625550661
        },
        {
          "comparison_key": "0x662fe867",
          "function_names": [
            "invariantAmtPerSecVsMinAmtPerSec"
          ],
          "function_signatures": [
            "invariantAmtPerSecVsMinAmtPerSec(uint8,uint256)"
          ],
          "saved_corpus_calls": 332,
          "selector": "0x662fe867",
          "share": 0.014625550661
        },
        {
          "comparison_key": "0x32dc4442",
          "function_names": [
            "testSqueezeWithFullyHashedHistory"
          ],
          "function_signatures": [
            "testSqueezeWithFullyHashedHistory(uint8,uint8)"
          ],
          "saved_corpus_calls": 331,
          "selector": "0x32dc4442",
          "share": 0.014581497797
        },
        {
          "comparison_key": "0x8d8b7f3b",
          "function_names": [
            "setSplits"
          ],
          "function_signatures": [
            "setSplits(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 330,
          "selector": "0x8d8b7f3b",
          "share": 0.014537444934
        },
        {
          "comparison_key": "0xf89367f3",
          "function_names": [
            "testReceiversReceivedSplit"
          ],
          "function_signatures": [
            "testReceiversReceivedSplit(uint8)"
          ],
          "saved_corpus_calls": 330,
          "selector": "0xf89367f3",
          "share": 0.014537444934
        },
        {
          "comparison_key": "0x01b73ab9",
          "function_names": [
            "testBalanceAtInFuture"
          ],
          "function_signatures": [
            "testBalanceAtInFuture(uint8,uint8,uint160)"
          ],
          "saved_corpus_calls": 328,
          "selector": "0x01b73ab9",
          "share": 0.014449339207
        },
        {
          "comparison_key": "0x8319b8db",
          "function_names": [
            "receiveStreamsSplitAndCollectToSelf"
          ],
          "function_signatures": [
            "receiveStreamsSplitAndCollectToSelf(uint8)"
          ],
          "saved_corpus_calls": 327,
          "selector": "0x8319b8db",
          "share": 0.014405286344
        },
        {
          "comparison_key": "0xe31f637a",
          "function_names": [
            "testCollect"
          ],
          "function_signatures": [
            "testCollect(uint8,uint8)"
          ],
          "saved_corpus_calls": 326,
          "selector": "0xe31f637a",
          "share": 0.01436123348
        },
        {
          "comparison_key": "0xf24a44c9",
          "function_names": [
            "assert_canary_ASSERTION_CANARY"
          ],
          "function_signatures": [
            "assert_canary_ASSERTION_CANARY(uint256)"
          ],
          "saved_corpus_calls": 326,
          "selector": "0xf24a44c9",
          "share": 0.01436123348
        },
        {
          "comparison_key": "0xdf65cad7",
          "function_names": [
            "testSetSplitsShouldNotRevert"
          ],
          "function_signatures": [
            "testSetSplitsShouldNotRevert(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 324,
          "selector": "0xdf65cad7",
          "share": 0.014273127753
        },
        {
          "comparison_key": "0xe393d86b",
          "function_names": [
            "removeStream"
          ],
          "function_signatures": [
            "removeStream(uint8,uint256)"
          ],
          "saved_corpus_calls": 323,
          "selector": "0xe393d86b",
          "share": 0.01422907489
        },
        {
          "comparison_key": "0xfabaa91d",
          "function_names": [
            "testSetStreamBalanceWithdrawAllShouldNotRevert"
          ],
          "function_signatures": [
            "testSetStreamBalanceWithdrawAllShouldNotRevert(uint8)"
          ],
          "saved_corpus_calls": 323,
          "selector": "0xfabaa91d",
          "share": 0.01422907489
        },
        {
          "comparison_key": "0x1a042ae7",
          "function_names": [
            "invariant_canary"
          ],
          "function_signatures": [
            "invariant_canary()"
          ],
          "saved_corpus_calls": 320,
          "selector": "0x1a042ae7",
          "share": 0.0140969163
        },
        {
          "comparison_key": "0x6fdf0fee",
          "function_names": [
            "setStreamBalanceWithdrawAll"
          ],
          "function_signatures": [
            "setStreamBalanceWithdrawAll(uint8)"
          ],
          "saved_corpus_calls": 319,
          "selector": "0x6fdf0fee",
          "share": 0.014052863436
        },
        {
          "comparison_key": "0x12dbc6ae",
          "function_names": [
            "testCollectShouldNotRevert"
          ],
          "function_signatures": [
            "testCollectShouldNotRevert(uint8,uint8)"
          ],
          "saved_corpus_calls": 318,
          "selector": "0x12dbc6ae",
          "share": 0.014008810573
        },
        {
          "comparison_key": "0xcdb89fe8",
          "function_names": [
            "give"
          ],
          "function_signatures": [
            "give(uint8,uint8,uint128)"
          ],
          "saved_corpus_calls": 318,
          "selector": "0xcdb89fe8",
          "share": 0.014008810573
        },
        {
          "comparison_key": "0x0e8df0d4",
          "function_names": [
            "testSqueeze"
          ],
          "function_signatures": [
            "testSqueeze(uint8,uint8)"
          ],
          "saved_corpus_calls": 313,
          "selector": "0x0e8df0d4",
          "share": 0.013788546256
        },
        {
          "comparison_key": "0xed2ce2d6",
          "function_names": [
            "squeezeWithFuzzedHistory"
          ],
          "function_signatures": [
            "squeezeWithFuzzedHistory(uint8,uint8,uint256,bytes32)"
          ],
          "saved_corpus_calls": 313,
          "selector": "0xed2ce2d6",
          "share": 0.013788546256
        },
        {
          "comparison_key": "0xe2b3d196",
          "function_names": [
            "splitAndCollectToSelf"
          ],
          "function_signatures": [
            "splitAndCollectToSelf(uint8)"
          ],
          "saved_corpus_calls": 312,
          "selector": "0xe2b3d196",
          "share": 0.013744493392
        },
        {
          "comparison_key": "0xf56082ce",
          "function_names": [
            "setStreamBalanceWithClamping"
          ],
          "function_signatures": [
            "setStreamBalanceWithClamping(uint8,int128)"
          ],
          "saved_corpus_calls": 311,
          "selector": "0xf56082ce",
          "share": 0.013700440529
        },
        {
          "comparison_key": "0x218be192",
          "function_names": [
            "invariantSumAmtDeltaIsZero"
          ],
          "function_signatures": [
            "invariantSumAmtDeltaIsZero(uint8)"
          ],
          "saved_corpus_calls": 310,
          "selector": "0x218be192",
          "share": 0.013656387665
        },
        {
          "comparison_key": "0x45b9b0ba",
          "function_names": [
            "testReceiveStreamsViewVsActual"
          ],
          "function_signatures": [
            "testReceiveStreamsViewVsActual(uint8,uint32)"
          ],
          "saved_corpus_calls": 309,
          "selector": "0x45b9b0ba",
          "share": 0.013612334802
        },
        {
          "comparison_key": "0x30387686",
          "function_names": [
            "testSplitShouldNotRevert"
          ],
          "function_signatures": [
            "testSplitShouldNotRevert(uint8)"
          ],
          "saved_corpus_calls": 303,
          "selector": "0x30387686",
          "share": 0.013348017621
        },
        {
          "comparison_key": "0x424df745",
          "function_names": [
            "testCollectableAfterSplit"
          ],
          "function_signatures": [
            "testCollectableAfterSplit(uint8)"
          ],
          "saved_corpus_calls": 303,
          "selector": "0x424df745",
          "share": 0.013348017621
        },
        {
          "comparison_key": "0x462664e4",
          "function_names": [
            "testRemoveStreamShouldNotRevert"
          ],
          "function_signatures": [
            "testRemoveStreamShouldNotRevert(uint8,uint256)"
          ],
          "saved_corpus_calls": 300,
          "selector": "0x462664e4",
          "share": 0.013215859031
        },
        {
          "comparison_key": "0x4e0ad60b",
          "function_names": [
            "testSqueezableAmountCantBeWithdrawn"
          ],
          "function_signatures": [
            "testSqueezableAmountCantBeWithdrawn(uint8,uint8)"
          ],
          "saved_corpus_calls": 295,
          "selector": "0x4e0ad60b",
          "share": 0.012995594714
        },
        {
          "comparison_key": "0x93191ccc",
          "function_names": [
            "invariantWithdrawAllTokens"
          ],
          "function_signatures": [
            "invariantWithdrawAllTokens()"
          ],
          "saved_corpus_calls": 295,
          "selector": "0x93191ccc",
          "share": 0.012995594714
        },
        {
          "comparison_key": "0x441581e7",
          "function_names": [
            "setSplitsWithClamping"
          ],
          "function_signatures": [
            "setSplitsWithClamping(uint8,uint8,uint32)"
          ],
          "saved_corpus_calls": 290,
          "selector": "0x441581e7",
          "share": 0.012775330396
        },
        {
          "comparison_key": "0x1ba3a23c",
          "function_names": [
            "testReceiveStreamsViewConsistency"
          ],
          "function_signatures": [
            "testReceiveStreamsViewConsistency(uint8,uint32)"
          ],
          "saved_corpus_calls": 283,
          "selector": "0x1ba3a23c",
          "share": 0.012466960352
        },
        {
          "comparison_key": "0xfed02144",
          "function_names": [
            "receiveStreams"
          ],
          "function_signatures": [
            "receiveStreams(uint8,uint32)"
          ],
          "saved_corpus_calls": 270,
          "selector": "0xfed02144",
          "share": 0.011894273128
        },
        {
          "comparison_key": "0x21d76db7",
          "function_names": [
            "clampSplitWeight"
          ],
          "function_signatures": [
            "clampSplitWeight(uint32,uint32)"
          ],
          "saved_corpus_calls": 38,
          "selector": "0x21d76db7",
          "share": 0.001674008811
        }
      ],
      "fuzzer": "echidna-pr-1617",
      "instances": 4,
      "malformed_instances": 0,
      "observed_zero_instances": 0,
      "saved_corpus_calls": 22700,
      "status": "available",
      "unavailable_instances": 0,
      "unique_call_identities": 68,
      "unique_selectors": 68
    }
  ],
  "health_findings": [],
  "health_warnings": [],
  "instances": [
    {
      "artifact_files": 53,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna-ci-0ea96cb95290",
      "fuzzer_label": "echidna-ci-0ea96cb95290",
      "ignored_calls": 0,
      "instance_id": "i-01340e4274c82cc8d",
      "instance_label": "i-01340e4274c82cc8d-echidna-ci-0ea96cb95290",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 53,
      "processed_artifact_bytes": 3192837,
      "saved_corpus_calls": 5300,
      "status": "available",
      "unique_call_identities": 68,
      "unique_selectors": 68,
      "warnings": []
    },
    {
      "artifact_files": 57,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna-ci-0ea96cb95290",
      "fuzzer_label": "echidna-ci-0ea96cb95290",
      "ignored_calls": 0,
      "instance_id": "i-058a84145e11abd0a",
      "instance_label": "i-058a84145e11abd0a-echidna-ci-0ea96cb95290",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 57,
      "processed_artifact_bytes": 3420978,
      "saved_corpus_calls": 5700,
      "status": "available",
      "unique_call_identities": 68,
      "unique_selectors": 68,
      "warnings": []
    },
    {
      "artifact_files": 58,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna-pr-1617",
      "fuzzer_label": "echidna-pr-1617",
      "ignored_calls": 0,
      "instance_id": "i-061a3548df7639413",
      "instance_label": "i-061a3548df7639413-echidna-pr-1617",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 58,
      "processed_artifact_bytes": 3500754,
      "saved_corpus_calls": 5800,
      "status": "available",
      "unique_call_identities": 68,
      "unique_selectors": 68,
      "warnings": []
    },
    {
      "artifact_files": 59,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna-pr-1617",
      "fuzzer_label": "echidna-pr-1617",
      "ignored_calls": 0,
      "instance_id": "i-06c3746528670f20c",
      "instance_label": "i-06c3746528670f20c-echidna-pr-1617",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 59,
      "processed_artifact_bytes": 3545409,
      "saved_corpus_calls": 5900,
      "status": "available",
      "unique_call_identities": 68,
      "unique_selectors": 68,
      "warnings": []
    },
    {
      "artifact_files": 57,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna-ci-0ea96cb95290",
      "fuzzer_label": "echidna-ci-0ea96cb95290",
      "ignored_calls": 0,
      "instance_id": "i-072a75c5cefdd9db4",
      "instance_label": "i-072a75c5cefdd9db4-echidna-ci-0ea96cb95290",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 57,
      "processed_artifact_bytes": 3437181,
      "saved_corpus_calls": 5700,
      "status": "available",
      "unique_call_identities": 68,
      "unique_selectors": 68,
      "warnings": []
    },
    {
      "artifact_files": 57,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna-pr-1617",
      "fuzzer_label": "echidna-pr-1617",
      "ignored_calls": 0,
      "instance_id": "i-0a0fdcc5f23195db3",
      "instance_label": "i-0a0fdcc5f23195db3-echidna-pr-1617",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 57,
      "processed_artifact_bytes": 3427006,
      "saved_corpus_calls": 5700,
      "status": "available",
      "unique_call_identities": 68,
      "unique_selectors": 68,
      "warnings": []
    },
    {
      "artifact_files": 53,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna-pr-1617",
      "fuzzer_label": "echidna-pr-1617",
      "ignored_calls": 0,
      "instance_id": "i-0cddf23e8c211e180",
      "instance_label": "i-0cddf23e8c211e180-echidna-pr-1617",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 53,
      "processed_artifact_bytes": 3184671,
      "saved_corpus_calls": 5300,
      "status": "available",
      "unique_call_identities": 68,
      "unique_selectors": 68,
      "warnings": []
    },
    {
      "artifact_files": 56,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna-ci-0ea96cb95290",
      "fuzzer_label": "echidna-ci-0ea96cb95290",
      "ignored_calls": 0,
      "instance_id": "i-0ee1adca3cee1b171",
      "instance_label": "i-0ee1adca3cee1b171-echidna-ci-0ea96cb95290",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 56,
      "processed_artifact_bytes": 3371021,
      "saved_corpus_calls": 5600,
      "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-34042412243-1",
  "schema_version": 1
}