3x3_Filter_Log.xlsx

	A	B	C	D	E	F	G	H	I	J	K
1	See README for more information about the Commands. For Commands after the "lr_enum..." commands, there needs to be an "--infile=..." and an "--outfile=..." added.
2
3			# TMs
4			Input	Output
5		Core-mins	# Total	# Total	# Halt	# Inf	# Unknown	% Decided	TM/s Decided	TM/s Processed	Command
6	Total	17,403.664		28,097,605	9,140,976	18,956,553	76
7	Enumerate running 9 steps (all)	0.762	1	24,231,331	5,502,154	4,425,823	14,303,354	40.97%	217,194.859	530,110.063	lr_enum 3 3 9 3x3.halt.txt 3x3.inf.txt 3x3.unk.txt false
8	Enumerate running 100K steps	42.433	14,303,354	18,169,592	3,638,704	13,124,582	1,406,306	92.26%	6,584.166	7,136.525	00 <= XX < 09: lr_enum_continue 3x3.in.XX 100000 3x3.halt.txt 3x3.inf.txt 3x3.unk.txt XX false
9	Reverse Engineering Filter	1.785	1,406,306	1,406,306	0	396,403	1,009,903	28.19%	3,701.587	13,132.001	Reverse_Engineer_Filter.py
10	CPS filter 10K, bs 1-9	59.496	1,009,903	1,009,903	0	942,160	67,743	93.29%	263.929	282.906	CPS_Filter.py --min-block-size=1 --max-block-size=9 --max-steps=10_000
11	CPS filter 100K, bs 1-9, fixed-history 1	110.956	67,743	67,743	0	59,503	8,240	87.84%	8.938	10.176	CPS_Filter.py --min-block-size=1 --max-block-size=9 --fixed-history=1 --max-steps=100_000
12	Enum loops 100K, tape 1K, bs 1, rec, exp	249.536	8,240	8,276	93	122	8,061	2.60%	0.014	0.553	Enumerate.py --max-loops=100_000 --block-size=1 --tape-limit=1_000 --recursive --exp-linear-rules --lin-steps=0 --no-ctl --no-reverse-engineer --save-freq=10_000
13	Enum loops 100K, tape 1K, bs 2, rec, exp	54.971	8,061	8,061	18	6,757	1,286	84.05%	2.054	2.444	Enumerate.py --max-loops=100_000 --block-size=2 --tape-limit=1_000 --recursive --exp-linear-rules --lin-steps=0 --no-ctl --no-reverse-engineer --save-freq=10_000
14	Enum loops 100K, tape 1K, bs 3, rec, exp	60.145	1,286	1,286	4	583	699	45.65%	0.163	0.356	Enumerate.py --max-loops=100_000 --block-size=3 --tape-limit=1_000 --recursive --exp-linear-rules --lin-steps=0 --no-ctl --no-reverse-engineer --save-freq=10_000
15	Enum loops 100K, tape 1K, bs 4, rec, exp	32.110	699	699	1	168	530	24.18%	0.088	0.363	Enumerate.py --max-loops=100_000 --block-size=4 --tape-limit=1_000 --recursive --exp-linear-rules --lin-steps=0 --no-ctl --no-reverse-engineer --save-freq=10_000
16	Enum loops 100K, tape 1K, bs 5, rec, exp	40.229	530	530	0	2	528	0.38%	0.001	0.220	Enumerate.py --max-loops=100_000 --block-size=5 --tape-limit=1_000 --recursive --exp-linear-rules --lin-steps=0 --no-ctl --no-reverse-engineer --save-freq=10_000
17	Enum loops 100K, tape 1K, bs 6, rec, exp	24.354	528	528	2	110	416	21.21%	0.077	0.361	Enumerate.py --max-loops=100_000 --block-size=6 --tape-limit=1_000 --recursive --exp-linear-rules --lin-steps=0 --no-ctl --no-reverse-engineer --save-freq=10_000
18	Enum loops 100K, tape 1K, bs 7, rec, exp	35.088	416	416	0	0	416	0.00%	0.000	0.198	Enumerate.py --max-loops=100_000 --block-size=7 --tape-limit=1_000 --recursive --exp-linear-rules --lin-steps=0 --no-ctl --no-reverse-engineer --save-freq=10_000
19	Enum loops 100K, tape 1K, bs 8, rec, exp	25.366	416	416	0	2	414	0.48%	0.001	0.273	Enumerate.py --max-loops=100_000 --block-size=8 --tape-limit=1_000 --recursive --exp-linear-rules --lin-steps=0 --no-ctl --no-reverse-engineer --save-freq=10_000
20	Enum loops 100K, tape 1K, bs 9, rec, exp	32.637	414	414	0	0	414	0.00%	0.000	0.211	Enumerate.py --max-loops=100_000 --block-size=9 --tape-limit=1_000 --recursive --exp-linear-rules --lin-steps=0 --no-ctl --no-reverse-engineer --save-freq=10_000
21	MITMWFAR, depth 14, m 1	12,846.730	414	414	0	227	187	54.83%	0.000	0.001	MITMWFAR -n=14 -m=1 -pm=1 \| MITMWFAR -sc -pm=2 \| MITMWFAR -fc
22	CPS filter 1M, bs 1-18	23.775	187	187	0	11	176	5.88%	0.008	0.131	CPS_Filter.py --min-block-size=1 --max-block-size=18 --max-steps=1_000_000
23	CPS filter 1M, bs 1-18, fixed-history 1	446.036	176	176	0	3	173	1.70%	0.000	0.007	CPS_Filter.py --min-block-size=1 --max-block-size=18 --fixed-history=1 --max-steps=1_000_000
24	dec-fin-aut-red, direct, depth 12, time 20m	1,791.130	173	173	0	89	84	51.45%	0.001	0.002	decider-finite-automata-reduction-wrapper 3x3 direct 12 20m
25	dec-fin-aut-red, mitm_dfa, depth 16, time 20m	1,526.128	84	84	0	8	76	9.52%	0.000	0.001	decider-finite-automata-reduction-wrapper 3x3 mitm_dfa 16 20m
26
27	Total Core-hours	290.061
28	Total Core-days	12.085
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100