Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

New beaver also-rans (6x2) #10

Open
96 tasks
UncombedCoconut opened this issue Jul 14, 2024 · 1 comment
Open
96 tasks

New beaver also-rans (6x2) #10

UncombedCoconut opened this issue Jul 14, 2024 · 1 comment

Comments

@UncombedCoconut
Copy link

Quick_Sim.py is able to run the below beavers to the point of halting. (I'm collecting, not claiming originality.)

  • 1RB0LA_0RC1RE_0RD1RC_1LD1LA_1RF1RB_0LC1RZ
  • 1RB0LA_0RC1RE_0RD1RC_1LD1LA_1RF1RB_0RD1RZ
  • 1RB0LE_0RC1RZ_0LD0RF_1LA0LF_1LF1LD_0LA1LF
  • 1RB0RA_1LC0LC_0LF0RD_1RA1LE_0LB1RZ_1LD1RB
  • 1RB0RA_1RC0RB_1LD0RA_1LE0LC_0LA0LF_1LC1RZ
  • 1RB0RC_1LC0RA_0LE1LD_1LE0LF_0RD0LB_1LA1RZ
  • 1RB1LC_0RC1RD_1LD0LE_1RA1RE_1RF0LC_0RB1RZ
  • 1RB1LD_1RC0LA_1LB0RD_0LA1RE_0RF1LA_1RZ0RB
  • 1RB1RE_1LC0RF_0RA0LD_1LE1RZ_0LC0LE_0RB0RD
  • 1RB1RE_1RC1LD_0RD1RA_1LA0LE_1RF0LD_0RC1RZ
  • 1RB1RF_0LC1RZ_1LD0RD_1LE0LB_0RA1LC_0RC0RA
  • 1RB0LF_0RC0RB_1LC0LD_1LE0RA_1LA0LD_0RC1RZ [using -n 6]
  • 1RB1LF_0RC0RB_1LC0LD_1LE0RA_1LA0LD_1LC1RZ [using -n 6]
  • 1RB1RE_1LC1LB_1RE0LD_1LB1LC_0RF1RA_1RZ0RA [using -n 6]
  • 1RB1RF_1LC0LA_1RZ1LD_1LE0LB_1RF0LB_0RA1RA
  • 1RB1RZ_0LC0LF_1RF1LD_0LE0RA_1LC0LF_0LD0RC
  • 1RB1RA_1LC0RE_0LF1LD_1LA1LC_1RA1RB_1RZ0LD
  • 1RB0RA_1LC0RC_0LE0LD_1RA0LB_0RD1LF_1RZ0LB
  • 1RB0RE_1LC1RD_1LA0LC_1RE1RF_0RB0LB_0RA1RZ [warning: takes about 4 hours]

mxdys also posted a batch BB6_halt_HashTM_32_2e7.txt on which I haven't tested Quick_Sim. One has an undefined transition in addition to the halting one.

  • 1RB1RZ_0LC0LF_1RF1LD_0LE0RA_1LC0LF_0LD0RC [H 1.62697e+11 T:15228698]
  • 1RB1RF_1LC0LA_1RZ1LD_1LE0LB_1RF0LB_0RA1RA [H 1.11891e+11 T:6442876]
  • 1RB1LA_0RC1LE_0RD1RF_1RE0LB_0LA1RD_0RA1RZ [H 4.53892e+09 T:9171692]
  • 1RB0LC_1LA1RD_1LA0LC_0RE1RZ_1RF0RE_0RA1RE [H 3.46401e+11 T:6578212]
  • 1RB1LE_1RC0RF_1LD0LE_1RZ1LA_0LB1LC_1RB1RF [H 1.72959e+09 T:5397908]
  • 1RB0LE_0LC0RE_1LA0RD_1LB0RB_0RD1LF_0LD1RZ [H 1.24486e+09 T:3955456]
  • 1RB0LE_1RC0RE_0LD1LB_1LA1RD_1RF0LC_0RA1RZ [H 1.76222e+10 T:3258040]
  • 1RB1LC_1RC1RE_1LA0LD_0RD0LA_0RF0RE_1RA1RZ [H 1.75709e+10 T:8182888]
  • 1RB1RA_1LC0RA_0LE1LD_0LB1LC_1LF0LD_1LA1RZ [H 7.8193e+11 T:9533324]
  • 1RB1LA_0RC1RE_1LD0RB_1RA0LD_0RF1RC_1LD1RZ [H 1.10102e+09 T:3025679]
  • 1RB1RC_1LC1RC_1RE1LD_0LC0LD_0RF1RZ_1RA0LC [H 1.39462e+11 T:3648921]
  • 1RB0RC_1LC1RZ_1RF0LD_1LE1RD_0LC0LA_0RA1RF [H 1.03714e+09 T:4184316]
  • 1RB0LE_1RC1RZ_1LD0RC_1LF0RE_1RB1LC_0LA1LE [H 1.44603e+11 T:8147149]
  • 1RB0LE_0RC1RB_1RD0RA_1LA1RZ_1LF1RE_0LA0LC [H 1.03714e+09 T:4187708]
  • 1RB1RC_1LA1RF_1RZ0RD_1LE0RB_1LE0LF_1RA0LF [H 1.73976e+10 T:5287167]
  • 1RB1RZ_0RC0LF_1RD1RA_0RE1LD_1RF0RD_1LB0LF [H 8.92475e+10 T:15149422]
  • 1RB0LD_1RC0RE_1RD1RZ_1LE1RF_1LC0LF_1LA0RA [H 3.80742e+11 T:12290395]
  • 1RB1LE_0RC1RB_1RD1RF_0LA0LB_1LA0LD_1RZ1RA [H 5.45548e+09 T:16882447]
  • 1RB0RA_1LC0RA_1LD0LB_1RA1LE_0LA0LF_0LE1RZ [H 5.15275e+10 T:7015811]
  • 1RB0LE_1RC1RZ_1LD0RC_1LF1LA_1RB0LF_1RD1LC [H 1.73976e+10 T:5291567]
  • 1RB1LE_0RC1RB_1LD0RB_1LA1RZ_1LC0LF_1LA0LA [H 1.01776e+09 T:10780802]
  • 1RB0LF_1LC0RE_1LD0LB_1LA1RZ_0RB1LA_0LA0LE [H 3.98952e+09 T:12971337]
  • 1RB0LA_0RC0RD_1LC1LA_1RZ1RE_0RB1RF_1RA1RE [H 4.62527e+09 T:3968022]
  • 1RB0LD_0LC0RF_1LE0RD_1LB1RZ_1LA0LD_0RB0RA [H 2.30537e+11 T:6971770]
  • 1RB1LE_1RC0RF_1LD1RD_1RC1RA_0LB0LA_0RC1RZ [H 2.48718e+09 T:5729195]
  • 1RB0LE_0RC0RD_1LD0RF_0LA1RZ_1LA0RC_1RA1RB [H 3.65383e+11 T:7695634]
  • 1RB0RF_1LC1RC_1RB1RD_1RA1LE_0LA0LD_0RB1RZ [H 1.15341e+09 T:3405749]
  • 1RB0LE_0RC1RF_1RD0RF_1RE1RZ_1LA1LE_0RA1RB [H 3.12768e+12 T:19048114]
  • 1RB0LA_1RC1RD_1LB1RA_1RZ0RE_1LF0RC_1LA--- [H 1.73976e+10 T:5282649]
  • 1RB0RC_1LC1RE_1RA0LD_1LC0LD_0RD0RF_0RE1RZ [H 5.15281e+10 T:7016309]
  • 1RB1LE_1LC0RD_1LA0LB_1RB0RD_0LD0LF_0LE1RZ [H 5.15275e+10 T:7015844]
  • 1RB0LC_1LA1RD_1LA0LC_1LE1RZ_0RA1RF_1RE0RF [H 3.95886e+11 T:7517071]
  • 1RB0LF_1RC0RF_1LD0RF_0RA0LE_0LD0LC_1RD1RZ [H 2.3053e+11 T:7407081]
  • 1RB0LC_1LC1LF_0RD0LB_1LB1RE_0RD1RD_1RZ1LA [H 3.26024e+11 T:7774548]
  • 1RB1LF_1LC0RE_1RC0LD_1LA1LD_1RA1LA_1RZ0LC [H 1.23283e+11 T:10045033]
  • 1RB1RZ_1LB1RC_1RD0LC_0RE0RF_1RF1RA_0RB0LF [H 3.24088e+10 T:3523337]
  • 1RB1RZ_1LC0LF_1RD0RC_0RE1RB_1LF1LA_0LB1LE [H 2.1598e+11 T:14347981]
  • 1RB0RD_1LC1RE_1LD0LC_1RA0LC_0RC0RF_0RE1RZ [H 5.15281e+10 T:7016292]
  • 1RB0LC_1RC1RF_1LD1LA_0LA1LE_1RA0RA_1RE1RZ [H 6.45588e+10 T:5024954]
  • 1RB0LD_1RC0RA_1LD1RE_1LA0LD_0RD0RF_0RE1RZ [H 5.15269e+10 T:7015795]
  • 1RB0LC_1LA1RE_0LD0LB_1LB1LE_1LF0RB_1RZ1LB [H 1.66549e+09 T:6369426]
  • 1RB1LC_1RC1RZ_1LD0RC_1LE1LD_0LF1LA_1RB0LA [H 1.4001e+11 T:7884536]
  • 1RB1RF_1LC0RD_0LD0LC_1RE1LC_0RB1RA_0LB1RZ [H 3.6566e+12 T:18473722]
  • 1RB1LA_1LC1RE_1LD0LC_0RA0LB_0RF1RZ_1RD1LA [H 2.10217e+12 T:12189454]
  • 1RB1LA_1LC1RE_1LD0LC_0RA0LB_0RF1RZ_1RD1LD [H 2.36494e+12 T:13713936]
  • 1RB0LD_1LC0RE_1RZ1LD_1LA0LE_0LF1LA_0RA0LB [H 6.54971e+10 T:4292546]
  • 1RB0LF_1RC0RD_1LD0RA_0LE0LC_0RB0LA_1RE1RZ [H 2.85747e+10 T:19855880]
  • 1RB1LB_1RC0RD_0LD1RB_0RA1RE_1LF1RZ_1LC0LF [H 2.27574e+09 T:10568376]
  • 1RB0LD_1RC0RA_1LA1RE_1LA0LD_0RD0RF_0RE1RZ [H 5.15269e+10 T:7015808]
  • 1RB0LB_1RC0LA_0LD0RE_1RF1LB_1RD1RZ_1LB0RA [H 4.75041e+11 T:11023834]
  • 1RB0LD_1LC1RF_0RE1RD_1LE1LA_1RA1RE_0RC1RZ [H 2.70672e+10 T:7094089]
  • 1RB1RF_1LC0LA_1RZ1LD_1LE0LB_1LF0LB_0RA1RA [H 1.11891e+11 T:6442899]
  • 1RB1LC_1LA1LD_1LB0RC_1RZ0LE_1RF0LA_1RF1RA [H 1.9353e+10 T:5902023]
  • 1RB1RF_1LC0LA_1RZ1LD_1LE0LB_1RF1RC_0RA1RA [H 1.11892e+11 T:6444018]
  • 1RB1LA_1RC0RF_0RD1RZ_1LE1RE_0LA0LE_0RE1LC [H 2.74752e+09 T:11576855]
  • 1RB1RZ_1RC1LD_1LD0RE_1RF0LE_1RD0LD_0LB0RA [H 4.75023e+11 T:10624658]
  • 1RB1LA_1RC0RF_0RD1RZ_1LE1RE_0LA0LE_0RE1RE [H 2.49775e+09 T:10530510]
  • 1RB1LA_0RC1RE_1LD0RB_1RA0LD_1RF1RC_1LA1RZ [H 1.10102e+09 T:3025577]
  • 1RB0LA_0LC1RD_1LB1LA_0RE1RZ_1RF1RE_0RC0LC [H 1.70715e+12 T:13221670]
  • 1RB0RF_1LC0RF_0RE0LD_0LC0LB_1RA0LF_1RC1RZ [H 2.30525e+11 T:6839012]
  • 1RB0RF_1LC0RD_0LD0LC_1RE1LC_0RB1RA_1RE1RZ [H 3.25031e+12 T:14825820]
  • 1RB0LC_1LA1RE_1LD1LA_1RA1RD_0RF1RZ_0RD1RC [H 2.70671e+10 T:7093451]
  • 1RB1RF_1RC0LB_0RD0RE_1LD1LB_1RZ1RF_0RC1RA [H 4.62612e+09 T:3959919]
  • 1RB1LF_0LC1LE_1LD1LC_1LA0RE_1RC1RD_0LB1RZ [H 2.70696e+10 T:5112392]
  • 1RB0LC_1LC1RD_1LA0LC_1LE1RZ_0RA1RF_1RE0RF [H 3.95886e+11 T:7516964]
  • 1RB1RZ_1LC0RF_1RE0LD_0LC1RB_1RA0RC_0RB0RD [H 3.98952e+09 T:18939887]
  • 1RB0LC_1LC1RD_1LA0LC_0RE1RZ_1RF0RE_0RA1RE [H 3.46401e+11 T:6578107]
  • 1RB0RE_1LC0LF_1RZ1LD_1RA1LF_1RA1RE_0LA1LB [H 1.72312e+09 T:5469909]
  • 1RB0LF_1LC0RF_0RE0LD_1LE1RZ_1LA1RB_1LB0RB [H 4.7503e+11 T:10626761]
  • 1RB1LE_1LC1RE_1LD0LC_0RA0LB_0RF1RZ_1RD1LA [H 2.10217e+12 T:12189479]
  • 1RB1RF_1LC0LA_1RZ1LD_1LE0LB_1LF1RC_0RA1RA [H 1.11892e+11 T:6444041]
  • 1RB0RB_1LC0RC_1LE0RD_0RB1LA_0LA0LF_0LD1RZ [H 9.23399e+10 T:5789555]
  • 1RB1LA_0RC1RE_1LD0RB_1RA0LD_0RF1RC_0LB1RZ [H 1.10102e+09 T:3025781]
  • 1RB0LA_1RC1RD_1LB1RA_0LF0RE_1LF0RC_1LA1RZ [H 1.73976e+10 T:5282652]
  • 1RB0LA_1RC1RD_1LB1RA_0RF0RE_1LF0RC_1LA1RZ [H 1.73976e+10 T:5282650]
  • 1RB0LA_1RC1RD_1LB1RA_1LF0RE_1LF0RC_1LA1RZ [H 1.73976e+10 T:5282652]
  • 1RB0LA_1RC1RD_1LB1RA_1RF0RE_1LF0RC_1LA1RZ [H 1.73976e+10 T:5282650]
@UncombedCoconut
Copy link
Author

Output from the 4-hour run:

$ pypy3 Code/Quick_Sim.py -p <(echo 1RB0RE_1LC1RD_1LA0LC_1RE1RF_0RB0LB_0RA---)
...
         Steps:                     Times Applied:
Total:   ~10^18.31411                   7863489095
Macro:   ~10^10.46965                   5242326115
Chain:   ~10^18.31411                   2621162980
Tape copies: 0
Elapsed time: 13592.465683460236
000^inf 001^1 110^491_468_084 111^1 011^1 101^122_867_020 110^1 111^1 011^30_716_754 101^1 110^7_679_188 111^1 011^1 101^1_919_796 110^1 111^1 011^479_948 101^1 110^119_986 111^1 011^1 101^29_996 110^1 111^1 011^7_498 101^1 110^1_874 111^1 011^1 101^468 110^1 111^1 011^116 101^1 110^28 111^1 011^1 101^6 110^1 111^1 011^1 110^1 (111) Z> 010^1 000^inf
Num Nonzeros: 1_310_581_591  =  1_310_581_591

Turing Machine reached Undefined transition
State:  5
Symbol: 1

Steps:    ~10^18.31411  =  2_061_148_835_758_885_806
Nonzeros: 1_310_581_591  =  1_310_581_591

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@UncombedCoconut