0 0 UNSAT 1898
0 1 UNSAT 1861
0 2 UNSAT 1850
1 0 UNSAT 1725
1 1 UNSAT 1697
1 2 UNSAT 1668
2 0 UNSAT 1360
2 1 UNSAT 1383
2 2 UNSAT 1390
3 0 UNSAT 1825
3 1 UNSAT 1692
3 2 UNSAT 1693
4 0 UNSAT 1415
4 1 UNSAT 1427
4 2 UNSAT 1429
5 0 UNSAT 2025
5 1 UNSAT 1634
5 2 UNSAT 1634
6 0 UNSAT 2438
6 1 UNSAT 2457
6 2 UNSAT 2455
7 0 UNSAT 1841
7 1 UNSAT 1539
7 2 UNSAT 1539
8 0 UNSAT 2299
8 1 UNSAT 1981
8 2 UNSAT 1981
9 0 UNSAT 2308
9 1 UNSAT 1499
9 2 UNSAT 1499
10 0 UNSAT 1027
10 1 UNSAT 1014
10 2 UNSAT 1013
11 0 UNSAT 3450
11 1 UNSAT 2022
11 2 UNSAT 2022
12 0 UNSAT 1153
12 1 UNSAT 1166
12 2 UNSAT 1164
13 0 UNSAT 1099
13 1 UNSAT 1131
13 2 UNSAT 1101
14 0 UNSAT 959
14 1 UNSAT 1000
14 2 UNSAT 999
15 0 UNSAT 1195
15 1 UNSAT 1009
15 2 UNSAT 1009
16 0 UNSAT 1657
16 1 UNSAT 1546
16 2 UNSAT 1546
17 0 UNSAT 1595
17 1 UNSAT 1387
17 2 UNSAT 1387
18 0 UNSAT 1104
18 1 UNSAT 965
18 2 UNSAT 965
19 0 UNSAT 1330
19 1 UNSAT 1502
19 2 UNSAT 1502
20 0 UNSAT 1425
20 1 UNSAT 1407
20 2 UNSAT 1424
21 0 UNSAT 1840
21 1 UNSAT 1604
21 2 UNSAT 1603
22 0 UNSAT 2133
22 1 UNSAT 1792
22 2 UNSAT 1792
23 0 UNSAT 1495
23 1 UNSAT 1240
23 2 UNSAT 1240
24 0 UNSAT 3093
24 1 UNSAT 2052
24 2 UNSAT 2052
25 0 UNSAT 1889
25 1 UNSAT 1208
25 2 UNSAT 1208
26 0 UNSAT 1603
26 1 UNSAT 1642
26 2 UNSAT 1643
27 0 UNSAT 1774
27 1 UNSAT 1707
27 2 UNSAT 1694
28 0 UNSAT 1655
28 1 UNSAT 1576
28 2 UNSAT 1631
29 0 UNSAT 1524
29 1 UNSAT 1545
29 2 UNSAT 1495
30 0 UNSAT 1450
30 1 UNSAT 1376
30 2 UNSAT 1390
31 0 UNSAT 1682
31 1 UNSAT 1867
31 2 UNSAT 1867
32 0 UNSAT 2002
32 1 UNSAT 1887
32 2 UNSAT 1888
33 0 UNSAT 1870
33 1 UNSAT 1672
33 2 UNSAT 1672
34 0 UNSAT 2007
34 1 UNSAT 1597
34 2 UNSAT 1597
35 0 UNSAT 2548
35 1 UNSAT 2135
35 2 UNSAT 2135
36 0 UNSAT 1913
36 1 UNSAT 2317
36 2 UNSAT 2317
37 0 UNSAT 1760
37 1 UNSAT 1659
37 2 UNSAT 1658
38 0 UNSAT 1553
38 1 UNSAT 1500
38 2 UNSAT 1506
39 0 UNSAT 1032
39 1 UNSAT 991
39 2 UNSAT 991
40 0 UNSAT 2172
40 1 UNSAT 1825
40 2 UNSAT 1823
41 0 UNSAT 1723
41 1 UNSAT 1505
41 2 UNSAT 1505
42 0 UNSAT 2547
42 1 UNSAT 2167
42 2 UNSAT 2167
43 0 UNSAT 1922
43 1 UNSAT 1874
43 2 UNSAT 1877
44 0 UNSAT 2098
44 1 UNSAT 1903
44 2 UNSAT 1902
45 0 UNSAT 1784
45 1 UNSAT 1796
45 2 UNSAT 1827
46 0 UNSAT 1399
46 1 UNSAT 1445
46 2 UNSAT 1440
47 0 UNSAT 2260
47 1 UNSAT 1851
47 2 UNSAT 1852
48 0 UNSAT 1697
48 1 UNSAT 1742
48 2 UNSAT 1742
49 0 UNSAT 1988
49 1 UNSAT 1845
49 2 UNSAT 1844
50 0 UNSAT 1926
50 1 UNSAT 2005
50 2 UNSAT 2004
51 0 UNSAT 2047
51 1 UNSAT 1778
51 2 UNSAT 1778
52 0 UNSAT 2183
52 1 UNSAT 2076
52 2 UNSAT 2076
53 0 UNSAT 1853
53 1 UNSAT 1560
53 2 UNSAT 1560
54 0 UNSAT 2068
54 1 UNSAT 1834
54 2 UNSAT 1834
55 0 UNSAT 2578
55 1 UNSAT 1792
55 2 UNSAT 1792
56 0 UNSAT 1657
56 1 UNSAT 1421
56 2 UNSAT 1421
57 0 UNSAT 2607
57 1 UNSAT 1644
57 2 UNSAT 1644
58 0 UNSAT 1216
58 1 UNSAT 1268
58 2 UNSAT 1274
59 0 UNSAT 857
59 1 UNSAT 633
59 2 UNSAT 633
60 0 UNSAT 1169
60 1 UNSAT 969
60 2 UNSAT 971
61 0 UNSAT 1024
61 1 UNSAT 830
61 2 UNSAT 830
62 0 UNSAT 1294
62 1 UNSAT 1159
62 2 UNSAT 1157
63 0 UNSAT 2006
63 1 UNSAT 1660
63 2 UNSAT 1660
64 0 UNSAT 2363
64 1 UNSAT 2363
64 2 UNSAT 2363
65 0 UNSAT 2354
65 1 UNSAT 2354
65 2 UNSAT 2354
66 0 UNSAT 3509
66 1 UNSAT 3509
66 2 UNSAT 3509
67 0 UNSAT 3081
67 1 UNSAT 3079
67 2 UNSAT 3077
68 0 UNSAT 3739
68 1 UNSAT 3736
68 2 UNSAT 3733
69 0 UNSAT 1392
69 1 UNSAT 1381
69 2 UNSAT 1362
70 0 UNSAT 1835
70 1 UNSAT 1578
70 2 UNSAT 1578
71 0 UNSAT 2793
71 1 UNSAT 2085
71 2 UNSAT 2085
72 0 UNSAT 1423
72 1 UNSAT 1379
72 2 UNSAT 1389
73 0 UNSAT 2233
73 1 UNSAT 1987
73 2 UNSAT 1987
74 0 UNSAT 1484
74 1 UNSAT 1507
74 2 UNSAT 1459
75 0 UNSAT 2032
75 1 UNSAT 1807
75 2 UNSAT 1807
76 0 UNSAT 2871
76 1 UNSAT 2047
76 2 UNSAT 2047
77 0 UNSAT 1961
77 1 UNSAT 1978
77 2 UNSAT 1888
78 0 UNSAT 2494
78 1 UNSAT 2709
78 2 UNSAT 2709
79 0 UNSAT 3035
79 1 UNSAT 1965
79 2 UNSAT 1965
80 0 UNSAT 4237
80 1 UNSAT 4237
80 2 UNSAT 4237
81 0 UNSAT 4301
81 1 UNSAT 4297
81 2 UNSAT 4293
82 0 UNSAT 1026
82 1 UNSAT 1015
82 2 UNSAT 1018
83 0 UNSAT 1138
83 1 UNSAT 1135
83 2 UNSAT 1137
84 0 UNSAT 990
84 1 UNSAT 984
84 2 UNSAT 982
85 0 UNSAT 1212
85 1 UNSAT 1226
85 2 UNSAT 1220
86 0 UNSAT 1324
86 1 UNSAT 1315
86 2 UNSAT 1314
87 0 UNSAT 920
87 1 UNSAT 942
87 2 UNSAT 920
88 0 UNSAT 1185
88 1 UNSAT 1167
88 2 UNSAT 1150
89 0 UNSAT 1349
89 1 UNSAT 1358
89 2 UNSAT 1349
90 0 UNSAT 1443
90 1 UNSAT 1441
90 2 UNSAT 1436
91 0 UNSAT 1189
91 1 UNSAT 1164
91 2 UNSAT 1168
92 0 UNSAT 1364
92 1 UNSAT 1335
92 2 UNSAT 1334
93 0 UNSAT 1242
93 1 UNSAT 1226
93 2 UNSAT 1233
94 0 UNSAT 537
94 1 UNSAT 541
94 2 UNSAT 534
95 0 UNSAT 1384
95 1 UNSAT 1373
95 2 UNSAT 1398
96 0 UNSAT 1265
96 1 UNSAT 1266
96 2 UNSAT 1299
97 0 UNSAT 1791
97 1 UNSAT 1604
97 2 UNSAT 1604
98 0 UNSAT 1195
98 1 UNSAT 1096
98 2 UNSAT 1097
99 0 UNSAT 1686
99 1 UNSAT 1565
99 2 UNSAT 1565
100 0 UNSAT 1825
100 1 UNSAT 1508
100 2 UNSAT 1508
101 0 UNSAT 1325
101 1 UNSAT 1145
101 2 UNSAT 1145
102 0 UNSAT 1425
102 1 UNSAT 1479
102 2 UNSAT 1451
103 0 UNSAT 1432
103 1 UNSAT 1439
103 2 UNSAT 1434
104 0 UNSAT 1171
104 1 UNSAT 1165
104 2 UNSAT 1155
105 0 UNSAT 1236
105 1 UNSAT 1214
105 2 UNSAT 1212
106 0 UNSAT 882
106 1 UNSAT 890
106 2 UNSAT 902
107 0 UNSAT 1925
107 1 UNSAT 1751
107 2 UNSAT 1751
108 0 UNSAT 2135
108 1 UNSAT 1814
108 2 UNSAT 1814
109 0 UNSAT 1766
109 1 UNSAT 1887
109 2 UNSAT 1887
110 0 UNSAT 1394
110 1 UNSAT 1224
110 2 UNSAT 1224
111 0 UNSAT 996
111 1 UNSAT 916
111 2 UNSAT 916
112 0 UNSAT 1300
112 1 UNSAT 1288
112 2 UNSAT 1273
113 0 UNSAT 805
113 1 UNSAT 799
113 2 UNSAT 797
114 0 UNSAT 1154
114 1 UNSAT 1160
114 2 UNSAT 1165
115 0 UNSAT 897
115 1 UNSAT 912
115 2 UNSAT 893
116 0 UNSAT 1290
116 1 UNSAT 1202
116 2 UNSAT 1202
117 0 UNSAT 1280
117 1 UNSAT 1138
117 2 UNSAT 1138
118 0 UNSAT 1146
118 1 UNSAT 1035
118 2 UNSAT 1035
119 0 UNSAT 1229
119 1 UNSAT 1171
119 2 UNSAT 1171
120 0 UNSAT 531
120 1 UNSAT 559
120 2 UNSAT 557
121 0 UNSAT 541
121 1 UNSAT 533
121 2 UNSAT 520
122 0 UNSAT 918
122 1 UNSAT 901
122 2 UNSAT 901
123 0 UNSAT 890
123 1 UNSAT 855
123 2 UNSAT 855
124 0 UNSAT 1606
124 1 UNSAT 1421
124 2 UNSAT 1419
125 0 UNSAT 1600
125 1 UNSAT 1689
125 2 UNSAT 1689
126 0 UNSAT 1851
126 1 UNSAT 1570
126 2 UNSAT 1570
127 0 UNSAT 2003
127 1 UNSAT 1559
127 2 UNSAT 1559
128 0 UNSAT 1780
128 1 UNSAT 1430
128 2 UNSAT 1430
129 0 UNSAT 1746
129 1 UNSAT 1665
129 2 UNSAT 1665
130 0 UNSAT 791
130 1 UNSAT 677
130 2 UNSAT 679
131 0 UNSAT 942
131 1 UNSAT 878
131 2 UNSAT 878
132 0 UNSAT 734
132 1 UNSAT 658
132 2 UNSAT 658
133 0 UNSAT 1430
133 1 UNSAT 1132
133 2 UNSAT 1132
134 0 UNSAT 1898
134 1 UNSAT 1680
134 2 UNSAT 1680
135 0 UNSAT 1230
135 1 UNSAT 1216
135 2 UNSAT 1294
136 0 UNSAT 1607
136 1 UNSAT 1611
136 2 UNSAT 1657
137 0 UNSAT 1833
137 1 UNSAT 1762
137 2 UNSAT 1741
138 0 UNSAT 1401
138 1 UNSAT 1361
138 2 UNSAT 1363
139 0 UNSAT 1520
139 1 UNSAT 1492
139 2 UNSAT 1459
140 0 UNSAT 1458
140 1 UNSAT 1464
140 2 UNSAT 1457
141 0 UNSAT 772
141 1 UNSAT 773
141 2 UNSAT 769
142 0 UNSAT 1533
142 1 UNSAT 1493
142 2 UNSAT 1472
143 0 UNSAT 1519
143 1 UNSAT 1469
143 2 UNSAT 1439
144 0 UNSAT 1955
144 1 UNSAT 1807
144 2 UNSAT 1804
145 0 UNSAT 1228
145 1 UNSAT 1220
145 2 UNSAT 1232
146 0 UNSAT 1458
146 1 UNSAT 1393
146 2 UNSAT 1373
147 0 UNSAT 1408
147 1 UNSAT 1379
147 2 UNSAT 1366
148 0 UNSAT 1076
148 1 UNSAT 1062
148 2 UNSAT 1063
149 0 UNSAT 1538
149 1 UNSAT 1457
149 2 UNSAT 1458
150 0 UNSAT 2155
150 1 UNSAT 1606
150 2 UNSAT 1606
151 0 UNSAT 921
151 1 UNSAT 842
151 2 UNSAT 842
152 0 UNSAT 1968
152 1 UNSAT 1560
152 2 UNSAT 1560
153 0 UNSAT 1533
153 1 UNSAT 1512
153 2 UNSAT 1492
154 0 UNSAT 1662
154 1 UNSAT 1637
154 2 UNSAT 1637
155 0 UNSAT 1908
155 1 UNSAT 1928
155 2 UNSAT 1847
156 0 UNSAT 2018
156 1 UNSAT 1989
156 2 UNSAT 1970
157 0 UNSAT 1349
157 1 UNSAT 1389
157 2 UNSAT 1326
158 0 UNSAT 1438
158 1 UNSAT 1417
158 2 UNSAT 1456
159 0 UNSAT 1863
159 1 UNSAT 1735
159 2 UNSAT 1737
160 0 UNSAT 2255
160 1 UNSAT 2205
160 2 UNSAT 2205
161 0 UNSAT 2017
161 1 UNSAT 1951
161 2 UNSAT 1951
162 0 UNSAT 1788
162 1 UNSAT 1728
162 2 UNSAT 1728
163 0 UNSAT 1948
163 1 UNSAT 1843
163 2 UNSAT 1848
164 0 UNSAT 1905
164 1 UNSAT 1612
164 2 UNSAT 1609
165 0 UNSAT 1819
165 1 UNSAT 1809
165 2 UNSAT 1811
166 0 UNSAT 1096
166 1 UNSAT 1016
166 2 UNSAT 1014
167 0 UNSAT 1079
167 1 UNSAT 1080
167 2 UNSAT 1079
168 0 UNSAT 1171
168 1 UNSAT 1153
168 2 UNSAT 1148
169 0 UNSAT 1021
169 1 UNSAT 1034
169 2 UNSAT 1017
170 0 UNSAT 540
170 1 UNSAT 544
170 2 UNSAT 540
171 0 UNSAT 1329
171 1 UNSAT 1109
171 2 UNSAT 1109
172 0 UNSAT 1610
172 1 UNSAT 1542
172 2 UNSAT 1543
173 0 UNSAT 1717
173 1 UNSAT 1398
173 2 UNSAT 1398
174 0 UNSAT 1215
174 1 UNSAT 1078
174 2 UNSAT 1078
175 0 UNSAT 1280
175 1 UNSAT 1259
175 2 UNSAT 1256
176 0 UNSAT 1548
176 1 UNSAT 1522
176 2 UNSAT 1512
177 0 UNSAT 1856
177 1 UNSAT 1653
177 2 UNSAT 1654
178 0 UNSAT 1496
178 1 UNSAT 1397
178 2 UNSAT 1397
179 0 UNSAT 2802
179 1 UNSAT 1918
179 2 UNSAT 1918
180 0 UNSAT 1048
180 1 UNSAT 1013
180 2 UNSAT 1013
181 0 UNSAT 592
181 1 UNSAT 629
181 2 UNSAT 629
182 0 UNSAT 1224
182 1 UNSAT 966
182 2 UNSAT 966
183 0 UNSAT 1125
183 1 UNSAT 897
183 2 UNSAT 897
184 0 UNSAT 2098
184 1 UNSAT 1677
184 2 UNSAT 1677
185 0 UNSAT 1909
185 1 UNSAT 1685
185 2 UNSAT 1685
186 0 UNSAT 1871
186 1 UNSAT 1804
186 2 UNSAT 1804
187 0 UNSAT 1934
187 1 UNSAT 1808
187 2 UNSAT 1808
188 0 UNSAT 1552
188 1 UNSAT 1461
188 2 UNSAT 1459
189 0 UNSAT 1207
189 1 UNSAT 1065
189 2 UNSAT 1063
190 0 UNSAT 1353
190 1 UNSAT 1279
190 2 UNSAT 1279
191 0 UNSAT 1074
191 1 UNSAT 1473
191 2 UNSAT 1473
192 0 UNSAT 801
192 1 UNSAT 771
192 2 UNSAT 771
193 0 UNSAT 2976
193 1 UNSAT 1878
193 2 UNSAT 1878
194 0 UNSAT 636
194 1 UNSAT 598
194 2 UNSAT 598
195 0 UNSAT 910
195 1 UNSAT 811
195 2 UNSAT 811
196 0 UNSAT 1564
196 1 UNSAT 1324
196 2 UNSAT 1324
197 0 UNSAT 1366
197 1 UNSAT 1141
197 2 UNSAT 1141
198 0 UNSAT 1609
198 1 UNSAT 1550
198 2 UNSAT 1547
199 0 UNSAT 1240
199 1 UNSAT 1207
199 2 UNSAT 1210
200 0 UNSAT 1769
200 1 UNSAT 1514
200 2 UNSAT 1514
201 0 UNSAT 1648
201 1 UNSAT 1436
201 2 UNSAT 1436
202 0 UNSAT 1016
202 1 UNSAT 782
202 2 UNSAT 782
203 0 UNSAT 2365
203 1 UNSAT 2286
203 2 UNSAT 2286
204 0 UNSAT 2325
204 1 UNSAT 1786
204 2 UNSAT 1786
205 0 UNSAT 1654
205 1 UNSAT 1548
205 2 UNSAT 1548
206 0 UNSAT 3779
206 1 UNSAT 3777
206 2 UNSAT 3775
207 0 UNSAT 1972
207 1 UNSAT 1972
207 2 UNSAT 1972
208 0 UNSAT 1809
208 1 UNSAT 1801
208 2 UNSAT 1793
209 0 UNSAT 2051
209 1 UNSAT 2050
209 2 UNSAT 2049
210 0 UNSAT 3194
210 1 UNSAT 3197
210 2 UNSAT 3200
211 0 UNSAT 2628
211 1 UNSAT 2629
211 2 UNSAT 2630
212 0 UNSAT 1291
212 1 UNSAT 1292
212 2 UNSAT 1271
213 0 UNSAT 1198
213 1 UNSAT 1207
213 2 UNSAT 1176
214 0 UNSAT 1502
214 1 UNSAT 1459
214 2 UNSAT 1459
215 0 UNSAT 1375
215 1 UNSAT 1353
215 2 UNSAT 1366
216 0 UNSAT 1332
216 1 UNSAT 1290
216 2 UNSAT 1278
217 0 UNSAT 679
217 1 UNSAT 675
217 2 UNSAT 675
218 0 UNSAT 1488
218 1 UNSAT 1538
218 2 UNSAT 1505
219 0 UNSAT 852
219 1 UNSAT 829
219 2 UNSAT 829
220 0 UNSAT 987
220 1 UNSAT 973
220 2 UNSAT 972
221 0 UNSAT 1607
221 1 UNSAT 1326
221 2 UNSAT 1326
222 0 UNSAT 1941
222 1 UNSAT 1860
222 2 UNSAT 1875
223 0 UNSAT 1175
223 1 UNSAT 1163
223 2 UNSAT 1159
224 0 UNSAT 1942
224 1 UNSAT 1945
224 2 UNSAT 1867
225 0 UNSAT 1495
225 1 UNSAT 1492
225 2 UNSAT 1457
226 0 UNSAT 2083
226 1 UNSAT 1826
226 2 UNSAT 1826
227 0 UNSAT 1780
227 1 UNSAT 1626
227 2 UNSAT 1626
228 0 UNSAT 1843
228 1 UNSAT 1738
228 2 UNSAT 1738
229 0 UNSAT 1386
229 1 UNSAT 1368
229 2 UNSAT 1368
230 0 UNSAT 1547
230 1 UNSAT 1499
230 2 UNSAT 1586
231 0 UNSAT 1596
231 1 UNSAT 1594
231 2 UNSAT 1565
232 0 UNSAT 2384
232 1 UNSAT 2500
232 2 UNSAT 2504
233 0 UNSAT 2480
233 1 UNSAT 2360
233 2 UNSAT 2360
234 0 UNSAT 1748
234 1 UNSAT 1710
234 2 UNSAT 1710
235 0 UNSAT 2583
235 1 UNSAT 2388
235 2 UNSAT 2388
236 0 UNSAT 2328
236 1 UNSAT 2135
236 2 UNSAT 2135
237 0 UNSAT 887
237 1 UNSAT 1608
237 2 UNSAT 1608
238 0 UNSAT 2833
238 1 UNSAT 1834
238 2 UNSAT 1834
239 0 UNSAT 1387
239 1 UNSAT 1357
239 2 UNSAT 1357
240 0 UNSAT 2871
240 1 UNSAT 2032
240 2 UNSAT 2032
241 0 UNSAT 1907
241 1 UNSAT 1760
241 2 UNSAT 1756
242 0 UNSAT 2047
242 1 UNSAT 2052
242 2 UNSAT 2006
243 0 UNSAT 2730
243 1 UNSAT 2904
243 2 UNSAT 2903
244 0 UNSAT 3300
244 1 UNSAT 3255
244 2 UNSAT 3256
245 0 UNSAT 4792
245 1 UNSAT 4792
245 2 UNSAT 4792
246 0 UNSAT 3950
246 1 UNSAT 3953
246 2 UNSAT 3956
247 0 UNSAT 969
247 1 UNSAT 933
247 2 UNSAT 1009
248 0 UNSAT 1235
248 1 UNSAT 1189
248 2 UNSAT 1188
249 0 UNSAT 957
249 1 UNSAT 957
249 2 UNSAT 949
250 0 UNSAT 758
250 1 UNSAT 767
250 2 UNSAT 766
251 0 UNSAT 1096
251 1 UNSAT 1083
251 2 UNSAT 1081
252 0 UNSAT 746
252 1 UNSAT 719
252 2 UNSAT 761
253 0 UNSAT 1543
253 1 UNSAT 1523
253 2 UNSAT 1502
254 0 UNSAT 1254
254 1 UNSAT 1246
254 2 UNSAT 1255
255 0 UNSAT 1301
255 1 UNSAT 1243
255 2 UNSAT 1249
256 0 UNSAT 895
256 1 UNSAT 887
256 2 UNSAT 913
257 0 UNSAT 1043
257 1 UNSAT 1073
257 2 UNSAT 1078
258 0 UNSAT 1041
258 1 UNSAT 1027
258 2 UNSAT 1027
259 0 UNSAT 1968
259 1 UNSAT 1931
259 2 UNSAT 1933
260 0 UNSAT 1422
260 1 UNSAT 1413
260 2 UNSAT 1463
261 0 UNSAT 1220
261 1 UNSAT 1168
261 2 UNSAT 1159
262 0 UNSAT 1371
262 1 UNSAT 1401
262 2 UNSAT 1380
263 0 UNSAT 1358
263 1 UNSAT 1344
263 2 UNSAT 1342
264 0 UNSAT 1273
264 1 UNSAT 1249
264 2 UNSAT 1243
265 0 UNSAT 1893
265 1 UNSAT 1625
265 2 UNSAT 1625
266 0 UNSAT 2314
266 1 UNSAT 1977
266 2 UNSAT 1977
267 0 UNSAT 2130
267 1 UNSAT 1811
267 2 UNSAT 1811
268 0 UNSAT 1792
268 1 UNSAT 1485
268 2 UNSAT 1485
269 0 UNSAT 1234
269 1 UNSAT 1214
269 2 UNSAT 1225
270 0 UNSAT 850
270 1 UNSAT 874
270 2 UNSAT 845
271 0 UNSAT 951
271 1 UNSAT 927
271 2 UNSAT 934
272 0 UNSAT 1656
272 1 UNSAT 1390
272 2 UNSAT 1390
273 0 UNSAT 1055
273 1 UNSAT 895
273 2 UNSAT 895
274 0 UNSAT 1573
274 1 UNSAT 1521
274 2 UNSAT 1521
275 0 UNSAT 889
275 1 UNSAT 918
275 2 UNSAT 916
276 0 UNSAT 3219
276 1 UNSAT 2239
276 2 UNSAT 2239
277 0 UNSAT 949
277 1 UNSAT 948
277 2 UNSAT 948
278 0 UNSAT 1164
278 1 UNSAT 1120
278 2 UNSAT 1121
279 0 UNSAT 2813
279 1 UNSAT 1623
279 2 UNSAT 1623
280 0 UNSAT 1046
280 1 UNSAT 1032
280 2 UNSAT 1034
281 0 UNSAT 1364
281 1 UNSAT 1109
281 2 UNSAT 1109
282 0 UNSAT 853
282 1 UNSAT 849
282 2 UNSAT 849
283 0 UNSAT 1098
283 1 UNSAT 922
283 2 UNSAT 922
284 0 UNSAT 1075
284 1 UNSAT 969
284 2 UNSAT 969
285 0 UNSAT 939
285 1 UNSAT 843
285 2 UNSAT 843
286 0 UNSAT 1079
286 1 UNSAT 915
286 2 UNSAT 915
287 0 UNSAT 1562
287 1 UNSAT 1415
287 2 UNSAT 1415
288 0 UNSAT 724
288 1 UNSAT 730
288 2 UNSAT 716
289 0 UNSAT 575
289 1 UNSAT 578
289 2 UNSAT 573
290 0 UNSAT 602
290 1 UNSAT 594
290 2 UNSAT 594
291 0 UNSAT 561
291 1 UNSAT 557
291 2 UNSAT 557
292 0 UNSAT 600
292 1 UNSAT 576
292 2 UNSAT 576
293 0 UNSAT 1128
293 1 UNSAT 1148
293 2 UNSAT 1148
294 0 UNSAT 1004
294 1 UNSAT 953
294 2 UNSAT 991
295 0 UNSAT 1342
295 1 UNSAT 1081
295 2 UNSAT 1083
296 0 UNSAT 949
296 1 UNSAT 855
296 2 UNSAT 855
297 0 UNSAT 423
297 1 UNSAT 423
297 2 UNSAT 427
298 0 UNSAT 798
298 1 UNSAT 782
298 2 UNSAT 782
299 0 UNSAT 1899
299 1 UNSAT 1877
299 2 UNSAT 1853
300 0 UNSAT 1539
300 1 UNSAT 1530
300 2 UNSAT 1573
301 0 UNSAT 1517
301 1 UNSAT 1483
301 2 UNSAT 1492
302 0 UNSAT 1582
302 1 UNSAT 1588
302 2 UNSAT 1551
303 0 UNSAT 1528
303 1 UNSAT 1467
303 2 UNSAT 1447
304 0 UNSAT 2407
304 1 UNSAT 2316
304 2 UNSAT 2320
305 0 UNSAT 1553
305 1 UNSAT 1540
305 2 UNSAT 1519
306 0 UNSAT 1608
306 1 UNSAT 1606
306 2 UNSAT 1609
307 0 UNSAT 2125
307 1 UNSAT 1936
307 2 UNSAT 1937
308 0 UNSAT 2263
308 1 UNSAT 1848
308 2 UNSAT 1848
309 0 UNSAT 1436
309 1 UNSAT 1424
309 2 UNSAT 1501
310 0 UNSAT 868
310 1 UNSAT 866
310 2 UNSAT 845
311 0 UNSAT 946
311 1 UNSAT 969
311 2 UNSAT 947
312 0 UNSAT 1149
312 1 UNSAT 1096
312 2 UNSAT 1098
313 0 UNSAT 1061
313 1 UNSAT 1057
313 2 UNSAT 1056
314 0 UNSAT 1077
314 1 UNSAT 1057
314 2 UNSAT 1056
315 0 UNSAT 1060
315 1 UNSAT 1023
315 2 UNSAT 1011
316 0 UNSAT 1544
316 1 UNSAT 1256
316 2 UNSAT 1256
317 0 UNSAT 1320
317 1 UNSAT 1256
317 2 UNSAT 1256
318 0 UNSAT 1368
318 1 UNSAT 1203
318 2 UNSAT 1203
319 0 UNSAT 1334
319 1 UNSAT 1270
319 2 UNSAT 1273
320 0 UNSAT 1602
320 1 UNSAT 1611
320 2 UNSAT 1602
321 0 UNSAT 997
321 1 UNSAT 1005
321 2 UNSAT 995
322 0 UNSAT 1302
322 1 UNSAT 1323
322 2 UNSAT 1321
323 0 UNSAT 1825
323 1 UNSAT 2067
323 2 UNSAT 2066
324 0 UNSAT 1622
324 1 UNSAT 1480
324 2 UNSAT 1480
325 0 UNSAT 1008
325 1 UNSAT 1006
325 2 UNSAT 1002
326 0 UNSAT 1463
326 1 UNSAT 1448
326 2 UNSAT 1448
327 0 UNSAT 2296
327 1 UNSAT 1974
327 2 UNSAT 1974
328 0 UNSAT 1750
328 1 UNSAT 1846
328 2 UNSAT 1846
329 0 UNSAT 1490
329 1 UNSAT 1445
329 2 UNSAT 1445
330 0 UNSAT 1747
330 1 UNSAT 2033
330 2 UNSAT 2029
331 0 UNSAT 1581
331 1 UNSAT 1451
331 2 UNSAT 1451
332 0 UNSAT 1594
332 1 UNSAT 1336
332 2 UNSAT 1336
333 0 UNSAT 1719
333 1 UNSAT 1634
333 2 UNSAT 1634
334 0 UNSAT 833
334 1 UNSAT 831
334 2 UNSAT 831
335 0 UNSAT 645
335 1 UNSAT 585
335 2 UNSAT 585
336 0 UNSAT 782
336 1 UNSAT 764
336 2 UNSAT 754
337 0 UNSAT 690
337 1 UNSAT 711
337 2 UNSAT 698
338 0 UNSAT 731
338 1 UNSAT 742
338 2 UNSAT 739
339 0 UNSAT 647
339 1 UNSAT 652
339 2 UNSAT 652
340 0 UNSAT 690
340 1 UNSAT 692
340 2 UNSAT 672
341 0 UNSAT 696
341 1 UNSAT 697
341 2 UNSAT 702
342 0 UNSAT 1070
342 1 UNSAT 903
342 2 UNSAT 903
343 0 UNSAT 973
343 1 UNSAT 830
343 2 UNSAT 830
344 0 UNSAT 858
344 1 UNSAT 811
344 2 UNSAT 811
345 0 UNSAT 696
345 1 UNSAT 541
345 2 UNSAT 541
346 0 UNSAT 791
346 1 UNSAT 682
346 2 UNSAT 682
347 0 UNSAT 970
347 1 UNSAT 794
347 2 UNSAT 794
348 0 UNSAT 852
348 1 UNSAT 754
348 2 UNSAT 754
349 0 UNSAT 1082
349 1 UNSAT 897
349 2 UNSAT 897
350 0 UNSAT 833
350 1 UNSAT 824
350 2 UNSAT 824
351 0 UNSAT 1247
351 1 UNSAT 1115
351 2 UNSAT 1113
352 0 UNSAT 1023
352 1 UNSAT 949
352 2 UNSAT 948
353 0 UNSAT 1233
353 1 UNSAT 1220
353 2 UNSAT 1224
354 0 UNSAT 1205
354 1 UNSAT 1134
354 2 UNSAT 1128
355 0 UNSAT 1105
355 1 UNSAT 1127
355 2 UNSAT 1209
356 0 UNSAT 1390
356 1 UNSAT 1361
356 2 UNSAT 1352
357 0 UNSAT 1012
357 1 UNSAT 1038
357 2 UNSAT 1044
358 0 UNSAT 904
358 1 UNSAT 904
358 2 UNSAT 891
359 0 UNSAT 1095
359 1 UNSAT 1056
359 2 UNSAT 1057
360 0 UNSAT 1670
360 1 UNSAT 1682
360 2 UNSAT 1709
361 0 UNSAT 1655
361 1 UNSAT 1675
361 2 UNSAT 1741
362 0 UNSAT 2220
362 1 UNSAT 2035
362 2 UNSAT 2053
363 0 UNSAT 1410
363 1 UNSAT 1417
363 2 UNSAT 1393
364 0 UNSAT 1496
364 1 UNSAT 1546
364 2 UNSAT 1470
365 0 UNSAT 2429
365 1 UNSAT 2277
365 2 UNSAT 2308
366 0 UNSAT 1770
366 1 UNSAT 1726
366 2 UNSAT 1720
367 0 UNSAT 1579
367 1 UNSAT 1591
367 2 UNSAT 1592
368 0 UNSAT 1744
368 1 UNSAT 1749
368 2 UNSAT 1728
369 0 UNSAT 2229
369 1 UNSAT 1934
369 2 UNSAT 1934
370 0 UNSAT 2203
370 1 UNSAT 2135
370 2 UNSAT 2135
371 0 UNSAT 1107
371 1 UNSAT 1115
371 2 UNSAT 1119
372 0 UNSAT 2850
372 1 UNSAT 2262
372 2 UNSAT 2262
373 0 UNSAT 1046
373 1 UNSAT 896
373 2 UNSAT 896
374 0 UNSAT 1894
374 1 UNSAT 1577
374 2 UNSAT 1578
375 0 UNSAT 2604
375 1 UNSAT 1796
375 2 UNSAT 1796
376 0 UNSAT 1552
376 1 UNSAT 1610
376 2 UNSAT 1612
377 0 UNSAT 1337
377 1 UNSAT 1376
377 2 UNSAT 1369
378 0 UNSAT 2096
378 1 UNSAT 2093
378 2 UNSAT 2043
379 0 UNSAT 1522
379 1 UNSAT 1532
379 2 UNSAT 1524
380 0 UNSAT 1509
380 1 UNSAT 1463
380 2 UNSAT 1461
381 0 UNSAT 1702
381 1 UNSAT 1711
381 2 UNSAT 1725
382 0 UNSAT 1493
382 1 UNSAT 1539
382 2 UNSAT 1543
383 0 UNSAT 1809
383 1 UNSAT 1819
383 2 UNSAT 1792
384 0 UNSAT 2199
384 1 UNSAT 2206
384 2 UNSAT 2206
385 0 UNSAT 2089
385 1 UNSAT 1791
385 2 UNSAT 1791
386 0 UNSAT 1526
386 1 UNSAT 1225
386 2 UNSAT 1225
387 0 UNSAT 596
387 1 UNSAT 596
387 2 UNSAT 597
388 0 UNSAT 1368
388 1 UNSAT 1312
388 2 UNSAT 1354
389 0 UNSAT 1512
389 1 UNSAT 1538
389 2 UNSAT 1494
390 0 UNSAT 1460
390 1 UNSAT 1294
390 2 UNSAT 1294
391 0 UNSAT 1856
391 1 UNSAT 1860
391 2 UNSAT 1828
392 0 UNSAT 1059
392 1 UNSAT 1051
392 2 UNSAT 1053
393 0 UNSAT 1157
393 1 UNSAT 1174
393 2 UNSAT 1151
394 0 UNSAT 630
394 1 UNSAT 632
394 2 UNSAT 622
395 0 UNSAT 1293
395 1 UNSAT 983
395 2 UNSAT 983
396 0 UNSAT 2261
396 1 UNSAT 2268
396 2 UNSAT 2239
397 0 UNSAT 2336
397 1 UNSAT 2309
397 2 UNSAT 2270
398 0 UNSAT 2953
398 1 UNSAT 2618
398 2 UNSAT 2618
399 0 UNSAT 1868
399 1 UNSAT 1622
399 2 UNSAT 1622
400 0 UNSAT 1169
400 1 UNSAT 1168
400 2 UNSAT 1161
401 0 UNSAT 1875
401 1 UNSAT 1623
401 2 UNSAT 1623
402 0 UNSAT 2380
402 1 UNSAT 2212
402 2 UNSAT 2212
403 0 UNSAT 1265
403 1 UNSAT 1874
403 2 UNSAT 1874
404 0 UNSAT 979
404 1 UNSAT 955
404 2 UNSAT 931
405 0 UNSAT 1159
405 1 UNSAT 1181
405 2 UNSAT 1181
406 0 UNSAT 1495
406 1 UNSAT 1248
406 2 UNSAT 1248
407 0 UNSAT 1175
407 1 UNSAT 961
407 2 UNSAT 961
408 0 UNSAT 1321
408 1 UNSAT 913
408 2 UNSAT 913
409 0 UNSAT 747
409 1 UNSAT 641
409 2 UNSAT 641
410 0 UNSAT 677
410 1 UNSAT 642
410 2 UNSAT 642
411 0 UNSAT 1271
411 1 UNSAT 960
411 2 UNSAT 960
412 0 UNSAT 3346
412 1 UNSAT 3346
412 2 UNSAT 3346
413 0 UNSAT 2003
413 1 UNSAT 2003
413 2 UNSAT 2003
414 0 UNSAT 2674
414 1 UNSAT 2675
414 2 UNSAT 2674
415 0 UNSAT 1751
415 1 UNSAT 1747
415 2 UNSAT 1743
416 0 UNSAT 799
416 1 UNSAT 801
416 2 UNSAT 799
417 0 UNSAT 773
417 1 UNSAT 772
417 2 UNSAT 770
418 0 UNSAT 472
418 1 UNSAT 468
418 2 UNSAT 468
419 0 UNSAT 756
419 1 UNSAT 642
419 2 UNSAT 642
420 0 UNSAT 553
420 1 UNSAT 478
420 2 UNSAT 478
421 0 UNSAT 670
421 1 UNSAT 538
421 2 UNSAT 538
422 0 UNSAT 1062
422 1 UNSAT 1062
422 2 UNSAT 1062
423 0 UNSAT 696
423 1 UNSAT 701
423 2 UNSAT 712
424 0 UNSAT 1412
424 1 UNSAT 1379
424 2 UNSAT 1391
425 0 UNSAT 1409
425 1 UNSAT 1379
425 2 UNSAT 1381
426 0 UNSAT 1312
426 1 UNSAT 1311
426 2 UNSAT 1280
427 0 UNSAT 1055
427 1 UNSAT 1072
427 2 UNSAT 1075
428 0 UNSAT 1134
428 1 UNSAT 1134
428 2 UNSAT 1151
429 0 UNSAT 413
429 1 UNSAT 413
429 2 UNSAT 411
430 0 UNSAT 579
430 1 UNSAT 582
430 2 UNSAT 559
431 0 UNSAT 468
431 1 UNSAT 492
431 2 UNSAT 452
432 0 UNSAT 544
432 1 UNSAT 510
432 2 UNSAT 522
433 0 UNSAT 916
433 1 UNSAT 930
433 2 UNSAT 930
434 0 UNSAT 318
434 1 UNSAT 314
434 2 UNSAT 314
435 0 UNSAT 343
435 1 UNSAT 355
435 2 UNSAT 337
436 0 UNSAT 460
436 1 UNSAT 691
436 2 UNSAT 691
437 0 UNSAT 514
437 1 UNSAT 460
437 2 UNSAT 460
438 0 UNSAT 838
438 1 UNSAT 838
438 2 UNSAT 834
439 0 UNSAT 253
439 1 UNSAT 253
439 2 UNSAT 253
440 0 UNSAT 550
440 1 UNSAT 406
440 2 UNSAT 406