-
Notifications
You must be signed in to change notification settings - Fork 0
/
four-variable-chart.txt
216 lines (170 loc) · 20.5 KB
/
four-variable-chart.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
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
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
Gurvich-Khachiyan 3 :
k4 hw3 c4 pan3b pan3 k4- path4 k3d d41 star3 k2dd |F| |G| leaf nodes
"first-fmax" 0 0 9936 0 0 0 0 0 0 0 0 128 64 48487
"first-fthresh" 0 0 7344 0 0 0 0 0 0 0 0 128 64 33457
"first-fnone" 0 0 7344 0 0 0 0 0 0 0 0 128 64 33457
"rand-fmax" 0 0 9929 2326 9922 0 0 0 3796 1056 2744 128 64 80138
"rand-fthresh" 0 0 11101 30031 83315 0 0 0 16881 9054 27349 128 64 364754
"rand-fnone" 0 0 11209 28742 82861 0 0 0 15716 9200 29203 128 64 359795
matching:
k4 hw3 c4 pan3b pan3 k4- path4 k3d d41 star3 k2dd |F| |G| leaf nodes
"20-fmax" 0 0 256 0 0 0 0 0 0 0 0 10 1024 1023
"20-fthresh" 0 0 256 0 0 0 0 0 0 0 0 10 1024 1023
"20-fnone" 0 0 256 0 0 0 0 0 0 0 0 10 1024 1023
"24-fmax" 0 0 1024 0 0 0 0 0 0 0 0 12 4096 4095
"24-fthresh" 0 0 1024 0 0 0 0 0 0 0 0 12 4096 4095
"24-fnone" 0 0 1024 0 0 0 0 0 0 0 0 12 4096 4095
"28-fmax" 0 0 4096 0 0 0 0 0 0 0 0 14 16384 16383
"28-fthresh" 0 0 4096 0 0 0 0 0 0 0 0 14 16384 16383
"28-fnone" 0 0 4096 0 0 0 0 0 0 0 0 14 16384 16383
"30-fmax" 0 0 8192 0 0 0 0 0 0 0 0 15 32768 32767
"30-fthresh" 0 0 8192 0 0 0 0 0 0 0 0 15 32768 32767
"30-fnone" 0 0 8192 0 0 0 0 0 0 0 0 15 32768 32767
"32-fmax" 0 0 16384 0 0 0 0 0 0 0 0 16 65536 65535
"32-fthresh" 0 0 16384 0 0 0 0 0 0 0 0 16 65536 65535
"32-fnone" 0 0 16384 0 0 0 0 0 0 0 0 16 65536 65535
self dual threshold graph:
k4 hw3 c4 pan3b pan3 k4- path4 k3d d41 star3 k2dd
"42-fmax" 0 0 0 0 6 0 0 0 4 0 0 422 422 78
"42-fthresh" 0 0 0 0 72 0 0 0 0 72 0 422 422 792
"42-fnone" 0 0 0 2 76 0 0 0 0 74 0 422 422 874
"62-fmax" 0 0 0 0 6 0 0 0 4 0 0 932 932 118
"62-fthresh" 0 0 0 0 112 0 0 0 0 112 0 932 932 1748
"62-fnone" 0 0 0 2 116 0 0 0 0 114 0 932 932 1914
"82-fmax" 0 0 0 0 6 0 0 0 4 0 0 1642 1642 158
"82-fthresh" 0 0 0 2 6 0 0 0 4 0 0 1642 1642 160
"82-fnone" 0 0 0 2 156 0 0 0 0 154 0 1642 1642 3354
"102-fmax" 0 0 0 0 6 0 0 0 4 0 0 2552 2552 198
"102-fthresh" 0 0 0 2 6 0 0 0 4 0 0 2552 2552 200
"102-fnone" 0 0 0 2 196 0 0 0 0 194 0 2552 2552 5194
"122-fmax" 0 0 0 0 6 0 0 0 4 0 0 3662 3662 238
"122-fthresh" 0 0 0 2 6 0 0 0 4 0 0 3662 3662 240
"122-fnone" 0 0 0 2 236 0 0 0 0 234 0 3662 3662 7434
self dual fano plane:
k4 hw3 c4 pan3b pan3 k4- path4 k3d d41 star3 k2dd |F| |G| leaf nodes
"9-fmax" 0 0 12 0 0 0 0 0 0 0 0 15 15 42
"9-fthresh" 0 0 0 0 12 12 0 0 0 0 0 15 15 48
"9-fnone" 0 0 0 0 12 12 0 0 0 0 0 15 15 48
"16-fmax" 0 0 264 0 12 0 0 0 0 0 12 64 64 1018
"16-fthresh" 0 0 0 288 576 0 0 0 0 288 0 64 64 2112
"16-fnone" 0 0 0 288 576 0 0 0 0 288 0 64 64 2304
"23-fmax" 0 0 5940 0 456 0 0 0 0 0 456 365 365 24616
"23-fthresh" 0 0 0 6912 13824 0 0 0 0 6912 0 365 365 51840
"23-fnone" 0 0 0 6912 13824 0 0 0 0 6912 0 365 365 56448
"30-fmax" 0 0 136016 0 13276 0 0 0 0 280 12996 2430 2430 595354
"30-fthresh" 0 0 0 165888 331776 0 0 0 0 165888 0 2430 2430 1245312
"30-fnone" 0 0 0 165888 331776 0 0 0 0 165888 0 2430 2430 1355904
"37-fmax" 0 0 3152268 0 358928 0 0 0 0 29696 329232 16843 16843 14433084
"37-fthresh" 0 0 0 3981312 7962624 0 0 0 0 3981312 0 16843 16843 29888640
"37-fnone" 0 0 0 3981312 7962624 0 0 0 0 3981312 0 16843 16843 32542848
connect4- win:
k4 hw3 c4 pan3b pan3 k4- path4 k3d d41 star3 k2dd |F| |G| leaf nodes
"100-fmax" 0 0 84 16 50 0 4 0 2 9 19 100 287 690
"100-fthresh" 0 0 8 137 528 0 0 0 25 7 359 100 287 3795
"100-fnone" 0 0 8 190 781 0 0 0 26 15 550 100 287 5325
"200-fmax" 0 0 324 69 363 0 16 0 51 84 143 200 1145 3387
"200-fthresh" 0 0 459 54 3255 0 59 0 703 11 2428 200 1145 18283
"200-fnone" 0 0 562 66 4199 0 71 0 979 5 3078 200 1145 23070
"400-fmax" 0 0 1695 218 1848 0 46 0 294 527 759 400 6069 16729
"400-fthresh" 0 0 712 553 10100 0 142 0 1675 48 7682 400 6069 60080
"400-fnone" 0 0 755 637 11985 0 162 0 2173 63 8950 400 6069 70308
"800-fmax" 0 0 2954 428 3339 0 60 0 617 1284 943 800 11675 30005
"800-fthresh" 0 0 672 1255 16714 0 259 0 1867 220 13113 800 11675 101899
"800-fnone" 0 0 722 1485 21255 0 401 0 2608 212 16549 800 11675 129833
connect4 - lose:
k4 hw3 c4 pan3b pan3 k4- path4 k3d d41 star3 k2dd |F| |G| leaf nodes
"100-fmax" 0 0 529 36 502 0 3 0 32 391 40 100 2341 4868
"100-fthresh" 0 0 166 156 4598 0 196 0 848 543 2855 100 2341 23032
"100-fnone" 0 0 166 159 5018 0 198 0 905 280 3476 100 2341 24856
"200-fmax" 0 0 2514 84 5951 0 17 0 1440 4123 287 200 22760 37486
"200-fthresh" 0 0 1178 13595 82796 0 1964 0 4720 17743 44774 200 22760 396528
"200-fnone" 0 0 1209 21777 94677 0 3816 0 5286 15934 47864 200 22760 460695
"400-fmax" 0 0 6496 567 10365 1 65 0 1909 6591 1231 400 33087 79619
"400-fthresh" 0 0 9184 57311 198356 0 2934 0 16550 24019 97542 400 33087 934066
"400-fnone" 0 0 10184 75810 251131 0 4781 0 19753 25522 125265 400 33087 1179924
"800-fmax" 0 0 19486 1379 23371 0 132 0 6917 12339 2598 800 79632 192319
"800-fthresh" 0 0 29393 374018 838967 0 43220 0 48001 78587 293438 800 79632 3994338
"800-fnone" 0 0 44125 635974 1318814 0 84332 0 70957 107132 418038 800 79632 6408903
Threshold:
k4 hw3 c4 pan3b pan3 k4- path4 k3d d41 star3 k2dd |F| |G| leaf nodes
"40-fmax" 0 0 0 0 3 0 0 0 2 0 0 400 21 38
"40-fthresh" 0 0 0 0 3 0 0 0 2 0 0 400 21 39
"40-fnone" 0 0 0 0 3 0 0 0 2 0 0 400 21 39
"60-fmax" 0 0 0 0 3 0 0 0 2 0 0 900 31 58
"60-fthresh" 0 0 0 0 3 0 0 0 2 0 0 900 31 59
"60-fnone" 0 0 0 0 3 0 0 0 2 0 0 900 31 59
"80-fmax" 0 0 0 0 3 0 0 0 2 0 0 1600 41 78
"80-fthresh" 0 0 0 0 3 0 0 0 2 0 0 1600 41 79
"80-fnone" 0 0 0 0 3 0 0 0 2 0 0 1600 41 79
"100-fmax" 0 0 0 0 3 0 0 0 2 0 0 2500 51 98
"100-fthresh" 0 0 0 0 3 0 0 0 2 0 0 2500 51 99
"100-fnone" 0 0 0 0 3 0 0 0 2 0 0 2500 51 99
accidents:
k4 hw3 c4 pan3b pan3 k4- path4 k3d d41 star3 k2dd |F| |G| leaf nodes
"150k-fmax" 8 2 0 16 110 9 0 1 36 13 13 447 1039 597
"150k-fthresh" 0 0 0 0 61 0 0 0 57 1 3 447 1039 4897
"150k-fnone" 0 0 0 0 285 0 0 0 265 0 20 447 1039 20022
Uniform random-1000:
k4 hw3 c4 pan3b pan3 k4- path4 k3d d41 star3 k2dd |F| |G| leaf nodes
"p9-fmax" 65 22 162 193 1973 175 121 24 1033 74 98 795 30429 18278
"p9-fthresh" 59 4 22 252 2441 112 12 212 1159 0 594 795 30429 39864
"p9-fnone" 59 4 23 250 2452 114 14 214 1164 0 595 795 30429 39917
"p8-fmax" 42 88 9079 7868 35598 858 923 251 14350 6405 3607 975 364902 279592
"p8-fthresh" 420 125 1696 15578 100369 2400 870 2928 51527 1842 22551 975 364902 983406
"p8-fnone" 484 129 1747 15970 101666 2539 829 3110 51699 1754 23005 975 364902 988668
uniform random 2000:
k4 hw3 c4 pan3b pan3 k4- path4 k3d d41 star3 k2dd |F| |G| leaf nodes
"p99-fmax" 27 0 0 1 66 13 0 2 20 2 0 163 1140 1126
"p99-fthresh" 0 0 0 0 22 1 0 1 14 0 6 163 1140 810
"p99-fnone" 0 0 0 0 22 1 0 1 14 0 6 163 1140 810
"p98-fmax" 26 0 0 0 96 16 1 0 49 0 0 340 3559 1171
"p98-fthresh" 7 0 0 1 65 1 0 8 27 0 21 340 3559 1381
"p98-fnone" 7 0 0 1 65 1 0 8 27 0 21 340 3559 1381
"p95-fmax" 12 0 125 176 921 177 5 50 189 110 151 802 15385 14473
"p95-fthresh" 8 1 3 35 508 23 3 20 256 0 147 802 15385 12349
"p95-fnone" 8 1 3 35 508 23 3 20 256 0 147 802 15385 12353
----------------------------------------------
random tiebreakers:
k4 hw3 c4 pan3b pan3 k4- path4 k3d d41 star3 k2dd |F| |G| leaf nodes
"win100-fmax" 0 0 64 16 67 0 5 0 3 12 31 100 287 687
"win100-fthresh" 0 0 34 688 2874 2 35 4 635 807 692 100 287 14205
"win100-fnone" 2 0 71 2411 13555 19 113 91 2686 3399 4764 100 287 61073
"win200-fmax" 0 0 259 69 432 0 15 0 82 118 148 200 1145 3302
"win200-fthresh" 0 0 144 3794 16242 10 213 26 3298 4496 4323 200 1145 79277
"win200-fnone" 71 18 1388 30312 139922 395 2055 1484 23432 34439 46378 200 1145 607996
"lose100-fmax" 0 0 635 41 420 0 3 0 103 233 40 100 2341 4913
"lose100-fthresh" 0 0 584 14079 51432 31 539 96 10284 11985 14242 100 2341 247376
"lose100-fnone" 0 4 802 16860 69572 44 965 237 9343 19882 21957 100 2341 309628
"matching20-fmax" 0 0 256 0 0 0 0 0 0 0 0 10 1024 1023
"matching20-fthresh" 0 0 21 0 384 0 0 0 139 0 245 10 1024 1615
"matching20-fnone" 0 0 22 0 394 0 0 0 123 0 271 10 1024 1582
"matching24-fmax" 0 0 1024 0 0 0 0 0 0 0 0 12 4096 4095
"matching24-fthresh" 0 0 55 0 1605 0 0 0 593 0 1012 12 4096 6815
"matching24-fnone" 0 0 51 0 1632 0 0 0 598 0 1034 12 4096 7036
"TH40-fmax" 0 0 0 0 0 0 0 0 0 0 0 400 21 24
"TH40-fthresh" 0 0 0 4 30 1 0 1 13 0 11 400 21 476
"TH40-fnone" 3 0 0 7 98 2 0 9 46 3 27 400 21 888
"TH60-fmax" 0 0 0 0 3 0 0 0 3 0 0 900 31 35
"TH60-fthresh" 0 0 0 11 121 2 0 10 58 0 39 900 31 2155
"TH60-fnone" 8 0 0 45 584 11 0 41 278 10 180 900 31 6811
"TH80-fmax" 0 0 0 0 0 0 0 0 0 0 0 1600 41 44
"TH80-fthresh" 3 0 0 32 630 2 0 29 352 5 201 1600 41 12743
"TH80-fnone" 5 0 0 50 614 6 0 25 308 10 201 1600 41 12667
"SDTH42-fmax" 0 0 0 0 7 0 0 0 6 1 0 422 422 53
"SDTH42-fthresh" 0 0 0 9 129 3 0 6 36 63 10 422 422 1432
"SDTH42-fnone" 1 0 0 19 176 1 0 5 84 3 59 422 422 1609
"SDTH62-fmax" 0 0 0 0 6 0 0 0 6 0 0 932 932 82
"SDTH62-fthresh" 0 0 0 17 265 3 0 16 133 5 89 932 932 4649
"SDTH62-fnone" 12 0 0 157 2411 17 0 97 802 945 363 932 932 30351
"SDTH82-fmax" 0 0 0 0 1 0 0 0 1 0 0 1642 1642 94
"SDTH82-fthresh" 8 0 0 90 1159 6 0 50 587 25 382 1642 1642 23165
"SDTH82-fnone" 32 0 0 168 3258 24 0 143 1176 1149 535 1642 1642 62596
"SDFP9-fmax" 0 0 4 8 8 0 0 0 0 0 0 15 15 42
"SDFP9-fthresh" 0 0 2 4 11 2 0 0 1 2 2 15 15 48
"SDFP9-fnone" 0 0 1 5 12 2 0 0 1 2 2 15 15 47
"SDFP16-fmax" 0 0 114 90 115 0 0 0 0 23 2 64 64 870
"SDFP16-fthresh" 0 13 20 112 354 0 0 0 52 69 108 64 64 1515
"SDFP16-fnone" 0 1 24 109 395 0 0 0 63 59 163 64 64 1577
"SDFP23-fmax" 0 0 2319 952 1819 0 0 0 0 837 30 365 365 17304
"SDFP23-fthresh" 0 0 484 2678 10092 0 0 0 1892 1932 3590 365 365 43745
"SDFP23-fnone" 0 0 483 2552 10414 0 0 0 1871 2502 3489 365 365 44279