{
"obligations": 167,
"live_accepted": 111,
"depth": 8,
"checks": 143,
"proof_checks": 112,
"regates": 27,
"root_checks": 4,
"excluded": 133,
"chains": [
2,
2,
2,
2,
2,
3,
3,
2
],
"checks_after_coalescing": 133,
"historical_check_s": 240386.1,
"production": {
"max_gate_builds": 4,
"check_timeout_s": 10800.0,
"solve_pool": 40,
"hours": 48.0
},
"dag": [
{
"id": "o001",
"parent": "root",
"depth": 1,
"state": "accepted"
},
{
"id": "o002",
"parent": "root",
"depth": 1,
"state": "accepted"
},
{
"id": "o003",
"parent": "o001",
"depth": 2,
"state": "accepted"
},
{
"id": "o004",
"parent": "o001",
"depth": 2,
"state": "accepted"
},
{
"id": "o005",
"parent": "o001",
"depth": 2,
"state": "accepted"
},
{
"id": "o006",
"parent": "o001",
"depth": 2,
"state": "accepted"
},
{
"id": "o007",
"parent": "o001",
"depth": 2,
"state": "accepted"
},
{
"id": "o008",
"parent": "o001",
"depth": 2,
"state": "accepted"
},
{
"id": "o009",
"parent": "o002",
"depth": 2,
"state": "superseded"
},
{
"id": "o010",
"parent": "o002",
"depth": 2,
"state": "superseded"
},
{
"id": "o011",
"parent": "o002",
"depth": 2,
"state": "superseded"
},
{
"id": "o012",
"parent": "o002",
"depth": 2,
"state": "superseded"
},
{
"id": "o013",
"parent": "o002",
"depth": 2,
"state": "superseded"
},
{
"id": "o014",
"parent": "o002",
"depth": 2,
"state": "superseded"
},
{
"id": "o015",
"parent": "o005",
"depth": 3,
"state": "accepted"
},
{
"id": "o016",
"parent": "o005",
"depth": 3,
"state": "accepted"
},
{
"id": "o017",
"parent": "o016",
"depth": 4,
"state": "accepted"
},
{
"id": "o018",
"parent": "o016",
"depth": 4,
"state": "accepted"
},
{
"id": "o019",
"parent": "o016",
"depth": 4,
"state": "accepted"
},
{
"id": "o020",
"parent": "o007",
"depth": 3,
"state": "accepted"
},
{
"id": "o021",
"parent": "o007",
"depth": 3,
"state": "accepted"
},
{
"id": "o022",
"parent": "o007",
"depth": 3,
"state": "accepted"
},
{
"id": "o023",
"parent": "o007",
"depth": 3,
"state": "accepted"
},
{
"id": "o024",
"parent": "o015",
"depth": 4,
"state": "superseded"
},
{
"id": "o025",
"parent": "o015",
"depth": 4,
"state": "accepted"
},
{
"id": "o026",
"parent": "o021",
"depth": 4,
"state": "accepted"
},
{
"id": "o027",
"parent": "o021",
"depth": 4,
"state": "accepted"
},
{
"id": "o028",
"parent": "o021",
"depth": 4,
"state": "accepted"
},
{
"id": "o029",
"parent": "o021",
"depth": 4,
"state": "accepted"
},
{
"id": "o030",
"parent": "o021",
"depth": 4,
"state": "accepted"
},
{
"id": "o031",
"parent": "o021",
"depth": 4,
"state": "accepted"
},
{
"id": "o032",
"parent": "o017",
"depth": 5,
"state": "accepted"
},
{
"id": "o033",
"parent": "o017",
"depth": 5,
"state": "accepted"
},
{
"id": "o034",
"parent": "o020",
"depth": 4,
"state": "accepted"
},
{
"id": "o035",
"parent": "o020",
"depth": 4,
"state": "accepted"
},
{
"id": "o036",
"parent": "o032",
"depth": 6,
"state": "accepted"
},
{
"id": "o037",
"parent": "o032",
"depth": 6,
"state": "accepted"
},
{
"id": "o038",
"parent": "o032",
"depth": 6,
"state": "accepted"
},
{
"id": "o039",
"parent": "o032",
"depth": 6,
"state": "accepted"
},
{
"id": "o040",
"parent": "o032",
"depth": 6,
"state": "accepted"
},
{
"id": "o041",
"parent": "o023",
"depth": 4,
"state": "accepted"
},
{
"id": "o042",
"parent": "o023",
"depth": 4,
"state": "accepted"
},
{
"id": "o043",
"parent": "o023",
"depth": 4,
"state": "accepted"
},
{
"id": "o044",
"parent": "o023",
"depth": 4,
"state": "accepted"
},
{
"id": "o045",
"parent": "o030",
"depth": 5,
"state": "accepted"
},
{
"id": "o046",
"parent": "o030",
"depth": 5,
"state": "accepted"
},
{
"id": "o047",
"parent": "o030",
"depth": 5,
"state": "accepted"
},
{
"id": "o048",
"parent": "o027",
"depth": 5,
"state": "accepted"
},
{
"id": "o049",
"parent": "o027",
"depth": 5,
"state": "accepted"
},
{
"id": "o050",
"parent": "o027",
"depth": 5,
"state": "accepted"
},
{
"id": "o051",
"parent": "o027",
"depth": 5,
"state": "accepted"
},
{
"id": "o052",
"parent": "o027",
"depth": 5,
"state": "accepted"
},
{
"id": "o053",
"parent": "o024",
"depth": 5,
"state": "accepted"
},
{
"id": "o054",
"parent": "o024",
"depth": 5,
"state": "accepted"
},
{
"id": "o055",
"parent": "o024",
"depth": 5,
"state": "superseded"
},
{
"id": "o056",
"parent": "o024",
"depth": 5,
"state": "accepted"
},
{
"id": "o057",
"parent": "o034",
"depth": 5,
"state": "accepted"
},
{
"id": "o058",
"parent": "o034",
"depth": 5,
"state": "accepted"
},
{
"id": "o059",
"parent": "o034",
"depth": 5,
"state": "accepted"
},
{
"id": "o060",
"parent": "o034",
"depth": 5,
"state": "accepted"
},
{
"id": "o061",
"parent": "o034",
"depth": 5,
"state": "accepted"
},
{
"id": "o062",
"parent": "o026",
"depth": 5,
"state": "accepted"
},
{
"id": "o063",
"parent": "o026",
"depth": 5,
"state": "accepted"
},
{
"id": "o064",
"parent": "o026",
"depth": 5,
"state": "accepted"
},
{
"id": "o065",
"parent": "o026",
"depth": 5,
"state": "accepted"
},
{
"id": "o066",
"parent": "o026",
"depth": 5,
"state": "accepted"
},
{
"id": "o067",
"parent": "o026",
"depth": 5,
"state": "accepted"
},
{
"id": "o068",
"parent": "o041",
"depth": 5,
"state": "accepted"
},
{
"id": "o069",
"parent": "o041",
"depth": 5,
"state": "accepted"
},
{
"id": "o070",
"parent": "o041",
"depth": 5,
"state": "accepted"
},
{
"id": "o071",
"parent": "o054",
"depth": 6,
"state": "accepted"
},
{
"id": "o072",
"parent": "o054",
"depth": 6,
"state": "accepted"
},
{
"id": "o073",
"parent": "o054",
"depth": 6,
"state": "accepted"
},
{
"id": "o074",
"parent": "o054",
"depth": 6,
"state": "accepted"
},
{
"id": "o075",
"parent": "o025",
"depth": 5,
"state": "superseded"
},
{
"id": "o076",
"parent": "o025",
"depth": 5,
"state": "superseded"
},
{
"id": "o077",
"parent": "o068",
"depth": 6,
"state": "accepted"
},
{
"id": "o078",
"parent": "o068",
"depth": 6,
"state": "accepted"
},
{
"id": "o079",
"parent": "o068",
"depth": 6,
"state": "accepted"
},
{
"id": "o080",
"parent": "o068",
"depth": 6,
"state": "accepted"
},
{
"id": "o081",
"parent": "o068",
"depth": 6,
"state": "accepted"
},
{
"id": "o082",
"parent": "o033",
"depth": 6,
"state": "accepted"
},
{
"id": "o083",
"parent": "o033",
"depth": 6,
"state": "accepted"
},
{
"id": "o084",
"parent": "o033",
"depth": 6,
"state": "accepted"
},
{
"id": "o085",
"parent": "o033",
"depth": 6,
"state": "accepted"
},
{
"id": "o086",
"parent": "o062",
"depth": 6,
"state": "superseded"
},
{
"id": "o087",
"parent": "o062",
"depth": 6,
"state": "superseded"
},
{
"id": "o088",
"parent": "o056",
"depth": 6,
"state": "accepted"
},
{
"id": "o089",
"parent": "o056",
"depth": 6,
"state": "accepted"
},
{
"id": "o090",
"parent": "o056",
"depth": 6,
"state": "accepted"
},
{
"id": "o091",
"parent": "o043",
"depth": 5,
"state": "superseded"
},
{
"id": "o092",
"parent": "o043",
"depth": 5,
"state": "accepted"
},
{
"id": "o093",
"parent": "o043",
"depth": 5,
"state": "accepted"
},
{
"id": "o094",
"parent": "o043",
"depth": 5,
"state": "superseded"
},
{
"id": "o095",
"parent": "o042",
"depth": 5,
"state": "accepted"
},
{
"id": "o096",
"parent": "o042",
"depth": 5,
"state": "accepted"
},
{
"id": "o097",
"parent": "o057",
"depth": 6,
"state": "accepted"
},
{
"id": "o098",
"parent": "o057",
"depth": 6,
"state": "superseded"
},
{
"id": "o099",
"parent": "o057",
"depth": 6,
"state": "superseded"
},
{
"id": "o100",
"parent": "o044",
"depth": 5,
"state": "accepted"
},
{
"id": "o101",
"parent": "o044",
"depth": 5,
"state": "accepted"
},
{
"id": "o102",
"parent": "o044",
"depth": 5,
"state": "accepted"
},
{
"id": "o103",
"parent": "o044",
"depth": 5,
"state": "accepted"
},
{
"id": "o104",
"parent": "o093",
"depth": 6,
"state": "accepted"
},
{
"id": "o105",
"parent": "o093",
"depth": 6,
"state": "accepted"
},
{
"id": "o106",
"parent": "o093",
"depth": 6,
"state": "accepted"
},
{
"id": "o107",
"parent": "o053",
"depth": 6,
"state": "accepted"
},
{
"id": "o108",
"parent": "o053",
"depth": 6,
"state": "accepted"
},
{
"id": "o109",
"parent": "o053",
"depth": 6,
"state": "accepted"
},
{
"id": "o110",
"parent": "o053",
"depth": 6,
"state": "accepted"
},
{
"id": "o111",
"parent": "o053",
"depth": 6,
"state": "accepted"
},
{
"id": "o112",
"parent": "o053",
"depth": 6,
"state": "accepted"
},
{
"id": "o113",
"parent": "o055",
"depth": 6,
"state": "superseded"
},
{
"id": "o114",
"parent": "o055",
"depth": 6,
"state": "accepted"
},
{
"id": "o115",
"parent": "o095",
"depth": 6,
"state": "superseded"
},
{
"id": "o116",
"parent": "o095",
"depth": 6,
"state": "superseded"
},
{
"id": "o117",
"parent": "o095",
"depth": 6,
"state": "superseded"
},
{
"id": "o118",
"parent": "o101",
"depth": 6,
"state": "accepted"
},
{
"id": "o119",
"parent": "o101",
"depth": 6,
"state": "accepted"
},
{
"id": "o120",
"parent": "o101",
"depth": 6,
"state": "accepted"
},
{
"id": "o121",
"parent": "o102",
"depth": 6,
"state": "accepted"
},
{
"id": "o122",
"parent": "o102",
"depth": 6,
"state": "accepted"
},
{
"id": "o123",
"parent": "o102",
"depth": 6,
"state": "accepted"
},
{
"id": "o124",
"parent": "o103",
"depth": 6,
"state": "accepted"
},
{
"id": "o125",
"parent": "o103",
"depth": 6,
"state": "accepted"
},
{
"id": "o126",
"parent": "o103",
"depth": 6,
"state": "accepted"
},
{
"id": "o127",
"parent": "o037",
"depth": 7,
"state": "superseded"
},
{
"id": "o128",
"parent": "o037",
"depth": 7,
"state": "superseded"
},
{
"id": "o129",
"parent": "o037",
"depth": 7,
"state": "superseded"
},
{
"id": "o130",
"parent": "o113",
"depth": 7,
"state": "accepted"
},
{
"id": "o131",
"parent": "o113",
"depth": 7,
"state": "superseded"
},
{
"id": "o132",
"parent": "o113",
"depth": 7,
"state": "accepted"
},
{
"id": "o133",
"parent": "o113",
"depth": 7,
"state": "superseded"
},
{
"id": "o134",
"parent": "o083",
"depth": 7,
"state": "superseded"
},
{
"id": "o135",
"parent": "o083",
"depth": 7,
"state": "superseded"
},
{
"id": "o136",
"parent": "o131",
"depth": 8,
"state": "superseded"
},
{
"id": "o137",
"parent": "o131",
"depth": 8,
"state": "superseded"
},
{
"id": "o138",
"parent": "o131",
"depth": 8,
"state": "superseded"
},
{
"id": "o139",
"parent": "o131",
"depth": 8,
"state": "accepted"
},
{
"id": "o140",
"parent": "o121",
"depth": 7,
"state": "superseded"
},
{
"id": "o141",
"parent": "o121",
"depth": 7,
"state": "superseded"
},
{
"id": "o142",
"parent": "o121",
"depth": 7,
"state": "superseded"
},
{
"id": "o143",
"parent": "o121",
"depth": 7,
"state": "superseded"
},
{
"id": "o144",
"parent": "o130",
"depth": 8,
"state": "superseded"
},
{
"id": "o145",
"parent": "o130",
"depth": 8,
"state": "superseded"
},
{
"id": "o146",
"parent": "o130",
"depth": 8,
"state": "superseded"
},
{
"id": "o147",
"parent": "o120",
"depth": 7,
"state": "superseded"
},
{
"id": "o148",
"parent": "o120",
"depth": 7,
"state": "superseded"
},
{
"id": "o149",
"parent": "o120",
"depth": 7,
"state": "superseded"
},
{
"id": "o150",
"parent": "o120",
"depth": 7,
"state": "superseded"
},
{
"id": "o151",
"parent": "o124",
"depth": 7,
"state": "superseded"
},
{
"id": "o152",
"parent": "o124",
"depth": 7,
"state": "superseded"
},
{
"id": "o153",
"parent": "o124",
"depth": 7,
"state": "superseded"
},
{
"id": "o154",
"parent": "o124",
"depth": 7,
"state": "superseded"
},
{
"id": "o155",
"parent": "o125",
"depth": 7,
"state": "superseded"
},
{
"id": "o156",
"parent": "o125",
"depth": 7,
"state": "superseded"
},
{
"id": "o157",
"parent": "o125",
"depth": 7,
"state": "superseded"
},
{
"id": "o158",
"parent": "o125",
"depth": 7,
"state": "superseded"
},
{
"id": "o159",
"parent": "o133",
"depth": 8,
"state": "superseded"
},
{
"id": "o160",
"parent": "o133",
"depth": 8,
"state": "accepted"
},
{
"id": "o161",
"parent": "o153",
"depth": 8,
"state": "superseded"
},
{
"id": "o162",
"parent": "o153",
"depth": 8,
"state": "superseded"
},
{
"id": "o163",
"parent": "o153",
"depth": 8,
"state": "superseded"
},
{
"id": "o164",
"parent": "o152",
"depth": 8,
"state": "superseded"
},
{
"id": "o165",
"parent": "o152",
"depth": 8,
"state": "superseded"
},
{
"id": "o166",
"parent": "o152",
"depth": 8,
"state": "superseded"
},
{
"id": "root",
"parent": null,
"depth": 0,
"state": "accepted"
}
],
"jobs": [
{
"i": 1,
"kind": "check-verdict",
"node": "root",
"hist_s": 55.1,
"dep": null,
"prewarm": false
},
{
"i": 2,
"kind": "machine-verdict",
"node": "root",
"hist_s": 54.4,
"dep": null,
"prewarm": false
},
{
"i": 3,
"kind": "check-verdict",
"node": "o003",
"hist_s": 186.6,
"dep": null,
"prewarm": false
},
{
"i": 4,
"kind": "check-verdict",
"node": "o004",
"hist_s": 367.7,
"dep": null,
"prewarm": false
},
{
"i": 5,
"kind": "check-verdict",
"node": "o008",
"hist_s": 168.5,
"dep": null,
"prewarm": false
},
{
"i": 6,
"kind": "check-verdict",
"node": "o006",
"hist_s": 251.7,
"dep": null,
"prewarm": false
},
{
"i": 7,
"kind": "check-verdict",
"node": "o019",
"hist_s": 219.5,
"dep": null,
"prewarm": false
},
{
"i": 8,
"kind": "check-verdict",
"node": "o018",
"hist_s": 279.8,
"dep": null,
"prewarm": false
},
{
"i": 9,
"kind": "check-verdict",
"node": "o022",
"hist_s": 308.9,
"dep": null,
"prewarm": false
},
{
"i": 10,
"kind": "check-verdict",
"node": "o029",
"hist_s": 480.0,
"dep": null,
"prewarm": false
},
{
"i": 11,
"kind": "check-verdict",
"node": "o038",
"hist_s": 232.1,
"dep": null,
"prewarm": false
},
{
"i": 12,
"kind": "check-verdict",
"node": "o036",
"hist_s": 515.6,
"dep": null,
"prewarm": false
},
{
"i": 13,
"kind": "check-verdict",
"node": "o031",
"hist_s": 1262.2,
"dep": null,
"prewarm": false
},
{
"i": 14,
"kind": "check-verdict",
"node": "o028",
"hist_s": 1369.5,
"dep": null,
"prewarm": false
},
{
"i": 15,
"kind": "check-verdict",
"node": "o002",
"hist_s": 2781.3,
"dep": null,
"prewarm": false
},
{
"i": 16,
"kind": "check-verdict",
"node": "o069",
"hist_s": 263.1,
"dep": null,
"prewarm": false
},
{
"i": 17,
"kind": "check-verdict",
"node": "o066",
"hist_s": 390.1,
"dep": null,
"prewarm": false
},
{
"i": 18,
"kind": "check-verdict",
"node": "o025",
"hist_s": 505.4,
"dep": null,
"prewarm": false
},
{
"i": 19,
"kind": "check-verdict",
"node": "o074",
"hist_s": 1377.8,
"dep": null,
"prewarm": false
},
{
"i": 20,
"kind": "check-verdict",
"node": "o035",
"hist_s": 1817.3,
"dep": null,
"prewarm": false
},
{
"i": 21,
"kind": "check-verdict",
"node": "o045",
"hist_s": 776.1,
"dep": null,
"prewarm": false
},
{
"i": 22,
"kind": "check-verdict",
"node": "o046",
"hist_s": 558.4,
"dep": null,
"prewarm": false
},
{
"i": 23,
"kind": "check-verdict",
"node": "o047",
"hist_s": 541.3,
"dep": null,
"prewarm": false
},
{
"i": 24,
"kind": "check-verdict",
"node": "o049",
"hist_s": 601.0,
"dep": null,
"prewarm": false
},
{
"i": 25,
"kind": "regate",
"node": "o030",
"hist_s": 502.0,
"dep": null,
"prewarm": false
},
{
"i": 26,
"kind": "check-verdict",
"node": "o048",
"hist_s": 595.7,
"dep": null,
"prewarm": false
},
{
"i": 27,
"kind": "check-verdict",
"node": "o052",
"hist_s": 506.3,
"dep": null,
"prewarm": false
},
{
"i": 28,
"kind": "check-verdict",
"node": "o072",
"hist_s": 454.5,
"dep": null,
"prewarm": false
},
{
"i": 29,
"kind": "check-verdict",
"node": "o062",
"hist_s": 184.7,
"dep": null,
"prewarm": false
},
{
"i": 30,
"kind": "check-verdict",
"node": "o059",
"hist_s": 365.7,
"dep": null,
"prewarm": false
},
{
"i": 31,
"kind": "check-verdict",
"node": "o078",
"hist_s": 1606.5,
"dep": null,
"prewarm": false
},
{
"i": 32,
"kind": "check-verdict",
"node": "o039",
"hist_s": 2032.7,
"dep": null,
"prewarm": false
},
{
"i": 33,
"kind": "check-verdict",
"node": "o077",
"hist_s": 1702.7,
"dep": null,
"prewarm": false
},
{
"i": 34,
"kind": "check-verdict",
"node": "o051",
"hist_s": 1082.2,
"dep": null,
"prewarm": false
},
{
"i": 35,
"kind": "check-verdict",
"node": "o064",
"hist_s": 1360.6,
"dep": null,
"prewarm": false
},
{
"i": 36,
"kind": "check-verdict",
"node": "o058",
"hist_s": 1657.3,
"dep": null,
"prewarm": false
},
{
"i": 37,
"kind": "check-verdict",
"node": "o061",
"hist_s": 1534.8,
"dep": null,
"prewarm": false
},
{
"i": 38,
"kind": "check-verdict",
"node": "o050",
"hist_s": 1807.8,
"dep": null,
"prewarm": false
},
{
"i": 39,
"kind": "check-verdict",
"node": "o063",
"hist_s": 1280.5,
"dep": null,
"prewarm": false
},
{
"i": 40,
"kind": "machine-verdict",
"node": "o051",
"hist_s": 1626.7,
"dep": null,
"prewarm": false
},
{
"i": 41,
"kind": "check-verdict",
"node": "o060",
"hist_s": 1266.3,
"dep": null,
"prewarm": false
},
{
"i": 42,
"kind": "check-verdict",
"node": "o043",
"hist_s": 1465.6,
"dep": null,
"prewarm": false
},
{
"i": 43,
"kind": "check-verdict",
"node": "o097",
"hist_s": 1242.5,
"dep": null,
"prewarm": false
},
{
"i": 44,
"kind": "check-verdict",
"node": "o092",
"hist_s": 1692.3,
"dep": null,
"prewarm": false
},
{
"i": 45,
"kind": "check-verdict",
"node": "o093",
"hist_s": 1150.4,
"dep": null,
"prewarm": false
},
{
"i": 46,
"kind": "check-verdict",
"node": "o067",
"hist_s": 1025.8,
"dep": null,
"prewarm": false
},
{
"i": 47,
"kind": "check-verdict",
"node": "o070",
"hist_s": 1517.5,
"dep": null,
"prewarm": false
},
{
"i": 48,
"kind": "check-verdict",
"node": "o065",
"hist_s": 1363.4,
"dep": null,
"prewarm": false
},
{
"i": 49,
"kind": "regate",
"node": "o027",
"hist_s": 1728.0,
"dep": null,
"prewarm": false
},
{
"i": 50,
"kind": "check-verdict",
"node": "o104",
"hist_s": 676.5,
"dep": null,
"prewarm": false
},
{
"i": 51,
"kind": "check-verdict",
"node": "o100",
"hist_s": 1020.3,
"dep": 49,
"prewarm": false
},
{
"i": 52,
"kind": "check-verdict",
"node": "o057",
"hist_s": 1403.9,
"dep": null,
"prewarm": false
},
{
"i": 53,
"kind": "check-verdict",
"node": "o106",
"hist_s": 1616.8,
"dep": null,
"prewarm": false
},
{
"i": 54,
"kind": "check-verdict",
"node": "o096",
"hist_s": 1875.0,
"dep": null,
"prewarm": false
},
{
"i": 55,
"kind": "check-verdict",
"node": "o080",
"hist_s": 2201.1,
"dep": null,
"prewarm": false
},
{
"i": 56,
"kind": "check-verdict",
"node": "o071",
"hist_s": 2395.7,
"dep": null,
"prewarm": false
},
{
"i": 57,
"kind": "check-verdict",
"node": "o081",
"hist_s": 2763.3,
"dep": null,
"prewarm": false
},
{
"i": 58,
"kind": "check-verdict",
"node": "o089",
"hist_s": 2752.6,
"dep": null,
"prewarm": false
},
{
"i": 59,
"kind": "check-verdict",
"node": "o085",
"hist_s": 2883.8,
"dep": null,
"prewarm": false
},
{
"i": 60,
"kind": "check-verdict",
"node": "o090",
"hist_s": 3107.2,
"dep": null,
"prewarm": false
},
{
"i": 61,
"kind": "check-verdict",
"node": "o070",
"hist_s": 2381.1,
"dep": null,
"prewarm": false
},
{
"i": 62,
"kind": "check-verdict",
"node": "o067",
"hist_s": 2233.7,
"dep": null,
"prewarm": false
},
{
"i": 63,
"kind": "check-verdict",
"node": "o065",
"hist_s": 1644.9,
"dep": null,
"prewarm": false
},
{
"i": 64,
"kind": "check-verdict",
"node": "o107",
"hist_s": 3621.0,
"dep": null,
"prewarm": false
},
{
"i": 65,
"kind": "check-verdict",
"node": "o109",
"hist_s": 4297.8,
"dep": null,
"prewarm": false
},
{
"i": 66,
"kind": "check-verdict",
"node": "o112",
"hist_s": 5875.6,
"dep": null,
"prewarm": false
},
{
"i": 67,
"kind": "check-verdict",
"node": "o082",
"hist_s": 4014.4,
"dep": null,
"prewarm": false
},
{
"i": 68,
"kind": "regate",
"node": "o034",
"hist_s": 16486.7,
"dep": null,
"prewarm": false
},
{
"i": 69,
"kind": "check-verdict",
"node": "o095",
"hist_s": 1039.5,
"dep": null,
"prewarm": false
},
{
"i": 70,
"kind": "check-verdict",
"node": "o107",
"hist_s": 1473.9,
"dep": null,
"prewarm": false
},
{
"i": 71,
"kind": "check-verdict",
"node": "o108",
"hist_s": 1497.9,
"dep": null,
"prewarm": false
},
{
"i": 72,
"kind": "check-verdict",
"node": "o105",
"hist_s": 1841.3,
"dep": null,
"prewarm": false
},
{
"i": 73,
"kind": "check-verdict",
"node": "o111",
"hist_s": 943.9,
"dep": null,
"prewarm": false
},
{
"i": 74,
"kind": "check-verdict",
"node": "o073",
"hist_s": 948.9,
"dep": null,
"prewarm": false
},
{
"i": 75,
"kind": "check-verdict",
"node": "o110",
"hist_s": 1232.6,
"dep": null,
"prewarm": false
},
{
"i": 76,
"kind": "check-verdict",
"node": "o079",
"hist_s": 1098.0,
"dep": null,
"prewarm": false
},
{
"i": 77,
"kind": "check-verdict",
"node": "o073",
"hist_s": 1018.2,
"dep": null,
"prewarm": false
},
{
"i": 78,
"kind": "regate",
"node": "o026",
"hist_s": 672.6,
"dep": null,
"prewarm": false
},
{
"i": 79,
"kind": "regate",
"node": "o020",
"hist_s": 762.7,
"dep": null,
"prewarm": false
},
{
"i": 80,
"kind": "machine-verdict",
"node": "o088",
"hist_s": 1142.6,
"dep": null,
"prewarm": false
},
{
"i": 81,
"kind": "regate",
"node": "o021",
"hist_s": 621.9,
"dep": 80,
"prewarm": false
},
{
"i": 82,
"kind": "regate",
"node": "o093",
"hist_s": 721.0,
"dep": 80,
"prewarm": false
},
{
"i": 83,
"kind": "regate",
"node": "o042",
"hist_s": 735.4,
"dep": 80,
"prewarm": false
},
{
"i": 84,
"kind": "regate",
"node": "o056",
"hist_s": 756.7,
"dep": 80,
"prewarm": false
},
{
"i": 85,
"kind": "regate",
"node": "o054",
"hist_s": 763.6,
"dep": 80,
"prewarm": false
},
{
"i": 86,
"kind": "regate",
"node": "o053",
"hist_s": 895.8,
"dep": 80,
"prewarm": false
},
{
"i": 87,
"kind": "check-verdict",
"node": "o040",
"hist_s": 346.7,
"dep": 86,
"prewarm": false
},
{
"i": 88,
"kind": "machine-verdict",
"node": "o040",
"hist_s": 423.4,
"dep": 86,
"prewarm": false
},
{
"i": 89,
"kind": "regate",
"node": "o043",
"hist_s": 506.7,
"dep": 86,
"prewarm": false
},
{
"i": 90,
"kind": "check-verdict",
"node": "o037",
"hist_s": 1356.2,
"dep": 86,
"prewarm": false
},
{
"i": 91,
"kind": "regate",
"node": "o040",
"hist_s": 2883.9,
"dep": null,
"prewarm": false
},
{
"i": 92,
"kind": "check-verdict",
"node": "o127",
"hist_s": 3015.7,
"dep": null,
"prewarm": false
},
{
"i": 93,
"kind": "regate",
"node": "o068",
"hist_s": 3046.2,
"dep": null,
"prewarm": false
},
{
"i": 94,
"kind": "regate",
"node": "o032",
"hist_s": 2447.3,
"dep": 93,
"prewarm": false
},
{
"i": 95,
"kind": "regate",
"node": "o041",
"hist_s": 2036.2,
"dep": 94,
"prewarm": false
},
{
"i": 96,
"kind": "check-verdict",
"node": "o114",
"hist_s": 11145.0,
"dep": null,
"prewarm": false
},
{
"i": 97,
"kind": "check-verdict",
"node": "o132",
"hist_s": 1824.2,
"dep": 93,
"prewarm": false
},
{
"i": 98,
"kind": "check-verdict",
"node": "o037",
"hist_s": 11637.6,
"dep": 89,
"prewarm": false
},
{
"i": 99,
"kind": "check-verdict",
"node": "o119",
"hist_s": 1444.5,
"dep": 93,
"prewarm": false
},
{
"i": 100,
"kind": "check-verdict",
"node": "o084",
"hist_s": 12634.1,
"dep": 86,
"prewarm": false
},
{
"i": 101,
"kind": "check-verdict",
"node": "o118",
"hist_s": 1673.9,
"dep": 93,
"prewarm": false
},
{
"i": 102,
"kind": "check-verdict",
"node": "o123",
"hist_s": 1385.2,
"dep": 93,
"prewarm": false
},
{
"i": 103,
"kind": "check-verdict",
"node": "o126",
"hist_s": 1541.9,
"dep": 94,
"prewarm": false
},
{
"i": 104,
"kind": "check-verdict",
"node": "o114",
"hist_s": 853.7,
"dep": 95,
"prewarm": false
},
{
"i": 105,
"kind": "machine-verdict",
"node": "o122",
"hist_s": 1269.4,
"dep": 95,
"prewarm": false
},
{
"i": 106,
"kind": "check-verdict",
"node": "o123",
"hist_s": 1028.7,
"dep": 95,
"prewarm": false
},
{
"i": 107,
"kind": "machine-verdict",
"node": "o084",
"hist_s": 1785.0,
"dep": 95,
"prewarm": false
},
{
"i": 108,
"kind": "check-verdict",
"node": "o126",
"hist_s": 995.8,
"dep": 95,
"prewarm": false
},
{
"i": 109,
"kind": "check-verdict",
"node": "o121",
"hist_s": 1078.7,
"dep": 95,
"prewarm": false
},
{
"i": 110,
"kind": "check-verdict",
"node": "o130",
"hist_s": 1082.4,
"dep": 95,
"prewarm": false
},
{
"i": 111,
"kind": "check-verdict",
"node": "o133",
"hist_s": 1847.1,
"dep": null,
"prewarm": false
},
{
"i": 112,
"kind": "check-verdict",
"node": "o125",
"hist_s": 1123.4,
"dep": 105,
"prewarm": false
},
{
"i": 113,
"kind": "check-verdict",
"node": "o120",
"hist_s": 1818.1,
"dep": 105,
"prewarm": false
},
{
"i": 114,
"kind": "check-verdict",
"node": "o124",
"hist_s": 1134.2,
"dep": 105,
"prewarm": false
},
{
"i": 115,
"kind": "regate",
"node": "o102",
"hist_s": 673.0,
"dep": null,
"prewarm": false
},
{
"i": 116,
"kind": "regate",
"node": "o101",
"hist_s": 595.4,
"dep": 115,
"prewarm": false
},
{
"i": 117,
"kind": "machine-verdict",
"node": "o083",
"hist_s": 955.7,
"dep": null,
"prewarm": false
},
{
"i": 118,
"kind": "machine-verdict",
"node": "o124",
"hist_s": 1048.3,
"dep": null,
"prewarm": false
},
{
"i": 119,
"kind": "check-verdict",
"node": "o133",
"hist_s": 2054.6,
"dep": null,
"prewarm": false
},
{
"i": 120,
"kind": "check-verdict",
"node": "o083",
"hist_s": 956.3,
"dep": null,
"prewarm": false
},
{
"i": 121,
"kind": "check-verdict",
"node": "o154",
"hist_s": 358.3,
"dep": 116,
"prewarm": false
},
{
"i": 122,
"kind": "check-verdict",
"node": "o007",
"hist_s": 1696.6,
"dep": 116,
"prewarm": false
},
{
"i": 123,
"kind": "regate",
"node": "o103",
"hist_s": 1354.6,
"dep": 118,
"prewarm": false
},
{
"i": 124,
"kind": "regate",
"node": "o033",
"hist_s": 1731.2,
"dep": 118,
"prewarm": false
},
{
"i": 125,
"kind": "check-verdict",
"node": "o007",
"hist_s": 1976.9,
"dep": null,
"prewarm": false
},
{
"i": 126,
"kind": "check-verdict",
"node": "o139",
"hist_s": 687.6,
"dep": 118,
"prewarm": false
},
{
"i": 127,
"kind": "check-verdict",
"node": "o160",
"hist_s": 401.8,
"dep": 124,
"prewarm": false
},
{
"i": 128,
"kind": "regate",
"node": "o017",
"hist_s": 1710.5,
"dep": 124,
"prewarm": false
},
{
"i": 129,
"kind": "regate",
"node": "o044",
"hist_s": 1721.4,
"dep": 124,
"prewarm": false
},
{
"i": 130,
"kind": "machine-verdict",
"node": "o133",
"hist_s": 2588.3,
"dep": 118,
"prewarm": false
},
{
"i": 131,
"kind": "regate",
"node": "o016",
"hist_s": 1690.1,
"dep": 128,
"prewarm": false
},
{
"i": 132,
"kind": "check-verdict",
"node": "o017",
"hist_s": 670.3,
"dep": null,
"prewarm": false
},
{
"i": 133,
"kind": "regate",
"node": "o023",
"hist_s": 2129.1,
"dep": 129,
"prewarm": false
},
{
"i": 134,
"kind": "machine-verdict",
"node": "o007",
"hist_s": 1603.1,
"dep": null,
"prewarm": false
},
{
"i": 135,
"kind": "check-verdict",
"node": "o159",
"hist_s": 856.4,
"dep": null,
"prewarm": false
},
{
"i": 136,
"kind": "regate",
"node": "o007",
"hist_s": 672.4,
"dep": 133,
"prewarm": false
},
{
"i": 137,
"kind": "check-verdict",
"node": "o015",
"hist_s": 662.7,
"dep": 134,
"prewarm": false
},
{
"i": 138,
"kind": "check-verdict",
"node": "o015",
"hist_s": 651.7,
"dep": 134,
"prewarm": false
},
{
"i": 139,
"kind": "regate",
"node": "o005",
"hist_s": 961.0,
"dep": null,
"prewarm": false
},
{
"i": 140,
"kind": "check-verdict",
"node": "o005",
"hist_s": 1166.7,
"dep": null,
"prewarm": false
},
{
"i": 141,
"kind": "regate",
"node": "o001",
"hist_s": 909.2,
"dep": 139,
"prewarm": false
},
{
"i": 142,
"kind": "regate",
"node": "root",
"hist_s": 3496.8,
"dep": 141,
"prewarm": false
},
{
"i": 143,
"kind": "regate",
"node": "root",
"hist_s": 3507.3,
"dep": 141,
"prewarm": false
}
],
"coalesced_groups": [
[
"o034",
"o020"
],
[
"o026",
"o021"
],
[
"o093",
"o043"
],
[
"o040",
"o032"
],
[
"o068",
"o041"
],
[
"o103",
"o044",
"o023"
],
[
"o033",
"o017",
"o016"
],
[
"o005",
"o001"
]
],
"chain_jobs": [
[
68,
79
],
[
78,
81
],
[
82,
89
],
[
91,
94
],
[
93,
95
],
[
123,
129,
133
],
[
124,
128,
131
],
[
139,
141
]
]
}