Fractran champions - Revision history

Int-y1: 7 fractions 17 primes isn't proven yet

2026-10-03T23:34:51Z

7 fractions 17 primes isn't proven yet

2026-10-03T23:34:03Z

6 fractions and 7 fractions

@@ Line 677: / Line 677: @@
 & -1 &  1 &  0 \\
 &  0 & -1 &  1 \end{bmatrix}</math>
+|
+|
 |}

2026-10-03T23:22:54Z

Champions with 5 fractions: shorten "Max runtime"

2026-10-03T23:13:15Z

Champions with 5 fractions: make 5 fractions 19 primes smaller

2026-10-03T01:52:03Z

0 fractions

← Older revision		Revision as of 01:52, 3 October 2026
Line 1:		Line 1:
	In this article we focus on the longest running [[Fractran]] programs containing a specific number of fractions and primes.		In this article we focus on the longest running [[Fractran]] programs containing a specific number of fractions and primes.

			== Champions with 0 fractions ==

			{\| class="wikitable"
			\|+
			!Primes used
			!Max runtime
			!Example champion(s)
			!First champion's vector representation
			!Champion found
			!Notes
			\|-
			\|0
			\|0
			\|<code>[]</code>
			\|<math>\begin{bmatrix}\end{bmatrix}</math>
			\|
			\|
			\|}

	== Champions with 1 fraction ==		== Champions with 1 fraction ==

2026-10-03T01:50:23Z

5 fraction 17 primes isn't proven

← Older revision		Revision as of 01:50, 3 October 2026
Line 624:		Line 624:
	\|-		\|-
	\|17		\|17
	\|~~7548863488598188537~~		\|≥7548863488598188537
	\|<code>[7/30, 27/2, 8/35, 5/3, 7/5]</code>		\|<code>[7/30, 27/2, 8/35, 5/3, 7/5]</code>
	\|<math>\begin{bmatrix}		\|<math>\begin{bmatrix}
Line 633:		Line 633:
	0 & 0 & -1 & 1 \end{bmatrix}</math>		0 & 0 & -1 & 1 \end{bmatrix}</math>
	\|		\|
	\|		\|Probvious champion. 1 Cryptid remains: [[Fractran#Size_22:_Fenrir\|Fenrir]].
	\|-		\|-
	\|18		\|18
Line 647:		Line 647:
	1 & 0 & 1 & -1 \end{bmatrix}</math>		1 & 0 & 1 & -1 \end{bmatrix}</math>
	\|		\|
	\|~~Contains~~ [[Fractran#Size_22:_Fenrir\|Fenrir]] and 1 other Hydra-like Cryptid.		\|Probvious champion. 2 Cryptids remain: [[Fractran#Size_22:_Fenrir\|Fenrir]] and 1 other Hydra-like Cryptid.
	\|-		\|-
	\|19		\|19

2026-10-03T01:46:25Z

5 fractions

2026-10-02T09:21:57Z

4 fractions + add notes

2026-10-02T04:12:20Z

3 fractions

@@ Line 144: / Line 144: @@
 |-
 |n
-|≥n-1
+|n-1
 |<math>[3^{n-2}/2, 1/3]</math>
 <math>[1/3, 3^{n-2}/2]</math>
@@ Line 150: / Line 150: @@
   -1 & n-2 \\
 & -1 \end{bmatrix}</math>
+|
+|
 |}

2026-10-02T03:46:37Z

2 fractions; proving n-1 seems very unfun and i'll let someone else prove it

@@ Line 44: / Line 44: @@
+|
 |-
 |5
-|1
+|<pre>[81/2, 1/3]
-|<code>[81/2]</code>
+[1/3, 81/2]</pre>
 |<math>\begin{bmatrix}
-  -1 &  4 \end{bmatrix}</math>
+  -1 &  7 \\
+|
+|
 |-
 |n
-|1
+|≥n-1
-|<math>[3^{n-1}/2]</math>
+|<math>[3^{n-2}/2, 1/3]</math>
 |<math>\begin{bmatrix}
-  -1 & n-1 \end{bmatrix}</math>
+  -1 & n-2 \\
+|
+|
 |}