{
 "tm": "1RB0RD_1RC1RF_1LD0LE_1RA0LC_1RE1LC_0RA---",
 "status": "KILLED_NONHALT",
 "stage": "done",
 "updated": "2026-10-10",
 "reason": "check_kill PASS, independently re-verified",
 "parent": "1RB0LD_1RC0RA_1RD1RF_1LA0LE_1RE1LD_0RB---",
 "parent_note": "1RB0LD_1RC0RA_1RD1RF_1LA0LE_1RE1LD_0RB--- (#3; siblings #25, #24)",
 "label": "#3b",
 "relation": "sibling of #3: #3's table renamed, different start state; its run differs (18% wider at 1e9)",
 "pr": "https://github.com/ccz181078/busycoq/pull/15",
 "pr_file": "verify/Skelet1LikeC2_1RB0RD.v",
 "pr_state": "merged",
 "pr_opened": "2026-10-10",
 "posted": "2026-10-10 (bbchallenge Discord #bb6, by Dennis)",
 "pr_comments": 0,
 "pr_merged_at": "2026-10-13T12:25:47Z",
 "pr_merged_by": "ccz181078"
}