self_tests=PASS (24 positive, 2 negative, 50 graph relabellings)
graph_level=1 representatives=1
graph_level=2 representatives=2
graph_level=3 representatives=4
graph_level=4 representatives=11
graph_level=5 representatives=23
graph_level=6 representatives=61
graph_level=7 representatives=141
graph_level=8 representatives=344
graph_level=9 representatives=598
graph_level=10 representatives=441
0 0 UNSAT 1956
0 1 UNSAT 1918
0 2 UNSAT 1916
1 0 UNSAT 1815
1 1 UNSAT 1812
1 2 UNSAT 1779
2 0 UNSAT 1292
2 1 UNSAT 1293
2 2 UNSAT 1331
3 0 UNSAT 1400
3 1 UNSAT 1346
3 2 UNSAT 1347
4 0 UNSAT 1222
4 1 UNSAT 1183
4 2 UNSAT 1177
5 0 UNSAT 1949
5 1 UNSAT 1607
5 2 UNSAT 1607
6 0 UNSAT 2225
6 1 UNSAT 1827
6 2 UNSAT 1827
7 0 UNSAT 1783
7 1 UNSAT 1533
7 2 UNSAT 1533
8 0 UNSAT 2021
8 1 UNSAT 1885
8 2 UNSAT 1885
9 0 UNSAT 1945
9 1 UNSAT 1518
9 2 UNSAT 1518
10 0 UNSAT 834
10 1 UNSAT 768
10 2 UNSAT 768
11 0 UNSAT 2952
11 1 UNSAT 1884
11 2 UNSAT 1884
12 0 UNSAT 1015
12 1 UNSAT 993
12 2 UNSAT 987
13 0 UNSAT 1132
13 1 UNSAT 1154
13 2 UNSAT 1122
14 0 UNSAT 876
14 1 UNSAT 846
14 2 UNSAT 852
15 0 UNSAT 1167
15 1 UNSAT 995
15 2 UNSAT 995
16 0 UNSAT 1678
16 1 UNSAT 1423
16 2 UNSAT 1423
17 0 UNSAT 1778
17 1 UNSAT 1568
17 2 UNSAT 1568
18 0 UNSAT 1159
18 1 UNSAT 1034
18 2 UNSAT 1034
19 0 UNSAT 1074
19 1 UNSAT 966
19 2 UNSAT 966
20 0 UNSAT 1372
20 1 UNSAT 1328
20 2 UNSAT 1330
21 0 UNSAT 1836
21 1 UNSAT 1525
21 2 UNSAT 1525
22 0 UNSAT 2131
22 1 UNSAT 1742
22 2 UNSAT 1742
23 0 UNSAT 1431
23 1 UNSAT 1137
23 2 UNSAT 1137
24 0 UNSAT 2929
24 1 UNSAT 1800
24 2 UNSAT 1800
25 0 UNSAT 1759
25 1 UNSAT 1102
25 2 UNSAT 1102
26 0 UNSAT 1244
26 1 UNSAT 1226
26 2 UNSAT 1208
27 0 UNSAT 1382
27 1 UNSAT 1378
27 2 UNSAT 1389
28 0 UNSAT 1652
28 1 UNSAT 1670
28 2 UNSAT 1691
29 0 UNSAT 1982
29 1 UNSAT 1966
29 2 UNSAT 1994
30 0 UNSAT 1410
30 1 UNSAT 1383
30 2 UNSAT 1382
31 0 UNSAT 1929
31 1 UNSAT 1365
31 2 UNSAT 1365
32 0 UNSAT 1923
32 1 UNSAT 1556
32 2 UNSAT 1556
33 0 UNSAT 1822
33 1 UNSAT 1559
33 2 UNSAT 1559
34 0 UNSAT 1873
34 1 UNSAT 1552
34 2 UNSAT 1552
35 0 UNSAT 2277
35 1 UNSAT 2141
35 2 UNSAT 2141
36 0 UNSAT 2062
36 1 UNSAT 1693
36 2 UNSAT 1693
37 0 UNSAT 1984
37 1 UNSAT 1638
37 2 UNSAT 1639
38 0 UNSAT 1422
38 1 UNSAT 1415
38 2 UNSAT 1408
39 0 UNSAT 1111
39 1 UNSAT 1076
39 2 UNSAT 1073
40 0 UNSAT 2068
40 1 UNSAT 1738
40 2 UNSAT 1738
41 0 UNSAT 1688
41 1 UNSAT 1420
41 2 UNSAT 1420
42 0 UNSAT 2315
42 1 UNSAT 1689
42 2 UNSAT 1689
43 0 UNSAT 1565
43 1 UNSAT 1539
43 2 UNSAT 1543
44 0 UNSAT 2124
44 1 UNSAT 1714
44 2 UNSAT 1714
45 0 UNSAT 1884
45 1 UNSAT 1897
45 2 UNSAT 1949
46 0 UNSAT 1567
46 1 UNSAT 1618
46 2 UNSAT 1625
47 0 UNSAT 2393
47 1 UNSAT 1879
47 2 UNSAT 1879
48 0 UNSAT 1875
48 1 UNSAT 1501
48 2 UNSAT 1501
49 0 UNSAT 2129
49 1 UNSAT 1776
49 2 UNSAT 1776
50 0 UNSAT 1918
50 1 UNSAT 1874
50 2 UNSAT 1875
51 0 UNSAT 2074
51 1 UNSAT 2031
51 2 UNSAT 2031
52 0 UNSAT 2164
52 1 UNSAT 1834
52 2 UNSAT 1834
53 0 UNSAT 1831
53 1 UNSAT 1548
53 2 UNSAT 1548
54 0 UNSAT 2157
54 1 UNSAT 1749
54 2 UNSAT 1749
55 0 UNSAT 2601
55 1 UNSAT 1718
55 2 UNSAT 1718
56 0 UNSAT 1583
56 1 UNSAT 1305
56 2 UNSAT 1305
57 0 UNSAT 2591
57 1 UNSAT 1987
57 2 UNSAT 1987
58 0 UNSAT 1197
58 1 UNSAT 1154
58 2 UNSAT 1158
59 0 UNSAT 935
59 1 UNSAT 725
59 2 UNSAT 725
60 0 UNSAT 1113
60 1 UNSAT 908
60 2 UNSAT 908
61 0 UNSAT 1411
61 1 UNSAT 1132
61 2 UNSAT 1132
62 0 UNSAT 1430
62 1 UNSAT 1236
62 2 UNSAT 1236
63 0 UNSAT 2246
63 1 UNSAT 1668
63 2 UNSAT 1668
64 0 UNSAT 2775
64 1 UNSAT 2775
64 2 UNSAT 2775
65 0 UNSAT 2450
65 1 UNSAT 2450
65 2 UNSAT 2450
66 0 UNSAT 3027
66 1 UNSAT 3030
66 2 UNSAT 3033
67 0 UNSAT 2427
67 1 UNSAT 2427
67 2 UNSAT 2427
68 0 UNSAT 4258
68 1 UNSAT 4258
68 2 UNSAT 4258
69 0 UNSAT 1323
69 1 UNSAT 1321
69 2 UNSAT 1320
70 0 UNSAT 2024
70 1 UNSAT 1678
70 2 UNSAT 1681
71 0 UNSAT 2771
71 1 UNSAT 1955
71 2 UNSAT 1955
72 0 UNSAT 1365
72 1 UNSAT 1339
72 2 UNSAT 1349
73 0 UNSAT 1971
73 1 UNSAT 1773
73 2 UNSAT 1773
74 0 UNSAT 1571
74 1 UNSAT 1555
74 2 UNSAT 1503
75 0 UNSAT 2209
75 1 UNSAT 1823
75 2 UNSAT 1823
76 0 UNSAT 2706
76 1 UNSAT 1939
76 2 UNSAT 1939
77 0 UNSAT 1956
77 1 UNSAT 1974
77 2 UNSAT 1912
78 0 UNSAT 2612
78 1 UNSAT 2155
78 2 UNSAT 2155
79 0 UNSAT 2595
79 1 UNSAT 1897
79 2 UNSAT 1897
80 0 UNSAT 2937
80 1 UNSAT 2937
80 2 UNSAT 2937
81 0 UNSAT 4493
81 1 UNSAT 4493
81 2 UNSAT 4493
82 0 UNSAT 1073
82 1 UNSAT 1062
82 2 UNSAT 1061
83 0 UNSAT 1161
83 1 UNSAT 1173
83 2 UNSAT 1178
84 0 UNSAT 1115
84 1 UNSAT 1114
84 2 UNSAT 1111
85 0 UNSAT 940
85 1 UNSAT 923
85 2 UNSAT 927
86 0 UNSAT 1388
86 1 UNSAT 1370
86 2 UNSAT 1352
87 0 UNSAT 871
87 1 UNSAT 883
87 2 UNSAT 868
88 0 UNSAT 1289
88 1 UNSAT 1269
88 2 UNSAT 1263
89 0 UNSAT 1234
89 1 UNSAT 1206
89 2 UNSAT 1200
90 0 UNSAT 1238
90 1 UNSAT 1260
90 2 UNSAT 1232
91 0 UNSAT 1228
91 1 UNSAT 1211
91 2 UNSAT 1214
92 0 UNSAT 1218
92 1 UNSAT 1189
92 2 UNSAT 1173
93 0 UNSAT 1250
93 1 UNSAT 1227
93 2 UNSAT 1218
94 0 UNSAT 527
94 1 UNSAT 533
94 2 UNSAT 524
95 0 UNSAT 1169
95 1 UNSAT 1137
95 2 UNSAT 1134
96 0 UNSAT 1172
96 1 UNSAT 1149
96 2 UNSAT 1159
97 0 UNSAT 1763
97 1 UNSAT 1509
97 2 UNSAT 1509
98 0 UNSAT 1207
98 1 UNSAT 1079
98 2 UNSAT 1079
99 0 UNSAT 1748
99 1 UNSAT 1449
99 2 UNSAT 1449
100 0 UNSAT 1600
100 1 UNSAT 1355
100 2 UNSAT 1355
101 0 UNSAT 1400
101 1 UNSAT 1192
101 2 UNSAT 1192
102 0 UNSAT 1758
102 1 UNSAT 1727
102 2 UNSAT 1726
103 0 UNSAT 1433
103 1 UNSAT 1413
103 2 UNSAT 1414
104 0 UNSAT 1325
104 1 UNSAT 1302
104 2 UNSAT 1316
105 0 UNSAT 1161
105 1 UNSAT 1153
105 2 UNSAT 1150
106 0 UNSAT 524
106 1 UNSAT 513
106 2 UNSAT 514
107 0 UNSAT 1845
107 1 UNSAT 1487
107 2 UNSAT 1487
108 0 UNSAT 2095
108 1 UNSAT 1772
108 2 UNSAT 1772
109 0 UNSAT 1886
109 1 UNSAT 1584
109 2 UNSAT 1584
110 0 UNSAT 1329
110 1 UNSAT 1195
110 2 UNSAT 1195
111 0 UNSAT 1155
111 1 UNSAT 990
111 2 UNSAT 990
112 0 UNSAT 1091
112 1 UNSAT 1065
112 2 UNSAT 1060
113 0 UNSAT 782
113 1 UNSAT 772
113 2 UNSAT 769
114 0 UNSAT 1183
114 1 UNSAT 1189
114 2 UNSAT 1201
115 0 UNSAT 975
115 1 UNSAT 998
115 2 UNSAT 974
116 0 UNSAT 1364
116 1 UNSAT 1142
116 2 UNSAT 1142
117 0 UNSAT 1389
117 1 UNSAT 1147
117 2 UNSAT 1147
118 0 UNSAT 970
118 1 UNSAT 856
118 2 UNSAT 856
119 0 UNSAT 763
119 1 UNSAT 1098
119 2 UNSAT 1098
120 0 UNSAT 545
120 1 UNSAT 563
120 2 UNSAT 561
121 0 UNSAT 420
121 1 UNSAT 421
121 2 UNSAT 420
122 0 UNSAT 958
122 1 UNSAT 932
122 2 UNSAT 936
123 0 UNSAT 950
123 1 UNSAT 918
123 2 UNSAT 919
124 0 UNSAT 1574
124 1 UNSAT 1352
124 2 UNSAT 1352
125 0 UNSAT 1690
125 1 UNSAT 1390
125 2 UNSAT 1390
126 0 UNSAT 1879
126 1 UNSAT 1647
126 2 UNSAT 1647
127 0 UNSAT 2007
127 1 UNSAT 1617
127 2 UNSAT 1617
128 0 UNSAT 1848
128 1 UNSAT 1522
128 2 UNSAT 1522
129 0 UNSAT 1961
129 1 UNSAT 1485
129 2 UNSAT 1485
130 0 UNSAT 858
130 1 UNSAT 649
130 2 UNSAT 649
131 0 UNSAT 811
131 1 UNSAT 793
131 2 UNSAT 793
132 0 UNSAT 734
132 1 UNSAT 686
132 2 UNSAT 686
133 0 UNSAT 1414
133 1 UNSAT 1221
133 2 UNSAT 1221
134 0 UNSAT 1995
134 1 UNSAT 1573
134 2 UNSAT 1573
135 0 UNSAT 1300
135 1 UNSAT 1288
135 2 UNSAT 1370
136 0 UNSAT 1597
136 1 UNSAT 1603
136 2 UNSAT 1677
137 0 UNSAT 1670
137 1 UNSAT 1653
137 2 UNSAT 1640
138 0 UNSAT 1269
138 1 UNSAT 1201
138 2 UNSAT 1196
139 0 UNSAT 1621
139 1 UNSAT 1584
139 2 UNSAT 1573
140 0 UNSAT 1297
140 1 UNSAT 1315
140 2 UNSAT 1314
141 0 UNSAT 697
141 1 UNSAT 713
141 2 UNSAT 705
142 0 UNSAT 1561
142 1 UNSAT 1528
142 2 UNSAT 1511
143 0 UNSAT 1471
143 1 UNSAT 1428
143 2 UNSAT 1394
144 0 UNSAT 2042
144 1 UNSAT 1902
144 2 UNSAT 1891
145 0 UNSAT 1196
145 1 UNSAT 1199
145 2 UNSAT 1182
146 0 UNSAT 1406
146 1 UNSAT 1332
146 2 UNSAT 1323
147 0 UNSAT 1413
147 1 UNSAT 1327
147 2 UNSAT 1337
148 0 UNSAT 1135
148 1 UNSAT 1125
148 2 UNSAT 1091
149 0 UNSAT 1510
149 1 UNSAT 1330
149 2 UNSAT 1330
150 0 UNSAT 1995
150 1 UNSAT 1660
150 2 UNSAT 1660
151 0 UNSAT 914
151 1 UNSAT 758
151 2 UNSAT 758
152 0 UNSAT 1790
152 1 UNSAT 1503
152 2 UNSAT 1503
153 0 UNSAT 1598
153 1 UNSAT 1571
153 2 UNSAT 1534
154 0 UNSAT 1694
154 1 UNSAT 1694
154 2 UNSAT 1684
155 0 UNSAT 2053
155 1 UNSAT 2042
155 2 UNSAT 2033
156 0 UNSAT 1784
156 1 UNSAT 1781
156 2 UNSAT 1797
157 0 UNSAT 1403
157 1 UNSAT 1473
157 2 UNSAT 1420
158 0 UNSAT 1295
158 1 UNSAT 1278
158 2 UNSAT 1314
159 0 UNSAT 1829
159 1 UNSAT 1465
159 2 UNSAT 1465
160 0 UNSAT 2080
160 1 UNSAT 1863
160 2 UNSAT 1863
161 0 UNSAT 2043
161 1 UNSAT 1813
161 2 UNSAT 1813
162 0 UNSAT 1697
162 1 UNSAT 1501
162 2 UNSAT 1501
163 0 UNSAT 1836
163 1 UNSAT 1568
163 2 UNSAT 1568
164 0 UNSAT 1858
164 1 UNSAT 1696
164 2 UNSAT 1696
165 0 UNSAT 1728
165 1 UNSAT 1501
165 2 UNSAT 1501
166 0 UNSAT 1011
166 1 UNSAT 946
166 2 UNSAT 946
167 0 UNSAT 1065
167 1 UNSAT 1075
167 2 UNSAT 1058
168 0 UNSAT 1137
168 1 UNSAT 1114
168 2 UNSAT 1117
169 0 UNSAT 1011
169 1 UNSAT 1001
169 2 UNSAT 1006
170 0 UNSAT 533
170 1 UNSAT 541
170 2 UNSAT 561
171 0 UNSAT 1261
171 1 UNSAT 1089
171 2 UNSAT 1089
172 0 UNSAT 1512
172 1 UNSAT 1405
172 2 UNSAT 1405
173 0 UNSAT 1187
173 1 UNSAT 1404
173 2 UNSAT 1404
174 0 UNSAT 1266
174 1 UNSAT 1062
174 2 UNSAT 1062
175 0 UNSAT 1144
175 1 UNSAT 1182
175 2 UNSAT 1157
176 0 UNSAT 1392
176 1 UNSAT 1335
176 2 UNSAT 1346
177 0 UNSAT 1768
177 1 UNSAT 1456
177 2 UNSAT 1456
178 0 UNSAT 1529
178 1 UNSAT 1240
178 2 UNSAT 1240
179 0 UNSAT 2694
179 1 UNSAT 1812
179 2 UNSAT 1812
180 0 UNSAT 1255
180 1 UNSAT 1098
180 2 UNSAT 1098
181 0 UNSAT 698
181 1 UNSAT 533
181 2 UNSAT 533
182 0 UNSAT 1242
182 1 UNSAT 986
182 2 UNSAT 986
183 0 UNSAT 924
183 1 UNSAT 753
183 2 UNSAT 753
184 0 UNSAT 1959
184 1 UNSAT 1586
184 2 UNSAT 1586
185 0 UNSAT 1778
185 1 UNSAT 1471
185 2 UNSAT 1471
186 0 UNSAT 1826
186 1 UNSAT 1632
186 2 UNSAT 1632
187 0 UNSAT 1763
187 1 UNSAT 1457
187 2 UNSAT 1457
188 0 UNSAT 1545
188 1 UNSAT 1338
188 2 UNSAT 1338
189 0 UNSAT 1252
189 1 UNSAT 1115
189 2 UNSAT 1115
190 0 UNSAT 1459
190 1 UNSAT 1186
190 2 UNSAT 1186
191 0 UNSAT 1304
191 1 UNSAT 1047
191 2 UNSAT 1047
192 0 UNSAT 846
192 1 UNSAT 649
192 2 UNSAT 649
193 0 UNSAT 2730
193 1 UNSAT 1832
193 2 UNSAT 1832
194 0 UNSAT 534
194 1 UNSAT 394
194 2 UNSAT 394
195 0 UNSAT 1070
195 1 UNSAT 890
195 2 UNSAT 890
196 0 UNSAT 1578
196 1 UNSAT 1251
196 2 UNSAT 1251
197 0 UNSAT 1333
197 1 UNSAT 1140
197 2 UNSAT 1140
198 0 UNSAT 1562
198 1 UNSAT 1545
198 2 UNSAT 1533
199 0 UNSAT 1217
199 1 UNSAT 1196
199 2 UNSAT 1203
200 0 UNSAT 1780
200 1 UNSAT 1416
200 2 UNSAT 1416
201 0 UNSAT 1488
201 1 UNSAT 1208
201 2 UNSAT 1208
202 0 UNSAT 966
202 1 UNSAT 848
202 2 UNSAT 848
203 0 UNSAT 2273
203 1 UNSAT 2004
203 2 UNSAT 2004
204 0 UNSAT 2178
204 1 UNSAT 1749
204 2 UNSAT 1749
205 0 UNSAT 1460
205 1 UNSAT 1110
205 2 UNSAT 1110
206 0 UNSAT 2659
206 1 UNSAT 2659
206 2 UNSAT 2659
207 0 UNSAT 1664
207 1 UNSAT 1664
207 2 UNSAT 1664
208 0 UNSAT 1687
208 1 UNSAT 1687
208 2 UNSAT 1687
209 0 UNSAT 2005
209 1 UNSAT 2005
209 2 UNSAT 2005
210 0 UNSAT 3554
210 1 UNSAT 3554
210 2 UNSAT 3554
211 0 UNSAT 2721
211 1 UNSAT 2722
211 2 UNSAT 2723
212 0 UNSAT 1316
212 1 UNSAT 1326
212 2 UNSAT 1414
213 0 UNSAT 1141
213 1 UNSAT 1122
213 2 UNSAT 1089
214 0 UNSAT 1653
214 1 UNSAT 1605
214 2 UNSAT 1598
215 0 UNSAT 1073
215 1 UNSAT 1012
215 2 UNSAT 1012
216 0 UNSAT 1285
216 1 UNSAT 1237
216 2 UNSAT 1236
217 0 UNSAT 738
217 1 UNSAT 728
217 2 UNSAT 726
218 0 UNSAT 1572
218 1 UNSAT 1583
218 2 UNSAT 1560
219 0 UNSAT 1213
219 1 UNSAT 1216
219 2 UNSAT 1216
220 0 UNSAT 568
220 1 UNSAT 572
220 2 UNSAT 578
221 0 UNSAT 1609
221 1 UNSAT 1367
221 2 UNSAT 1367
222 0 UNSAT 1716
222 1 UNSAT 1697
222 2 UNSAT 1670
223 0 UNSAT 1241
223 1 UNSAT 1215
223 2 UNSAT 1228
224 0 UNSAT 1485
224 1 UNSAT 1450
224 2 UNSAT 1417
225 0 UNSAT 1299
225 1 UNSAT 1308
225 2 UNSAT 1283
226 0 UNSAT 2050
226 1 UNSAT 1667
226 2 UNSAT 1667
227 0 UNSAT 1983
227 1 UNSAT 1615
227 2 UNSAT 1614
228 0 UNSAT 1895
228 1 UNSAT 1573
228 2 UNSAT 1572
229 0 UNSAT 1333
229 1 UNSAT 1229
229 2 UNSAT 1229
230 0 UNSAT 2092
230 1 UNSAT 2083
230 2 UNSAT 2061
231 0 UNSAT 2032
231 1 UNSAT 2025
231 2 UNSAT 1996
232 0 UNSAT 2238
232 1 UNSAT 1922
232 2 UNSAT 1921
233 0 UNSAT 2131
233 1 UNSAT 2082
233 2 UNSAT 2082
234 0 UNSAT 1793
234 1 UNSAT 1610
234 2 UNSAT 1610
235 0 UNSAT 2540
235 1 UNSAT 2127
235 2 UNSAT 2127
236 0 UNSAT 1977
236 1 UNSAT 2030
236 2 UNSAT 2030
237 0 UNSAT 1270
237 1 UNSAT 1144
237 2 UNSAT 1144
238 0 UNSAT 2555
238 1 UNSAT 1826
238 2 UNSAT 1826
239 0 UNSAT 1070
239 1 UNSAT 1025
239 2 UNSAT 1025
240 0 UNSAT 2457
240 1 UNSAT 2009
240 2 UNSAT 2009
241 0 UNSAT 2066
241 1 UNSAT 1916
241 2 UNSAT 1914
242 0 UNSAT 2047
242 1 UNSAT 2053
242 2 UNSAT 1993
243 0 UNSAT 2246
243 1 UNSAT 1888
243 2 UNSAT 1888
244 0 UNSAT 3158
244 1 UNSAT 2719
244 2 UNSAT 2719
245 0 UNSAT 4248
245 1 UNSAT 4248
245 2 UNSAT 4248
246 0 UNSAT 3785
246 1 UNSAT 3786
246 2 UNSAT 3787
247 0 UNSAT 793
247 1 UNSAT 809
247 2 UNSAT 833
248 0 UNSAT 1258
248 1 UNSAT 1200
248 2 UNSAT 1199
249 0 UNSAT 781
249 1 UNSAT 781
249 2 UNSAT 789
250 0 UNSAT 800
250 1 UNSAT 791
250 2 UNSAT 791
251 0 UNSAT 1150
251 1 UNSAT 1126
251 2 UNSAT 1124
252 0 UNSAT 700
252 1 UNSAT 688
252 2 UNSAT 713
253 0 UNSAT 1458
253 1 UNSAT 1430
253 2 UNSAT 1427
254 0 UNSAT 1140
254 1 UNSAT 1134
254 2 UNSAT 1124
255 0 UNSAT 1203
255 1 UNSAT 1166
255 2 UNSAT 1166
256 0 UNSAT 767
256 1 UNSAT 767
256 2 UNSAT 769
257 0 UNSAT 1097
257 1 UNSAT 1095
257 2 UNSAT 1104
258 0 UNSAT 944
258 1 UNSAT 938
258 2 UNSAT 938
259 0 UNSAT 1829
259 1 UNSAT 1770
259 2 UNSAT 1771
260 0 UNSAT 1491
260 1 UNSAT 1503
260 2 UNSAT 1589
261 0 UNSAT 1201
261 1 UNSAT 1149
261 2 UNSAT 1151
262 0 UNSAT 1460
262 1 UNSAT 1495
262 2 UNSAT 1461
263 0 UNSAT 1332
263 1 UNSAT 1318
263 2 UNSAT 1334
264 0 UNSAT 1218
264 1 UNSAT 1200
264 2 UNSAT 1190
265 0 UNSAT 1875
265 1 UNSAT 1587
265 2 UNSAT 1587
266 0 UNSAT 2146
266 1 UNSAT 1817
266 2 UNSAT 1817
267 0 UNSAT 2096
267 1 UNSAT 1678
267 2 UNSAT 1678
268 0 UNSAT 1698
268 1 UNSAT 1590
268 2 UNSAT 1590
269 0 UNSAT 1255
269 1 UNSAT 1244
269 2 UNSAT 1240
270 0 UNSAT 865
270 1 UNSAT 872
270 2 UNSAT 877
271 0 UNSAT 967
271 1 UNSAT 970
271 2 UNSAT 975
272 0 UNSAT 1513
272 1 UNSAT 1316
272 2 UNSAT 1316
273 0 UNSAT 1069
273 1 UNSAT 939
273 2 UNSAT 939
274 0 UNSAT 1722
274 1 UNSAT 1352
274 2 UNSAT 1352
275 0 UNSAT 1421
275 1 UNSAT 1349
275 2 UNSAT 1349
276 0 UNSAT 3147
276 1 UNSAT 1895
276 2 UNSAT 1895
277 0 UNSAT 1008
277 1 UNSAT 966
277 2 UNSAT 967
278 0 UNSAT 1074
278 1 UNSAT 1055
278 2 UNSAT 1055
279 0 UNSAT 2429
279 1 UNSAT 1505
279 2 UNSAT 1505
280 0 UNSAT 941
280 1 UNSAT 944
280 2 UNSAT 947
281 0 UNSAT 1380
281 1 UNSAT 1117
281 2 UNSAT 1117
282 0 UNSAT 903
282 1 UNSAT 893
282 2 UNSAT 899
283 0 UNSAT 1177
283 1 UNSAT 1078
283 2 UNSAT 1078
284 0 UNSAT 1146
284 1 UNSAT 912
284 2 UNSAT 912
285 0 UNSAT 864
285 1 UNSAT 722
285 2 UNSAT 722
286 0 UNSAT 1327
286 1 UNSAT 999
286 2 UNSAT 999
287 0 UNSAT 1652
287 1 UNSAT 1413
287 2 UNSAT 1413
288 0 UNSAT 691
288 1 UNSAT 687
288 2 UNSAT 688
289 0 UNSAT 488
289 1 UNSAT 492
289 2 UNSAT 492
290 0 UNSAT 440
290 1 UNSAT 440
290 2 UNSAT 440
291 0 UNSAT 556
291 1 UNSAT 558
291 2 UNSAT 557
292 0 UNSAT 572
292 1 UNSAT 522
292 2 UNSAT 522
293 0 UNSAT 930
293 1 UNSAT 923
293 2 UNSAT 923
294 0 UNSAT 926
294 1 UNSAT 892
294 2 UNSAT 946
295 0 UNSAT 1292
295 1 UNSAT 1106
295 2 UNSAT 1106
296 0 UNSAT 908
296 1 UNSAT 779
296 2 UNSAT 779
297 0 UNSAT 429
297 1 UNSAT 429
297 2 UNSAT 425
298 0 UNSAT 798
298 1 UNSAT 574
298 2 UNSAT 574
299 0 UNSAT 2087
299 1 UNSAT 2054
299 2 UNSAT 2020
300 0 UNSAT 1620
300 1 UNSAT 1577
300 2 UNSAT 1686
301 0 UNSAT 1517
301 1 UNSAT 1508
301 2 UNSAT 1563
302 0 UNSAT 1884
302 1 UNSAT 1837
302 2 UNSAT 1845
303 0 UNSAT 1725
303 1 UNSAT 1696
303 2 UNSAT 1663
304 0 UNSAT 2301
304 1 UNSAT 2196
304 2 UNSAT 2195
305 0 UNSAT 1536
305 1 UNSAT 1519
305 2 UNSAT 1509
306 0 UNSAT 1623
306 1 UNSAT 1614
306 2 UNSAT 1614
307 0 UNSAT 2042
307 1 UNSAT 1882
307 2 UNSAT 1882
308 0 UNSAT 2107
308 1 UNSAT 1866
308 2 UNSAT 1866
309 0 UNSAT 1766
309 1 UNSAT 1770
309 2 UNSAT 1817
310 0 UNSAT 926
310 1 UNSAT 942
310 2 UNSAT 930
311 0 UNSAT 1105
311 1 UNSAT 1092
311 2 UNSAT 1076
312 0 UNSAT 1138
312 1 UNSAT 1072
312 2 UNSAT 1064
313 0 UNSAT 1145
313 1 UNSAT 1120
313 2 UNSAT 1120
314 0 UNSAT 1133
314 1 UNSAT 1130
314 2 UNSAT 1127
315 0 UNSAT 1087
315 1 UNSAT 1075
315 2 UNSAT 1076
316 0 UNSAT 1589
316 1 UNSAT 1364
316 2 UNSAT 1364
317 0 UNSAT 1460
317 1 UNSAT 1270
317 2 UNSAT 1270
318 0 UNSAT 1321
318 1 UNSAT 1117
318 2 UNSAT 1117
319 0 UNSAT 1600
319 1 UNSAT 1613
319 2 UNSAT 1618
320 0 UNSAT 1588
320 1 UNSAT 1584
320 2 UNSAT 1576
321 0 UNSAT 1085
321 1 UNSAT 1094
321 2 UNSAT 1089
322 0 UNSAT 1426
322 1 UNSAT 1416
322 2 UNSAT 1424
323 0 UNSAT 1881
323 1 UNSAT 1582
323 2 UNSAT 1582
324 0 UNSAT 1620
324 1 UNSAT 1492
324 2 UNSAT 1492
325 0 UNSAT 1064
325 1 UNSAT 1085
325 2 UNSAT 1073
326 0 UNSAT 1390
326 1 UNSAT 1200
326 2 UNSAT 1200
327 0 UNSAT 2222
327 1 UNSAT 1829
327 2 UNSAT 1829
328 0 UNSAT 1611
328 1 UNSAT 1365
328 2 UNSAT 1365
329 0 UNSAT 1384
329 1 UNSAT 1343
329 2 UNSAT 1343
330 0 UNSAT 1811
330 1 UNSAT 1459
330 2 UNSAT 1459
331 0 UNSAT 1323
331 1 UNSAT 1412
331 2 UNSAT 1412
332 0 UNSAT 1495
332 1 UNSAT 1286
332 2 UNSAT 1286
333 0 UNSAT 1276
333 1 UNSAT 1391
333 2 UNSAT 1391
334 0 UNSAT 827
334 1 UNSAT 813
334 2 UNSAT 813
335 0 UNSAT 787
335 1 UNSAT 773
335 2 UNSAT 773
336 0 UNSAT 727
336 1 UNSAT 705
336 2 UNSAT 705
337 0 UNSAT 711
337 1 UNSAT 701
337 2 UNSAT 695
338 0 UNSAT 665
338 1 UNSAT 673
338 2 UNSAT 673
339 0 UNSAT 722
339 1 UNSAT 709
339 2 UNSAT 709
340 0 UNSAT 616
340 1 UNSAT 638
340 2 UNSAT 610
341 0 UNSAT 669
341 1 UNSAT 672
341 2 UNSAT 674
342 0 UNSAT 1025
342 1 UNSAT 767
342 2 UNSAT 767
343 0 UNSAT 1019
343 1 UNSAT 853
343 2 UNSAT 853
344 0 UNSAT 838
344 1 UNSAT 752
344 2 UNSAT 752
345 0 UNSAT 864
345 1 UNSAT 559
345 2 UNSAT 559
346 0 UNSAT 725
346 1 UNSAT 644
346 2 UNSAT 644
347 0 UNSAT 828
347 1 UNSAT 688
347 2 UNSAT 688
348 0 UNSAT 980
348 1 UNSAT 811
348 2 UNSAT 811
349 0 UNSAT 1171
349 1 UNSAT 954
349 2 UNSAT 954
350 0 UNSAT 973
350 1 UNSAT 756
350 2 UNSAT 756
351 0 UNSAT 906
351 1 UNSAT 963
351 2 UNSAT 963
352 0 UNSAT 691
352 1 UNSAT 865
352 2 UNSAT 865
353 0 UNSAT 1353
353 1 UNSAT 1336
353 2 UNSAT 1341
354 0 UNSAT 1087
354 1 UNSAT 1069
354 2 UNSAT 1069
355 0 UNSAT 1048
355 1 UNSAT 1036
355 2 UNSAT 1084
356 0 UNSAT 1334
356 1 UNSAT 1333
356 2 UNSAT 1339
357 0 UNSAT 883
357 1 UNSAT 860
357 2 UNSAT 860
358 0 UNSAT 804
358 1 UNSAT 814
358 2 UNSAT 784
359 0 UNSAT 1122
359 1 UNSAT 1118
359 2 UNSAT 1142
360 0 UNSAT 1667
360 1 UNSAT 1666
360 2 UNSAT 1759
361 0 UNSAT 1630
361 1 UNSAT 1632
361 2 UNSAT 1741
362 0 UNSAT 1898
362 1 UNSAT 1786
362 2 UNSAT 1774
363 0 UNSAT 1490
363 1 UNSAT 1464
363 2 UNSAT 1450
364 0 UNSAT 1451
364 1 UNSAT 1471
364 2 UNSAT 1452
365 0 UNSAT 2336
365 1 UNSAT 2238
365 2 UNSAT 2265
366 0 UNSAT 1775
366 1 UNSAT 1783
366 2 UNSAT 1778
367 0 UNSAT 1670
367 1 UNSAT 1666
367 2 UNSAT 1677
368 0 UNSAT 1656
368 1 UNSAT 1629
368 2 UNSAT 1641
369 0 UNSAT 2316
369 1 UNSAT 2021
369 2 UNSAT 2021
370 0 UNSAT 2091
370 1 UNSAT 1827
370 2 UNSAT 1827
371 0 UNSAT 1086
371 1 UNSAT 1084
371 2 UNSAT 1084
372 0 UNSAT 2790
372 1 UNSAT 2134
372 2 UNSAT 2134
373 0 UNSAT 1154
373 1 UNSAT 902
373 2 UNSAT 902
374 0 UNSAT 1857
374 1 UNSAT 1591
374 2 UNSAT 1591
375 0 UNSAT 2588
375 1 UNSAT 1864
375 2 UNSAT 1864
376 0 UNSAT 1569
376 1 UNSAT 1591
376 2 UNSAT 1578
377 0 UNSAT 1474
377 1 UNSAT 1489
377 2 UNSAT 1523
378 0 UNSAT 2141
378 1 UNSAT 2121
378 2 UNSAT 2078
379 0 UNSAT 1559
379 1 UNSAT 1571
379 2 UNSAT 1540
380 0 UNSAT 1589
380 1 UNSAT 1519
380 2 UNSAT 1535
381 0 UNSAT 1846
381 1 UNSAT 1841
381 2 UNSAT 1840
382 0 UNSAT 1357
382 1 UNSAT 1314
382 2 UNSAT 1311
383 0 UNSAT 2119
383 1 UNSAT 2082
383 2 UNSAT 2057
384 0 UNSAT 2316
384 1 UNSAT 2015
384 2 UNSAT 2015
385 0 UNSAT 2034
385 1 UNSAT 1862
385 2 UNSAT 1862
386 0 UNSAT 1580
386 1 UNSAT 1316
386 2 UNSAT 1316
387 0 UNSAT 532
387 1 UNSAT 535
387 2 UNSAT 535
388 0 UNSAT 1182
388 1 UNSAT 1153
388 2 UNSAT 1127
389 0 UNSAT 1419
389 1 UNSAT 1426
389 2 UNSAT 1413
390 0 UNSAT 1628
390 1 UNSAT 1272
390 2 UNSAT 1272
391 0 UNSAT 1608
391 1 UNSAT 1675
391 2 UNSAT 1615
392 0 UNSAT 1123
392 1 UNSAT 1147
392 2 UNSAT 1147
393 0 UNSAT 1192
393 1 UNSAT 1164
393 2 UNSAT 1181
394 0 UNSAT 603
394 1 UNSAT 597
394 2 UNSAT 587
395 0 UNSAT 1221
395 1 UNSAT 1053
395 2 UNSAT 1053
396 0 UNSAT 2293
396 1 UNSAT 2329
396 2 UNSAT 2315
397 0 UNSAT 2208
397 1 UNSAT 2184
397 2 UNSAT 2197
398 0 UNSAT 2590
398 1 UNSAT 2432
398 2 UNSAT 2432
399 0 UNSAT 1950
399 1 UNSAT 1547
399 2 UNSAT 1547
400 0 UNSAT 1139
400 1 UNSAT 1131
400 2 UNSAT 1114
401 0 UNSAT 1914
401 1 UNSAT 1521
401 2 UNSAT 1521
402 0 UNSAT 2658
402 1 UNSAT 1852
402 2 UNSAT 1852
403 0 UNSAT 1766
403 1 UNSAT 1366
403 2 UNSAT 1366
404 0 UNSAT 1000
404 1 UNSAT 978
404 2 UNSAT 965
405 0 UNSAT 1367
405 1 UNSAT 1280
405 2 UNSAT 1283
406 0 UNSAT 1553
406 1 UNSAT 1196
406 2 UNSAT 1196
407 0 UNSAT 1122
407 1 UNSAT 994
407 2 UNSAT 994
408 0 UNSAT 1310
408 1 UNSAT 1079
408 2 UNSAT 1079
409 0 UNSAT 760
409 1 UNSAT 679
409 2 UNSAT 679
410 0 UNSAT 665
410 1 UNSAT 556
410 2 UNSAT 556
411 0 UNSAT 1175
411 1 UNSAT 964
411 2 UNSAT 964
412 0 UNSAT 3527
412 1 UNSAT 3528
412 2 UNSAT 3529
413 0 UNSAT 2290
413 1 UNSAT 2290
413 2 UNSAT 2290
414 0 UNSAT 2305
414 1 UNSAT 2307
414 2 UNSAT 2309
415 0 UNSAT 1267
415 1 UNSAT 1267
415 2 UNSAT 1267
416 0 UNSAT 885
416 1 UNSAT 887
416 2 UNSAT 889
417 0 UNSAT 656
417 1 UNSAT 654
417 2 UNSAT 648
418 0 UNSAT 434
418 1 UNSAT 427
418 2 UNSAT 427
419 0 UNSAT 804
419 1 UNSAT 546
419 2 UNSAT 546
420 0 UNSAT 385
420 1 UNSAT 394
420 2 UNSAT 394
421 0 UNSAT 514
421 1 UNSAT 574
421 2 UNSAT 574
422 0 UNSAT 859
422 1 UNSAT 859
422 2 UNSAT 859
423 0 UNSAT 774
423 1 UNSAT 774
423 2 UNSAT 788
424 0 UNSAT 1490
424 1 UNSAT 1461
424 2 UNSAT 1498
425 0 UNSAT 1449
425 1 UNSAT 1400
425 2 UNSAT 1376
426 0 UNSAT 1216
426 1 UNSAT 1208
426 2 UNSAT 1224
427 0 UNSAT 1041
427 1 UNSAT 1021
427 2 UNSAT 1001
428 0 UNSAT 1378
428 1 UNSAT 1378
428 2 UNSAT 1390
429 0 UNSAT 472
429 1 UNSAT 475
429 2 UNSAT 475
430 0 UNSAT 597
430 1 UNSAT 590
430 2 UNSAT 579
431 0 UNSAT 366
431 1 UNSAT 357
431 2 UNSAT 342
432 0 UNSAT 382
432 1 UNSAT 334
432 2 UNSAT 358
433 0 UNSAT 534
433 1 UNSAT 534
433 2 UNSAT 525
434 0 UNSAT 338
434 1 UNSAT 338
434 2 UNSAT 348
435 0 UNSAT 331
435 1 UNSAT 337
435 2 UNSAT 319
436 0 UNSAT 295
436 1 UNSAT 349
436 2 UNSAT 349
437 0 UNSAT 436
437 1 UNSAT 349
437 2 UNSAT 349
438 0 UNSAT 830
438 1 UNSAT 840
438 2 UNSAT 854
439 0 UNSAT 462
439 1 UNSAT 462
439 2 UNSAT 462
440 0 UNSAT 550
440 1 UNSAT 454
440 2 UNSAT 454
COMPLETE {"graph_level_counts": [1, 2, 4, 11, 23, 61, 141, 344, 598, 441], "graphs": 441, "instances": 1323, "satisfiable": 0, "total_nodes": 1859247, "maximum_nodes": 4493, "degree_sequences": {"0,2,3,3,3,3,3,3,3,3": 20, "1,1,3,3,3,3,3,3,3,3": 30, "1,2,2,3,3,3,3,3,3,3": 177, "2,2,2,2,3,3,3,3,3,3": 214}}
PROVED local nonexistence; see proof.md for C(19,5,3) >= 104.