{
"obligations": 47,
"live_accepted": 36,
"depth": 6,
"checks": 44,
"proof_checks": 33,
"regates": 10,
"root_checks": 1,
"excluded": 22,
"chains": [
2,
4
],
"checks_after_coalescing": 40,
"historical_check_s": 6161.6,
"production": {
"max_gate_builds": 8,
"check_timeout_s": 10800.0,
"solve_pool": 24,
"hours": 4.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": "o002",
"depth": 2,
"state": "accepted"
},
{
"id": "o005",
"parent": "o002",
"depth": 2,
"state": "accepted"
},
{
"id": "o006",
"parent": "o003",
"depth": 2,
"state": "accepted"
},
{
"id": "o007",
"parent": "o003",
"depth": 2,
"state": "accepted"
},
{
"id": "o008",
"parent": "o003",
"depth": 2,
"state": "accepted"
},
{
"id": "o009",
"parent": "o003",
"depth": 2,
"state": "accepted"
},
{
"id": "o010",
"parent": "o005",
"depth": 3,
"state": "superseded"
},
{
"id": "o011",
"parent": "o005",
"depth": 3,
"state": "accepted"
},
{
"id": "o012",
"parent": "o008",
"depth": 3,
"state": "accepted"
},
{
"id": "o013",
"parent": "o008",
"depth": 3,
"state": "accepted"
},
{
"id": "o014",
"parent": "o008",
"depth": 3,
"state": "accepted"
},
{
"id": "o015",
"parent": "o006",
"depth": 3,
"state": "accepted"
},
{
"id": "o016",
"parent": "o006",
"depth": 3,
"state": "accepted"
},
{
"id": "o017",
"parent": "o006",
"depth": 3,
"state": "accepted"
},
{
"id": "o018",
"parent": "o009",
"depth": 3,
"state": "accepted"
},
{
"id": "o019",
"parent": "o009",
"depth": 3,
"state": "accepted"
},
{
"id": "o020",
"parent": "o009",
"depth": 3,
"state": "accepted"
},
{
"id": "o021",
"parent": "o009",
"depth": 3,
"state": "accepted"
},
{
"id": "o022",
"parent": "o013",
"depth": 4,
"state": "superseded"
},
{
"id": "o023",
"parent": "o013",
"depth": 4,
"state": "accepted"
},
{
"id": "o024",
"parent": "o016",
"depth": 4,
"state": "accepted"
},
{
"id": "o025",
"parent": "o016",
"depth": 4,
"state": "accepted"
},
{
"id": "o026",
"parent": "o016",
"depth": 4,
"state": "accepted"
},
{
"id": "o027",
"parent": "o016",
"depth": 4,
"state": "accepted"
},
{
"id": "o028",
"parent": "o016",
"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": "o017",
"depth": 4,
"state": "superseded"
},
{
"id": "o033",
"parent": "o017",
"depth": 4,
"state": "superseded"
},
{
"id": "o034",
"parent": "o017",
"depth": 4,
"state": "accepted"
},
{
"id": "o035",
"parent": "o015",
"depth": 4,
"state": "superseded"
},
{
"id": "o036",
"parent": "o015",
"depth": 4,
"state": "superseded"
},
{
"id": "o037",
"parent": "o020",
"depth": 4,
"state": "superseded"
},
{
"id": "o038",
"parent": "o020",
"depth": 4,
"state": "superseded"
},
{
"id": "o039",
"parent": "o029",
"depth": 5,
"state": "accepted"
},
{
"id": "o040",
"parent": "o029",
"depth": 5,
"state": "accepted"
},
{
"id": "o041",
"parent": "o031",
"depth": 5,
"state": "accepted"
},
{
"id": "o042",
"parent": "o031",
"depth": 5,
"state": "accepted"
},
{
"id": "o043",
"parent": "o040",
"depth": 6,
"state": "superseded"
},
{
"id": "o044",
"parent": "o040",
"depth": 6,
"state": "superseded"
},
{
"id": "o045",
"parent": "o041",
"depth": 6,
"state": "accepted"
},
{
"id": "o046",
"parent": "o041",
"depth": 6,
"state": "superseded"
},
{
"id": "root",
"parent": null,
"depth": 0,
"state": "accepted"
}
],
"jobs": [
{
"i": 1,
"kind": "check-verdict",
"node": "o001",
"hist_s": 177.2,
"dep": null,
"prewarm": false
},
{
"i": 2,
"kind": "check-verdict",
"node": "o001",
"hist_s": 188.0,
"dep": null,
"prewarm": false
},
{
"i": 3,
"kind": "check-verdict",
"node": "o004",
"hist_s": 84.5,
"dep": null,
"prewarm": false
},
{
"i": 4,
"kind": "check-verdict",
"node": "o007",
"hist_s": 161.1,
"dep": null,
"prewarm": false
},
{
"i": 5,
"kind": "check-verdict",
"node": "o011",
"hist_s": 87.5,
"dep": null,
"prewarm": false
},
{
"i": 6,
"kind": "check-verdict",
"node": "o010",
"hist_s": 131.3,
"dep": null,
"prewarm": false
},
{
"i": 7,
"kind": "check-verdict",
"node": "o005",
"hist_s": 139.1,
"dep": null,
"prewarm": false
},
{
"i": 8,
"kind": "regate",
"node": "o002",
"hist_s": 176.7,
"dep": null,
"prewarm": false
},
{
"i": 9,
"kind": "check-verdict",
"node": "o014",
"hist_s": 156.0,
"dep": 8,
"prewarm": false
},
{
"i": 10,
"kind": "check-verdict",
"node": "o023",
"hist_s": 95.8,
"dep": 8,
"prewarm": false
},
{
"i": 11,
"kind": "check-verdict",
"node": "o012",
"hist_s": 167.4,
"dep": 8,
"prewarm": false
},
{
"i": 12,
"kind": "check-verdict",
"node": "o021",
"hist_s": 139.1,
"dep": null,
"prewarm": false
},
{
"i": 13,
"kind": "check-verdict",
"node": "o024",
"hist_s": 148.7,
"dep": null,
"prewarm": false
},
{
"i": 14,
"kind": "check-verdict",
"node": "o013",
"hist_s": 127.0,
"dep": null,
"prewarm": false
},
{
"i": 15,
"kind": "check-verdict",
"node": "o034",
"hist_s": 97.3,
"dep": null,
"prewarm": false
},
{
"i": 16,
"kind": "check-verdict",
"node": "o018",
"hist_s": 96.2,
"dep": null,
"prewarm": false
},
{
"i": 17,
"kind": "check-verdict",
"node": "o027",
"hist_s": 134.7,
"dep": null,
"prewarm": false
},
{
"i": 18,
"kind": "check-verdict",
"node": "o030",
"hist_s": 178.0,
"dep": null,
"prewarm": false
},
{
"i": 19,
"kind": "check-verdict",
"node": "o025",
"hist_s": 150.2,
"dep": null,
"prewarm": false
},
{
"i": 20,
"kind": "check-verdict",
"node": "o015",
"hist_s": 133.2,
"dep": null,
"prewarm": false
},
{
"i": 21,
"kind": "check-verdict",
"node": "o018",
"hist_s": 104.0,
"dep": null,
"prewarm": false
},
{
"i": 22,
"kind": "check-verdict",
"node": "o017",
"hist_s": 172.6,
"dep": null,
"prewarm": false
},
{
"i": 23,
"kind": "regate",
"node": "o008",
"hist_s": 197.7,
"dep": null,
"prewarm": false
},
{
"i": 24,
"kind": "check-verdict",
"node": "o026",
"hist_s": 102.2,
"dep": null,
"prewarm": false
},
{
"i": 25,
"kind": "check-verdict",
"node": "o025",
"hist_s": 155.8,
"dep": null,
"prewarm": false
},
{
"i": 26,
"kind": "check-verdict",
"node": "o025",
"hist_s": 111.6,
"dep": null,
"prewarm": false
},
{
"i": 27,
"kind": "check-verdict",
"node": "o028",
"hist_s": 104.8,
"dep": null,
"prewarm": false
},
{
"i": 28,
"kind": "check-verdict",
"node": "o028",
"hist_s": 102.7,
"dep": null,
"prewarm": false
},
{
"i": 29,
"kind": "check-verdict",
"node": "o042",
"hist_s": 93.6,
"dep": null,
"prewarm": false
},
{
"i": 30,
"kind": "regate",
"node": "o016",
"hist_s": 174.8,
"dep": null,
"prewarm": false
},
{
"i": 31,
"kind": "regate",
"node": "o006",
"hist_s": 171.2,
"dep": 30,
"prewarm": false
},
{
"i": 32,
"kind": "regate",
"node": "o039",
"hist_s": 95.6,
"dep": 30,
"prewarm": false
},
{
"i": 33,
"kind": "check-verdict",
"node": "o045",
"hist_s": 94.5,
"dep": 32,
"prewarm": false
},
{
"i": 34,
"kind": "machine-verdict",
"node": "o020",
"hist_s": 130.0,
"dep": null,
"prewarm": false
},
{
"i": 35,
"kind": "machine-verdict",
"node": "o041",
"hist_s": 94.0,
"dep": 34,
"prewarm": false
},
{
"i": 36,
"kind": "regate",
"node": "o031",
"hist_s": 107.0,
"dep": 35,
"prewarm": false
},
{
"i": 37,
"kind": "machine-verdict",
"node": "o040",
"hist_s": 128.7,
"dep": 35,
"prewarm": false
},
{
"i": 38,
"kind": "check-verdict",
"node": "o040",
"hist_s": 36.5,
"dep": 36,
"prewarm": false
},
{
"i": 39,
"kind": "check-verdict",
"node": "o029",
"hist_s": 145.3,
"dep": 36,
"prewarm": false
},
{
"i": 40,
"kind": "regate",
"node": "o029",
"hist_s": 131.5,
"dep": 37,
"prewarm": false
},
{
"i": 41,
"kind": "regate",
"node": "o019",
"hist_s": 181.0,
"dep": 40,
"prewarm": false
},
{
"i": 42,
"kind": "regate",
"node": "o009",
"hist_s": 205.8,
"dep": 41,
"prewarm": false
},
{
"i": 43,
"kind": "regate",
"node": "o003",
"hist_s": 224.8,
"dep": 42,
"prewarm": false
},
{
"i": 44,
"kind": "regate",
"node": "root",
"hist_s": 327.4,
"dep": 43,
"prewarm": false
}
],
"coalesced_groups": [
[
"o016",
"o006"
],
[
"o029",
"o019",
"o009",
"o003"
]
],
"chain_jobs": [
[
30,
31
],
[
40,
41,
42,
43
]
]
}