{
"obligations": 214,
"live_accepted": 126,
"depth": 11,
"checks": 191,
"proof_checks": 154,
"regates": 36,
"root_checks": 1,
"excluded": 221,
"chains": [
2,
4,
7,
10
],
"checks_after_coalescing": 172,
"historical_check_s": 53526.8,
"production": {
"max_gate_builds": 32,
"check_timeout_s": 10800.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": "refuted"
},
{
"id": "o005",
"parent": "root",
"depth": 1,
"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": "o001",
"depth": 2,
"state": "accepted"
},
{
"id": "o010",
"parent": "o005",
"depth": 2,
"state": "accepted"
},
{
"id": "o011",
"parent": "o005",
"depth": 2,
"state": "accepted"
},
{
"id": "o012",
"parent": "o005",
"depth": 2,
"state": "superseded"
},
{
"id": "o013",
"parent": "o002",
"depth": 2,
"state": "accepted"
},
{
"id": "o014",
"parent": "o002",
"depth": 2,
"state": "accepted"
},
{
"id": "o015",
"parent": "root",
"depth": 1,
"state": "accepted"
},
{
"id": "o016",
"parent": "root",
"depth": 1,
"state": "accepted"
},
{
"id": "o017",
"parent": "o007",
"depth": 3,
"state": "accepted"
},
{
"id": "o018",
"parent": "o007",
"depth": 3,
"state": "superseded"
},
{
"id": "o019",
"parent": "o012",
"depth": 3,
"state": "refuted"
},
{
"id": "o020",
"parent": "o012",
"depth": 3,
"state": "accepted"
},
{
"id": "o021",
"parent": "o012",
"depth": 3,
"state": "accepted"
},
{
"id": "o022",
"parent": "o016",
"depth": 2,
"state": "accepted"
},
{
"id": "o023",
"parent": "o016",
"depth": 2,
"state": "accepted"
},
{
"id": "o024",
"parent": "o016",
"depth": 2,
"state": "accepted"
},
{
"id": "o025",
"parent": "o015",
"depth": 2,
"state": "accepted"
},
{
"id": "o026",
"parent": "o015",
"depth": 2,
"state": "accepted"
},
{
"id": "o027",
"parent": "o015",
"depth": 2,
"state": "accepted"
},
{
"id": "o028",
"parent": "o019",
"depth": 4,
"state": "superseded"
},
{
"id": "o029",
"parent": "o019",
"depth": 4,
"state": "superseded"
},
{
"id": "o030",
"parent": "o022",
"depth": 3,
"state": "accepted"
},
{
"id": "o031",
"parent": "o022",
"depth": 3,
"state": "superseded"
},
{
"id": "o032",
"parent": "o023",
"depth": 3,
"state": "accepted"
},
{
"id": "o033",
"parent": "o023",
"depth": 3,
"state": "accepted"
},
{
"id": "o034",
"parent": "o021",
"depth": 4,
"state": "accepted"
},
{
"id": "o035",
"parent": "o021",
"depth": 4,
"state": "superseded"
},
{
"id": "o036",
"parent": "o021",
"depth": 4,
"state": "superseded"
},
{
"id": "o037",
"parent": "o028",
"depth": 5,
"state": "superseded"
},
{
"id": "o038",
"parent": "o028",
"depth": 5,
"state": "superseded"
},
{
"id": "o039",
"parent": "o032",
"depth": 4,
"state": "accepted"
},
{
"id": "o040",
"parent": "o032",
"depth": 4,
"state": "accepted"
},
{
"id": "o041",
"parent": "o034",
"depth": 5,
"state": "accepted"
},
{
"id": "o042",
"parent": "o034",
"depth": 5,
"state": "accepted"
},
{
"id": "o043",
"parent": "o033",
"depth": 4,
"state": "accepted"
},
{
"id": "o044",
"parent": "o033",
"depth": 4,
"state": "accepted"
},
{
"id": "o045",
"parent": "o033",
"depth": 4,
"state": "accepted"
},
{
"id": "o046",
"parent": "o035",
"depth": 5,
"state": "superseded"
},
{
"id": "o047",
"parent": "o035",
"depth": 5,
"state": "accepted"
},
{
"id": "o048",
"parent": "o020",
"depth": 4,
"state": "accepted"
},
{
"id": "o049",
"parent": "o020",
"depth": 4,
"state": "accepted"
},
{
"id": "o050",
"parent": "o036",
"depth": 5,
"state": "superseded"
},
{
"id": "o051",
"parent": "o036",
"depth": 5,
"state": "superseded"
},
{
"id": "o052",
"parent": "o039",
"depth": 5,
"state": "accepted"
},
{
"id": "o053",
"parent": "o039",
"depth": 5,
"state": "accepted"
},
{
"id": "o054",
"parent": "o040",
"depth": 5,
"state": "accepted"
},
{
"id": "o055",
"parent": "o040",
"depth": 5,
"state": "accepted"
},
{
"id": "o056",
"parent": "o055",
"depth": 6,
"state": "accepted"
},
{
"id": "o057",
"parent": "o055",
"depth": 6,
"state": "accepted"
},
{
"id": "o058",
"parent": "o054",
"depth": 6,
"state": "accepted"
},
{
"id": "o059",
"parent": "o054",
"depth": 6,
"state": "accepted"
},
{
"id": "o060",
"parent": "o044",
"depth": 5,
"state": "accepted"
},
{
"id": "o061",
"parent": "o044",
"depth": 5,
"state": "accepted"
},
{
"id": "o062",
"parent": "o059",
"depth": 7,
"state": "accepted"
},
{
"id": "o063",
"parent": "o059",
"depth": 7,
"state": "accepted"
},
{
"id": "o064",
"parent": "o058",
"depth": 7,
"state": "accepted"
},
{
"id": "o065",
"parent": "o058",
"depth": 7,
"state": "superseded"
},
{
"id": "o066",
"parent": "o058",
"depth": 7,
"state": "superseded"
},
{
"id": "o067",
"parent": "o061",
"depth": 6,
"state": "accepted"
},
{
"id": "o068",
"parent": "o061",
"depth": 6,
"state": "accepted"
},
{
"id": "o069",
"parent": "o065",
"depth": 8,
"state": "superseded"
},
{
"id": "o070",
"parent": "o065",
"depth": 8,
"state": "accepted"
},
{
"id": "o071",
"parent": "o062",
"depth": 8,
"state": "accepted"
},
{
"id": "o072",
"parent": "o062",
"depth": 8,
"state": "accepted"
},
{
"id": "o073",
"parent": "o066",
"depth": 8,
"state": "accepted"
},
{
"id": "o074",
"parent": "o066",
"depth": 8,
"state": "accepted"
},
{
"id": "o075",
"parent": "o066",
"depth": 8,
"state": "superseded"
},
{
"id": "o076",
"parent": "o012",
"depth": 3,
"state": "accepted"
},
{
"id": "o077",
"parent": "o012",
"depth": 3,
"state": "accepted"
},
{
"id": "o078",
"parent": "o012",
"depth": 3,
"state": "superseded"
},
{
"id": "o079",
"parent": "o063",
"depth": 8,
"state": "accepted"
},
{
"id": "o080",
"parent": "o063",
"depth": 8,
"state": "accepted"
},
{
"id": "o081",
"parent": "o067",
"depth": 7,
"state": "superseded"
},
{
"id": "o082",
"parent": "o067",
"depth": 7,
"state": "accepted"
},
{
"id": "o083",
"parent": "o060",
"depth": 6,
"state": "accepted"
},
{
"id": "o084",
"parent": "o060",
"depth": 6,
"state": "accepted"
},
{
"id": "o085",
"parent": "o060",
"depth": 6,
"state": "accepted"
},
{
"id": "o086",
"parent": "o078",
"depth": 4,
"state": "accepted"
},
{
"id": "o087",
"parent": "o078",
"depth": 4,
"state": "accepted"
},
{
"id": "o088",
"parent": "o078",
"depth": 4,
"state": "superseded"
},
{
"id": "o089",
"parent": "o076",
"depth": 4,
"state": "accepted"
},
{
"id": "o090",
"parent": "o076",
"depth": 4,
"state": "superseded"
},
{
"id": "o091",
"parent": "o076",
"depth": 4,
"state": "superseded"
},
{
"id": "o092",
"parent": "o071",
"depth": 9,
"state": "accepted"
},
{
"id": "o093",
"parent": "o071",
"depth": 9,
"state": "superseded"
},
{
"id": "o094",
"parent": "o079",
"depth": 9,
"state": "accepted"
},
{
"id": "o095",
"parent": "o079",
"depth": 9,
"state": "accepted"
},
{
"id": "o096",
"parent": "o079",
"depth": 9,
"state": "accepted"
},
{
"id": "o097",
"parent": "o077",
"depth": 4,
"state": "accepted"
},
{
"id": "o098",
"parent": "o077",
"depth": 4,
"state": "accepted"
},
{
"id": "o099",
"parent": "o075",
"depth": 9,
"state": "accepted"
},
{
"id": "o100",
"parent": "o075",
"depth": 9,
"state": "superseded"
},
{
"id": "o101",
"parent": "o075",
"depth": 9,
"state": "superseded"
},
{
"id": "o102",
"parent": "o075",
"depth": 9,
"state": "superseded"
},
{
"id": "o103",
"parent": "o080",
"depth": 9,
"state": "accepted"
},
{
"id": "o104",
"parent": "o080",
"depth": 9,
"state": "accepted"
},
{
"id": "o105",
"parent": "o069",
"depth": 9,
"state": "superseded"
},
{
"id": "o106",
"parent": "o069",
"depth": 9,
"state": "accepted"
},
{
"id": "o107",
"parent": "o069",
"depth": 9,
"state": "superseded"
},
{
"id": "o108",
"parent": "o083",
"depth": 7,
"state": "accepted"
},
{
"id": "o109",
"parent": "o083",
"depth": 7,
"state": "accepted"
},
{
"id": "o110",
"parent": "o084",
"depth": 7,
"state": "accepted"
},
{
"id": "o111",
"parent": "o084",
"depth": 7,
"state": "accepted"
},
{
"id": "o112",
"parent": "o087",
"depth": 5,
"state": "superseded"
},
{
"id": "o113",
"parent": "o087",
"depth": 5,
"state": "superseded"
},
{
"id": "o114",
"parent": "o094",
"depth": 10,
"state": "accepted"
},
{
"id": "o115",
"parent": "o094",
"depth": 10,
"state": "accepted"
},
{
"id": "o116",
"parent": "o094",
"depth": 10,
"state": "accepted"
},
{
"id": "o117",
"parent": "o094",
"depth": 10,
"state": "accepted"
},
{
"id": "o118",
"parent": "o086",
"depth": 5,
"state": "accepted"
},
{
"id": "o119",
"parent": "o086",
"depth": 5,
"state": "accepted"
},
{
"id": "o120",
"parent": "o098",
"depth": 5,
"state": "superseded"
},
{
"id": "o121",
"parent": "o098",
"depth": 5,
"state": "superseded"
},
{
"id": "o122",
"parent": "o101",
"depth": 10,
"state": "superseded"
},
{
"id": "o123",
"parent": "o101",
"depth": 10,
"state": "superseded"
},
{
"id": "o124",
"parent": "o088",
"depth": 5,
"state": "accepted"
},
{
"id": "o125",
"parent": "o088",
"depth": 5,
"state": "superseded"
},
{
"id": "o126",
"parent": "o104",
"depth": 10,
"state": "accepted"
},
{
"id": "o127",
"parent": "o104",
"depth": 10,
"state": "accepted"
},
{
"id": "o128",
"parent": "o104",
"depth": 10,
"state": "accepted"
},
{
"id": "o129",
"parent": "o104",
"depth": 10,
"state": "accepted"
},
{
"id": "o130",
"parent": "o119",
"depth": 6,
"state": "superseded"
},
{
"id": "o131",
"parent": "o119",
"depth": 6,
"state": "superseded"
},
{
"id": "o132",
"parent": "o111",
"depth": 8,
"state": "accepted"
},
{
"id": "o133",
"parent": "o111",
"depth": 8,
"state": "accepted"
},
{
"id": "o134",
"parent": "o103",
"depth": 10,
"state": "accepted"
},
{
"id": "o135",
"parent": "o124",
"depth": 6,
"state": "accepted"
},
{
"id": "o136",
"parent": "o124",
"depth": 6,
"state": "superseded"
},
{
"id": "o137",
"parent": "o125",
"depth": 6,
"state": "superseded"
},
{
"id": "o138",
"parent": "o133",
"depth": 9,
"state": "accepted"
},
{
"id": "o139",
"parent": "o133",
"depth": 9,
"state": "accepted"
},
{
"id": "o140",
"parent": "o137",
"depth": 7,
"state": "superseded"
},
{
"id": "o141",
"parent": "o137",
"depth": 7,
"state": "superseded"
},
{
"id": "o142",
"parent": "o138",
"depth": 10,
"state": "superseded"
},
{
"id": "o143",
"parent": "o138",
"depth": 10,
"state": "superseded"
},
{
"id": "o144",
"parent": "o076",
"depth": 4,
"state": "superseded"
},
{
"id": "o145",
"parent": "o140",
"depth": 8,
"state": "superseded"
},
{
"id": "o146",
"parent": "o140",
"depth": 8,
"state": "superseded"
},
{
"id": "o147",
"parent": "o134",
"depth": 10,
"state": "superseded"
},
{
"id": "o148",
"parent": "o134",
"depth": 10,
"state": "superseded"
},
{
"id": "o149",
"parent": "o139",
"depth": 10,
"state": "accepted"
},
{
"id": "o150",
"parent": "o139",
"depth": 10,
"state": "accepted"
},
{
"id": "o151",
"parent": "o141",
"depth": 8,
"state": "superseded"
},
{
"id": "o152",
"parent": "o141",
"depth": 8,
"state": "accepted"
},
{
"id": "o153",
"parent": "o144",
"depth": 5,
"state": "accepted"
},
{
"id": "o154",
"parent": "o144",
"depth": 5,
"state": "superseded"
},
{
"id": "o155",
"parent": "o145",
"depth": 9,
"state": "superseded"
},
{
"id": "o156",
"parent": "o145",
"depth": 9,
"state": "superseded"
},
{
"id": "o157",
"parent": "o145",
"depth": 9,
"state": "superseded"
},
{
"id": "o158",
"parent": "o146",
"depth": 9,
"state": "superseded"
},
{
"id": "o159",
"parent": "o146",
"depth": 9,
"state": "superseded"
},
{
"id": "o160",
"parent": "o146",
"depth": 9,
"state": "superseded"
},
{
"id": "o161",
"parent": "o151",
"depth": 9,
"state": "superseded"
},
{
"id": "o162",
"parent": "o151",
"depth": 9,
"state": "accepted"
},
{
"id": "o163",
"parent": "o154",
"depth": 6,
"state": "superseded"
},
{
"id": "o164",
"parent": "o155",
"depth": 10,
"state": "superseded"
},
{
"id": "o165",
"parent": "o157",
"depth": 10,
"state": "superseded"
},
{
"id": "o166",
"parent": "o157",
"depth": 10,
"state": "superseded"
},
{
"id": "o167",
"parent": "o157",
"depth": 10,
"state": "superseded"
},
{
"id": "o168",
"parent": "o161",
"depth": 10,
"state": "superseded"
},
{
"id": "o169",
"parent": "o161",
"depth": 10,
"state": "superseded"
},
{
"id": "o170",
"parent": "o162",
"depth": 10,
"state": "accepted"
},
{
"id": "o171",
"parent": "o162",
"depth": 10,
"state": "accepted"
},
{
"id": "o172",
"parent": "o162",
"depth": 10,
"state": "accepted"
},
{
"id": "o173",
"parent": "o163",
"depth": 7,
"state": "superseded"
},
{
"id": "o174",
"parent": "o163",
"depth": 7,
"state": "accepted"
},
{
"id": "o175",
"parent": "o156",
"depth": 10,
"state": "superseded"
},
{
"id": "o176",
"parent": "o156",
"depth": 10,
"state": "superseded"
},
{
"id": "o177",
"parent": "o119",
"depth": 6,
"state": "accepted"
},
{
"id": "o178",
"parent": "o119",
"depth": 6,
"state": "accepted"
},
{
"id": "o179",
"parent": "o119",
"depth": 6,
"state": "accepted"
},
{
"id": "o180",
"parent": "o173",
"depth": 8,
"state": "superseded"
},
{
"id": "o181",
"parent": "o173",
"depth": 8,
"state": "superseded"
},
{
"id": "o182",
"parent": "o178",
"depth": 7,
"state": "accepted"
},
{
"id": "o183",
"parent": "o178",
"depth": 7,
"state": "accepted"
},
{
"id": "o184",
"parent": "o177",
"depth": 7,
"state": "accepted"
},
{
"id": "o185",
"parent": "o177",
"depth": 7,
"state": "accepted"
},
{
"id": "o186",
"parent": "o146",
"depth": 9,
"state": "superseded"
},
{
"id": "o187",
"parent": "o146",
"depth": 9,
"state": "superseded"
},
{
"id": "o188",
"parent": "o146",
"depth": 9,
"state": "superseded"
},
{
"id": "o189",
"parent": "o161",
"depth": 10,
"state": "accepted"
},
{
"id": "o190",
"parent": "o161",
"depth": 10,
"state": "accepted"
},
{
"id": "o191",
"parent": "o161",
"depth": 10,
"state": "superseded"
},
{
"id": "o192",
"parent": "o161",
"depth": 10,
"state": "superseded"
},
{
"id": "o193",
"parent": "o180",
"depth": 9,
"state": "superseded"
},
{
"id": "o194",
"parent": "o180",
"depth": 9,
"state": "superseded"
},
{
"id": "o195",
"parent": "o180",
"depth": 9,
"state": "superseded"
},
{
"id": "o196",
"parent": "o185",
"depth": 8,
"state": "accepted"
},
{
"id": "o197",
"parent": "o185",
"depth": 8,
"state": "accepted"
},
{
"id": "o198",
"parent": "o181",
"depth": 9,
"state": "superseded"
},
{
"id": "o199",
"parent": "o181",
"depth": 9,
"state": "superseded"
},
{
"id": "o200",
"parent": "o197",
"depth": 9,
"state": "superseded"
},
{
"id": "o201",
"parent": "o197",
"depth": 9,
"state": "superseded"
},
{
"id": "o202",
"parent": "o146",
"depth": 9,
"state": "superseded"
},
{
"id": "o203",
"parent": "o202",
"depth": 10,
"state": "accepted"
},
{
"id": "o204",
"parent": "o202",
"depth": 10,
"state": "accepted"
},
{
"id": "o205",
"parent": "o202",
"depth": 10,
"state": "superseded"
},
{
"id": "o206",
"parent": "o202",
"depth": 10,
"state": "accepted"
},
{
"id": "o207",
"parent": "o164",
"depth": 10,
"state": "accepted"
},
{
"id": "o208",
"parent": "o164",
"depth": 10,
"state": "superseded"
},
{
"id": "o209",
"parent": "o157",
"depth": 10,
"state": "superseded"
},
{
"id": "o210",
"parent": "o134",
"depth": 11,
"state": "accepted"
},
{
"id": "o211",
"parent": "o134",
"depth": 11,
"state": "accepted"
},
{
"id": "o212",
"parent": "o209",
"depth": 11,
"state": "superseded"
},
{
"id": "o213",
"parent": "o209",
"depth": 11,
"state": "superseded"
},
{
"id": "root",
"parent": null,
"depth": 0,
"state": "accepted"
}
],
"jobs": [
{
"i": 1,
"kind": "machine-verdict",
"node": "o009",
"hist_s": 154.2,
"dep": null,
"prewarm": false
},
{
"i": 2,
"kind": "check-verdict",
"node": "o008",
"hist_s": 187.2,
"dep": null,
"prewarm": false
},
{
"i": 3,
"kind": "machine-verdict",
"node": "o008",
"hist_s": 133.0,
"dep": 1,
"prewarm": false
},
{
"i": 4,
"kind": "check-verdict",
"node": "o008",
"hist_s": 169.1,
"dep": 1,
"prewarm": false
},
{
"i": 5,
"kind": "machine-verdict",
"node": "o010",
"hist_s": 105.6,
"dep": null,
"prewarm": false
},
{
"i": 6,
"kind": "check-verdict",
"node": "o010",
"hist_s": 66.3,
"dep": null,
"prewarm": false
},
{
"i": 7,
"kind": "check-verdict",
"node": "o010",
"hist_s": 90.9,
"dep": null,
"prewarm": false
},
{
"i": 8,
"kind": "machine-verdict",
"node": "o014",
"hist_s": 183.0,
"dep": null,
"prewarm": false
},
{
"i": 9,
"kind": "check-verdict",
"node": "o006",
"hist_s": 200.2,
"dep": null,
"prewarm": false
},
{
"i": 10,
"kind": "check-verdict",
"node": "o003",
"hist_s": 219.2,
"dep": 8,
"prewarm": false
},
{
"i": 11,
"kind": "check-verdict",
"node": "o003",
"hist_s": 48.8,
"dep": null,
"prewarm": false
},
{
"i": 12,
"kind": "machine-verdict",
"node": "o013",
"hist_s": 228.9,
"dep": null,
"prewarm": false
},
{
"i": 13,
"kind": "check-verdict",
"node": "o011",
"hist_s": 119.0,
"dep": null,
"prewarm": false
},
{
"i": 14,
"kind": "machine-verdict",
"node": "o006",
"hist_s": 204.3,
"dep": null,
"prewarm": false
},
{
"i": 15,
"kind": "check-verdict",
"node": "o006",
"hist_s": 98.5,
"dep": null,
"prewarm": false
},
{
"i": 16,
"kind": "check-verdict",
"node": "o011",
"hist_s": 40.5,
"dep": 12,
"prewarm": false
},
{
"i": 17,
"kind": "check-verdict",
"node": "o017",
"hist_s": 185.7,
"dep": null,
"prewarm": false
},
{
"i": 18,
"kind": "check-verdict",
"node": "o007",
"hist_s": 215.3,
"dep": null,
"prewarm": false
},
{
"i": 19,
"kind": "check-verdict",
"node": "o018",
"hist_s": 89.9,
"dep": null,
"prewarm": false
},
{
"i": 20,
"kind": "check-verdict",
"node": "o018",
"hist_s": 123.1,
"dep": null,
"prewarm": false
},
{
"i": 21,
"kind": "regate",
"node": "o001",
"hist_s": 232.5,
"dep": null,
"prewarm": false
},
{
"i": 22,
"kind": "regate",
"node": "o002",
"hist_s": 233.5,
"dep": null,
"prewarm": false
},
{
"i": 23,
"kind": "machine-verdict",
"node": "o024",
"hist_s": 204.0,
"dep": 22,
"prewarm": false
},
{
"i": 24,
"kind": "check-verdict",
"node": "o025",
"hist_s": 228.3,
"dep": 22,
"prewarm": false
},
{
"i": 25,
"kind": "check-verdict",
"node": "o025",
"hist_s": 107.5,
"dep": 23,
"prewarm": false
},
{
"i": 26,
"kind": "machine-verdict",
"node": "o030",
"hist_s": 137.0,
"dep": 23,
"prewarm": false
},
{
"i": 27,
"kind": "check-verdict",
"node": "o022",
"hist_s": 138.9,
"dep": null,
"prewarm": false
},
{
"i": 28,
"kind": "check-verdict",
"node": "o022",
"hist_s": 149.4,
"dep": null,
"prewarm": false
},
{
"i": 29,
"kind": "check-verdict",
"node": "o027",
"hist_s": 205.1,
"dep": null,
"prewarm": false
},
{
"i": 30,
"kind": "check-verdict",
"node": "o026",
"hist_s": 252.1,
"dep": 26,
"prewarm": false
},
{
"i": 31,
"kind": "regate",
"node": "o015",
"hist_s": 221.1,
"dep": null,
"prewarm": false
},
{
"i": 32,
"kind": "check-verdict",
"node": "o016",
"hist_s": 103.5,
"dep": null,
"prewarm": false
},
{
"i": 33,
"kind": "machine-verdict",
"node": "o042",
"hist_s": 164.2,
"dep": null,
"prewarm": false
},
{
"i": 34,
"kind": "machine-verdict",
"node": "o048",
"hist_s": 122.1,
"dep": null,
"prewarm": false
},
{
"i": 35,
"kind": "machine-verdict",
"node": "o041",
"hist_s": 207.5,
"dep": null,
"prewarm": false
},
{
"i": 36,
"kind": "check-verdict",
"node": "o034",
"hist_s": 205.3,
"dep": null,
"prewarm": false
},
{
"i": 37,
"kind": "check-verdict",
"node": "o047",
"hist_s": 109.0,
"dep": 35,
"prewarm": false
},
{
"i": 38,
"kind": "check-verdict",
"node": "o021",
"hist_s": 131.0,
"dep": 35,
"prewarm": false
},
{
"i": 39,
"kind": "regate",
"node": "o034",
"hist_s": 200.2,
"dep": 35,
"prewarm": false
},
{
"i": 40,
"kind": "check-verdict",
"node": "o047",
"hist_s": 113.5,
"dep": 35,
"prewarm": false
},
{
"i": 41,
"kind": "check-verdict",
"node": "o053",
"hist_s": 97.8,
"dep": null,
"prewarm": false
},
{
"i": 42,
"kind": "check-verdict",
"node": "o049",
"hist_s": 137.7,
"dep": null,
"prewarm": false
},
{
"i": 43,
"kind": "check-verdict",
"node": "o052",
"hist_s": 118.9,
"dep": null,
"prewarm": false
},
{
"i": 44,
"kind": "machine-verdict",
"node": "o052",
"hist_s": 51.7,
"dep": null,
"prewarm": false
},
{
"i": 45,
"kind": "check-verdict",
"node": "o045",
"hist_s": 204.8,
"dep": null,
"prewarm": false
},
{
"i": 46,
"kind": "machine-verdict",
"node": "o045",
"hist_s": 89.5,
"dep": null,
"prewarm": false
},
{
"i": 47,
"kind": "regate",
"node": "o039",
"hist_s": 95.4,
"dep": null,
"prewarm": false
},
{
"i": 48,
"kind": "regate",
"node": "o020",
"hist_s": 287.1,
"dep": null,
"prewarm": false
},
{
"i": 49,
"kind": "check-verdict",
"node": "o043",
"hist_s": 235.7,
"dep": 48,
"prewarm": false
},
{
"i": 50,
"kind": "machine-verdict",
"node": "o056",
"hist_s": 193.2,
"dep": null,
"prewarm": false
},
{
"i": 51,
"kind": "check-verdict",
"node": "o055",
"hist_s": 197.4,
"dep": 50,
"prewarm": false
},
{
"i": 52,
"kind": "machine-verdict",
"node": "o057",
"hist_s": 194.9,
"dep": 50,
"prewarm": false
},
{
"i": 53,
"kind": "check-verdict",
"node": "o055",
"hist_s": 226.2,
"dep": 50,
"prewarm": false
},
{
"i": 54,
"kind": "check-verdict",
"node": "o055",
"hist_s": 226.5,
"dep": 50,
"prewarm": false
},
{
"i": 55,
"kind": "regate",
"node": "o055",
"hist_s": 284.8,
"dep": 52,
"prewarm": false
},
{
"i": 56,
"kind": "check-verdict",
"node": "o012",
"hist_s": 44.3,
"dep": null,
"prewarm": false
},
{
"i": 57,
"kind": "check-verdict",
"node": "o064",
"hist_s": 139.1,
"dep": null,
"prewarm": false
},
{
"i": 58,
"kind": "check-verdict",
"node": "o064",
"hist_s": 129.0,
"dep": null,
"prewarm": false
},
{
"i": 59,
"kind": "check-verdict",
"node": "o073",
"hist_s": 112.4,
"dep": null,
"prewarm": false
},
{
"i": 60,
"kind": "check-verdict",
"node": "o074",
"hist_s": 138.4,
"dep": null,
"prewarm": false
},
{
"i": 61,
"kind": "check-verdict",
"node": "o070",
"hist_s": 231.8,
"dep": null,
"prewarm": false
},
{
"i": 62,
"kind": "machine-verdict",
"node": "o085",
"hist_s": 152.4,
"dep": null,
"prewarm": false
},
{
"i": 63,
"kind": "machine-verdict",
"node": "o072",
"hist_s": 272.2,
"dep": null,
"prewarm": false
},
{
"i": 64,
"kind": "machine-verdict",
"node": "o082",
"hist_s": 279.2,
"dep": 62,
"prewarm": false
},
{
"i": 65,
"kind": "check-verdict",
"node": "o082",
"hist_s": 201.9,
"dep": 63,
"prewarm": false
},
{
"i": 66,
"kind": "check-verdict",
"node": "o082",
"hist_s": 159.9,
"dep": 63,
"prewarm": false
},
{
"i": 67,
"kind": "machine-verdict",
"node": "o067",
"hist_s": 312.4,
"dep": 63,
"prewarm": false
},
{
"i": 68,
"kind": "check-verdict",
"node": "o081",
"hist_s": 142.5,
"dep": 64,
"prewarm": false
},
{
"i": 69,
"kind": "check-verdict",
"node": "o067",
"hist_s": 186.9,
"dep": 64,
"prewarm": false
},
{
"i": 70,
"kind": "check-verdict",
"node": "o068",
"hist_s": 289.7,
"dep": 63,
"prewarm": false
},
{
"i": 71,
"kind": "machine-verdict",
"node": "o068",
"hist_s": 279.3,
"dep": 63,
"prewarm": false
},
{
"i": 72,
"kind": "check-verdict",
"node": "o089",
"hist_s": 199.4,
"dep": 67,
"prewarm": false
},
{
"i": 73,
"kind": "check-verdict",
"node": "o097",
"hist_s": 242.6,
"dep": 67,
"prewarm": false
},
{
"i": 74,
"kind": "machine-verdict",
"node": "o097",
"hist_s": 229.6,
"dep": 71,
"prewarm": false
},
{
"i": 75,
"kind": "regate",
"node": "o061",
"hist_s": 355.9,
"dep": 71,
"prewarm": false
},
{
"i": 76,
"kind": "machine-verdict",
"node": "o092",
"hist_s": 181.3,
"dep": 74,
"prewarm": false
},
{
"i": 77,
"kind": "check-verdict",
"node": "o071",
"hist_s": 257.4,
"dep": 75,
"prewarm": false
},
{
"i": 78,
"kind": "check-verdict",
"node": "o093",
"hist_s": 90.8,
"dep": null,
"prewarm": false
},
{
"i": 79,
"kind": "regate",
"node": "o062",
"hist_s": 229.9,
"dep": null,
"prewarm": false
},
{
"i": 80,
"kind": "check-verdict",
"node": "o099",
"hist_s": 153.5,
"dep": null,
"prewarm": false
},
{
"i": 81,
"kind": "machine-verdict",
"node": "o099",
"hist_s": 181.4,
"dep": null,
"prewarm": false
},
{
"i": 82,
"kind": "check-verdict",
"node": "o106",
"hist_s": 188.7,
"dep": null,
"prewarm": false
},
{
"i": 83,
"kind": "check-verdict",
"node": "o096",
"hist_s": 273.0,
"dep": null,
"prewarm": false
},
{
"i": 84,
"kind": "check-verdict",
"node": "o087",
"hist_s": 192.7,
"dep": null,
"prewarm": false
},
{
"i": 85,
"kind": "check-verdict",
"node": "o096",
"hist_s": 267.3,
"dep": null,
"prewarm": false
},
{
"i": 86,
"kind": "check-verdict",
"node": "o108",
"hist_s": 310.0,
"dep": null,
"prewarm": false
},
{
"i": 87,
"kind": "check-verdict",
"node": "o116",
"hist_s": 199.8,
"dep": null,
"prewarm": false
},
{
"i": 88,
"kind": "check-verdict",
"node": "o095",
"hist_s": 265.0,
"dep": null,
"prewarm": false
},
{
"i": 89,
"kind": "check-verdict",
"node": "o117",
"hist_s": 348.3,
"dep": null,
"prewarm": false
},
{
"i": 90,
"kind": "check-verdict",
"node": "o114",
"hist_s": 265.5,
"dep": null,
"prewarm": false
},
{
"i": 91,
"kind": "check-verdict",
"node": "o077",
"hist_s": 284.9,
"dep": null,
"prewarm": false
},
{
"i": 92,
"kind": "check-verdict",
"node": "o098",
"hist_s": 269.1,
"dep": null,
"prewarm": false
},
{
"i": 93,
"kind": "check-verdict",
"node": "o118",
"hist_s": 251.1,
"dep": null,
"prewarm": false
},
{
"i": 94,
"kind": "check-verdict",
"node": "o058",
"hist_s": 412.2,
"dep": null,
"prewarm": false
},
{
"i": 95,
"kind": "check-verdict",
"node": "o058",
"hist_s": 402.5,
"dep": null,
"prewarm": false
},
{
"i": 96,
"kind": "check-verdict",
"node": "o109",
"hist_s": 315.7,
"dep": null,
"prewarm": false
},
{
"i": 97,
"kind": "check-verdict",
"node": "o118",
"hist_s": 191.6,
"dep": null,
"prewarm": false
},
{
"i": 98,
"kind": "regate",
"node": "o083",
"hist_s": 302.6,
"dep": null,
"prewarm": false
},
{
"i": 99,
"kind": "check-verdict",
"node": "o115",
"hist_s": 234.1,
"dep": 98,
"prewarm": false
},
{
"i": 100,
"kind": "regate",
"node": "o094",
"hist_s": 263.9,
"dep": null,
"prewarm": false
},
{
"i": 101,
"kind": "check-verdict",
"node": "o094",
"hist_s": 325.4,
"dep": null,
"prewarm": false
},
{
"i": 102,
"kind": "regate",
"node": "o079",
"hist_s": 269.7,
"dep": 100,
"prewarm": true
},
{
"i": 103,
"kind": "check-verdict",
"node": "o129",
"hist_s": 216.8,
"dep": null,
"prewarm": false
},
{
"i": 104,
"kind": "check-verdict",
"node": "o129",
"hist_s": 254.0,
"dep": null,
"prewarm": false
},
{
"i": 105,
"kind": "check-verdict",
"node": "o127",
"hist_s": 231.5,
"dep": null,
"prewarm": false
},
{
"i": 106,
"kind": "check-verdict",
"node": "o127",
"hist_s": 258.6,
"dep": null,
"prewarm": false
},
{
"i": 107,
"kind": "check-verdict",
"node": "o110",
"hist_s": 342.6,
"dep": null,
"prewarm": false
},
{
"i": 108,
"kind": "check-verdict",
"node": "o110",
"hist_s": 373.8,
"dep": null,
"prewarm": false
},
{
"i": 109,
"kind": "check-verdict",
"node": "o135",
"hist_s": 173.6,
"dep": null,
"prewarm": false
},
{
"i": 110,
"kind": "check-verdict",
"node": "o135",
"hist_s": 223.5,
"dep": null,
"prewarm": false
},
{
"i": 111,
"kind": "check-verdict",
"node": "o128",
"hist_s": 248.1,
"dep": null,
"prewarm": false
},
{
"i": 112,
"kind": "check-verdict",
"node": "o005",
"hist_s": 183.1,
"dep": null,
"prewarm": false
},
{
"i": 113,
"kind": "check-verdict",
"node": "o110",
"hist_s": 352.1,
"dep": null,
"prewarm": false
},
{
"i": 114,
"kind": "check-verdict",
"node": "o124",
"hist_s": 231.4,
"dep": null,
"prewarm": false
},
{
"i": 115,
"kind": "machine-verdict",
"node": "o110",
"hist_s": 229.5,
"dep": null,
"prewarm": false
},
{
"i": 116,
"kind": "check-verdict",
"node": "o124",
"hist_s": 154.1,
"dep": null,
"prewarm": false
},
{
"i": 117,
"kind": "check-verdict",
"node": "o136",
"hist_s": 75.9,
"dep": null,
"prewarm": false
},
{
"i": 118,
"kind": "check-verdict",
"node": "o128",
"hist_s": 249.1,
"dep": null,
"prewarm": false
},
{
"i": 119,
"kind": "check-verdict",
"node": "o128",
"hist_s": 154.4,
"dep": null,
"prewarm": false
},
{
"i": 120,
"kind": "check-verdict",
"node": "o132",
"hist_s": 260.1,
"dep": null,
"prewarm": false
},
{
"i": 121,
"kind": "machine-verdict",
"node": "o126",
"hist_s": 257.7,
"dep": null,
"prewarm": false
},
{
"i": 122,
"kind": "check-verdict",
"node": "o104",
"hist_s": 258.8,
"dep": null,
"prewarm": false
},
{
"i": 123,
"kind": "regate",
"node": "o104",
"hist_s": 245.3,
"dep": 121,
"prewarm": false
},
{
"i": 124,
"kind": "check-verdict",
"node": "o005",
"hist_s": 865.1,
"dep": 121,
"prewarm": false
},
{
"i": 125,
"kind": "check-verdict",
"node": "o138",
"hist_s": 287.2,
"dep": null,
"prewarm": false
},
{
"i": 126,
"kind": "check-verdict",
"node": "o142",
"hist_s": 107.9,
"dep": null,
"prewarm": false
},
{
"i": 127,
"kind": "check-verdict",
"node": "o153",
"hist_s": 193.1,
"dep": null,
"prewarm": false
},
{
"i": 128,
"kind": "check-verdict",
"node": "o152",
"hist_s": 225.8,
"dep": null,
"prewarm": false
},
{
"i": 129,
"kind": "check-verdict",
"node": "o152",
"hist_s": 89.5,
"dep": null,
"prewarm": false
},
{
"i": 130,
"kind": "check-verdict",
"node": "o005",
"hist_s": 227.6,
"dep": null,
"prewarm": false
},
{
"i": 131,
"kind": "check-verdict",
"node": "o165",
"hist_s": 152.2,
"dep": null,
"prewarm": false
},
{
"i": 132,
"kind": "machine-verdict",
"node": "o170",
"hist_s": 141.4,
"dep": null,
"prewarm": false
},
{
"i": 133,
"kind": "machine-verdict",
"node": "o171",
"hist_s": 146.6,
"dep": 132,
"prewarm": false
},
{
"i": 134,
"kind": "check-verdict",
"node": "o171",
"hist_s": 126.1,
"dep": 132,
"prewarm": false
},
{
"i": 135,
"kind": "check-verdict",
"node": "o174",
"hist_s": 169.2,
"dep": 133,
"prewarm": false
},
{
"i": 136,
"kind": "check-verdict",
"node": "o174",
"hist_s": 123.3,
"dep": 133,
"prewarm": false
},
{
"i": 137,
"kind": "check-verdict",
"node": "o179",
"hist_s": 212.7,
"dep": null,
"prewarm": false
},
{
"i": 138,
"kind": "check-verdict",
"node": "o172",
"hist_s": 224.7,
"dep": null,
"prewarm": false
},
{
"i": 139,
"kind": "check-verdict",
"node": "o162",
"hist_s": 308.9,
"dep": null,
"prewarm": false
},
{
"i": 140,
"kind": "regate",
"node": "o162",
"hist_s": 315.7,
"dep": null,
"prewarm": false
},
{
"i": 141,
"kind": "check-verdict",
"node": "o183",
"hist_s": 162.2,
"dep": null,
"prewarm": false
},
{
"i": 142,
"kind": "check-verdict",
"node": "o182",
"hist_s": 202.1,
"dep": null,
"prewarm": false
},
{
"i": 143,
"kind": "check-verdict",
"node": "o182",
"hist_s": 196.4,
"dep": null,
"prewarm": false
},
{
"i": 144,
"kind": "regate",
"node": "o178",
"hist_s": 226.9,
"dep": null,
"prewarm": false
},
{
"i": 145,
"kind": "check-verdict",
"node": "o184",
"hist_s": 172.8,
"dep": 144,
"prewarm": false
},
{
"i": 146,
"kind": "check-verdict",
"node": "o184",
"hist_s": 168.8,
"dep": 144,
"prewarm": false
},
{
"i": 147,
"kind": "machine-verdict",
"node": "o076",
"hist_s": 516.5,
"dep": null,
"prewarm": false
},
{
"i": 148,
"kind": "machine-verdict",
"node": "o196",
"hist_s": 132.3,
"dep": 144,
"prewarm": false
},
{
"i": 149,
"kind": "machine-verdict",
"node": "o184",
"hist_s": 252.7,
"dep": 144,
"prewarm": false
},
{
"i": 150,
"kind": "check-verdict",
"node": "o184",
"hist_s": 163.0,
"dep": 148,
"prewarm": false
},
{
"i": 151,
"kind": "check-verdict",
"node": "o190",
"hist_s": 213.4,
"dep": 149,
"prewarm": false
},
{
"i": 152,
"kind": "check-verdict",
"node": "o197",
"hist_s": 140.2,
"dep": null,
"prewarm": false
},
{
"i": 153,
"kind": "regate",
"node": "o185",
"hist_s": 190.2,
"dep": null,
"prewarm": false
},
{
"i": 154,
"kind": "regate",
"node": "o177",
"hist_s": 190.5,
"dep": 153,
"prewarm": false
},
{
"i": 155,
"kind": "regate",
"node": "o119",
"hist_s": 208.6,
"dep": 154,
"prewarm": true
},
{
"i": 156,
"kind": "regate",
"node": "o086",
"hist_s": 238.3,
"dep": 155,
"prewarm": true
},
{
"i": 157,
"kind": "check-verdict",
"node": "o189",
"hist_s": 286.8,
"dep": null,
"prewarm": false
},
{
"i": 158,
"kind": "check-verdict",
"node": "o203",
"hist_s": 319.5,
"dep": null,
"prewarm": false
},
{
"i": 159,
"kind": "machine-verdict",
"node": "o207",
"hist_s": 384.8,
"dep": null,
"prewarm": false
},
{
"i": 160,
"kind": "check-verdict",
"node": "o207",
"hist_s": 339.2,
"dep": null,
"prewarm": false
},
{
"i": 161,
"kind": "check-verdict",
"node": "o207",
"hist_s": 197.9,
"dep": null,
"prewarm": false
},
{
"i": 162,
"kind": "check-verdict",
"node": "o145",
"hist_s": 203.0,
"dep": 159,
"prewarm": false
},
{
"i": 163,
"kind": "check-verdict",
"node": "o145",
"hist_s": 207.2,
"dep": null,
"prewarm": false
},
{
"i": 164,
"kind": "check-verdict",
"node": "o145",
"hist_s": 213.3,
"dep": null,
"prewarm": false
},
{
"i": 165,
"kind": "check-verdict",
"node": "o150",
"hist_s": 870.5,
"dep": null,
"prewarm": false
},
{
"i": 166,
"kind": "machine-verdict",
"node": "o204",
"hist_s": 294.8,
"dep": null,
"prewarm": false
},
{
"i": 167,
"kind": "check-verdict",
"node": "o204",
"hist_s": 209.2,
"dep": null,
"prewarm": false
},
{
"i": 168,
"kind": "machine-verdict",
"node": "o206",
"hist_s": 320.6,
"dep": 166,
"prewarm": false
},
{
"i": 169,
"kind": "check-verdict",
"node": "o149",
"hist_s": 1113.1,
"dep": null,
"prewarm": false
},
{
"i": 170,
"kind": "regate",
"node": "o139",
"hist_s": 470.9,
"dep": null,
"prewarm": false
},
{
"i": 171,
"kind": "regate",
"node": "o133",
"hist_s": 546.2,
"dep": 170,
"prewarm": true
},
{
"i": 172,
"kind": "regate",
"node": "o111",
"hist_s": 459.6,
"dep": null,
"prewarm": false
},
{
"i": 173,
"kind": "regate",
"node": "o084",
"hist_s": 494.7,
"dep": 172,
"prewarm": true
},
{
"i": 174,
"kind": "regate",
"node": "o060",
"hist_s": 511.8,
"dep": 173,
"prewarm": true
},
{
"i": 175,
"kind": "regate",
"node": "o044",
"hist_s": 576.2,
"dep": 174,
"prewarm": true
},
{
"i": 176,
"kind": "regate",
"node": "o033",
"hist_s": 593.8,
"dep": 175,
"prewarm": true
},
{
"i": 177,
"kind": "check-verdict",
"node": "o210",
"hist_s": 1137.4,
"dep": null,
"prewarm": false
},
{
"i": 178,
"kind": "check-verdict",
"node": "o211",
"hist_s": 552.4,
"dep": null,
"prewarm": false
},
{
"i": 179,
"kind": "regate",
"node": "o134",
"hist_s": 410.9,
"dep": null,
"prewarm": false
},
{
"i": 180,
"kind": "regate",
"node": "o103",
"hist_s": 433.7,
"dep": 179,
"prewarm": false
},
{
"i": 181,
"kind": "regate",
"node": "o080",
"hist_s": 444.4,
"dep": 180,
"prewarm": true
},
{
"i": 182,
"kind": "regate",
"node": "o063",
"hist_s": 434.8,
"dep": 181,
"prewarm": true
},
{
"i": 183,
"kind": "regate",
"node": "o059",
"hist_s": 438.4,
"dep": 182,
"prewarm": true
},
{
"i": 184,
"kind": "regate",
"node": "o054",
"hist_s": 467.2,
"dep": 183,
"prewarm": true
},
{
"i": 185,
"kind": "regate",
"node": "o040",
"hist_s": 525.3,
"dep": 184,
"prewarm": true
},
{
"i": 186,
"kind": "regate",
"node": "o032",
"hist_s": 472.8,
"dep": 185,
"prewarm": true
},
{
"i": 187,
"kind": "regate",
"node": "o023",
"hist_s": 658.7,
"dep": 186,
"prewarm": true
},
{
"i": 188,
"kind": "regate",
"node": "o016",
"hist_s": 752.3,
"dep": 187,
"prewarm": true
},
{
"i": 189,
"kind": "check-verdict",
"node": "o005",
"hist_s": 980.4,
"dep": null,
"prewarm": false
},
{
"i": 190,
"kind": "check-verdict",
"node": "o005",
"hist_s": 848.2,
"dep": null,
"prewarm": false
},
{
"i": 191,
"kind": "regate",
"node": "root",
"hist_s": 4094.8,
"dep": null,
"prewarm": false
}
],
"coalesced_groups": [
[
"o094",
"o079"
],
[
"o185",
"o177",
"o119",
"o086"
],
[
"o139",
"o133",
"o111",
"o084",
"o060",
"o044",
"o033"
],
[
"o134",
"o103",
"o080",
"o063",
"o059",
"o054",
"o040",
"o032",
"o023",
"o016"
]
],
"chain_jobs": [
[
100,
102
],
[
153,
154,
155,
156
],
[
170,
171,
172,
173,
174,
175,
176
],
[
179,
180,
181,
182,
183,
184,
185,
186,
187,
188
]
]
}