BB(2,6): Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
VisualWikitext
(→‎Top Halters: new top 10 halter)
(→‎Top Halters: Used more precise value)
 
(2 intermediate revisions by 2 users not shown)
Line 20: Line 20:
|-
|-
|{{TM|1RB2LA1RA4LA5RA0LB_1LA3RA2RB1RZ3RB4LA|halt}}
|{{TM|1RB2LA1RA4LA5RA0LB_1LA3RA2RB1RZ3RB4LA|halt}}
|10 ↑↑ 70  
|10 ↑↑ 70.27
|Shawn Ligocki
|Shawn Ligocki
|-
|-
|{{TM|1RB2LB1RZ3LA2LA4RB_1LA3RB4RB1LB5LB0RA|halt}}
|{{TM|1RB2LB1RZ3LA2LA4RB_1LA3RB4RB1LB5LB0RA|halt}}
|10 ↑↑ 69.68
|10 ↑↑ 69.68
|Andrew Ducharme
|Shawn Ligocki
|-
|-
|{{TM|1RB2LB0RA2RA5RA1LB_2LA4RB3LB2RB0RB1RZ|halt}}
|{{TM|1RB2LB0RA2RA5RA1LB_2LA4RB3LB2RB0RB1RZ|halt}}
Line 61: Line 61:
<math>*^3</math>= Decided,
<math>*^3</math>= Decided,
<math>*^4</math>= Processed)
<math>*^4</math>= Processed)
{| 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" |Terry Ligocki
|22,302,296
|20,246,662
|9.2%
|23.0
|24.80
|269.09
|style="text-align:left" |MitM_CTL RWL_mod sim 1001 maxT 3000 H 6 mod 2 n 6 run
|rowspan="100" |[https://drive.google.com/drive/folders/1TsSpW27x3LBlu5qmk-cjzCJzgo_3ehyT?usp=share_link Google Drive]
|-
|style="text-align:center" |Terry Ligocki
|20,246,662
|19,134,631
|5.5%
|83.4
|3.71
|67.46
|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
|19,134,631
|5,443,318
|71.6%
|46.6
|81.69
|114.17
|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
|5,443,318
|3,400,118
|37.5%
|16.3
|34.87
|92.90
|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
|3,400,118
|3,303,416
|2.8%
|14.1
|1.90
|66.82
|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
|3,303,416
|3,249,427
|1.6%
|16.5
|0.91
|55.59
|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
|3,249,427
|3,155,741
|2.9%
|13.4
|1.94
|67.25
|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
|3,155,741
|2,246,891
|28.8%
|14.1
|17.93
|62.24
|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
|2,246,891
|2,143,803
|4.6%
|7.5
|3.82
|83.19
|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
|2,143,803
|1,938,663
|9.6%
|7.5
|7.58
|79.21
|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,938,663
|1,885,153
|2.8%
|7.5
|1.98
|71.72
|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,885,153
|1,848,887
|1.9%
|10.5
|0.96
|49.68
|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,848,887
|1,816,027
|1.8%
|7.6
|1.20
|67.77
|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,816,027
|1,688,951
|7.0%
|10.4
|3.40
|48.66
|style="text-align:left" |MitM_CTL CPS_LRU sim 1001 maxT 30000 LRUH 4 H 2 tH 0 n 2 run
|}
<!--
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"
{| class="wikitable sortable" style="text-align: right"
Line 156: Line 301:
|1.56
|1.56
|67.28
|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:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 8 run
|-
|-
Line 165: Line 311:
|83.71
|83.71
|113.67
|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:left" |chr_LRUH 20 chr_H 12 MitM_CTL NG maxT 10000 NG_n 3 run
|-
|-
Line 174: Line 322:
|35.92
|35.92
|92.67
|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:left" |chr_LRUH 8 chr_H 4 MitM_CTL NG maxT 10000 NG_n 3 run
|-
|-
Line 183: Line 334:
|1.59
|1.59
|59.22
|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:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 8 mod 3 n 6 run
|-
|-
Line 192: Line 347:
|0.78
|0.78
|57.29
|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:left" |chr_LRUH 0 chr_H 0 MitM_CTL NG maxT 30000 NG_n 7 run
|-
|-
Line 201: Line 361:
|2.01
|2.01
|65.89
|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:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 6 mod 2 n 6 run
|-
|-
Line 210: Line 376:
|19.51
|19.51
|66.45
|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:left" |chr_LRUH 8 chr_H 8 MitM_CTL NG maxT 30000 NG_n 2 run
|-
|-
Line 219: Line 392:
|3.55
|3.55
|66.67
|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:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 3 mod 3 n 1 run
|-
|-
Line 228: Line 409:
|6.90
|6.90
|63.09
|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:left" |MitM_CTL CPS_LRU sim 1001 maxT 10000 LRUH 8 H 1 tH 1 n 4 run
|-
|-
Line 237: Line 427:
|1.68
|1.68
|56.24
|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:left" |chr_LRUH 14 chr_H 12 MitM_CTL NG maxT 10000 NG_n 2 run
|-
|-
Line 246: Line 446:
|0.58
|0.58
|47.78
|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:left" |MitM_CTL RWL_mod sim 1001 maxT 10000 H 3 mod 1 n 12 run
|-
|-
Line 255: Line 466:
|0.96
|0.96
|53.83
|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:left" |chr_LRUH 18 chr_H 8 MitM_CTL NG maxT 10000 NG_n 5 run
|-
|-
Line 264: Line 487:
|3.96
|3.96
|48.11
|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
|style="text-align:left" |MitM_CTL CPS_LRU sim 1001 maxT 30000 LRUH 4 H 2 tH 0 n 2 run
|}
|}
 
-->
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.
 


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

Latest revision as of 23:42, 13 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:

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 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 Andrew Ducharme*
1RB2LB3LA1RA0RA1RZ_1LA2RB1LB4RB5RA3LA (bbch) 10 ↑↑ 20.58 Shawn Ligocki
1RB0RA3RB0LB1RA2LA_2LA4LB1RA3LB5LB1RZ (bbch) 10 ↑↑ 17.53 Andrew Ducharme*

All decimal places are truncated. Discoverers are asterisked where it is unclear if the TM had been found but unreported by someone previously (namely Shawn Ligocki).

Filtering

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

(done to reduce column size: = % Reduced, = Compute Time (core-hours), = Decided, = Processed)

Done by Holdout TMs TMs/sec/core Description Data
Input Output
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=3723"