-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathdpllout.csv
We can make this file beautiful and searchable if this error is corrected: No commas found in this CSV file in line 0.
350 lines (350 loc) · 23.8 KB
/
dpllout.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
test/uf20-0160.cnf 20 91 SATISFIABLE 91 14 0.030955791 4.55
test/uf20-0162.cnf 20 91 SATISFIABLE 91 16 0.044470549
test/uuf50-03.cnf 50 218 UNSATISFIABLE 217 36 4.46414113
test/uf20-0161.cnf 20 91 SATISFIABLE 91 18 0.034742117
test/uuf50-01.cnf 50 218 UNSATISFIABLE 216 28 5.417712927
test/uf50-02.cnf 50 218 SATISFIABLE 218 38 7.93409276
test/100.420.604335459.cnf 100 420 SATISFIABLE 420 75 12.94958854
test/uuf50-09.cnf 50 218 UNSATISFIABLE 217 35 23.70441198
test/100.420.143200046.cnf 100 420 SATISFIABLE 420 74 55.62404156
test/uf50-010.cnf 50 218 SATISFIABLE 218 38 3.765310049
test/uuf75-06.cnf 75 325 UNSATISFIABLE 318 40 59.6006031
test/100.430.165418000.cnf 100 430 SATISFIABLE 430 71 60.42751718
test/100.450.562677102.cnf 100 450 UNSATISFIABLE 439 55 368.3499787
test/100.410.1198757303.cnf 100 410 SATISFIABLE 410 57 6.882820368
test/100.410.703539617.cnf 100 410 SATISFIABLE 410 58 3.168195963
test/uf75-010.cnf 75 325 SATISFIABLE 325 54 2.988476515
test/100.450.975684953.cnf 100 450 UNSATISFIABLE 444 59 484.3362761
test/100.410.865550131.cnf 100 410 SATISFIABLE 410 57 17.79432201
test/uuf75-05.cnf 75 325 UNSATISFIABLE 324 47 147.0314946
test/100.410.493366755.cnf 100 410 SATISFIABLE 410 74 678.5786126
test/uf75-09.cnf 75 325 SATISFIABLE 325 62 13.94555688
test/100.430.1230680788.cnf 100 430 SATISFIABLE 430 70 754.4252789
test/100.460.1034670663.cnf 100 460 UNSATISFIABLE 456 62 826.8872404
test/uf20-0156.cnf 20 91 SATISFIABLE 91 17 0.029077768
test/100.410.1167671470.cnf 100 410 SATISFIABLE 410 82 1139.189553
test/100.410.699718290.cnf 100 410 UNSATISFIABLE 409 80 1401.778887
test/100.460.90785379.cnf 100 460 SATISFIABLE 460 62 1429.711867
test/100.430.297670159.cnf 100 430 SATISFIABLE 430 76 27.62305641
test/uf20-0165.cnf 20 91 SATISFIABLE 91 18 0.013699293
test/100.440.810950830.cnf 100 440 UNSATISFIABLE 427 49 1457.196696
test/100.430.676259029.cnf 100 430 SATISFIABLE 430 74 35.4293232
test/100.450.27782894.cnf 100 450 UNSATISFIABLE 441 56 814.0235193
test/100.420.529185557.cnf 100 420 SATISFIABLE 420 72 527.3382835
test/100.430.1295553926.cnf 100 430 SATISFIABLE 430 66 911.3771992
test/100.440.1369153400.cnf 100 440 UNSATISFIABLE 436 72 1848.552683
test/100.440.365145208.cnf 100 440 UNSATISFIABLE 433 57 1387.210275
test/100.420.250339992.cnf 100 420 SATISFIABLE 420 69 550.8335667
test/100.460.852152153.cnf 100 460 SATISFIABLE 460 72 235.7128139
test/100.430.1362651598.cnf 100 430 SATISFIABLE 430 71 1735.287915
test/100.430.1311725926.cnf 100 430 SATISFIABLE 430 59 143.6621542
test/100.410.748497649.cnf 100 410 SATISFIABLE 410 72 533.9997616
test/100.450.1207763422.cnf 100 450 SATISFIABLE 450 63 586.6515081
test/100.410.1297652889.cnf 100 410 SATISFIABLE 410 57 53.1003511
test/100.420.518689011.cnf 100 420 SATISFIABLE 420 68 152.99598
test/100.440.1176126774.cnf 100 440 UNSATISFIABLE 439 66 2800.070508
test/100.450.646151308.cnf 100 450 UNSATISFIABLE 438 50 1225.089782
test/100.420.608137651.cnf 100 420 SATISFIABLE 420 58 468.3938384
test/100.460.80870092.cnf 100 460 UNSATISFIABLE 459 71 3314.760581
test/100.440.718644139.cnf 100 440 UNSATISFIABLE 437 67 821.9348879
test/100.440.740896193.cnf 100 440 SATISFIABLE 440 73 3488.643658
test/100.420.554788831.cnf 100 420 SATISFIABLE 420 71 982.8795648
test/100.460.673819371.cnf 100 460 UNSATISFIABLE 452 52 2291.235785
test/100.430.169712775.cnf 100 430 UNSATISFIABLE 429 78 3994.010318
test/uuf50-010.cnf 50 218 UNSATISFIABLE 213 31 4.197370768
test/100.430.955921359.cnf 100 430 SATISFIABLE 430 68 6.723515987
test/100.460.1120465449.cnf 100 460 UNSATISFIABLE 446 57 1565.051514
test/100.410.447004890.cnf 100 410 SATISFIABLE 410 65 1016.758767
test/100.460.1248014670.cnf 100 460 SATISFIABLE 460 71 290.249042
test/100.410.1343419672.cnf 100 410 SATISFIABLE 410 89 4491.323847
test/100.430.402460209.cnf 100 430 SATISFIABLE 430 67 332.0918183
test/100.460.531137970.cnf 100 460 SATISFIABLE 460 59 121.4835045
test/100.460.492020851.cnf 100 460 UNSATISFIABLE 449 51 3070.521285
test/100.440.811207404.cnf 100 440 UNSATISFIABLE 439 62 1613.557476
test/100.440.1157971829.cnf 100 440 UNSATISFIABLE 439 68 1477.589173
test/100.450.317312702.cnf 100 450 UNSATISFIABLE 439 58 5129.840925
test/100.430.294942140.cnf 100 430 SATISFIABLE 430 77 520.9200859
test/100.420.1018887015.cnf 100 420 SATISFIABLE 420 82 1908.411709
test/100.460.85539484.cnf 100 460 UNSATISFIABLE 457 66 1332.124599
test/100.460.1107530692.cnf 100 460 UNSATISFIABLE 445 55 1693.064997
test/100.450.181773497.cnf 100 450 UNSATISFIABLE 446 66 2170.689202
test/100.420.236603380.cnf 100 420 UNSATISFIABLE 419 73 6151.72247
test/100.450.1268267724.cnf 100 450 UNSATISFIABLE 445 62 1677.480192
test/100.430.911209613.cnf 100 430 UNSATISFIABLE 424 64 1159.141122
test/100.440.511157684.cnf 100 440 UNSATISFIABLE 433 54 1456.065502
test/100.420.254227893.cnf 100 420 UNSATISFIABLE 417 64 3705.477169
test/100.440.788131367.cnf 100 440 UNSATISFIABLE 435 65 2151.923413
test/100.450.232061476.cnf 100 450 UNSATISFIABLE 448 69 3250.187325
test/100.450.832057164.cnf 100 450 SATISFIABLE 450 77 646.7146952
test/100.430.1144243042.cnf 100 430 UNSATISFIABLE 426 64 5854.063651
test/100.420.760693063.cnf 100 420 UNSATISFIABLE 419 73 3072.629249
test/100.450.379182505.cnf 100 450 UNSATISFIABLE 428 54 1328.887434
test/100.420.77495801.cnf 100 420 UNSATISFIABLE 418 67 1348.252526
test/100.460.133427116.cnf 100 460 UNSATISFIABLE 458 53 685.0596681
test/100.440.1172890912.cnf 100 440 UNSATISFIABLE 435 55 6832.306641
test/100.410.1296325318.cnf 100 410 SATISFIABLE 410 75 491.963563
test/100.430.548412766.cnf 100 430 UNSATISFIABLE 426 66 1320.976883
test/uuf50-08.cnf 50 218 UNSATISFIABLE 213 32 25.50144458
test/uuf75-02.cnf 75 325 UNSATISFIABLE 324 49 115.9775546
test/uuf75-09.cnf 75 325 UNSATISFIABLE 324 54 372.5992596
test/100.430.635040118.cnf 100 430 SATISFIABLE 430 73 2179.2598
test/100.460.472121275.cnf 100 460 UNSATISFIABLE 459 68 900.0300338
test/100.410.18944532.cnf 100 410 SATISFIABLE 410 65 351.4223275
test/uuf50-04.cnf 50 218 UNSATISFIABLE 212 32 3.830987453
test/100.410.1059004828.cnf 100 410 SATISFIABLE 410 66 911.4342203
test/uf75-04.cnf 75 325 SATISFIABLE 325 56 227.2303205
test/100.420.1137516528.cnf 100 420 SATISFIABLE 420 69 5394.614857
test/100.430.430833627.cnf 100 430 UNSATISFIABLE 427 63 3284.08327
test/100.460.543285046.cnf 100 460 SATISFIABLE 460 61 379.4947722
test/100.460.597351851.cnf 100 460 UNSATISFIABLE 448 59 1417.769908
test/100.410.1356802637.cnf 100 410 SATISFIABLE 410 81 188.3672037
test/100.430.873008634.cnf 100 430 UNSATISFIABLE 426 67 769.0243595
test/100.450.993732303.cnf 100 450 SATISFIABLE 450 74 61.54351544
test/100.430.412627036.cnf 100 430 UNSATISFIABLE 426 65 1143.106274
test/100.420.103750882.cnf 100 420 SATISFIABLE 420 77 58.900213
test/100.420.264006863.cnf 100 420 UNSATISFIABLE 419 65 5728.121939
test/uf75-01.cnf 75 325 SATISFIABLE 325 43 1.170871973
test/100.450.958149348.cnf 100 450 UNSATISFIABLE 434 57 1103.946656
test/uf75-07.cnf 75 325 SATISFIABLE 325 44 1.189228535
test/100.410.1203798210.cnf 100 410 SATISFIABLE 410 66 720.3950021
test/100.410.1352161695.cnf 100 410 SATISFIABLE 410 68 2889.789131
test/100.410.1325082094.cnf 100 410 SATISFIABLE 410 72 3286.118771
test/100.410.699744512.cnf 100 410 SATISFIABLE 410 68 146.3109457
test/100.440.789166541.cnf 100 440 UNSATISFIABLE 437 65 4208.263873
test/100.460.1339750937.cnf 100 460 UNSATISFIABLE 441 55 826.7594483
test/uuf75-04.cnf 75 325 UNSATISFIABLE 323 47 94.41858649
test/uuf50-02.cnf 50 218 UNSATISFIABLE 212 35 4.878126621
test/100.430.671555998.cnf 100 430 UNSATISFIABLE 418 57 1891.713664
test/100.450.159110324.cnf 100 450 UNSATISFIABLE 448 65 4092.0958
test/uf50-03.cnf 50 218 SATISFIABLE 218 43 0.405661106
test/100.440.1083045173.cnf 100 440 UNSATISFIABLE 439 68 954.8018858
test/uuf50-06.cnf 50 218 UNSATISFIABLE 217 40 9.706024885
test/100.420.18433043.cnf 100 420 SATISFIABLE 420 71 399.7151768
test/100.430.975412199.cnf 100 430 SATISFIABLE 430 72 18.81933498
test/uf50-07.cnf 50 218 SATISFIABLE 218 32 5.09821558
test/100.460.1072412257.cnf 100 460 UNSATISFIABLE 449 53 854.1060009
test/100.420.143119294.cnf 100 420 SATISFIABLE 420 85 274.6669798
test/100.430.1291431781.cnf 100 430 SATISFIABLE 430 68 1165.834629
test/100.410.714373159.cnf 100 410 SATISFIABLE 410 62 114.7720442
test/100.460.1229087645.cnf 100 460 SATISFIABLE 460 72 823.3195195
test/uf50-08.cnf 50 218 SATISFIABLE 218 34 3.646165133
test/100.410.17065549.cnf 100 410 SATISFIABLE 410 71 4129.738614
test/100.410.455731701.cnf 100 410 SATISFIABLE 410 74 695.7037027
test/100.460.991891494.cnf 100 460 UNSATISFIABLE 447 52 803.5742135
test/100.430.855454777.cnf 100 430 SATISFIABLE 430 82 1264.199899
test/100.420.727977011.cnf 100 420 UNSATISFIABLE 419 80 3187.134869
test/100.410.341202973.cnf 100 410 SATISFIABLE 410 71 568.1543338
test/100.420.212275068.cnf 100 420 SATISFIABLE 420 62 2476.926711
test/100.450.465510147.cnf 100 450 UNSATISFIABLE 443 58 2367.818657
test/100.450.632072978.cnf 100 450 UNSATISFIABLE 444 59 1585.275967
test/uf50-04.cnf 50 218 SATISFIABLE 218 41 1.113656044
test/uf20-0158.cnf 20 91 SATISFIABLE 91 15 0.028309107
test/uuf50-05.cnf 50 218 UNSATISFIABLE 216 31 6.87668395
test/100.430.283929550.cnf 100 430 UNSATISFIABLE 428 61 4925.948402
test/100.460.387910811.cnf 100 460 SATISFIABLE 460 49 527.4606757
test/100.440.323252473.cnf 100 440 SATISFIABLE 440 67 311.5289664
test/100.460.962406099.cnf 100 460 SATISFIABLE 460 44 177.1640532
test/uuf75-07.cnf 75 325 UNSATISFIABLE 312 42 169.5524063
test/100.430.11841216.cnf 100 430 UNSATISFIABLE 428 68 3206.779037
test/100.450.648893346.cnf 100 450 UNSATISFIABLE 447 71 1771.512158
test/100.450.1101475794.cnf 100 450 UNSATISFIABLE 449 71 1109.521508
test/100.450.244924402.cnf 100 450 UNSATISFIABLE 445 64 2762.962276
test/100.410.593203825.cnf 100 410 SATISFIABLE 410 75 566.3682179
test/100.420.94472846.cnf 100 420 UNSATISFIABLE 419 59 872.7976685
test/100.460.494726053.cnf 100 460 SATISFIABLE 460 71 310.1498795
test/100.460.1190504159.cnf 100 460 UNSATISFIABLE 456 57 926.3682091
test/100.410.951635834.cnf 100 410 SATISFIABLE 410 76 449.5218222
test/100.440.911795405.cnf 100 440 UNSATISFIABLE 435 60 4434.363415
test/100.440.803893564.cnf 100 440 UNSATISFIABLE 436 65 1707.713716
test/100.440.223352132.cnf 100 440 SATISFIABLE 440 78 469.388742
test/100.440.307365877.cnf 100 440 UNSATISFIABLE 439 66 2891.517284
test/uf20-0164.cnf 20 91 SATISFIABLE 91 16 0.037619591
test/100.410.417933666.cnf 100 410 UNSATISFIABLE 409 70 4251.515166
test/100.430.1190092751.cnf 100 430 SATISFIABLE 430 67 414.09835
test/100.430.1264799022.cnf 100 430 SATISFIABLE 430 65 2415.667052
test/100.460.798117943.cnf 100 460 UNSATISFIABLE 437 62 444.0730455
test/100.460.655149865.cnf 100 460 UNSATISFIABLE 455 60 9927.912215
test/100.410.947230899.cnf 100 410 UNSATISFIABLE 409 75 878.2448184
test/100.450.1007582229.cnf 100 450 UNSATISFIABLE 440 57 2367.299641
test/100.420.520571188.cnf 100 420 SATISFIABLE 420 65 766.8722332
test/100.450.596395829.cnf 100 450 UNSATISFIABLE 437 57 1105.383193
test/100.420.1027789284.cnf 100 420 SATISFIABLE 420 78 996.2662857
test/100.430.138787627.cnf 100 430 SATISFIABLE 430 65 740.6938872
test/100.460.745058687.cnf 100 460 UNSATISFIABLE 448 51 511.9081161
test/100.430.312952587.cnf 100 430 SATISFIABLE 430 64 34.78241801
test/100.460.377328835.cnf 100 460 UNSATISFIABLE 453 62 2730.928009
test/100.450.680081709.cnf 100 450 SATISFIABLE 450 59 382.7638414
test/100.440.319437359.cnf 100 440 SATISFIABLE 440 84 3295.326282
test/uuf75-03.cnf 75 325 UNSATISFIABLE 321 45 80.31622767
test/100.410.387305577.cnf 100 410 UNSATISFIABLE 409 75 4825.900859
test/100.430.345819663.cnf 100 430 UNSATISFIABLE 426 60 2768.010641
test/100.460.1142210744.cnf 100 460 UNSATISFIABLE 450 57 3384.541176
test/100.430.250643689.cnf 100 430 SATISFIABLE 430 67 427.6781733
test/100.420.1004370250.cnf 100 420 UNSATISFIABLE 419 64 16633.95687
test/100.410.430142855.cnf 100 410 SATISFIABLE 410 62 3529.824048
test/100.420.1244568963.cnf 100 420 SATISFIABLE 420 58 525.8145795
test/100.430.1198532553.cnf 100 430 UNSATISFIABLE 427 69 4427.438376
test/100.410.249209365.cnf 100 410 SATISFIABLE 410 78 597.47965
test/100.450.1241741466.cnf 100 450 UNSATISFIABLE 442 60 2645.536752
test/100.460.361726079.cnf 100 460 UNSATISFIABLE 440 53 150.2401159
test/100.420.655542588.cnf 100 420 UNSATISFIABLE 418 69 3902.187054
test/100.450.771499479.cnf 100 450 UNSATISFIABLE 449 60 3585.930363
test/100.430.883642754.cnf 100 430 UNSATISFIABLE 428 61 1453.329699
test/100.460.817401592.cnf 100 460 UNSATISFIABLE 443 52 1360.83165
test/100.420.1338323141.cnf 100 420 UNSATISFIABLE 418 69 6201.046197
test/uf75-05.cnf 75 325 SATISFIABLE 325 47 74.52489471
test/100.430.818546406.cnf 100 430 SATISFIABLE 430 66 2506.573481
test/100.450.234222082.cnf 100 450 UNSATISFIABLE 448 69 1504.023055
test/100.430.424141971.cnf 100 430 UNSATISFIABLE 429 64 3544.853441
test/100.450.299813349.cnf 100 450 UNSATISFIABLE 437 52 2292.208199
test/100.450.1208596361.cnf 100 450 UNSATISFIABLE 449 73 2317.651233
test/uuf75-010.cnf 75 325 UNSATISFIABLE 323 51 214.879967
test/100.460.943901411.cnf 100 460 UNSATISFIABLE 455 58 1985.939934
test/100.410.1306390556.cnf 100 410 UNSATISFIABLE 409 76 2531.192921
test/100.440.696662980.cnf 100 440 UNSATISFIABLE 439 60 4365.109908
test/100.460.353869069.cnf 100 460 UNSATISFIABLE 451 59 6553.368765
test/100.410.956835828.cnf 100 410 SATISFIABLE 410 69 175.722944
test/100.420.350899733.cnf 100 420 SATISFIABLE 420 64 2087.510241
test/100.420.517278458.cnf 100 420 SATISFIABLE 420 72 682.3221986
test/100.420.513314709.cnf 100 420 SATISFIABLE 420 77 4678.304589
test/100.420.105354414.cnf 100 420 UNSATISFIABLE 419 70 5402.287883
test/100.430.1332119530.cnf 100 430 UNSATISFIABLE 427 67 2904.446932
test/100.410.309690489.cnf 100 410 SATISFIABLE 410 72 4793.687519
test/100.440.399054951.cnf 100 440 SATISFIABLE 440 63 2935.920783
test/100.450.19073624.cnf 100 450 SATISFIABLE 450 71 98.3787415
test/uuf75-01.cnf 75 325 UNSATISFIABLE 324 57 197.8888962
test/100.440.309266109.cnf 100 440 UNSATISFIABLE 438 56 1784.43519
test/100.430.98717088.cnf 100 430 SATISFIABLE 430 83 1292.03668
test/100.450.129152699.cnf 100 450 UNSATISFIABLE 439 59 2613.061366
test/100.450.185051212.cnf 100 450 UNSATISFIABLE 436 55 1913.077343
test/100.460.921850402.cnf 100 460 UNSATISFIABLE 455 69 2230.801967
test/100.430.189575513.cnf 100 430 UNSATISFIABLE 428 64 4521.51879
test/100.460.1220038146.cnf 100 460 UNSATISFIABLE 455 59 2141.895485
test/100.450.268823949.cnf 100 450 UNSATISFIABLE 449 66 2427.892117
test/100.450.617676236.cnf 100 450 UNSATISFIABLE 441 54 2070.058091
test/100.450.661818827.cnf 100 450 UNSATISFIABLE 445 61 3160.003434
test/100.430.1145009819.cnf 100 430 UNSATISFIABLE 421 54 824.2376685
test/100.420.779746526.cnf 100 420 SATISFIABLE 420 78 765.0654626
test/uf20-0157.cnf 20 91 SATISFIABLE 91 14 0.053005695
test/100.440.263082781.cnf 100 440 UNSATISFIABLE 439 79 10659.0041
test/100.440.822619456.cnf 100 440 UNSATISFIABLE 439 64 1734.137063
test/100.410.1039232932.cnf 100 410 SATISFIABLE 410 79 3.438858271
test/100.410.456412111.cnf 100 410 SATISFIABLE 410 69 234.3271544
test/100.420.720084340.cnf 100 420 SATISFIABLE 420 73 3601.137391
test/100.460.1365123519.cnf 100 460 UNSATISFIABLE 459 64 958.5246761
test/100.420.783505917.cnf 100 420 SATISFIABLE 420 77 508.5966711
test/100.440.142925087.cnf 100 440 UNSATISFIABLE 439 67 2600.770186
test/100.460.1058594877.cnf 100 460 UNSATISFIABLE 456 58 1531.047334
test/100.460.1027890229.cnf 100 460 UNSATISFIABLE 457 70 3366.807028
test/100.420.1301491304.cnf 100 420 UNSATISFIABLE 412 56 949.5235064
test/uf75-02.cnf 75 325 SATISFIABLE 325 60 32.24973965
test/100.410.943139823.cnf 100 410 SATISFIABLE 410 81 286.9321277
test/100.430.618397536.cnf 100 430 SATISFIABLE 430 80 715.7935734
test/100.450.1192161593.cnf 100 450 UNSATISFIABLE 448 70 1822.432695
test/100.450.1128886329.cnf 100 450 UNSATISFIABLE 437 56 2999.510225
test/100.440.1114956439.cnf 100 440 UNSATISFIABLE 439 70 4441.31109
test/100.440.281513920.cnf 100 440 SATISFIABLE 440 78 1139.5498
test/100.450.919378425.cnf 100 450 UNSATISFIABLE 446 60 1727.011838
test/100.440.1058678104.cnf 100 440 UNSATISFIABLE 438 63 662.7242298
test/100.430.470266958.cnf 100 430 SATISFIABLE 430 66 1066.854872
test/100.450.1267817750.cnf 100 450 UNSATISFIABLE 434 57 684.3716509
test/100.420.508764440.cnf 100 420 SATISFIABLE 420 82 841.6794417
test/100.450.913828363.cnf 100 450 UNSATISFIABLE 445 65 6743.22983
test/100.460.1189894898.cnf 100 460 SATISFIABLE 460 64 66.23293734
test/100.430.1009492299.cnf 100 430 UNSATISFIABLE 428 73 1340.518497
test/100.420.631989035.cnf 100 420 UNSATISFIABLE 419 70 8010.921843
test/100.410.241891775.cnf 100 410 SATISFIABLE 410 73 72.46935797
test/100.440.176071722.cnf 100 440 UNSATISFIABLE 438 64 875.7946837
test/100.410.264858125.cnf 100 410 SATISFIABLE 410 65 19.3116529
test/uf20-0163.cnf 20 91 SATISFIABLE 91 19 0.02312088
test/100.440.1306976744.cnf 100 440 UNSATISFIABLE 432 58 1698.291313
test/uf50-01.cnf 50 218 SATISFIABLE 218 42 7.423309803
test/100.440.322562276.cnf 100 440 SATISFIABLE 440 71 3283.289364
test/100.410.891788457.cnf 100 410 SATISFIABLE 410 68 512.4702625
test/100.450.621295037.cnf 100 450 UNSATISFIABLE 448 67 1503.358463
test/100.420.1252715679.cnf 100 420 SATISFIABLE 420 72 28.28094172
test/100.440.145777343.cnf 100 440 SATISFIABLE 440 65 324.5024478
test/100.460.501195765.cnf 100 460 UNSATISFIABLE 446 50 1468.968091
test/100.420.1182894637.cnf 100 420 SATISFIABLE 420 67 1771.032413
test/100.410.965077260.cnf 100 410 SATISFIABLE 410 62 1695.948253
test/100.420.306915120.cnf 100 420 UNSATISFIABLE 419 71 4375.276416
test/100.450.912105512.cnf 100 450 UNSATISFIABLE 448 62 535.9191294
test/100.410.195152248.cnf 100 410 SATISFIABLE 410 68 170.2132237
test/100.440.767998326.cnf 100 440 UNSATISFIABLE 438 70 7255.325647
test/100.440.640374730.cnf 100 440 UNSATISFIABLE 421 53 1593.759003
test/100.420.248389397.cnf 100 420 SATISFIABLE 420 73 338.8539114
test/100.440.814030407.cnf 100 440 UNSATISFIABLE 439 63 2015.373287
test/100.460.560748751.cnf 100 460 UNSATISFIABLE 447 59 523.8897579
test/uuf75-08.cnf 75 325 UNSATISFIABLE 324 56 81.21601534
test/100.420.279259170.cnf 100 420 SATISFIABLE 420 69 246.9839132
test/100.430.452966654.cnf 100 430 SATISFIABLE 430 58 49.50142431
test/100.430.311192608.cnf 100 430 SATISFIABLE 430 69 177.2703876
test/100.460.294886552.cnf 100 460 UNSATISFIABLE 441 46 390.7980468
test/100.440.547408509.cnf 100 440 SATISFIABLE 440 65 788.9047937
test/100.440.367330071.cnf 100 440 SATISFIABLE 440 76 354.1182749
test/100.450.292993877.cnf 100 450 UNSATISFIABLE 448 65 1402.872798
test/100.430.31052356.cnf 100 430 SATISFIABLE 430 78 1865.817818
test/uf50-09.cnf 50 218 SATISFIABLE 218 37 0.63187623
test/100.420.660152703.cnf 100 420 SATISFIABLE 420 65 1999.983397
test/100.440.1055366826.cnf 100 440 SATISFIABLE 440 85 572.849041
test/100.430.332966265.cnf 100 430 SATISFIABLE 430 63 515.9458325
test/100.420.918981202.cnf 100 420 UNSATISFIABLE 419 67 992.4919062
test/100.460.1014883666.cnf 100 460 SATISFIABLE 460 70 667.1224768
test/100.410.1010795163.cnf 100 410 SATISFIABLE 410 68 796.3535097
test/100.440.892511122.cnf 100 440 UNSATISFIABLE 438 64 1004.342041
test/100.440.1373334538.cnf 100 440 UNSATISFIABLE 432 52 1134.287965
test/100.450.685657939.cnf 100 450 UNSATISFIABLE 445 61 4289.308095
test/100.460.700577847.cnf 100 460 UNSATISFIABLE 451 57 1328.404628
test/100.440.1336653464.cnf 100 440 UNSATISFIABLE 434 58 655.9383895
test/100.430.1272843192.cnf 100 430 UNSATISFIABLE 429 60 1504.7441
test/100.410.730428774.cnf 100 410 SATISFIABLE 410 74 2067.177325
test/100.430.891876911.cnf 100 430 SATISFIABLE 430 67 45.01595211
test/100.410.1162274926.cnf 100 410 SATISFIABLE 410 55 82.12087369
test/100.420.648503742.cnf 100 420 UNSATISFIABLE 416 69 3628.573884
test/100.450.1367308746.cnf 100 450 UNSATISFIABLE 449 70 1227.944303
test/100.450.473731487.cnf 100 450 UNSATISFIABLE 446 56 1267.828315
test/uf50-05.cnf 50 218 SATISFIABLE 218 42 0.487356663
test/100.450.988280688.cnf 100 450 SATISFIABLE 450 60 2016.663224
test/100.450.64481687.cnf 100 450 UNSATISFIABLE 445 56 856.7742152
test/100.440.1341570152.cnf 100 440 UNSATISFIABLE 438 62 3645.87821
test/100.430.1309663570.cnf 100 430 UNSATISFIABLE 429 73 1040.226477
test/100.450.1043369226.cnf 100 450 UNSATISFIABLE 448 69 6233.275149
test/100.460.152641495.cnf 100 460 UNSATISFIABLE 458 72 3264.434341
test/uf75-03.cnf 75 325 SATISFIABLE 325 53 153.1415932
test/100.410.163250976.cnf 100 410 SATISFIABLE 410 83 6051.190878
test/100.410.1169081110.cnf 100 410 SATISFIABLE 410 73 5726.313521
test/100.460.152995728.cnf 100 460 UNSATISFIABLE 451 53 874.2382774
test/100.420.6076625.cnf 100 420 UNSATISFIABLE 418 74 12090.28052
test/100.460.815142642.cnf 100 460 UNSATISFIABLE 458 65 625.3652322
test/uf75-06.cnf 75 325 SATISFIABLE 325 52 251.5157073
test/100.440.1218687394.cnf 100 440 UNSATISFIABLE 431 59 2396.498919
test/100.440.971561465.cnf 100 440 UNSATISFIABLE 439 60 1459.47743
test/100.410.1300691559.cnf 100 410 SATISFIABLE 410 62 20.92804718
test/100.450.701186156.cnf 100 450 UNSATISFIABLE 440 59 1149.961606
test/100.420.78668076.cnf 100 420 UNSATISFIABLE 418 62 792.2266569
test/100.410.885938738.cnf 100 410 UNSATISFIABLE 409 77 23277.63632
test/100.440.313322538.cnf 100 440 SATISFIABLE 440 81 10110.30876
test/100.440.682901286.cnf 100 440 UNSATISFIABLE 438 63 3909.447158
test/100.440.295658976.cnf 100 440 SATISFIABLE 440 65 2998.178877
test/100.410.884024713.cnf 100 410 SATISFIABLE 410 73 1269.435098
test/uf20-0159.cnf 20 91 SATISFIABLE 91 19 0.063504696
test/100.460.701101784.cnf 100 460 UNSATISFIABLE 454 56 1615.050712
test/uf75-08.cnf 75 325 SATISFIABLE 325 52 3.081307411
test/100.420.940484221.cnf 100 420 SATISFIABLE 420 73 1143.565843
test/uf50-06.cnf 50 218 SATISFIABLE 218 38 1.923189402
test/100.430.1026925615.cnf 100 430 SATISFIABLE 430 72 627.9045672
test/uuf50-07.cnf 50 218 UNSATISFIABLE 215 33 5.244589329
test/100.420.259141876.cnf 100 420 SATISFIABLE 420 67 1392.592868
test/100.460.620825221.cnf 100 460 UNSATISFIABLE 457 55 2898.184836
test/100.440.733279005.cnf 100 440 SATISFIABLE 440 79 40.55007958
test/100.410.536371506.cnf 100 410 SATISFIABLE 410 60 2.589601278
test/100.410.59012100.cnf 100 410 SATISFIABLE 410 63 1744.197607
test/100.460.1092352123.cnf 100 460 SATISFIABLE 460 68 13.79558229
test/100.420.462406586.cnf 100 420 UNSATISFIABLE 419 72 3147.709789
test/100.420.837469646.cnf 100 420 SATISFIABLE 420 75 228.302135
test/100.430.1109013847.cnf 100 430 SATISFIABLE 430 63 911.6442721
test/100.450.1280531473.cnf 100 450 UNSATISFIABLE 440 68 2495.939204
test/100.460.1035710439.cnf 100 460 UNSATISFIABLE 447 56 291.16925
test/100.450.755865893.cnf 100 450 UNSATISFIABLE 449 69 7432.406217
test/100.440.279437772.cnf 100 440 UNSATISFIABLE 439 64 2006.50662
test/100.440.276826985.cnf 100 440 UNSATISFIABLE 438 63 2221.183485