-
Notifications
You must be signed in to change notification settings - Fork 0
/
kSAT_backtrack.csv
We can make this file beautiful and searchable if this error is corrected: It looks like row 2 should actually have 8 columns, instead of 12 in line 1.
401 lines (401 loc) · 17.3 KB
/
kSAT_backtrack.csv
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
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
1,4,10,2,20,U,1,0.0
2,4,10,2,20,S,1,0.0,0,1,1,1
3,4,10,2,20,U,1,0.0
4,4,10,2,20,S,1,0.0,1,0,0,0
5,4,10,2,20,S,1,0.0,0,0,1,1
6,4,10,2,20,S,1,0.0,1,1,0,1
7,4,10,2,20,S,1,0.0,0,0,0,0
8,4,10,2,20,U,1,0.0
9,4,10,2,20,U,1,0.0
10,4,10,2,20,U,1,0.0
11,8,16,2,32,U,1,0.0
12,8,16,2,32,U,1,0.01
13,8,16,2,32,S,1,0.0,1,0,0,0,1,0,1,0
14,8,16,2,32,S,1,0.0,0,1,0,0,1,1,1,1
15,8,16,2,32,U,1,0.01
16,8,16,2,32,U,1,0.0
17,8,16,2,32,S,1,0.0,1,0,0,0,0,0,1,0
18,8,16,2,32,U,1,0.01
19,8,16,2,32,S,1,0.0,0,1,0,0,0,1,1,0
20,8,16,2,32,S,1,0.0,1,0,1,0,1,1,1,1
21,12,24,2,48,S,1,0.01,0,0,0,1,1,0,1,0,1,1,0,1
22,12,24,2,48,S,1,0.0,0,0,0,0,0,0,0,1,1,1,0,0
23,12,24,2,48,U,1,0.03
24,12,24,2,48,U,1,0.01
25,12,24,2,48,S,1,0.01,0,0,0,0,1,1,0,1,1,1,1,0
26,12,24,2,48,U,1,0.05
27,12,24,2,48,U,1,0.02
28,12,24,2,48,S,1,0.01,1,0,1,0,1,0,0,0,0,1,1,1
29,12,24,2,48,U,1,0.06
30,12,24,2,48,S,1,0.04,0,0,1,1,0,1,1,1,1,1,1,0
31,16,32,2,64,S,1,0.02,0,0,0,1,0,0,1,0,1,0,0,0,0,0,0,1
32,16,32,2,64,U,1,0.03
33,16,32,2,64,S,1,0.03,0,1,0,1,0,1,0,1,1,0,0,1,1,1,1,1
34,16,32,2,64,S,1,0.01,0,1,0,1,1,0,0,0,0,1,0,0,1,1,1,1
35,16,32,2,64,U,1,0.04
36,16,32,2,64,S,1,0.01,0,1,0,1,0,0,1,1,1,1,0,1,0,1,1,1
37,16,32,2,64,U,1,0.04
38,16,32,2,64,U,1,0.13
39,16,32,2,64,S,1,0.02,1,0,1,1,0,0,1,0,0,0,1,1,0,0,1,0
40,16,32,2,64,U,1,0.22
41,18,36,2,72,U,1,0.11
42,18,36,2,72,U,1,0.06
43,18,36,2,72,U,1,0.02
44,18,36,2,72,U,1,0.21
45,18,36,2,72,U,1,0.02
46,18,36,2,72,U,1,0.27
47,18,36,2,72,U,1,0.47
48,18,36,2,72,S,1,0.06,1,1,1,0,1,0,0,0,0,0,0,0,1,0,1,0,0,0
49,18,36,2,72,U,1,0.23
50,18,36,2,72,S,1,0.02,0,0,1,1,0,0,0,0,1,0,1,0,0,0,0,0,0,0
51,20,40,2,80,U,1,0.88
52,20,40,2,80,U,1,0.99
53,20,40,2,80,S,1,0.12,0,0,1,0,0,1,1,0,0,0,0,0,1,0,1,0,1,0,0,1
54,20,40,2,80,U,1,0.67
55,20,40,2,80,U,1,0.15
56,20,40,2,80,U,1,2.47
57,20,40,2,80,U,1,0.35
58,20,40,2,80,S,1,0.14,1,1,0,0,0,1,0,0,0,0,0,1,0,0,1,1,0,1,1,0
59,20,40,2,80,U,1,0.04
60,20,40,2,80,S,1,0.04,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0
61,22,44,2,88,S,1,0.84,1,0,1,1,1,0,1,0,1,0,1,0,1,0,0,0,0,0,1,1,0,0
62,22,44,2,88,U,1,0.26
63,22,44,2,88,U,1,0.51
64,22,44,2,88,U,1,0.12
65,22,44,2,88,U,1,3.33
66,22,44,2,88,U,1,0.21
67,22,44,2,88,U,1,5.65
68,22,44,2,88,U,1,1.27
69,22,44,2,88,U,1,0.29
70,22,44,2,88,U,1,0.0
71,24,48,2,96,S,1,0.13,0,0,1,1,0,0,1,1,1,0,0,0,0,1,0,1,0,1,1,0,0,0,0,0
72,24,48,2,96,U,1,2.26
73,24,48,2,96,U,1,1.08
74,24,48,2,96,S,1,0.63,0,1,1,1,0,1,0,1,0,0,0,0,0,1,0,0,0,0,1,0,1,0,1,1
75,24,48,2,96,U,1,0.67
76,24,48,2,96,U,1,4.04
77,24,48,2,96,U,1,0.04
78,24,48,2,96,U,1,0.05
79,24,48,2,96,U,1,3.85
80,24,48,2,96,S,1,0.25,0,0,1,1,1,0,0,1,0,1,1,0,0,1,1,1,0,1,0,0,0,0,0,1
81,4,20,3,60,U,1,0.0
82,4,20,3,60,S,1,0.0,1,0,0,0
83,4,20,3,60,S,1,0.0,0,1,1,0
84,4,20,3,60,S,1,0.0,1,1,1,0
85,4,20,3,60,U,1,0.0
86,4,20,3,60,S,1,0.0,1,1,0,1
87,4,20,3,60,U,1,0.0
88,4,20,3,60,U,1,0.0
89,4,20,3,60,U,1,0.0
90,4,20,3,60,S,1,0.0,1,0,1,0
91,8,40,3,120,S,1,0.01,0,1,1,1,1,0,0,1
92,8,40,3,120,S,1,0.0,0,0,0,0,1,0,0,0
93,8,40,3,120,S,1,0.03,1,0,0,1,0,1,1,0
94,8,40,3,120,U,1,0.01
95,8,40,3,120,U,1,0.02
96,8,40,3,120,U,1,0.03
97,8,40,3,120,U,1,0.02
98,8,40,3,120,U,1,0.03
99,8,40,3,120,U,1,0.04
100,8,40,3,120,U,1,0.02
101,12,60,3,180,U,1,0.42
102,12,60,3,180,S,1,0.03,0,0,0,1,0,1,0,0,0,0,0,0
103,12,60,3,180,U,1,0.31
104,12,60,3,180,S,1,0.07,0,1,1,1,0,0,0,1,1,0,0,0
105,12,60,3,180,U,1,0.4
106,12,60,3,180,U,1,0.18
107,12,60,3,180,U,1,0.21
108,12,60,3,180,U,1,0.48
109,12,60,3,180,S,1,0.1,1,0,0,0,0,0,0,0,0,1,0,0
110,12,60,3,180,U,1,0.1
111,16,80,3,240,U,1,1.48
112,16,80,3,240,S,1,0.2,0,1,1,1,0,1,1,1,0,1,0,1,0,1,1,1
113,16,80,3,240,U,1,1.93
114,16,80,3,240,U,1,2.21
115,16,80,3,240,U,1,0.48
116,16,80,3,240,U,1,1.3
117,16,80,3,240,U,1,1.06
118,16,80,3,240,U,1,0.9
119,16,80,3,240,U,1,0.8
120,16,80,3,240,S,1,0.09,0,0,0,1,0,0,1,0,0,1,1,1,1,0,1,1
121,18,90,3,270,U,1,4.14
122,18,90,3,270,U,1,2.27
123,18,90,3,270,U,1,2.79
124,18,90,3,270,U,1,1.93
125,18,90,3,270,U,1,3.85
126,18,90,3,270,S,1,0.64,0,0,1,0,1,0,0,1,1,0,1,0,1,0,0,1,1,0
127,18,90,3,270,S,1,0.19,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,1
128,18,90,3,270,S,1,1.73,1,0,0,1,1,0,1,1,0,0,0,0,1,1,0,1,1,1
129,18,90,3,270,U,1,4.22
130,18,90,3,270,S,1,1.35,0,1,1,1,1,0,1,1,1,0,1,0,0,0,1,0,1,0
131,20,100,3,300,S,1,1.46,1,1,0,0,1,0,0,1,1,0,1,1,0,0,0,1,1,1,0,1
132,20,100,3,300,U,1,6.3
133,20,100,3,300,S,1,2.0,1,0,0,0,1,1,0,1,1,0,0,0,1,1,0,1,0,0,0,0
134,20,100,3,300,U,1,6.4
135,20,100,3,300,S,1,7.32,1,1,0,1,1,1,0,1,1,1,1,0,0,0,0,0,1,1,0,1
136,20,100,3,300,U,1,8.63
137,20,100,3,300,U,1,6.19
138,20,100,3,300,S,1,2.09,1,0,0,1,0,0,0,0,1,0,1,0,1,1,1,1,1,1,1,1
139,20,100,3,300,U,1,3.91
140,20,100,3,300,U,1,4.03
141,22,110,3,330,S,1,6.56,1,1,1,0,0,1,0,0,1,1,1,0,0,0,0,0,0,1,0,0,0,1
142,22,110,3,330,S,1,0.95,0,0,0,1,0,0,1,1,0,1,1,0,0,1,0,0,0,0,1,0,1,1
143,22,110,3,330,U,1,12.55
144,22,110,3,330,U,1,9.44
145,22,110,3,330,U,1,14.53
146,22,110,3,330,U,1,12.92
147,22,110,3,330,U,1,9.87
148,22,110,3,330,U,1,22.07
149,22,110,3,330,S,1,3.62,1,1,0,0,1,1,0,0,0,1,1,0,0,1,0,1,1,1,0,0,0,0
150,22,110,3,330,S,1,0.66,0,0,1,0,0,1,0,1,0,0,1,1,1,1,0,1,0,1,0,0,0,0
151,24,120,3,360,U,1,47.9
152,24,120,3,360,U,1,13.91
153,24,120,3,360,U,1,46.26
154,24,120,3,360,U,1,34.53
155,24,120,3,360,U,1,23.69
156,24,120,3,360,U,1,29.27
157,24,120,3,360,U,1,6.3
158,24,120,3,360,U,1,4.91
159,24,120,3,360,U,1,30.45
160,24,120,3,360,U,1,17.73
161,4,40,4,160,S,1,0.01,1,1,1,0
162,4,40,4,160,U,1,0.02
163,4,40,4,160,U,1,0.01
164,4,40,4,160,S,1,0.0,0,1,0,1
165,4,40,4,160,S,1,0.01,1,1,0,1
166,4,40,4,160,S,1,0.0,0,0,0,1
167,4,40,4,160,S,1,0.0,0,0,1,0
168,4,40,4,160,S,1,0.01,1,1,0,0
169,4,40,4,160,S,1,0.01,1,1,1,1
170,4,40,4,160,S,1,0.0,0,1,0,0
171,8,80,4,320,S,1,0.06,0,1,1,0,1,1,1,0
172,8,80,4,320,S,1,0.08,1,0,1,0,0,0,0,0
173,8,80,4,320,S,1,0.02,0,0,1,0,1,0,1,0
174,8,80,4,320,S,1,0.08,1,0,1,1,0,1,0,0
175,8,80,4,320,S,1,0.04,0,1,1,0,0,1,1,1
176,8,80,4,320,U,1,0.1
177,8,80,4,320,U,1,0.11
178,8,80,4,320,S,1,0.11,1,1,1,1,1,0,1,1
179,8,80,4,320,U,1,0.1
180,8,80,4,320,U,1,0.07
181,12,120,4,480,S,1,0.06,0,0,0,0,1,1,1,1,0,1,0,1
182,12,120,4,480,S,1,0.33,0,1,1,1,0,0,0,0,1,1,0,1
183,12,120,4,480,S,1,0.37,0,0,1,1,1,0,0,0,0,0,0,0
184,12,120,4,480,U,1,1.25
185,12,120,4,480,S,1,0.4,0,0,1,0,0,0,0,1,0,1,0,1
186,12,120,4,480,S,1,0.07,0,0,0,1,0,1,0,0,0,0,1,0
187,12,120,4,480,U,1,1.38
188,12,120,4,480,U,1,1.19
189,12,120,4,480,U,1,2.11
190,12,120,4,480,U,1,1.81
191,16,160,4,640,S,1,1.76,0,0,1,1,0,0,1,1,1,1,0,0,0,1,1,0
192,16,160,4,640,U,1,5.19
193,16,160,4,640,U,1,4.32
194,16,160,4,640,S,1,0.92,0,0,0,1,1,1,0,0,1,1,0,1,1,0,1,0
195,16,160,4,640,S,1,4.36,1,0,1,1,1,1,1,1,1,1,0,1,0,0,0,1
196,16,160,4,640,U,1,4.25
197,16,160,4,640,U,1,7.71
198,16,160,4,640,U,1,4.44
199,16,160,4,640,S,1,2.33,0,1,0,0,1,0,1,1,0,1,1,1,1,0,1,0
200,16,160,4,640,S,1,0.93,0,0,0,1,1,0,1,1,0,0,0,0,0,0,0,0
201,18,180,4,720,S,1,15.01,1,0,0,1,0,0,0,0,1,1,1,0,1,1,0,1,0,0
202,18,180,4,720,U,1,10.93
203,18,180,4,720,S,1,1.15,0,0,0,0,0,1,0,1,1,0,0,0,0,0,0,1,1,1
204,18,180,4,720,U,1,35.24
205,18,180,4,720,U,1,21.4
206,18,180,4,720,S,1,17.5,1,0,1,0,0,0,1,0,1,1,1,0,0,0,1,0,1,0
207,18,180,4,720,U,1,16.66
208,18,180,4,720,S,1,0.18,0,0,0,0,1,1,0,1,0,1,0,0,0,0,1,1,1,0
209,18,180,4,720,U,1,9.24
210,18,180,4,720,U,1,19.75
211,20,200,4,800,S,1,21.21,0,1,1,0,0,1,0,0,0,1,1,1,1,0,1,0,1,1,1,0
212,20,200,4,800,U,1,56.55
213,20,200,4,800,S,1,3.52,0,0,0,0,1,1,0,0,1,1,0,0,1,1,1,0,0,0,0,0
214,20,200,4,800,S,1,1.19,0,0,0,0,0,0,1,1,0,0,1,0,1,0,1,0,0,1,1,0
215,20,200,4,800,U,1,35.31
216,20,200,4,800,U,1,29.35
217,20,200,4,800,S,1,0.27,0,0,0,0,0,1,0,0,1,1,1,0,1,0,0,1,0,0,0,0
218,20,200,4,800,U,1,35.65
219,20,200,4,800,S,1,9.45,0,0,1,0,1,0,0,1,0,0,1,1,1,0,1,0,1,0,1,0
220,20,200,4,800,U,1,68.09
221,22,220,4,880,U,1,43.32
222,22,220,4,880,U,1,106.66
223,22,220,4,880,S,1,1.54,0,0,0,0,0,0,1,1,1,1,0,0,0,0,1,0,0,1,1,1,1,1
224,22,220,4,880,U,1,59.49
225,22,220,4,880,S,1,18.07,1,0,0,0,0,1,0,0,0,1,1,1,1,1,1,1,0,1,1,0,0,1
226,22,220,4,880,U,1,86.18
227,22,220,4,880,S,1,15.6,0,1,0,0,0,1,0,1,0,1,0,0,1,1,1,0,1,0,1,0,1,0
228,22,220,4,880,U,1,59.55
229,22,220,4,880,S,1,4.52,0,0,0,1,0,0,1,1,0,0,0,0,1,0,0,1,1,0,1,1,1,1
230,22,220,4,880,U,1,123.33
231,24,240,4,960,U,1,255.04
232,24,240,4,960,S,1,174.0,1,1,1,0,0,0,0,1,0,1,1,0,1,0,0,0,1,1,0,1,1,0,1,0
233,24,240,4,960,U,1,320.12
234,24,240,4,960,S,1,277.58,1,1,0,0,0,0,1,1,1,0,0,1,1,0,0,0,1,0,0,0,1,0,1,0
235,24,240,4,960,S,1,61.17,1,0,0,1,0,1,0,1,0,1,1,1,0,0,1,0,1,1,0,1,0,0,0,1
236,24,240,4,960,U,1,81.25
237,24,240,4,960,S,1,58.67,1,1,0,0,0,0,0,1,0,1,0,1,1,1,1,0,0,1,1,0,1,1,1,1
238,24,240,4,960,S,1,25.77,0,0,1,0,0,1,0,1,0,1,1,0,1,0,1,1,0,0,1,1,1,0,0,0
239,24,240,4,960,U,1,164.81
240,24,240,4,960,S,1,13.68,0,0,0,1,0,1,0,1,0,0,0,0,1,1,1,1,1,1,1,0,1,1,1,0
241,4,40,5,200,S,1,0.0,0,1,0,1
242,4,40,5,200,S,1,0.0,0,0,0,0
243,4,40,5,200,S,1,0.01,1,0,1,1
244,4,40,5,200,S,1,0.0,0,0,0,0
245,4,40,5,200,S,1,0.0,0,0,1,1
246,4,40,5,200,S,1,0.0,0,0,0,0
247,4,40,5,200,S,1,0.01,0,0,1,0
248,4,40,5,200,S,1,0.02,1,1,1,1
249,4,40,5,200,S,1,0.01,0,1,1,0
250,4,40,5,200,S,1,0.0,0,0,0,0
251,8,80,5,400,S,1,0.03,0,0,0,1,1,1,0,0
252,8,80,5,400,S,1,0.03,0,0,0,1,1,1,1,0
253,8,80,5,400,S,1,0.05,0,0,1,0,0,0,1,0
254,8,80,5,400,S,1,0.01,0,0,0,1,0,0,1,0
255,8,80,5,400,S,1,0.02,0,0,0,1,0,1,0,0
256,8,80,5,400,S,1,0.04,0,0,1,0,0,0,0,0
257,8,80,5,400,S,1,0.06,0,0,1,0,0,1,0,0
258,8,80,5,400,S,1,0.01,0,0,0,0,1,0,0,0
259,8,80,5,400,S,1,0.02,0,0,0,0,0,0,1,0
260,8,80,5,400,S,1,0.01,0,0,0,0,0,0,0,1
261,12,120,5,600,S,1,0.1,0,0,0,0,0,0,1,1,1,0,0,1
262,12,120,5,600,S,1,0.06,0,0,0,0,1,0,0,0,1,0,0,0
263,12,120,5,600,S,1,0.04,0,0,0,0,0,0,0,0,0,1,0,0
264,12,120,5,600,S,1,0.44,0,0,0,1,1,0,0,0,0,1,1,1
265,12,120,5,600,S,1,0.18,0,0,0,0,1,1,1,0,0,0,1,0
266,12,120,5,600,S,1,0.03,0,0,0,0,0,0,0,0,0,1,1,0
267,12,120,5,600,S,1,0.03,0,0,0,0,0,0,0,1,1,0,0,0
268,12,120,5,600,S,1,0.13,0,0,0,0,0,1,0,1,1,0,0,0
269,12,120,5,600,S,1,0.21,0,0,0,0,0,1,1,1,0,1,0,0
270,12,120,5,600,S,1,0.16,0,0,0,0,0,1,1,0,1,1,1,1
271,16,160,5,800,S,1,0.16,0,0,0,0,0,0,0,0,1,0,1,1,1,0,1,0
272,16,160,5,800,S,1,0.29,0,0,0,0,0,0,0,0,1,0,1,0,0,0,1,0
273,16,160,5,800,S,1,0.21,0,0,0,0,0,0,1,0,1,0,1,1,0,1,1,0
274,16,160,5,800,S,1,0.18,0,0,0,0,0,1,1,1,0,0,1,1,0,1,1,1
275,16,160,5,800,S,1,0.08,0,0,0,0,0,1,0,0,0,0,1,0,1,1,1,0
276,16,160,5,800,S,1,0.14,0,0,0,0,0,0,0,1,0,0,1,0,0,1,1,0
277,16,160,5,800,S,1,0.07,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0
278,16,160,5,800,S,1,0.06,0,0,0,0,0,0,0,0,0,0,1,0,1,1,1,0
279,16,160,5,800,S,1,0.21,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,1
280,16,160,5,800,S,1,0.94,0,0,0,0,1,1,0,1,1,1,1,1,1,0,0,0
281,18,180,5,900,S,1,0.3,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,1,0,1
282,18,180,5,900,S,1,0.59,0,0,0,0,0,0,1,0,1,0,0,0,0,1,0,1,0,1
283,18,180,5,900,S,1,0.75,0,0,0,0,0,0,0,1,1,1,0,0,0,1,0,1,0,0
284,18,180,5,900,S,1,3.82,0,0,0,0,1,0,1,0,0,1,0,1,0,0,1,1,1,0
285,18,180,5,900,S,1,2.69,0,0,0,1,0,1,0,0,0,1,0,0,1,0,1,1,1,0
286,18,180,5,900,S,1,0.82,0,0,0,0,0,0,1,0,1,1,0,0,0,0,0,1,0,0
287,18,180,5,900,S,1,1.75,0,0,0,0,0,1,0,0,0,1,0,0,1,1,0,0,0,1
288,18,180,5,900,S,1,0.64,0,0,0,0,0,0,0,0,1,0,1,1,1,0,0,1,1,1
289,18,180,5,900,S,1,0.13,0,0,0,0,0,0,0,0,0,0,1,0,1,1,1,0,1,0
290,18,180,5,900,S,1,0.65,0,0,0,0,0,0,0,0,1,0,0,1,1,0,1,0,0,0
291,20,200,5,1000,S,1,0.36,0,0,0,0,0,0,0,0,0,0,1,0,1,0,1,0,1,0,1,1
292,20,200,5,1000,S,1,1.12,0,0,0,0,0,0,1,0,0,1,1,0,0,1,0,0,0,0,1,0
293,20,200,5,1000,S,1,0.08,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0
294,20,200,5,1000,S,1,1.0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,1,0,1,0,0
295,20,200,5,1000,S,1,3.08,0,0,0,0,0,0,0,1,1,0,1,0,1,0,0,0,1,1,1,0
296,20,200,5,1000,S,1,0.18,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,1,0,1,1,1
297,20,200,5,1000,S,1,3.16,0,0,0,0,0,1,0,0,0,0,1,1,0,1,1,1,0,0,0,0
298,20,200,5,1000,S,1,0.22,0,0,0,0,0,0,0,0,0,0,1,0,1,0,1,1,0,0,0,0
299,20,200,5,1000,S,1,3.63,0,0,0,0,0,0,1,0,0,0,0,1,1,1,1,1,1,0,1,0
300,20,200,5,1000,S,1,2.59,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0,1,0,1,0
301,22,220,5,1100,S,1,0.55,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1,0,0,1,1,1,0,0
302,22,220,5,1100,S,1,4.84,0,0,0,0,0,0,0,0,1,1,0,1,0,1,1,1,0,0,0,1,0,1
303,22,220,5,1100,S,1,0.12,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,0,0
304,22,220,5,1100,S,1,0.43,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,0,1,0
305,22,220,5,1100,S,1,0.18,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,1,0,1,1,0
306,22,220,5,1100,S,1,8.41,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,1,0,1,0,1,0,1
307,22,220,5,1100,S,1,0.3,0,0,0,0,0,0,1,0,0,0,1,0,0,1,0,1,0,1,1,1,0,0
308,22,220,5,1100,S,1,2.08,0,0,0,0,0,0,1,1,0,0,0,0,0,1,0,0,1,1,1,1,1,0
309,22,220,5,1100,S,1,0.74,0,0,0,0,0,0,0,0,0,0,1,0,1,0,1,1,1,0,0,0,1,1
310,22,220,5,1100,S,1,0.7,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,1,1,1,0
311,24,240,5,1200,S,1,2.65,0,0,0,0,0,0,0,0,0,0,1,0,1,1,1,0,0,1,1,1,0,0,1,1
312,24,240,5,1200,S,1,3.78,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,1,0,0,1,1
313,24,240,5,1200,S,1,0.12,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0
314,24,240,5,1200,S,1,2.56,0,0,0,0,0,0,0,0,0,1,1,0,1,0,1,1,1,1,1,0,0,1,0,0
315,24,240,5,1200,S,1,19.57,0,0,0,0,0,1,1,0,0,0,0,0,1,1,0,1,1,0,0,0,0,0,0,1
316,24,240,5,1200,S,1,4.28,0,0,0,0,0,0,0,0,0,1,0,1,1,0,0,0,0,0,1,1,0,0,0,0
317,24,240,5,1200,S,1,0.58,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,1,0,0,0,1,1,0
318,24,240,5,1200,S,1,11.16,0,0,0,0,0,1,0,0,0,0,1,1,1,0,1,1,0,0,0,1,1,0,1,1
319,24,240,5,1200,S,1,0.21,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0
320,24,240,5,1200,S,1,10.09,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,1,0,0,1,0,1,0,1,0
321,4,40,6,240,S,1,0.0,0,0,0,0
322,4,40,6,240,S,1,0.0,0,0,1,0
323,4,40,6,240,S,1,0.0,0,0,0,0
324,4,40,6,240,S,1,0.0,0,0,0,0
325,4,40,6,240,S,1,0.01,0,0,1,1
326,4,40,6,240,S,1,0.01,0,0,0,0
327,4,40,6,240,S,1,0.0,0,0,0,0
328,4,40,6,240,S,1,0.01,0,0,0,0
329,4,40,6,240,S,1,0.0,0,0,0,0
330,4,40,6,240,S,1,0.0,0,0,0,1
331,8,80,6,480,S,1,0.02,0,0,0,0,0,0,1,0
332,8,80,6,480,S,1,0.02,0,0,0,0,0,0,1,1
333,8,80,6,480,S,1,0.01,0,0,0,0,0,0,0,1
334,8,80,6,480,S,1,0.03,0,0,0,0,1,0,0,0
335,8,80,6,480,S,1,0.03,0,0,0,0,0,1,0,0
336,8,80,6,480,S,1,0.01,0,0,0,0,0,0,0,1
337,8,80,6,480,S,1,0.02,0,0,0,0,0,0,0,0
338,8,80,6,480,S,1,0.07,0,0,1,0,0,0,0,0
339,8,80,6,480,S,1,0.02,0,0,0,0,0,0,1,1
340,8,80,6,480,S,1,0.06,0,0,0,1,0,0,0,0
341,12,120,6,720,S,1,0.04,0,0,0,0,0,0,0,0,0,0,0,1
342,12,120,6,720,S,1,0.04,0,0,0,0,0,0,0,0,1,1,0,0
343,12,120,6,720,S,1,0.07,0,0,0,0,0,0,0,1,1,0,1,0
344,12,120,6,720,S,1,0.05,0,0,0,0,0,0,0,0,1,0,1,0
345,12,120,6,720,S,1,0.04,0,0,0,0,0,0,0,0,0,1,0,1
346,12,120,6,720,S,1,0.04,0,0,0,0,0,0,0,0,0,0,0,1
347,12,120,6,720,S,1,0.03,0,0,0,0,0,0,0,0,0,0,0,0
348,12,120,6,720,S,1,0.03,0,0,0,0,0,0,0,0,0,0,1,0
349,12,120,6,720,S,1,0.23,0,0,0,0,1,0,0,0,0,0,1,0
350,12,120,6,720,S,1,0.02,0,0,0,0,0,0,0,0,0,0,0,0
351,16,160,6,960,S,1,0.05,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1
352,16,160,6,960,S,1,0.15,0,0,0,0,0,0,0,1,0,1,0,1,0,0,0,0
353,16,160,6,960,S,1,0.05,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1
354,16,160,6,960,S,1,0.1,0,0,0,0,0,0,0,0,1,0,0,1,1,0,1,0
355,16,160,6,960,S,1,0.05,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0
356,16,160,6,960,S,1,0.05,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1
357,16,160,6,960,S,1,0.16,0,0,0,0,0,0,0,0,0,0,1,1,1,1,0,0
358,16,160,6,960,S,1,0.05,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1
359,16,160,6,960,S,1,0.07,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0
360,16,160,6,960,S,1,0.2,0,0,0,0,0,0,0,0,0,1,1,1,0,0,0,0
361,18,180,6,1080,S,1,0.14,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1
362,18,180,6,1080,S,1,0.09,0,0,0,0,0,0,0,0,0,0,1,1,0,1,0,0,0,1
363,18,180,6,1080,S,1,0.34,0,0,0,0,0,0,0,0,0,0,1,0,1,0,1,0,1,0
364,18,180,6,1080,S,1,0.07,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0
365,18,180,6,1080,S,1,0.16,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0
366,18,180,6,1080,S,1,0.08,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1,1
367,18,180,6,1080,S,1,0.07,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,1,0,0
368,18,180,6,1080,S,1,0.07,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0
369,18,180,6,1080,S,1,0.23,0,0,0,0,0,0,0,0,0,1,0,0,1,1,0,1,1,1
370,18,180,6,1080,S,1,0.66,0,0,0,0,0,0,0,0,0,0,1,0,1,0,1,1,1,0
371,20,200,6,1200,S,1,0.23,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1,1
372,20,200,6,1200,S,1,0.49,0,0,0,0,0,0,0,0,0,1,0,0,1,1,0,1,1,0,1,1
373,20,200,6,1200,S,1,0.14,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,1,0
374,20,200,6,1200,S,1,0.12,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1
375,20,200,6,1200,S,1,0.49,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,1,0,0,0,0
376,20,200,6,1200,S,1,1.04,0,0,0,0,0,0,0,0,0,0,0,1,1,0,1,0,0,0,0,1
377,20,200,6,1200,S,1,0.17,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,1,0,0
378,20,200,6,1200,S,1,0.4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0
379,20,200,6,1200,S,1,2.29,0,0,0,0,0,0,0,0,1,0,1,0,0,1,0,0,0,0,1,0
380,20,200,6,1200,S,1,0.37,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,1,0,0,1
381,22,220,6,1320,S,1,0.12,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0
382,22,220,6,1320,S,1,0.15,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,1,0
383,22,220,6,1320,S,1,6.61,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,1,1
384,22,220,6,1320,S,1,0.5,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,1,1,0,0,1,0
385,22,220,6,1320,S,1,0.1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
386,22,220,6,1320,S,1,0.1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0
387,22,220,6,1320,S,1,0.12,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,1,0,0,0
388,22,220,6,1320,S,1,0.94,0,0,0,0,0,0,0,0,0,0,0,1,1,1,0,0,0,0,0,0,0,1
389,22,220,6,1320,S,1,0.14,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,1,0,0
390,22,220,6,1320,S,1,0.16,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0
391,24,240,6,1440,S,1,0.29,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1,0
392,24,240,6,1440,S,1,0.18,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,1,0,1
393,24,240,6,1440,S,1,0.12,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1
394,24,240,6,1440,S,1,1.72,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,1
395,24,240,6,1440,S,1,0.33,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,1,0
396,24,240,6,1440,S,1,0.2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1,0,0
397,24,240,6,1440,S,1,0.14,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1,0
398,24,240,6,1440,S,1,0.18,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,1,0,1
399,24,240,6,1440,S,1,2.0,0,0,0,0,0,0,0,0,0,0,1,0,1,1,0,1,0,0,0,1,0,1,0,0
400,24,240,6,1440,S,1,0.24,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,1,0,1,0,0,1
kSAT,kopp-fabian,400,257,143,400,400