{
"obligations": 296,
"live_accepted": 241,
"depth": 12,
"checks": 358,
"proof_checks": 284,
"regates": 73,
"root_checks": 1,
"excluded": 305,
"chains": [
2,
3,
4,
2,
3,
3,
2,
2,
2,
4,
3,
2,
4,
3,
2,
4,
3,
2,
4,
5
],
"checks_after_coalescing": 319,
"historical_check_s": 198507.4,
"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": "accepted"
},
{
"id": "o005",
"parent": "root",
"depth": 1,
"state": "accepted"
},
{
"id": "o006",
"parent": "root",
"depth": 1,
"state": "accepted"
},
{
"id": "o007",
"parent": "o006",
"depth": 2,
"state": "accepted"
},
{
"id": "o008",
"parent": "o006",
"depth": 2,
"state": "accepted"
},
{
"id": "o009",
"parent": "o006",
"depth": 2,
"state": "accepted"
},
{
"id": "o010",
"parent": "o002",
"depth": 2,
"state": "accepted"
},
{
"id": "o011",
"parent": "o002",
"depth": 2,
"state": "accepted"
},
{
"id": "o012",
"parent": "o003",
"depth": 2,
"state": "accepted"
},
{
"id": "o013",
"parent": "o003",
"depth": 2,
"state": "accepted"
},
{
"id": "o014",
"parent": "o003",
"depth": 2,
"state": "accepted"
},
{
"id": "o015",
"parent": "o009",
"depth": 3,
"state": "accepted"
},
{
"id": "o016",
"parent": "o009",
"depth": 3,
"state": "accepted"
},
{
"id": "o017",
"parent": "o009",
"depth": 3,
"state": "accepted"
},
{
"id": "o018",
"parent": "o009",
"depth": 3,
"state": "accepted"
},
{
"id": "o019",
"parent": "o007",
"depth": 3,
"state": "accepted"
},
{
"id": "o020",
"parent": "o007",
"depth": 3,
"state": "accepted"
},
{
"id": "o021",
"parent": "o012",
"depth": 3,
"state": "accepted"
},
{
"id": "o022",
"parent": "o012",
"depth": 3,
"state": "accepted"
},
{
"id": "o023",
"parent": "o004",
"depth": 2,
"state": "accepted"
},
{
"id": "o024",
"parent": "o004",
"depth": 2,
"state": "accepted"
},
{
"id": "o025",
"parent": "o004",
"depth": 2,
"state": "accepted"
},
{
"id": "o026",
"parent": "o004",
"depth": 2,
"state": "accepted"
},
{
"id": "o027",
"parent": "o004",
"depth": 2,
"state": "accepted"
},
{
"id": "o028",
"parent": "o019",
"depth": 4,
"state": "accepted"
},
{
"id": "o029",
"parent": "o019",
"depth": 4,
"state": "accepted"
},
{
"id": "o030",
"parent": "o019",
"depth": 4,
"state": "accepted"
},
{
"id": "o031",
"parent": "o019",
"depth": 4,
"state": "accepted"
},
{
"id": "o032",
"parent": "o016",
"depth": 4,
"state": "superseded"
},
{
"id": "o033",
"parent": "o016",
"depth": 4,
"state": "accepted"
},
{
"id": "o034",
"parent": "o016",
"depth": 4,
"state": "accepted"
},
{
"id": "o035",
"parent": "o027",
"depth": 3,
"state": "superseded"
},
{
"id": "o036",
"parent": "o027",
"depth": 3,
"state": "superseded"
},
{
"id": "o037",
"parent": "o027",
"depth": 3,
"state": "superseded"
},
{
"id": "o038",
"parent": "o015",
"depth": 4,
"state": "accepted"
},
{
"id": "o039",
"parent": "o015",
"depth": 4,
"state": "accepted"
},
{
"id": "o040",
"parent": "o015",
"depth": 4,
"state": "accepted"
},
{
"id": "o041",
"parent": "o024",
"depth": 3,
"state": "accepted"
},
{
"id": "o042",
"parent": "o024",
"depth": 3,
"state": "accepted"
},
{
"id": "o043",
"parent": "o024",
"depth": 3,
"state": "accepted"
},
{
"id": "o044",
"parent": "o026",
"depth": 3,
"state": "superseded"
},
{
"id": "o045",
"parent": "o026",
"depth": 3,
"state": "accepted"
},
{
"id": "o046",
"parent": "o022",
"depth": 4,
"state": "accepted"
},
{
"id": "o047",
"parent": "o022",
"depth": 4,
"state": "accepted"
},
{
"id": "o048",
"parent": "o018",
"depth": 4,
"state": "accepted"
},
{
"id": "o049",
"parent": "o018",
"depth": 4,
"state": "accepted"
},
{
"id": "o050",
"parent": "o029",
"depth": 5,
"state": "accepted"
},
{
"id": "o051",
"parent": "o029",
"depth": 5,
"state": "accepted"
},
{
"id": "o052",
"parent": "o046",
"depth": 5,
"state": "accepted"
},
{
"id": "o053",
"parent": "o046",
"depth": 5,
"state": "accepted"
},
{
"id": "o054",
"parent": "o040",
"depth": 5,
"state": "accepted"
},
{
"id": "o055",
"parent": "o040",
"depth": 5,
"state": "accepted"
},
{
"id": "o056",
"parent": "o040",
"depth": 5,
"state": "accepted"
},
{
"id": "o057",
"parent": "o040",
"depth": 5,
"state": "accepted"
},
{
"id": "o058",
"parent": "o043",
"depth": 4,
"state": "accepted"
},
{
"id": "o059",
"parent": "o043",
"depth": 4,
"state": "superseded"
},
{
"id": "o060",
"parent": "o043",
"depth": 4,
"state": "accepted"
},
{
"id": "o061",
"parent": "o043",
"depth": 4,
"state": "accepted"
},
{
"id": "o062",
"parent": "o049",
"depth": 5,
"state": "accepted"
},
{
"id": "o063",
"parent": "o049",
"depth": 5,
"state": "accepted"
},
{
"id": "o064",
"parent": "o049",
"depth": 5,
"state": "accepted"
},
{
"id": "o065",
"parent": "o050",
"depth": 6,
"state": "superseded"
},
{
"id": "o066",
"parent": "o050",
"depth": 6,
"state": "accepted"
},
{
"id": "o067",
"parent": "o055",
"depth": 6,
"state": "superseded"
},
{
"id": "o068",
"parent": "o055",
"depth": 6,
"state": "accepted"
},
{
"id": "o069",
"parent": "o056",
"depth": 6,
"state": "accepted"
},
{
"id": "o070",
"parent": "o056",
"depth": 6,
"state": "accepted"
},
{
"id": "o071",
"parent": "o063",
"depth": 6,
"state": "accepted"
},
{
"id": "o072",
"parent": "o063",
"depth": 6,
"state": "accepted"
},
{
"id": "o073",
"parent": "o048",
"depth": 5,
"state": "accepted"
},
{
"id": "o074",
"parent": "o048",
"depth": 5,
"state": "accepted"
},
{
"id": "o075",
"parent": "o048",
"depth": 5,
"state": "accepted"
},
{
"id": "o076",
"parent": "o048",
"depth": 5,
"state": "accepted"
},
{
"id": "o077",
"parent": "o048",
"depth": 5,
"state": "accepted"
},
{
"id": "o078",
"parent": "o062",
"depth": 6,
"state": "accepted"
},
{
"id": "o079",
"parent": "o062",
"depth": 6,
"state": "accepted"
},
{
"id": "o080",
"parent": "o070",
"depth": 7,
"state": "superseded"
},
{
"id": "o081",
"parent": "o070",
"depth": 7,
"state": "accepted"
},
{
"id": "o082",
"parent": "o074",
"depth": 6,
"state": "superseded"
},
{
"id": "o083",
"parent": "o074",
"depth": 6,
"state": "superseded"
},
{
"id": "o084",
"parent": "o075",
"depth": 6,
"state": "accepted"
},
{
"id": "o085",
"parent": "o075",
"depth": 6,
"state": "accepted"
},
{
"id": "o086",
"parent": "o075",
"depth": 6,
"state": "accepted"
},
{
"id": "o087",
"parent": "o072",
"depth": 7,
"state": "accepted"
},
{
"id": "o088",
"parent": "o072",
"depth": 7,
"state": "accepted"
},
{
"id": "o089",
"parent": "o077",
"depth": 6,
"state": "accepted"
},
{
"id": "o090",
"parent": "o077",
"depth": 6,
"state": "accepted"
},
{
"id": "o091",
"parent": "o077",
"depth": 6,
"state": "accepted"
},
{
"id": "o092",
"parent": "o078",
"depth": 7,
"state": "accepted"
},
{
"id": "o093",
"parent": "o078",
"depth": 7,
"state": "accepted"
},
{
"id": "o094",
"parent": "o078",
"depth": 7,
"state": "accepted"
},
{
"id": "o095",
"parent": "o084",
"depth": 7,
"state": "accepted"
},
{
"id": "o096",
"parent": "o084",
"depth": 7,
"state": "superseded"
},
{
"id": "o097",
"parent": "o091",
"depth": 7,
"state": "accepted"
},
{
"id": "o098",
"parent": "o091",
"depth": 7,
"state": "accepted"
},
{
"id": "o099",
"parent": "o079",
"depth": 7,
"state": "accepted"
},
{
"id": "o100",
"parent": "o079",
"depth": 7,
"state": "accepted"
},
{
"id": "o101",
"parent": "o079",
"depth": 7,
"state": "accepted"
},
{
"id": "o102",
"parent": "o079",
"depth": 7,
"state": "accepted"
},
{
"id": "o103",
"parent": "o064",
"depth": 6,
"state": "accepted"
},
{
"id": "o104",
"parent": "o064",
"depth": 6,
"state": "accepted"
},
{
"id": "o105",
"parent": "o064",
"depth": 6,
"state": "accepted"
},
{
"id": "o106",
"parent": "o064",
"depth": 6,
"state": "accepted"
},
{
"id": "o107",
"parent": "o064",
"depth": 6,
"state": "accepted"
},
{
"id": "o108",
"parent": "o094",
"depth": 8,
"state": "superseded"
},
{
"id": "o109",
"parent": "o094",
"depth": 8,
"state": "superseded"
},
{
"id": "o110",
"parent": "o099",
"depth": 8,
"state": "accepted"
},
{
"id": "o111",
"parent": "o099",
"depth": 8,
"state": "accepted"
},
{
"id": "o112",
"parent": "o104",
"depth": 7,
"state": "accepted"
},
{
"id": "o113",
"parent": "o104",
"depth": 7,
"state": "accepted"
},
{
"id": "o114",
"parent": "o104",
"depth": 7,
"state": "accepted"
},
{
"id": "o115",
"parent": "o104",
"depth": 7,
"state": "accepted"
},
{
"id": "o116",
"parent": "o106",
"depth": 7,
"state": "superseded"
},
{
"id": "o117",
"parent": "o106",
"depth": 7,
"state": "accepted"
},
{
"id": "o118",
"parent": "o105",
"depth": 7,
"state": "accepted"
},
{
"id": "o119",
"parent": "o105",
"depth": 7,
"state": "accepted"
},
{
"id": "o120",
"parent": "o105",
"depth": 7,
"state": "accepted"
},
{
"id": "o121",
"parent": "o107",
"depth": 7,
"state": "superseded"
},
{
"id": "o122",
"parent": "o107",
"depth": 7,
"state": "accepted"
},
{
"id": "o123",
"parent": "o107",
"depth": 7,
"state": "superseded"
},
{
"id": "o124",
"parent": "o107",
"depth": 7,
"state": "superseded"
},
{
"id": "o125",
"parent": "o100",
"depth": 8,
"state": "accepted"
},
{
"id": "o126",
"parent": "o100",
"depth": 8,
"state": "accepted"
},
{
"id": "o127",
"parent": "o100",
"depth": 8,
"state": "accepted"
},
{
"id": "o128",
"parent": "o101",
"depth": 8,
"state": "accepted"
},
{
"id": "o129",
"parent": "o101",
"depth": 8,
"state": "accepted"
},
{
"id": "o130",
"parent": "o093",
"depth": 8,
"state": "accepted"
},
{
"id": "o131",
"parent": "o093",
"depth": 8,
"state": "accepted"
},
{
"id": "o132",
"parent": "o093",
"depth": 8,
"state": "accepted"
},
{
"id": "o133",
"parent": "o093",
"depth": 8,
"state": "accepted"
},
{
"id": "o134",
"parent": "o093",
"depth": 8,
"state": "accepted"
},
{
"id": "o135",
"parent": "o110",
"depth": 9,
"state": "superseded"
},
{
"id": "o136",
"parent": "o110",
"depth": 9,
"state": "superseded"
},
{
"id": "o137",
"parent": "o092",
"depth": 8,
"state": "refuted"
},
{
"id": "o138",
"parent": "o092",
"depth": 8,
"state": "superseded"
},
{
"id": "o139",
"parent": "o092",
"depth": 8,
"state": "superseded"
},
{
"id": "o140",
"parent": "o092",
"depth": 8,
"state": "superseded"
},
{
"id": "o141",
"parent": "o092",
"depth": 8,
"state": "superseded"
},
{
"id": "o142",
"parent": "o092",
"depth": 8,
"state": "superseded"
},
{
"id": "o143",
"parent": "o116",
"depth": 8,
"state": "superseded"
},
{
"id": "o144",
"parent": "o116",
"depth": 8,
"state": "accepted"
},
{
"id": "o145",
"parent": "o115",
"depth": 8,
"state": "superseded"
},
{
"id": "o146",
"parent": "o115",
"depth": 8,
"state": "superseded"
},
{
"id": "o147",
"parent": "o118",
"depth": 8,
"state": "accepted"
},
{
"id": "o148",
"parent": "o118",
"depth": 8,
"state": "accepted"
},
{
"id": "o149",
"parent": "o112",
"depth": 8,
"state": "accepted"
},
{
"id": "o150",
"parent": "o112",
"depth": 8,
"state": "accepted"
},
{
"id": "o151",
"parent": "o119",
"depth": 8,
"state": "accepted"
},
{
"id": "o152",
"parent": "o119",
"depth": 8,
"state": "accepted"
},
{
"id": "o153",
"parent": "o119",
"depth": 8,
"state": "accepted"
},
{
"id": "o154",
"parent": "o113",
"depth": 8,
"state": "superseded"
},
{
"id": "o155",
"parent": "o113",
"depth": 8,
"state": "accepted"
},
{
"id": "o156",
"parent": "o114",
"depth": 8,
"state": "accepted"
},
{
"id": "o157",
"parent": "o114",
"depth": 8,
"state": "accepted"
},
{
"id": "o158",
"parent": "o114",
"depth": 8,
"state": "accepted"
},
{
"id": "o159",
"parent": "o103",
"depth": 7,
"state": "accepted"
},
{
"id": "o160",
"parent": "o103",
"depth": 7,
"state": "accepted"
},
{
"id": "o161",
"parent": "o130",
"depth": 9,
"state": "superseded"
},
{
"id": "o162",
"parent": "o130",
"depth": 9,
"state": "accepted"
},
{
"id": "o163",
"parent": "o132",
"depth": 9,
"state": "accepted"
},
{
"id": "o164",
"parent": "o132",
"depth": 9,
"state": "accepted"
},
{
"id": "o165",
"parent": "o131",
"depth": 9,
"state": "accepted"
},
{
"id": "o166",
"parent": "o131",
"depth": 9,
"state": "accepted"
},
{
"id": "o167",
"parent": "o131",
"depth": 9,
"state": "accepted"
},
{
"id": "o168",
"parent": "o134",
"depth": 9,
"state": "accepted"
},
{
"id": "o169",
"parent": "o134",
"depth": 9,
"state": "accepted"
},
{
"id": "o170",
"parent": "o117",
"depth": 8,
"state": "accepted"
},
{
"id": "o171",
"parent": "o117",
"depth": 8,
"state": "accepted"
},
{
"id": "o172",
"parent": "o117",
"depth": 8,
"state": "accepted"
},
{
"id": "o173",
"parent": "o117",
"depth": 8,
"state": "accepted"
},
{
"id": "o174",
"parent": "o117",
"depth": 8,
"state": "accepted"
},
{
"id": "o175",
"parent": "o120",
"depth": 8,
"state": "accepted"
},
{
"id": "o176",
"parent": "o120",
"depth": 8,
"state": "accepted"
},
{
"id": "o177",
"parent": "o120",
"depth": 8,
"state": "accepted"
},
{
"id": "o178",
"parent": "o120",
"depth": 8,
"state": "accepted"
},
{
"id": "o179",
"parent": "o144",
"depth": 9,
"state": "accepted"
},
{
"id": "o180",
"parent": "o144",
"depth": 9,
"state": "accepted"
},
{
"id": "o181",
"parent": "o151",
"depth": 9,
"state": "accepted"
},
{
"id": "o182",
"parent": "o151",
"depth": 9,
"state": "accepted"
},
{
"id": "o183",
"parent": "o151",
"depth": 9,
"state": "accepted"
},
{
"id": "o184",
"parent": "o147",
"depth": 9,
"state": "accepted"
},
{
"id": "o185",
"parent": "o147",
"depth": 9,
"state": "accepted"
},
{
"id": "o186",
"parent": "o160",
"depth": 8,
"state": "superseded"
},
{
"id": "o187",
"parent": "o160",
"depth": 8,
"state": "accepted"
},
{
"id": "o188",
"parent": "o158",
"depth": 9,
"state": "accepted"
},
{
"id": "o189",
"parent": "o158",
"depth": 9,
"state": "accepted"
},
{
"id": "o190",
"parent": "o158",
"depth": 9,
"state": "accepted"
},
{
"id": "o191",
"parent": "o152",
"depth": 9,
"state": "accepted"
},
{
"id": "o192",
"parent": "o152",
"depth": 9,
"state": "accepted"
},
{
"id": "o193",
"parent": "o152",
"depth": 9,
"state": "accepted"
},
{
"id": "o194",
"parent": "o173",
"depth": 9,
"state": "accepted"
},
{
"id": "o195",
"parent": "o173",
"depth": 9,
"state": "accepted"
},
{
"id": "o196",
"parent": "o168",
"depth": 10,
"state": "accepted"
},
{
"id": "o197",
"parent": "o178",
"depth": 9,
"state": "accepted"
},
{
"id": "o198",
"parent": "o178",
"depth": 9,
"state": "accepted"
},
{
"id": "o199",
"parent": "o107",
"depth": 7,
"state": "accepted"
},
{
"id": "o200",
"parent": "o107",
"depth": 7,
"state": "accepted"
},
{
"id": "o201",
"parent": "o107",
"depth": 7,
"state": "accepted"
},
{
"id": "o202",
"parent": "o107",
"depth": 7,
"state": "accepted"
},
{
"id": "o203",
"parent": "o107",
"depth": 7,
"state": "accepted"
},
{
"id": "o204",
"parent": "o143",
"depth": 9,
"state": "superseded"
},
{
"id": "o205",
"parent": "o156",
"depth": 9,
"state": "accepted"
},
{
"id": "o206",
"parent": "o156",
"depth": 9,
"state": "accepted"
},
{
"id": "o207",
"parent": "o156",
"depth": 9,
"state": "accepted"
},
{
"id": "o208",
"parent": "o156",
"depth": 9,
"state": "accepted"
},
{
"id": "o209",
"parent": "o194",
"depth": 10,
"state": "accepted"
},
{
"id": "o210",
"parent": "o194",
"depth": 10,
"state": "accepted"
},
{
"id": "o211",
"parent": "o201",
"depth": 8,
"state": "accepted"
},
{
"id": "o212",
"parent": "o201",
"depth": 8,
"state": "accepted"
},
{
"id": "o213",
"parent": "o198",
"depth": 10,
"state": "superseded"
},
{
"id": "o214",
"parent": "o198",
"depth": 10,
"state": "accepted"
},
{
"id": "o215",
"parent": "o197",
"depth": 10,
"state": "accepted"
},
{
"id": "o216",
"parent": "o197",
"depth": 10,
"state": "accepted"
},
{
"id": "o217",
"parent": "o202",
"depth": 8,
"state": "accepted"
},
{
"id": "o218",
"parent": "o202",
"depth": 8,
"state": "accepted"
},
{
"id": "o219",
"parent": "o206",
"depth": 10,
"state": "accepted"
},
{
"id": "o220",
"parent": "o206",
"depth": 10,
"state": "accepted"
},
{
"id": "o221",
"parent": "o206",
"depth": 10,
"state": "accepted"
},
{
"id": "o222",
"parent": "o200",
"depth": 8,
"state": "accepted"
},
{
"id": "o223",
"parent": "o200",
"depth": 8,
"state": "accepted"
},
{
"id": "o224",
"parent": "o204",
"depth": 10,
"state": "superseded"
},
{
"id": "o225",
"parent": "o204",
"depth": 10,
"state": "superseded"
},
{
"id": "o226",
"parent": "o203",
"depth": 8,
"state": "accepted"
},
{
"id": "o227",
"parent": "o203",
"depth": 8,
"state": "superseded"
},
{
"id": "o228",
"parent": "o092",
"depth": 8,
"state": "accepted"
},
{
"id": "o229",
"parent": "o092",
"depth": 8,
"state": "accepted"
},
{
"id": "o230",
"parent": "o092",
"depth": 8,
"state": "accepted"
},
{
"id": "o231",
"parent": "o092",
"depth": 8,
"state": "accepted"
},
{
"id": "o232",
"parent": "o199",
"depth": 8,
"state": "accepted"
},
{
"id": "o233",
"parent": "o199",
"depth": 8,
"state": "accepted"
},
{
"id": "o234",
"parent": "o199",
"depth": 8,
"state": "accepted"
},
{
"id": "o235",
"parent": "o211",
"depth": 9,
"state": "accepted"
},
{
"id": "o236",
"parent": "o211",
"depth": 9,
"state": "accepted"
},
{
"id": "o237",
"parent": "o211",
"depth": 9,
"state": "accepted"
},
{
"id": "o238",
"parent": "o212",
"depth": 9,
"state": "accepted"
},
{
"id": "o239",
"parent": "o212",
"depth": 9,
"state": "accepted"
},
{
"id": "o240",
"parent": "o223",
"depth": 9,
"state": "accepted"
},
{
"id": "o241",
"parent": "o223",
"depth": 9,
"state": "accepted"
},
{
"id": "o242",
"parent": "o223",
"depth": 9,
"state": "accepted"
},
{
"id": "o243",
"parent": "o223",
"depth": 9,
"state": "accepted"
},
{
"id": "o244",
"parent": "o217",
"depth": 9,
"state": "accepted"
},
{
"id": "o245",
"parent": "o217",
"depth": 9,
"state": "accepted"
},
{
"id": "o246",
"parent": "o217",
"depth": 9,
"state": "accepted"
},
{
"id": "o247",
"parent": "o227",
"depth": 9,
"state": "superseded"
},
{
"id": "o248",
"parent": "o227",
"depth": 9,
"state": "accepted"
},
{
"id": "o249",
"parent": "o218",
"depth": 9,
"state": "accepted"
},
{
"id": "o250",
"parent": "o218",
"depth": 9,
"state": "accepted"
},
{
"id": "o251",
"parent": "o230",
"depth": 9,
"state": "superseded"
},
{
"id": "o252",
"parent": "o230",
"depth": 9,
"state": "superseded"
},
{
"id": "o253",
"parent": "o222",
"depth": 9,
"state": "accepted"
},
{
"id": "o254",
"parent": "o222",
"depth": 9,
"state": "accepted"
},
{
"id": "o255",
"parent": "o222",
"depth": 9,
"state": "accepted"
},
{
"id": "o256",
"parent": "o231",
"depth": 9,
"state": "superseded"
},
{
"id": "o257",
"parent": "o231",
"depth": 9,
"state": "accepted"
},
{
"id": "o258",
"parent": "o241",
"depth": 10,
"state": "superseded"
},
{
"id": "o259",
"parent": "o241",
"depth": 10,
"state": "accepted"
},
{
"id": "o260",
"parent": "o243",
"depth": 10,
"state": "accepted"
},
{
"id": "o261",
"parent": "o243",
"depth": 10,
"state": "accepted"
},
{
"id": "o262",
"parent": "o249",
"depth": 10,
"state": "accepted"
},
{
"id": "o263",
"parent": "o249",
"depth": 10,
"state": "accepted"
},
{
"id": "o264",
"parent": "o249",
"depth": 10,
"state": "accepted"
},
{
"id": "o265",
"parent": "o204",
"depth": 10,
"state": "accepted"
},
{
"id": "o266",
"parent": "o204",
"depth": 10,
"state": "refuted"
},
{
"id": "o267",
"parent": "o204",
"depth": 10,
"state": "refuted"
},
{
"id": "o268",
"parent": "o247",
"depth": 10,
"state": "superseded"
},
{
"id": "o269",
"parent": "o247",
"depth": 10,
"state": "superseded"
},
{
"id": "o270",
"parent": "o247",
"depth": 10,
"state": "superseded"
},
{
"id": "o271",
"parent": "o245",
"depth": 10,
"state": "accepted"
},
{
"id": "o272",
"parent": "o245",
"depth": 10,
"state": "accepted"
},
{
"id": "o273",
"parent": "o250",
"depth": 10,
"state": "accepted"
},
{
"id": "o274",
"parent": "o250",
"depth": 10,
"state": "accepted"
},
{
"id": "o275",
"parent": "o255",
"depth": 10,
"state": "accepted"
},
{
"id": "o276",
"parent": "o255",
"depth": 10,
"state": "accepted"
},
{
"id": "o277",
"parent": "o229",
"depth": 9,
"state": "accepted"
},
{
"id": "o278",
"parent": "o229",
"depth": 9,
"state": "accepted"
},
{
"id": "o279",
"parent": "o232",
"depth": 9,
"state": "accepted"
},
{
"id": "o280",
"parent": "o232",
"depth": 9,
"state": "accepted"
},
{
"id": "o281",
"parent": "o254",
"depth": 10,
"state": "accepted"
},
{
"id": "o282",
"parent": "o254",
"depth": 10,
"state": "accepted"
},
{
"id": "o283",
"parent": "o267",
"depth": 11,
"state": "superseded"
},
{
"id": "o284",
"parent": "o267",
"depth": 11,
"state": "superseded"
},
{
"id": "o285",
"parent": "o265",
"depth": 11,
"state": "refuted"
},
{
"id": "o286",
"parent": "o265",
"depth": 11,
"state": "superseded"
},
{
"id": "o287",
"parent": "o265",
"depth": 11,
"state": "superseded"
},
{
"id": "o288",
"parent": "o265",
"depth": 11,
"state": "accepted"
},
{
"id": "o289",
"parent": "o204",
"depth": 10,
"state": "accepted"
},
{
"id": "o290",
"parent": "o289",
"depth": 10,
"state": "accepted"
},
{
"id": "o291",
"parent": "o289",
"depth": 10,
"state": "accepted"
},
{
"id": "o292",
"parent": "o266",
"depth": 11,
"state": "refuted"
},
{
"id": "o293",
"parent": "o266",
"depth": 11,
"state": "superseded"
},
{
"id": "o294",
"parent": "o287",
"depth": 12,
"state": "superseded"
},
{
"id": "o295",
"parent": "o287",
"depth": 12,
"state": "accepted"
},
{
"id": "root",
"parent": null,
"depth": 0,
"state": "accepted"
}
],
"jobs": [
{
"i": 1,
"kind": "check-verdict",
"node": "o005",
"hist_s": 189.8,
"dep": null,
"prewarm": false
},
{
"i": 2,
"kind": "check-verdict",
"node": "o001",
"hist_s": 191.0,
"dep": null,
"prewarm": false
},
{
"i": 3,
"kind": "check-verdict",
"node": "o001",
"hist_s": 189.5,
"dep": null,
"prewarm": false
},
{
"i": 4,
"kind": "check-verdict",
"node": "o001",
"hist_s": 49.5,
"dep": null,
"prewarm": false
},
{
"i": 5,
"kind": "check-verdict",
"node": "o014",
"hist_s": 145.4,
"dep": null,
"prewarm": false
},
{
"i": 6,
"kind": "check-verdict",
"node": "o014",
"hist_s": 140.2,
"dep": null,
"prewarm": false
},
{
"i": 7,
"kind": "check-verdict",
"node": "o013",
"hist_s": 128.2,
"dep": null,
"prewarm": false
},
{
"i": 8,
"kind": "check-verdict",
"node": "o013",
"hist_s": 112.3,
"dep": null,
"prewarm": false
},
{
"i": 9,
"kind": "machine-verdict",
"node": "o013",
"hist_s": 101.9,
"dep": null,
"prewarm": false
},
{
"i": 10,
"kind": "check-verdict",
"node": "o011",
"hist_s": 202.5,
"dep": null,
"prewarm": false
},
{
"i": 11,
"kind": "check-verdict",
"node": "o010",
"hist_s": 202.3,
"dep": null,
"prewarm": false
},
{
"i": 12,
"kind": "check-verdict",
"node": "o008",
"hist_s": 259.1,
"dep": null,
"prewarm": false
},
{
"i": 13,
"kind": "check-verdict",
"node": "o008",
"hist_s": 264.0,
"dep": null,
"prewarm": false
},
{
"i": 14,
"kind": "machine-verdict",
"node": "o020",
"hist_s": 148.8,
"dep": null,
"prewarm": false
},
{
"i": 15,
"kind": "regate",
"node": "o002",
"hist_s": 673.6,
"dep": null,
"prewarm": false
},
{
"i": 16,
"kind": "check-verdict",
"node": "o023",
"hist_s": 122.6,
"dep": 15,
"prewarm": false
},
{
"i": 17,
"kind": "machine-verdict",
"node": "o025",
"hist_s": 260.8,
"dep": 15,
"prewarm": false
},
{
"i": 18,
"kind": "check-verdict",
"node": "o025",
"hist_s": 186.7,
"dep": null,
"prewarm": false
},
{
"i": 19,
"kind": "check-verdict",
"node": "o027",
"hist_s": 138.5,
"dep": 17,
"prewarm": false
},
{
"i": 20,
"kind": "check-verdict",
"node": "o017",
"hist_s": 174.2,
"dep": 17,
"prewarm": false
},
{
"i": 21,
"kind": "check-verdict",
"node": "o031",
"hist_s": 140.1,
"dep": null,
"prewarm": false
},
{
"i": 22,
"kind": "check-verdict",
"node": "o021",
"hist_s": 202.7,
"dep": 17,
"prewarm": false
},
{
"i": 23,
"kind": "check-verdict",
"node": "o031",
"hist_s": 66.4,
"dep": null,
"prewarm": false
},
{
"i": 24,
"kind": "check-verdict",
"node": "o028",
"hist_s": 128.4,
"dep": null,
"prewarm": false
},
{
"i": 25,
"kind": "machine-verdict",
"node": "o021",
"hist_s": 183.7,
"dep": null,
"prewarm": false
},
{
"i": 26,
"kind": "check-verdict",
"node": "o028",
"hist_s": 212.0,
"dep": null,
"prewarm": false
},
{
"i": 27,
"kind": "machine-verdict",
"node": "o028",
"hist_s": 185.2,
"dep": null,
"prewarm": false
},
{
"i": 28,
"kind": "check-verdict",
"node": "o033",
"hist_s": 148.3,
"dep": null,
"prewarm": false
},
{
"i": 29,
"kind": "check-verdict",
"node": "o033",
"hist_s": 60.6,
"dep": null,
"prewarm": false
},
{
"i": 30,
"kind": "check-verdict",
"node": "o038",
"hist_s": 112.0,
"dep": null,
"prewarm": false
},
{
"i": 31,
"kind": "check-verdict",
"node": "o045",
"hist_s": 113.5,
"dep": null,
"prewarm": false
},
{
"i": 32,
"kind": "check-verdict",
"node": "o026",
"hist_s": 160.3,
"dep": null,
"prewarm": false
},
{
"i": 33,
"kind": "check-verdict",
"node": "o045",
"hist_s": 115.2,
"dep": null,
"prewarm": false
},
{
"i": 34,
"kind": "machine-verdict",
"node": "o039",
"hist_s": 196.8,
"dep": null,
"prewarm": false
},
{
"i": 35,
"kind": "check-verdict",
"node": "o026",
"hist_s": 49.2,
"dep": null,
"prewarm": false
},
{
"i": 36,
"kind": "check-verdict",
"node": "o030",
"hist_s": 222.3,
"dep": null,
"prewarm": false
},
{
"i": 37,
"kind": "check-verdict",
"node": "o041",
"hist_s": 106.3,
"dep": null,
"prewarm": false
},
{
"i": 38,
"kind": "check-verdict",
"node": "o041",
"hist_s": 103.5,
"dep": null,
"prewarm": false
},
{
"i": 39,
"kind": "machine-verdict",
"node": "o041",
"hist_s": 70.4,
"dep": null,
"prewarm": false
},
{
"i": 40,
"kind": "check-verdict",
"node": "o030",
"hist_s": 210.5,
"dep": null,
"prewarm": false
},
{
"i": 41,
"kind": "check-verdict",
"node": "o047",
"hist_s": 158.8,
"dep": null,
"prewarm": false
},
{
"i": 42,
"kind": "check-verdict",
"node": "o047",
"hist_s": 156.7,
"dep": null,
"prewarm": false
},
{
"i": 43,
"kind": "check-verdict",
"node": "o047",
"hist_s": 123.0,
"dep": null,
"prewarm": false
},
{
"i": 44,
"kind": "check-verdict",
"node": "o034",
"hist_s": 151.5,
"dep": null,
"prewarm": false
},
{
"i": 45,
"kind": "check-verdict",
"node": "o016",
"hist_s": 194.8,
"dep": null,
"prewarm": false
},
{
"i": 46,
"kind": "check-verdict",
"node": "o051",
"hist_s": 76.1,
"dep": null,
"prewarm": false
},
{
"i": 47,
"kind": "machine-verdict",
"node": "o051",
"hist_s": 47.6,
"dep": null,
"prewarm": false
},
{
"i": 48,
"kind": "check-verdict",
"node": "o042",
"hist_s": 128.4,
"dep": null,
"prewarm": false
},
{
"i": 49,
"kind": "check-verdict",
"node": "o042",
"hist_s": 134.9,
"dep": null,
"prewarm": false
},
{
"i": 50,
"kind": "check-verdict",
"node": "o053",
"hist_s": 196.2,
"dep": null,
"prewarm": false
},
{
"i": 51,
"kind": "machine-verdict",
"node": "o053",
"hist_s": 201.5,
"dep": null,
"prewarm": false
},
{
"i": 52,
"kind": "check-verdict",
"node": "o053",
"hist_s": 40.6,
"dep": null,
"prewarm": false
},
{
"i": 53,
"kind": "check-verdict",
"node": "o053",
"hist_s": 135.4,
"dep": null,
"prewarm": false
},
{
"i": 54,
"kind": "check-verdict",
"node": "o052",
"hist_s": 166.3,
"dep": null,
"prewarm": false
},
{
"i": 55,
"kind": "check-verdict",
"node": "o060",
"hist_s": 103.6,
"dep": null,
"prewarm": false
},
{
"i": 56,
"kind": "check-verdict",
"node": "o052",
"hist_s": 160.3,
"dep": null,
"prewarm": false
},
{
"i": 57,
"kind": "check-verdict",
"node": "o061",
"hist_s": 137.9,
"dep": null,
"prewarm": false
},
{
"i": 58,
"kind": "check-verdict",
"node": "o046",
"hist_s": 230.6,
"dep": null,
"prewarm": false
},
{
"i": 59,
"kind": "check-verdict",
"node": "o058",
"hist_s": 144.9,
"dep": null,
"prewarm": false
},
{
"i": 60,
"kind": "check-verdict",
"node": "o046",
"hist_s": 91.3,
"dep": null,
"prewarm": false
},
{
"i": 61,
"kind": "check-verdict",
"node": "o043",
"hist_s": 204.5,
"dep": null,
"prewarm": false
},
{
"i": 62,
"kind": "check-verdict",
"node": "o058",
"hist_s": 178.8,
"dep": null,
"prewarm": false
},
{
"i": 63,
"kind": "check-verdict",
"node": "o058",
"hist_s": 97.6,
"dep": null,
"prewarm": false
},
{
"i": 64,
"kind": "check-verdict",
"node": "o057",
"hist_s": 147.4,
"dep": null,
"prewarm": false
},
{
"i": 65,
"kind": "check-verdict",
"node": "o057",
"hist_s": 101.7,
"dep": null,
"prewarm": false
},
{
"i": 66,
"kind": "regate",
"node": "o024",
"hist_s": 140.8,
"dep": null,
"prewarm": false
},
{
"i": 67,
"kind": "regate",
"node": "o022",
"hist_s": 248.3,
"dep": null,
"prewarm": false
},
{
"i": 68,
"kind": "regate",
"node": "o012",
"hist_s": 260.7,
"dep": 67,
"prewarm": true
},
{
"i": 69,
"kind": "check-verdict",
"node": "o054",
"hist_s": 169.6,
"dep": null,
"prewarm": false
},
{
"i": 70,
"kind": "regate",
"node": "o003",
"hist_s": 316.3,
"dep": 68,
"prewarm": true
},
{
"i": 71,
"kind": "check-verdict",
"node": "o054",
"hist_s": 104.7,
"dep": 66,
"prewarm": false
},
{
"i": 72,
"kind": "regate",
"node": "o004",
"hist_s": 237.4,
"dep": 66,
"prewarm": false
},
{
"i": 73,
"kind": "check-verdict",
"node": "o050",
"hist_s": 177.2,
"dep": 72,
"prewarm": false
},
{
"i": 74,
"kind": "check-verdict",
"node": "o066",
"hist_s": 135.5,
"dep": 72,
"prewarm": false
},
{
"i": 75,
"kind": "check-verdict",
"node": "o065",
"hist_s": 47.6,
"dep": 72,
"prewarm": false
},
{
"i": 76,
"kind": "machine-verdict",
"node": "o050",
"hist_s": 84.1,
"dep": 72,
"prewarm": false
},
{
"i": 77,
"kind": "check-verdict",
"node": "o066",
"hist_s": 128.6,
"dep": 72,
"prewarm": false
},
{
"i": 78,
"kind": "regate",
"node": "o051",
"hist_s": 121.8,
"dep": null,
"prewarm": false
},
{
"i": 79,
"kind": "regate",
"node": "o029",
"hist_s": 194.2,
"dep": 78,
"prewarm": true
},
{
"i": 80,
"kind": "machine-verdict",
"node": "o068",
"hist_s": 101.3,
"dep": null,
"prewarm": false
},
{
"i": 81,
"kind": "check-verdict",
"node": "o068",
"hist_s": 74.6,
"dep": 78,
"prewarm": false
},
{
"i": 82,
"kind": "check-verdict",
"node": "o068",
"hist_s": 54.0,
"dep": 78,
"prewarm": false
},
{
"i": 83,
"kind": "regate",
"node": "o019",
"hist_s": 291.9,
"dep": 79,
"prewarm": true
},
{
"i": 84,
"kind": "regate",
"node": "o007",
"hist_s": 312.0,
"dep": 83,
"prewarm": true
},
{
"i": 85,
"kind": "check-verdict",
"node": "o055",
"hist_s": 193.3,
"dep": 83,
"prewarm": false
},
{
"i": 86,
"kind": "check-verdict",
"node": "o055",
"hist_s": 203.6,
"dep": 83,
"prewarm": false
},
{
"i": 87,
"kind": "check-verdict",
"node": "o067",
"hist_s": 118.5,
"dep": 84,
"prewarm": false
},
{
"i": 88,
"kind": "check-verdict",
"node": "o069",
"hist_s": 179.9,
"dep": null,
"prewarm": false
},
{
"i": 89,
"kind": "machine-verdict",
"node": "o073",
"hist_s": 307.1,
"dep": null,
"prewarm": false
},
{
"i": 90,
"kind": "check-verdict",
"node": "o073",
"hist_s": 145.1,
"dep": null,
"prewarm": false
},
{
"i": 91,
"kind": "check-verdict",
"node": "o076",
"hist_s": 183.2,
"dep": null,
"prewarm": false
},
{
"i": 92,
"kind": "check-verdict",
"node": "o076",
"hist_s": 62.9,
"dep": null,
"prewarm": false
},
{
"i": 93,
"kind": "machine-verdict",
"node": "o088",
"hist_s": 224.7,
"dep": null,
"prewarm": false
},
{
"i": 94,
"kind": "machine-verdict",
"node": "o086",
"hist_s": 187.2,
"dep": 93,
"prewarm": false
},
{
"i": 95,
"kind": "machine-verdict",
"node": "o090",
"hist_s": 203.8,
"dep": 93,
"prewarm": false
},
{
"i": 96,
"kind": "check-verdict",
"node": "o074",
"hist_s": 210.3,
"dep": 93,
"prewarm": false
},
{
"i": 97,
"kind": "check-verdict",
"node": "o082",
"hist_s": 193.0,
"dep": 93,
"prewarm": false
},
{
"i": 98,
"kind": "check-verdict",
"node": "o083",
"hist_s": 123.7,
"dep": 94,
"prewarm": false
},
{
"i": 99,
"kind": "machine-verdict",
"node": "o083",
"hist_s": 75.2,
"dep": 94,
"prewarm": false
},
{
"i": 100,
"kind": "check-verdict",
"node": "o085",
"hist_s": 191.9,
"dep": 94,
"prewarm": false
},
{
"i": 101,
"kind": "check-verdict",
"node": "o085",
"hist_s": 197.8,
"dep": 95,
"prewarm": false
},
{
"i": 102,
"kind": "check-verdict",
"node": "o071",
"hist_s": 338.3,
"dep": 95,
"prewarm": false
},
{
"i": 103,
"kind": "check-verdict",
"node": "o081",
"hist_s": 211.3,
"dep": null,
"prewarm": false
},
{
"i": 104,
"kind": "check-verdict",
"node": "o081",
"hist_s": 199.3,
"dep": null,
"prewarm": false
},
{
"i": 105,
"kind": "check-verdict",
"node": "o087",
"hist_s": 226.7,
"dep": null,
"prewarm": false
},
{
"i": 106,
"kind": "check-verdict",
"node": "o087",
"hist_s": 193.1,
"dep": null,
"prewarm": false
},
{
"i": 107,
"kind": "machine-verdict",
"node": "o087",
"hist_s": 235.5,
"dep": null,
"prewarm": false
},
{
"i": 108,
"kind": "regate",
"node": "o072",
"hist_s": 212.1,
"dep": null,
"prewarm": false
},
{
"i": 109,
"kind": "machine-verdict",
"node": "o095",
"hist_s": 187.5,
"dep": null,
"prewarm": false
},
{
"i": 110,
"kind": "regate",
"node": "o063",
"hist_s": 248.6,
"dep": 108,
"prewarm": true
},
{
"i": 111,
"kind": "check-verdict",
"node": "o070",
"hist_s": 358.5,
"dep": null,
"prewarm": false
},
{
"i": 112,
"kind": "check-verdict",
"node": "o080",
"hist_s": 232.7,
"dep": null,
"prewarm": false
},
{
"i": 113,
"kind": "check-verdict",
"node": "o089",
"hist_s": 197.8,
"dep": null,
"prewarm": false
},
{
"i": 114,
"kind": "check-verdict",
"node": "o089",
"hist_s": 168.0,
"dep": 110,
"prewarm": false
},
{
"i": 115,
"kind": "regate",
"node": "o056",
"hist_s": 215.5,
"dep": null,
"prewarm": false
},
{
"i": 116,
"kind": "check-verdict",
"node": "o098",
"hist_s": 204.2,
"dep": null,
"prewarm": false
},
{
"i": 117,
"kind": "check-verdict",
"node": "o098",
"hist_s": 258.9,
"dep": null,
"prewarm": false
},
{
"i": 118,
"kind": "check-verdict",
"node": "o084",
"hist_s": 252.6,
"dep": null,
"prewarm": false
},
{
"i": 119,
"kind": "check-verdict",
"node": "o097",
"hist_s": 213.2,
"dep": null,
"prewarm": false
},
{
"i": 120,
"kind": "check-verdict",
"node": "o077",
"hist_s": 299.8,
"dep": null,
"prewarm": false
},
{
"i": 121,
"kind": "check-verdict",
"node": "o040",
"hist_s": 374.8,
"dep": null,
"prewarm": false
},
{
"i": 122,
"kind": "check-verdict",
"node": "o091",
"hist_s": 262.1,
"dep": null,
"prewarm": false
},
{
"i": 123,
"kind": "regate",
"node": "o075",
"hist_s": 188.1,
"dep": null,
"prewarm": false
},
{
"i": 124,
"kind": "regate",
"node": "o091",
"hist_s": 162.4,
"dep": null,
"prewarm": false
},
{
"i": 125,
"kind": "regate",
"node": "o040",
"hist_s": 351.0,
"dep": 115,
"prewarm": true
},
{
"i": 126,
"kind": "regate",
"node": "o015",
"hist_s": 439.2,
"dep": 125,
"prewarm": true
},
{
"i": 127,
"kind": "regate",
"node": "o077",
"hist_s": 191.0,
"dep": 125,
"prewarm": false
},
{
"i": 128,
"kind": "regate",
"node": "o048",
"hist_s": 210.5,
"dep": 127,
"prewarm": true
},
{
"i": 129,
"kind": "check-verdict",
"node": "o102",
"hist_s": 196.8,
"dep": 128,
"prewarm": false
},
{
"i": 130,
"kind": "machine-verdict",
"node": "o094",
"hist_s": 221.9,
"dep": 128,
"prewarm": false
},
{
"i": 131,
"kind": "check-verdict",
"node": "o094",
"hist_s": 183.9,
"dep": 128,
"prewarm": false
},
{
"i": 132,
"kind": "check-verdict",
"node": "o108",
"hist_s": 153.2,
"dep": null,
"prewarm": false
},
{
"i": 133,
"kind": "check-verdict",
"node": "o102",
"hist_s": 189.3,
"dep": 128,
"prewarm": false
},
{
"i": 134,
"kind": "check-verdict",
"node": "o122",
"hist_s": 173.6,
"dep": null,
"prewarm": false
},
{
"i": 135,
"kind": "check-verdict",
"node": "o111",
"hist_s": 194.7,
"dep": null,
"prewarm": false
},
{
"i": 136,
"kind": "check-verdict",
"node": "o122",
"hist_s": 166.5,
"dep": null,
"prewarm": false
},
{
"i": 137,
"kind": "machine-verdict",
"node": "o126",
"hist_s": 207.2,
"dep": null,
"prewarm": false
},
{
"i": 138,
"kind": "check-verdict",
"node": "o127",
"hist_s": 192.7,
"dep": null,
"prewarm": false
},
{
"i": 139,
"kind": "check-verdict",
"node": "o127",
"hist_s": 179.7,
"dep": 137,
"prewarm": false
},
{
"i": 140,
"kind": "machine-verdict",
"node": "o133",
"hist_s": 248.2,
"dep": 137,
"prewarm": false
},
{
"i": 141,
"kind": "machine-verdict",
"node": "o110",
"hist_s": 201.2,
"dep": 137,
"prewarm": false
},
{
"i": 142,
"kind": "check-verdict",
"node": "o099",
"hist_s": 232.5,
"dep": null,
"prewarm": false
},
{
"i": 143,
"kind": "check-verdict",
"node": "o099",
"hist_s": 158.7,
"dep": 140,
"prewarm": false
},
{
"i": 144,
"kind": "check-verdict",
"node": "o129",
"hist_s": 272.3,
"dep": null,
"prewarm": false
},
{
"i": 145,
"kind": "check-verdict",
"node": "o128",
"hist_s": 276.0,
"dep": null,
"prewarm": false
},
{
"i": 146,
"kind": "check-verdict",
"node": "o115",
"hist_s": 269.5,
"dep": null,
"prewarm": false
},
{
"i": 147,
"kind": "check-verdict",
"node": "o129",
"hist_s": 218.6,
"dep": null,
"prewarm": false
},
{
"i": 148,
"kind": "check-verdict",
"node": "o125",
"hist_s": 342.1,
"dep": null,
"prewarm": false
},
{
"i": 149,
"kind": "check-verdict",
"node": "o146",
"hist_s": 264.8,
"dep": null,
"prewarm": false
},
{
"i": 150,
"kind": "check-verdict",
"node": "o115",
"hist_s": 240.5,
"dep": null,
"prewarm": false
},
{
"i": 151,
"kind": "check-verdict",
"node": "o145",
"hist_s": 253.4,
"dep": null,
"prewarm": false
},
{
"i": 152,
"kind": "regate",
"node": "o101",
"hist_s": 299.2,
"dep": null,
"prewarm": false
},
{
"i": 153,
"kind": "regate",
"node": "o100",
"hist_s": 254.3,
"dep": null,
"prewarm": false
},
{
"i": 154,
"kind": "check-verdict",
"node": "o149",
"hist_s": 444.2,
"dep": null,
"prewarm": false
},
{
"i": 155,
"kind": "regate",
"node": "o079",
"hist_s": 299.2,
"dep": 152,
"prewarm": true
},
{
"i": 156,
"kind": "check-verdict",
"node": "o155",
"hist_s": 301.5,
"dep": null,
"prewarm": false
},
{
"i": 157,
"kind": "check-verdict",
"node": "o155",
"hist_s": 284.7,
"dep": null,
"prewarm": false
},
{
"i": 158,
"kind": "check-verdict",
"node": "o150",
"hist_s": 277.1,
"dep": null,
"prewarm": false
},
{
"i": 159,
"kind": "check-verdict",
"node": "o153",
"hist_s": 339.7,
"dep": null,
"prewarm": false
},
{
"i": 160,
"kind": "check-verdict",
"node": "o153",
"hist_s": 317.1,
"dep": null,
"prewarm": false
},
{
"i": 161,
"kind": "check-verdict",
"node": "o113",
"hist_s": 466.9,
"dep": null,
"prewarm": false
},
{
"i": 162,
"kind": "machine-verdict",
"node": "o162",
"hist_s": 300.2,
"dep": null,
"prewarm": false
},
{
"i": 163,
"kind": "regate",
"node": "o112",
"hist_s": 414.6,
"dep": null,
"prewarm": false
},
{
"i": 164,
"kind": "check-verdict",
"node": "o159",
"hist_s": 298.3,
"dep": null,
"prewarm": false
},
{
"i": 165,
"kind": "check-verdict",
"node": "o113",
"hist_s": 347.9,
"dep": null,
"prewarm": false
},
{
"i": 166,
"kind": "check-verdict",
"node": "o159",
"hist_s": 190.6,
"dep": null,
"prewarm": false
},
{
"i": 167,
"kind": "check-verdict",
"node": "o157",
"hist_s": 385.1,
"dep": null,
"prewarm": false
},
{
"i": 168,
"kind": "check-verdict",
"node": "o157",
"hist_s": 327.3,
"dep": null,
"prewarm": false
},
{
"i": 169,
"kind": "check-verdict",
"node": "o179",
"hist_s": 316.7,
"dep": null,
"prewarm": false
},
{
"i": 170,
"kind": "check-verdict",
"node": "o175",
"hist_s": 262.8,
"dep": null,
"prewarm": false
},
{
"i": 171,
"kind": "check-verdict",
"node": "o183",
"hist_s": 333.5,
"dep": null,
"prewarm": false
},
{
"i": 172,
"kind": "check-verdict",
"node": "o148",
"hist_s": 367.5,
"dep": null,
"prewarm": false
},
{
"i": 173,
"kind": "check-verdict",
"node": "o174",
"hist_s": 322.9,
"dep": null,
"prewarm": false
},
{
"i": 174,
"kind": "machine-verdict",
"node": "o170",
"hist_s": 374.9,
"dep": null,
"prewarm": false
},
{
"i": 175,
"kind": "check-verdict",
"node": "o171",
"hist_s": 275.2,
"dep": null,
"prewarm": false
},
{
"i": 176,
"kind": "check-verdict",
"node": "o172",
"hist_s": 450.6,
"dep": null,
"prewarm": false
},
{
"i": 177,
"kind": "check-verdict",
"node": "o144",
"hist_s": 349.1,
"dep": null,
"prewarm": false
},
{
"i": 178,
"kind": "check-verdict",
"node": "o189",
"hist_s": 352.4,
"dep": null,
"prewarm": false
},
{
"i": 179,
"kind": "check-verdict",
"node": "o180",
"hist_s": 319.4,
"dep": null,
"prewarm": false
},
{
"i": 180,
"kind": "check-verdict",
"node": "o144",
"hist_s": 362.9,
"dep": null,
"prewarm": false
},
{
"i": 181,
"kind": "check-verdict",
"node": "o185",
"hist_s": 479.6,
"dep": null,
"prewarm": false
},
{
"i": 182,
"kind": "check-verdict",
"node": "o180",
"hist_s": 393.4,
"dep": null,
"prewarm": false
},
{
"i": 183,
"kind": "check-verdict",
"node": "o144",
"hist_s": 328.1,
"dep": null,
"prewarm": false
},
{
"i": 184,
"kind": "check-verdict",
"node": "o164",
"hist_s": 327.1,
"dep": null,
"prewarm": false
},
{
"i": 185,
"kind": "check-verdict",
"node": "o093",
"hist_s": 276.9,
"dep": null,
"prewarm": false
},
{
"i": 186,
"kind": "check-verdict",
"node": "o193",
"hist_s": 238.0,
"dep": null,
"prewarm": false
},
{
"i": 187,
"kind": "machine-verdict",
"node": "o164",
"hist_s": 316.3,
"dep": null,
"prewarm": false
},
{
"i": 188,
"kind": "check-verdict",
"node": "o144",
"hist_s": 339.2,
"dep": null,
"prewarm": false
},
{
"i": 189,
"kind": "check-verdict",
"node": "o180",
"hist_s": 395.1,
"dep": null,
"prewarm": false
},
{
"i": 190,
"kind": "check-verdict",
"node": "o144",
"hist_s": 376.3,
"dep": null,
"prewarm": false
},
{
"i": 191,
"kind": "machine-verdict",
"node": "o187",
"hist_s": 387.1,
"dep": null,
"prewarm": false
},
{
"i": 192,
"kind": "check-verdict",
"node": "o160",
"hist_s": 432.7,
"dep": null,
"prewarm": false
},
{
"i": 193,
"kind": "check-verdict",
"node": "o177",
"hist_s": 423.6,
"dep": null,
"prewarm": false
},
{
"i": 194,
"kind": "check-verdict",
"node": "o177",
"hist_s": 354.4,
"dep": null,
"prewarm": false
},
{
"i": 195,
"kind": "regate",
"node": "o144",
"hist_s": 435.2,
"dep": null,
"prewarm": false
},
{
"i": 196,
"kind": "check-verdict",
"node": "o188",
"hist_s": 488.4,
"dep": 191,
"prewarm": false
},
{
"i": 197,
"kind": "check-verdict",
"node": "o163",
"hist_s": 358.7,
"dep": null,
"prewarm": false
},
{
"i": 198,
"kind": "check-verdict",
"node": "o163",
"hist_s": 286.2,
"dep": null,
"prewarm": false
},
{
"i": 199,
"kind": "check-verdict",
"node": "o165",
"hist_s": 360.4,
"dep": null,
"prewarm": false
},
{
"i": 200,
"kind": "check-verdict",
"node": "o181",
"hist_s": 497.3,
"dep": null,
"prewarm": false
},
{
"i": 201,
"kind": "check-verdict",
"node": "o181",
"hist_s": 451.6,
"dep": null,
"prewarm": false
},
{
"i": 202,
"kind": "regate",
"node": "o103",
"hist_s": 889.1,
"dep": null,
"prewarm": false
},
{
"i": 203,
"kind": "regate",
"node": "o132",
"hist_s": 306.8,
"dep": null,
"prewarm": false
},
{
"i": 204,
"kind": "check-verdict",
"node": "o191",
"hist_s": 379.4,
"dep": 202,
"prewarm": false
},
{
"i": 205,
"kind": "check-verdict",
"node": "o176",
"hist_s": 457.8,
"dep": 203,
"prewarm": false
},
{
"i": 206,
"kind": "check-verdict",
"node": "o176",
"hist_s": 513.3,
"dep": 203,
"prewarm": false
},
{
"i": 207,
"kind": "check-verdict",
"node": "o130",
"hist_s": 408.8,
"dep": 203,
"prewarm": false
},
{
"i": 208,
"kind": "check-verdict",
"node": "o167",
"hist_s": 360.9,
"dep": 203,
"prewarm": false
},
{
"i": 209,
"kind": "check-verdict",
"node": "o167",
"hist_s": 384.7,
"dep": 203,
"prewarm": false
},
{
"i": 210,
"kind": "check-verdict",
"node": "o093",
"hist_s": 265.6,
"dep": null,
"prewarm": false
},
{
"i": 211,
"kind": "check-verdict",
"node": "o166",
"hist_s": 490.7,
"dep": null,
"prewarm": false
},
{
"i": 212,
"kind": "check-verdict",
"node": "o184",
"hist_s": 642.3,
"dep": null,
"prewarm": false
},
{
"i": 213,
"kind": "check-verdict",
"node": "o190",
"hist_s": 393.5,
"dep": null,
"prewarm": false
},
{
"i": 214,
"kind": "check-verdict",
"node": "o190",
"hist_s": 373.9,
"dep": null,
"prewarm": false
},
{
"i": 215,
"kind": "check-verdict",
"node": "o158",
"hist_s": 516.3,
"dep": null,
"prewarm": false
},
{
"i": 216,
"kind": "regate",
"node": "o131",
"hist_s": 425.1,
"dep": null,
"prewarm": false
},
{
"i": 217,
"kind": "regate",
"node": "o147",
"hist_s": 629.2,
"dep": null,
"prewarm": false
},
{
"i": 218,
"kind": "regate",
"node": "o118",
"hist_s": 660.6,
"dep": 217,
"prewarm": true
},
{
"i": 219,
"kind": "check-verdict",
"node": "o182",
"hist_s": 532.0,
"dep": null,
"prewarm": false
},
{
"i": 220,
"kind": "regate",
"node": "o151",
"hist_s": 476.4,
"dep": null,
"prewarm": false
},
{
"i": 221,
"kind": "check-verdict",
"node": "o192",
"hist_s": 501.3,
"dep": null,
"prewarm": false
},
{
"i": 222,
"kind": "check-verdict",
"node": "o195",
"hist_s": 397.9,
"dep": null,
"prewarm": false
},
{
"i": 223,
"kind": "check-verdict",
"node": "o195",
"hist_s": 424.7,
"dep": null,
"prewarm": false
},
{
"i": 224,
"kind": "regate",
"node": "o152",
"hist_s": 501.5,
"dep": null,
"prewarm": false
},
{
"i": 225,
"kind": "regate",
"node": "o119",
"hist_s": 563.2,
"dep": 224,
"prewarm": true
},
{
"i": 226,
"kind": "machine-verdict",
"node": "o208",
"hist_s": 681.9,
"dep": null,
"prewarm": false
},
{
"i": 227,
"kind": "machine-verdict",
"node": "o207",
"hist_s": 521.4,
"dep": null,
"prewarm": false
},
{
"i": 228,
"kind": "check-verdict",
"node": "o207",
"hist_s": 346.8,
"dep": null,
"prewarm": false
},
{
"i": 229,
"kind": "check-verdict",
"node": "o205",
"hist_s": 520.0,
"dep": null,
"prewarm": false
},
{
"i": 230,
"kind": "check-verdict",
"node": "o209",
"hist_s": 286.1,
"dep": 227,
"prewarm": false
},
{
"i": 231,
"kind": "check-verdict",
"node": "o169",
"hist_s": 737.7,
"dep": null,
"prewarm": false
},
{
"i": 232,
"kind": "check-verdict",
"node": "o169",
"hist_s": 561.4,
"dep": 227,
"prewarm": false
},
{
"i": 233,
"kind": "check-verdict",
"node": "o214",
"hist_s": 474.7,
"dep": null,
"prewarm": false
},
{
"i": 234,
"kind": "check-verdict",
"node": "o216",
"hist_s": 407.0,
"dep": null,
"prewarm": false
},
{
"i": 235,
"kind": "check-verdict",
"node": "o219",
"hist_s": 464.8,
"dep": null,
"prewarm": false
},
{
"i": 236,
"kind": "check-verdict",
"node": "o220",
"hist_s": 602.9,
"dep": null,
"prewarm": false
},
{
"i": 237,
"kind": "check-verdict",
"node": "o221",
"hist_s": 589.0,
"dep": null,
"prewarm": false
},
{
"i": 238,
"kind": "check-verdict",
"node": "o237",
"hist_s": 419.4,
"dep": null,
"prewarm": false
},
{
"i": 239,
"kind": "check-verdict",
"node": "o213",
"hist_s": 794.1,
"dep": null,
"prewarm": false
},
{
"i": 240,
"kind": "check-verdict",
"node": "o239",
"hist_s": 561.9,
"dep": null,
"prewarm": false
},
{
"i": 241,
"kind": "check-verdict",
"node": "o213",
"hist_s": 1050.5,
"dep": null,
"prewarm": false
},
{
"i": 242,
"kind": "check-verdict",
"node": "o206",
"hist_s": 878.5,
"dep": null,
"prewarm": false
},
{
"i": 243,
"kind": "check-verdict",
"node": "o236",
"hist_s": 518.9,
"dep": null,
"prewarm": false
},
{
"i": 244,
"kind": "regate",
"node": "o206",
"hist_s": 568.4,
"dep": null,
"prewarm": false
},
{
"i": 245,
"kind": "check-verdict",
"node": "o240",
"hist_s": 763.5,
"dep": null,
"prewarm": false
},
{
"i": 246,
"kind": "check-verdict",
"node": "o238",
"hist_s": 598.3,
"dep": null,
"prewarm": false
},
{
"i": 247,
"kind": "check-verdict",
"node": "o246",
"hist_s": 1045.4,
"dep": null,
"prewarm": false
},
{
"i": 248,
"kind": "regate",
"node": "o156",
"hist_s": 1353.8,
"dep": 244,
"prewarm": true
},
{
"i": 249,
"kind": "check-verdict",
"node": "o233",
"hist_s": 1277.8,
"dep": null,
"prewarm": false
},
{
"i": 250,
"kind": "check-verdict",
"node": "o242",
"hist_s": 609.6,
"dep": 244,
"prewarm": false
},
{
"i": 251,
"kind": "regate",
"node": "o114",
"hist_s": 716.0,
"dep": 248,
"prewarm": true
},
{
"i": 252,
"kind": "check-verdict",
"node": "o196",
"hist_s": 1027.9,
"dep": 244,
"prewarm": false
},
{
"i": 253,
"kind": "regate",
"node": "o212",
"hist_s": 770.0,
"dep": null,
"prewarm": false
},
{
"i": 254,
"kind": "check-verdict",
"node": "o198",
"hist_s": 1152.1,
"dep": null,
"prewarm": false
},
{
"i": 255,
"kind": "check-verdict",
"node": "o228",
"hist_s": 1546.6,
"dep": 244,
"prewarm": false
},
{
"i": 256,
"kind": "regate",
"node": "o104",
"hist_s": 1819.1,
"dep": 251,
"prewarm": true
},
{
"i": 257,
"kind": "check-verdict",
"node": "o211",
"hist_s": 1540.2,
"dep": null,
"prewarm": false
},
{
"i": 258,
"kind": "machine-verdict",
"node": "o196",
"hist_s": 1077.4,
"dep": 253,
"prewarm": false
},
{
"i": 259,
"kind": "check-verdict",
"node": "o226",
"hist_s": 613.6,
"dep": null,
"prewarm": false
},
{
"i": 260,
"kind": "check-verdict",
"node": "o235",
"hist_s": 1544.1,
"dep": null,
"prewarm": false
},
{
"i": 261,
"kind": "check-verdict",
"node": "o235",
"hist_s": 1327.1,
"dep": 251,
"prewarm": false
},
{
"i": 262,
"kind": "check-verdict",
"node": "o234",
"hist_s": 1077.4,
"dep": null,
"prewarm": false
},
{
"i": 263,
"kind": "regate",
"node": "o168",
"hist_s": 670.7,
"dep": 258,
"prewarm": false
},
{
"i": 264,
"kind": "check-verdict",
"node": "o211",
"hist_s": 1465.2,
"dep": null,
"prewarm": false
},
{
"i": 265,
"kind": "regate",
"node": "o211",
"hist_s": 1149.9,
"dep": null,
"prewarm": false
},
{
"i": 266,
"kind": "regate",
"node": "o134",
"hist_s": 1135.7,
"dep": 263,
"prewarm": true
},
{
"i": 267,
"kind": "regate",
"node": "o093",
"hist_s": 1088.5,
"dep": 266,
"prewarm": true
},
{
"i": 268,
"kind": "regate",
"node": "o201",
"hist_s": 1031.2,
"dep": 267,
"prewarm": true
},
{
"i": 269,
"kind": "check-verdict",
"node": "o244",
"hist_s": 1229.4,
"dep": 267,
"prewarm": false
},
{
"i": 270,
"kind": "check-verdict",
"node": "o248",
"hist_s": 612.2,
"dep": 267,
"prewarm": false
},
{
"i": 271,
"kind": "check-verdict",
"node": "o215",
"hist_s": 1270.8,
"dep": 267,
"prewarm": false
},
{
"i": 272,
"kind": "check-verdict",
"node": "o257",
"hist_s": 766.9,
"dep": null,
"prewarm": false
},
{
"i": 273,
"kind": "check-verdict",
"node": "o210",
"hist_s": 1166.5,
"dep": null,
"prewarm": false
},
{
"i": 274,
"kind": "regate",
"node": "o197",
"hist_s": 969.3,
"dep": null,
"prewarm": false
},
{
"i": 275,
"kind": "check-verdict",
"node": "o230",
"hist_s": 1118.0,
"dep": null,
"prewarm": false
},
{
"i": 276,
"kind": "check-verdict",
"node": "o230",
"hist_s": 1041.2,
"dep": null,
"prewarm": false
},
{
"i": 277,
"kind": "check-verdict",
"node": "o252",
"hist_s": 601.7,
"dep": 274,
"prewarm": false
},
{
"i": 278,
"kind": "regate",
"node": "o178",
"hist_s": 849.4,
"dep": 274,
"prewarm": false
},
{
"i": 279,
"kind": "regate",
"node": "o120",
"hist_s": 1395.4,
"dep": 278,
"prewarm": true
},
{
"i": 280,
"kind": "regate",
"node": "o105",
"hist_s": 1318.1,
"dep": 279,
"prewarm": true
},
{
"i": 281,
"kind": "check-verdict",
"node": "o231",
"hist_s": 1616.2,
"dep": null,
"prewarm": false
},
{
"i": 282,
"kind": "regate",
"node": "o194",
"hist_s": 938.1,
"dep": null,
"prewarm": false
},
{
"i": 283,
"kind": "check-verdict",
"node": "o259",
"hist_s": 958.1,
"dep": null,
"prewarm": false
},
{
"i": 284,
"kind": "check-verdict",
"node": "o258",
"hist_s": 799.2,
"dep": null,
"prewarm": false
},
{
"i": 285,
"kind": "check-verdict",
"node": "o241",
"hist_s": 882.0,
"dep": 280,
"prewarm": false
},
{
"i": 286,
"kind": "regate",
"node": "o173",
"hist_s": 991.3,
"dep": 282,
"prewarm": true
},
{
"i": 287,
"kind": "regate",
"node": "o117",
"hist_s": 1056.8,
"dep": 286,
"prewarm": true
},
{
"i": 288,
"kind": "check-verdict",
"node": "o256",
"hist_s": 1166.6,
"dep": null,
"prewarm": false
},
{
"i": 289,
"kind": "check-verdict",
"node": "o231",
"hist_s": 801.9,
"dep": 282,
"prewarm": false
},
{
"i": 290,
"kind": "check-verdict",
"node": "o241",
"hist_s": 804.4,
"dep": 282,
"prewarm": false
},
{
"i": 291,
"kind": "check-verdict",
"node": "o241",
"hist_s": 818.9,
"dep": null,
"prewarm": false
},
{
"i": 292,
"kind": "check-verdict",
"node": "o253",
"hist_s": 845.6,
"dep": null,
"prewarm": false
},
{
"i": 293,
"kind": "check-verdict",
"node": "o263",
"hist_s": 664.2,
"dep": null,
"prewarm": false
},
{
"i": 294,
"kind": "check-verdict",
"node": "o263",
"hist_s": 724.3,
"dep": null,
"prewarm": false
},
{
"i": 295,
"kind": "check-verdict",
"node": "o263",
"hist_s": 620.2,
"dep": null,
"prewarm": false
},
{
"i": 296,
"kind": "check-verdict",
"node": "o203",
"hist_s": 755.0,
"dep": null,
"prewarm": false
},
{
"i": 297,
"kind": "check-verdict",
"node": "o264",
"hist_s": 450.9,
"dep": null,
"prewarm": false
},
{
"i": 298,
"kind": "check-verdict",
"node": "o261",
"hist_s": 621.6,
"dep": null,
"prewarm": false
},
{
"i": 299,
"kind": "check-verdict",
"node": "o260",
"hist_s": 939.7,
"dep": null,
"prewarm": false
},
{
"i": 300,
"kind": "check-verdict",
"node": "o243",
"hist_s": 860.3,
"dep": null,
"prewarm": false
},
{
"i": 301,
"kind": "check-verdict",
"node": "o260",
"hist_s": 934.0,
"dep": null,
"prewarm": false
},
{
"i": 302,
"kind": "check-verdict",
"node": "o260",
"hist_s": 511.9,
"dep": null,
"prewarm": false
},
{
"i": 303,
"kind": "check-verdict",
"node": "o243",
"hist_s": 1050.0,
"dep": null,
"prewarm": false
},
{
"i": 304,
"kind": "check-verdict",
"node": "o243",
"hist_s": 474.9,
"dep": null,
"prewarm": false
},
{
"i": 305,
"kind": "check-verdict",
"node": "o271",
"hist_s": 1136.6,
"dep": null,
"prewarm": false
},
{
"i": 306,
"kind": "check-verdict",
"node": "o262",
"hist_s": 518.4,
"dep": null,
"prewarm": false
},
{
"i": 307,
"kind": "check-verdict",
"node": "o262",
"hist_s": 495.0,
"dep": null,
"prewarm": false
},
{
"i": 308,
"kind": "check-verdict",
"node": "o262",
"hist_s": 457.6,
"dep": null,
"prewarm": false
},
{
"i": 309,
"kind": "regate",
"node": "o223",
"hist_s": 579.9,
"dep": null,
"prewarm": false
},
{
"i": 310,
"kind": "check-verdict",
"node": "o271",
"hist_s": 895.1,
"dep": null,
"prewarm": false
},
{
"i": 311,
"kind": "check-verdict",
"node": "o273",
"hist_s": 400.2,
"dep": null,
"prewarm": false
},
{
"i": 312,
"kind": "regate",
"node": "o249",
"hist_s": 502.5,
"dep": null,
"prewarm": false
},
{
"i": 313,
"kind": "check-verdict",
"node": "o271",
"hist_s": 1355.5,
"dep": null,
"prewarm": false
},
{
"i": 314,
"kind": "check-verdict",
"node": "o276",
"hist_s": 798.2,
"dep": null,
"prewarm": false
},
{
"i": 315,
"kind": "check-verdict",
"node": "o272",
"hist_s": 932.5,
"dep": null,
"prewarm": false
},
{
"i": 316,
"kind": "check-verdict",
"node": "o280",
"hist_s": 785.4,
"dep": null,
"prewarm": false
},
{
"i": 317,
"kind": "check-verdict",
"node": "o280",
"hist_s": 744.3,
"dep": null,
"prewarm": false
},
{
"i": 318,
"kind": "check-verdict",
"node": "o278",
"hist_s": 890.6,
"dep": null,
"prewarm": false
},
{
"i": 319,
"kind": "check-verdict",
"node": "o278",
"hist_s": 350.0,
"dep": null,
"prewarm": false
},
{
"i": 320,
"kind": "check-verdict",
"node": "o277",
"hist_s": 525.6,
"dep": null,
"prewarm": false
},
{
"i": 321,
"kind": "regate",
"node": "o245",
"hist_s": 1591.1,
"dep": null,
"prewarm": false
},
{
"i": 322,
"kind": "regate",
"node": "o217",
"hist_s": 1524.5,
"dep": 321,
"prewarm": true
},
{
"i": 323,
"kind": "regate",
"node": "o229",
"hist_s": 577.0,
"dep": null,
"prewarm": false
},
{
"i": 324,
"kind": "regate",
"node": "o092",
"hist_s": 1127.3,
"dep": 323,
"prewarm": false
},
{
"i": 325,
"kind": "regate",
"node": "o078",
"hist_s": 1741.0,
"dep": 324,
"prewarm": true
},
{
"i": 326,
"kind": "regate",
"node": "o062",
"hist_s": 1395.0,
"dep": 325,
"prewarm": true
},
{
"i": 327,
"kind": "check-verdict",
"node": "o279",
"hist_s": 1018.2,
"dep": 326,
"prewarm": false
},
{
"i": 328,
"kind": "check-verdict",
"node": "o274",
"hist_s": 646.3,
"dep": null,
"prewarm": false
},
{
"i": 329,
"kind": "check-verdict",
"node": "o275",
"hist_s": 926.7,
"dep": 326,
"prewarm": false
},
{
"i": 330,
"kind": "machine-verdict",
"node": "o282",
"hist_s": 645.9,
"dep": null,
"prewarm": false
},
{
"i": 331,
"kind": "check-verdict",
"node": "o281",
"hist_s": 856.0,
"dep": null,
"prewarm": false
},
{
"i": 332,
"kind": "regate",
"node": "o255",
"hist_s": 663.6,
"dep": null,
"prewarm": false
},
{
"i": 333,
"kind": "regate",
"node": "o250",
"hist_s": 745.0,
"dep": null,
"prewarm": false
},
{
"i": 334,
"kind": "regate",
"node": "o232",
"hist_s": 888.5,
"dep": null,
"prewarm": false
},
{
"i": 335,
"kind": "regate",
"node": "o199",
"hist_s": 922.2,
"dep": 334,
"prewarm": true
},
{
"i": 336,
"kind": "regate",
"node": "o254",
"hist_s": 533.8,
"dep": null,
"prewarm": false
},
{
"i": 337,
"kind": "regate",
"node": "o218",
"hist_s": 476.5,
"dep": 333,
"prewarm": false
},
{
"i": 338,
"kind": "regate",
"node": "o222",
"hist_s": 596.1,
"dep": 336,
"prewarm": false
},
{
"i": 339,
"kind": "regate",
"node": "o202",
"hist_s": 1398.9,
"dep": 337,
"prewarm": true
},
{
"i": 340,
"kind": "regate",
"node": "o200",
"hist_s": 671.6,
"dep": 338,
"prewarm": false
},
{
"i": 341,
"kind": "regate",
"node": "o107",
"hist_s": 2726.1,
"dep": 340,
"prewarm": true
},
{
"i": 342,
"kind": "check-verdict",
"node": "o265",
"hist_s": 132.4,
"dep": null,
"prewarm": false
},
{
"i": 343,
"kind": "check-verdict",
"node": "o288",
"hist_s": 923.5,
"dep": null,
"prewarm": false
},
{
"i": 344,
"kind": "check-verdict",
"node": "o295",
"hist_s": 1300.9,
"dep": null,
"prewarm": false
},
{
"i": 345,
"kind": "check-verdict",
"node": "o295",
"hist_s": 1526.1,
"dep": null,
"prewarm": false
},
{
"i": 346,
"kind": "machine-verdict",
"node": "o295",
"hist_s": 1403.0,
"dep": null,
"prewarm": false
},
{
"i": 347,
"kind": "check-verdict",
"node": "o295",
"hist_s": 1132.8,
"dep": null,
"prewarm": false
},
{
"i": 348,
"kind": "check-verdict",
"node": "o290",
"hist_s": 1690.0,
"dep": null,
"prewarm": false
},
{
"i": 349,
"kind": "check-verdict",
"node": "o291",
"hist_s": 1439.4,
"dep": null,
"prewarm": false
},
{
"i": 350,
"kind": "regate",
"node": "o289",
"hist_s": 1077.9,
"dep": null,
"prewarm": false
},
{
"i": 351,
"kind": "machine-verdict",
"node": "o265",
"hist_s": 3245.9,
"dep": 350,
"prewarm": false
},
{
"i": 352,
"kind": "machine-verdict",
"node": "o106",
"hist_s": 3328.1,
"dep": 350,
"prewarm": false
},
{
"i": 353,
"kind": "regate",
"node": "o064",
"hist_s": 2322.3,
"dep": 352,
"prewarm": false
},
{
"i": 354,
"kind": "regate",
"node": "o049",
"hist_s": 2448.3,
"dep": 353,
"prewarm": true
},
{
"i": 355,
"kind": "regate",
"node": "o018",
"hist_s": 2529.2,
"dep": 354,
"prewarm": true
},
{
"i": 356,
"kind": "regate",
"node": "o009",
"hist_s": 2626.3,
"dep": 355,
"prewarm": true
},
{
"i": 357,
"kind": "regate",
"node": "o006",
"hist_s": 2632.7,
"dep": 356,
"prewarm": true
},
{
"i": 358,
"kind": "regate",
"node": "root",
"hist_s": 8571.3,
"dep": 357,
"prewarm": true
}
],
"coalesced_groups": [
[
"o024",
"o004"
],
[
"o022",
"o012",
"o003"
],
[
"o051",
"o029",
"o019",
"o007"
],
[
"o072",
"o063"
],
[
"o056",
"o040",
"o015"
],
[
"o091",
"o077",
"o048"
],
[
"o101",
"o079"
],
[
"o147",
"o118"
],
[
"o152",
"o119"
],
[
"o206",
"o156",
"o114",
"o104"
],
[
"o168",
"o134",
"o093"
],
[
"o211",
"o201"
],
[
"o197",
"o178",
"o120",
"o105"
],
[
"o194",
"o173",
"o117"
],
[
"o245",
"o217"
],
[
"o229",
"o092",
"o078",
"o062"
],
[
"o250",
"o218",
"o202"
],
[
"o232",
"o199"
],
[
"o254",
"o222",
"o200",
"o107"
],
[
"o064",
"o049",
"o018",
"o009",
"o006"
]
],
"chain_jobs": [
[
66,
72
],
[
67,
68,
70
],
[
78,
79,
83,
84
],
[
108,
110
],
[
115,
125,
126
],
[
124,
127,
128
],
[
152,
155
],
[
217,
218
],
[
224,
225
],
[
244,
248,
251,
256
],
[
263,
266,
267
],
[
265,
268
],
[
274,
278,
279,
280
],
[
282,
286,
287
],
[
321,
322
],
[
323,
324,
325,
326
],
[
333,
337,
339
],
[
334,
335
],
[
336,
338,
340,
341
],
[
353,
354,
355,
356,
357
]
]
}