BB(2,6): Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
← Older editNewer edit →
VisualWikitext
ADucharme (talk | contribs)
282 edits
→Top Halters: correcting truncation
Tjligocki (talk | contribs)
249 edits
m Changed "center" to "left" alignment for names in second table. Removed commented out table (before, I had saved it this way).
Line 76: Line 76:
!<math>*^4</math>
!<math>*^4</math>
|-
|-
|style="text-align:center" |Terry Ligocki
|style="text-align:left" |Terry Ligocki
|22,302,296
|22,302,296
|20,246,662
|20,246,662
Line 86: Line 86:
|rowspan="100" |[https://drive.google.com/drive/folders/1TsSpW27x3LBlu5qmk-cjzCJzgo_3ehyT?usp=share_link Google Drive]
|rowspan="100" |[https://drive.google.com/drive/folders/1TsSpW27x3LBlu5qmk-cjzCJzgo_3ehyT?usp=share_link Google Drive]
|-
|-
|style="text-align:center" |Terry Ligocki
|style="text-align:left" |Terry Ligocki
|20,246,662
|20,246,662
|19,134,631
|19,134,631
Line 95: Line 95:
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 8 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 8 run
|-
|-
|style="text-align:center" |Terry Ligocki
|style="text-align:left" |Terry Ligocki
|19,134,631
|19,134,631
|5,443,318
|5,443,318
Line 104: Line 104:
|style="text-align:left" |chr_LRUH 20 chr_H 12 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |chr_LRUH 20 chr_H 12 MitM_CTL NG maxT 10000 NG_n 3 run
|-
|-
|style="text-align:center" |Terry Ligocki
|style="text-align:left" |Terry Ligocki
|5,443,318
|5,443,318
|3,400,118
|3,400,118
Line 113: Line 113:
|style="text-align:left" |chr_LRUH 8 chr_H 4 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |chr_LRUH 8 chr_H 4 MitM_CTL NG maxT 10000 NG_n 3 run
|-
|-
|style="text-align:center" |Terry Ligocki
|style="text-align:left" |Terry Ligocki
|3,400,118
|3,400,118
|3,303,416
|3,303,416
Line 122: Line 122:
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 8 mod 3 n 6 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 8 mod 3 n 6 run
|-
|-
|style="text-align:center" |Terry Ligocki
|style="text-align:left" |Terry Ligocki
|3,303,416
|3,303,416
|3,249,427
|3,249,427
Line 131: Line 131:
|style="text-align:left" |chr_LRUH 0 chr_H 0 MitM_CTL NG maxT 30000 NG_n 7 run
|style="text-align:left" |chr_LRUH 0 chr_H 0 MitM_CTL NG maxT 30000 NG_n 7 run
|-
|-
|style="text-align:center" |Terry Ligocki
|style="text-align:left" |Terry Ligocki
|3,249,427
|3,249,427
|3,155,741
|3,155,741
Line 140: Line 140:
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 6 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 6 run
|-
|-
|style="text-align:center" |Terry Ligocki
|style="text-align:left" |Terry Ligocki
|3,155,741
|3,155,741
|2,246,891
|2,246,891
Line 149: Line 149:
|style="text-align:left" |chr_LRUH 8 chr_H 8 MitM_CTL NG maxT 30000 NG_n 2 run
|style="text-align:left" |chr_LRUH 8 chr_H 8 MitM_CTL NG maxT 30000 NG_n 2 run
|-
|-
|style="text-align:center" |Terry Ligocki
|style="text-align:left" |Terry Ligocki
|2,246,891
|2,246,891
|2,143,803
|2,143,803
Line 158: Line 158:
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 3 mod 3 n 1 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 3 mod 3 n 1 run
|-
|-
|style="text-align:center" |Terry Ligocki
|style="text-align:left" |Terry Ligocki
|2,143,803
|2,143,803
|1,938,663
|1,938,663
Line 167: Line 167:
|style="text-align:left" |MitM_CTL CPS_LRU sim 1001 maxT 10000 LRUH 8 H 1 tH 1 n 4 run
|style="text-align:left" |MitM_CTL CPS_LRU sim 1001 maxT 10000 LRUH 8 H 1 tH 1 n 4 run
|-
|-
|style="text-align:center" |Terry Ligocki
|style="text-align:left" |Terry Ligocki
|1,938,663
|1,938,663
|1,885,153
|1,885,153
Line 176: Line 176:
|style="text-align:left" |chr_LRUH 14 chr_H 12 MitM_CTL NG maxT 10000 NG_n 2 run
|style="text-align:left" |chr_LRUH 14 chr_H 12 MitM_CTL NG maxT 10000 NG_n 2 run
|-
|-
|style="text-align:center" |Terry Ligocki
|style="text-align:left" |Terry Ligocki
|1,885,153
|1,885,153
|1,848,887
|1,848,887
Line 185: Line 185:
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 3 mod 1 n 12 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 3 mod 1 n 12 run
|-
|-
|style="text-align:center" |Terry Ligocki
|style="text-align:left" |Terry Ligocki
|1,848,887
|1,848,887
|1,816,027
|1,816,027
Line 194: Line 194:
|style="text-align:left" |chr_LRUH 18 chr_H 8 MitM_CTL NG maxT 10000 NG_n 5 run
|style="text-align:left" |chr_LRUH 18 chr_H 8 MitM_CTL NG maxT 10000 NG_n 5 run
|-
|-
|style="text-align:center" |Terry Ligocki
|style="text-align:left" |Terry Ligocki
|1,816,027
|1,816,027
|1,688,951
|1,688,951
Line 206: Line 206:
<!--
<!--
A far more efficient pipeline would immediately apply lr_enum_continue out to 1M steps to Terry Ligocki's holdout list. lr_enum_continue, written in C++, is about 400x faster than Enumerate.py at checking for Lin Recursion. Using Enumerate.py meant its Reverse Engineering decider was applied to all holdouts, and solved 74,089 TMs (0.33% of holdouts)...at the cost of roughly 274.1 hours of compute.
A far more efficient pipeline would immediately apply lr_enum_continue out to 1M steps to Terry Ligocki's holdout list. lr_enum_continue, written in C++, is about 400x faster than Enumerate.py at checking for Lin Recursion. Using Enumerate.py meant its Reverse Engineering decider was applied to all holdouts, and solved 74,089 TMs (0.33% of holdouts)...at the cost of roughly 274.1 hours of compute.
{| class="wikitable sortable" style="text-align: right"
!rowspan="2" |Done by
!colspan="2" |Holdout TMs
!rowspan="2" |<math>*^1</math>
!rowspan="2" |<math>*^2</math>
!colspan="2" |TMs/sec/core
!rowspan="2" |Description
!rowspan="2" |Data
|-
!Input
!Output
!<math>*^3</math>
!<math>*^4</math>
|-
|style="text-align:center" |Andrew Ducharme
|22,302,296
|20,778,101
|6.8%
|274.6
|
|22.56
|style="text-align:left" |Enumerate.py with --no-sim and --lin-steps=10_000
|rowspan="100" |[https://drive.google.com/drive/folders/1TsSpW27x3LBlu5qmk-cjzCJzgo_3ehyT?usp=share_link Google Drive]
|-
|style="text-align:center" |Andrew Ducharme
|20,778,101
|19,257,876
|7.3%
|200.0
|
|28.00
|style="text-align:left" |lr_enum_continue 1M steps
|-
|style="text-align:center" |Andrew Ducharme
|19,280,508
|19,004,377
|1.4%
|2,174.6
|
|2.46
|style="text-align:left" |Enumerate.py with --block-multiple=1, max-loops=20_000, and --time=1
|-
|style="text-align:center" |Andrew Ducharme
|19,005,529
|18,952,159
|0.3%
|1,952.7
|
|2.70
|style="text-align:left" |Enumerate.py with --block-multiple=2, max-loops=20_000, and --time=120
|-
|style="text-align:center" |Andrew Ducharme
|18,952,159
|18,054,938
|4.7%
|4,168.4
|
|1.26
|style="text-align:left" |CPS_Filter with --block-size=7
|-
|style="text-align:center" |Andrew Ducharme
|18,068,066
|17,996,475
|0.4%
|1,100.0
|
|4.50
|style="text-align:left" |lr_enum_continue 10M steps
|-
|style="text-align:center" |Andrew Ducharme
|17,999,451
|17,629,828
|2.1%
|1,610.6
|
|0.31
|style="text-align:left" |Enumerate.py with --block-multiple=8, max-loops=100_000, and --time=0.45
|-
|style="text-align:center" |Terry Ligocki
|17,629,828
|17,224,474
|2.3%
|18.7
|6.01
|261.45
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 3000 H 6 mod 2 n 6 run
|-
|style="text-align:center" |Terry Ligocki
|17,224,474
|16,824,222
|2.3%
|71.1
|1.56
|67.28
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 3000 H 6 mod 2 n 6 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 8 run
|-
|style="text-align:center" |Terry Ligocki
|16,824,222
|4,434,034
|73.6%
|41.1
|83.71
|113.67
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 3000 H 6 mod 2 n 6 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 8 run
|style="text-align:left" |chr_LRUH 20 chr_H 12 MitM_CTL NG maxT 10000 NG_n 3 run
|-
|style="text-align:center" |Terry Ligocki
|4434034
|2,715,631
|38.8%
|13.3
|35.92
|92.67
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 3000 H 6 mod 2 n 6 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 8 run
|style="text-align:left" |chr_LRUH 20 chr_H 12 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |chr_LRUH 8 chr_H 4 MitM_CTL NG maxT 10000 NG_n 3 run
|-
|style="text-align:center" |Terry Ligocki
|2,715,631
|2,642,604
|2.7%
|12.7
|1.59
|59.22
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 3000 H 6 mod 2 n 6 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 8 run
|style="text-align:left" |chr_LRUH 20 chr_H 12 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |chr_LRUH 8 chr_H 4 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 8 mod 3 n 6 run
|-
|style="text-align:center" |Terry Ligocki
|2,642,604
|2,606,842
|1.4%
|12.8
|0.78
|57.29
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 3000 H 6 mod 2 n 6 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 8 run
|style="text-align:left" |chr_LRUH 20 chr_H 12 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |chr_LRUH 8 chr_H 4 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 8 mod 3 n 6 run
|style="text-align:left" |chr_LRUH 0 chr_H 0 MitM_CTL NG maxT 30000 NG_n 7 run
|-
|style="text-align:center" |Terry Ligocki
|2,606,842
|2,527,197
|3.1%
|11.0
|2.01
|65.89
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 3000 H 6 mod 2 n 6 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 8 run
|style="text-align:left" |chr_LRUH 20 chr_H 12 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |chr_LRUH 8 chr_H 4 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 8 mod 3 n 6 run
|style="text-align:left" |chr_LRUH 0 chr_H 0 MitM_CTL NG maxT 30000 NG_n 7 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 6 run
|-
|style="text-align:center" |Terry Ligocki
|2,527,197
|1,785,192
|29.4%
|10.6
|19.51
|66.45
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 3000 H 6 mod 2 n 6 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 8 run
|style="text-align:left" |chr_LRUH 20 chr_H 12 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |chr_LRUH 8 chr_H 4 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 8 mod 3 n 6 run
|style="text-align:left" |chr_LRUH 0 chr_H 0 MitM_CTL NG maxT 30000 NG_n 7 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 6 run
|style="text-align:left" |chr_LRUH 8 chr_H 8 MitM_CTL NG maxT 30000 NG_n 2 run
|-
|style="text-align:center" |Terry Ligocki
|1,785,192
|1,690,054
|5.3%
|7.4
|3.55
|66.67
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 3000 H 6 mod 2 n 6 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 8 run
|style="text-align:left" |chr_LRUH 20 chr_H 12 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |chr_LRUH 8 chr_H 4 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 8 mod 3 n 6 run
|style="text-align:left" |chr_LRUH 0 chr_H 0 MitM_CTL NG maxT 30000 NG_n 7 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 6 run
|style="text-align:left" |chr_LRUH 8 chr_H 8 MitM_CTL NG maxT 30000 NG_n 2 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 3 mod 3 n 1 run
|-
|style="text-align:center" |Terry Ligocki
|1,690,054
|1,505,268
|10.9%
|7.4
|6.90
|63.09
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 3000 H 6 mod 2 n 6 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 8 run
|style="text-align:left" |chr_LRUH 20 chr_H 12 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |chr_LRUH 8 chr_H 4 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 8 mod 3 n 6 run
|style="text-align:left" |chr_LRUH 0 chr_H 0 MitM_CTL NG maxT 30000 NG_n 7 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 6 run
|style="text-align:left" |chr_LRUH 8 chr_H 8 MitM_CTL NG maxT 30000 NG_n 2 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 3 mod 3 n 1 run
|style="text-align:left" |MitM_CTL CPS_LRU sim 1001 maxT 10000 LRUH 8 H 1 tH 1 n 4 run
|-
|style="text-align:center" |Terry Ligocki
|1,505,268
|1,460,289
|3.0%
|7.4
|1.68
|56.24
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 3000 H 6 mod 2 n 6 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 8 run
|style="text-align:left" |chr_LRUH 20 chr_H 12 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |chr_LRUH 8 chr_H 4 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 8 mod 3 n 6 run
|style="text-align:left" |chr_LRUH 0 chr_H 0 MitM_CTL NG maxT 30000 NG_n 7 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 6 run
|style="text-align:left" |chr_LRUH 8 chr_H 8 MitM_CTL NG maxT 30000 NG_n 2 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 3 mod 3 n 1 run
|style="text-align:left" |MitM_CTL CPS_LRU sim 1001 maxT 10000 LRUH 8 H 1 tH 1 n 4 run
|style="text-align:left" |chr_LRUH 14 chr_H 12 MitM_CTL NG maxT 10000 NG_n 2 run
|-
|style="text-align:center" |Terry Ligocki
|1,460,289
|1,442,538
|1.2%
|8.5
|0.58
|47.78
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 3000 H 6 mod 2 n 6 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 8 run
|style="text-align:left" |chr_LRUH 20 chr_H 12 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |chr_LRUH 8 chr_H 4 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 8 mod 3 n 6 run
|style="text-align:left" |chr_LRUH 0 chr_H 0 MitM_CTL NG maxT 30000 NG_n 7 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 6 run
|style="text-align:left" |chr_LRUH 8 chr_H 8 MitM_CTL NG maxT 30000 NG_n 2 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 3 mod 3 n 1 run
|style="text-align:left" |MitM_CTL CPS_LRU sim 1001 maxT 10000 LRUH 8 H 1 tH 1 n 4 run
|style="text-align:left" |chr_LRUH 14 chr_H 12 MitM_CTL NG maxT 10000 NG_n 2 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 3 mod 1 n 12 run
|-
|style="text-align:center" |Terry Ligocki
|1,442,538
|1,416,921
|1.8%
|7.4
|0.96
|53.83
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 3000 H 6 mod 2 n 6 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 8 run
|style="text-align:left" |chr_LRUH 20 chr_H 12 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |chr_LRUH 8 chr_H 4 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 8 mod 3 n 6 run
|style="text-align:left" |chr_LRUH 0 chr_H 0 MitM_CTL NG maxT 30000 NG_n 7 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 6 run
|style="text-align:left" |chr_LRUH 8 chr_H 8 MitM_CTL NG maxT 30000 NG_n 2 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 3 mod 3 n 1 run
|style="text-align:left" |MitM_CTL CPS_LRU sim 1001 maxT 10000 LRUH 8 H 1 tH 1 n 4 run
|style="text-align:left" |chr_LRUH 14 chr_H 12 MitM_CTL NG maxT 10000 NG_n 2 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 3 mod 1 n 12 run
|style="text-align:left" |chr_LRUH 18 chr_H 8 MitM_CTL NG maxT 10000 NG_n 5 run
|-
|style="text-align:center" |Terry Ligocki
|1,416,921
|1,300,334
|8.2%
|8.2
|3.96
|48.11
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 3000 H 6 mod 2 n 6 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 8 run
|style="text-align:left" |chr_LRUH 20 chr_H 12 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |chr_LRUH 8 chr_H 4 MitM_CTL NG maxT 10000 NG_n 3 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 8 mod 3 n 6 run
|style="text-align:left" |chr_LRUH 0 chr_H 0 MitM_CTL NG maxT 30000 NG_n 7 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 6 run
|style="text-align:left" |chr_LRUH 8 chr_H 8 MitM_CTL NG maxT 30000 NG_n 2 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 3 mod 3 n 1 run
|style="text-align:left" |MitM_CTL CPS_LRU sim 1001 maxT 10000 LRUH 8 H 1 tH 1 n 4 run
|style="text-align:left" |chr_LRUH 14 chr_H 12 MitM_CTL NG maxT 10000 NG_n 2 run
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 3 mod 1 n 12 run
|style="text-align:left" |chr_LRUH 18 chr_H 8 MitM_CTL NG maxT 10000 NG_n 5 run
|style="text-align:left" |MitM_CTL CPS_LRU sim 1001 maxT 30000 LRUH 4 H 2 tH 0 n 2 run
|}
-->
-->


[[Category: BB Domains]]
[[Category: BB Domains]]

Revision as of 18:45, 26 September 2025

The 2-state, 6-symbol Busy Beaver problem, BB(2,6), is unsolved. With cryptids like Hydra in the preceding domain BB(2,5), we know that we must solve a Collatz-like problem in order to solve BB(2,6).

The current BB(2,6) champion 1RB3RB5RA1LB5LA2LB_2LA2RA4RB1RZ3LB2LA (bbch) was discovered by Pavel Kropitz in May 2023, proving the lower bound:S(2,6)>Σ(2,6)>10↑↑10↑↑1010115>10↑↑↑3

Top Halters

The highest known scoring machines are:

TM Approximate sigma score Discoverer
1RB3RB5RA1LB5LA2LB_2LA2RA4RB1RZ3LB2LA (bbch) 10 ↑↑↑ 3 Pavel Kropitz
1RB3LA4LB0RB1RA3LA_2LA2RA4LA1RA5RB1RZ (bbch) 10 ↑↑ 91.17 Pavel Kropitz
1RB2LA1RA4LA5RA0LB_1LA3RA2RB1RZ3RB4LA (bbch) 10 ↑↑ 70.27 Shawn Ligocki
1RB2LB1RZ3LA2LA4RB_1LA3RB4RB1LB5LB0RA (bbch) 10 ↑↑ 69.68 Shawn Ligocki
1RB2LB0RA2RA5RA1LB_2LA4RB3LB2RB0RB1RZ (bbch) 10 ↑↑ 54.90 Andrew Ducharme
1RB3RB1LB5LA2LB1RZ_2LA3RA4RB2LB0LA4RB (bbch) 10 ↑↑ 42.17 Andrew Ducharme
1RB3LB0RB5RA1LB1RZ_2LB3LA4RA0RB0RA2LB (bbch) 10 ↑↑ 40.07 Andrew Ducharme
1RB3LB3RB4LA2LA4LA_2LA2RB1LB0RA5RA1RZ (bbch) 10 ↑↑ 21.54 Shawn Ligocki
1RB2LB3LA1RA0RA1RZ_1LA2RB1LB4RB5RA3LA (bbch) 10 ↑↑ 20.58 Shawn Ligocki
1RB0RA3RB0LB1RA2LA_2LA4LB1RA3LB5LB1RZ (bbch) 10 ↑↑ 17.53 Shawn Ligocki

All decimal places are truncated.

Filtering

Starting from Terry Ligocki's holdouts list of 22,302,296 TMs, additional filtering has been performed:

(done to reduce column size: *1= % Reduced, *2= Compute Time (core-hours), *3= Decided, *4= Processed)

Done by Holdout TMs *1 *2 TMs/sec/core Description Data
Input Output *3 *4
Terry Ligocki 22,302,296 20,246,662 9.2% 23.0 24.80 269.09 MitM_CTL RWL_mod sim 1001 maxT 3000 H 6 mod 2 n 6 run Google Drive
Terry Ligocki 20,246,662 19,134,631 5.5% 83.4 3.71 67.46 MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 8 run
Terry Ligocki 19,134,631 5,443,318 71.6% 46.6 81.69 114.17 chr_LRUH 20 chr_H 12 MitM_CTL NG maxT 10000 NG_n 3 run
Terry Ligocki 5,443,318 3,400,118 37.5% 16.3 34.87 92.90 chr_LRUH 8 chr_H 4 MitM_CTL NG maxT 10000 NG_n 3 run
Terry Ligocki 3,400,118 3,303,416 2.8% 14.1 1.90 66.82 MitM_CTL RWL_mod sim 1001 maxT 10000 H 8 mod 3 n 6 run
Terry Ligocki 3,303,416 3,249,427 1.6% 16.5 0.91 55.59 chr_LRUH 0 chr_H 0 MitM_CTL NG maxT 30000 NG_n 7 run
Terry Ligocki 3,249,427 3,155,741 2.9% 13.4 1.94 67.25 MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 6 run
Terry Ligocki 3,155,741 2,246,891 28.8% 14.1 17.93 62.24 chr_LRUH 8 chr_H 8 MitM_CTL NG maxT 30000 NG_n 2 run
Terry Ligocki 2,246,891 2,143,803 4.6% 7.5 3.82 83.19 MitM_CTL RWL_mod sim 1001 maxT 10000 H 3 mod 3 n 1 run
Terry Ligocki 2,143,803 1,938,663 9.6% 7.5 7.58 79.21 MitM_CTL CPS_LRU sim 1001 maxT 10000 LRUH 8 H 1 tH 1 n 4 run
Terry Ligocki 1,938,663 1,885,153 2.8% 7.5 1.98 71.72 chr_LRUH 14 chr_H 12 MitM_CTL NG maxT 10000 NG_n 2 run
Terry Ligocki 1,885,153 1,848,887 1.9% 10.5 0.96 49.68 MitM_CTL RWL_mod sim 1001 maxT 10000 H 3 mod 1 n 12 run
Terry Ligocki 1,848,887 1,816,027 1.8% 7.6 1.20 67.77 chr_LRUH 18 chr_H 8 MitM_CTL NG maxT 10000 NG_n 5 run
Terry Ligocki 1,816,027 1,688,951 7.0% 10.4 3.40 48.66 MitM_CTL CPS_LRU sim 1001 maxT 30000 LRUH 4 H 2 tH 0 n 2 run
Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=BB(2,6)&oldid=3841"