tools/rebuild_pages.sh rebuilds the site within 5 minutes of a change; by hand: python3 -B tools/site.py.Machines
742 current and historical machines · 109 local folders · 94 unanswered Checkpoint A questions| Machine | Status | Class | Last update |
|---|---|---|---|
| Kills claimed 21our PR is merged into busycoq (status.json pr_state merged, tools/pr_sync.py); the list drops the machine PR #24 merged 2026-10-16 07:07 UTC by ccz181078 · upstream files | |||
1RB0RF_#2local proof 1 5/6 checks PR #14 merged Approacha known sweep recipe plus one extra +1, shown never to get stuck off the list · our merged PR | Kill claimed | Bell eats counter | 47h ago |
1RB0LA_#4local proof 2 6/6 checks PR #24 merged Approachboth cycle formulas keep the block counts in a safe region 740 line 645 off the list · our merged PR | Kill claimed | Sync bouncer counter | 3h ago |
1RB0LE_#11local proof 3 6/6 checks PR #16 merged Approacha counter whose digits burn fuel but never run dry the wrong way 740 line 438 off the list · our merged PR | Kill claimed | Skelet 1-like Class 2 | Oct 14 |
1RB0LD_#3local proof 4 6/6 checks PR #15 merged Approacha countdown in which only safe blocks run out 740 line 50 off the list · our merged PR | Kill claimed | Skelet 1-like Class 2 | Oct 14 |
1RB1RF_#25local proof 7 6/6 checks PR #15 merged family of #3 Approach#3's proof, from a different start 740 line 273 off the list · our merged PR | Kill claimed | Skelet 1-like Class 2 | 2h ago |
1RB0RE_#24local proof 8 6/6 checks PR #15 merged family of #3 Approach#3's proof in a mirror, from a different start 740 line 586 off the list · our merged PR | Kill claimed | Skelet 1-like Class 2 | 3h ago |
1RB0RE_#33local proof 9 6/6 checks PR #16 merged family of #11 Approach#11's proof in a mirror, from a different start 740 line 31 off the list · our merged PR | Kill claimed | Skelet 1-like Class 2 | Oct 14 |
1RB0LD_#33blocal proof 10 6/6 checks PR #16 merged family of #11 Approach#11's proof in a mirror, from a different start 740 line 366 off the list · our merged PR | Kill claimed | Skelet 1-like Class 2 | 3h ago |
1RB---_#4blocal proof 11 6/6 checks PR #24 merged family of #4 Approach#4's proof, from a different start 740 line 14 off the list · our merged PR | Kill claimed | Sync bouncer counter | 3h ago |
1RB0RD_#3blocal proof 12 6/6 checks PR #15 merged family of #3 Approach#3's proof, from a different start 740 line 568 off the list · our merged PR | Kill claimed | Skelet 1-like Class 2 | 3h ago |
1RB0LF_#8local proof 13 6/6 checks PR #26 merged Approacha timing window that every route returns to 740 line 410 off the list · our merged PR | Kill claimed | Sync bouncer counter | 3h ago |
1RB0RB_#11blocal proof 14 6/6 checks PR #16 merged family of #11 Approach#11's proof, from a different start 740 line 511 off the list · our merged PR | Kill claimed | Skelet 1-like Class 2 | 3h ago |
1RB0RF_#30local proof 15 6/6 checks PR #25 merged Approacheach epoch's cleanup costs only about the square root of its budget 740 line 710 off the list · our merged PR | Kill claimed | Bell eats counter | 3h ago |
1RB0RD_C2-552local proof 19 6/6 checks PR #18 merged Approachreplaying a binary counter until a digit runs out of fuel 740 line 552 off the list · our merged PR | Kill claimed | Skelet 1-like Class 2 | Oct 14 |
1RB0RF_W4-3local proof 20 6/6 checks PR #17 merged Approacha base-3 odometer made of tape flaws 740 line 341 off the list · our merged PR | Kill claimed | Skelet 1-like Class 2 | 46h ago |
1RB0RA_W4-3blocal proof 21 6/6 checks PR #17 merged family of W4-3 ApproachW4-3's proof, from a different start 740 line 512 off the list · our merged PR | Kill claimed | Skelet 1-like Class 2 | 3h ago |
1RB---_W4-3clocal proof 22 6/6 checks PR #17 merged family of W4-3 ApproachW4-3's proof in a mirror, from a different start 740 line 588 off the list · our merged PR | Kill claimed | Skelet 1-like Class 2 | 3h ago |
1RB1LD_W5-8local proof 27 6/6 checks PR #27 merged Approachexact rules for five block lengths, and a double cycle that repeats forever 740 line 214 off the list · our merged PR | Kill claimed | Bouncer + Chaotic Edge | 3h ago |
1RB1LE_W5-8blocal proof 28 6/6 checks PR #27 merged family of W5-8 ApproachW5-8's proof in a mirror, from a different start 740 line 418 off the list · our merged PR | Kill claimed | Bouncer + Chaotic Edge | 2h ago |
1RB0RD_W5-8clocal proof 29 6/6 checks PR #27 merged family of W5-8 ApproachW5-8's proof, from a different start 740 line 636 off the list · our merged PR | Kill claimed | Bouncer + Chaotic Edge | 3h ago |
1RB0RC_W5-4local proof 31 6/6 checks PR #28 merged Approacha size bound plus a remainder that never hits zero 740 line 525 off the list · our merged PR | Kill claimed | Bell eats counter | 3h ago |
| PR submitted 1check_kill PASS here; our PR is open upstream and posted on Discord, waiting for the maintainers to check it PR #29 open since 2026-10-16T19:10:32Z · 1 machine (W6-1) · posted on Discord 2026-10-16 · 0 comments or reviews yet. Waiting for the maintainers to check and merge; PR state as of the last | |||
| PR submitted | Shift-overflow bouncer counter | 1m ago | |
| Locally proved · unsubmitted 0verified local blank-start proof, in no PR yet; packaging readiness is shown separately · none right now 0 ready for PR; 0 need packaging. Submit verified packages early. A local proof enters the claimed total when our PR is accepted. | |||
| Open (in pipeline) 15mid-pipeline with no question for you (OPEN, CHECKPOINT_B, high-confidence Checkpoint A, or no status.json yet); the ● working now badge marks the ones an agent touched in the last 30 min● 0 working at build | |||
| In progress | Skelet 1-like Class 2 | Oct 12 | |
| In progress | Skelet 1-like Class 1 | 32h ago | |
| In progress | Skelet 1-like Class 1 | 32h ago | |
1RB0LD_W7-4Exact base-4 counter: digits are 10-regions in a 100 sea; a mod-3 field law keeps merges… observing same table as 740 line 464, 740 line 722 3 open Q Discord draft 740 line 82 · 663 line 76 | In progress | Skelet 1-like Class 1 | 40h ago |
| In progress | Skelet 1-like Class 1 | 32h ago | |
1RB1RA_Astra research 109informal proof 740 line 109 · 663 line 98 | In progress | Unknown | 32h ago |
1RB0LA_Astra research 169informal proof 740 line 169 · 663 line 154 | In progress | Unknown | 32h ago |
1RB1LB_W7-2After about 4.1e18 steps line 175 repeats one exact cycle: big run X -> 2^36 X +… informal proof same table as 740 line 489 3 open Q 740 line 175 · 663 line 160 | In progress | Skelet 1-like Class 1 | 39h ago |
| In progress | Skelet 1-like Class 1 | 32h ago | |
1RB1RE_Astra research 267informal proof 740 line 267 · 663 line 243 | In progress | Unknown | 32h ago |
| In progress | Skelet 1-like Class 1 | 32h ago | |
1RB0LD_740 line 593Exact reserve model and local proofs completed; the infinite bound for the 81-bit seed… invariant study complete 740 line 593 · 663 line 532 | In progress | Bouncer + Chaotic Edge | 46h ago |
| In progress | Skelet 1-like Class 1 | 32h ago | |
1RB0LD_693proof call on file: Park 693 + twins (recommended) or fund stage 4 (compiled explorer, K = 64 to ~1e8 shapes)? See decision.json. 740 line 693 · 663 line 620 | In progress | Bell eats counter | 47h ago |
1RB1RF_Astra research 725informal proof 740 line 725 · 663 line 648 | In progress | Translated Counter | 32h ago |
| Waiting on you 0proof work waits for your call or your Checkpoint A answers · none right now● 0 working at build | |||
| Parked (deferred) 38stuck or skipped, with no question for you● 0 working at build | |||
1RB0LD_#9Bouncer on 11111010 with 4-state digit blocks (base-4 carry); 1 reset at 3e7 left static… induct parked same table as 740 line 332 3 open Q 740 line 633 · 663 line 569 | Parked | Shift-overflow structural counter | Oct 11 |
| Parked | Bouncer + Chaotic Edge | Oct 10 | |
| Parked | Chaotic Fractal Others | Oct 12 | |
| Parked | Unknown | Oct 10 | |
| Parked | Bell eats counter | Oct 10 | |
1RB1RF_#19Bouncer whose turn-back point is a base-4 counter; digits = separators between growing… deepen2 same table as 740 line 162 3 open Q off the list · removed by equivalence → 740 line 556 | Parked | Shift-overflow structural counter | Oct 10 |
1RB1LE_#20Nested bouncer call stack: Y(a,b,c)->Y(a+2,b-1,c+3) per round; epochs grow x2.5-3; mod-3… deepen2 same table as 740 line 657 3 open Q 740 line 11 · 663 line 10 | Parked | Chaotic Fractal Type 1 | Oct 10 |
| Parked | Bouncer + Chaotic Edge | Oct 10 | |
| Parked | Bouncer + Chaotic Edge | Oct 10 | |
1RB0LF_#37Left binary counter +1 per visit; right 1-block loses 2 cells/visit, pad gains 4; reset… twin port refuted 3 open Q 740 line 500 · 663 line 453 | Parked | Sync bouncer counter | 44h ago |
1RB1LA_R5Binary counter over segments of 6-cell blocks; it eats a finite reservoir, and what… halting-hunt exact model same table as 740 line 43 3 open Q Discord draft 740 line 269 · 663 line 245 | Parked | Shift-overflow structural counter | Oct 13 |
1RB0RA_R8TM31 cousin: binary counter left, ternary throttle right; the overflow pause and a… f3 first same table as 740 line 83, 740 line 653 3 open Q 740 line 534 · 663 line 482 | Parked | Unknown | Oct 12 |
1RB1RF_R9Period-5 sea swept by a zig-zag head; defect walls toggle like binary counters; the… observing 3 open Q 740 line 625 · 663 line 562 | Parked | Unknown | Oct 10 |
1RB0RA_R10halting-hunt exact model 740 line 244 · 663 line 221 | Parked | Counter Class 3 | Oct 13 |
1RB1LD_740 line 6Exact sweep rules and tested edge returns are known; the growing edge word still lacks a… deferred same table as 740 line 348 (start E, mirrored) 740 line 6 · 663 line 5 | Skipped | Bouncer + Chaotic Edge | 45h ago |
1RB1RC_W6-8Binary counter in the gaps; the fuel block refills ~x1.5 per epoch (a -> ceil(3a/2)+1)… deepening the analysis 3 open Q 740 line 9 · 663 line 8 | Parked | Unknown | 44h ago |
| Skipped | Skelet 1-like Class 1 | 45h ago | |
1RB1RC_W7-1Binary counter on budget fields (10)^f 1; parities are the digits; dead fields re-pair… informal proof same table as 740 line 179, 740 line 265, 740 line 597 3 open Q 740 line 75 · 663 line 70 | Parked | Skelet 1-like Class 1 | 2h ago |
1RB0RD_W6-2100-block segments with one hub marker: each round moves 3^(k+1) blocks across the hub… wave6-stage2 3 open Q 740 line 96 · 663 line 86 | Parked | Unknown | 45h ago |
1RB---_W4-6Head bounces between movable walls (extra 0s) in (01) runs; local rules exact, counter… chain law same table as 740 line 612 3 open Q 740 line 99 · 663 line 89 | Parked | Unknown | Oct 12 |
| Parked | Skelet 1-like Class 1 | 45h ago | |
1RB0RA_W4-41010 tape with 00/11 defects; a carry transducer and an eat rule cover 99.3% of bounces… rules stage same table as 740 line 188, 740 line 450, 740 line 564 3 open Q 740 line 156 · 663 line 142 | Parked | Unknown | Oct 11 |
1RB0LD_740 line 282Two exact return families are established; a closed language protecting the irregular… deferred 740 line 282 · 663 line 253 | Skipped | Bouncer + Chaotic Edge | 45h ago |
| Skipped | Skelet 1-like Class 1 | 45h ago | |
1RB0LF_B-2observing call on file: Observe stopped early; waiting for your call (reports/bec-sweep/ranking.md, Critic). 740 line 310 · 663 line 280 | Skipped | Bell eats counter | Oct 13 |
1RB0RA_W4-7Same table as a decider-proved machine; from start A it runs two bells into a wide-digit… invariant same table as 740 line 707 740 line 317 · 663 line 287 | Parked | Bell eats counter | Oct 12 |
1RB0RD_740 line 348Exact sweep rules and tested edge returns are known; the growing edge word still lacks a… deferred same table as 740 line 6 (start D, mirrored) 740 line 348 · 663 line 315 | Skipped | Bouncer + Chaotic Edge | 45h ago |
| Skipped | Monotone list | 43h ago | |
1RB0LE_W6-4TM13's table (ChaoticBell1Halt.v) from TM13's D: CB1 bell; certified-executor port finds… observing same table as 740 line 299, 740 line 602 3 open Q 740 line 412 · 663 line 373 | Parked | Chaotic Bell Class 1 | 44h ago |
1RB1LD_740 line 465A simple right-edge extension is separated by irregular returns; no complete word model… deferred 740 line 465 · 663 line 422 | Skipped | Bouncer + Chaotic Edge | Oct 14 |
1RB0LF_W4-5Blocks left of the head, pairs right of it; exact macro rules; halting needs an even zero… inv search same table as 740 line 599 3 open Q 740 line 469 · 663 line 426 | Parked | Counter Class 2 | Oct 11 |
1RB0LF_740 line 528observing call on file: Observe stopped early; waiting for your call (reports/bec-sweep/ranking.md, Critic). 740 line 528 · 663 line 476 | Skipped | Bell eats counter | Oct 13 |
1RB0LF_B-3observing call on file: Observe stopped early; waiting for your call (reports/bec-sweep/ranking.md, Critic). 740 line 548 · 663 line 495 | Skipped | Bell eats counter | Oct 13 |
1RB1RA_W4-8Bouncer over a 01001111 sea: quiet epochs (rule Q) validated; epoch changes are irregular… seams same table as 740 line 61, 740 line 704 3 open Q 740 line 644 · 663 line 578 | Parked | Unknown | Oct 12 |
| Parked | Bell eats counter | Oct 13 | |
1RB1RA_P-697twin port refuted 740 line 697 · 663 line 624 | Skipped | Cubic Mess | 43h ago |
1RB0RC_740 line 715A 20-cell periodic region coexists with a much larger irregular region whose compressed… deferred 740 line 715 · 663 line 639 | Skipped | Bouncer + Chaotic Edge | Oct 14 |
1RB1LF_P-728twin port refuted 740 line 728 · 663 line 651 | Skipped | Bell-like | 44h ago |
| Cryptid candidates (parked) 10the rules involve pseudo-random arithmetic (CLAUDE.md's cryptid protocol: formalize the rules, flag, stop); parked, with no question for you● 0 working at build | |||
| Cryptid candidate | Bouncer + Chaotic Edge | Oct 12 | |
| Cryptid candidate | Structural counter + chaotic edge | Oct 10 | |
| Cryptid candidate | Bouncer + Chaotic Edge | Oct 12 | |
1RB0LC_#32informal proof R4's call covers this machine same table as R4 (start B, mirrored) 740 line 372 · 663 line 336 | Cryptid candidate | Skelet 1-like Class 2 | Oct 12 |
1RB0LA_W7-6Exact base-4 counter while counting; halts only at overflow/collision events hinging on… wave7-stage1 2 open Q 740 line 33 · 663 line 29 | Cryptid candidate | Translated Counter | 2h ago |
1RB1RF_W6-7Bouncer over a 0111 field: defects drift left, walls stall growth in irregular phases; no… stage1 same table as 740 line 248, 740 line 582 3 open Q 740 line 198 · 663 line 181 | Cryptid candidate | Unknown | 44h ago |
1RB0LD_W6-6Glider bounces between two 8-cell fields; field grows x9/4 per cycle; a chaotic junk edge… observing same table as 740 line 416, 740 line 455 3 open Q 740 line 221 · 663 line 201 | Cryptid candidate | Unknown | 44h ago |
1RB1LC_W6-3A 0011 defect walks through 110 fields off a right counter; epochs reset via a 2-D map… observing 3 open Q 740 line 291 · 663 line 262 | Cryptid candidate | Unknown | 44h ago |
| Cryptid candidate | Chaotic Bell Class 2 | Oct 13 | |
1RB0RF_W5-2TM10's two binary counters; it can halt only if a counter value x ever has every 1-bit at… observing 3 open Q 740 line 409 · 663 line 371 | Cryptid candidate | Shift-overflow counter | 44h ago |
| External PRs awaiting review 0external blank-start proof submitted; not merged and not independently checked here · none right now● 0 working at build | |||
| Claimed elsewhere · no local proof 46mapped upstream blank-start proof; no local proof is counted | |||
| Claimed elsewhere | Structural counter + counter | Oct 10 | |
1RB0RF_#10BECv10.v.TM34 · nonhalt no local proof counted 740 line 611 off the list · solved upstream externally | Claimed elsewhere | Bell eats counter | Oct 10 |
1RB1RF_#15BECv10.v.TM33 · nonhalt no local proof counted 740 line 486 off the list · solved upstream externally | Claimed elsewhere | Bell eats counter | Oct 10 |
1RB0LC_#21BLECv4.v.TM1 · nonhalt no local proof counted 740 line 246 off the list · solved upstream externally | Claimed elsewhere | Structural counter + counter | – |
1RB1RC_#22BLECv4.v.TM3 · nonhalt no local proof counted 740 line 519 off the list · solved upstream externally | Claimed elsewhere | Structural counter + counter | – |
1RB0RA_#23Dahoas · PR #23 · merged submitted result: nonhalting · not merged PR_BEC.v.TM3 · nonhalt no local proof counted 740 line 627 off the list · solved upstream externally | Claimed elsewhere | Bell eats counter | Oct 12 |
1RB0RA_#28BECv10.v.TM32 · nonhalt no local proof counted 740 line 596 off the list · solved upstream externally | Claimed elsewhere | Bell eats counter | Oct 12 |
1RB0RA_#29BECv10.v.TM29 · nonhalt no local proof counted 740 line 191 off the list · solved upstream externally | Claimed elsewhere | Bell eats counter | Oct 11 |
1RB0RA_R2BECv10.v.TM27 · nonhalt no local proof counted 740 line 659 off the list · solved upstream externally | Claimed elsewhere | Bell eats counter | Oct 10 |
1RB0RF_R3BECv10.v.TM28 · nonhalt no local proof counted 740 line 202 off the list · solved upstream externally | Claimed elsewhere | Bell eats counter | Oct 11 |
1RB---_740 line 87BECv10.v.TM39 · nonhalt no local proof counted 740 line 87 off the list · solved upstream externally | Claimed elsewhere | Bell eats counter | – |
| Claimed elsewhere | Bell eats counter | Oct 13 | |
| Claimed elsewhere | Structural counter + counter | – | |
1RB0RD_740 line 93Dahoas · PR #20 · merged submitted result: nonhalting · not merged PR_SOC.v.TM2 · nonhalt no local proof counted 740 line 93 off the list · solved upstream externally | Claimed elsewhere | Shift-overflow counter | – |
1RB0RB_740 line 104Dahoas · PR #23 · merged submitted result: nonhalting · not merged PR_Sk1Class1.v.TM3 · nonhalt no local proof counted 740 line 104 off the list · solved upstream externally | Claimed elsewhere | Skelet 1-like Class 1 | – |
1RB0RE_740 line 115Dahoas · PR #22 · merged submitted result: nonhalting · not merged PR_BellLike.v.TM4 · nonhalt no local proof counted 740 line 115 off the list · solved upstream externally | Claimed elsewhere | Bell-like | – |
1RB1RE_P-145/276Dahoas · PR #19 · merged submitted result: halts · not merged PR_ChaoticBell4.v.TM5 · halt no local proof counted 740 line 145 off the list · solved upstream externally | Claimed elsewhere | Chaotic Bell Class 4 | 43h ago |
1RB---_740 line 159Dahoas · PR #21 · merged submitted result: nonhalting · not merged PR_ChaoticAckBell.v.TM3 · nonhalt no local proof counted 740 line 159 off the list · solved upstream externally | Claimed elsewhere | Chaotic Ack-like Bell | – |
1RB0RE_740 line 197BECv10.v.TM23 · nonhalt no local proof counted 740 line 197 off the list · solved upstream externally | Claimed elsewhere | Bell eats counter | – |
1RB1RE_740 line 218Dahoas · PR #21 · merged submitted result: nonhalting · not merged PR_ChaoticAckBell.v.TM2 · nonhalt no local proof counted 740 line 218 off the list · solved upstream externally | Claimed elsewhere | Chaotic Ack-like Bell | – |
1RB1RA_740 line 230Dahoas · PR #21 · merged submitted result: nonhalting · not merged PR_ChaoticAckBell.v.TM1 · nonhalt no local proof counted 740 line 230 off the list · solved upstream externally | Claimed elsewhere | Chaotic Ack-like Bell | – |
1RB0RF_B-4BECv10.v.TM10 · nonhalt no local proof counted 740 line 239 off the list · solved upstream externally | Claimed elsewhere | Bell eats counter | Oct 13 |
1RB1LA_P-145/276Dahoas · PR #19 · merged submitted result: halts · not merged PR_ChaoticBell4.v.TM4 · halt no local proof counted 740 line 276 off the list · solved upstream externally | Claimed elsewhere | Chaotic Bell Class 4 | 43h ago |
1RB0LC_740 line 280BECv10.v.TM1 · nonhalt no local proof counted 740 line 280 off the list · solved upstream externally | Claimed elsewhere | Bell eats counter | – |
1RB1RC_740 line 281Dahoas · PR #22 · merged submitted result: nonhalting · not merged PR_BellLike.v.TM3 · nonhalt no local proof counted 740 line 281 off the list · solved upstream externally | Claimed elsewhere | Bell-like | – |
1RB0LB_W6-5Dahoas · PR #19 · merged submitted result: halts · not merged PR_ChaoticBell4.v.TM2 · halt no local proof counted 740 line 333 off the list · solved upstream externally | Claimed elsewhere | Chaotic Bell Class 4 | 44h ago |
1RB0LA_740 line 342BECv10.v.TM38 · nonhalt no local proof counted 740 line 342 off the list · solved upstream externally | Claimed elsewhere | Bell eats counter | – |
1RB0RC_740 line 368Dahoas · PR #21 · merged submitted result: nonhalting · not merged PR_BellLike.v.TM2 · nonhalt no local proof counted 740 line 368 off the list · solved upstream externally | Claimed elsewhere | Bell-like | – |
1RB0RF_740 line 384BECv10.v.TM26 · nonhalt no local proof counted 740 line 384 off the list · solved upstream externally | Claimed elsewhere | Bell eats counter | – |
1RB0RE_740 line 429Dahoas · PR #23 · merged submitted result: nonhalting · not merged PR_SOC.v.TM6 · nonhalt no local proof counted 740 line 429 off the list · solved upstream externally | Claimed elsewhere | Shift-overflow counter | – |
1RB0RF_740 line 460Dahoas · PR #20 · merged submitted result: nonhalting · not merged PR_SOC.v.TM1 · nonhalt no local proof counted 740 line 460 off the list · solved upstream externally | Claimed elsewhere | Shift-overflow counter | – |
1RB0RE_740 line 470BECv10.v.TM30 · nonhalt no local proof counted 740 line 470 off the list · solved upstream externally | Claimed elsewhere | Bell eats counter | – |
1RB0LB_740 line 479Dahoas · PR #19 · merged submitted result: halts · not merged PR_ChaoticBell4.v.TM1 · halt no local proof counted 740 line 479 off the list · solved upstream externally | Claimed elsewhere | Chaotic Bell Class 4 | – |
1RB---_740 line 498Dahoas · PR #20 · merged submitted result: nonhalting · not merged PR_SOC.v.TM5 · nonhalt no local proof counted 740 line 498 off the list · solved upstream externally | Claimed elsewhere | Shift-overflow counter | – |
1RB---_740 line 514Dahoas · PR #21 · merged submitted result: nonhalting · not merged PR_Sk1Class1.v.TM2 · nonhalt no local proof counted 740 line 514 off the list · solved upstream externally | Claimed elsewhere | Skelet 1-like Class 1 | – |
1RB1RC_740 line 541Dahoas · PR #20 · merged submitted result: nonhalting · not merged PR_SOC.v.TM4 · nonhalt no local proof counted 740 line 541 off the list · solved upstream externally | Claimed elsewhere | Shift-overflow counter | – |
1RB---_740 line 550Dahoas · PR #23 · merged submitted result: nonhalting · not merged PR_Sk1Class1.v.TM4 · nonhalt no local proof counted 740 line 550 off the list · solved upstream externally | Claimed elsewhere | Skelet 1-like Class 1 | – |
1RB---_740 line 575BECv10.v.TM31 · nonhalt no local proof counted 740 line 575 off the list · solved upstream externally | Claimed elsewhere | Bell eats counter | – |
1RB0RA_740 line 583BECv10.v.TM24 · nonhalt no local proof counted 740 line 583 off the list · solved upstream externally | Claimed elsewhere | Bell eats counter | – |
1RB---_740 line 651BECv10.v.TM25 · nonhalt no local proof counted 740 line 651 off the list · solved upstream externally | Claimed elsewhere | Bell eats counter | – |
1RB0LF_740 line 656Dahoas · PR #19 · merged submitted result: halts · not merged PR_SOBC.v.TM1 · halt no local proof counted 740 line 656 off the list · solved upstream externally | Claimed elsewhere | Shift-overflow bouncer counter | – |
1RB1RE_740 line 678BECv10.v.TM22 · nonhalt no local proof counted 740 line 678 off the list · solved upstream externally | Claimed elsewhere | Bell eats counter | – |
1RB0LB_740 line 683Dahoas · PR #19 · merged submitted result: halts · not merged PR_ChaoticBell4.v.TM3 · halt no local proof counted 740 line 683 off the list · solved upstream externally | Claimed elsewhere | Chaotic Bell Class 4 | – |
1RB1RD_740 line 689BECv10.v.TM40 · nonhalt no local proof counted 740 line 689 off the list · solved upstream externally | Claimed elsewhere | Bell eats counter | – |
1RB1LF_740 line 702Dahoas · PR #20 · merged submitted result: nonhalting · not merged PR_SOC.v.TM3 · nonhalt no local proof counted 740 line 702 off the list · solved upstream externally | Claimed elsewhere | Shift-overflow counter | – |
1RB0RE_740 line 717Dahoas · PR #21 · merged submitted result: nonhalting · not merged PR_BellLike.v.TM1 · nonhalt no local proof counted 740 line 717 off the list · solved upstream externally | Claimed elsewhere | Bell-like | – |
| Competing open PRs · local proofs 0another author submitted this exact machine; our local proof remains unsubmitted; acceptance and credit are pending · none right now | |||
| Claimed by someone else 11our local proofs were unsubmitted when we identified these upstream results; submit verified proofs early | |||
1RB1LC_#12local proof 5 CounterClass4.v.TM2 · nonhalt our proof was not submitted 740 line 2 off the list · claimed by someone else | Claimed by someone else | Counter Class 4 | Oct 14 |
1RB1LA_#12blocal proof 6 CounterClass4.v.TM1 · nonhalt our proof was not submitted 740 line 640 off the list · claimed by someone else | Claimed by someone else | Counter Class 4 | 3h ago |
1RB0RA_#7Dahoas · PR #22 · merged submitted result: nonhalting · not merged local proof 16 PR_BEC.v.TM1 · nonhalt our proof was not submitted 740 line 381 off the list · claimed by someone else | Claimed by someone else | Bell eats counter | 3h ago |
1RB1RF_#31Dahoas · PR #22 · merged submitted result: nonhalting · not merged local proof 17 PR_BEC.v.TM2 · nonhalt our proof was not submitted 740 line 590 off the list · claimed by someone else | Claimed by someone else | Bell eats counter | 2h ago |
1RB1LF_W4-2local proof 18 BECv10.v.TM12 · nonhalt our proof was not submitted 740 line 224 off the list · claimed by someone else | Claimed by someone else | Bell eats counter | Oct 14 |
1RB1LD_W5-1local proof 23 BECv10.v.TM11 · nonhalt our proof was not submitted 740 line 349 off the list · claimed by someone else | Claimed by someone else | Bell eats counter | Oct 14 |
1RB1RA_W5-3local proof 24 BECv10.v.TM15 · nonhalt our proof was not submitted 740 line 134 off the list · claimed by someone else | Claimed by someone else | Bell eats counter | Oct 14 |
1RB0RD_W5-7Dahoas · PR #19 · merged submitted result: halts · not merged local proof 25 PR_SOBC.v.TM2 · halt our proof was not submitted 740 line 700 off the list · claimed by someone else | Claimed by someone else | Shift-overflow bouncer counter | Oct 14 |
1RB---_#14local proof 26 BLECv5.v.TM4 · nonhalt our proof was not submitted 740 line 301 off the list · claimed by someone else | Claimed by someone else | Structural counter + counter | Oct 14 |
1RB0RE_W5-5local proof 30 BECv10.v.TM5 · halt our proof was not submitted 740 line 29 off the list · claimed by someone else | Claimed by someone else | Bell eats counter | 42h ago |
1RB0RD_W7-5Dahoas · PR #21 · merged submitted result: nonhalting · not merged local proof 32 PR_Sk1Class1.v.TM1 · nonhalt our proof was not submitted 740 line 274 off the list · claimed by someone else | Claimed by someone else | Skelet 1-like Class 1 | 38h ago |
| Untouched 600on the list, no machines/<tm>/ folder yet | |||
| Not started | Structural counter + chaotic edge | – | |
| Not started | Bouncer + Chaotic Edge | – | |
1RB0RA_#38explorer 740 line 126 · 663 line 114 | Not started | Structural counter + chaotic edge | – |
| Not started | Chaotic Fractal Others | – | |
| Not started | Unknown | – | |
1RB0LF_R1explorer 740 line 45 · 663 line 41 | Not started | Chaotic Fractal Type 1 | – |
| Not started | Bouncer + Chaotic Edge | – | |
| Not started | Chaotic Fractal Others | – | |
1RB1RA_R11explorer 740 line 701 · 663 line 627 | Not started | Counter Class 3 | – |
| Not started | Shift-overflow structural counter | – | |
| Not started | Unknown | – | |
| Not started | Unknown | – | |
| Not started | Skelet 1-like Class 1 | – | |
| Not started | Shift-overflow structural counter | – | |
| Not started | Monotone list | – | |
| Not started | Skelet 1-like Class 1 | – | |
| Not started | Unknown | – | |
| Not started | Unknown | – | |
| Not started | Skelet 1-like Class 1 | – | |
| Not started | Chaotic Bell Class 1 | – | |
| Not started | Shift-overflow structural counter | – | |
| Not started | Unknown | – | |
| Not started | Chaotic Bell Class 2 | – | |
| Not started | Bell eats counter | – | |
| Not started | Unknown | – | |
| Not started | Skelet 1-like Class 1 | – | |
| Not started | Unknown | – | |
| Not started | Skelet 1-like Class 1 | – | |
| Not started | Skelet 1-like Class 1 | – | |
| Not started | Unknown | – | |
| Not started | Unknown | – | |
| Not started | Skelet 1-like Class 1 | – | |
| Not started | Counter Class 2 | – | |
| Not started | Chaotic Bell Class 1 | – | |
| Not started | Unknown | – | |
| Not started | Unknown | – | |
| Not started | Chaotic Fractal Type 1 | – | |
| Not started | Unknown | – | |
| Not started | Bell eats counter | – | |
| Not started | Skelet 1-like Class 1 | – | |
| Not started | Skelet 1-like Class 1 | – | |
1RB1RF_740 line 1explorer 740 line 1 · 663 line 1 | Not started | Chaotic Bell Class 2 | – |
1RB1LB_740 line 3explorer 740 line 3 · 663 line 2 | Not started | Chaotic 1dCA-like in bouncer | – |
1RB1LD_740 line 4explorer 740 line 4 · 663 line 3 | Not started | Unknown | – |
1RB0RE_740 line 5explorer 740 line 5 · 663 line 4 | Not started | Spaghetti | – |
1RB1RF_740 line 7explorer 740 line 7 · 663 line 6 | Not started | Shift-overflow counter | – |
1RB0LA_740 line 8explorer 740 line 8 · 663 line 7 | Not started | Unknown | – |
1RB0LE_740 line 12explorer 740 line 12 · 663 line 11 | Not started | Shift-overflow counter | – |
1RB0LD_740 line 13explorer 740 line 13 · 663 line 12 | Not started | Shift-overflow counter | – |
1RB---_740 line 15explorer 740 line 15 · 663 line 13 | Not started | Chaotic 1dCA-like in bouncer | – |
1RB0LE_740 line 16explorer 740 line 16 · 663 line 14 | Not started | Chaotic Bell Class 3 | – |
1RB1LF_740 line 17explorer 740 line 17 · 663 line 15 | Not started | Bell-like | – |
1RB0LB_740 line 18explorer 740 line 18 · 663 line 16 | Not started | Skelet 1-like Class 1 | – |
1RB0LA_740 line 19explorer 740 line 19 · 663 line 17 | Not started | Shift-overflow counter | – |
1RB0RC_740 line 20explorer 740 line 20 · 663 line 18 | Not started | Shift-overflow counter | – |
1RB0RC_740 line 21explorer 740 line 21 · 663 line 19 | Not started | Shift-overflow structural counter | – |
1RB0RE_740 line 22explorer 740 line 22 · 663 line 20 | Not started | Shift-overflow counter | – |
1RB0LE_740 line 23explorer 740 line 23 · 663 line 21 | Not started | Chaotic Bell Class 3 | – |
1RB1RE_740 line 24explorer 740 line 24 · 663 line 22 | Not started | Bell-like | – |
1RB1LE_740 line 25explorer 740 line 25 · 663 line 23 | Not started | Shift-overflow counter | – |
1RB1LD_740 line 26explorer 740 line 26 · 663 line 24 | Not started | Structural counter + chaotic edge | – |
1RB1LE_740 line 27explorer 740 line 27 · 663 line 25 | Not started | Shift-overflow bouncer counter | – |
1RB0LD_740 line 28explorer 740 line 28 · 663 line 26 | Not started | Skelet 1-like Class 1 | – |
1RB1LD_740 line 30explorer 740 line 30 · 663 line 27 | Not started | Shift-overflow bouncer counter | – |
1RB1RA_740 line 32explorer 740 line 32 · 663 line 28 | Not started | Chaotic 1dCA-like in bell | – |
1RB0LD_740 line 34explorer 740 line 34 · 663 line 30 | Not started | Shift-overflow bouncer counter | – |
1RB1RE_740 line 35explorer 740 line 35 · 663 line 31 | Not started | Quadratic Mess | – |
1RB1LC_740 line 36explorer 740 line 36 · 663 line 32 | Not started | Cubic Mess | – |
1RB0LA_740 line 37explorer 740 line 37 · 663 line 33 | Not started | Unknown | – |
1RB0RD_740 line 38explorer 740 line 38 · 663 line 34 | Not started | Spaghetti | – |
1RB0RE_740 line 39explorer 740 line 39 · 663 line 35 | Not started | Chaotic Bell Class 3 | – |
1RB1RE_740 line 40explorer 740 line 40 · 663 line 36 | Not started | Unknown | – |
1RB0RA_740 line 41explorer 740 line 41 · 663 line 37 | Not started | Shift-overflow counter | – |
1RB1RA_740 line 42explorer 740 line 42 · 663 line 38 | Not started | Shift-overflow counter | – |
1RB0LC_740 line 44explorer 740 line 44 · 663 line 40 | Not started | Skelet 1-like Class 1 | – |
1RB0LE_740 line 46explorer 740 line 46 · 663 line 42 | Not started | Shift-overflow counter | – |
1RB0LE_740 line 47explorer 740 line 47 · 663 line 43 | Not started | Cubic Mess | – |
1RB1RA_740 line 48explorer 740 line 48 · 663 line 44 | Not started | Bell-like | – |
1RB0RF_740 line 49explorer 740 line 49 · 663 line 45 | Not started | Quadratic Mess | – |
1RB1RD_740 line 51explorer 740 line 51 · 663 line 46 | Not started | Unknown | – |
1RB0LA_740 line 52explorer 740 line 52 · 663 line 47 | Not started | Chaotic Fractal Type 1 | – |
1RB0LE_740 line 53explorer 740 line 53 · 663 line 48 | Not started | Unknown | – |
1RB---_740 line 54explorer 740 line 54 · 663 line 49 | Not started | Unknown | – |
1RB0RD_740 line 55explorer 740 line 55 · 663 line 50 | Not started | Bell-like | – |
1RB1RA_740 line 56explorer 740 line 56 · 663 line 51 | Not started | Fractal in Bouncer | – |
1RB1LD_740 line 57explorer 740 line 57 · 663 line 52 | Not started | Shift-overflow counter | – |
1RB0RC_740 line 58explorer 740 line 58 · 663 line 53 | Not started | Shift-overflow counter | – |
1RB0LF_740 line 59explorer 740 line 59 · 663 line 54 | Not started | Unknown | – |
1RB1RF_740 line 60explorer 740 line 60 · 663 line 55 | Not started | Quadratic Mess | – |
1RB0LD_740 line 63explorer 740 line 63 · 663 line 58 | Not started | Cubic Mess | – |
1RB0LB_740 line 65explorer 740 line 65 · 663 line 60 | Not started | Unknown | – |
1RB0LC_740 line 66explorer 740 line 66 · 663 line 61 | Not started | Quadratic Mess | – |
1RB0RC_740 line 67explorer 740 line 67 · 663 line 62 | Not started | Skelet 1-like Class 1 | – |
1RB1LE_740 line 68explorer 740 line 68 · 663 line 63 | Not started | Shift-overflow counter | – |
1RB0LC_740 line 69explorer 740 line 69 · 663 line 64 | Not started | Chaotic Bell Class 3 | – |
1RB1LC_740 line 70explorer 740 line 70 · 663 line 65 | Not started | Shift-overflow counter | – |
1RB0LF_740 line 71explorer 740 line 71 · 663 line 66 | Not started | Quadratic Mess | – |
1RB---_740 line 72explorer 740 line 72 · 663 line 67 | Not started | Cubic Mess | – |
1RB0LC_740 line 73explorer 740 line 73 · 663 line 68 | Not started | Quadratic Mess | – |
1RB0RD_740 line 74explorer 740 line 74 · 663 line 69 | Not started | Unknown | – |
1RB0RC_740 line 76explorer 740 line 76 · 663 line 71 | Not started | Quadratic Mess | – |
1RB---_740 line 77explorer 740 line 77 · 663 line 72 | Not started | Bell-like | – |
1RB0RB_740 line 78explorer 740 line 78 · 663 line 73 | Not started | Bell-like | – |
1RB0LD_740 line 80explorer 740 line 80 · 663 line 74 | Not started | Shift-overflow counter | – |
1RB1RD_740 line 84explorer 740 line 84 · 663 line 78 | Not started | Bell-like | – |
1RB0RA_740 line 85explorer 740 line 85 · 663 line 79 | Not started | Shift-overflow counter | – |
1RB0RC_740 line 86explorer 740 line 86 · 663 line 80 | Not started | Skelet 1-like Class 1 | – |
1RB---_740 line 91explorer 740 line 91 · 663 line 82 | Not started | Shift-overflow bouncer counter | – |
1RB0RC_740 line 92explorer 740 line 92 · 663 line 83 | Not started | Skelet 1-like Class 1 | – |
1RB0LC_740 line 94explorer 740 line 94 · 663 line 84 | Not started | Bell-like | – |
1RB1RE_740 line 95explorer 740 line 95 · 663 line 85 | Not started | Shift-overflow counter | – |
1RB---_740 line 97explorer 740 line 97 · 663 line 87 | Not started | Bell-like | – |
1RB0LD_740 line 98explorer 740 line 98 · 663 line 88 | Not started | Unknown | – |
1RB---_740 line 100explorer 740 line 100 · 663 line 90 | Not started | Skelet 1-like Class 1 | – |
1RB0LA_740 line 101explorer 740 line 101 · 663 line 91 | Not started | Shift-overflow counter | – |
1RB0RC_740 line 102explorer 740 line 102 · 663 line 92 | Not started | Bouncer + Chaotic Edge | – |
1RB1LF_740 line 103explorer 740 line 103 · 663 line 93 | Not started | Cubic Mess | – |
1RB---_740 line 105explorer 740 line 105 · 663 line 94 | Not started | Shift-overflow counter | – |
1RB1RF_740 line 106explorer 740 line 106 · 663 line 95 | Not started | Shift-overflow counter | – |
1RB1LE_740 line 107explorer 740 line 107 · 663 line 96 | Not started | Bell-like | – |
1RB0LE_740 line 108explorer 740 line 108 · 663 line 97 | Not started | Shift-overflow bouncer counter | – |
1RB1LE_740 line 110explorer 740 line 110 · 663 line 99 | Not started | Shift-overflow structural counter | – |
1RB0LB_740 line 111explorer 740 line 111 · 663 line 100 | Not started | Shift-overflow counter | – |
1RB1RA_740 line 112explorer 740 line 112 · 663 line 101 | Not started | Bell-like | – |
1RB---_740 line 113explorer 740 line 113 · 663 line 102 | Not started | Chaotic 1dCA-like in bouncer | – |
1RB0RB_740 line 116explorer 740 line 116 · 663 line 104 | Not started | Cubic Mess | – |
1RB1LE_740 line 117explorer 740 line 117 · 663 line 105 | Not started | Quadratic Mess | – |
1RB0LC_740 line 118explorer 740 line 118 · 663 line 106 | Not started | Bouncer + Chaotic Edge | – |
1RB0RD_740 line 119explorer 740 line 119 · 663 line 107 | Not started | Shift-overflow counter | – |
1RB0LA_740 line 120explorer 740 line 120 · 663 line 108 | Not started | Cubic Mess | – |
1RB0LC_740 line 121explorer 740 line 121 · 663 line 109 | Not started | Skelet 1-like Class 1 | – |
1RB1RA_740 line 122explorer 740 line 122 · 663 line 110 | Not started | Structural counter + chaotic edge | – |
1RB0RB_740 line 123explorer 740 line 123 · 663 line 111 | Not started | Shift-overflow bouncer counter | – |
1RB1RF_740 line 125explorer 740 line 125 · 663 line 113 | Not started | Quadratic Mess | – |
1RB---_740 line 127explorer 740 line 127 · 663 line 115 | Not started | Quadratic Mess | – |
1RB0LD_740 line 128explorer 740 line 128 · 663 line 116 | Not started | Quadratic Mess | – |
1RB0LC_740 line 129explorer 740 line 129 · 663 line 117 | Not started | Skelet 1-like Class 1 | – |
1RB1LD_740 line 130explorer 740 line 130 · 663 line 118 | Not started | Skelet 1-like Class 1 | – |
1RB0RE_740 line 131explorer 740 line 131 · 663 line 119 | Not started | Shift-overflow counter | – |
1RB1RF_740 line 132explorer 740 line 132 · 663 line 120 | Not started | Shift-overflow counter | – |
1RB0LE_740 line 133explorer 740 line 133 · 663 line 121 | Not started | Chaotic 1dCA-like in bouncer | – |
1RB1RF_740 line 135explorer 740 line 135 · 663 line 122 | Not started | Shift-overflow counter | – |
1RB1RA_740 line 136explorer 740 line 136 · 663 line 123 | Not started | Spaghetti | – |
1RB0LB_740 line 137explorer 740 line 137 · 663 line 124 | Not started | Shift-overflow counter | – |
1RB---_740 line 138explorer 740 line 138 · 663 line 125 | Not started | Shift-overflow counter | – |
1RB0RA_740 line 139explorer 740 line 139 · 663 line 126 | Not started | Structural counter + chaotic edge | – |
1RB1LD_740 line 140explorer 740 line 140 · 663 line 127 | Not started | Quadratic Mess | – |
1RB0RA_740 line 141explorer 740 line 141 · 663 line 128 | Not started | Unknown | – |
1RB---_740 line 142explorer 740 line 142 · 663 line 129 | Not started | Monotone list | – |
1RB0RF_740 line 143explorer 740 line 143 · 663 line 130 | Not started | Shift-overflow counter | – |
1RB1LB_740 line 146explorer 740 line 146 · 663 line 132 | Not started | Cubic Mess | – |
1RB---_740 line 147explorer 740 line 147 · 663 line 133 | Not started | Unknown | – |
1RB0LE_740 line 148explorer 740 line 148 · 663 line 134 | Not started | Bell-like | – |
1RB0LC_740 line 149explorer 740 line 149 · 663 line 135 | Not started | Spaghetti | – |
1RB1LA_740 line 150explorer 740 line 150 · 663 line 136 | Not started | Quadratic Mess | – |
1RB0RE_740 line 151explorer 740 line 151 · 663 line 137 | Not started | Unknown | – |
1RB1LF_740 line 152explorer 740 line 152 · 663 line 138 | Not started | Unknown | – |
1RB0LB_740 line 153explorer 740 line 153 · 663 line 139 | Not started | Shift-overflow counter | – |
1RB0RC_740 line 154explorer 740 line 154 · 663 line 140 | Not started | Unknown | – |
1RB0RC_740 line 155explorer 740 line 155 · 663 line 141 | Not started | Unknown | – |
1RB0LB_740 line 157explorer 740 line 157 · 663 line 143 | Not started | Unknown | – |
1RB1RF_740 line 158explorer 740 line 158 · 663 line 144 | Not started | Shift-overflow counter | – |
1RB0LF_740 line 160explorer 740 line 160 · 663 line 145 | Not started | Shift-overflow counter | – |
1RB1LF_740 line 161explorer 740 line 161 · 663 line 146 | Not started | Bell-like | – |
1RB0LA_740 line 163explorer 740 line 163 · 663 line 148 | Not started | Chaotic Ack-like Bell | – |
1RB1RC_740 line 164explorer 740 line 164 · 663 line 149 | Not started | Chaotic Ack-like Bell | – |
1RB0LC_740 line 165explorer 740 line 165 · 663 line 150 | Not started | Skelet 1-like Class 1 | – |
1RB0LE_740 line 166explorer 740 line 166 · 663 line 151 | Not started | Skelet 1-like Class 1 | – |
1RB1RD_740 line 167explorer 740 line 167 · 663 line 152 | Not started | Cubic Mess | – |
1RB1LF_740 line 168explorer 740 line 168 · 663 line 153 | Not started | Quadratic Mess | – |
1RB1RE_740 line 170explorer 740 line 170 · 663 line 155 | Not started | Unknownguess Chaotic Bell Class 1 | – |
1RB1RA_740 line 171explorer 740 line 171 · 663 line 156 | Not started | Cubic Mess | – |
1RB0LF_740 line 172explorer 740 line 172 · 663 line 157 | Not started | Bell-like | – |
1RB0LE_740 line 174explorer 740 line 174 · 663 line 159 | Not started | Shift-overflow counter | – |
1RB0LB_740 line 176explorer 740 line 176 · 663 line 161 | Not started | Chaotic Ack-like Bell | – |
1RB0RE_740 line 177explorer 740 line 177 · 663 line 162 | Not started | Shift-overflow counter | – |
1RB0LC_740 line 178explorer 740 line 178 · 663 line 163 | Not started | Chaotic Bell Class 3 | – |
1RB1LD_740 line 180explorer 740 line 180 · 663 line 165 | Not started | Shift-overflow counter | – |
1RB0LE_740 line 181explorer 740 line 181 · 663 line 166 | Not started | Shift-overflow counter | – |
1RB1RF_740 line 182explorer 740 line 182 · 663 line 167 | Not started | Bell-like | – |
1RB0RE_740 line 183explorer 740 line 183 · 663 line 168 | Not started | Quadratic Mess | – |
1RB1LF_740 line 184explorer 740 line 184 · 663 line 169 | Not started | Bell-like | – |
1RB0RF_740 line 185explorer 740 line 185 · 663 line 170 | Not started | Shift-overflow counter | – |
1RB1RE_740 line 186explorer 740 line 186 · 663 line 171 | Not started | Quadratic Mess | – |
1RB1RF_740 line 187explorer 740 line 187 · 663 line 172 | Not started | Skelet 1-like Class 1 | – |
1RB1LA_740 line 189explorer 740 line 189 · 663 line 174 | Not started | Cubic Mess | – |
1RB1RC_740 line 190explorer 740 line 190 · 663 line 175 | Not started | Cubic Mess | – |
1RB1RA_740 line 192explorer 740 line 192 · 663 line 176 | Not started | Chaotic Bell Class 3 | – |
1RB0LD_740 line 193explorer 740 line 193 · 663 line 177 | Not started | Quadratic Mess | – |
1RB1RA_740 line 194explorer 740 line 194 · 663 line 178 | Not started | Cubic Mess | – |
1RB1LC_740 line 195explorer 740 line 195 · 663 line 179 | Not started | Bell-like | – |
1RB0RF_740 line 196explorer 740 line 196 · 663 line 180 | Not started | Chaotic Bell Class 1 | – |
1RB---_740 line 200explorer 740 line 200 · 663 line 183 | Not started | Shift-overflow counter | – |
1RB0LE_740 line 201explorer 740 line 201 · 663 line 184 | Not started | Shift-overflow counter | – |
1RB0LC_740 line 203explorer 740 line 203 · 663 line 185 | Not started | Skelet 1-like Class 1 | – |
1RB1RD_740 line 205explorer 740 line 205 · 663 line 187 | Not started | Shift-overflow bouncer counter | – |
1RB0LC_740 line 206explorer 740 line 206 · 663 line 188 | Not started | Chaotic Bell Class 3 | – |
1RB0LA_740 line 207explorer 740 line 207 · 663 line 189 | Not started | Shift-overflow counter | – |
1RB0RC_740 line 208explorer 740 line 208 · 663 line 190 | Not started | Skelet 1-like Class 1 | – |
1RB0LA_740 line 209explorer 740 line 209 · 663 line 191 | Not started | Spaghetti | – |
1RB0RE_740 line 210explorer 740 line 210 · 663 line 192 | Not started | Shift-overflow bouncer counter | – |
1RB0LE_740 line 211explorer 740 line 211 · 663 line 193 | Not started | Fractal in Bouncer | – |
1RB1RA_740 line 212explorer 740 line 212 · 663 line 194 | Not started | Bell-like | – |
1RB0LD_740 line 213explorer 740 line 213 · 663 line 195 | Not started | Bell-like | – |
1RB1RE_740 line 215explorer 740 line 215 · 663 line 196 | Not started | Quadratic Mess | – |
1RB0RA_740 line 216explorer 740 line 216 · 663 line 197 | Not started | Counter Class 3 | – |
1RB0LE_740 line 217explorer 740 line 217 · 663 line 198 | Not started | Chaotic 1dCA-like in bouncer | – |
1RB0RE_740 line 219explorer 740 line 219 · 663 line 199 | Not started | Bell-like | – |
1RB0LB_740 line 220explorer 740 line 220 · 663 line 200 | Not started | Bell-like | – |
1RB---_740 line 222explorer 740 line 222 · 663 line 202 | Not started | Skelet 1-like Class 1 | – |
1RB1LC_740 line 223explorer 740 line 223 · 663 line 203 | Not started | Shift-overflow counter | – |
1RB0RF_740 line 225explorer 740 line 225 · 663 line 204 | Not started | Chaotic Ack-like Bell | – |
1RB---_740 line 226explorer 740 line 226 · 663 line 205 | Not started | Chaotic 1dCA-like in bell | – |
1RB0LD_740 line 227explorer 740 line 227 · 663 line 206 | Not started | Quadratic Mess | – |
1RB0RB_740 line 228explorer 740 line 228 · 663 line 207 | Not started | Shift-overflow bouncer counter | – |
1RB1RE_740 line 229explorer 740 line 229 · 663 line 208 | Not started | Chaotic Bell Class 1 | – |
1RB0RB_740 line 231explorer 740 line 231 · 663 line 209 | Not started | Shift-overflow counter | – |
1RB1RA_740 line 232explorer 740 line 232 · 663 line 210 | Not started | Cubic Mess | – |
1RB1LE_740 line 233explorer 740 line 233 · 663 line 211 | Not started | Shift-overflow counter | – |
1RB0LF_740 line 234explorer 740 line 234 · 663 line 212 | Not started | Structural counter + chaotic edge | – |
1RB1RC_740 line 235explorer 740 line 235 · 663 line 213 | Not started | Shift-overflow bouncer counter | – |
1RB0LC_740 line 236explorer 740 line 236 · 663 line 214 | Not started | Unknown | – |
1RB1LA_740 line 237explorer 740 line 237 · 663 line 215 | Not started | Cubic Mess | – |
1RB0LE_740 line 238explorer 740 line 238 · 663 line 216 | Not started | Spaghetti | – |
1RB1LA_740 line 240explorer 740 line 240 · 663 line 217 | Not started | Shift-overflow counter | – |
1RB0RE_740 line 241explorer 740 line 241 · 663 line 218 | Not started | Bell-like | – |
1RB0RB_740 line 242explorer 740 line 242 · 663 line 219 | Not started | Quadratic Mess | – |
1RB---_740 line 243explorer 740 line 243 · 663 line 220 | Not started | Shift-overflow counter | – |
1RB0RC_740 line 245explorer 740 line 245 · 663 line 222 | Not started | Chaotic Bell Class 3 | – |
1RB0LD_740 line 247explorer 740 line 247 · 663 line 223 | Not started | Skelet 1-like Class 1 | – |
1RB1RA_740 line 249explorer 740 line 249 · 663 line 225 | Not started | Chaotic 1dCA-like in bouncer | – |
1RB1RA_740 line 250explorer 740 line 250 · 663 line 226 | Not started | Bell-like | – |
1RB---_740 line 251explorer 740 line 251 · 663 line 227 | Not started | Chaotic 1dCA-like in bouncer | – |
1RB0LD_740 line 252explorer 740 line 252 · 663 line 228 | Not started | Shift-overflow counter | – |
1RB0LE_740 line 253explorer 740 line 253 · 663 line 229 | Not started | Shift-overflow counter | – |
1RB0LC_740 line 254explorer 740 line 254 · 663 line 230 | Not started | Bell-like | – |
1RB0RF_740 line 255explorer 740 line 255 · 663 line 231 | Not started | Bell-like | – |
1RB1LC_740 line 256explorer 740 line 256 · 663 line 232 | Not started | Shift-overflow counter | – |
1RB1RA_740 line 257explorer 740 line 257 · 663 line 233 | Not started | Unknownguess Chaotic Bell Class 1 | – |
1RB1LF_740 line 258explorer 740 line 258 · 663 line 234 | Not started | Shift-overflow counter | – |
1RB1RD_740 line 259explorer 740 line 259 · 663 line 235 | Not started | Bell-like | – |
1RB0LC_740 line 260explorer 740 line 260 · 663 line 236 | Not started | Skelet 1-like Class 1 | – |
1RB0RF_740 line 261explorer 740 line 261 · 663 line 237 | Not started | Skelet 1-like Class 1 | – |
1RB0LE_740 line 262explorer 740 line 262 · 663 line 238 | Not started | Chaotic 1dCA-like in bell | – |
1RB0RC_740 line 263explorer 740 line 263 · 663 line 239 | Not started | Skelet 1-like Class 1 | – |
1RB0LE_740 line 264explorer 740 line 264 · 663 line 240 | Not started | Chaotic Ack-like Bell | – |
1RB0LC_740 line 266explorer 740 line 266 · 663 line 242 | Not started | Skelet 1-like Class 1 | – |
1RB1LF_740 line 268explorer 740 line 268 · 663 line 244 | Not started | Chaotic Fractal Others | – |
1RB0LB_740 line 270explorer 740 line 270 · 663 line 246 | Not started | Shift-overflow counter | – |
1RB0RA_740 line 271explorer 740 line 271 · 663 line 247 | Not started | Quadratic Mess | – |
1RB0LE_740 line 272explorer 740 line 272 · 663 line 248 | Not started | Shift-overflow counter | – |
1RB0LE_740 line 275explorer 740 line 275 · 663 line 249 | Not started | Shift-overflow counter | – |
1RB0LE_740 line 277explorer 740 line 277 · 663 line 250 | Not started | Unknown | – |
1RB0LC_740 line 278explorer 740 line 278 · 663 line 251 | Not started | Unknownguess Chaotic Bell Class 1 | – |
1RB1RD_740 line 279explorer 740 line 279 · 663 line 252 | Not started | Skelet 1-like Class 1 | – |
1RB0LE_740 line 283explorer 740 line 283 · 663 line 254 | Not started | Shift-overflow counter | – |
1RB1RF_740 line 284explorer 740 line 284 · 663 line 255 | Not started | Shift-overflow counter | – |
1RB0LC_740 line 285explorer 740 line 285 · 663 line 256 | Not started | Skelet 1-like Class 1 | – |
1RB1LE_740 line 286explorer 740 line 286 · 663 line 257 | Not started | Shift-overflow counter | – |
1RB1RF_740 line 287explorer 740 line 287 · 663 line 258 | Not started | Bell-like | – |
1RB0RA_740 line 288explorer 740 line 288 · 663 line 259 | Not started | Shift-overflow counter | – |
1RB0RC_740 line 289explorer 740 line 289 · 663 line 260 | Not started | Unknown | – |
1RB1LC_740 line 290explorer 740 line 290 · 663 line 261 | Not started | Bell-like | – |
1RB0RA_740 line 292explorer 740 line 292 · 663 line 263 | Not started | Unknownguess Structural counter + chaotic edge | – |
1RB0LF_740 line 293explorer 740 line 293 · 663 line 264 | Not started | Skelet 1-like Class 1 | – |
1RB0RE_740 line 294explorer 740 line 294 · 663 line 265 | Not started | Bell-like | – |
1RB0LE_740 line 295explorer 740 line 295 · 663 line 266 | Not started | Shift-overflow counter | – |
1RB0LB_740 line 296explorer 740 line 296 · 663 line 267 | Not started | Shift-overflow counter | – |
1RB0LB_740 line 297explorer 740 line 297 · 663 line 268 | Not started | Skelet 1-like Class 1 | – |
1RB0RE_740 line 298explorer 740 line 298 · 663 line 269 | Not started | Unknown | – |
1RB1LC_740 line 300explorer 740 line 300 · 663 line 271 | Not started | Bell-like | – |
1RB0RF_740 line 302explorer 740 line 302 · 663 line 272 | Not started | Shift-overflow counter | – |
1RB0LE_740 line 303explorer 740 line 303 · 663 line 273 | Not started | Chaotic Bell Class 1 | – |
1RB0LB_740 line 304explorer 740 line 304 · 663 line 274 | Not started | Shift-overflow counter | – |
1RB0LC_740 line 306explorer 740 line 306 · 663 line 276 | Not started | Skelet 1-like Class 1 | – |
1RB1RE_740 line 307explorer 740 line 307 · 663 line 277 | Not started | Unknown | – |
1RB---_740 line 308explorer 740 line 308 · 663 line 278 | Not started | Chaotic Bell Class 2 | – |
1RB0LC_740 line 309explorer 740 line 309 · 663 line 279 | Not started | Chaotic Bell Class 3 | – |
1RB1LD_740 line 311explorer 740 line 311 · 663 line 281 | Not started | Cubic Mess | – |
1RB1RF_740 line 312explorer 740 line 312 · 663 line 282 | Not started | Bell eats counter | – |
1RB---_740 line 313explorer 740 line 313 · 663 line 283 | Not started | Cubic Mess | – |
1RB1LE_740 line 314explorer 740 line 314 · 663 line 284 | Not started | Monotone list | – |
1RB1LF_740 line 315explorer 740 line 315 · 663 line 285 | Not started | Skelet 1-like Class 1 | – |
1RB1RE_740 line 316explorer 740 line 316 · 663 line 286 | Not started | Chaotic 1dCA-like in bouncer | – |
1RB0LE_740 line 318explorer 740 line 318 · 663 line 288 | Not started | Unknownguess Bouncer + Chaotic Edge | – |
1RB0LA_740 line 319explorer 740 line 319 · 663 line 289 | Not started | Unknown | – |
1RB0LF_740 line 320explorer 740 line 320 · 663 line 290 | Not started | Quadratic Mess | – |
1RB0LC_740 line 321explorer 740 line 321 · 663 line 291 | Not started | Skelet 1-like Class 1 | – |
1RB1RD_740 line 322explorer 740 line 322 · 663 line 292 | Not started | Cubic Mess | – |
1RB0RF_740 line 323explorer 740 line 323 · 663 line 293 | Not started | Shift-overflow counter | – |
1RB1LD_740 line 324explorer 740 line 324 · 663 line 294 | Not started | Shift-overflow counter | – |
1RB0LC_740 line 325explorer 740 line 325 · 663 line 295 | Not started | Skelet 1-like Class 1 | – |
1RB---_740 line 326explorer 740 line 326 · 663 line 296 | Not started | Bell-like | – |
1RB0LE_740 line 327explorer 740 line 327 · 663 line 297 | Not started | Bell-like | – |
1RB1RD_740 line 328explorer 740 line 328 · 663 line 298 | Not started | Bouncer + Chaotic Edge | – |
1RB1RA_740 line 329explorer 740 line 329 · 663 line 299 | Not started | Cubic Mess | – |
1RB0LC_740 line 330explorer 740 line 330 · 663 line 300 | Not started | Chaotic Bell Class 3 | – |
1RB0RC_740 line 331explorer 740 line 331 · 663 line 301 | Not started | Unknown | – |
1RB0LE_740 line 334explorer 740 line 334 · 663 line 303 | Not started | Unknown | – |
1RB0LC_740 line 335explorer 740 line 335 · 663 line 304 | Not started | Skelet 1-like Class 1 | – |
1RB1LC_740 line 336explorer 740 line 336 · 663 line 305 | Not started | Shift-overflow counter | – |
1RB0RF_740 line 337explorer 740 line 337 · 663 line 306 | Not started | Bell eats counter | – |
1RB0LC_740 line 338explorer 740 line 338 · 663 line 307 | Not started | Chaotic Bell Class 1 | – |
1RB0RB_740 line 339explorer 740 line 339 · 663 line 308 | Not started | Shift-overflow bouncer counter | – |
1RB0RF_740 line 340explorer 740 line 340 · 663 line 309 | Not started | Spaghetti | – |
1RB0LC_740 line 343explorer 740 line 343 · 663 line 310 | Not started | Shift-overflow counter | – |
1RB1RE_740 line 344explorer 740 line 344 · 663 line 311 | Not started | Unknown | – |
1RB0RD_740 line 345explorer 740 line 345 · 663 line 312 | Not started | Shift-overflow bouncer counter | – |
1RB0LC_740 line 346explorer 740 line 346 · 663 line 313 | Not started | Bell-like | – |
1RB1RF_740 line 350explorer 740 line 350 · 663 line 316 | Not started | Chaotic Bell Class 3 | – |
1RB0RE_740 line 351explorer 740 line 351 · 663 line 317 | Not started | Chaotic 1dCA-like in bell | – |
1RB0RA_740 line 352explorer 740 line 352 · 663 line 318 | Not started | Spaghetti | – |
1RB1LC_740 line 353explorer 740 line 353 · 663 line 319 | Not started | Bell-like | – |
1RB0LA_740 line 354explorer 740 line 354 · 663 line 320 | Not started | Unknown | – |
1RB1LE_740 line 355explorer 740 line 355 · 663 line 321 | Not started | Chaotic 1dCA-like in bouncer | – |
1RB0RB_740 line 356explorer 740 line 356 · 663 line 322 | Not started | Shift-overflow bouncer counter | – |
1RB0LA_740 line 357explorer 740 line 357 · 663 line 323 | Not started | Cubic Mess | – |
1RB1LA_740 line 359explorer 740 line 359 · 663 line 325 | Not started | Cubic Mess | – |
1RB---_740 line 360explorer 740 line 360 · 663 line 326 | Not started | Bell-like | – |
1RB0LC_740 line 361explorer 740 line 361 · 663 line 327 | Not started | Skelet 1-like Class 1 | – |
1RB0RE_740 line 363explorer 740 line 363 · 663 line 329 | Not started | Quadratic Mess | – |
1RB1LB_740 line 364explorer 740 line 364 · 663 line 330 | Not started | Shift-overflow bouncer counter | – |
1RB1LC_740 line 367explorer 740 line 367 · 663 line 332 | Not started | Unknown | – |
1RB---_740 line 369explorer 740 line 369 · 663 line 333 | Not started | Bell-like | – |
1RB1LE_740 line 370explorer 740 line 370 · 663 line 334 | Not started | Unknown | – |
1RB---_740 line 371explorer 740 line 371 · 663 line 335 | Not started | Shift-overflow counter | – |
1RB0LF_740 line 373explorer 740 line 373 · 663 line 337 | Not started | Shift-overflow counter | – |
1RB0RF_740 line 374explorer 740 line 374 · 663 line 338 | Not started | Unknownguess Chaotic Bell Class 1 | – |
1RB---_740 line 375explorer 740 line 375 · 663 line 339 | Not started | Skelet 1-like Class 1 | – |
1RB0RD_740 line 376explorer 740 line 376 · 663 line 340 | Not started | Chaotic Bell Class 3 | – |
1RB0RA_740 line 377explorer 740 line 377 · 663 line 341 | Not started | Shift-overflow bouncer counter | – |
1RB0RA_740 line 378explorer 740 line 378 · 663 line 342 | Not started | Shift-overflow bouncer counter | – |
1RB0LB_740 line 379explorer 740 line 379 · 663 line 343 | Not started | Shift-overflow counter | – |
1RB0RC_740 line 380explorer 740 line 380 · 663 line 344 | Not started | Shift-overflow counter | – |
1RB0RC_740 line 382explorer 740 line 382 · 663 line 345 | Not started | Chaotic Bell Class 3 | – |
1RB0RB_740 line 383explorer 740 line 383 · 663 line 346 | Not started | Quadratic Mess | – |
1RB0RC_740 line 386explorer 740 line 386 · 663 line 348 | Not started | Chaotic 1dCA-like in bouncer | – |
1RB1RE_740 line 387explorer 740 line 387 · 663 line 349 | Not started | Quadratic Mess | – |
1RB---_740 line 388explorer 740 line 388 · 663 line 350 | Not started | Shift-overflow structural counter | – |
1RB1RF_740 line 389explorer 740 line 389 · 663 line 351 | Not started | Unknown | – |
1RB1LE_740 line 390explorer 740 line 390 · 663 line 352 | Not started | Bell-like | – |
1RB1LB_740 line 391explorer 740 line 391 · 663 line 353 | Not started | Bell-like | – |
1RB1RF_740 line 392explorer 740 line 392 · 663 line 354 | Not started | Shift-overflow structural counter | – |
1RB0LF_740 line 393explorer 740 line 393 · 663 line 355 | Not started | Cubic Mess | – |
1RB0LC_740 line 394explorer 740 line 394 · 663 line 356 | Not started | Quadratic Mess | – |
1RB1LD_740 line 395explorer 740 line 395 · 663 line 357 | Not started | Bell-like | – |
1RB0LA_740 line 396explorer 740 line 396 · 663 line 358 | Not started | Bell-like | – |
1RB1RF_740 line 397explorer 740 line 397 · 663 line 359 | Not started | Shift-overflow counter | – |
1RB0RF_740 line 398explorer 740 line 398 · 663 line 360 | Not started | Unknown | – |
1RB1RD_740 line 399explorer 740 line 399 · 663 line 361 | Not started | Quadratic Mess | – |
1RB0LF_740 line 401explorer 740 line 401 · 663 line 363 | Not started | Chaotic Ack-like Bell | – |
1RB0RE_740 line 402explorer 740 line 402 · 663 line 364 | Not started | Bell-like | – |
1RB0RD_740 line 403explorer 740 line 403 · 663 line 365 | Not started | Chaotic Bell Class 3 | – |
1RB0LC_740 line 404explorer 740 line 404 · 663 line 366 | Not started | Skelet 1-like Class 1 | – |
1RB0LC_740 line 405explorer 740 line 405 · 663 line 367 | Not started | Skelet 1-like Class 1 | – |
1RB0LC_740 line 406explorer 740 line 406 · 663 line 368 | Not started | Unknown | – |
1RB0LC_740 line 407explorer 740 line 407 · 663 line 369 | Not started | Skelet 1-like Class 1 | – |
1RB0RB_740 line 408explorer 740 line 408 · 663 line 370 | Not started | Quadratic Mess | – |
1RB0LC_740 line 411explorer 740 line 411 · 663 line 372 | Not started | Skelet 1-like Class 1 | – |
1RB0RC_740 line 413explorer 740 line 413 · 663 line 374 | Not started | Skelet 1-like Class 1 | – |
1RB0LE_740 line 414explorer 740 line 414 · 663 line 375 | Not started | Cubic Mess | – |
1RB0RC_740 line 415explorer 740 line 415 · 663 line 376 | Not started | Chaotic Bell Class 3 | – |
1RB1LC_740 line 417explorer 740 line 417 · 663 line 378 | Not started | Quadratic Mess | – |
1RB0LA_740 line 419explorer 740 line 419 · 663 line 379 | Not started | Cubic Mess | – |
1RB0RC_740 line 420explorer 740 line 420 · 663 line 380 | Not started | Skelet 1-like Class 1 | – |
1RB0LC_740 line 421explorer 740 line 421 · 663 line 381 | Not started | Skelet 1-like Class 1 | – |
1RB1LD_740 line 422explorer 740 line 422 · 663 line 382 | Not started | Shift-overflow counter | – |
1RB0RA_740 line 423explorer 740 line 423 · 663 line 383 | Not started | Bell-like | – |
1RB0RC_740 line 424explorer 740 line 424 · 663 line 384 | Not started | Cubic Mess | – |
1RB1LF_740 line 425explorer 740 line 425 · 663 line 385 | Not started | Skelet 1-like Class 1 | – |
1RB0LD_740 line 426explorer 740 line 426 · 663 line 386 | Not started | Unknown | – |
1RB1RF_740 line 427explorer 740 line 427 · 663 line 387 | Not started | Shift-overflow counter | – |
1RB0RE_740 line 428explorer 740 line 428 · 663 line 388 | Not started | Chaotic Bell Class 2 | – |
1RB---_740 line 430explorer 740 line 430 · 663 line 389 | Not started | Shift-overflow counter | – |
1RB0RE_740 line 431explorer 740 line 431 · 663 line 390 | Not started | Chaotic 1dCA-like in bouncer | – |
1RB1LE_740 line 432explorer 740 line 432 · 663 line 391 | Not started | Skelet 1-like Class 1 | – |
1RB1RA_740 line 434explorer 740 line 434 · 663 line 393 | Not started | Unknownguess Chaotic Bell Class 1 | – |
1RB0RC_740 line 435explorer 740 line 435 · 663 line 394 | Not started | Skelet 1-like Class 1 | – |
1RB1LA_740 line 436explorer 740 line 436 · 663 line 395 | Not started | Spaghetti | – |
1RB1RF_740 line 437explorer 740 line 437 · 663 line 396 | Not started | Shift-overflow counter | – |
1RB0LC_740 line 439explorer 740 line 439 · 663 line 397 | Not started | Cubic Mess | – |
1RB0LE_740 line 442explorer 740 line 442 · 663 line 400 | Not started | Quadratic Mess | – |
1RB0LC_740 line 444explorer 740 line 444 · 663 line 402 | Not started | Cubic Mess | – |
1RB1LA_740 line 445explorer 740 line 445 · 663 line 403 | Not started | Cubic Mess | – |
1RB0LC_740 line 446explorer 740 line 446 · 663 line 404 | Not started | Monotone list | – |
1RB1RE_740 line 447explorer 740 line 447 · 663 line 405 | Not started | Unknown | – |
1RB1LE_740 line 448explorer 740 line 448 · 663 line 406 | Not started | Spaghetti | – |
1RB0RE_740 line 449explorer 740 line 449 · 663 line 407 | Not started | Bell-like | – |
1RB0RF_740 line 452explorer 740 line 452 · 663 line 410 | Not started | Spaghetti | – |
1RB0LB_740 line 453explorer 740 line 453 · 663 line 411 | Not started | Skelet 1-like Class 1 | – |
1RB0LE_740 line 454explorer 740 line 454 · 663 line 412 | Not started | Shift-overflow counter | – |
1RB0LC_740 line 456explorer 740 line 456 · 663 line 414 | Not started | Monotone list | – |
1RB1LA_740 line 457explorer 740 line 457 · 663 line 415 | Not started | Shift-overflow counter | – |
1RB0LC_740 line 458explorer 740 line 458 · 663 line 416 | Not started | Unknown | – |
1RB0LC_740 line 459explorer 740 line 459 · 663 line 417 | Not started | Bell-like | – |
1RB0LC_740 line 461explorer 740 line 461 · 663 line 418 | Not started | Monotone list | – |
1RB1RD_740 line 462explorer 740 line 462 · 663 line 419 | Not started | Cubic Mess | – |
1RB1RE_740 line 466explorer 740 line 466 · 663 line 423 | Not started | Quadratic Mess | – |
1RB1LC_740 line 467explorer 740 line 467 · 663 line 424 | Not started | Unknown | – |
1RB0LD_740 line 468explorer 740 line 468 · 663 line 425 | Not started | Bell-like | – |
1RB---_740 line 471explorer 740 line 471 · 663 line 427 | Not started | Chaotic Ack-like Bell | – |
1RB0LA_740 line 472explorer 740 line 472 · 663 line 428 | Not started | Translated Counter | – |
1RB0LA_740 line 473explorer 740 line 473 · 663 line 429 | Not started | Monotone list | – |
1RB0LC_740 line 474explorer 740 line 474 · 663 line 430 | Not started | Cubic Mess | – |
1RB0RA_740 line 475explorer 740 line 475 · 663 line 431 | Not started | Unknown | – |
1RB0LB_740 line 477explorer 740 line 477 · 663 line 433 | Not started | Unknown | – |
1RB1LB_740 line 480explorer 740 line 480 · 663 line 435 | Not started | Shift-overflow counter | – |
1RB---_740 line 481explorer 740 line 481 · 663 line 436 | Not started | Cubic Mess | – |
1RB0LB_740 line 482explorer 740 line 482 · 663 line 437 | Not started | Shift-overflow counter | – |
1RB0RF_740 line 483explorer 740 line 483 · 663 line 438 | Not started | Unknownguess Bouncer + Chaotic Edge | – |
1RB0RA_740 line 484explorer 740 line 484 · 663 line 439 | Not started | Bell-like | – |
1RB1LE_740 line 485explorer 740 line 485 · 663 line 440 | Not started | Quadratic Mess | – |
1RB1RD_740 line 487explorer 740 line 487 · 663 line 441 | Not started | Cubic Mess | – |
1RB0LE_740 line 488explorer 740 line 488 · 663 line 442 | Not started | Bell-like | – |
1RB0RE_740 line 490explorer 740 line 490 · 663 line 444 | Not started | Shift-overflow counter | – |
1RB0LC_740 line 491explorer 740 line 491 · 663 line 445 | Not started | Skelet 1-like Class 1 | – |
1RB1LA_740 line 492explorer 740 line 492 · 663 line 446 | Not started | Shift-overflow counter | – |
1RB0RA_740 line 493explorer 740 line 493 · 663 line 447 | Not started | Unknown | – |
1RB0LC_740 line 494explorer 740 line 494 · 663 line 448 | Not started | Skelet 1-like Class 1 | – |
1RB0RF_740 line 495explorer 740 line 495 · 663 line 449 | Not started | Shift-overflow counter | – |
1RB0LC_740 line 496explorer 740 line 496 · 663 line 450 | Not started | Skelet 1-like Class 1 | – |
1RB0LC_740 line 497explorer 740 line 497 · 663 line 451 | Not started | Shift-overflow bouncer counter | – |
1RB1RE_740 line 499explorer 740 line 499 · 663 line 452 | Not started | Bell-like | – |
1RB1RE_740 line 501explorer 740 line 501 · 663 line 454 | Not started | Bell-like | – |
1RB1LD_740 line 502explorer 740 line 502 · 663 line 455 | Not started | Shift-overflow bouncer counter | – |
1RB1LE_740 line 503explorer 740 line 503 · 663 line 456 | Not started | Shift-overflow counter | – |
1RB0RF_740 line 504explorer 740 line 504 · 663 line 457 | Not started | Chaotic Bell Class 1 | – |
1RB1LA_740 line 505explorer 740 line 505 · 663 line 458 | Not started | Cubic Mess | – |
1RB0RF_740 line 506explorer 740 line 506 · 663 line 459 | Not started | Skelet 1-like Class 1 | – |
1RB1LB_740 line 507explorer 740 line 507 · 663 line 460 | Not started | Bell-like | – |
1RB0RF_740 line 508explorer 740 line 508 · 663 line 461 | Not started | Bell-like | – |
1RB0RA_740 line 509explorer 740 line 509 · 663 line 462 | Not started | Unknown | – |
1RB0RC_740 line 513explorer 740 line 513 · 663 line 464 | Not started | Spaghetti | – |
1RB0LA_740 line 515explorer 740 line 515 · 663 line 465 | Not started | Bell-like | – |
1RB0RE_740 line 516explorer 740 line 516 · 663 line 466 | Not started | Chaotic 1dCA-like in bell | – |
1RB0LE_740 line 517explorer 740 line 517 · 663 line 467 | Not started | Chaotic Bell Class 3 | – |
1RB0LD_740 line 518explorer 740 line 518 · 663 line 468 | Not started | Chaotic Bell Class 2 | – |
1RB0LD_740 line 520explorer 740 line 520 · 663 line 469 | Not started | Shift-overflow counter | – |
1RB1RA_740 line 521explorer 740 line 521 · 663 line 470 | Not started | Chaotic Bell Class 1 | – |
1RB0LC_740 line 522explorer 740 line 522 · 663 line 471 | Not started | Skelet 1-like Class 1 | – |
1RB0RE_740 line 523explorer 740 line 523 · 663 line 472 | Not started | Shift-overflow counter | – |
1RB0LC_740 line 524explorer 740 line 524 · 663 line 473 | Not started | Chaotic Bell Class 1 | – |
1RB1RF_740 line 526explorer 740 line 526 · 663 line 474 | Not started | Chaotic Bell Class 3 | – |
1RB0LC_740 line 527explorer 740 line 527 · 663 line 475 | Not started | Unknown | – |
1RB1LC_740 line 529explorer 740 line 529 · 663 line 477 | Not started | Shift-overflow counter | – |
1RB0LA_740 line 530explorer 740 line 530 · 663 line 478 | Not started | Counter Class 2 | – |
1RB0RD_740 line 531explorer 740 line 531 · 663 line 479 | Not started | Shift-overflow counter | – |
1RB0LD_740 line 532explorer 740 line 532 · 663 line 480 | Not started | Shift-overflow counter | – |
1RB0LC_740 line 535explorer 740 line 535 · 663 line 483 | Not started | Unknownguess Chaotic Bell Class 1 | – |
1RB1LB_740 line 536explorer 740 line 536 · 663 line 484 | Not started | Bell-like | – |
1RB0RB_740 line 537explorer 740 line 537 · 663 line 485 | Not started | Chaotic 1dCA-like in bell | – |
1RB1LC_740 line 538explorer 740 line 538 · 663 line 486 | Not started | Bell-like | – |
1RB0LC_740 line 539explorer 740 line 539 · 663 line 487 | Not started | Chaotic Bell Class 3 | – |
1RB0RE_740 line 540explorer 740 line 540 · 663 line 488 | Not started | Cubic Mess | – |
1RB0RE_740 line 542explorer 740 line 542 · 663 line 489 | Not started | Quadratic Mess | – |
1RB0LD_740 line 543explorer 740 line 543 · 663 line 490 | Not started | Unknown | – |
1RB1LB_740 line 544explorer 740 line 544 · 663 line 491 | Not started | Unknown | – |
1RB1RD_740 line 545explorer 740 line 545 · 663 line 492 | Not started | Chaotic Bell Class 1 | – |
1RB0LB_740 line 546explorer 740 line 546 · 663 line 493 | Not started | Shift-overflow counter | – |
1RB---_740 line 547explorer 740 line 547 · 663 line 494 | Not started | Shift-overflow counter | – |
1RB0RE_740 line 549explorer 740 line 549 · 663 line 496 | Not started | Skelet 1-like Class 1 | – |
1RB0LF_740 line 551explorer 740 line 551 · 663 line 497 | Not started | Unknown | – |
1RB1RA_740 line 553explorer 740 line 553 · 663 line 498 | Not started | Spaghetti | – |
1RB0LF_740 line 554explorer 740 line 554 · 663 line 499 | Not started | Structural counter + chaotic edge | – |
1RB0RA_740 line 555explorer 740 line 555 · 663 line 500 | Not started | Shift-overflow counter | – |
| Not started | Shift-overflow structural counter | – | |
1RB---_740 line 557explorer 740 line 557 · 663 line 502 | Not started | Shift-overflow counter | – |
1RB1LA_740 line 558explorer 740 line 558 · 663 line 503 | Not started | Bell-like | – |
1RB0RA_740 line 559explorer 740 line 559 · 663 line 504 | Not started | Shift-overflow counter | – |
1RB1RF_740 line 560explorer 740 line 560 · 663 line 505 | Not started | Cubic Mess | – |
1RB0RE_740 line 562explorer 740 line 562 · 663 line 507 | Not started | Shift-overflow counter | – |
1RB0RA_740 line 563explorer 740 line 563 · 663 line 508 | Not started | Shift-overflow counter | – |
1RB1RF_740 line 565explorer 740 line 565 · 663 line 510 | Not started | Quadratic Mess | – |
1RB0RC_740 line 566explorer 740 line 566 · 663 line 511 | Not started | Bell-like | – |
1RB---_740 line 567explorer 740 line 567 · 663 line 512 | Not started | Shift-overflow counter | – |
1RB0RD_740 line 569explorer 740 line 569 · 663 line 513 | Not started | Translated Counter | – |
1RB1RE_740 line 570explorer 740 line 570 · 663 line 514 | Not started | Shift-overflow bouncer counter | – |
1RB0LC_740 line 571explorer 740 line 571 · 663 line 515 | Not started | Skelet 1-like Class 1 | – |
1RB0LD_740 line 572explorer 740 line 572 · 663 line 516 | Not started | Unknown | – |
1RB0LE_740 line 573explorer 740 line 573 · 663 line 517 | Not started | Quadratic Mess | – |
1RB0LB_740 line 574explorer 740 line 574 · 663 line 518 | Not started | Shift-overflow counter | – |
1RB0LC_740 line 576explorer 740 line 576 · 663 line 519 | Not started | Shift-overflow counter | – |
1RB0LE_740 line 577explorer 740 line 577 · 663 line 520 | Not started | Chaotic Bell Class 1 | – |
1RB0RC_740 line 578explorer 740 line 578 · 663 line 521 | Not started | Skelet 1-like Class 1 | – |
1RB1LA_740 line 579explorer 740 line 579 · 663 line 522 | Not started | Unknown | – |
1RB1LC_740 line 580explorer 740 line 580 · 663 line 523 | Not started | Quadratic Mess | – |
1RB0RF_740 line 581explorer 740 line 581 · 663 line 524 | Not started | Bell-like | – |
1RB1RD_740 line 584explorer 740 line 584 · 663 line 526 | Not started | Bell-like | – |
1RB0LE_740 line 585explorer 740 line 585 · 663 line 527 | Not started | Shift-overflow bouncer counter | – |
1RB0LC_740 line 587explorer 740 line 587 · 663 line 528 | Not started | Skelet 1-like Class 1 | – |
1RB1RC_740 line 589explorer 740 line 589 · 663 line 529 | Not started | Shift-overflow bouncer counter | – |
1RB0RA_740 line 591explorer 740 line 591 · 663 line 530 | Not started | Shift-overflow counter | – |
1RB0LB_740 line 592explorer 740 line 592 · 663 line 531 | Not started | Fractal in Bouncer | – |
1RB1LE_740 line 594explorer 740 line 594 · 663 line 533 | Not started | Cubic Mess | – |
1RB0RA_740 line 595explorer 740 line 595 · 663 line 534 | Not started | Structural counter + chaotic edge | – |
1RB1RA_740 line 598explorer 740 line 598 · 663 line 536 | Not started | Cubic Mess | – |
1RB0RB_740 line 600explorer 740 line 600 · 663 line 538 | Not started | Unknown | – |
1RB---_740 line 601explorer 740 line 601 · 663 line 539 | Not started | Shift-overflow counter | – |
1RB0LF_740 line 603explorer 740 line 603 · 663 line 541 | Not started | Chaotic 1dCA-like in bell | – |
1RB0RD_740 line 604explorer 740 line 604 · 663 line 542 | Not started | Chaotic 1dCA-like in bouncer | – |
1RB1LA_740 line 605explorer 740 line 605 · 663 line 543 | Not started | Cubic Mess | – |
1RB---_740 line 606explorer 740 line 606 · 663 line 544 | Not started | Shift-overflow counter | – |
1RB0LF_740 line 607explorer 740 line 607 · 663 line 545 | Not started | Chaotic Bell Class 3 | – |
1RB1RA_740 line 608explorer 740 line 608 · 663 line 546 | Not started | Cubic Mess | – |
1RB0LD_740 line 609explorer 740 line 609 · 663 line 547 | Not started | Cubic Mess | – |
1RB0LD_740 line 610explorer 740 line 610 · 663 line 548 | Not started | Bell-like | – |
1RB0RF_740 line 613explorer 740 line 613 · 663 line 550 | Not started | Spaghetti | – |
1RB1LE_740 line 614explorer 740 line 614 · 663 line 551 | Not started | Skelet 1-like Class 1 | – |
1RB1RC_740 line 616explorer 740 line 616 · 663 line 553 | Not started | Chaotic 1dCA-like in bell | – |
1RB0RF_740 line 617explorer 740 line 617 · 663 line 554 | Not started | Quadratic Mess | – |
1RB---_740 line 618explorer 740 line 618 · 663 line 555 | Not started | Structural counter + chaotic edge | – |
1RB0RC_740 line 619explorer 740 line 619 · 663 line 556 | Not started | Skelet 1-like Class 1 | – |
1RB0RC_740 line 620explorer 740 line 620 · 663 line 557 | Not started | Shift-overflow counter | – |
1RB0RE_740 line 621explorer 740 line 621 · 663 line 558 | Not started | Bell-like | – |
1RB0LE_740 line 622explorer 740 line 622 · 663 line 559 | Not started | Quadratic Mess | – |
1RB0LF_740 line 623explorer 740 line 623 · 663 line 560 | Not started | Unknown | – |
1RB1LC_740 line 624explorer 740 line 624 · 663 line 561 | Not started | Chaotic Ack-like Bell | – |
1RB1RC_740 line 626explorer 740 line 626 · 663 line 563 | Not started | Bell-like | – |
1RB1RA_740 line 629explorer 740 line 629 · 663 line 565 | Not started | Cubic Mess | – |
1RB1LC_740 line 630explorer 740 line 630 · 663 line 566 | Not started | Shift-overflow counter | – |
1RB1RD_740 line 631explorer 740 line 631 · 663 line 567 | Not started | Shift-overflow bouncer counter | – |
1RB1RD_740 line 632explorer 740 line 632 · 663 line 568 | Not started | Shift-overflow counter | – |
1RB1LC_740 line 634explorer 740 line 634 · 663 line 570 | Not started | Skelet 1-like Class 1 | – |
1RB1LB_740 line 635explorer 740 line 635 · 663 line 571 | Not started | Unknown | – |
1RB1RF_740 line 637explorer 740 line 637 · 663 line 572 | Not started | Cubic Mess | – |
1RB1LA_740 line 639explorer 740 line 639 · 663 line 574 | Not started | Shift-overflow counter | – |
1RB1RE_740 line 641explorer 740 line 641 · 663 line 575 | Not started | Bouncer + Chaotic Edge | – |
1RB1RC_740 line 642explorer 740 line 642 · 663 line 576 | Not started | Quadratic Mess | – |
1RB1RF_740 line 643explorer 740 line 643 · 663 line 577 | Not started | Cubic Mess | – |
1RB0LD_740 line 646explorer 740 line 646 · 663 line 579 | Not started | Spaghetti | – |
1RB1RA_740 line 647explorer 740 line 647 · 663 line 580 | Not started | Bell-like | – |
1RB1RF_740 line 648explorer 740 line 648 · 663 line 581 | Not started | Shift-overflow counter | – |
1RB0RE_740 line 649explorer 740 line 649 · 663 line 582 | Not started | Bell-like | – |
1RB0LF_740 line 650explorer 740 line 650 · 663 line 583 | Not started | Skelet 1-like Class 1 | – |
1RB1LD_740 line 652explorer 740 line 652 · 663 line 584 | Not started | Unknown | – |
1RB0LB_740 line 654explorer 740 line 654 · 663 line 586 | Not started | Spaghetti | – |
1RB1RE_740 line 655explorer 740 line 655 · 663 line 587 | Not started | Quadratic Mess | – |
1RB0LD_740 line 658explorer 740 line 658 · 663 line 589 | Not started | Bell-like | – |
1RB0RB_740 line 660explorer 740 line 660 · 663 line 590 | Not started | Shift-overflow counter | – |
1RB1RA_740 line 661explorer 740 line 661 · 663 line 591 | Not started | Chaotic 1dCA-like in bell | – |
1RB0LC_740 line 662explorer 740 line 662 · 663 line 592 | Not started | Chaotic Bell Class 1 | – |
1RB0RC_740 line 663explorer 740 line 663 · 663 line 593 | Not started | Unknown | – |
1RB0LC_740 line 664explorer 740 line 664 · 663 line 594 | Not started | Skelet 1-like Class 1 | – |
1RB0RB_740 line 665explorer 740 line 665 · 663 line 595 | Not started | Shift-overflow bouncer counter | – |
1RB0RB_740 line 667explorer 740 line 667 · 663 line 597 | Not started | Shift-overflow bouncer counter | – |
1RB0RD_740 line 668explorer 740 line 668 · 663 line 598 | Not started | Chaotic Bell Class 3 | – |
1RB1RE_740 line 669explorer 740 line 669 · 663 line 599 | Not started | Unknownguess Chaotic Bell Class 1 | – |
1RB1LE_740 line 670explorer 740 line 670 · 663 line 600 | Not started | Shift-overflow counter | – |
1RB1RB_740 line 671explorer 740 line 671 · 663 line 601 | Not started | Quadratic Mess | – |
1RB1LA_740 line 672explorer 740 line 672 · 663 line 602 | Not started | Skelet 1-like Class 1 | – |
1RB0LC_740 line 673explorer 740 line 673 · 663 line 603 | Not started | Skelet 1-like Class 1 | – |
1RB1LE_740 line 674explorer 740 line 674 · 663 line 604 | Not started | Shift-overflow counter | – |
1RB0LA_740 line 675explorer 740 line 675 · 663 line 605 | Not started | Bell-like | – |
1RB0LE_740 line 676explorer 740 line 676 · 663 line 606 | Not started | Chaotic Bell Class 1 | – |
1RB1RD_740 line 677explorer 740 line 677 · 663 line 607 | Not started | Cubic Mess | – |
1RB1RF_740 line 679explorer 740 line 679 · 663 line 608 | Not started | Shift-overflow counter | – |
1RB0LC_740 line 680explorer 740 line 680 · 663 line 609 | Not started | Bell-like | – |
1RB1LA_740 line 681explorer 740 line 681 · 663 line 610 | Not started | Chaotic Bell Class 3 | – |
1RB1LA_740 line 682explorer 740 line 682 · 663 line 611 | Not started | Shift-overflow counter | – |
1RB1LD_740 line 684explorer 740 line 684 · 663 line 612 | Not started | Shift-overflow counter | – |
1RB0LD_740 line 685explorer 740 line 685 · 663 line 613 | Not started | Quadratic Mess | – |
1RB1LD_740 line 687explorer 740 line 687 · 663 line 615 | Not started | Chaotic Bell Class 1 | – |
1RB0LC_740 line 688explorer 740 line 688 · 663 line 616 | Not started | Skelet 1-like Class 1 | – |
1RB0LA_740 line 690explorer 740 line 690 · 663 line 617 | Not started | Translated Counter | – |
1RB0LF_740 line 691explorer 740 line 691 · 663 line 618 | Not started | Quadratic Mess | – |
1RB---_740 line 692explorer 740 line 692 · 663 line 619 | Not started | Chaotic Bell Class 2 | – |
1RB1LB_740 line 694explorer 740 line 694 · 663 line 621 | Not started | Shift-overflow bouncer counter | – |
1RB0RD_740 line 695explorer 740 line 695 · 663 line 622 | Not started | Bell-like | – |
1RB1LC_740 line 696explorer 740 line 696 · 663 line 623 | Not started | Chaotic Bell Class 3 | – |
1RB1RE_740 line 698explorer 740 line 698 · 663 line 625 | Not started | Spaghetti | – |
1RB1LC_740 line 699explorer 740 line 699 · 663 line 626 | Not started | Quadratic Mess | – |
1RB0RC_740 line 703explorer 740 line 703 · 663 line 628 | Not started | Skelet 1-like Class 1 | – |
1RB0LD_740 line 705explorer 740 line 705 · 663 line 630 | Not started | Skelet 1-like Class 1 | – |
1RB0LC_740 line 706explorer 740 line 706 · 663 line 631 | Not started | Unknown | – |
1RB1LD_740 line 708explorer 740 line 708 · 663 line 633 | Not started | Quadratic Mess | – |
1RB0LC_740 line 709explorer 740 line 709 · 663 line 634 | Not started | Skelet 1-like Class 1 | – |
1RB1RD_740 line 711explorer 740 line 711 · 663 line 635 | Not started | Skelet 1-like Class 1 | – |
1RB---_740 line 712explorer 740 line 712 · 663 line 636 | Not started | Shift-overflow counter | – |
1RB0RC_740 line 713explorer 740 line 713 · 663 line 637 | Not started | Skelet 1-like Class 1 | – |
1RB1RD_740 line 714explorer 740 line 714 · 663 line 638 | Not started | Chaotic 1dCA-like in bouncer | – |
1RB0LE_740 line 716explorer 740 line 716 · 663 line 640 | Not started | Unknown | – |
1RB0LC_740 line 718explorer 740 line 718 · 663 line 641 | Not started | Skelet 1-like Class 1 | – |
1RB1LD_740 line 719explorer 740 line 719 · 663 line 642 | Not started | Shift-overflow counter | – |
1RB0RD_740 line 720explorer 740 line 720 · 663 line 643 | Not started | Structural counter + chaotic edge | – |
1RB0LC_740 line 721explorer 740 line 721 · 663 line 644 | Not started | Chaotic 1dCA-like in bouncer | – |
1RB1RC_740 line 723explorer 740 line 723 · 663 line 646 | Not started | Bell-like | – |
1RB1RD_740 line 724explorer 740 line 724 · 663 line 647 | Not started | Skelet 1-like Class 1 | – |
1RB1RE_740 line 726explorer 740 line 726 · 663 line 649 | Not started | Skelet 1-like Class 1 | – |
1RB1RE_740 line 727explorer 740 line 727 · 663 line 650 | Not started | Bell-like | – |
1RB1LD_740 line 729explorer 740 line 729 · 663 line 652 | Not started | Bell-like | – |
1RB1RD_740 line 730explorer 740 line 730 · 663 line 653 | Not started | Chaotic Bell Class 1 | – |
1RB1LD_740 line 731explorer 740 line 731 · 663 line 654 | Not started | Bell-like | – |
1RB0RF_740 line 732explorer 740 line 732 · 663 line 655 | Not started | Quadratic Mess | – |
1RB1LD_740 line 733explorer 740 line 733 · 663 line 656 | Not started | Quadratic Mess | – |
1RB0RA_740 line 735explorer 740 line 735 · 663 line 658 | Not started | Shift-overflow counter | – |
1RB0RE_740 line 736explorer 740 line 736 · 663 line 659 | Not started | Bell-like | – |
1RB0RD_740 line 737explorer 740 line 737 · 663 line 660 | Not started | Unknown | – |
1RB1RC_740 line 738explorer 740 line 738 · 663 line 661 | Not started | Shift-overflow bouncer counter | – |
1RB1RB_740 line 739explorer 740 line 739 · 663 line 662 | Not started | Unknown | – |
1RB1RA_740 line 740explorer 740 line 740 · 663 line 663 | Not started | Chaotic Bell Class 1 | – |
No machine matches.
How to read this table: notes and sources
Each row: the machine string with its tag (pool rank, label, or its line on the list), a muted line (proofs: local proof number, the automatic checks, the PR, the family, how it was proved; others: the stage, a call or Checkpoint A questions; not started: same table as a machine we worked on, sim depth, equivalence class size, flags), the status, the sheet class (guess = the class of the nearest classified machine, ≤ 2 transitions), and when a file in its folder last changed. same table = the same transition table up to renaming states and mirroring, started in another state (428 machines in 164 groups); sim 1eN = depth simulated without halting (sheet Direct Simulation tab: 128 of the 663 not yet to 1e14); eqv ×n = machines in its equivalence class. Search: a machine string or part of one, a bbchallenge.org link, a tag (#2, R4, W4-3: exact), line 604, or a class; / focuses it. A machine's page (its name) has the picture, the mechanism, the proof and the files.
display status (raw status retained in data) ◆Checkpoint A 1▲Stuck 26–Skipped 13⚠Cryptid candidate 11○Open 12✓Killed: never halts 30✓Killed: halts 3•EXTERNALLY_SOLVED 46
663 holdouts (current list) BB6_holdouts_663.txt · +79 off the list · previous list 740 (BB6_holdouts_740.txt; 77 gone since) · 1,370 with equivalents · sim pending 128 / 32
- list:
data/holdouts/BB6_holdouts_663.txt(current; the line numbers); previous listdata/holdouts/BB6_holdouts_740.txt(the "740 line n" of off-list machines); equivalence classes:data/holdouts/2026-10-07_eqv_1590.txt(made for the 778 list) - class, sheet status, sim depth: Robin Rovenszky's sheet, exported 2026-10-09 (data/sheet/; the Direct Simulation tab is dated Sep 2, the Results tab is stale, data/README.md); known sheet errors are struck through (STATUS.md)
- buckets: static source-checked upstream reconciliation in
data/holdouts/reconciliation-663.json, plus machines/<tm>/status.json + observe.json via tools/card.py's card_state, the same rule as the machine pages; "working" = a file there changed in the 30 min before the build (a badge, never a bucket); ledger: reports/overnight-ledger.md - publication stage: status.json
pr/pr_state/posted, refreshed bypython3 -B tools/pr_sync.py(gh pr view, read-only); families: Families: status.json parent links, same table with another start, targeting.md follow-on rows, ledger "= twin" notes, machine strings named in .v headers / proof.md / notes.md. - local proof numbers: order of each proof's first check_kill PASS (kept in dashboard/kills.json, so a re-run does not renumber); mechanism lines: submission/README.md
- same table: all 720 state renamings × mirror, start state free (canonical breadth-first relabeling), over the 742 machines shown
- flags: data/discord/ (mxdys UBRRBA_TODO 2026-08-24, dyuan01 longitudinal 2026-10-01); pool rank: reports/targeting.md §4
- off the list: 79 machines that are not on
BB6_holdouts_663.txt, shown in their bucket with the recorded upstream or historical reason: #12 (740 line 2, upstream_overlap): claimed by someone else; #4b (740 line 14, accepted): our merged PR; W5-5 (740 line 29, upstream_overlap): claimed by someone else; #33 (740 line 31, accepted): our merged PR; #3 (740 line 50, accepted): our merged PR; #1 (740 line 79, external_solved): solved upstream externally; 740 line 87 (740 line 87, external_solved): solved upstream externally; W5-6 (740 line 88, external_solved): solved upstream externally; 740 line 90 (740 line 90, external_solved): solved upstream externally; 740 line 93 (740 line 93, external_solved): solved upstream externally; 740 line 104 (740 line 104, external_solved): solved upstream externally; 740 line 115 (740 line 115, external_solved): solved upstream externally; W5-3 (740 line 134, upstream_overlap): claimed by someone else; P-145/276 (740 line 145, external_solved): solved upstream externally; 740 line 159 (740 line 159, external_solved): solved upstream externally; #29 (740 line 191, external_solved): solved upstream externally; 740 line 197 (740 line 197, external_solved): solved upstream externally; R3 (740 line 202, external_solved): solved upstream externally; W5-8 (740 line 214, accepted): our merged PR; 740 line 218 (740 line 218, external_solved): solved upstream externally; W4-2 (740 line 224, upstream_overlap): claimed by someone else; 740 line 230 (740 line 230, external_solved): solved upstream externally; B-4 (740 line 239, external_solved): solved upstream externally; #21 (740 line 246, external_solved): solved upstream externally; #25 (740 line 273, accepted): our merged PR; W7-5 (740 line 274, upstream_overlap): claimed by someone else; P-145/276 (740 line 276, external_solved): solved upstream externally; 740 line 280 (740 line 280, external_solved): solved upstream externally; 740 line 281 (740 line 281, external_solved): solved upstream externally; #14 (740 line 301, upstream_overlap): claimed by someone else; W6-5 (740 line 333, external_solved): solved upstream externally; W4-3 (740 line 341, accepted): our merged PR; 740 line 342 (740 line 342, external_solved): solved upstream externally; W5-1 (740 line 349, upstream_overlap): claimed by someone else; #33b (740 line 366, accepted): our merged PR; 740 line 368 (740 line 368, external_solved): solved upstream externally; #7 (740 line 381, upstream_overlap): claimed by someone else; 740 line 384 (740 line 384, external_solved): solved upstream externally; #8 (740 line 410, accepted): our merged PR; W5-8b (740 line 418, accepted): our merged PR; 740 line 429 (740 line 429, external_solved): solved upstream externally; #11 (740 line 438, accepted): our merged PR; 740 line 460 (740 line 460, external_solved): solved upstream externally; 740 line 470 (740 line 470, external_solved): solved upstream externally; 740 line 479 (740 line 479, external_solved): solved upstream externally; #15 (740 line 486, external_solved): solved upstream externally; 740 line 498 (740 line 498, external_solved): solved upstream externally; #11b (740 line 511, accepted): our merged PR; W4-3b (740 line 512, accepted): our merged PR; 740 line 514 (740 line 514, external_solved): solved upstream externally; #22 (740 line 519, external_solved): solved upstream externally; W5-4 (740 line 525, accepted): our merged PR; 740 line 541 (740 line 541, external_solved): solved upstream externally; 740 line 550 (740 line 550, external_solved): solved upstream externally; C2-552 (740 line 552, accepted): our merged PR; #3b (740 line 568, accepted): our merged PR; 740 line 575 (740 line 575, external_solved): solved upstream externally; 740 line 583 (740 line 583, external_solved): solved upstream externally; #24 (740 line 586, accepted): our merged PR; W4-3c (740 line 588, accepted): our merged PR; #31 (740 line 590, upstream_overlap): claimed by someone else; #28 (740 line 596, external_solved): solved upstream externally; #10 (740 line 611, external_solved): solved upstream externally; #23 (740 line 627, external_solved): solved upstream externally; W5-8c (740 line 636, accepted): our merged PR; #12b (740 line 640, upstream_overlap): claimed by someone else; #4 (740 line 645, accepted): our merged PR; 740 line 651 (740 line 651, external_solved): solved upstream externally; 740 line 656 (740 line 656, external_solved): solved upstream externally; R2 (740 line 659, external_solved): solved upstream externally; 740 line 678 (740 line 678, external_solved): solved upstream externally; 740 line 683 (740 line 683, external_solved): solved upstream externally; 740 line 689 (740 line 689, external_solved): solved upstream externally; W5-7 (740 line 700, upstream_overlap): claimed by someone else; 740 line 702 (740 line 702, external_solved): solved upstream externally; #30 (740 line 710, accepted): our merged PR; 740 line 717 (740 line 717, external_solved): solved upstream externally; #2 (778 line 301, accepted): our merged PR; #19 (778 line 542, parked): removed by equivalence - built 2026-10-16 13:29 by
python3 -B tools/dashboard.py(the whole site:python3 -B tools/site.py; tools/README-dashboard.md)