Bug family: Difference between revisions

@@ Line 14: / Line 14: @@
 [[POTE generator]]: ~5/3 = 939.612
-{{Val list|legend=1| 4, 5, 9, 14, 23c }}
+{{Optimal ET sequence|legend=1| 4, 5, 9, 14, 23c }}
 [[Badness]]: 0.032801
@@ Line 29: / Line 29: @@
 [[POTE generator]]: ~5/3 = 936.605
-{{Val list|legend=1| 4, 5, 9, 23cd, 32bcd, 41bcdd }}
+{{Optimal ET sequence|legend=1| 4, 5, 9, 23cd, 32bcd, 41bcdd }}
 [[Badness]]: 0.018638
@@ Line 42: / Line 42: @@
 POTE generator: ~5/3 = 935.688
-Optimal GPV sequence: {{Val list| 4, 5, 9, 32bcde, 41bcdde, 50bbcdde }}
+{{Optimal ET sequence|legend=1| 4, 5, 9, 32bcde, 41bcdde, 50bbcdde }}
 Badness: 0.022649
@@ Line 55: / Line 55: @@
 POTE generator: ~5/3 = 934.065
-Optimal GPV sequence: {{Val list| 4f, 5, 9, 32bcde, 41bcddef, 50bbcddeff }}
+{{Optimal ET sequence|legend=1| 4f, 5, 9, 32bcde, 41bcddef, 50bbcddeff }}
 Badness: 0.021159
@@ Line 68: / Line 68: @@
 POTE generator: ~5/3 = 934.153
-Optimal GPV sequence: {{Val list| 4e, 5e, 9 }}
+{{Optimal ET sequence|legend=1| 4e, 5e, 9 }}
 Badness: 0.022799
@@ Line 83: / Line 83: @@
 [[POTE generator]]: ~5/3 = 959.288
-{{Val list|legend=1| 4dd, 5 }}
+{{Optimal ET sequence|legend=1| 4dd, 5 }}
 [[Badness]]: 0.054770