{
"obligations": 209,
"live_accepted": 164,
"depth": 13,
"checks": 257,
"proof_checks": 205,
"regates": 51,
"root_checks": 1,
"excluded": 278,
"chains": [
2,
3,
2,
2,
4,
3,
2,
4,
3,
4,
2,
12
],
"checks_after_coalescing": 226,
"historical_check_s": 541355.0,
"production": {
"max_gate_builds": 32,
"check_timeout_s": 57600.0,
"solve_pool": 128,
"hours": 72.0
},
"dag": [
{
"id": "o001",
"parent": "root",
"depth": 1,
"state": "accepted"
},
{
"id": "o002",
"parent": "root",
"depth": 1,
"state": "accepted"
},
{
"id": "o003",
"parent": "root",
"depth": 1,
"state": "accepted"
},
{
"id": "o004",
"parent": "root",
"depth": 1,
"state": "accepted"
},
{
"id": "o005",
"parent": "o003",
"depth": 2,
"state": "accepted"
},
{
"id": "o006",
"parent": "o003",
"depth": 2,
"state": "accepted"
},
{
"id": "o007",
"parent": "o003",
"depth": 2,
"state": "superseded"
},
{
"id": "o008",
"parent": "o002",
"depth": 2,
"state": "accepted"
},
{
"id": "o009",
"parent": "o002",
"depth": 2,
"state": "accepted"
},
{
"id": "o010",
"parent": "o004",
"depth": 2,
"state": "accepted"
},
{
"id": "o011",
"parent": "o004",
"depth": 2,
"state": "accepted"
},
{
"id": "o012",
"parent": "o001",
"depth": 2,
"state": "accepted"
},
{
"id": "o013",
"parent": "o001",
"depth": 2,
"state": "accepted"
},
{
"id": "o014",
"parent": "o001",
"depth": 2,
"state": "accepted"
},
{
"id": "o015",
"parent": "o001",
"depth": 2,
"state": "accepted"
},
{
"id": "o016",
"parent": "o011",
"depth": 3,
"state": "accepted"
},
{
"id": "o017",
"parent": "o011",
"depth": 3,
"state": "accepted"
},
{
"id": "o018",
"parent": "o010",
"depth": 3,
"state": "accepted"
},
{
"id": "o019",
"parent": "o010",
"depth": 3,
"state": "accepted"
},
{
"id": "o020",
"parent": "o012",
"depth": 3,
"state": "accepted"
},
{
"id": "o021",
"parent": "o012",
"depth": 3,
"state": "accepted"
},
{
"id": "o022",
"parent": "o012",
"depth": 3,
"state": "accepted"
},
{
"id": "o023",
"parent": "o012",
"depth": 3,
"state": "accepted"
},
{
"id": "o024",
"parent": "o014",
"depth": 3,
"state": "superseded"
},
{
"id": "o025",
"parent": "o014",
"depth": 3,
"state": "accepted"
},
{
"id": "o026",
"parent": "o014",
"depth": 3,
"state": "superseded"
},
{
"id": "o027",
"parent": "o015",
"depth": 3,
"state": "accepted"
},
{
"id": "o028",
"parent": "o015",
"depth": 3,
"state": "accepted"
},
{
"id": "o029",
"parent": "o015",
"depth": 3,
"state": "accepted"
},
{
"id": "o030",
"parent": "o016",
"depth": 4,
"state": "superseded"
},
{
"id": "o031",
"parent": "o019",
"depth": 4,
"state": "accepted"
},
{
"id": "o032",
"parent": "o019",
"depth": 4,
"state": "accepted"
},
{
"id": "o033",
"parent": "o019",
"depth": 4,
"state": "accepted"
},
{
"id": "o034",
"parent": "o018",
"depth": 4,
"state": "accepted"
},
{
"id": "o035",
"parent": "o018",
"depth": 4,
"state": "accepted"
},
{
"id": "o036",
"parent": "o023",
"depth": 4,
"state": "accepted"
},
{
"id": "o037",
"parent": "o023",
"depth": 4,
"state": "accepted"
},
{
"id": "o038",
"parent": "o021",
"depth": 4,
"state": "superseded"
},
{
"id": "o039",
"parent": "o021",
"depth": 4,
"state": "accepted"
},
{
"id": "o040",
"parent": "o017",
"depth": 4,
"state": "accepted"
},
{
"id": "o041",
"parent": "o017",
"depth": 4,
"state": "accepted"
},
{
"id": "o042",
"parent": "o020",
"depth": 4,
"state": "accepted"
},
{
"id": "o043",
"parent": "o020",
"depth": 4,
"state": "accepted"
},
{
"id": "o044",
"parent": "o034",
"depth": 5,
"state": "superseded"
},
{
"id": "o045",
"parent": "o034",
"depth": 5,
"state": "superseded"
},
{
"id": "o046",
"parent": "o031",
"depth": 5,
"state": "accepted"
},
{
"id": "o047",
"parent": "o031",
"depth": 5,
"state": "accepted"
},
{
"id": "o048",
"parent": "o033",
"depth": 5,
"state": "accepted"
},
{
"id": "o049",
"parent": "o033",
"depth": 5,
"state": "accepted"
},
{
"id": "o050",
"parent": "o037",
"depth": 5,
"state": "superseded"
},
{
"id": "o051",
"parent": "o037",
"depth": 5,
"state": "superseded"
},
{
"id": "o052",
"parent": "o035",
"depth": 5,
"state": "superseded"
},
{
"id": "o053",
"parent": "o035",
"depth": 5,
"state": "superseded"
},
{
"id": "o054",
"parent": "o022",
"depth": 4,
"state": "accepted"
},
{
"id": "o055",
"parent": "o022",
"depth": 4,
"state": "superseded"
},
{
"id": "o056",
"parent": "o036",
"depth": 5,
"state": "accepted"
},
{
"id": "o057",
"parent": "o036",
"depth": 5,
"state": "accepted"
},
{
"id": "o058",
"parent": "o032",
"depth": 5,
"state": "accepted"
},
{
"id": "o059",
"parent": "o032",
"depth": 5,
"state": "accepted"
},
{
"id": "o060",
"parent": "o032",
"depth": 5,
"state": "accepted"
},
{
"id": "o061",
"parent": "o032",
"depth": 5,
"state": "accepted"
},
{
"id": "o062",
"parent": "o032",
"depth": 5,
"state": "accepted"
},
{
"id": "o063",
"parent": "o047",
"depth": 6,
"state": "accepted"
},
{
"id": "o064",
"parent": "o047",
"depth": 6,
"state": "accepted"
},
{
"id": "o065",
"parent": "o047",
"depth": 6,
"state": "accepted"
},
{
"id": "o066",
"parent": "o042",
"depth": 5,
"state": "superseded"
},
{
"id": "o067",
"parent": "o042",
"depth": 5,
"state": "accepted"
},
{
"id": "o068",
"parent": "o046",
"depth": 6,
"state": "accepted"
},
{
"id": "o069",
"parent": "o046",
"depth": 6,
"state": "accepted"
},
{
"id": "o070",
"parent": "o046",
"depth": 6,
"state": "accepted"
},
{
"id": "o071",
"parent": "o046",
"depth": 6,
"state": "accepted"
},
{
"id": "o072",
"parent": "o041",
"depth": 5,
"state": "accepted"
},
{
"id": "o073",
"parent": "o041",
"depth": 5,
"state": "accepted"
},
{
"id": "o074",
"parent": "o041",
"depth": 5,
"state": "accepted"
},
{
"id": "o075",
"parent": "o049",
"depth": 6,
"state": "accepted"
},
{
"id": "o076",
"parent": "o049",
"depth": 6,
"state": "accepted"
},
{
"id": "o077",
"parent": "o049",
"depth": 6,
"state": "accepted"
},
{
"id": "o078",
"parent": "o052",
"depth": 6,
"state": "accepted"
},
{
"id": "o079",
"parent": "o052",
"depth": 6,
"state": "superseded"
},
{
"id": "o080",
"parent": "o053",
"depth": 6,
"state": "superseded"
},
{
"id": "o081",
"parent": "o053",
"depth": 6,
"state": "accepted"
},
{
"id": "o082",
"parent": "o057",
"depth": 6,
"state": "superseded"
},
{
"id": "o083",
"parent": "o057",
"depth": 6,
"state": "superseded"
},
{
"id": "o084",
"parent": "o064",
"depth": 7,
"state": "accepted"
},
{
"id": "o085",
"parent": "o064",
"depth": 7,
"state": "accepted"
},
{
"id": "o086",
"parent": "o055",
"depth": 5,
"state": "accepted"
},
{
"id": "o087",
"parent": "o055",
"depth": 5,
"state": "superseded"
},
{
"id": "o088",
"parent": "o055",
"depth": 5,
"state": "accepted"
},
{
"id": "o089",
"parent": "o063",
"depth": 7,
"state": "accepted"
},
{
"id": "o090",
"parent": "o063",
"depth": 7,
"state": "accepted"
},
{
"id": "o091",
"parent": "o063",
"depth": 7,
"state": "accepted"
},
{
"id": "o092",
"parent": "o065",
"depth": 7,
"state": "superseded"
},
{
"id": "o093",
"parent": "o065",
"depth": 7,
"state": "accepted"
},
{
"id": "o094",
"parent": "o065",
"depth": 7,
"state": "accepted"
},
{
"id": "o095",
"parent": "o069",
"depth": 7,
"state": "superseded"
},
{
"id": "o096",
"parent": "o069",
"depth": 7,
"state": "superseded"
},
{
"id": "o097",
"parent": "o069",
"depth": 7,
"state": "accepted"
},
{
"id": "o098",
"parent": "o070",
"depth": 7,
"state": "accepted"
},
{
"id": "o099",
"parent": "o070",
"depth": 7,
"state": "accepted"
},
{
"id": "o100",
"parent": "o070",
"depth": 7,
"state": "accepted"
},
{
"id": "o101",
"parent": "o059",
"depth": 6,
"state": "superseded"
},
{
"id": "o102",
"parent": "o072",
"depth": 6,
"state": "accepted"
},
{
"id": "o103",
"parent": "o072",
"depth": 6,
"state": "superseded"
},
{
"id": "o104",
"parent": "o072",
"depth": 6,
"state": "superseded"
},
{
"id": "o105",
"parent": "o074",
"depth": 6,
"state": "accepted"
},
{
"id": "o106",
"parent": "o074",
"depth": 6,
"state": "accepted"
},
{
"id": "o107",
"parent": "o074",
"depth": 6,
"state": "accepted"
},
{
"id": "o108",
"parent": "o079",
"depth": 7,
"state": "superseded"
},
{
"id": "o109",
"parent": "o079",
"depth": 7,
"state": "superseded"
},
{
"id": "o110",
"parent": "o077",
"depth": 7,
"state": "accepted"
},
{
"id": "o111",
"parent": "o077",
"depth": 7,
"state": "accepted"
},
{
"id": "o112",
"parent": "o077",
"depth": 7,
"state": "accepted"
},
{
"id": "o113",
"parent": "o073",
"depth": 6,
"state": "superseded"
},
{
"id": "o114",
"parent": "o073",
"depth": 6,
"state": "superseded"
},
{
"id": "o115",
"parent": "o073",
"depth": 6,
"state": "accepted"
},
{
"id": "o116",
"parent": "o075",
"depth": 7,
"state": "accepted"
},
{
"id": "o117",
"parent": "o075",
"depth": 7,
"state": "accepted"
},
{
"id": "o118",
"parent": "o075",
"depth": 7,
"state": "accepted"
},
{
"id": "o119",
"parent": "o071",
"depth": 7,
"state": "accepted"
},
{
"id": "o120",
"parent": "o071",
"depth": 7,
"state": "accepted"
},
{
"id": "o121",
"parent": "o085",
"depth": 8,
"state": "accepted"
},
{
"id": "o122",
"parent": "o085",
"depth": 8,
"state": "accepted"
},
{
"id": "o123",
"parent": "o085",
"depth": 8,
"state": "accepted"
},
{
"id": "o124",
"parent": "o095",
"depth": 8,
"state": "accepted"
},
{
"id": "o125",
"parent": "o095",
"depth": 8,
"state": "superseded"
},
{
"id": "o126",
"parent": "o042",
"depth": 5,
"state": "superseded"
},
{
"id": "o127",
"parent": "o042",
"depth": 5,
"state": "accepted"
},
{
"id": "o128",
"parent": "o094",
"depth": 8,
"state": "accepted"
},
{
"id": "o129",
"parent": "o094",
"depth": 8,
"state": "accepted"
},
{
"id": "o130",
"parent": "o106",
"depth": 7,
"state": "accepted"
},
{
"id": "o131",
"parent": "o106",
"depth": 7,
"state": "accepted"
},
{
"id": "o132",
"parent": "o100",
"depth": 8,
"state": "accepted"
},
{
"id": "o133",
"parent": "o100",
"depth": 8,
"state": "accepted"
},
{
"id": "o134",
"parent": "o090",
"depth": 8,
"state": "accepted"
},
{
"id": "o135",
"parent": "o090",
"depth": 8,
"state": "accepted"
},
{
"id": "o136",
"parent": "o090",
"depth": 8,
"state": "accepted"
},
{
"id": "o137",
"parent": "o090",
"depth": 8,
"state": "accepted"
},
{
"id": "o138",
"parent": "o107",
"depth": 7,
"state": "accepted"
},
{
"id": "o139",
"parent": "o107",
"depth": 7,
"state": "accepted"
},
{
"id": "o140",
"parent": "o107",
"depth": 7,
"state": "accepted"
},
{
"id": "o141",
"parent": "o092",
"depth": 8,
"state": "accepted"
},
{
"id": "o142",
"parent": "o119",
"depth": 8,
"state": "accepted"
},
{
"id": "o143",
"parent": "o119",
"depth": 8,
"state": "accepted"
},
{
"id": "o144",
"parent": "o119",
"depth": 8,
"state": "accepted"
},
{
"id": "o145",
"parent": "o119",
"depth": 8,
"state": "accepted"
},
{
"id": "o146",
"parent": "o098",
"depth": 8,
"state": "superseded"
},
{
"id": "o147",
"parent": "o098",
"depth": 8,
"state": "accepted"
},
{
"id": "o148",
"parent": "o121",
"depth": 9,
"state": "accepted"
},
{
"id": "o149",
"parent": "o121",
"depth": 9,
"state": "superseded"
},
{
"id": "o150",
"parent": "o125",
"depth": 9,
"state": "superseded"
},
{
"id": "o151",
"parent": "o123",
"depth": 9,
"state": "accepted"
},
{
"id": "o152",
"parent": "o123",
"depth": 9,
"state": "accepted"
},
{
"id": "o153",
"parent": "o123",
"depth": 9,
"state": "accepted"
},
{
"id": "o154",
"parent": "o126",
"depth": 6,
"state": "superseded"
},
{
"id": "o155",
"parent": "o126",
"depth": 6,
"state": "accepted"
},
{
"id": "o156",
"parent": "o138",
"depth": 8,
"state": "accepted"
},
{
"id": "o157",
"parent": "o138",
"depth": 8,
"state": "accepted"
},
{
"id": "o158",
"parent": "o129",
"depth": 9,
"state": "accepted"
},
{
"id": "o159",
"parent": "o129",
"depth": 9,
"state": "accepted"
},
{
"id": "o160",
"parent": "o129",
"depth": 9,
"state": "accepted"
},
{
"id": "o161",
"parent": "o140",
"depth": 8,
"state": "accepted"
},
{
"id": "o162",
"parent": "o140",
"depth": 8,
"state": "accepted"
},
{
"id": "o163",
"parent": "o140",
"depth": 8,
"state": "accepted"
},
{
"id": "o164",
"parent": "o133",
"depth": 9,
"state": "superseded"
},
{
"id": "o165",
"parent": "o150",
"depth": 10,
"state": "accepted"
},
{
"id": "o166",
"parent": "o150",
"depth": 10,
"state": "superseded"
},
{
"id": "o167",
"parent": "o159",
"depth": 10,
"state": "accepted"
},
{
"id": "o168",
"parent": "o159",
"depth": 10,
"state": "superseded"
},
{
"id": "o169",
"parent": "o152",
"depth": 10,
"state": "accepted"
},
{
"id": "o170",
"parent": "o152",
"depth": 10,
"state": "accepted"
},
{
"id": "o171",
"parent": "o157",
"depth": 9,
"state": "accepted"
},
{
"id": "o172",
"parent": "o157",
"depth": 9,
"state": "accepted"
},
{
"id": "o173",
"parent": "o157",
"depth": 9,
"state": "accepted"
},
{
"id": "o174",
"parent": "o157",
"depth": 9,
"state": "accepted"
},
{
"id": "o175",
"parent": "o160",
"depth": 10,
"state": "accepted"
},
{
"id": "o176",
"parent": "o160",
"depth": 10,
"state": "accepted"
},
{
"id": "o177",
"parent": "o160",
"depth": 10,
"state": "accepted"
},
{
"id": "o178",
"parent": "o163",
"depth": 9,
"state": "superseded"
},
{
"id": "o179",
"parent": "o163",
"depth": 9,
"state": "superseded"
},
{
"id": "o180",
"parent": "o156",
"depth": 9,
"state": "superseded"
},
{
"id": "o181",
"parent": "o156",
"depth": 9,
"state": "superseded"
},
{
"id": "o182",
"parent": "o162",
"depth": 9,
"state": "accepted"
},
{
"id": "o183",
"parent": "o162",
"depth": 9,
"state": "accepted"
},
{
"id": "o184",
"parent": "o182",
"depth": 10,
"state": "accepted"
},
{
"id": "o185",
"parent": "o182",
"depth": 10,
"state": "superseded"
},
{
"id": "o186",
"parent": "o182",
"depth": 10,
"state": "accepted"
},
{
"id": "o187",
"parent": "o183",
"depth": 10,
"state": "accepted"
},
{
"id": "o188",
"parent": "o163",
"depth": 9,
"state": "accepted"
},
{
"id": "o189",
"parent": "o163",
"depth": 9,
"state": "accepted"
},
{
"id": "o190",
"parent": "o163",
"depth": 9,
"state": "accepted"
},
{
"id": "o191",
"parent": "o189",
"depth": 10,
"state": "superseded"
},
{
"id": "o192",
"parent": "o189",
"depth": 10,
"state": "superseded"
},
{
"id": "o193",
"parent": "o188",
"depth": 10,
"state": "accepted"
},
{
"id": "o194",
"parent": "o188",
"depth": 10,
"state": "accepted"
},
{
"id": "o195",
"parent": "o190",
"depth": 10,
"state": "accepted"
},
{
"id": "o196",
"parent": "o190",
"depth": 10,
"state": "accepted"
},
{
"id": "o197",
"parent": "o190",
"depth": 10,
"state": "accepted"
},
{
"id": "o198",
"parent": "o190",
"depth": 10,
"state": "accepted"
},
{
"id": "o199",
"parent": "o198",
"depth": 10,
"state": "accepted"
},
{
"id": "o200",
"parent": "o198",
"depth": 10,
"state": "accepted"
},
{
"id": "o201",
"parent": "o200",
"depth": 11,
"state": "accepted"
},
{
"id": "o202",
"parent": "o200",
"depth": 11,
"state": "accepted"
},
{
"id": "o203",
"parent": "o202",
"depth": 12,
"state": "accepted"
},
{
"id": "o204",
"parent": "o202",
"depth": 12,
"state": "accepted"
},
{
"id": "o205",
"parent": "o204",
"depth": 12,
"state": "accepted"
},
{
"id": "o206",
"parent": "o204",
"depth": 12,
"state": "accepted"
},
{
"id": "o207",
"parent": "o206",
"depth": 13,
"state": "accepted"
},
{
"id": "o208",
"parent": "o206",
"depth": 13,
"state": "superseded"
},
{
"id": "root",
"parent": null,
"depth": 0,
"state": "accepted"
}
],
"jobs": [
{
"i": 1,
"kind": "machine-verdict",
"node": "o009",
"hist_s": 115.7,
"dep": null,
"prewarm": false
},
{
"i": 2,
"kind": "check-verdict",
"node": "o006",
"hist_s": 114.3,
"dep": null,
"prewarm": false
},
{
"i": 3,
"kind": "check-verdict",
"node": "o006",
"hist_s": 113.5,
"dep": null,
"prewarm": false
},
{
"i": 4,
"kind": "check-verdict",
"node": "o005",
"hist_s": 128.4,
"dep": null,
"prewarm": false
},
{
"i": 5,
"kind": "check-verdict",
"node": "o005",
"hist_s": 98.4,
"dep": null,
"prewarm": false
},
{
"i": 6,
"kind": "check-verdict",
"node": "o003",
"hist_s": 139.3,
"dep": null,
"prewarm": false
},
{
"i": 7,
"kind": "machine-verdict",
"node": "o008",
"hist_s": 392.4,
"dep": null,
"prewarm": false
},
{
"i": 8,
"kind": "check-verdict",
"node": "o008",
"hist_s": 320.2,
"dep": null,
"prewarm": false
},
{
"i": 9,
"kind": "check-verdict",
"node": "o002",
"hist_s": 413.8,
"dep": null,
"prewarm": false
},
{
"i": 10,
"kind": "regate",
"node": "o002",
"hist_s": 335.1,
"dep": 7,
"prewarm": false
},
{
"i": 11,
"kind": "check-verdict",
"node": "o013",
"hist_s": 153.4,
"dep": 10,
"prewarm": false
},
{
"i": 12,
"kind": "check-verdict",
"node": "o025",
"hist_s": 116.0,
"dep": null,
"prewarm": false
},
{
"i": 13,
"kind": "machine-verdict",
"node": "o014",
"hist_s": 342.4,
"dep": 10,
"prewarm": false
},
{
"i": 14,
"kind": "check-verdict",
"node": "o026",
"hist_s": 141.7,
"dep": null,
"prewarm": false
},
{
"i": 15,
"kind": "check-verdict",
"node": "o026",
"hist_s": 266.2,
"dep": null,
"prewarm": false
},
{
"i": 16,
"kind": "machine-verdict",
"node": "o029",
"hist_s": 184.1,
"dep": 13,
"prewarm": false
},
{
"i": 17,
"kind": "check-verdict",
"node": "o029",
"hist_s": 54.6,
"dep": 13,
"prewarm": false
},
{
"i": 18,
"kind": "machine-verdict",
"node": "o016",
"hist_s": 285.0,
"dep": 13,
"prewarm": false
},
{
"i": 19,
"kind": "check-verdict",
"node": "o016",
"hist_s": 235.5,
"dep": 13,
"prewarm": false
},
{
"i": 20,
"kind": "check-verdict",
"node": "o030",
"hist_s": 33.5,
"dep": 16,
"prewarm": false
},
{
"i": 21,
"kind": "check-verdict",
"node": "o016",
"hist_s": 121.0,
"dep": 16,
"prewarm": false
},
{
"i": 22,
"kind": "machine-verdict",
"node": "o027",
"hist_s": 220.1,
"dep": 16,
"prewarm": false
},
{
"i": 23,
"kind": "check-verdict",
"node": "o028",
"hist_s": 146.2,
"dep": 18,
"prewarm": false
},
{
"i": 24,
"kind": "machine-verdict",
"node": "o039",
"hist_s": 98.8,
"dep": 18,
"prewarm": false
},
{
"i": 25,
"kind": "check-verdict",
"node": "o040",
"hist_s": 78.5,
"dep": null,
"prewarm": false
},
{
"i": 26,
"kind": "regate",
"node": "o015",
"hist_s": 274.7,
"dep": null,
"prewarm": false
},
{
"i": 27,
"kind": "machine-verdict",
"node": "o040",
"hist_s": 117.5,
"dep": null,
"prewarm": false
},
{
"i": 28,
"kind": "check-verdict",
"node": "o040",
"hist_s": 108.0,
"dep": null,
"prewarm": false
},
{
"i": 29,
"kind": "check-verdict",
"node": "o021",
"hist_s": 129.4,
"dep": null,
"prewarm": false
},
{
"i": 30,
"kind": "machine-verdict",
"node": "o037",
"hist_s": 242.8,
"dep": null,
"prewarm": false
},
{
"i": 31,
"kind": "check-verdict",
"node": "o037",
"hist_s": 193.8,
"dep": null,
"prewarm": false
},
{
"i": 32,
"kind": "check-verdict",
"node": "o037",
"hist_s": 93.0,
"dep": null,
"prewarm": false
},
{
"i": 33,
"kind": "check-verdict",
"node": "o034",
"hist_s": 173.6,
"dep": 30,
"prewarm": false
},
{
"i": 34,
"kind": "check-verdict",
"node": "o044",
"hist_s": 99.1,
"dep": 30,
"prewarm": false
},
{
"i": 35,
"kind": "machine-verdict",
"node": "o067",
"hist_s": 87.3,
"dep": 30,
"prewarm": false
},
{
"i": 36,
"kind": "check-verdict",
"node": "o062",
"hist_s": 84.1,
"dep": 35,
"prewarm": false
},
{
"i": 37,
"kind": "check-verdict",
"node": "o048",
"hist_s": 193.6,
"dep": null,
"prewarm": false
},
{
"i": 38,
"kind": "check-verdict",
"node": "o004",
"hist_s": 116.9,
"dep": null,
"prewarm": false
},
{
"i": 39,
"kind": "check-verdict",
"node": "o060",
"hist_s": 182.6,
"dep": null,
"prewarm": false
},
{
"i": 40,
"kind": "check-verdict",
"node": "o060",
"hist_s": 116.2,
"dep": null,
"prewarm": false
},
{
"i": 41,
"kind": "check-verdict",
"node": "o056",
"hist_s": 160.9,
"dep": null,
"prewarm": false
},
{
"i": 42,
"kind": "check-verdict",
"node": "o054",
"hist_s": 136.6,
"dep": null,
"prewarm": false
},
{
"i": 43,
"kind": "check-verdict",
"node": "o068",
"hist_s": 165.0,
"dep": null,
"prewarm": false
},
{
"i": 44,
"kind": "check-verdict",
"node": "o068",
"hist_s": 151.3,
"dep": null,
"prewarm": false
},
{
"i": 45,
"kind": "check-verdict",
"node": "o076",
"hist_s": 176.8,
"dep": null,
"prewarm": false
},
{
"i": 46,
"kind": "machine-verdict",
"node": "o076",
"hist_s": 112.7,
"dep": null,
"prewarm": false
},
{
"i": 47,
"kind": "check-verdict",
"node": "o081",
"hist_s": 135.7,
"dep": null,
"prewarm": false
},
{
"i": 48,
"kind": "check-verdict",
"node": "o057",
"hist_s": 309.8,
"dep": null,
"prewarm": false
},
{
"i": 49,
"kind": "check-verdict",
"node": "o057",
"hist_s": 119.7,
"dep": null,
"prewarm": false
},
{
"i": 50,
"kind": "check-verdict",
"node": "o083",
"hist_s": 105.3,
"dep": null,
"prewarm": false
},
{
"i": 51,
"kind": "regate",
"node": "o036",
"hist_s": 195.6,
"dep": null,
"prewarm": false
},
{
"i": 52,
"kind": "check-verdict",
"node": "o035",
"hist_s": 216.2,
"dep": null,
"prewarm": false
},
{
"i": 53,
"kind": "check-verdict",
"node": "o088",
"hist_s": 175.8,
"dep": null,
"prewarm": false
},
{
"i": 54,
"kind": "check-verdict",
"node": "o084",
"hist_s": 164.1,
"dep": null,
"prewarm": false
},
{
"i": 55,
"kind": "check-verdict",
"node": "o078",
"hist_s": 201.0,
"dep": null,
"prewarm": false
},
{
"i": 56,
"kind": "machine-verdict",
"node": "o035",
"hist_s": 219.0,
"dep": 51,
"prewarm": false
},
{
"i": 57,
"kind": "check-verdict",
"node": "o086",
"hist_s": 171.2,
"dep": 51,
"prewarm": false
},
{
"i": 58,
"kind": "check-verdict",
"node": "o058",
"hist_s": 347.1,
"dep": null,
"prewarm": false
},
{
"i": 59,
"kind": "check-verdict",
"node": "o022",
"hist_s": 268.7,
"dep": 51,
"prewarm": false
},
{
"i": 60,
"kind": "check-verdict",
"node": "o059",
"hist_s": 100.4,
"dep": null,
"prewarm": false
},
{
"i": 61,
"kind": "check-verdict",
"node": "o086",
"hist_s": 145.2,
"dep": null,
"prewarm": false
},
{
"i": 62,
"kind": "check-verdict",
"node": "o035",
"hist_s": 215.4,
"dep": 51,
"prewarm": false
},
{
"i": 63,
"kind": "check-verdict",
"node": "o086",
"hist_s": 154.8,
"dep": null,
"prewarm": false
},
{
"i": 64,
"kind": "check-verdict",
"node": "o058",
"hist_s": 305.3,
"dep": 51,
"prewarm": false
},
{
"i": 65,
"kind": "machine-verdict",
"node": "o059",
"hist_s": 143.0,
"dep": null,
"prewarm": false
},
{
"i": 66,
"kind": "check-verdict",
"node": "o022",
"hist_s": 157.6,
"dep": null,
"prewarm": false
},
{
"i": 67,
"kind": "regate",
"node": "o018",
"hist_s": 290.6,
"dep": null,
"prewarm": false
},
{
"i": 68,
"kind": "regate",
"node": "o023",
"hist_s": 252.2,
"dep": null,
"prewarm": false
},
{
"i": 69,
"kind": "check-verdict",
"node": "o061",
"hist_s": 173.7,
"dep": null,
"prewarm": false
},
{
"i": 70,
"kind": "check-verdict",
"node": "o102",
"hist_s": 165.1,
"dep": 67,
"prewarm": false
},
{
"i": 71,
"kind": "check-verdict",
"node": "o059",
"hist_s": 373.1,
"dep": null,
"prewarm": false
},
{
"i": 72,
"kind": "machine-verdict",
"node": "o112",
"hist_s": 172.4,
"dep": 67,
"prewarm": false
},
{
"i": 73,
"kind": "regate",
"node": "o059",
"hist_s": 364.1,
"dep": null,
"prewarm": false
},
{
"i": 74,
"kind": "check-verdict",
"node": "o061",
"hist_s": 160.4,
"dep": 67,
"prewarm": false
},
{
"i": 75,
"kind": "machine-verdict",
"node": "o097",
"hist_s": 188.3,
"dep": 72,
"prewarm": false
},
{
"i": 76,
"kind": "check-verdict",
"node": "o097",
"hist_s": 132.6,
"dep": null,
"prewarm": false
},
{
"i": 77,
"kind": "check-verdict",
"node": "o004",
"hist_s": 174.0,
"dep": null,
"prewarm": false
},
{
"i": 78,
"kind": "regate",
"node": "o032",
"hist_s": 392.7,
"dep": null,
"prewarm": false
},
{
"i": 79,
"kind": "check-verdict",
"node": "o115",
"hist_s": 184.8,
"dep": 75,
"prewarm": false
},
{
"i": 80,
"kind": "check-verdict",
"node": "o110",
"hist_s": 144.9,
"dep": null,
"prewarm": false
},
{
"i": 81,
"kind": "check-verdict",
"node": "o072",
"hist_s": 256.7,
"dep": 78,
"prewarm": false
},
{
"i": 82,
"kind": "check-verdict",
"node": "o017",
"hist_s": 141.9,
"dep": null,
"prewarm": false
},
{
"i": 83,
"kind": "machine-verdict",
"node": "o120",
"hist_s": 180.7,
"dep": null,
"prewarm": false
},
{
"i": 84,
"kind": "machine-verdict",
"node": "o111",
"hist_s": 249.3,
"dep": null,
"prewarm": false
},
{
"i": 85,
"kind": "check-verdict",
"node": "o073",
"hist_s": 272.6,
"dep": null,
"prewarm": false
},
{
"i": 86,
"kind": "check-verdict",
"node": "o093",
"hist_s": 172.1,
"dep": 83,
"prewarm": false
},
{
"i": 87,
"kind": "check-verdict",
"node": "o073",
"hist_s": 127.2,
"dep": 84,
"prewarm": false
},
{
"i": 88,
"kind": "check-verdict",
"node": "o099",
"hist_s": 282.8,
"dep": null,
"prewarm": false
},
{
"i": 89,
"kind": "regate",
"node": "o077",
"hist_s": 273.1,
"dep": 84,
"prewarm": false
},
{
"i": 90,
"kind": "check-verdict",
"node": "o117",
"hist_s": 258.2,
"dep": 89,
"prewarm": false
},
{
"i": 91,
"kind": "check-verdict",
"node": "o089",
"hist_s": 277.1,
"dep": 89,
"prewarm": false
},
{
"i": 92,
"kind": "check-verdict",
"node": "o117",
"hist_s": 266.7,
"dep": 89,
"prewarm": false
},
{
"i": 93,
"kind": "machine-verdict",
"node": "o116",
"hist_s": 345.7,
"dep": 89,
"prewarm": false
},
{
"i": 94,
"kind": "check-verdict",
"node": "o118",
"hist_s": 289.2,
"dep": 93,
"prewarm": false
},
{
"i": 95,
"kind": "check-verdict",
"node": "o118",
"hist_s": 131.5,
"dep": 93,
"prewarm": false
},
{
"i": 96,
"kind": "check-verdict",
"node": "o042",
"hist_s": 141.3,
"dep": 93,
"prewarm": false
},
{
"i": 97,
"kind": "check-verdict",
"node": "o128",
"hist_s": 243.1,
"dep": 93,
"prewarm": false
},
{
"i": 98,
"kind": "regate",
"node": "o075",
"hist_s": 299.9,
"dep": null,
"prewarm": false
},
{
"i": 99,
"kind": "check-verdict",
"node": "o132",
"hist_s": 200.4,
"dep": null,
"prewarm": false
},
{
"i": 100,
"kind": "check-verdict",
"node": "o127",
"hist_s": 202.5,
"dep": null,
"prewarm": false
},
{
"i": 101,
"kind": "regate",
"node": "o049",
"hist_s": 299.0,
"dep": null,
"prewarm": false
},
{
"i": 102,
"kind": "regate",
"node": "o033",
"hist_s": 291.3,
"dep": 101,
"prewarm": true
},
{
"i": 103,
"kind": "check-verdict",
"node": "o130",
"hist_s": 210.1,
"dep": null,
"prewarm": false
},
{
"i": 104,
"kind": "check-verdict",
"node": "o136",
"hist_s": 311.6,
"dep": null,
"prewarm": false
},
{
"i": 105,
"kind": "check-verdict",
"node": "o105",
"hist_s": 325.3,
"dep": 102,
"prewarm": false
},
{
"i": 106,
"kind": "check-verdict",
"node": "o135",
"hist_s": 189.8,
"dep": null,
"prewarm": false
},
{
"i": 107,
"kind": "check-verdict",
"node": "o091",
"hist_s": 318.6,
"dep": null,
"prewarm": false
},
{
"i": 108,
"kind": "check-verdict",
"node": "o124",
"hist_s": 274.2,
"dep": null,
"prewarm": false
},
{
"i": 109,
"kind": "check-verdict",
"node": "o131",
"hist_s": 317.0,
"dep": null,
"prewarm": false
},
{
"i": 110,
"kind": "check-verdict",
"node": "o137",
"hist_s": 230.7,
"dep": null,
"prewarm": false
},
{
"i": 111,
"kind": "check-verdict",
"node": "o135",
"hist_s": 181.9,
"dep": null,
"prewarm": false
},
{
"i": 112,
"kind": "check-verdict",
"node": "o106",
"hist_s": 294.2,
"dep": null,
"prewarm": false
},
{
"i": 113,
"kind": "check-verdict",
"node": "o134",
"hist_s": 294.4,
"dep": null,
"prewarm": false
},
{
"i": 114,
"kind": "check-verdict",
"node": "o142",
"hist_s": 284.7,
"dep": null,
"prewarm": false
},
{
"i": 115,
"kind": "machine-verdict",
"node": "o142",
"hist_s": 262.7,
"dep": null,
"prewarm": false
},
{
"i": 116,
"kind": "check-verdict",
"node": "o143",
"hist_s": 229.4,
"dep": null,
"prewarm": false
},
{
"i": 117,
"kind": "check-verdict",
"node": "o145",
"hist_s": 183.9,
"dep": null,
"prewarm": false
},
{
"i": 118,
"kind": "check-verdict",
"node": "o144",
"hist_s": 211.8,
"dep": null,
"prewarm": false
},
{
"i": 119,
"kind": "regate",
"node": "o090",
"hist_s": 307.2,
"dep": null,
"prewarm": false
},
{
"i": 120,
"kind": "check-verdict",
"node": "o069",
"hist_s": 258.8,
"dep": 119,
"prewarm": false
},
{
"i": 121,
"kind": "regate",
"node": "o063",
"hist_s": 475.0,
"dep": 119,
"prewarm": true
},
{
"i": 122,
"kind": "check-verdict",
"node": "o069",
"hist_s": 316.7,
"dep": null,
"prewarm": false
},
{
"i": 123,
"kind": "check-verdict",
"node": "o096",
"hist_s": 251.2,
"dep": null,
"prewarm": false
},
{
"i": 124,
"kind": "check-verdict",
"node": "o148",
"hist_s": 202.2,
"dep": null,
"prewarm": false
},
{
"i": 125,
"kind": "regate",
"node": "o119",
"hist_s": 307.8,
"dep": null,
"prewarm": false
},
{
"i": 126,
"kind": "machine-verdict",
"node": "o148",
"hist_s": 210.5,
"dep": null,
"prewarm": false
},
{
"i": 127,
"kind": "check-verdict",
"node": "o098",
"hist_s": 320.4,
"dep": null,
"prewarm": false
},
{
"i": 128,
"kind": "regate",
"node": "o071",
"hist_s": 254.6,
"dep": 125,
"prewarm": true
},
{
"i": 129,
"kind": "check-verdict",
"node": "o147",
"hist_s": 262.9,
"dep": null,
"prewarm": false
},
{
"i": 130,
"kind": "check-verdict",
"node": "o147",
"hist_s": 261.0,
"dep": null,
"prewarm": false
},
{
"i": 131,
"kind": "check-verdict",
"node": "o146",
"hist_s": 287.2,
"dep": 125,
"prewarm": false
},
{
"i": 132,
"kind": "check-verdict",
"node": "o146",
"hist_s": 197.4,
"dep": 125,
"prewarm": false
},
{
"i": 133,
"kind": "check-verdict",
"node": "o139",
"hist_s": 285.0,
"dep": 125,
"prewarm": false
},
{
"i": 134,
"kind": "check-verdict",
"node": "o139",
"hist_s": 228.4,
"dep": null,
"prewarm": false
},
{
"i": 135,
"kind": "check-verdict",
"node": "o017",
"hist_s": 271.0,
"dep": null,
"prewarm": false
},
{
"i": 136,
"kind": "check-verdict",
"node": "o042",
"hist_s": 273.8,
"dep": null,
"prewarm": false
},
{
"i": 137,
"kind": "check-verdict",
"node": "o141",
"hist_s": 392.4,
"dep": null,
"prewarm": false
},
{
"i": 138,
"kind": "check-verdict",
"node": "o155",
"hist_s": 233.8,
"dep": null,
"prewarm": false
},
{
"i": 139,
"kind": "check-verdict",
"node": "o141",
"hist_s": 411.2,
"dep": null,
"prewarm": false
},
{
"i": 140,
"kind": "check-verdict",
"node": "o141",
"hist_s": 257.1,
"dep": null,
"prewarm": false
},
{
"i": 141,
"kind": "check-verdict",
"node": "o020",
"hist_s": 358.9,
"dep": null,
"prewarm": false
},
{
"i": 142,
"kind": "check-verdict",
"node": "o158",
"hist_s": 283.1,
"dep": null,
"prewarm": false
},
{
"i": 143,
"kind": "regate",
"node": "o043",
"hist_s": 301.3,
"dep": null,
"prewarm": false
},
{
"i": 144,
"kind": "machine-verdict",
"node": "o158",
"hist_s": 303.3,
"dep": null,
"prewarm": false
},
{
"i": 145,
"kind": "check-verdict",
"node": "o133",
"hist_s": 363.5,
"dep": null,
"prewarm": false
},
{
"i": 146,
"kind": "check-verdict",
"node": "o122",
"hist_s": 353.8,
"dep": null,
"prewarm": false
},
{
"i": 147,
"kind": "regate",
"node": "o020",
"hist_s": 273.5,
"dep": 143,
"prewarm": false
},
{
"i": 148,
"kind": "check-verdict",
"node": "o122",
"hist_s": 272.5,
"dep": 143,
"prewarm": false
},
{
"i": 149,
"kind": "check-verdict",
"node": "o151",
"hist_s": 293.2,
"dep": 143,
"prewarm": false
},
{
"i": 150,
"kind": "check-verdict",
"node": "o151",
"hist_s": 236.8,
"dep": null,
"prewarm": false
},
{
"i": 151,
"kind": "check-verdict",
"node": "o121",
"hist_s": 374.7,
"dep": null,
"prewarm": false
},
{
"i": 152,
"kind": "regate",
"node": "o100",
"hist_s": 449.8,
"dep": null,
"prewarm": false
},
{
"i": 153,
"kind": "regate",
"node": "o012",
"hist_s": 465.4,
"dep": 147,
"prewarm": true
},
{
"i": 154,
"kind": "regate",
"node": "o001",
"hist_s": 503.9,
"dep": 153,
"prewarm": true
},
{
"i": 155,
"kind": "check-verdict",
"node": "o161",
"hist_s": 249.3,
"dep": null,
"prewarm": false
},
{
"i": 156,
"kind": "regate",
"node": "o070",
"hist_s": 451.7,
"dep": 152,
"prewarm": false
},
{
"i": 157,
"kind": "machine-verdict",
"node": "o161",
"hist_s": 128.2,
"dep": null,
"prewarm": false
},
{
"i": 158,
"kind": "check-verdict",
"node": "o161",
"hist_s": 250.3,
"dep": null,
"prewarm": false
},
{
"i": 159,
"kind": "regate",
"node": "o046",
"hist_s": 408.0,
"dep": 156,
"prewarm": true
},
{
"i": 160,
"kind": "check-verdict",
"node": "o167",
"hist_s": 350.0,
"dep": 159,
"prewarm": false
},
{
"i": 161,
"kind": "check-verdict",
"node": "o159",
"hist_s": 311.9,
"dep": 159,
"prewarm": false
},
{
"i": 162,
"kind": "check-verdict",
"node": "o167",
"hist_s": 319.7,
"dep": 159,
"prewarm": false
},
{
"i": 163,
"kind": "check-verdict",
"node": "o153",
"hist_s": 386.8,
"dep": 159,
"prewarm": false
},
{
"i": 164,
"kind": "check-verdict",
"node": "o153",
"hist_s": 344.2,
"dep": 159,
"prewarm": false
},
{
"i": 165,
"kind": "check-verdict",
"node": "o159",
"hist_s": 289.4,
"dep": 159,
"prewarm": false
},
{
"i": 166,
"kind": "check-verdict",
"node": "o153",
"hist_s": 318.1,
"dep": 159,
"prewarm": false
},
{
"i": 167,
"kind": "check-verdict",
"node": "o171",
"hist_s": 331.5,
"dep": 159,
"prewarm": false
},
{
"i": 168,
"kind": "machine-verdict",
"node": "o174",
"hist_s": 309.7,
"dep": 159,
"prewarm": false
},
{
"i": 169,
"kind": "check-verdict",
"node": "o174",
"hist_s": 260.6,
"dep": null,
"prewarm": false
},
{
"i": 170,
"kind": "check-verdict",
"node": "o169",
"hist_s": 372.8,
"dep": 159,
"prewarm": false
},
{
"i": 171,
"kind": "machine-verdict",
"node": "o156",
"hist_s": 387.0,
"dep": null,
"prewarm": false
},
{
"i": 172,
"kind": "check-verdict",
"node": "o176",
"hist_s": 163.9,
"dep": null,
"prewarm": false
},
{
"i": 173,
"kind": "check-verdict",
"node": "o176",
"hist_s": 211.8,
"dep": null,
"prewarm": false
},
{
"i": 174,
"kind": "check-verdict",
"node": "o172",
"hist_s": 243.6,
"dep": null,
"prewarm": false
},
{
"i": 175,
"kind": "check-verdict",
"node": "o173",
"hist_s": 212.9,
"dep": 171,
"prewarm": false
},
{
"i": 176,
"kind": "machine-verdict",
"node": "o177",
"hist_s": 279.2,
"dep": 171,
"prewarm": false
},
{
"i": 177,
"kind": "check-verdict",
"node": "o177",
"hist_s": 307.3,
"dep": null,
"prewarm": false
},
{
"i": 178,
"kind": "check-verdict",
"node": "o165",
"hist_s": 221.0,
"dep": 171,
"prewarm": false
},
{
"i": 179,
"kind": "machine-verdict",
"node": "o176",
"hist_s": 182.2,
"dep": 171,
"prewarm": false
},
{
"i": 180,
"kind": "check-verdict",
"node": "o165",
"hist_s": 109.6,
"dep": 171,
"prewarm": false
},
{
"i": 181,
"kind": "check-verdict",
"node": "o176",
"hist_s": 99.0,
"dep": 171,
"prewarm": false
},
{
"i": 182,
"kind": "check-verdict",
"node": "o172",
"hist_s": 176.1,
"dep": 176,
"prewarm": false
},
{
"i": 183,
"kind": "regate",
"node": "o176",
"hist_s": 308.8,
"dep": null,
"prewarm": false
},
{
"i": 184,
"kind": "regate",
"node": "o157",
"hist_s": 204.1,
"dep": null,
"prewarm": false
},
{
"i": 185,
"kind": "regate",
"node": "o138",
"hist_s": 252.6,
"dep": 184,
"prewarm": true
},
{
"i": 186,
"kind": "check-verdict",
"node": "o170",
"hist_s": 178.1,
"dep": 184,
"prewarm": false
},
{
"i": 187,
"kind": "regate",
"node": "o152",
"hist_s": 179.1,
"dep": null,
"prewarm": false
},
{
"i": 188,
"kind": "regate",
"node": "o123",
"hist_s": 221.9,
"dep": 187,
"prewarm": true
},
{
"i": 189,
"kind": "machine-verdict",
"node": "o186",
"hist_s": 125.0,
"dep": 188,
"prewarm": false
},
{
"i": 190,
"kind": "check-verdict",
"node": "o186",
"hist_s": 130.7,
"dep": 188,
"prewarm": false
},
{
"i": 191,
"kind": "check-verdict",
"node": "o186",
"hist_s": 59.0,
"dep": null,
"prewarm": false
},
{
"i": 192,
"kind": "check-verdict",
"node": "o175",
"hist_s": 312.4,
"dep": 188,
"prewarm": false
},
{
"i": 193,
"kind": "regate",
"node": "o085",
"hist_s": 360.3,
"dep": 188,
"prewarm": false
},
{
"i": 194,
"kind": "regate",
"node": "o064",
"hist_s": 310.5,
"dep": 193,
"prewarm": true
},
{
"i": 195,
"kind": "check-verdict",
"node": "o094",
"hist_s": 356.9,
"dep": null,
"prewarm": false
},
{
"i": 196,
"kind": "regate",
"node": "o160",
"hist_s": 297.3,
"dep": null,
"prewarm": false
},
{
"i": 197,
"kind": "regate",
"node": "o129",
"hist_s": 311.0,
"dep": 196,
"prewarm": true
},
{
"i": 198,
"kind": "regate",
"node": "o094",
"hist_s": 302.7,
"dep": 197,
"prewarm": true
},
{
"i": 199,
"kind": "check-verdict",
"node": "o065",
"hist_s": 347.8,
"dep": 198,
"prewarm": false
},
{
"i": 200,
"kind": "check-verdict",
"node": "o065",
"hist_s": 288.4,
"dep": 198,
"prewarm": false
},
{
"i": 201,
"kind": "check-verdict",
"node": "o047",
"hist_s": 449.7,
"dep": 198,
"prewarm": false
},
{
"i": 202,
"kind": "check-verdict",
"node": "o184",
"hist_s": 260.7,
"dep": null,
"prewarm": false
},
{
"i": 203,
"kind": "check-verdict",
"node": "o184",
"hist_s": 314.5,
"dep": null,
"prewarm": false
},
{
"i": 204,
"kind": "regate",
"node": "o047",
"hist_s": 441.4,
"dep": null,
"prewarm": false
},
{
"i": 205,
"kind": "check-verdict",
"node": "o185",
"hist_s": 439.3,
"dep": null,
"prewarm": false
},
{
"i": 206,
"kind": "check-verdict",
"node": "o182",
"hist_s": 399.4,
"dep": null,
"prewarm": false
},
{
"i": 207,
"kind": "check-verdict",
"node": "o182",
"hist_s": 309.0,
"dep": null,
"prewarm": false
},
{
"i": 208,
"kind": "check-verdict",
"node": "o185",
"hist_s": 329.6,
"dep": null,
"prewarm": false
},
{
"i": 209,
"kind": "check-verdict",
"node": "o185",
"hist_s": 102.6,
"dep": 204,
"prewarm": false
},
{
"i": 210,
"kind": "regate",
"node": "o031",
"hist_s": 455.7,
"dep": 204,
"prewarm": false
},
{
"i": 211,
"kind": "regate",
"node": "o019",
"hist_s": 564.5,
"dep": 210,
"prewarm": true
},
{
"i": 212,
"kind": "regate",
"node": "o010",
"hist_s": 529.7,
"dep": 211,
"prewarm": true
},
{
"i": 213,
"kind": "check-verdict",
"node": "o187",
"hist_s": 784.4,
"dep": 212,
"prewarm": false
},
{
"i": 214,
"kind": "regate",
"node": "o183",
"hist_s": 553.3,
"dep": null,
"prewarm": false
},
{
"i": 215,
"kind": "regate",
"node": "o162",
"hist_s": 573.9,
"dep": 214,
"prewarm": true
},
{
"i": 216,
"kind": "check-verdict",
"node": "o194",
"hist_s": 182.7,
"dep": null,
"prewarm": false
},
{
"i": 217,
"kind": "check-verdict",
"node": "o194",
"hist_s": 193.4,
"dep": null,
"prewarm": false
},
{
"i": 218,
"kind": "check-verdict",
"node": "o195",
"hist_s": 275.9,
"dep": null,
"prewarm": false
},
{
"i": 219,
"kind": "check-verdict",
"node": "o195",
"hist_s": 240.9,
"dep": null,
"prewarm": false
},
{
"i": 220,
"kind": "check-verdict",
"node": "o197",
"hist_s": 241.1,
"dep": null,
"prewarm": false
},
{
"i": 221,
"kind": "check-verdict",
"node": "o197",
"hist_s": 154.8,
"dep": null,
"prewarm": false
},
{
"i": 222,
"kind": "check-verdict",
"node": "o189",
"hist_s": 165.1,
"dep": null,
"prewarm": false
},
{
"i": 223,
"kind": "check-verdict",
"node": "o189",
"hist_s": 188.0,
"dep": null,
"prewarm": false
},
{
"i": 224,
"kind": "check-verdict",
"node": "o196",
"hist_s": 242.4,
"dep": null,
"prewarm": false
},
{
"i": 225,
"kind": "check-verdict",
"node": "o196",
"hist_s": 233.2,
"dep": null,
"prewarm": false
},
{
"i": 226,
"kind": "check-verdict",
"node": "o193",
"hist_s": 273.1,
"dep": null,
"prewarm": false
},
{
"i": 227,
"kind": "check-verdict",
"node": "o188",
"hist_s": 242.9,
"dep": null,
"prewarm": false
},
{
"i": 228,
"kind": "regate",
"node": "o188",
"hist_s": 242.3,
"dep": null,
"prewarm": false
},
{
"i": 229,
"kind": "check-verdict",
"node": "o199",
"hist_s": 244.9,
"dep": null,
"prewarm": false
},
{
"i": 230,
"kind": "check-verdict",
"node": "o201",
"hist_s": 301.5,
"dep": null,
"prewarm": false
},
{
"i": 231,
"kind": "check-verdict",
"node": "o203",
"hist_s": 628.7,
"dep": null,
"prewarm": false
},
{
"i": 232,
"kind": "check-verdict",
"node": "o205",
"hist_s": 483.1,
"dep": null,
"prewarm": false
},
{
"i": 233,
"kind": "check-verdict",
"node": "o207",
"hist_s": 12470.3,
"dep": null,
"prewarm": false
},
{
"i": 234,
"kind": "machine-verdict",
"node": "o207",
"hist_s": 27370.8,
"dep": null,
"prewarm": false
},
{
"i": 235,
"kind": "check-verdict",
"node": "o207",
"hist_s": 27742.6,
"dep": null,
"prewarm": false
},
{
"i": 236,
"kind": "machine-verdict",
"node": "o206",
"hist_s": 27848.0,
"dep": null,
"prewarm": false
},
{
"i": 237,
"kind": "check-verdict",
"node": "o204",
"hist_s": 32536.0,
"dep": null,
"prewarm": false
},
{
"i": 238,
"kind": "check-verdict",
"node": "o206",
"hist_s": 32801.4,
"dep": null,
"prewarm": false
},
{
"i": 239,
"kind": "machine-verdict",
"node": "o207",
"hist_s": 55084.9,
"dep": null,
"prewarm": false
},
{
"i": 240,
"kind": "check-verdict",
"node": "o207",
"hist_s": 31368.7,
"dep": null,
"prewarm": false
},
{
"i": 241,
"kind": "machine-verdict",
"node": "o207",
"hist_s": 30356.6,
"dep": null,
"prewarm": false
},
{
"i": 242,
"kind": "check-verdict",
"node": "o206",
"hist_s": 35910.8,
"dep": null,
"prewarm": false
},
{
"i": 243,
"kind": "check-verdict",
"node": "o206",
"hist_s": 11530.2,
"dep": null,
"prewarm": false
},
{
"i": 244,
"kind": "check-verdict",
"node": "o204",
"hist_s": 36446.2,
"dep": null,
"prewarm": false
},
{
"i": 245,
"kind": "regate",
"node": "o202",
"hist_s": 19918.4,
"dep": null,
"prewarm": false
},
{
"i": 246,
"kind": "regate",
"node": "o200",
"hist_s": 6923.5,
"dep": 245,
"prewarm": false
},
{
"i": 247,
"kind": "regate",
"node": "o198",
"hist_s": 7590.5,
"dep": 246,
"prewarm": false
},
{
"i": 248,
"kind": "regate",
"node": "o190",
"hist_s": 7965.9,
"dep": 247,
"prewarm": true
},
{
"i": 249,
"kind": "regate",
"node": "o163",
"hist_s": 1568.9,
"dep": 248,
"prewarm": false
},
{
"i": 250,
"kind": "regate",
"node": "o140",
"hist_s": 6141.5,
"dep": 249,
"prewarm": true
},
{
"i": 251,
"kind": "regate",
"node": "o107",
"hist_s": 2032.5,
"dep": 250,
"prewarm": true
},
{
"i": 252,
"kind": "regate",
"node": "o074",
"hist_s": 917.0,
"dep": 251,
"prewarm": true
},
{
"i": 253,
"kind": "regate",
"node": "o041",
"hist_s": 2023.9,
"dep": 252,
"prewarm": true
},
{
"i": 254,
"kind": "regate",
"node": "o017",
"hist_s": 6065.9,
"dep": 253,
"prewarm": true
},
{
"i": 255,
"kind": "regate",
"node": "o011",
"hist_s": 968.3,
"dep": 254,
"prewarm": true
},
{
"i": 256,
"kind": "regate",
"node": "o004",
"hist_s": 1488.8,
"dep": 255,
"prewarm": true
},
{
"i": 257,
"kind": "regate",
"node": "root",
"hist_s": 57814.2,
"dep": 256,
"prewarm": true
}
],
"coalesced_groups": [
[
"o059",
"o032"
],
[
"o075",
"o049",
"o033"
],
[
"o090",
"o063"
],
[
"o119",
"o071"
],
[
"o043",
"o020",
"o012",
"o001"
],
[
"o100",
"o070",
"o046"
],
[
"o157",
"o138"
],
[
"o152",
"o123",
"o085",
"o064"
],
[
"o160",
"o129",
"o094"
],
[
"o047",
"o031",
"o019",
"o010"
],
[
"o183",
"o162"
],
[
"o202",
"o200",
"o198",
"o190",
"o163",
"o140",
"o107",
"o074",
"o041",
"o017",
"o011",
"o004"
]
],
"chain_jobs": [
[
73,
78
],
[
98,
101,
102
],
[
119,
121
],
[
125,
128
],
[
143,
147,
153,
154
],
[
152,
156,
159
],
[
184,
185
],
[
187,
188,
193,
194
],
[
196,
197,
198
],
[
204,
210,
211,
212
],
[
214,
215
],
[
245,
246,
247,
248,
249,
250,
251,
252,
253,
254,
255,
256
]
]
}