-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathnauty_times.txt
145 lines (145 loc) · 2.99 KB
/
nauty_times.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
sat_cfi_a_0100 0.00
sat_cfi_a_0200 0.00
sat_cfi_a_0300 0.00
sat_cfi_a_0400 0.00
sat_cfi_a_0500 0.00
sat_cfi_a_0600 0.00
sat_cfi_a_0700 0.00
sat_cfi_a_0800 0.00
sat_cfi_a_0900 0.01
sat_cfi_a_1000 0.01
sat_cfi_a_2000 0.59
sat_cfi_a_2250 0.24
sat_cfi_a_2500 0.39
sat_cfi_a_2750 1.20
sat_cfi_a_3000 1.51
sat_cfi_a_3250 1.81
sat_cfi_a_3500 3.12
sat_cfi_a_3750 4.92
sat_cfi_a_4000 4.18
sat_cfi_a_4250 8.55
sat_cfi_a_4500 37.58
sat_cfi_a_4750 292.23
sat_cfi_a_5000 23.84
sat_cfi_a_5250 664.61
sat_cfi_a_5500 634.88
sat_cfi_a_5750 277.51
sat_cfi_a_6000 543.66
sat_cfi_a_6250 463.94
sat_cfi_a_6500 330.17
sat_cfi_a_6750 1725.69
sat_cfi_a_7000 3918.44
sat_cfi_a_7250 1101.17
sat_cfi_a_7500 391.30
sat_cfi_a_7750 817.57
sat_cfi_a_8000 1576.72
sat_cfi_b_0100 0.00
sat_cfi_b_0200 0.00
sat_cfi_b_0300 0.00
sat_cfi_b_0400 0.00
sat_cfi_b_0500 0.00
sat_cfi_b_0600 0.00
sat_cfi_b_0700 0.00
sat_cfi_b_0800 0.00
sat_cfi_b_0900 0.01
sat_cfi_b_1000 0.01
sat_cfi_b_2000 0.16
sat_cfi_b_2250 0.26
sat_cfi_b_2500 0.30
sat_cfi_b_2750 0.71
sat_cfi_b_3000 1.66
sat_cfi_b_3250 2.85
sat_cfi_b_3500 3.96
sat_cfi_b_3750 23.24
sat_cfi_b_4000 8.32
sat_cfi_b_4250 70.45
sat_cfi_b_4500 8.39
sat_cfi_b_4750 144.52
sat_cfi_b_5000 13.26
sat_cfi_b_5250 204.15
sat_cfi_b_5500 101.28
sat_cfi_b_5750 23.27
sat_cfi_b_6000 331.29
sat_cfi_b_6250 329.99
sat_cfi_b_6500 394.37
sat_cfi_b_6750 114.02
sat_cfi_b_7000 700.03
sat_cfi_b_7250 1201.98
sat_cfi_b_7500 1097.60
sat_cfi_b_7750 925.49
sat_cfi_b_8000 3283.25
sat_cfi_c_2000 0.16
sat_cfi_c_2250 0.45
sat_cfi_c_2500 0.33
sat_cfi_c_2750 2.26
sat_cfi_c_3000 1.00
sat_cfi_c_3250 1.05
sat_cfi_c_3500 8.71
sat_cfi_c_3750 1.37
sat_cfi_c_4000 16.42
sat_cfi_c_4250 6.50
sat_cfi_c_4500 62.20
sat_cfi_c_4750 20.26
sat_cfi_c_5000 108.46
sat_cfi_c_5250 112.63
sat_cfi_c_5500 205.77
sat_cfi_c_5750 458.06
sat_cfi_c_6000 158.69
sat_cfi_c_6250 207.30
sat_cfi_c_6500 588.92
sat_cfi_c_6750 1820.51
sat_cfi_c_7000 6230.15
sat_cfi_c_7250 2864.29
sat_cfi_c_7500 2976.26
sat_cfi_c_7750 timeout
sat_cfi_c_8000 7009.40
sat_cfi_d_2000 0.56
sat_cfi_d_2250 0.41
sat_cfi_d_2500 0.50
sat_cfi_d_2750 0.42
sat_cfi_d_3000 0.98
sat_cfi_d_3250 1.88
sat_cfi_d_3500 3.16
sat_cfi_d_3750 42.61
sat_cfi_d_4000 3.24
sat_cfi_d_4250 6.90
sat_cfi_d_4500 21.55
sat_cfi_d_4750 148.66
sat_cfi_d_5000 89.81
sat_cfi_d_5250 32.54
sat_cfi_d_5500 237.39
sat_cfi_d_5750 384.36
sat_cfi_d_6000 573.83
sat_cfi_d_6250 477.58
sat_cfi_d_6500 2210.73
sat_cfi_d_6750 705.67
sat_cfi_d_7000 2018.68
sat_cfi_d_7250 8721.00
sat_cfi_d_7500 9199.06
sat_cfi_d_7750 4397.76
sat_cfi_d_8000 1910.73
sat_cfi_e_2000 0.11
sat_cfi_e_2250 0.45
sat_cfi_e_2500 0.66
sat_cfi_e_2750 2.71
sat_cfi_e_3000 1.80
sat_cfi_e_3250 7.60
sat_cfi_e_3500 4.71
sat_cfi_e_3750 8.60
sat_cfi_e_4000 4.23
sat_cfi_e_4250 8.18
sat_cfi_e_4500 53.02
sat_cfi_e_4750 6.34
sat_cfi_e_5000 175.10
sat_cfi_e_5250 94.15
sat_cfi_e_5500 136.94
sat_cfi_e_5750 63.13
sat_cfi_e_6000 1112.82
sat_cfi_e_6250 478.88
sat_cfi_e_6500 561.51
sat_cfi_e_6750 975.72
sat_cfi_e_7000 1080.61
sat_cfi_e_7250 2201.09
sat_cfi_e_7500 1544.09
sat_cfi_e_7750 2977.52
sat_cfi_e_8000 16820.72