Index of /papers/its2012/results/sarge-etch-lenny/logs/


../
1.cudf_sol_check.mpm                               22-Jun-2012 00:24                 151
1.runsolver.aptget                                 18-Jun-2012 17:41                4808
1.runsolver.aptitude                               18-Jun-2012 17:28               14524
1.runsolver.cupt                                   18-Jun-2012 17:47                8602
1.runsolver.mpm                                    17-Sep-2012 15:43               13864
1.runsolver.smart                                  21-Jun-2012 02:01               11096
10.cudf_sol_check.mpm                              22-Jun-2012 00:03                 152
10.runsolver.aptget                                18-Jun-2012 17:41                5293
10.runsolver.aptitude                              18-Jun-2012 17:28                8145
10.runsolver.cupt                                  18-Jun-2012 17:48                4245
10.runsolver.mpm                                   17-Sep-2012 15:43                9492
10.runsolver.smart                                 21-Jun-2012 02:01               11042
100.cudf_sol_check.mpm                             21-Jun-2012 23:59                 153
100.runsolver.aptget                               18-Jun-2012 17:41                5336
100.runsolver.aptitude                             18-Jun-2012 17:28                8173
100.runsolver.cupt                                 18-Jun-2012 17:48                4280
100.runsolver.mpm                                  17-Sep-2012 15:43               13657
100.runsolver.smart                                21-Jun-2012 02:01               11237
101.cudf_sol_check.aptget                          17-Sep-2012 17:29                 199
101.cudf_sol_check.aptitude                        17-Sep-2012 17:29                 110
101.cudf_sol_check.mpm                             17-Sep-2012 17:29                1707
101.runsolver.aptget                               18-Jun-2012 17:41                5315
101.runsolver.aptitude                             18-Jun-2012 17:28                9125
101.runsolver.cupt                                 18-Jun-2012 17:48                7516
101.runsolver.mpm                                  17-Sep-2012 15:43               12228
101.runsolver.smart                                21-Jun-2012 02:01               11225
102.cudf_sol_check.mpm                             22-Jun-2012 00:00                 153
102.runsolver.aptget                               18-Jun-2012 17:41                5300
102.runsolver.aptitude                             18-Jun-2012 17:28                7817
102.runsolver.cupt                                 18-Jun-2012 17:47               11934
102.runsolver.mpm                                  17-Sep-2012 15:43               12727
102.runsolver.smart                                21-Jun-2012 02:01               11208
103.cudf_sol_check.mpm                             22-Jun-2012 00:00                 153
103.runsolver.aptget                               18-Jun-2012 17:41                5301
103.runsolver.aptitude                             18-Jun-2012 17:28               10044
103.runsolver.cupt                                 18-Jun-2012 17:47                8026
103.runsolver.mpm                                  17-Sep-2012 15:43               13220
103.runsolver.smart                                21-Jun-2012 02:01               11196
104.cudf_sol_check.mpm                             22-Jun-2012 00:00                 153
104.runsolver.aptget                               18-Jun-2012 17:41                5325
104.runsolver.aptitude                             18-Jun-2012 17:28                9111
104.runsolver.cupt                                 18-Jun-2012 17:47               11400
104.runsolver.mpm                                  17-Sep-2012 15:43               12138
104.runsolver.smart                                21-Jun-2012 02:01               11238
105.cudf_sol_check.mpm                             22-Jun-2012 00:01                 153
105.runsolver.aptget                               18-Jun-2012 17:41                5878
105.runsolver.aptitude                             18-Jun-2012 17:28               11020
105.runsolver.cupt                                 18-Jun-2012 17:47                8016
105.runsolver.mpm                                  17-Sep-2012 15:43               13309
105.runsolver.smart                                21-Jun-2012 02:01               11221
106.cudf_sol_check.mpm                             22-Jun-2012 00:01                 153
106.runsolver.aptget                               18-Jun-2012 17:41                5858
106.runsolver.aptitude                             18-Jun-2012 17:28                8176
106.runsolver.cupt                                 18-Jun-2012 17:48                6965
106.runsolver.mpm                                  17-Sep-2012 15:43               13231
106.runsolver.smart                                21-Jun-2012 02:01               10683
107.cudf_sol_check.mpm                             22-Jun-2012 00:02                 153
107.runsolver.aptget                               18-Jun-2012 17:41                5306
107.runsolver.aptitude                             18-Jun-2012 17:28                8136
107.runsolver.cupt                                 18-Jun-2012 17:47               10248
107.runsolver.mpm                                  17-Sep-2012 15:43               12078
107.runsolver.smart                                21-Jun-2012 02:01               11211
108.cudf_sol_check.mpm                             22-Jun-2012 00:02                 153
108.runsolver.aptget                               18-Jun-2012 17:41                5308
108.runsolver.aptitude                             18-Jun-2012 17:28                9098
108.runsolver.cupt                                 18-Jun-2012 17:47               10277
108.runsolver.mpm                                  17-Sep-2012 15:43               11705
108.runsolver.smart                                21-Jun-2012 02:01               11225
109.cudf_sol_check.aptget                          17-Sep-2012 17:31                 199
109.cudf_sol_check.aptitude                        17-Sep-2012 17:32                 108
109.cudf_sol_check.mpm                             17-Sep-2012 17:32                1707
109.runsolver.aptget                               18-Jun-2012 17:41                5880
109.runsolver.aptitude                             18-Jun-2012 17:28               16468
109.runsolver.cupt                                 18-Jun-2012 17:47                8063
109.runsolver.mpm                                  17-Sep-2012 15:43               17746
109.runsolver.smart                                21-Jun-2012 02:01               11214
11.cudf_sol_check.aptitude                         17-Sep-2012 17:35                 154
11.cudf_sol_check.mpm                              22-Jun-2012 00:07                 152
11.runsolver.aptget                                18-Jun-2012 17:41                4749
11.runsolver.aptitude                              18-Jun-2012 17:28               13529
11.runsolver.cupt                                  18-Jun-2012 17:47                7505
11.runsolver.mpm                                   17-Sep-2012 15:43               13263
11.runsolver.smart                                 21-Jun-2012 02:01               11215
110.cudf_sol_check.aptget                          17-Sep-2012 17:32                 120
110.cudf_sol_check.mpm                             17-Sep-2012 17:32                1707
110.runsolver.aptget                               18-Jun-2012 17:41                5308
110.runsolver.aptitude                             18-Jun-2012 17:28                8150
110.runsolver.cupt                                 18-Jun-2012 17:47                8548
110.runsolver.mpm                                  17-Sep-2012 15:43               17407
110.runsolver.smart                                21-Jun-2012 02:01               11208
111.cudf_sol_check.mpm                             22-Jun-2012 00:04                 153
111.runsolver.aptget                               18-Jun-2012 17:41                5315
111.runsolver.aptitude                             18-Jun-2012 17:28                7779
111.runsolver.cupt                                 18-Jun-2012 17:47               12501
111.runsolver.mpm                                  17-Sep-2012 15:43               12675
111.runsolver.smart                                21-Jun-2012 02:01               11217
112.cudf_sol_check.mpm                             22-Jun-2012 00:04                 153
112.runsolver.aptget                               18-Jun-2012 17:41                5838
112.runsolver.aptitude                             18-Jun-2012 17:28                8175
112.runsolver.cupt                                 18-Jun-2012 17:47                9729
112.runsolver.mpm                                  17-Sep-2012 15:43               12705
112.runsolver.smart                                21-Jun-2012 02:01               11215
113.cudf_sol_check.mpm                             22-Jun-2012 00:04                 153
113.runsolver.aptget                               18-Jun-2012 17:41                5335
113.runsolver.aptitude                             18-Jun-2012 17:28                9104
113.runsolver.cupt                                 18-Jun-2012 17:47                6970
113.runsolver.mpm                                  17-Sep-2012 15:43               13307
113.runsolver.smart                                21-Jun-2012 02:01               11215
114.cudf_sol_check.mpm                             22-Jun-2012 00:05                 153
114.runsolver.aptget                               18-Jun-2012 17:41                5829
114.runsolver.aptitude                             18-Jun-2012 17:28                9073
114.runsolver.cupt                                 18-Jun-2012 17:47                8038
114.runsolver.mpm                                  17-Sep-2012 15:43               17262
114.runsolver.smart                                21-Jun-2012 02:01               11182
115.cudf_sol_check.mpm                             22-Jun-2012 00:05                 153
115.runsolver.aptget                               18-Jun-2012 17:41                5867
115.runsolver.aptitude                             18-Jun-2012 17:28                9111
115.runsolver.cupt                                 18-Jun-2012 17:48                8615
115.runsolver.mpm                                  17-Sep-2012 15:43               12761
115.runsolver.smart                                21-Jun-2012 02:01               11229
116.cudf_sol_check.mpm                             22-Jun-2012 00:06                 153
116.runsolver.aptget                               18-Jun-2012 17:41                5835
116.runsolver.aptitude                             18-Jun-2012 17:28                7213
116.runsolver.cupt                                 18-Jun-2012 17:47                6427
116.runsolver.mpm                                  17-Sep-2012 15:43               13004
116.runsolver.smart                                21-Jun-2012 02:01               11197
117.cudf_sol_check.mpm                             22-Jun-2012 00:06                 153
117.runsolver.aptget                               18-Jun-2012 17:41                5859
117.runsolver.aptitude                             18-Jun-2012 17:28                8137
117.runsolver.cupt                                 18-Jun-2012 17:47               10830
117.runsolver.mpm                                  17-Sep-2012 15:43               12387
117.runsolver.smart                                21-Jun-2012 02:01               11199
118.cudf_sol_check.mpm                             22-Jun-2012 00:06                 153
118.runsolver.aptget                               18-Jun-2012 17:41                5314
118.runsolver.aptitude                             18-Jun-2012 17:28                5910
118.runsolver.cupt                                 18-Jun-2012 17:48                8040
118.runsolver.mpm                                  17-Sep-2012 15:43               13732
118.runsolver.smart                                21-Jun-2012 02:01               11198
119.cudf_sol_check.mpm                             22-Jun-2012 00:07                 153
119.runsolver.aptget                               18-Jun-2012 17:41                5839
119.runsolver.aptitude                             18-Jun-2012 17:28                9084
119.runsolver.cupt                                 18-Jun-2012 17:47                9702
119.runsolver.mpm                                  17-Sep-2012 15:43               13268
119.runsolver.smart                                21-Jun-2012 02:01               11239
12.cudf_sol_check.mpm                              22-Jun-2012 00:11                 152
12.runsolver.aptget                                18-Jun-2012 17:41                5838
12.runsolver.aptitude                              18-Jun-2012 17:28               11220
12.runsolver.cupt                                  18-Jun-2012 17:47                4269
12.runsolver.mpm                                   17-Sep-2012 15:43               13283
12.runsolver.smart                                 21-Jun-2012 02:01               11229
120.cudf_sol_check.mpm                             22-Jun-2012 00:07                 153
120.runsolver.aptget                               18-Jun-2012 17:41                5862
120.runsolver.aptitude                             18-Jun-2012 17:28                9695
120.runsolver.cupt                                 18-Jun-2012 17:47                6439
120.runsolver.mpm                                  17-Sep-2012 15:43               13265
120.runsolver.smart                                21-Jun-2012 02:01               11267
121.cudf_sol_check.mpm                             22-Jun-2012 00:08                 153
121.runsolver.aptget                               18-Jun-2012 17:41                5860
121.runsolver.aptitude                             18-Jun-2012 17:28                9107
121.runsolver.cupt                                 18-Jun-2012 17:47                5869
121.runsolver.mpm                                  17-Sep-2012 15:43               11743
121.runsolver.smart                                21-Jun-2012 02:01               10665
122.cudf_sol_check.mpm                             22-Jun-2012 00:08                 153
122.runsolver.aptget                               18-Jun-2012 17:41                5342
122.runsolver.aptitude                             18-Jun-2012 17:28                9136
122.runsolver.cupt                                 18-Jun-2012 17:47                8620
122.runsolver.mpm                                  17-Sep-2012 15:43               12007
122.runsolver.smart                                21-Jun-2012 02:01               11224
123.cudf_sol_check.mpm                             22-Jun-2012 00:09                 153
123.runsolver.aptget                               18-Jun-2012 17:41                5318
123.runsolver.aptitude                             18-Jun-2012 17:28                8770
123.runsolver.cupt                                 18-Jun-2012 17:47                9702
123.runsolver.mpm                                  17-Sep-2012 15:43               11674
123.runsolver.smart                                21-Jun-2012 02:01               11205
124.cudf_sol_check.mpm                             22-Jun-2012 00:09                 153
124.runsolver.aptget                               18-Jun-2012 17:41                5837
124.runsolver.aptitude                             18-Jun-2012 17:28                9134
124.runsolver.cupt                                 18-Jun-2012 17:48               10259
124.runsolver.mpm                                  17-Sep-2012 15:43               10611
124.runsolver.smart                                21-Jun-2012 02:01               11201
125.cudf_sol_check.mpm                             22-Jun-2012 00:09                 153
125.runsolver.aptget                               18-Jun-2012 17:41                5313
125.runsolver.aptitude                             18-Jun-2012 17:28                9123
125.runsolver.cupt                                 18-Jun-2012 17:47                9165
125.runsolver.mpm                                  17-Sep-2012 15:43               11082
125.runsolver.smart                                21-Jun-2012 02:01               11205
126.cudf_sol_check.mpm                             22-Jun-2012 00:10                 153
126.runsolver.aptget                               18-Jun-2012 17:41                5333
126.runsolver.aptitude                             18-Jun-2012 17:28                9108
126.runsolver.cupt                                 18-Jun-2012 17:47               10844
126.runsolver.mpm                                  17-Sep-2012 15:43               11662
126.runsolver.smart                                21-Jun-2012 02:01               11236
127.cudf_sol_check.mpm                             22-Jun-2012 00:10                 153
127.runsolver.aptget                               18-Jun-2012 17:41                5311
127.runsolver.aptitude                             18-Jun-2012 17:28                7798
127.runsolver.cupt                                 18-Jun-2012 17:48                6972
127.runsolver.mpm                                  17-Sep-2012 15:43               12273
127.runsolver.smart                                21-Jun-2012 02:01               11214
128.cudf_sol_check.aptget                          17-Sep-2012 17:37                 125
128.cudf_sol_check.mpm                             17-Sep-2012 17:37                1707
128.runsolver.aptget                               18-Jun-2012 17:41                5311
128.runsolver.aptitude                             18-Jun-2012 17:28                6490
128.runsolver.cupt                                 18-Jun-2012 17:47               11938
128.runsolver.mpm                                  17-Sep-2012 15:43               17411
128.runsolver.smart                                21-Jun-2012 02:01               11241
129.cudf_sol_check.mpm                             22-Jun-2012 00:11                 153
129.runsolver.aptget                               18-Jun-2012 17:41                5831
129.runsolver.aptitude                             18-Jun-2012 17:28                8124
129.runsolver.cupt                                 18-Jun-2012 17:48               10264
129.runsolver.mpm                                  17-Sep-2012 15:43               11620
129.runsolver.smart                                21-Jun-2012 02:01               11213
13.cudf_sol_check.aptitude                         17-Sep-2012 17:39                 144
13.cudf_sol_check.mpm                              22-Jun-2012 00:15                 152
13.runsolver.aptget                                18-Jun-2012 17:41                4781
13.runsolver.aptitude                              18-Jun-2012 17:28               16419
13.runsolver.cupt                                  18-Jun-2012 17:47                6967
13.runsolver.mpm                                   17-Sep-2012 15:43               13553
13.runsolver.smart                                 21-Jun-2012 02:01               11210
130.cudf_sol_check.aptget                          17-Sep-2012 17:37                 188
130.cudf_sol_check.mpm                             17-Sep-2012 17:37                1707
130.runsolver.aptget                               18-Jun-2012 17:41                5312
130.runsolver.aptitude                             18-Jun-2012 17:28                8128
130.runsolver.cupt                                 18-Jun-2012 17:47                9713
130.runsolver.mpm                                  17-Sep-2012 15:43               16737
130.runsolver.smart                                21-Jun-2012 02:01               11228
131.cudf_sol_check.mpm                             22-Jun-2012 00:12                 153
131.runsolver.aptget                               18-Jun-2012 17:41                5845
131.runsolver.aptitude                             18-Jun-2012 17:28                9140
131.runsolver.cupt                                 18-Jun-2012 17:47                5862
131.runsolver.mpm                                  17-Sep-2012 15:43               11736
131.runsolver.smart                                21-Jun-2012 02:01               11228
132.cudf_sol_check.mpm                             22-Jun-2012 00:13                 153
132.runsolver.aptget                               18-Jun-2012 17:41                5288
132.runsolver.aptitude                             18-Jun-2012 17:28                9146
132.runsolver.cupt                                 18-Jun-2012 17:47                8031
132.runsolver.mpm                                  17-Sep-2012 15:43               11738
132.runsolver.smart                                21-Jun-2012 02:01               11216
133.cudf_sol_check.mpm                             22-Jun-2012 00:13                 153
133.runsolver.aptget                               18-Jun-2012 17:41                5319
133.runsolver.aptitude                             18-Jun-2012 17:28                9131
133.runsolver.cupt                                 18-Jun-2012 17:47               11363
133.runsolver.mpm                                  17-Sep-2012 15:43               11644
133.runsolver.smart                                21-Jun-2012 02:01               11196
134.cudf_sol_check.mpm                             22-Jun-2012 00:13                 153
134.runsolver.aptget                               18-Jun-2012 17:41                6386
134.runsolver.aptitude                             18-Jun-2012 17:28                9138
134.runsolver.cupt                                 18-Jun-2012 17:47                6403
134.runsolver.mpm                                  17-Sep-2012 15:43               12124
134.runsolver.smart                                21-Jun-2012 02:01               11217
135.cudf_sol_check.mpm                             22-Jun-2012 00:14                 153
135.runsolver.aptget                               18-Jun-2012 17:41                5315
135.runsolver.aptitude                             18-Jun-2012 17:28                9122
135.runsolver.cupt                                 18-Jun-2012 17:47                5892
135.runsolver.mpm                                  17-Sep-2012 15:43               11882
135.runsolver.smart                                21-Jun-2012 02:01               11250
136.cudf_sol_check.mpm                             22-Jun-2012 00:14                 153
136.runsolver.aptget                               18-Jun-2012 17:41                5330
136.runsolver.aptitude                             18-Jun-2012 17:28                8160
136.runsolver.cupt                                 18-Jun-2012 17:48               11382
136.runsolver.mpm                                  17-Sep-2012 15:43               12726
136.runsolver.smart                                21-Jun-2012 02:01               11228
137.cudf_sol_check.mpm                             22-Jun-2012 00:14                 153
137.runsolver.aptget                               18-Jun-2012 17:41                5295
137.runsolver.aptitude                             18-Jun-2012 17:28                8745
137.runsolver.cupt                                 18-Jun-2012 17:47                8069
137.runsolver.mpm                                  17-Sep-2012 15:43               13779
137.runsolver.smart                                21-Jun-2012 02:01               11212
138.cudf_sol_check.mpm                             22-Jun-2012 00:14                 153
138.runsolver.aptget                               18-Jun-2012 17:41                5858
138.runsolver.aptitude                             18-Jun-2012 17:28                8149
138.runsolver.cupt                                 18-Jun-2012 17:47                9123
138.runsolver.mpm                                  17-Sep-2012 15:43               11163
138.runsolver.smart                                21-Jun-2012 02:01               11204
139.cudf_sol_check.mpm                             22-Jun-2012 00:15                 153
139.runsolver.aptget                               18-Jun-2012 17:41                5292
139.runsolver.aptitude                             18-Jun-2012 17:28                8714
139.runsolver.cupt                                 18-Jun-2012 17:47                9706
139.runsolver.mpm                                  17-Sep-2012 15:43               13278
139.runsolver.smart                                21-Jun-2012 02:01               11206
14.cudf_sol_check.mpm                              22-Jun-2012 00:18                 152
14.runsolver.aptget                                18-Jun-2012 17:41                5311
14.runsolver.aptitude                              18-Jun-2012 17:28                9131
14.runsolver.cupt                                  18-Jun-2012 17:47                4258
14.runsolver.mpm                                   17-Sep-2012 15:43               12390
14.runsolver.smart                                 21-Jun-2012 02:01               11212
140.cudf_sol_check.mpm                             22-Jun-2012 00:15                 153
140.runsolver.aptget                               18-Jun-2012 17:41                5862
140.runsolver.aptitude                             18-Jun-2012 17:28                9129
140.runsolver.cupt                                 18-Jun-2012 17:48               13066
140.runsolver.mpm                                  17-Sep-2012 15:43               11887
140.runsolver.smart                                21-Jun-2012 02:01               11222
141.cudf_sol_check.mpm                             22-Jun-2012 00:16                 153
141.runsolver.aptget                               18-Jun-2012 17:41                5302
141.runsolver.aptitude                             18-Jun-2012 17:28                8158
141.runsolver.cupt                                 18-Jun-2012 17:47                7519
141.runsolver.mpm                                  17-Sep-2012 15:43               12384
141.runsolver.smart                                21-Jun-2012 02:01               11225
142.cudf_sol_check.mpm                             22-Jun-2012 00:16                 153
142.runsolver.aptget                               18-Jun-2012 17:41                5315
142.runsolver.aptitude                             18-Jun-2012 17:28               10053
142.runsolver.cupt                                 18-Jun-2012 17:47               10821
142.runsolver.mpm                                  17-Sep-2012 15:43               11746
142.runsolver.smart                                21-Jun-2012 02:01               11205
143.cudf_sol_check.mpm                             22-Jun-2012 00:16                 153
143.runsolver.aptget                               18-Jun-2012 17:41                5313
143.runsolver.aptitude                             18-Jun-2012 17:28               10052
143.runsolver.cupt                                 18-Jun-2012 17:47                8031
143.runsolver.mpm                                  17-Sep-2012 15:43               11718
143.runsolver.smart                                21-Jun-2012 02:01               11202
144.cudf_sol_check.mpm                             22-Jun-2012 00:17                 153
144.runsolver.aptget                               18-Jun-2012 17:41                5838
144.runsolver.aptitude                             18-Jun-2012 17:28                7244
144.runsolver.cupt                                 18-Jun-2012 17:47               10988
144.runsolver.mpm                                  17-Sep-2012 15:43               12197
144.runsolver.smart                                21-Jun-2012 02:01               11199
145.cudf_sol_check.mpm                             22-Jun-2012 00:17                 153
145.runsolver.aptget                               18-Jun-2012 17:41                5836
145.runsolver.aptitude                             18-Jun-2012 17:28                9149
145.runsolver.cupt                                 18-Jun-2012 17:47                9143
145.runsolver.mpm                                  17-Sep-2012 15:43               14353
145.runsolver.smart                                21-Jun-2012 02:01               11211
146.cudf_sol_check.mpm                             22-Jun-2012 00:17                 153
146.runsolver.aptget                               18-Jun-2012 17:41                4766
146.runsolver.aptitude                             18-Jun-2012 17:28               10094
146.runsolver.cupt                                 18-Jun-2012 17:48               13032
146.runsolver.mpm                                  17-Sep-2012 15:43               11187
146.runsolver.smart                                21-Jun-2012 02:01               11230
147.cudf_sol_check.mpm                             22-Jun-2012 00:17                 153
147.runsolver.aptget                               18-Jun-2012 17:41                5873
147.runsolver.aptitude                             18-Jun-2012 17:28                9730
147.runsolver.cupt                                 18-Jun-2012 17:47                6421
147.runsolver.mpm                                  17-Sep-2012 15:43               12786
147.runsolver.smart                                21-Jun-2012 02:01               11215
148.cudf_sol_check.mpm                             22-Jun-2012 00:18                 153
148.runsolver.aptget                               18-Jun-2012 17:41                5312
148.runsolver.aptitude                             18-Jun-2012 17:28                7792
148.runsolver.cupt                                 18-Jun-2012 17:47                4801
148.runsolver.mpm                                  17-Sep-2012 15:43               12413
148.runsolver.smart                                21-Jun-2012 02:01               10661
149.cudf_sol_check.mpm                             22-Jun-2012 00:18                 153
149.runsolver.aptget                               18-Jun-2012 17:41                5290
149.runsolver.aptitude                             18-Jun-2012 17:28                7765
149.runsolver.cupt                                 18-Jun-2012 17:47                9687
149.runsolver.mpm                                  17-Sep-2012 15:43               11761
149.runsolver.smart                                21-Jun-2012 02:01               11191
15.cudf_sol_check.aptitude                         17-Sep-2012 17:44                 135
15.cudf_sol_check.mpm                              22-Jun-2012 00:22                 152
15.runsolver.aptget                                18-Jun-2012 17:41                5340
15.runsolver.aptitude                              18-Jun-2012 17:28               19052
15.runsolver.cupt                                  18-Jun-2012 17:47                9718
15.runsolver.mpm                                   17-Sep-2012 15:43               13306
15.runsolver.smart                                 21-Jun-2012 02:01               10660
150.cudf_sol_check.aptget                          17-Sep-2012 17:42                 121
150.cudf_sol_check.mpm                             17-Sep-2012 17:42                1707
150.runsolver.aptget                               18-Jun-2012 17:41                5296
150.runsolver.aptitude                             18-Jun-2012 17:28                8136
150.runsolver.cupt                                 18-Jun-2012 17:47                5853
150.runsolver.mpm                                  17-Sep-2012 15:43               17397
150.runsolver.smart                                21-Jun-2012 02:01               11204
151.cudf_sol_check.mpm                             22-Jun-2012 00:19                 153
151.runsolver.aptget                               18-Jun-2012 17:41                5316
151.runsolver.aptitude                             18-Jun-2012 17:28                8726
151.runsolver.cupt                                 18-Jun-2012 17:47                8624
151.runsolver.mpm                                  17-Sep-2012 15:43               13295
151.runsolver.smart                                21-Jun-2012 02:01               11220
152.cudf_sol_check.mpm                             22-Jun-2012 00:19                 153
152.runsolver.aptget                               18-Jun-2012 17:41                5842
152.runsolver.aptitude                             18-Jun-2012 17:28                8144
152.runsolver.cupt                                 18-Jun-2012 17:47                9161
152.runsolver.mpm                                  17-Sep-2012 15:43               11702
152.runsolver.smart                                21-Jun-2012 02:01               11192
153.cudf_sol_check.aptget                          17-Sep-2012 17:42                 199
153.cudf_sol_check.aptitude                        17-Sep-2012 17:42                 151
153.cudf_sol_check.mpm                             17-Sep-2012 17:42                1707
153.runsolver.aptget                               18-Jun-2012 17:41                5302
153.runsolver.aptitude                             18-Jun-2012 17:28               13175
153.runsolver.cupt                                 18-Jun-2012 17:47                8041
153.runsolver.mpm                                  17-Sep-2012 15:43               18091
153.runsolver.smart                                21-Jun-2012 02:01               11251
154.cudf_sol_check.mpm                             22-Jun-2012 00:20                 153
154.runsolver.aptget                               18-Jun-2012 17:41                5313
154.runsolver.aptitude                             18-Jun-2012 17:28                9222
154.runsolver.cupt                                 18-Jun-2012 17:47                9706
154.runsolver.mpm                                  17-Sep-2012 15:43               12834
154.runsolver.smart                                21-Jun-2012 02:01               11213
155.cudf_sol_check.mpm                             22-Jun-2012 00:20                 153
155.runsolver.aptget                               18-Jun-2012 17:41                5313
155.runsolver.aptitude                             18-Jun-2012 17:28                8172
155.runsolver.cupt                                 18-Jun-2012 17:47                9134
155.runsolver.mpm                                  17-Sep-2012 15:43               12841
155.runsolver.smart                                21-Jun-2012 02:01               11222
156.cudf_sol_check.aptget                          17-Sep-2012 17:43                 129
156.cudf_sol_check.mpm                             17-Sep-2012 17:43                1707
156.runsolver.aptget                               18-Jun-2012 17:41                5296
156.runsolver.aptitude                             18-Jun-2012 17:28                9102
156.runsolver.cupt                                 18-Jun-2012 17:47                7516
156.runsolver.mpm                                  17-Sep-2012 15:43                8553
156.runsolver.smart                                21-Jun-2012 02:01               11196
157.cudf_sol_check.mpm                             22-Jun-2012 00:21                 153
157.runsolver.aptget                               18-Jun-2012 17:41                5336
157.runsolver.aptitude                             18-Jun-2012 17:28                7240
157.runsolver.cupt                                 18-Jun-2012 17:47                9204
157.runsolver.mpm                                  17-Sep-2012 15:43               12908
157.runsolver.smart                                21-Jun-2012 02:01               11253
158.cudf_sol_check.mpm                             22-Jun-2012 00:21                 153
158.runsolver.aptget                               18-Jun-2012 17:41                5333
158.runsolver.aptitude                             18-Jun-2012 17:28                6854
158.runsolver.cupt                                 18-Jun-2012 17:47                9179
158.runsolver.mpm                                  17-Sep-2012 15:43               13216
158.runsolver.smart                                21-Jun-2012 02:01               11211
159.cudf_sol_check.mpm                             22-Jun-2012 00:21                 153
159.runsolver.aptget                               18-Jun-2012 17:41                5861
159.runsolver.aptitude                             18-Jun-2012 17:28                8199
159.runsolver.cupt                                 18-Jun-2012 17:47                8626
159.runsolver.mpm                                  17-Sep-2012 15:43               12674
159.runsolver.smart                                21-Jun-2012 02:01               11206
16.cudf_sol_check.mpm                              22-Jun-2012 00:23                 152
16.runsolver.aptget                                18-Jun-2012 17:41                5333
16.runsolver.aptitude                              18-Jun-2012 17:28                9112
16.runsolver.cupt                                  18-Jun-2012 17:47                4267
16.runsolver.mpm                                   17-Sep-2012 15:43               12739
16.runsolver.smart                                 21-Jun-2012 02:01               10644
160.cudf_sol_check.aptitude                        17-Sep-2012 17:44                 110
160.cudf_sol_check.mpm                             22-Jun-2012 00:22                 153
160.runsolver.aptget                               18-Jun-2012 17:41                5845
160.runsolver.aptitude                             18-Jun-2012 17:28                8726
160.runsolver.cupt                                 18-Jun-2012 17:47               10262
160.runsolver.mpm                                  17-Sep-2012 15:43               13200
160.runsolver.smart                                21-Jun-2012 02:01               11220
161.cudf_sol_check.mpm                             22-Jun-2012 00:22                 153
161.runsolver.aptget                               18-Jun-2012 17:41                6412
161.runsolver.aptitude                             18-Jun-2012 17:28                8148
161.runsolver.cupt                                 18-Jun-2012 17:47                9712
161.runsolver.mpm                                  17-Sep-2012 15:43               13440
161.runsolver.smart                                21-Jun-2012 02:01               11227
162.cudf_sol_check.aptget                          17-Sep-2012 17:44                 195
162.cudf_sol_check.aptitude                        17-Sep-2012 17:44                 133
162.cudf_sol_check.mpm                             17-Sep-2012 17:45                1707
162.runsolver.aptget                               18-Jun-2012 17:41                5840
162.runsolver.aptitude                             18-Jun-2012 17:28                9688
162.runsolver.cupt                                 18-Jun-2012 17:48                6403
162.runsolver.mpm                                  17-Sep-2012 15:43               11439
162.runsolver.smart                                21-Jun-2012 02:01               11166
17.cudf_sol_check.mpm                              22-Jun-2012 00:23                 152
17.runsolver.aptget                                18-Jun-2012 17:41                5909
17.runsolver.aptitude                              18-Jun-2012 17:28                8195
17.runsolver.cupt                                  18-Jun-2012 17:47               11436
17.runsolver.mpm                                   17-Sep-2012 15:43               13316
17.runsolver.smart                                 21-Jun-2012 02:01               10707
18.cudf_sol_check.mpm                              22-Jun-2012 00:24                 152
18.runsolver.aptget                                18-Jun-2012 17:41                5322
18.runsolver.aptitude                              18-Jun-2012 17:28                8157
18.runsolver.cupt                                  18-Jun-2012 17:48                4266
18.runsolver.mpm                                   17-Sep-2012 15:43               10749
18.runsolver.smart                                 21-Jun-2012 02:01               11191
19.cudf_sol_check.aptitude                         17-Sep-2012 17:45                 120
19.cudf_sol_check.mpm                              22-Jun-2012 00:24                 152
19.runsolver.aptget                                18-Jun-2012 17:41                4760
19.runsolver.aptitude                              18-Jun-2012 17:28               15804
19.runsolver.cupt                                  18-Jun-2012 17:47               11013
19.runsolver.mpm                                   17-Sep-2012 15:43                9489
19.runsolver.smart                                 21-Jun-2012 02:01               11208
2.cudf_sol_check.aptitude                          17-Sep-2012 17:47                 154
2.cudf_sol_check.mpm                               22-Jun-2012 00:27                 151
2.runsolver.aptget                                 18-Jun-2012 17:41                4773
2.runsolver.aptitude                               18-Jun-2012 17:28               13168
2.runsolver.cupt                                   18-Jun-2012 17:47                8044
2.runsolver.mpm                                    17-Sep-2012 15:43               14318
2.runsolver.smart                                  21-Jun-2012 02:01               11053
20.cudf_sol_check.aptitude                         17-Sep-2012 17:46                 113
20.cudf_sol_check.mpm                              22-Jun-2012 00:24                 152
20.runsolver.aptget                                18-Jun-2012 17:41                5294
20.runsolver.aptitude                              18-Jun-2012 17:28               14828
20.runsolver.cupt                                  18-Jun-2012 17:47               10452
20.runsolver.mpm                                   17-Sep-2012 15:43               13271
20.runsolver.smart                                 21-Jun-2012 02:01               11195
21.cudf_sol_check.aptitude                         17-Sep-2012 17:46                 132
21.cudf_sol_check.mpm                              07-Sep-2012 12:18                1836
21.runsolver.aptget                                18-Jun-2012 17:41                4775
21.runsolver.aptitude                              18-Jun-2012 17:28               16763
21.runsolver.cupt                                  18-Jun-2012 17:47                8618
21.runsolver.mpm                                   17-Sep-2012 15:43               15021
21.runsolver.smart                                 21-Jun-2012 02:01               11217
22.cudf_sol_check.aptitude                         17-Sep-2012 17:46                 123
22.cudf_sol_check.mpm                              07-Sep-2012 12:18                1813
22.runsolver.aptget                                18-Jun-2012 17:41                4766
22.runsolver.aptitude                              18-Jun-2012 17:28               12560
22.runsolver.cupt                                  18-Jun-2012 17:47                8041
22.runsolver.mpm                                   17-Sep-2012 15:43               12708
22.runsolver.smart                                 21-Jun-2012 02:01                7045
23.cudf_sol_check.mpm                              22-Jun-2012 00:25                 152
23.runsolver.aptget                                18-Jun-2012 17:41                4772
23.runsolver.aptitude                              18-Jun-2012 17:28               12923
23.runsolver.cupt                                  18-Jun-2012 17:47                8031
23.runsolver.mpm                                   17-Sep-2012 15:43               12043
23.runsolver.smart                                 21-Jun-2012 02:01               11224
24.cudf_sol_check.aptitude                         17-Sep-2012 17:46                 120
24.cudf_sol_check.mpm                              22-Jun-2012 00:25                 152
24.runsolver.aptget                                18-Jun-2012 17:41                4759
24.runsolver.aptitude                              18-Jun-2012 17:28                8151
24.runsolver.cupt                                  18-Jun-2012 17:47                4253
24.runsolver.mpm                                   17-Sep-2012 15:43               12376
24.runsolver.smart                                 21-Jun-2012 02:01               11192
25.cudf_sol_check.aptitude                         17-Sep-2012 17:46                 124
25.cudf_sol_check.mpm                              22-Jun-2012 00:26                 152
25.runsolver.aptget                                18-Jun-2012 17:41                5883
25.runsolver.aptitude                              18-Jun-2012 17:28                8153
25.runsolver.cupt                                  18-Jun-2012 17:47                4279
25.runsolver.mpm                                   17-Sep-2012 15:43               12731
25.runsolver.smart                                 21-Jun-2012 02:01               11246
26.cudf_sol_check.aptitude                         17-Sep-2012 17:47                 116
26.cudf_sol_check.mpm                              22-Jun-2012 00:26                 152
26.runsolver.aptget                                18-Jun-2012 17:41                5318
26.runsolver.aptitude                              18-Jun-2012 17:28               10999
26.runsolver.cupt                                  18-Jun-2012 17:47                8597
26.runsolver.mpm                                   17-Sep-2012 15:43               12717
26.runsolver.smart                                 21-Jun-2012 02:01               11192
27.cudf_sol_check.aptitude                         17-Sep-2012 17:47                 121
27.cudf_sol_check.mpm                              22-Jun-2012 00:26                 152
27.runsolver.aptget                                18-Jun-2012 17:41                4759
27.runsolver.aptitude                              18-Jun-2012 17:28               16382
27.runsolver.cupt                                  18-Jun-2012 17:48               10807
27.runsolver.mpm                                   17-Sep-2012 15:43               13288
27.runsolver.smart                                 21-Jun-2012 02:01               11210
28.cudf_sol_check.aptitude                         17-Sep-2012 17:47                 154
28.cudf_sol_check.mpm                              07-Sep-2012 12:20                1839
28.runsolver.aptget                                18-Jun-2012 17:41                4786
28.runsolver.aptitude                              18-Jun-2012 17:28               12221
28.runsolver.cupt                                  18-Jun-2012 17:47                8632
28.runsolver.mpm                                   17-Sep-2012 15:43               12732
28.runsolver.smart                                 21-Jun-2012 02:01                6479
29.cudf_sol_check.mpm                              22-Jun-2012 00:27                 152
29.runsolver.aptget                                18-Jun-2012 17:41                5311
29.runsolver.aptitude                              18-Jun-2012 17:28               14480
29.runsolver.cupt                                  18-Jun-2012 17:48                8602
29.runsolver.mpm                                   17-Sep-2012 15:43               13282
29.runsolver.smart                                 21-Jun-2012 02:01               11183
3.cudf_sol_check.mpm                               22-Jun-2012 00:30                 151
3.runsolver.aptget                                 18-Jun-2012 17:41                5278
3.runsolver.aptitude                               18-Jun-2012 17:28                8307
3.runsolver.cupt                                   18-Jun-2012 17:47                4234
3.runsolver.mpm                                    17-Sep-2012 15:43               13946
3.runsolver.smart                                  21-Jun-2012 02:01               10534
30.cudf_sol_check.aptitude                         17-Sep-2012 17:47                 119
30.cudf_sol_check.mpm                              22-Jun-2012 00:27                 152
30.runsolver.aptget                                18-Jun-2012 17:41                5329
30.runsolver.aptitude                              18-Jun-2012 17:28               11055
30.runsolver.cupt                                  18-Jun-2012 17:48                8618
30.runsolver.mpm                                   17-Sep-2012 15:43               14533
30.runsolver.smart                                 21-Jun-2012 02:01               11198
31.cudf_sol_check.aptitude                         17-Sep-2012 17:47                 115
31.cudf_sol_check.mpm                              22-Jun-2012 00:27                 152
31.runsolver.aptget                                18-Jun-2012 17:41                4790
31.runsolver.aptitude                              18-Jun-2012 17:28               14481
31.runsolver.cupt                                  18-Jun-2012 17:47                7544
31.runsolver.mpm                                   17-Sep-2012 15:43               13417
31.runsolver.smart                                 21-Jun-2012 02:01               11219
32.cudf_sol_check.aptitude                         17-Sep-2012 17:48                 125
32.cudf_sol_check.mpm                              22-Jun-2012 00:28                 152
32.runsolver.aptget                                18-Jun-2012 17:41                4772
32.runsolver.aptitude                              18-Jun-2012 17:28               16748
32.runsolver.cupt                                  18-Jun-2012 17:47                8080
32.runsolver.mpm                                   17-Sep-2012 15:43               13970
32.runsolver.smart                                 21-Jun-2012 02:01               11211
33.cudf_sol_check.aptitude                         17-Sep-2012 17:48                 120
33.cudf_sol_check.mpm                              22-Jun-2012 00:28                 152
33.runsolver.aptget                                18-Jun-2012 17:41                4763
33.runsolver.aptitude                              18-Jun-2012 17:28                8155
33.runsolver.cupt                                  18-Jun-2012 17:47                4267
33.runsolver.mpm                                   17-Sep-2012 15:43               13417
33.runsolver.smart                                 21-Jun-2012 02:01               11237
34.cudf_sol_check.aptitude                         17-Sep-2012 17:48                 128
34.cudf_sol_check.mpm                              22-Jun-2012 00:28                 152
34.runsolver.aptget                                18-Jun-2012 17:41                4786
34.runsolver.aptitude                              18-Jun-2012 17:28               12551
34.runsolver.cupt                                  18-Jun-2012 17:47                8602
34.runsolver.mpm                                   17-Sep-2012 15:43               13394
34.runsolver.smart                                 21-Jun-2012 02:01               11222
35.cudf_sol_check.aptitude                         17-Sep-2012 17:48                 128
35.cudf_sol_check.mpm                              22-Jun-2012 00:28                 152
35.runsolver.aptget                                18-Jun-2012 17:41                4786
35.runsolver.aptitude                              18-Jun-2012 17:28               15800
35.runsolver.cupt                                  18-Jun-2012 17:47                8613
35.runsolver.mpm                                   17-Sep-2012 15:43               13352
35.runsolver.smart                                 21-Jun-2012 02:01               11208
36.cudf_sol_check.aptitude                         17-Sep-2012 17:48                 131
36.cudf_sol_check.mpm                              22-Jun-2012 00:29                 152
36.runsolver.aptget                                18-Jun-2012 17:41                5327
36.runsolver.aptitude                              18-Jun-2012 17:28               12567
36.runsolver.cupt                                  18-Jun-2012 17:47                9160
36.runsolver.mpm                                   17-Sep-2012 15:43               14939
36.runsolver.smart                                 21-Jun-2012 02:01               11184
37.cudf_sol_check.aptitude                         17-Sep-2012 17:48                 129
37.cudf_sol_check.mpm                              22-Jun-2012 00:29                 152
37.runsolver.aptget                                18-Jun-2012 17:41                4781
37.runsolver.aptitude                              18-Jun-2012 17:28               15823
37.runsolver.cupt                                  18-Jun-2012 17:47                9731
37.runsolver.mpm                                   17-Sep-2012 15:43               14002
37.runsolver.smart                                 21-Jun-2012 02:01               10668
38.cudf_sol_check.aptitude                         17-Sep-2012 17:49                 128
38.cudf_sol_check.mpm                              22-Jun-2012 00:29                 152
38.runsolver.aptget                                18-Jun-2012 17:41                4761
38.runsolver.aptitude                              18-Jun-2012 17:28               15446
38.runsolver.cupt                                  18-Jun-2012 17:47                8628
38.runsolver.mpm                                   17-Sep-2012 15:43               13674
38.runsolver.smart                                 21-Jun-2012 02:01               11225
39.cudf_sol_check.aptitude                         17-Sep-2012 17:49                 121
39.cudf_sol_check.mpm                              22-Jun-2012 00:29                 152
39.runsolver.aptget                                18-Jun-2012 17:41                4794
39.runsolver.aptitude                              18-Jun-2012 17:28               15809
39.runsolver.cupt                                  18-Jun-2012 17:47                9172
39.runsolver.mpm                                   17-Sep-2012 15:43               13983
39.runsolver.smart                                 21-Jun-2012 02:01               11241
4.cudf_sol_check.mpm                               22-Jun-2012 00:33                 151
4.runsolver.aptget                                 18-Jun-2012 17:41                5305
4.runsolver.aptitude                               18-Jun-2012 17:28                8138
4.runsolver.cupt                                   18-Jun-2012 17:47                4243
4.runsolver.mpm                                    17-Sep-2012 15:43               13066
4.runsolver.smart                                  21-Jun-2012 02:01               11052
40.cudf_sol_check.aptitude                         17-Sep-2012 17:49                 133
40.cudf_sol_check.mpm                              22-Jun-2012 00:30                 152
40.runsolver.aptget                                18-Jun-2012 17:41                5327
40.runsolver.aptitude                              18-Jun-2012 17:28               11998
40.runsolver.cupt                                  18-Jun-2012 17:47                8629
40.runsolver.mpm                                   17-Sep-2012 15:43               14562
40.runsolver.smart                                 21-Jun-2012 02:01               11240
41.cudf_sol_check.aptitude                         17-Sep-2012 17:49                 104
41.cudf_sol_check.mpm                              22-Jun-2012 00:30                 152
41.runsolver.aptget                                18-Jun-2012 17:41                5306
41.runsolver.aptitude                              18-Jun-2012 17:28               11012
41.runsolver.cupt                                  18-Jun-2012 17:47                8045
41.runsolver.mpm                                   17-Sep-2012 15:43               14592
41.runsolver.smart                                 21-Jun-2012 02:01               10624
42.cudf_sol_check.aptitude                         17-Sep-2012 17:49                 107
42.cudf_sol_check.mpm                              22-Jun-2012 00:30                 152
42.runsolver.aptget                                18-Jun-2012 17:41                4241
42.runsolver.aptitude                              18-Jun-2012 17:28                9090
42.runsolver.cupt                                  18-Jun-2012 17:48                4264
42.runsolver.mpm                                   17-Sep-2012 15:43               13418
42.runsolver.smart                                 21-Jun-2012 02:01               11197
43.cudf_sol_check.aptitude                         17-Sep-2012 17:50                 119
43.cudf_sol_check.mpm                              22-Jun-2012 00:30                 152
43.runsolver.aptget                                18-Jun-2012 17:41                4791
43.runsolver.aptitude                              18-Jun-2012 17:28               16439
43.runsolver.cupt                                  18-Jun-2012 17:47                9702
43.runsolver.mpm                                   17-Sep-2012 15:43               13974
43.runsolver.smart                                 21-Jun-2012 02:01               11239
44.cudf_sol_check.mpm                              22-Jun-2012 00:31                 152
44.runsolver.aptget                                18-Jun-2012 17:41                5340
44.runsolver.aptitude                              18-Jun-2012 17:28                9116
44.runsolver.cupt                                  18-Jun-2012 17:47                4277
44.runsolver.mpm                                   17-Sep-2012 15:43               13999
44.runsolver.smart                                 21-Jun-2012 02:01               11237
45.cudf_sol_check.aptitude                         17-Sep-2012 17:50                 113
45.cudf_sol_check.mpm                              22-Jun-2012 00:31                 152
45.runsolver.aptget                                18-Jun-2012 17:41                4785
45.runsolver.aptitude                              18-Jun-2012 17:28               11044
45.runsolver.cupt                                  18-Jun-2012 17:47                8060
45.runsolver.mpm                                   17-Sep-2012 15:43               13920
45.runsolver.smart                                 21-Jun-2012 02:01               11218
46.cudf_sol_check.aptitude                         17-Sep-2012 17:50                 110
46.cudf_sol_check.mpm                              22-Jun-2012 00:31                 152
46.runsolver.aptget                                18-Jun-2012 17:41                5297
46.runsolver.aptitude                              18-Jun-2012 17:28                8143
46.runsolver.cupt                                  18-Jun-2012 17:47               11924
46.runsolver.mpm                                   17-Sep-2012 15:43               13395
46.runsolver.smart                                 21-Jun-2012 02:01               11188
47.cudf_sol_check.mpm                              22-Jun-2012 00:32                 152
47.runsolver.aptget                                18-Jun-2012 17:41                5306
47.runsolver.aptitude                              18-Jun-2012 17:28                7216
47.runsolver.cupt                                  18-Jun-2012 17:47                4250
47.runsolver.mpm                                   17-Sep-2012 15:43               13058
47.runsolver.smart                                 21-Jun-2012 02:01               10672
48.cudf_sol_check.aptitude                         17-Sep-2012 17:51                 137
48.cudf_sol_check.mpm                              22-Jun-2012 00:32                 152
48.runsolver.aptget                                18-Jun-2012 17:41                4779
48.runsolver.aptitude                              18-Jun-2012 17:28               17765
48.runsolver.cupt                                  18-Jun-2012 17:48                7520
48.runsolver.mpm                                   17-Sep-2012 15:43               13974
48.runsolver.smart                                 21-Jun-2012 02:01               11217
49.cudf_sol_check.aptitude                         17-Sep-2012 17:51                 154
49.cudf_sol_check.mpm                              22-Jun-2012 00:32                 152
49.runsolver.aptget                                18-Jun-2012 17:41                4761
49.runsolver.aptitude                              18-Jun-2012 17:28               14142
49.runsolver.cupt                                  18-Jun-2012 17:47                8557
49.runsolver.mpm                                   17-Sep-2012 15:43               13975
49.runsolver.smart                                 21-Jun-2012 02:01               10667
5.cudf_sol_check.aptitude                          17-Sep-2012 17:53                 136
5.cudf_sol_check.mpm                               22-Jun-2012 00:36                 151
5.runsolver.aptget                                 18-Jun-2012 17:41                4790
5.runsolver.aptitude                               18-Jun-2012 17:28               16439
5.runsolver.cupt                                   18-Jun-2012 17:48                9172
5.runsolver.mpm                                    17-Sep-2012 15:43               14017
5.runsolver.smart                                  21-Jun-2012 02:01               10520
50.cudf_sol_check.aptitude                         17-Sep-2012 17:51                 127
50.cudf_sol_check.mpm                              22-Jun-2012 00:33                 152
50.runsolver.aptget                                18-Jun-2012 17:41                4782
50.runsolver.aptitude                              18-Jun-2012 17:28               14701
50.runsolver.cupt                                  18-Jun-2012 17:47                7514
50.runsolver.mpm                                   17-Sep-2012 15:43               15212
50.runsolver.smart                                 21-Jun-2012 02:01               11207
51.cudf_sol_check.aptitude                         17-Sep-2012 17:52                 152
51.cudf_sol_check.mpm                              22-Jun-2012 00:33                 152
51.runsolver.aptget                                18-Jun-2012 17:41                4778
51.runsolver.aptitude                              18-Jun-2012 17:28               13526
51.runsolver.cupt                                  18-Jun-2012 17:47               11365
51.runsolver.mpm                                   17-Sep-2012 15:43               14557
51.runsolver.smart                                 21-Jun-2012 02:01               11219
52.cudf_sol_check.mpm                              22-Jun-2012 00:33                 152
52.runsolver.aptget                                18-Jun-2012 17:41                5346
52.runsolver.aptitude                              18-Jun-2012 17:28                8168
52.runsolver.cupt                                  18-Jun-2012 17:47                9166
52.runsolver.mpm                                   17-Sep-2012 15:43               14481
52.runsolver.smart                                 21-Jun-2012 02:01               11221
53.cudf_sol_check.aptitude                         17-Sep-2012 17:52                 109
53.cudf_sol_check.mpm                              22-Jun-2012 00:34                 152
53.runsolver.aptget                                18-Jun-2012 17:41                5314
53.runsolver.aptitude                              18-Jun-2012 17:28               15812
53.runsolver.cupt                                  18-Jun-2012 17:47                8049
53.runsolver.mpm                                   17-Sep-2012 15:43               13999
53.runsolver.smart                                 21-Jun-2012 02:01               11215
54.cudf_sol_check.aptitude                         17-Sep-2012 17:52                 166
54.cudf_sol_check.mpm                              22-Jun-2012 00:34                 152
54.runsolver.aptget                                18-Jun-2012 17:41                4823
54.runsolver.aptitude                              18-Jun-2012 17:28               18410
54.runsolver.cupt                                  18-Jun-2012 17:47                8649
54.runsolver.mpm                                   17-Sep-2012 15:43               13457
54.runsolver.smart                                 21-Jun-2012 02:01               10680
55.cudf_sol_check.aptitude                         17-Sep-2012 17:52                 124
55.cudf_sol_check.mpm                              22-Jun-2012 00:34                 152
55.runsolver.aptget                                18-Jun-2012 17:41                4800
55.runsolver.aptitude                              18-Jun-2012 17:28                8746
55.runsolver.cupt                                  18-Jun-2012 17:47                4266
55.runsolver.mpm                                   17-Sep-2012 15:43               14555
55.runsolver.smart                                 21-Jun-2012 02:01               11202
56.cudf_sol_check.mpm                              22-Jun-2012 00:35                 152
56.runsolver.aptget                                18-Jun-2012 17:41                4244
56.runsolver.aptitude                              18-Jun-2012 17:28                4981
56.runsolver.cupt                                  18-Jun-2012 17:47                4272
56.runsolver.mpm                                   17-Sep-2012 15:43               13439
56.runsolver.smart                                 21-Jun-2012 02:01                6508
57.cudf_sol_check.mpm                              22-Jun-2012 00:35                 152
57.runsolver.aptget                                18-Jun-2012 17:41                5324
57.runsolver.aptitude                              18-Jun-2012 17:28                8167
57.runsolver.cupt                                  18-Jun-2012 17:47                4268
57.runsolver.mpm                                   17-Sep-2012 15:43               13452
57.runsolver.smart                                 21-Jun-2012 02:01               11231
58.cudf_sol_check.aptitude                         17-Sep-2012 17:53                 143
58.cudf_sol_check.mpm                              22-Jun-2012 00:35                 152
58.runsolver.aptget                                18-Jun-2012 17:41                5301
58.runsolver.aptitude                              18-Jun-2012 17:28               11588
58.runsolver.cupt                                  18-Jun-2012 17:47                9175
58.runsolver.mpm                                   17-Sep-2012 15:43               15622
58.runsolver.smart                                 21-Jun-2012 02:01               11200
59.cudf_sol_check.aptitude                         17-Sep-2012 17:53                 118
59.cudf_sol_check.mpm                              07-Sep-2012 12:31                1812
59.runsolver.aptget                                18-Jun-2012 17:41                4746
59.runsolver.aptitude                              18-Jun-2012 17:28               18321
59.runsolver.cupt                                  18-Jun-2012 17:47                8609
59.runsolver.mpm                                   17-Sep-2012 15:43               13964
59.runsolver.smart                                 21-Jun-2012 02:01               10678
6.cudf_sol_check.aptitude                          17-Sep-2012 17:56                 111
6.cudf_sol_check.mpm                               22-Jun-2012 00:39                 151
6.runsolver.aptget                                 18-Jun-2012 17:41                5818
6.runsolver.aptitude                               18-Jun-2012 17:28                9079
6.runsolver.cupt                                   18-Jun-2012 17:47                9121
6.runsolver.mpm                                    17-Sep-2012 15:43               13946
6.runsolver.smart                                  21-Jun-2012 02:01               11078
60.cudf_sol_check.aptitude                         17-Sep-2012 17:54                 154
60.cudf_sol_check.mpm                              22-Jun-2012 00:36                 152
60.runsolver.aptget                                18-Jun-2012 17:41                5288
60.runsolver.aptitude                              18-Jun-2012 17:28               12171
60.runsolver.cupt                                  18-Jun-2012 17:47                7496
60.runsolver.mpm                                   17-Sep-2012 15:43               14580
60.runsolver.smart                                 21-Jun-2012 02:01               11187
61.cudf_sol_check.aptitude                         17-Sep-2012 17:54                 107
61.cudf_sol_check.mpm                              22-Jun-2012 00:36                 152
61.runsolver.aptget                                18-Jun-2012 17:41                5325
61.runsolver.aptitude                              18-Jun-2012 17:28               10831
61.runsolver.cupt                                  18-Jun-2012 17:47                9137
61.runsolver.mpm                                   17-Sep-2012 15:43               16178
61.runsolver.smart                                 21-Jun-2012 02:01               11178
62.cudf_sol_check.mpm                              22-Jun-2012 00:37                 152
62.runsolver.aptget                                18-Jun-2012 17:41                4777
62.runsolver.aptitude                              18-Jun-2012 17:28               12597
62.runsolver.cupt                                  18-Jun-2012 17:47                4252
62.runsolver.mpm                                   17-Sep-2012 15:43               13982
62.runsolver.smart                                 21-Jun-2012 02:01               11228
63.cudf_sol_check.aptitude                         17-Sep-2012 17:54                 150
63.cudf_sol_check.mpm                              22-Jun-2012 00:37                 152
63.runsolver.aptget                                18-Jun-2012 17:41                4765
63.runsolver.aptitude                              18-Jun-2012 17:28               14867
63.runsolver.cupt                                  18-Jun-2012 17:47               10997
63.runsolver.mpm                                   17-Sep-2012 15:43               15615
63.runsolver.smart                                 21-Jun-2012 02:01               11202
64.cudf_sol_check.mpm                              22-Jun-2012 00:37                 152
64.runsolver.aptget                                18-Jun-2012 17:41                5860
64.runsolver.aptitude                              18-Jun-2012 17:28                8164
64.runsolver.cupt                                  18-Jun-2012 17:47                9179
64.runsolver.mpm                                   17-Sep-2012 15:43               14620
64.runsolver.smart                                 21-Jun-2012 02:01               11235
65.cudf_sol_check.aptitude                         17-Sep-2012 17:54                 154
65.cudf_sol_check.mpm                              22-Jun-2012 00:37                 152
65.runsolver.aptget                                18-Jun-2012 17:41                4775
65.runsolver.aptitude                              18-Jun-2012 17:28               13189
65.runsolver.cupt                                  18-Jun-2012 17:47                8615
65.runsolver.mpm                                   17-Sep-2012 15:43               14540
65.runsolver.smart                                 21-Jun-2012 02:01               11217
66.cudf_sol_check.aptitude                         17-Sep-2012 17:55                 143
66.cudf_sol_check.mpm                              22-Jun-2012 00:38                 152
66.runsolver.aptget                                18-Jun-2012 17:41                4780
66.runsolver.aptitude                              18-Jun-2012 17:28               15431
66.runsolver.cupt                                  18-Jun-2012 17:47                4249
66.runsolver.mpm                                   17-Sep-2012 15:43               13343
66.runsolver.smart                                 21-Jun-2012 02:01               11184
67.cudf_sol_check.mpm                              22-Jun-2012 00:38                 152
67.runsolver.aptget                                18-Jun-2012 17:41                5315
67.runsolver.aptitude                              18-Jun-2012 17:28                8152
67.runsolver.cupt                                  18-Jun-2012 17:47                4258
67.runsolver.mpm                                   17-Sep-2012 15:43               14612
67.runsolver.smart                                 21-Jun-2012 02:01               11201
68.cudf_sol_check.mpm                              22-Jun-2012 00:39                 152
68.runsolver.aptget                                18-Jun-2012 17:41                5840
68.runsolver.aptitude                              18-Jun-2012 17:28               12895
68.runsolver.cupt                                  18-Jun-2012 17:47                4258
68.runsolver.mpm                                   17-Sep-2012 15:43               13404
68.runsolver.smart                                 21-Jun-2012 02:01               11221
69.cudf_sol_check.aptitude                         17-Sep-2012 17:55                 154
69.cudf_sol_check.mpm                              22-Jun-2012 00:39                 152
69.runsolver.aptget                                18-Jun-2012 17:41                5319
69.runsolver.aptitude                              18-Jun-2012 17:28               12214
69.runsolver.cupt                                  18-Jun-2012 17:47                7511
69.runsolver.mpm                                   17-Sep-2012 15:43               14010
69.runsolver.smart                                 21-Jun-2012 02:01               11260
7.cudf_sol_check.aptitude                          17-Sep-2012 17:58                 154
7.cudf_sol_check.mpm                               22-Jun-2012 00:42                 151
7.runsolver.aptget                                 18-Jun-2012 17:41                4806
7.runsolver.aptitude                               18-Jun-2012 17:28               12223
7.runsolver.cupt                                   18-Jun-2012 17:47                8084
7.runsolver.mpm                                    17-Sep-2012 15:43               12134
7.runsolver.smart                                  21-Jun-2012 02:01               11115
70.cudf_sol_check.mpm                              22-Jun-2012 00:39                 152
70.runsolver.aptget                                18-Jun-2012 17:41                5852
70.runsolver.aptitude                              18-Jun-2012 17:28               10843
70.runsolver.cupt                                  18-Jun-2012 17:47                8045
70.runsolver.mpm                                   17-Sep-2012 15:43               13975
70.runsolver.smart                                 21-Jun-2012 02:01               11199
71.cudf_sol_check.aptitude                         17-Sep-2012 17:56                 108
71.cudf_sol_check.mpm                              22-Jun-2012 00:40                 152
71.runsolver.aptget                                18-Jun-2012 17:41                4749
71.runsolver.aptitude                              18-Jun-2012 17:28               15419
71.runsolver.cupt                                  18-Jun-2012 17:47               10235
71.runsolver.mpm                                   17-Sep-2012 15:43               13896
71.runsolver.smart                                 21-Jun-2012 02:01               11182
72.cudf_sol_check.mpm                              22-Jun-2012 00:40                 152
72.runsolver.aptget                                18-Jun-2012 17:41                5326
72.runsolver.aptitude                              18-Jun-2012 17:28                8722
72.runsolver.cupt                                  18-Jun-2012 17:47                4259
72.runsolver.mpm                                   17-Sep-2012 15:43               13403
72.runsolver.smart                                 21-Jun-2012 02:01               11203
73.cudf_sol_check.aptitude                         17-Sep-2012 17:56                 108
73.cudf_sol_check.mpm                              22-Jun-2012 00:40                 152
73.runsolver.aptget                                18-Jun-2012 17:41                4776
73.runsolver.aptitude                              18-Jun-2012 17:28               10644
73.runsolver.cupt                                  18-Jun-2012 17:47                9159
73.runsolver.mpm                                   17-Sep-2012 15:43               13415
73.runsolver.smart                                 21-Jun-2012 02:01               11188
74.cudf_sol_check.aptitude                         17-Sep-2012 17:56                 147
74.cudf_sol_check.mpm                              07-Sep-2012 12:36                1828
74.runsolver.aptget                                18-Jun-2012 17:41                4793
74.runsolver.aptitude                              18-Jun-2012 17:28               15440
74.runsolver.cupt                                  18-Jun-2012 17:47               11008
74.runsolver.mpm                                   17-Sep-2012 15:43               13986
74.runsolver.smart                                 21-Jun-2012 02:01               11218
75.cudf_sol_check.aptitude                         17-Sep-2012 17:57                 130
75.cudf_sol_check.mpm                              22-Jun-2012 00:41                 152
75.runsolver.aptget                                18-Jun-2012 17:41                4822
75.runsolver.aptitude                              18-Jun-2012 17:28               15834
75.runsolver.cupt                                  18-Jun-2012 17:48                4280
75.runsolver.mpm                                   17-Sep-2012 15:43               15688
75.runsolver.smart                                 21-Jun-2012 02:01               11275
76.cudf_sol_check.aptitude                         17-Sep-2012 17:57                 119
76.cudf_sol_check.mpm                              22-Jun-2012 00:41                 152
76.runsolver.aptget                                18-Jun-2012 17:41                4773
76.runsolver.aptitude                              18-Jun-2012 17:28               11595
76.runsolver.cupt                                  18-Jun-2012 17:47                4258
76.runsolver.mpm                                   17-Sep-2012 15:43               13989
76.runsolver.smart                                 21-Jun-2012 02:01               11178
77.cudf_sol_check.mpm                              22-Jun-2012 00:42                 152
77.runsolver.aptget                                18-Jun-2012 17:41                5319
77.runsolver.aptitude                              18-Jun-2012 17:28                8154
77.runsolver.cupt                                  18-Jun-2012 17:47                4261
77.runsolver.mpm                                   17-Sep-2012 15:43               16830
77.runsolver.smart                                 21-Jun-2012 02:01               11214
78.cudf_sol_check.mpm                              22-Jun-2012 00:42                 152
78.runsolver.aptget                                18-Jun-2012 17:41                5315
78.runsolver.aptitude                              18-Jun-2012 17:28               10061
78.runsolver.cupt                                  18-Jun-2012 17:47               11386
78.runsolver.mpm                                   17-Sep-2012 15:43               13969
78.runsolver.smart                                 21-Jun-2012 02:01               11195
79.cudf_sol_check.aptitude                         17-Sep-2012 17:57                 119
79.cudf_sol_check.mpm                              22-Jun-2012 00:42                 152
79.runsolver.aptget                                18-Jun-2012 17:41                5830
79.runsolver.aptitude                              18-Jun-2012 17:28               11930
79.runsolver.cupt                                  18-Jun-2012 17:47                9151
79.runsolver.mpm                                   17-Sep-2012 15:43               13399
79.runsolver.smart                                 21-Jun-2012 02:01               11179
8.cudf_sol_check.aptitude                          17-Sep-2012 18:00                 171
8.cudf_sol_check.mpm                               22-Jun-2012 00:46                 151
8.runsolver.aptget                                 18-Jun-2012 17:41                4807
8.runsolver.aptitude                               18-Jun-2012 17:28               16653
8.runsolver.cupt                                   18-Jun-2012 17:47               10275
8.runsolver.mpm                                    17-Sep-2012 15:43               13293
8.runsolver.smart                                  21-Jun-2012 02:01               10539
80.cudf_sol_check.mpm                              22-Jun-2012 00:43                 152
80.runsolver.aptget                                18-Jun-2012 17:41                5869
80.runsolver.aptitude                              18-Jun-2012 17:28               11619
80.runsolver.cupt                                  18-Jun-2012 17:48                4298
80.runsolver.mpm                                   17-Sep-2012 15:43               13667
80.runsolver.smart                                 21-Jun-2012 02:01               11222
81.cudf_sol_check.aptitude                         17-Sep-2012 17:58                 154
81.cudf_sol_check.mpm                              22-Jun-2012 00:43                 152
81.runsolver.aptget                                18-Jun-2012 17:41                4766
81.runsolver.aptitude                              18-Jun-2012 17:28               12191
81.runsolver.cupt                                  18-Jun-2012 17:47                9157
81.runsolver.mpm                                   17-Sep-2012 15:43               13968
81.runsolver.smart                                 21-Jun-2012 02:01               11208
82.cudf_sol_check.aptitude                         17-Sep-2012 17:58                 135
82.cudf_sol_check.mpm                              22-Jun-2012 00:43                 152
82.runsolver.aptget                                18-Jun-2012 17:41                4764
82.runsolver.aptitude                              18-Jun-2012 17:28               17609
82.runsolver.cupt                                  18-Jun-2012 17:47                4250
82.runsolver.mpm                                   17-Sep-2012 15:43               15623
82.runsolver.smart                                 21-Jun-2012 02:01               11234
83.cudf_sol_check.mpm                              22-Jun-2012 00:44                 152
83.runsolver.aptget                                18-Jun-2012 17:41                5356
83.runsolver.aptitude                              18-Jun-2012 17:28               12931
83.runsolver.cupt                                  18-Jun-2012 17:47                4273
83.runsolver.mpm                                   17-Sep-2012 15:43               13435
83.runsolver.smart                                 21-Jun-2012 02:01               11240
84.cudf_sol_check.aptitude                         17-Sep-2012 17:59                 108
84.cudf_sol_check.mpm                              22-Jun-2012 00:44                 152
84.runsolver.aptget                                18-Jun-2012 17:41                4794
84.runsolver.aptitude                              18-Jun-2012 17:28               15811
84.runsolver.cupt                                  18-Jun-2012 17:47               10275
84.runsolver.mpm                                   17-Sep-2012 15:43               13995
84.runsolver.smart                                 21-Jun-2012 02:01               11210
85.cudf_sol_check.aptitude                         17-Sep-2012 17:59                 108
85.cudf_sol_check.mpm                              22-Jun-2012 00:44                 152
85.runsolver.aptget                                18-Jun-2012 17:41                4761
85.runsolver.aptitude                              18-Jun-2012 17:28               15462
85.runsolver.cupt                                  18-Jun-2012 17:47               11010
85.runsolver.mpm                                   17-Sep-2012 15:43               14605
85.runsolver.smart                                 21-Jun-2012 02:01               11230
86.cudf_sol_check.aptitude                         17-Sep-2012 17:59                 127
86.cudf_sol_check.mpm                              22-Jun-2012 00:44                 152
86.runsolver.aptget                                18-Jun-2012 17:41                5330
86.runsolver.aptitude                              18-Jun-2012 17:28               11973
86.runsolver.cupt                                  18-Jun-2012 17:47               10835
86.runsolver.mpm                                   17-Sep-2012 15:43               14550
86.runsolver.smart                                 21-Jun-2012 02:01               10682
87.cudf_sol_check.mpm                              22-Jun-2012 00:45                 152
87.runsolver.aptget                                18-Jun-2012 17:41                5338
87.runsolver.aptitude                              18-Jun-2012 17:28                9092
87.runsolver.cupt                                  18-Jun-2012 17:47                4258
87.runsolver.mpm                                   17-Sep-2012 15:43               15849
87.runsolver.smart                                 21-Jun-2012 02:01               11212
88.cudf_sol_check.aptitude                         17-Sep-2012 17:59                 127
88.cudf_sol_check.mpm                              24-Jun-2012 17:55                 157
88.runsolver.aptget                                18-Jun-2012 17:41                5311
88.runsolver.aptitude                              18-Jun-2012 17:28               11961
88.runsolver.cupt                                  18-Jun-2012 17:47                8614
88.runsolver.mpm                                   17-Sep-2012 15:43               13914
88.runsolver.smart                                 21-Jun-2012 02:01               11183
89.cudf_sol_check.mpm                              22-Jun-2012 00:46                 152
89.runsolver.aptget                                18-Jun-2012 17:41                5310
89.runsolver.aptitude                              18-Jun-2012 17:28               11009
89.runsolver.cupt                                  18-Jun-2012 17:47                4794
89.runsolver.mpm                                   17-Sep-2012 15:43               13986
89.runsolver.smart                                 21-Jun-2012 02:01               11220
9.cudf_sol_check.mpm                               22-Jun-2012 00:49                 151
9.runsolver.aptget                                 18-Jun-2012 17:41                5323
9.runsolver.aptitude                               18-Jun-2012 17:28                8141
9.runsolver.cupt                                   18-Jun-2012 17:47                4244
9.runsolver.mpm                                    17-Sep-2012 15:43               13292
9.runsolver.smart                                  21-Jun-2012 02:01               11051
90.cudf_sol_check.mpm                              22-Jun-2012 00:46                 152
90.runsolver.aptget                                18-Jun-2012 17:41                4784
90.runsolver.aptitude                              18-Jun-2012 17:28                7790
90.runsolver.cupt                                  18-Jun-2012 17:47                4262
90.runsolver.mpm                                   17-Sep-2012 15:43               13998
90.runsolver.smart                                 21-Jun-2012 02:01               10660
91.cudf_sol_check.aptitude                         17-Sep-2012 18:00                 129
91.cudf_sol_check.mpm                              22-Jun-2012 00:46                 152
91.runsolver.aptget                                18-Jun-2012 17:41                4788
91.runsolver.aptitude                              18-Jun-2012 17:28               14834
91.runsolver.cupt                                  18-Jun-2012 17:48               10277
91.runsolver.mpm                                   17-Sep-2012 15:43               13392
91.runsolver.smart                                 21-Jun-2012 02:01               11205
92.cudf_sol_check.aptitude                         17-Sep-2012 18:00                 133
92.cudf_sol_check.mpm                              24-Jun-2012 17:57                 168
92.runsolver.aptget                                18-Jun-2012 17:41                5295
92.runsolver.aptitude                              18-Jun-2012 17:28               13886
92.runsolver.cupt                                  18-Jun-2012 17:47                4266
92.runsolver.mpm                                   17-Sep-2012 15:43               14000
92.runsolver.smart                                 21-Jun-2012 02:01                6472
93.cudf_sol_check.mpm                              22-Jun-2012 00:47                 152
93.runsolver.aptget                                18-Jun-2012 17:41                5298
93.runsolver.aptitude                              18-Jun-2012 17:28               10050
93.runsolver.cupt                                  18-Jun-2012 17:47                8031
93.runsolver.mpm                                   17-Sep-2012 15:43               13975
93.runsolver.smart                                 21-Jun-2012 02:01               10633
94.cudf_sol_check.aptitude                         17-Sep-2012 18:01                 154
94.cudf_sol_check.mpm                              22-Jun-2012 00:47                 152
94.runsolver.aptget                                18-Jun-2012 17:41                5319
94.runsolver.aptitude                              18-Jun-2012 17:28               14128
94.runsolver.cupt                                  18-Jun-2012 17:47                9157
94.runsolver.mpm                                   17-Sep-2012 15:43               15279
94.runsolver.smart                                 21-Jun-2012 02:01               10658
95.cudf_sol_check.aptitude                         17-Sep-2012 18:01                 131
95.cudf_sol_check.mpm                              22-Jun-2012 00:47                 152
95.runsolver.aptget                                18-Jun-2012 17:41                4766
95.runsolver.aptitude                              18-Jun-2012 17:28               17958
95.runsolver.cupt                                  18-Jun-2012 17:47                6976
95.runsolver.mpm                                   17-Sep-2012 15:43               13897
95.runsolver.smart                                 21-Jun-2012 02:01               11185
96.cudf_sol_check.aptitude                         17-Sep-2012 18:01                 154
96.cudf_sol_check.mpm                              22-Jun-2012 00:47                 152
96.runsolver.aptget                                18-Jun-2012 17:41                4791
96.runsolver.aptitude                              18-Jun-2012 17:28               13186
96.runsolver.cupt                                  18-Jun-2012 17:48                8084
96.runsolver.mpm                                   17-Sep-2012 15:43               14008
96.runsolver.smart                                 21-Jun-2012 02:01               11246
97.cudf_sol_check.aptitude                         17-Sep-2012 18:01                 138
97.cudf_sol_check.mpm                              22-Jun-2012 00:48                 152
97.runsolver.aptget                                18-Jun-2012 17:41                4789
97.runsolver.aptitude                              18-Jun-2012 17:28               17006
97.runsolver.cupt                                  18-Jun-2012 17:47                8599
97.runsolver.mpm                                   17-Sep-2012 15:43               13976
97.runsolver.smart                                 21-Jun-2012 02:01               11235
98.cudf_sol_check.mpm                              22-Jun-2012 00:48                 152
98.runsolver.aptget                                18-Jun-2012 17:41                5334
98.runsolver.aptitude                              18-Jun-2012 17:28                8148
98.runsolver.cupt                                  18-Jun-2012 17:47                4245
98.runsolver.mpm                                   17-Sep-2012 15:43               13057
98.runsolver.smart                                 21-Jun-2012 02:01               11194
99.cudf_sol_check.aptitude                         17-Sep-2012 18:01                 122
99.cudf_sol_check.mpm                              22-Jun-2012 00:48                 152
99.runsolver.aptget                                18-Jun-2012 17:41                4766
99.runsolver.aptitude                              18-Jun-2012 17:28               19332
99.runsolver.cupt                                  18-Jun-2012 17:47                6423
99.runsolver.mpm                                   17-Sep-2012 15:43               14601
99.runsolver.smart                                 21-Jun-2012 02:01               11198