busy-beaver icon indicating copy to clipboard operation
busy-beaver copied to clipboard

Published 20 hours ago • verified publisher icon sligocki

New beaver also-rans (6x2)

Open UncombedCoconut opened this issue 7 months ago • 1 comments

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 avatar Jul 14 '24 18:07 UncombedCoconut