{
"obligations": 148,
"live_accepted": 106,
"depth": 9,
"checks": 180,
"proof_checks": 151,
"regates": 27,
"root_checks": 2,
"excluded": 270,
"chains": [
2,
5,
6,
2,
2
],
"checks_after_coalescing": 168,
"historical_check_s": 209252.0,
"production": {
"max_gate_builds": 4,
"check_timeout_s": 10800.0,
"solve_pool": 40,
"hours": 48.0
},
"dag": [
{
"id": "o001",
"parent": "root",
"depth": 1,
"state": "superseded"
},
{
"id": "o002",
"parent": "root",
"depth": 1,
"state": "superseded"
},
{
"id": "o003",
"parent": "root",
"depth": 1,
"state": "accepted"
},
{
"id": "o004",
"parent": "root",
"depth": 1,
"state": "accepted"
},
{
"id": "o005",
"parent": "root",
"depth": 1,
"state": "accepted"
},
{
"id": "o006",
"parent": "root",
"depth": 1,
"state": "accepted"
},
{
"id": "o007",
"parent": "root",
"depth": 1,
"state": "accepted"
},
{
"id": "o008",
"parent": "o007",
"depth": 2,
"state": "accepted"
},
{
"id": "o009",
"parent": "o007",
"depth": 2,
"state": "accepted"
},
{
"id": "o010",
"parent": "o006",
"depth": 2,
"state": "accepted"
},
{
"id": "o011",
"parent": "o006",
"depth": 2,
"state": "accepted"
},
{
"id": "o012",
"parent": "o008",
"depth": 3,
"state": "accepted"
},
{
"id": "o013",
"parent": "o008",
"depth": 3,
"state": "superseded"
},
{
"id": "o014",
"parent": "o011",
"depth": 3,
"state": "accepted"
},
{
"id": "o015",
"parent": "o011",
"depth": 3,
"state": "accepted"
},
{
"id": "o016",
"parent": "o011",
"depth": 3,
"state": "accepted"
},
{
"id": "o017",
"parent": "o011",
"depth": 3,
"state": "accepted"
},
{
"id": "o018",
"parent": "o009",
"depth": 3,
"state": "accepted"
},
{
"id": "o019",
"parent": "o009",
"depth": 3,
"state": "accepted"
},
{
"id": "o020",
"parent": "o009",
"depth": 3,
"state": "accepted"
},
{
"id": "o021",
"parent": "o010",
"depth": 3,
"state": "accepted"
},
{
"id": "o022",
"parent": "o010",
"depth": 3,
"state": "accepted"
},
{
"id": "o023",
"parent": "o010",
"depth": 3,
"state": "accepted"
},
{
"id": "o024",
"parent": "o010",
"depth": 3,
"state": "accepted"
},
{
"id": "o025",
"parent": "o013",
"depth": 4,
"state": "accepted"
},
{
"id": "o026",
"parent": "o013",
"depth": 4,
"state": "superseded"
},
{
"id": "o027",
"parent": "o013",
"depth": 4,
"state": "accepted"
},
{
"id": "o028",
"parent": "o016",
"depth": 4,
"state": "accepted"
},
{
"id": "o029",
"parent": "o016",
"depth": 4,
"state": "accepted"
},
{
"id": "o030",
"parent": "o016",
"depth": 4,
"state": "accepted"
},
{
"id": "o031",
"parent": "o016",
"depth": 4,
"state": "accepted"
},
{
"id": "o032",
"parent": "o019",
"depth": 4,
"state": "accepted"
},
{
"id": "o033",
"parent": "o019",
"depth": 4,
"state": "accepted"
},
{
"id": "o034",
"parent": "o032",
"depth": 5,
"state": "accepted"
},
{
"id": "o035",
"parent": "o032",
"depth": 5,
"state": "accepted"
},
{
"id": "o036",
"parent": "o032",
"depth": 5,
"state": "accepted"
},
{
"id": "o037",
"parent": "o032",
"depth": 5,
"state": "accepted"
},
{
"id": "o038",
"parent": "o029",
"depth": 5,
"state": "accepted"
},
{
"id": "o039",
"parent": "o029",
"depth": 5,
"state": "accepted"
},
{
"id": "o040",
"parent": "o029",
"depth": 5,
"state": "accepted"
},
{
"id": "o041",
"parent": "o029",
"depth": 5,
"state": "accepted"
},
{
"id": "o042",
"parent": "o030",
"depth": 5,
"state": "accepted"
},
{
"id": "o043",
"parent": "o030",
"depth": 5,
"state": "accepted"
},
{
"id": "o044",
"parent": "o030",
"depth": 5,
"state": "accepted"
},
{
"id": "o045",
"parent": "o026",
"depth": 5,
"state": "accepted"
},
{
"id": "o046",
"parent": "o026",
"depth": 5,
"state": "accepted"
},
{
"id": "o047",
"parent": "o026",
"depth": 5,
"state": "accepted"
},
{
"id": "o048",
"parent": "o026",
"depth": 5,
"state": "accepted"
},
{
"id": "o049",
"parent": "o040",
"depth": 6,
"state": "superseded"
},
{
"id": "o050",
"parent": "o040",
"depth": 6,
"state": "superseded"
},
{
"id": "o051",
"parent": "o018",
"depth": 4,
"state": "accepted"
},
{
"id": "o052",
"parent": "o018",
"depth": 4,
"state": "accepted"
},
{
"id": "o053",
"parent": "o018",
"depth": 4,
"state": "accepted"
},
{
"id": "o054",
"parent": "o034",
"depth": 6,
"state": "accepted"
},
{
"id": "o055",
"parent": "o034",
"depth": 6,
"state": "accepted"
},
{
"id": "o056",
"parent": "o036",
"depth": 6,
"state": "accepted"
},
{
"id": "o057",
"parent": "o036",
"depth": 6,
"state": "accepted"
},
{
"id": "o058",
"parent": "o036",
"depth": 6,
"state": "accepted"
},
{
"id": "o059",
"parent": "o035",
"depth": 6,
"state": "accepted"
},
{
"id": "o060",
"parent": "o035",
"depth": 6,
"state": "accepted"
},
{
"id": "o061",
"parent": "o035",
"depth": 6,
"state": "accepted"
},
{
"id": "o062",
"parent": "o035",
"depth": 6,
"state": "accepted"
},
{
"id": "o063",
"parent": "o052",
"depth": 5,
"state": "accepted"
},
{
"id": "o064",
"parent": "o052",
"depth": 5,
"state": "accepted"
},
{
"id": "o065",
"parent": "o052",
"depth": 5,
"state": "accepted"
},
{
"id": "o066",
"parent": "o042",
"depth": 6,
"state": "accepted"
},
{
"id": "o067",
"parent": "o042",
"depth": 6,
"state": "accepted"
},
{
"id": "o068",
"parent": "o042",
"depth": 6,
"state": "accepted"
},
{
"id": "o069",
"parent": "o042",
"depth": 6,
"state": "accepted"
},
{
"id": "o070",
"parent": "o063",
"depth": 6,
"state": "accepted"
},
{
"id": "o071",
"parent": "o063",
"depth": 6,
"state": "accepted"
},
{
"id": "o072",
"parent": "o063",
"depth": 6,
"state": "accepted"
},
{
"id": "o073",
"parent": "o045",
"depth": 6,
"state": "accepted"
},
{
"id": "o074",
"parent": "o045",
"depth": 6,
"state": "accepted"
},
{
"id": "o075",
"parent": "o055",
"depth": 7,
"state": "accepted"
},
{
"id": "o076",
"parent": "o055",
"depth": 7,
"state": "accepted"
},
{
"id": "o077",
"parent": "o067",
"depth": 7,
"state": "superseded"
},
{
"id": "o078",
"parent": "o067",
"depth": 7,
"state": "superseded"
},
{
"id": "o079",
"parent": "o067",
"depth": 7,
"state": "superseded"
},
{
"id": "o080",
"parent": "o066",
"depth": 7,
"state": "accepted"
},
{
"id": "o081",
"parent": "o066",
"depth": 7,
"state": "accepted"
},
{
"id": "o082",
"parent": "o066",
"depth": 7,
"state": "superseded"
},
{
"id": "o083",
"parent": "o061",
"depth": 7,
"state": "superseded"
},
{
"id": "o084",
"parent": "o061",
"depth": 7,
"state": "superseded"
},
{
"id": "o085",
"parent": "o061",
"depth": 7,
"state": "superseded"
},
{
"id": "o086",
"parent": "o056",
"depth": 7,
"state": "accepted"
},
{
"id": "o087",
"parent": "o056",
"depth": 7,
"state": "accepted"
},
{
"id": "o088",
"parent": "o056",
"depth": 7,
"state": "accepted"
},
{
"id": "o089",
"parent": "o069",
"depth": 7,
"state": "accepted"
},
{
"id": "o090",
"parent": "o069",
"depth": 7,
"state": "accepted"
},
{
"id": "o091",
"parent": "o069",
"depth": 7,
"state": "accepted"
},
{
"id": "o092",
"parent": "o069",
"depth": 7,
"state": "superseded"
},
{
"id": "o093",
"parent": "o081",
"depth": 8,
"state": "accepted"
},
{
"id": "o094",
"parent": "o081",
"depth": 8,
"state": "accepted"
},
{
"id": "o095",
"parent": "o081",
"depth": 8,
"state": "accepted"
},
{
"id": "o096",
"parent": "o070",
"depth": 7,
"state": "accepted"
},
{
"id": "o097",
"parent": "o070",
"depth": 7,
"state": "accepted"
},
{
"id": "o098",
"parent": "o070",
"depth": 7,
"state": "accepted"
},
{
"id": "o099",
"parent": "o070",
"depth": 7,
"state": "accepted"
},
{
"id": "o100",
"parent": "o090",
"depth": 8,
"state": "superseded"
},
{
"id": "o101",
"parent": "o090",
"depth": 8,
"state": "superseded"
},
{
"id": "o102",
"parent": "o090",
"depth": 8,
"state": "superseded"
},
{
"id": "o103",
"parent": "o075",
"depth": 8,
"state": "superseded"
},
{
"id": "o104",
"parent": "o075",
"depth": 8,
"state": "superseded"
},
{
"id": "o105",
"parent": "o075",
"depth": 8,
"state": "accepted"
},
{
"id": "o106",
"parent": "o075",
"depth": 8,
"state": "superseded"
},
{
"id": "o107",
"parent": "o080",
"depth": 8,
"state": "superseded"
},
{
"id": "o108",
"parent": "o080",
"depth": 8,
"state": "superseded"
},
{
"id": "o109",
"parent": "o080",
"depth": 8,
"state": "superseded"
},
{
"id": "o110",
"parent": "o086",
"depth": 8,
"state": "superseded"
},
{
"id": "o111",
"parent": "o086",
"depth": 8,
"state": "superseded"
},
{
"id": "o112",
"parent": "o073",
"depth": 7,
"state": "accepted"
},
{
"id": "o113",
"parent": "o073",
"depth": 7,
"state": "superseded"
},
{
"id": "o114",
"parent": "o092",
"depth": 8,
"state": "accepted"
},
{
"id": "o115",
"parent": "o092",
"depth": 8,
"state": "accepted"
},
{
"id": "o116",
"parent": "o087",
"depth": 8,
"state": "superseded"
},
{
"id": "o117",
"parent": "o087",
"depth": 8,
"state": "superseded"
},
{
"id": "o118",
"parent": "o087",
"depth": 8,
"state": "superseded"
},
{
"id": "o119",
"parent": "o087",
"depth": 8,
"state": "superseded"
},
{
"id": "o120",
"parent": "o087",
"depth": 8,
"state": "superseded"
},
{
"id": "o121",
"parent": "o087",
"depth": 8,
"state": "superseded"
},
{
"id": "o122",
"parent": "o067",
"depth": 7,
"state": "accepted"
},
{
"id": "o123",
"parent": "o067",
"depth": 7,
"state": "accepted"
},
{
"id": "o124",
"parent": "o067",
"depth": 7,
"state": "accepted"
},
{
"id": "o125",
"parent": "o067",
"depth": 7,
"state": "accepted"
},
{
"id": "o126",
"parent": "o089",
"depth": 8,
"state": "accepted"
},
{
"id": "o127",
"parent": "o089",
"depth": 8,
"state": "accepted"
},
{
"id": "o128",
"parent": "o098",
"depth": 8,
"state": "superseded"
},
{
"id": "o129",
"parent": "o098",
"depth": 8,
"state": "superseded"
},
{
"id": "o130",
"parent": "o098",
"depth": 8,
"state": "superseded"
},
{
"id": "o131",
"parent": "o097",
"depth": 8,
"state": "accepted"
},
{
"id": "o132",
"parent": "o097",
"depth": 8,
"state": "accepted"
},
{
"id": "o133",
"parent": "o122",
"depth": 8,
"state": "superseded"
},
{
"id": "o134",
"parent": "o122",
"depth": 8,
"state": "superseded"
},
{
"id": "o135",
"parent": "o122",
"depth": 8,
"state": "superseded"
},
{
"id": "o136",
"parent": "o122",
"depth": 8,
"state": "superseded"
},
{
"id": "o137",
"parent": "o122",
"depth": 8,
"state": "superseded"
},
{
"id": "o138",
"parent": "o124",
"depth": 8,
"state": "accepted"
},
{
"id": "o139",
"parent": "o124",
"depth": 8,
"state": "accepted"
},
{
"id": "o140",
"parent": "o124",
"depth": 8,
"state": "accepted"
},
{
"id": "o141",
"parent": "o124",
"depth": 8,
"state": "accepted"
},
{
"id": "o142",
"parent": "o112",
"depth": 8,
"state": "accepted"
},
{
"id": "o143",
"parent": "o112",
"depth": 8,
"state": "superseded"
},
{
"id": "o144",
"parent": "o125",
"depth": 8,
"state": "accepted"
},
{
"id": "o145",
"parent": "o125",
"depth": 8,
"state": "accepted"
},
{
"id": "o146",
"parent": "o143",
"depth": 9,
"state": "accepted"
},
{
"id": "o147",
"parent": "o143",
"depth": 9,
"state": "superseded"
},
{
"id": "root",
"parent": null,
"depth": 0,
"state": "accepted"
}
],
"jobs": [
{
"i": 1,
"kind": "check-verdict",
"node": "o005",
"hist_s": 111.9,
"dep": null,
"prewarm": false
},
{
"i": 2,
"kind": "check-verdict",
"node": "o003",
"hist_s": 97.6,
"dep": null,
"prewarm": false
},
{
"i": 3,
"kind": "check-verdict",
"node": "o004",
"hist_s": 161.7,
"dep": null,
"prewarm": false
},
{
"i": 4,
"kind": "check-verdict",
"node": "o014",
"hist_s": 83.3,
"dep": null,
"prewarm": false
},
{
"i": 5,
"kind": "check-verdict",
"node": "o020",
"hist_s": 173.5,
"dep": null,
"prewarm": false
},
{
"i": 6,
"kind": "check-verdict",
"node": "o015",
"hist_s": 107.5,
"dep": null,
"prewarm": false
},
{
"i": 7,
"kind": "machine-verdict",
"node": "o015",
"hist_s": 113.6,
"dep": null,
"prewarm": false
},
{
"i": 8,
"kind": "check-verdict",
"node": "o017",
"hist_s": 1294.0,
"dep": null,
"prewarm": false
},
{
"i": 9,
"kind": "check-verdict",
"node": "o022",
"hist_s": 114.5,
"dep": null,
"prewarm": false
},
{
"i": 10,
"kind": "check-verdict",
"node": "o021",
"hist_s": 843.3,
"dep": 7,
"prewarm": false
},
{
"i": 11,
"kind": "check-verdict",
"node": "o023",
"hist_s": 232.5,
"dep": null,
"prewarm": false
},
{
"i": 12,
"kind": "check-verdict",
"node": "o024",
"hist_s": 167.6,
"dep": null,
"prewarm": false
},
{
"i": 13,
"kind": "regate",
"node": "o010",
"hist_s": 282.1,
"dep": null,
"prewarm": false
},
{
"i": 14,
"kind": "check-verdict",
"node": "o025",
"hist_s": 248.3,
"dep": 13,
"prewarm": false
},
{
"i": 15,
"kind": "check-verdict",
"node": "o027",
"hist_s": 966.6,
"dep": 13,
"prewarm": false
},
{
"i": 16,
"kind": "check-verdict",
"node": "o033",
"hist_s": 228.2,
"dep": null,
"prewarm": false
},
{
"i": 17,
"kind": "check-verdict",
"node": "o028",
"hist_s": 140.1,
"dep": null,
"prewarm": false
},
{
"i": 18,
"kind": "check-verdict",
"node": "o031",
"hist_s": 230.0,
"dep": null,
"prewarm": false
},
{
"i": 19,
"kind": "check-verdict",
"node": "o012",
"hist_s": 1536.9,
"dep": null,
"prewarm": false
},
{
"i": 20,
"kind": "check-verdict",
"node": "o029",
"hist_s": 344.3,
"dep": null,
"prewarm": false
},
{
"i": 21,
"kind": "check-verdict",
"node": "o038",
"hist_s": 578.2,
"dep": null,
"prewarm": false
},
{
"i": 22,
"kind": "check-verdict",
"node": "o041",
"hist_s": 986.7,
"dep": null,
"prewarm": false
},
{
"i": 23,
"kind": "check-verdict",
"node": "o040",
"hist_s": 1181.3,
"dep": null,
"prewarm": false
},
{
"i": 24,
"kind": "check-verdict",
"node": "o039",
"hist_s": 1228.2,
"dep": null,
"prewarm": false
},
{
"i": 25,
"kind": "check-verdict",
"node": "o037",
"hist_s": 1158.3,
"dep": null,
"prewarm": false
},
{
"i": 26,
"kind": "check-verdict",
"node": "o049",
"hist_s": 1115.0,
"dep": null,
"prewarm": false
},
{
"i": 27,
"kind": "regate",
"node": "o029",
"hist_s": 1180.2,
"dep": null,
"prewarm": false
},
{
"i": 28,
"kind": "check-verdict",
"node": "o053",
"hist_s": 1578.8,
"dep": 27,
"prewarm": false
},
{
"i": 29,
"kind": "check-verdict",
"node": "o043",
"hist_s": 2405.7,
"dep": 27,
"prewarm": false
},
{
"i": 30,
"kind": "check-verdict",
"node": "o044",
"hist_s": 1068.3,
"dep": null,
"prewarm": false
},
{
"i": 31,
"kind": "check-verdict",
"node": "o058",
"hist_s": 1188.4,
"dep": null,
"prewarm": false
},
{
"i": 32,
"kind": "check-verdict",
"node": "o047",
"hist_s": 1608.5,
"dep": null,
"prewarm": false
},
{
"i": 33,
"kind": "check-verdict",
"node": "o051",
"hist_s": 1954.3,
"dep": null,
"prewarm": false
},
{
"i": 34,
"kind": "check-verdict",
"node": "o057",
"hist_s": 929.1,
"dep": null,
"prewarm": false
},
{
"i": 35,
"kind": "check-verdict",
"node": "o048",
"hist_s": 679.8,
"dep": null,
"prewarm": false
},
{
"i": 36,
"kind": "check-verdict",
"node": "o062",
"hist_s": 1547.1,
"dep": null,
"prewarm": false
},
{
"i": 37,
"kind": "check-verdict",
"node": "o065",
"hist_s": 2572.4,
"dep": null,
"prewarm": false
},
{
"i": 38,
"kind": "check-verdict",
"node": "o064",
"hist_s": 2523.9,
"dep": null,
"prewarm": false
},
{
"i": 39,
"kind": "check-verdict",
"node": "o064",
"hist_s": 2304.8,
"dep": null,
"prewarm": false
},
{
"i": 40,
"kind": "check-verdict",
"node": "o046",
"hist_s": 2472.2,
"dep": null,
"prewarm": false
},
{
"i": 41,
"kind": "machine-verdict",
"node": "o065",
"hist_s": 2491.2,
"dep": null,
"prewarm": false
},
{
"i": 42,
"kind": "check-verdict",
"node": "o046",
"hist_s": 1779.0,
"dep": null,
"prewarm": false
},
{
"i": 43,
"kind": "check-verdict",
"node": "o072",
"hist_s": 2131.9,
"dep": 41,
"prewarm": false
},
{
"i": 44,
"kind": "check-verdict",
"node": "o071",
"hist_s": 2260.6,
"dep": null,
"prewarm": false
},
{
"i": 45,
"kind": "check-verdict",
"node": "o068",
"hist_s": 3550.1,
"dep": null,
"prewarm": false
},
{
"i": 46,
"kind": "check-verdict",
"node": "o074",
"hist_s": 5757.6,
"dep": null,
"prewarm": false
},
{
"i": 47,
"kind": "check-verdict",
"node": "o046",
"hist_s": 788.4,
"dep": null,
"prewarm": false
},
{
"i": 48,
"kind": "check-verdict",
"node": "o060",
"hist_s": 1218.1,
"dep": null,
"prewarm": false
},
{
"i": 49,
"kind": "check-verdict",
"node": "o054",
"hist_s": 1254.7,
"dep": null,
"prewarm": false
},
{
"i": 50,
"kind": "check-verdict",
"node": "o054",
"hist_s": 1386.1,
"dep": null,
"prewarm": false
},
{
"i": 51,
"kind": "check-verdict",
"node": "o059",
"hist_s": 850.3,
"dep": null,
"prewarm": false
},
{
"i": 52,
"kind": "check-verdict",
"node": "o059",
"hist_s": 741.3,
"dep": null,
"prewarm": false
},
{
"i": 53,
"kind": "machine-verdict",
"node": "o088",
"hist_s": 4393.8,
"dep": null,
"prewarm": false
},
{
"i": 54,
"kind": "machine-verdict",
"node": "o061",
"hist_s": 4616.3,
"dep": null,
"prewarm": false
},
{
"i": 55,
"kind": "check-verdict",
"node": "o076",
"hist_s": 4617.5,
"dep": null,
"prewarm": false
},
{
"i": 56,
"kind": "check-verdict",
"node": "o091",
"hist_s": 5284.5,
"dep": null,
"prewarm": false
},
{
"i": 57,
"kind": "check-verdict",
"node": "o087",
"hist_s": 913.4,
"dep": null,
"prewarm": false
},
{
"i": 58,
"kind": "regate",
"node": "o035",
"hist_s": 1265.2,
"dep": 54,
"prewarm": false
},
{
"i": 59,
"kind": "check-verdict",
"node": "o080",
"hist_s": 1004.2,
"dep": 54,
"prewarm": false
},
{
"i": 60,
"kind": "machine-verdict",
"node": "o091",
"hist_s": 784.0,
"dep": 54,
"prewarm": false
},
{
"i": 61,
"kind": "check-verdict",
"node": "o091",
"hist_s": 925.0,
"dep": 54,
"prewarm": false
},
{
"i": 62,
"kind": "check-verdict",
"node": "o093",
"hist_s": 660.2,
"dep": 54,
"prewarm": false
},
{
"i": 63,
"kind": "check-verdict",
"node": "o094",
"hist_s": 634.6,
"dep": 54,
"prewarm": false
},
{
"i": 64,
"kind": "check-verdict",
"node": "o099",
"hist_s": 416.0,
"dep": null,
"prewarm": false
},
{
"i": 65,
"kind": "check-verdict",
"node": "o090",
"hist_s": 708.5,
"dep": null,
"prewarm": false
},
{
"i": 66,
"kind": "check-verdict",
"node": "o105",
"hist_s": 795.0,
"dep": 60,
"prewarm": false
},
{
"i": 67,
"kind": "check-verdict",
"node": "o075",
"hist_s": 871.8,
"dep": 60,
"prewarm": false
},
{
"i": 68,
"kind": "check-verdict",
"node": "o107",
"hist_s": 508.4,
"dep": 60,
"prewarm": false
},
{
"i": 69,
"kind": "check-verdict",
"node": "o106",
"hist_s": 857.9,
"dep": 60,
"prewarm": false
},
{
"i": 70,
"kind": "check-verdict",
"node": "o075",
"hist_s": 998.9,
"dep": 60,
"prewarm": false
},
{
"i": 71,
"kind": "check-verdict",
"node": "o108",
"hist_s": 593.8,
"dep": 60,
"prewarm": false
},
{
"i": 72,
"kind": "check-verdict",
"node": "o104",
"hist_s": 853.2,
"dep": 60,
"prewarm": false
},
{
"i": 73,
"kind": "check-verdict",
"node": "o103",
"hist_s": 1092.2,
"dep": null,
"prewarm": false
},
{
"i": 74,
"kind": "machine-verdict",
"node": "o090",
"hist_s": 1036.1,
"dep": null,
"prewarm": false
},
{
"i": 75,
"kind": "check-verdict",
"node": "o099",
"hist_s": 780.6,
"dep": null,
"prewarm": false
},
{
"i": 76,
"kind": "machine-verdict",
"node": "o090",
"hist_s": 980.5,
"dep": null,
"prewarm": false
},
{
"i": 77,
"kind": "check-verdict",
"node": "o123",
"hist_s": 798.2,
"dep": null,
"prewarm": false
},
{
"i": 78,
"kind": "machine-verdict",
"node": "o099",
"hist_s": 684.9,
"dep": null,
"prewarm": false
},
{
"i": 79,
"kind": "regate",
"node": "o055",
"hist_s": 1154.7,
"dep": null,
"prewarm": false
},
{
"i": 80,
"kind": "check-verdict",
"node": "o097",
"hist_s": 1101.0,
"dep": null,
"prewarm": false
},
{
"i": 81,
"kind": "regate",
"node": "o034",
"hist_s": 900.9,
"dep": 79,
"prewarm": false
},
{
"i": 82,
"kind": "machine-verdict",
"node": "o097",
"hist_s": 44.8,
"dep": 79,
"prewarm": false
},
{
"i": 83,
"kind": "check-verdict",
"node": "o096",
"hist_s": 156.6,
"dep": 79,
"prewarm": false
},
{
"i": 84,
"kind": "check-verdict",
"node": "o128",
"hist_s": 80.6,
"dep": 79,
"prewarm": false
},
{
"i": 85,
"kind": "check-verdict",
"node": "o131",
"hist_s": 183.1,
"dep": 79,
"prewarm": false
},
{
"i": 86,
"kind": "check-verdict",
"node": "o126",
"hist_s": 358.0,
"dep": 79,
"prewarm": false
},
{
"i": 87,
"kind": "check-verdict",
"node": "o132",
"hist_s": 199.0,
"dep": 79,
"prewarm": false
},
{
"i": 88,
"kind": "check-verdict",
"node": "o098",
"hist_s": 578.2,
"dep": 81,
"prewarm": false
},
{
"i": 89,
"kind": "check-verdict",
"node": "o086",
"hist_s": 536.8,
"dep": 81,
"prewarm": false
},
{
"i": 90,
"kind": "check-verdict",
"node": "o086",
"hist_s": 588.0,
"dep": 81,
"prewarm": false
},
{
"i": 91,
"kind": "check-verdict",
"node": "o086",
"hist_s": 598.7,
"dep": 81,
"prewarm": false
},
{
"i": 92,
"kind": "regate",
"node": "o097",
"hist_s": 201.2,
"dep": null,
"prewarm": false
},
{
"i": 93,
"kind": "regate",
"node": "o088",
"hist_s": 628.5,
"dep": null,
"prewarm": false
},
{
"i": 94,
"kind": "regate",
"node": "o070",
"hist_s": 520.6,
"dep": 92,
"prewarm": false
},
{
"i": 95,
"kind": "check-verdict",
"node": "o122",
"hist_s": 526.8,
"dep": 92,
"prewarm": false
},
{
"i": 96,
"kind": "regate",
"node": "o056",
"hist_s": 618.6,
"dep": 93,
"prewarm": false
},
{
"i": 97,
"kind": "regate",
"node": "o063",
"hist_s": 492.1,
"dep": 94,
"prewarm": false
},
{
"i": 98,
"kind": "regate",
"node": "o052",
"hist_s": 502.2,
"dep": 97,
"prewarm": false
},
{
"i": 99,
"kind": "regate",
"node": "o036",
"hist_s": 567.3,
"dep": 96,
"prewarm": false
},
{
"i": 100,
"kind": "regate",
"node": "o018",
"hist_s": 588.7,
"dep": 98,
"prewarm": false
},
{
"i": 101,
"kind": "regate",
"node": "o032",
"hist_s": 631.5,
"dep": 99,
"prewarm": false
},
{
"i": 102,
"kind": "regate",
"node": "o019",
"hist_s": 625.3,
"dep": 101,
"prewarm": false
},
{
"i": 103,
"kind": "regate",
"node": "o009",
"hist_s": 693.4,
"dep": 102,
"prewarm": false
},
{
"i": 104,
"kind": "check-verdict",
"node": "o138",
"hist_s": 252.1,
"dep": 103,
"prewarm": false
},
{
"i": 105,
"kind": "check-verdict",
"node": "o139",
"hist_s": 439.4,
"dep": null,
"prewarm": false
},
{
"i": 106,
"kind": "check-verdict",
"node": "o095",
"hist_s": 902.8,
"dep": null,
"prewarm": false
},
{
"i": 107,
"kind": "check-verdict",
"node": "o115",
"hist_s": 1013.3,
"dep": null,
"prewarm": false
},
{
"i": 108,
"kind": "check-verdict",
"node": "o127",
"hist_s": 1037.5,
"dep": null,
"prewarm": false
},
{
"i": 109,
"kind": "regate",
"node": "o081",
"hist_s": 962.5,
"dep": null,
"prewarm": false
},
{
"i": 110,
"kind": "check-verdict",
"node": "o066",
"hist_s": 797.0,
"dep": null,
"prewarm": false
},
{
"i": 111,
"kind": "check-verdict",
"node": "o081",
"hist_s": 1217.3,
"dep": null,
"prewarm": false
},
{
"i": 112,
"kind": "check-verdict",
"node": "o142",
"hist_s": 540.7,
"dep": null,
"prewarm": false
},
{
"i": 113,
"kind": "regate",
"node": "o066",
"hist_s": 824.6,
"dep": 109,
"prewarm": false
},
{
"i": 114,
"kind": "check-verdict",
"node": "o141",
"hist_s": 967.1,
"dep": null,
"prewarm": false
},
{
"i": 115,
"kind": "check-verdict",
"node": "o140",
"hist_s": 962.7,
"dep": null,
"prewarm": false
},
{
"i": 116,
"kind": "check-verdict",
"node": "o144",
"hist_s": 759.3,
"dep": null,
"prewarm": false
},
{
"i": 117,
"kind": "check-verdict",
"node": "o140",
"hist_s": 912.7,
"dep": null,
"prewarm": false
},
{
"i": 118,
"kind": "check-verdict",
"node": "o124",
"hist_s": 1381.6,
"dep": null,
"prewarm": false
},
{
"i": 119,
"kind": "regate",
"node": "o124",
"hist_s": 1167.6,
"dep": null,
"prewarm": false
},
{
"i": 120,
"kind": "check-verdict",
"node": "o124",
"hist_s": 805.8,
"dep": null,
"prewarm": false
},
{
"i": 121,
"kind": "check-verdict",
"node": "o145",
"hist_s": 991.5,
"dep": 119,
"prewarm": false
},
{
"i": 122,
"kind": "regate",
"node": "o125",
"hist_s": 1158.6,
"dep": null,
"prewarm": false
},
{
"i": 123,
"kind": "check-verdict",
"node": "o125",
"hist_s": 1212.4,
"dep": null,
"prewarm": false
},
{
"i": 124,
"kind": "check-verdict",
"node": "o067",
"hist_s": 1607.4,
"dep": null,
"prewarm": false
},
{
"i": 125,
"kind": "regate",
"node": "o067",
"hist_s": 947.3,
"dep": 122,
"prewarm": false
},
{
"i": 126,
"kind": "check-verdict",
"node": "o067",
"hist_s": 905.4,
"dep": 122,
"prewarm": false
},
{
"i": 127,
"kind": "check-verdict",
"node": "o089",
"hist_s": 1283.1,
"dep": 122,
"prewarm": false
},
{
"i": 128,
"kind": "regate",
"node": "o089",
"hist_s": 1036.5,
"dep": 125,
"prewarm": false
},
{
"i": 129,
"kind": "check-verdict",
"node": "o089",
"hist_s": 922.7,
"dep": 128,
"prewarm": false
},
{
"i": 130,
"kind": "check-verdict",
"node": "o114",
"hist_s": 1552.2,
"dep": 128,
"prewarm": false
},
{
"i": 131,
"kind": "check-verdict",
"node": "o114",
"hist_s": 1248.5,
"dep": 128,
"prewarm": false
},
{
"i": 132,
"kind": "check-verdict",
"node": "o114",
"hist_s": 1365.2,
"dep": 128,
"prewarm": false
},
{
"i": 133,
"kind": "check-verdict",
"node": "o069",
"hist_s": 1771.3,
"dep": 128,
"prewarm": false
},
{
"i": 134,
"kind": "check-verdict",
"node": "o114",
"hist_s": 1290.6,
"dep": 128,
"prewarm": false
},
{
"i": 135,
"kind": "check-verdict",
"node": "o030",
"hist_s": 1661.3,
"dep": 128,
"prewarm": false
},
{
"i": 136,
"kind": "check-verdict",
"node": "o016",
"hist_s": 1753.3,
"dep": 128,
"prewarm": false
},
{
"i": 137,
"kind": "check-verdict",
"node": "o042",
"hist_s": 1550.6,
"dep": null,
"prewarm": false
},
{
"i": 138,
"kind": "check-verdict",
"node": "o030",
"hist_s": 1186.9,
"dep": null,
"prewarm": false
},
{
"i": 139,
"kind": "regate",
"node": "o042",
"hist_s": 1674.3,
"dep": null,
"prewarm": false
},
{
"i": 140,
"kind": "check-verdict",
"node": "o011",
"hist_s": 1170.3,
"dep": null,
"prewarm": false
},
{
"i": 141,
"kind": "check-verdict",
"node": "o016",
"hist_s": 1202.1,
"dep": null,
"prewarm": false
},
{
"i": 142,
"kind": "check-verdict",
"node": "o011",
"hist_s": 1393.3,
"dep": null,
"prewarm": false
},
{
"i": 143,
"kind": "regate",
"node": "o030",
"hist_s": 1247.1,
"dep": 139,
"prewarm": false
},
{
"i": 144,
"kind": "check-verdict",
"node": "o030",
"hist_s": 1507.1,
"dep": 139,
"prewarm": false
},
{
"i": 145,
"kind": "check-verdict",
"node": "o006",
"hist_s": 1527.8,
"dep": 139,
"prewarm": false
},
{
"i": 146,
"kind": "check-verdict",
"node": "o006",
"hist_s": 1575.3,
"dep": null,
"prewarm": false
},
{
"i": 147,
"kind": "check-verdict",
"node": "o016",
"hist_s": 1602.6,
"dep": 139,
"prewarm": false
},
{
"i": 148,
"kind": "check-verdict",
"node": "o006",
"hist_s": 1619.9,
"dep": null,
"prewarm": false
},
{
"i": 149,
"kind": "check-verdict",
"node": "o030",
"hist_s": 1650.2,
"dep": null,
"prewarm": false
},
{
"i": 150,
"kind": "regate",
"node": "o006",
"hist_s": 1143.4,
"dep": null,
"prewarm": false
},
{
"i": 151,
"kind": "check-verdict",
"node": "o146",
"hist_s": 1333.5,
"dep": 143,
"prewarm": false
},
{
"i": 152,
"kind": "check-verdict",
"node": "o146",
"hist_s": 1365.3,
"dep": 143,
"prewarm": false
},
{
"i": 153,
"kind": "check-verdict",
"node": "o112",
"hist_s": 1855.0,
"dep": null,
"prewarm": false
},
{
"i": 154,
"kind": "check-verdict",
"node": "o073",
"hist_s": 1047.8,
"dep": null,
"prewarm": false
},
{
"i": 155,
"kind": "check-verdict",
"node": "o112",
"hist_s": 1509.3,
"dep": null,
"prewarm": false
},
{
"i": 156,
"kind": "check-verdict",
"node": "o112",
"hist_s": 1674.4,
"dep": null,
"prewarm": false
},
{
"i": 157,
"kind": "check-verdict",
"node": "o112",
"hist_s": 1781.2,
"dep": null,
"prewarm": false
},
{
"i": 158,
"kind": "check-verdict",
"node": "o045",
"hist_s": 1022.5,
"dep": null,
"prewarm": false
},
{
"i": 159,
"kind": "check-verdict",
"node": "o073",
"hist_s": 826.6,
"dep": null,
"prewarm": false
},
{
"i": 160,
"kind": "check-verdict",
"node": "o008",
"hist_s": 1096.7,
"dep": null,
"prewarm": false
},
{
"i": 161,
"kind": "check-verdict",
"node": "o073",
"hist_s": 1273.8,
"dep": null,
"prewarm": false
},
{
"i": 162,
"kind": "check-verdict",
"node": "o143",
"hist_s": 1009.7,
"dep": null,
"prewarm": false
},
{
"i": 163,
"kind": "check-verdict",
"node": "o045",
"hist_s": 1022.7,
"dep": null,
"prewarm": false
},
{
"i": 164,
"kind": "check-verdict",
"node": "o013",
"hist_s": 1729.5,
"dep": null,
"prewarm": false
},
{
"i": 165,
"kind": "check-verdict",
"node": "o026",
"hist_s": 1158.8,
"dep": null,
"prewarm": false
},
{
"i": 166,
"kind": "check-verdict",
"node": "o013",
"hist_s": 932.1,
"dep": null,
"prewarm": false
},
{
"i": 167,
"kind": "check-verdict",
"node": "o026",
"hist_s": 979.3,
"dep": null,
"prewarm": false
},
{
"i": 168,
"kind": "check-verdict",
"node": "o045",
"hist_s": 1174.8,
"dep": null,
"prewarm": false
},
{
"i": 169,
"kind": "check-verdict",
"node": "o013",
"hist_s": 1610.0,
"dep": null,
"prewarm": false
},
{
"i": 170,
"kind": "check-verdict",
"node": "o073",
"hist_s": 1049.3,
"dep": null,
"prewarm": false
},
{
"i": 171,
"kind": "check-verdict",
"node": "o073",
"hist_s": 1168.1,
"dep": null,
"prewarm": false
},
{
"i": 172,
"kind": "regate",
"node": "o073",
"hist_s": 1466.2,
"dep": null,
"prewarm": false
},
{
"i": 173,
"kind": "check-verdict",
"node": "o045",
"hist_s": 796.1,
"dep": null,
"prewarm": false
},
{
"i": 174,
"kind": "check-verdict",
"node": "o045",
"hist_s": 821.5,
"dep": null,
"prewarm": false
},
{
"i": 175,
"kind": "machine-verdict",
"node": "o045",
"hist_s": 800.1,
"dep": null,
"prewarm": false
},
{
"i": 176,
"kind": "check-verdict",
"node": "o013",
"hist_s": 960.4,
"dep": null,
"prewarm": false
},
{
"i": 177,
"kind": "check-verdict",
"node": "root",
"hist_s": 3578.7,
"dep": null,
"prewarm": false
},
{
"i": 178,
"kind": "check-verdict",
"node": "o007",
"hist_s": 1312.5,
"dep": null,
"prewarm": false
},
{
"i": 179,
"kind": "regate",
"node": "o007",
"hist_s": 940.8,
"dep": null,
"prewarm": false
},
{
"i": 180,
"kind": "regate",
"node": "root",
"hist_s": 4154.1,
"dep": 179,
"prewarm": false
}
],
"coalesced_groups": [
[
"o055",
"o034"
],
[
"o097",
"o070",
"o063",
"o052",
"o018"
],
[
"o088",
"o056",
"o036",
"o032",
"o019",
"o009"
],
[
"o125",
"o067"
],
[
"o042",
"o030"
]
],
"chain_jobs": [
[
79,
81
],
[
92,
94,
97,
98,
100
],
[
93,
96,
99,
101,
102,
103
],
[
122,
125
],
[
139,
143
]
]
}