{
"obligations": 48,
"live_accepted": 39,
"depth": 4,
"checks": 63,
"proof_checks": 52,
"regates": 10,
"root_checks": 1,
"excluded": 31,
"chains": [
2,
2
],
"checks_after_coalescing": 61,
"historical_check_s": 11517.1,
"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": "o002",
"depth": 2,
"state": "superseded"
},
{
"id": "o006",
"parent": "o002",
"depth": 2,
"state": "superseded"
},
{
"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": "o003",
"depth": 2,
"state": "accepted"
},
{
"id": "o011",
"parent": "o003",
"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": "o011",
"depth": 3,
"state": "accepted"
},
{
"id": "o016",
"parent": "o011",
"depth": 3,
"state": "accepted"
},
{
"id": "o017",
"parent": "o011",
"depth": 3,
"state": "accepted"
},
{
"id": "o018",
"parent": "o011",
"depth": 3,
"state": "accepted"
},
{
"id": "o019",
"parent": "o011",
"depth": 3,
"state": "accepted"
},
{
"id": "o020",
"parent": "o013",
"depth": 3,
"state": "accepted"
},
{
"id": "o021",
"parent": "o013",
"depth": 3,
"state": "accepted"
},
{
"id": "o022",
"parent": "o012",
"depth": 3,
"state": "accepted"
},
{
"id": "o023",
"parent": "o012",
"depth": 3,
"state": "accepted"
},
{
"id": "o024",
"parent": "o012",
"depth": 3,
"state": "accepted"
},
{
"id": "o025",
"parent": "o012",
"depth": 3,
"state": "accepted"
},
{
"id": "o026",
"parent": "o009",
"depth": 3,
"state": "superseded"
},
{
"id": "o027",
"parent": "o009",
"depth": 3,
"state": "superseded"
},
{
"id": "o028",
"parent": "o018",
"depth": 4,
"state": "superseded"
},
{
"id": "o029",
"parent": "o004",
"depth": 2,
"state": "accepted"
},
{
"id": "o030",
"parent": "o004",
"depth": 2,
"state": "accepted"
},
{
"id": "o031",
"parent": "o004",
"depth": 2,
"state": "accepted"
},
{
"id": "o032",
"parent": "o004",
"depth": 2,
"state": "accepted"
},
{
"id": "o033",
"parent": "o004",
"depth": 2,
"state": "accepted"
},
{
"id": "o034",
"parent": "o019",
"depth": 4,
"state": "superseded"
},
{
"id": "o035",
"parent": "o019",
"depth": 4,
"state": "superseded"
},
{
"id": "o036",
"parent": "o023",
"depth": 4,
"state": "accepted"
},
{
"id": "o037",
"parent": "o023",
"depth": 4,
"state": "accepted"
},
{
"id": "o038",
"parent": "o023",
"depth": 4,
"state": "accepted"
},
{
"id": "o039",
"parent": "o030",
"depth": 3,
"state": "accepted"
},
{
"id": "o040",
"parent": "o030",
"depth": 3,
"state": "accepted"
},
{
"id": "o041",
"parent": "o024",
"depth": 4,
"state": "superseded"
},
{
"id": "o042",
"parent": "o024",
"depth": 4,
"state": "superseded"
},
{
"id": "o043",
"parent": "o033",
"depth": 3,
"state": "accepted"
},
{
"id": "o044",
"parent": "o033",
"depth": 3,
"state": "accepted"
},
{
"id": "o045",
"parent": "o033",
"depth": 3,
"state": "accepted"
},
{
"id": "o046",
"parent": "o033",
"depth": 3,
"state": "accepted"
},
{
"id": "o047",
"parent": "o033",
"depth": 3,
"state": "accepted"
},
{
"id": "root",
"parent": null,
"depth": 0,
"state": "accepted"
}
],
"jobs": [
{
"i": 1,
"kind": "check-verdict",
"node": "o002",
"hist_s": 158.0,
"dep": null,
"prewarm": false
},
{
"i": 2,
"kind": "check-verdict",
"node": "o006",
"hist_s": 102.3,
"dep": null,
"prewarm": false
},
{
"i": 3,
"kind": "check-verdict",
"node": "o005",
"hist_s": 71.5,
"dep": null,
"prewarm": false
},
{
"i": 4,
"kind": "check-verdict",
"node": "o008",
"hist_s": 152.1,
"dep": null,
"prewarm": false
},
{
"i": 5,
"kind": "check-verdict",
"node": "o008",
"hist_s": 150.7,
"dep": null,
"prewarm": false
},
{
"i": 6,
"kind": "check-verdict",
"node": "o008",
"hist_s": 68.9,
"dep": null,
"prewarm": false
},
{
"i": 7,
"kind": "check-verdict",
"node": "o007",
"hist_s": 164.7,
"dep": null,
"prewarm": false
},
{
"i": 8,
"kind": "check-verdict",
"node": "o010",
"hist_s": 194.8,
"dep": null,
"prewarm": false
},
{
"i": 9,
"kind": "check-verdict",
"node": "o010",
"hist_s": 207.2,
"dep": null,
"prewarm": false
},
{
"i": 10,
"kind": "check-verdict",
"node": "o010",
"hist_s": 137.8,
"dep": null,
"prewarm": false
},
{
"i": 11,
"kind": "check-verdict",
"node": "o016",
"hist_s": 47.1,
"dep": null,
"prewarm": false
},
{
"i": 12,
"kind": "machine-verdict",
"node": "o016",
"hist_s": 46.5,
"dep": null,
"prewarm": false
},
{
"i": 13,
"kind": "machine-verdict",
"node": "o021",
"hist_s": 148.0,
"dep": null,
"prewarm": false
},
{
"i": 14,
"kind": "check-verdict",
"node": "o014",
"hist_s": 199.8,
"dep": null,
"prewarm": false
},
{
"i": 15,
"kind": "check-verdict",
"node": "o014",
"hist_s": 173.2,
"dep": null,
"prewarm": false
},
{
"i": 16,
"kind": "machine-verdict",
"node": "o015",
"hist_s": 201.6,
"dep": null,
"prewarm": false
},
{
"i": 17,
"kind": "check-verdict",
"node": "o009",
"hist_s": 250.8,
"dep": 13,
"prewarm": false
},
{
"i": 18,
"kind": "regate",
"node": "o016",
"hist_s": 144.3,
"dep": 16,
"prewarm": false
},
{
"i": 19,
"kind": "check-verdict",
"node": "o009",
"hist_s": 253.6,
"dep": null,
"prewarm": false
},
{
"i": 20,
"kind": "check-verdict",
"node": "o020",
"hist_s": 149.7,
"dep": 16,
"prewarm": false
},
{
"i": 21,
"kind": "check-verdict",
"node": "o020",
"hist_s": 170.6,
"dep": 18,
"prewarm": false
},
{
"i": 22,
"kind": "check-verdict",
"node": "o025",
"hist_s": 175.5,
"dep": null,
"prewarm": false
},
{
"i": 23,
"kind": "regate",
"node": "o001",
"hist_s": 274.1,
"dep": null,
"prewarm": false
},
{
"i": 24,
"kind": "check-verdict",
"node": "o013",
"hist_s": 203.2,
"dep": null,
"prewarm": false
},
{
"i": 25,
"kind": "regate",
"node": "o013",
"hist_s": 208.0,
"dep": null,
"prewarm": false
},
{
"i": 26,
"kind": "check-verdict",
"node": "o017",
"hist_s": 194.6,
"dep": 25,
"prewarm": false
},
{
"i": 27,
"kind": "machine-verdict",
"node": "o032",
"hist_s": 121.3,
"dep": 25,
"prewarm": false
},
{
"i": 28,
"kind": "check-verdict",
"node": "o032",
"hist_s": 57.8,
"dep": 25,
"prewarm": false
},
{
"i": 29,
"kind": "check-verdict",
"node": "o032",
"hist_s": 115.1,
"dep": 25,
"prewarm": false
},
{
"i": 30,
"kind": "check-verdict",
"node": "o018",
"hist_s": 210.8,
"dep": 25,
"prewarm": false
},
{
"i": 31,
"kind": "check-verdict",
"node": "o029",
"hist_s": 193.8,
"dep": 25,
"prewarm": false
},
{
"i": 32,
"kind": "check-verdict",
"node": "o018",
"hist_s": 116.0,
"dep": 27,
"prewarm": false
},
{
"i": 33,
"kind": "check-verdict",
"node": "o022",
"hist_s": 218.6,
"dep": 27,
"prewarm": false
},
{
"i": 34,
"kind": "check-verdict",
"node": "o022",
"hist_s": 69.8,
"dep": null,
"prewarm": false
},
{
"i": 35,
"kind": "check-verdict",
"node": "o019",
"hist_s": 203.8,
"dep": 27,
"prewarm": false
},
{
"i": 36,
"kind": "check-verdict",
"node": "o019",
"hist_s": 203.7,
"dep": null,
"prewarm": false
},
{
"i": 37,
"kind": "machine-verdict",
"node": "o019",
"hist_s": 94.2,
"dep": null,
"prewarm": false
},
{
"i": 38,
"kind": "check-verdict",
"node": "o036",
"hist_s": 135.0,
"dep": null,
"prewarm": false
},
{
"i": 39,
"kind": "regate",
"node": "o011",
"hist_s": 197.9,
"dep": null,
"prewarm": false
},
{
"i": 40,
"kind": "machine-verdict",
"node": "o037",
"hist_s": 192.9,
"dep": null,
"prewarm": false
},
{
"i": 41,
"kind": "machine-verdict",
"node": "o039",
"hist_s": 214.8,
"dep": null,
"prewarm": false
},
{
"i": 42,
"kind": "check-verdict",
"node": "o039",
"hist_s": 120.3,
"dep": null,
"prewarm": false
},
{
"i": 43,
"kind": "check-verdict",
"node": "o037",
"hist_s": 171.5,
"dep": null,
"prewarm": false
},
{
"i": 44,
"kind": "check-verdict",
"node": "o031",
"hist_s": 202.5,
"dep": 39,
"prewarm": false
},
{
"i": 45,
"kind": "check-verdict",
"node": "o038",
"hist_s": 183.5,
"dep": 41,
"prewarm": false
},
{
"i": 46,
"kind": "machine-verdict",
"node": "o038",
"hist_s": 92.8,
"dep": null,
"prewarm": false
},
{
"i": 47,
"kind": "check-verdict",
"node": "o044",
"hist_s": 169.8,
"dep": null,
"prewarm": false
},
{
"i": 48,
"kind": "machine-verdict",
"node": "o043",
"hist_s": 176.0,
"dep": null,
"prewarm": false
},
{
"i": 49,
"kind": "regate",
"node": "o023",
"hist_s": 211.5,
"dep": null,
"prewarm": false
},
{
"i": 50,
"kind": "check-verdict",
"node": "o024",
"hist_s": 195.6,
"dep": null,
"prewarm": false
},
{
"i": 51,
"kind": "check-verdict",
"node": "o045",
"hist_s": 131.8,
"dep": null,
"prewarm": false
},
{
"i": 52,
"kind": "check-verdict",
"node": "o045",
"hist_s": 141.0,
"dep": null,
"prewarm": false
},
{
"i": 53,
"kind": "check-verdict",
"node": "o047",
"hist_s": 138.6,
"dep": 48,
"prewarm": false
},
{
"i": 54,
"kind": "check-verdict",
"node": "o040",
"hist_s": 232.9,
"dep": null,
"prewarm": false
},
{
"i": 55,
"kind": "check-verdict",
"node": "o040",
"hist_s": 140.4,
"dep": null,
"prewarm": false
},
{
"i": 56,
"kind": "regate",
"node": "o012",
"hist_s": 272.6,
"dep": null,
"prewarm": false
},
{
"i": 57,
"kind": "regate",
"node": "o003",
"hist_s": 257.2,
"dep": 56,
"prewarm": true
},
{
"i": 58,
"kind": "regate",
"node": "o030",
"hist_s": 283.8,
"dep": null,
"prewarm": false
},
{
"i": 59,
"kind": "check-verdict",
"node": "o046",
"hist_s": 175.2,
"dep": 56,
"prewarm": false
},
{
"i": 60,
"kind": "check-verdict",
"node": "o046",
"hist_s": 151.7,
"dep": 57,
"prewarm": false
},
{
"i": 61,
"kind": "regate",
"node": "o033",
"hist_s": 189.9,
"dep": null,
"prewarm": false
},
{
"i": 62,
"kind": "regate",
"node": "o004",
"hist_s": 263.1,
"dep": 61,
"prewarm": true
},
{
"i": 63,
"kind": "regate",
"node": "root",
"hist_s": 1021.2,
"dep": 62,
"prewarm": true
}
],
"coalesced_groups": [
[
"o012",
"o003"
],
[
"o033",
"o004"
]
],
"chain_jobs": [
[
56,
57
],
[
61,
62
]
]
}