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


../
1.cudf_sol_check.aptitude                          18-Sep-2012 00:25                 155
1.cudf_sol_check.mpm                               22-Jun-2012 01:05                 163
1.runsolver.aptget                                 18-Jun-2012 17:41                5348
1.runsolver.aptitude                               18-Jun-2012 17:29               12205
1.runsolver.cupt                                   18-Jun-2012 17:50               10894
1.runsolver.mpm                                    17-Sep-2012 15:46               16970
1.runsolver.smart                                  21-Jun-2012 02:03               11214
10.cudf_sol_check.mpm                              22-Jun-2012 00:42                 164
10.runsolver.aptget                                18-Jun-2012 17:41                6962
10.runsolver.aptitude                              18-Jun-2012 17:29                9112
10.runsolver.cupt                                  18-Jun-2012 17:50                4749
10.runsolver.mpm                                   17-Sep-2012 15:46               16724
10.runsolver.smart                                 21-Jun-2012 02:02               11215
100.cudf_sol_check.mpm                             22-Jun-2012 00:37                 165
100.runsolver.aptget                               18-Jun-2012 17:41                7005
100.runsolver.aptitude                             18-Jun-2012 17:29                8771
100.runsolver.cupt                                 18-Jun-2012 17:50                4787
100.runsolver.mpm                                  17-Sep-2012 15:46               17785
100.runsolver.smart                                21-Jun-2012 02:02               11244
101.cudf_sol_check.aptget                          17-Sep-2012 23:59                 126
101.cudf_sol_check.aptitude                        17-Sep-2012 23:59                 110
101.cudf_sol_check.mpm                             17-Sep-2012 23:59                1710
101.runsolver.aptget                               18-Jun-2012 17:41                6439
101.runsolver.aptitude                             18-Jun-2012 17:29               10060
101.runsolver.cupt                                 18-Jun-2012 17:50               12890
101.runsolver.mpm                                  17-Sep-2012 15:46               18388
101.runsolver.smart                                21-Jun-2012 02:03               11254
102.cudf_sol_check.mpm                             22-Jun-2012 00:38                 165
102.runsolver.aptget                               18-Jun-2012 17:41                4801
102.runsolver.aptitude                             18-Jun-2012 17:29                9114
102.runsolver.cupt                                 18-Jun-2012 17:49               10729
102.runsolver.mpm                                  17-Sep-2012 15:46               16936
102.runsolver.smart                                21-Jun-2012 02:02               11243
103.cudf_sol_check.mpm                             22-Jun-2012 00:39                 165
103.runsolver.aptget                               18-Jun-2012 17:41                5867
103.runsolver.aptitude                             18-Jun-2012 17:29                8165
103.runsolver.cupt                                 18-Jun-2012 17:50               10866
103.runsolver.mpm                                  17-Sep-2012 15:46               11720
103.runsolver.smart                                21-Jun-2012 02:02               11215
104.cudf_sol_check.mpm                             22-Jun-2012 00:39                 165
104.runsolver.aptget                               18-Jun-2012 17:41                6452
104.runsolver.aptitude                             18-Jun-2012 17:29                9136
104.runsolver.cupt                                 18-Jun-2012 17:50               12365
104.runsolver.mpm                                  17-Sep-2012 15:46               14138
104.runsolver.smart                                21-Jun-2012 02:03               11289
105.cudf_sol_check.mpm                             22-Jun-2012 00:40                 165
105.runsolver.aptget                               18-Jun-2012 17:42                6467
105.runsolver.aptitude                             18-Jun-2012 17:29               11997
105.runsolver.cupt                                 18-Jun-2012 17:49               10716
105.runsolver.mpm                                  17-Sep-2012 15:46               11177
105.runsolver.smart                                21-Jun-2012 02:02               11230
106.cudf_sol_check.mpm                             22-Jun-2012 00:40                 165
106.runsolver.aptget                               18-Jun-2012 17:41                6440
106.runsolver.aptitude                             18-Jun-2012 17:29               10663
106.runsolver.cupt                                 18-Jun-2012 17:50               10697
106.runsolver.mpm                                  17-Sep-2012 15:46               10594
106.runsolver.smart                                21-Jun-2012 02:02               11241
107.cudf_sol_check.mpm                             22-Jun-2012 00:41                 165
107.runsolver.aptget                               18-Jun-2012 17:41                5881
107.runsolver.aptitude                             18-Jun-2012 17:29                8158
107.runsolver.cupt                                 18-Jun-2012 17:50               11252
107.runsolver.mpm                                  17-Sep-2012 15:46               14088
107.runsolver.smart                                21-Jun-2012 02:02               11245
108.cudf_sol_check.mpm                             22-Jun-2012 00:41                 165
108.runsolver.aptget                               18-Jun-2012 17:41                4801
108.runsolver.aptitude                             18-Jun-2012 17:29               10557
108.runsolver.cupt                                 18-Jun-2012 17:50               10360
108.runsolver.mpm                                  17-Sep-2012 15:46               16062
108.runsolver.smart                                21-Jun-2012 02:02               11240
109.cudf_sol_check.aptget                          18-Sep-2012 00:02                 199
109.cudf_sol_check.aptitude                        18-Sep-2012 00:02                 209
109.cudf_sol_check.mpm                             18-Sep-2012 00:02                1710
109.runsolver.aptget                               18-Jun-2012 17:41                6998
109.runsolver.aptitude                             18-Jun-2012 17:29               14159
109.runsolver.cupt                                 18-Jun-2012 17:49               11246
109.runsolver.mpm                                  17-Sep-2012 15:46               20832
109.runsolver.smart                                21-Jun-2012 02:03               11236
11.cudf_sol_check.mpm                              22-Jun-2012 00:47                 164
11.runsolver.aptget                                18-Jun-2012 17:41                6973
11.runsolver.aptitude                              18-Jun-2012 17:29               14839
11.runsolver.cupt                                  18-Jun-2012 17:50               10892
11.runsolver.mpm                                   17-Sep-2012 15:46               17744
11.runsolver.smart                                 21-Jun-2012 02:03               11217
110.cudf_sol_check.aptget                          18-Sep-2012 00:03                 120
110.cudf_sol_check.mpm                             18-Sep-2012 00:03                1710
110.runsolver.aptget                               18-Jun-2012 17:41                5903
110.runsolver.aptitude                             18-Jun-2012 17:29                9879
110.runsolver.cupt                                 18-Jun-2012 17:49               10686
110.runsolver.mpm                                  17-Sep-2012 15:46               19669
110.runsolver.smart                                21-Jun-2012 02:03               10690
111.cudf_sol_check.mpm                             22-Jun-2012 00:43                 165
111.runsolver.aptget                               18-Jun-2012 17:41                5340
111.runsolver.aptitude                             18-Jun-2012 17:29                7808
111.runsolver.cupt                                 18-Jun-2012 17:50               11245
111.runsolver.mpm                                  17-Sep-2012 15:46               15777
111.runsolver.smart                                21-Jun-2012 02:03               10669
112.cudf_sol_check.mpm                             22-Jun-2012 00:44                 165
112.runsolver.aptget                               18-Jun-2012 17:41                5338
112.runsolver.aptitude                             18-Jun-2012 17:29                9110
112.runsolver.cupt                                 18-Jun-2012 17:50               10696
112.runsolver.mpm                                  17-Sep-2012 15:46               17011
112.runsolver.smart                                21-Jun-2012 02:02               10657
113.cudf_sol_check.mpm                             22-Jun-2012 00:44                 165
113.runsolver.aptget                               18-Jun-2012 17:41                6987
113.runsolver.aptitude                             18-Jun-2012 17:29               11019
113.runsolver.cupt                                 18-Jun-2012 17:50               13445
113.runsolver.mpm                                  17-Sep-2012 15:46               17604
113.runsolver.smart                                21-Jun-2012 02:02               10686
114.cudf_sol_check.mpm                             22-Jun-2012 00:45                 165
114.runsolver.aptget                               18-Jun-2012 17:41                6398
114.runsolver.aptitude                             18-Jun-2012 17:29                9091
114.runsolver.cupt                                 18-Jun-2012 17:50               12854
114.runsolver.mpm                                  17-Sep-2012 15:46               13494
114.runsolver.smart                                21-Jun-2012 02:03               11235
115.cudf_sol_check.mpm                             22-Jun-2012 00:45                 165
115.runsolver.aptget                               18-Jun-2012 17:41                4815
115.runsolver.aptitude                             18-Jun-2012 17:29               10084
115.runsolver.cupt                                 18-Jun-2012 17:50               12378
115.runsolver.mpm                                  17-Sep-2012 15:46               16324
115.runsolver.smart                                21-Jun-2012 02:03               11276
116.cudf_sol_check.mpm                             22-Jun-2012 00:46                 165
116.runsolver.aptget                               18-Jun-2012 17:41                6420
116.runsolver.aptitude                             18-Jun-2012 17:29               11589
116.runsolver.cupt                                 18-Jun-2012 17:49               10907
116.runsolver.mpm                                  17-Sep-2012 15:46               14651
116.runsolver.smart                                21-Jun-2012 02:02               11207
117.cudf_sol_check.mpm                             22-Jun-2012 00:46                 165
117.runsolver.aptget                               18-Jun-2012 17:41                6974
117.runsolver.aptitude                             18-Jun-2012 17:29               11000
117.runsolver.cupt                                 18-Jun-2012 17:49               11251
117.runsolver.mpm                                  17-Sep-2012 15:46               17328
117.runsolver.smart                                21-Jun-2012 02:02               11214
118.cudf_sol_check.mpm                             22-Jun-2012 00:47                 165
118.runsolver.aptget                               18-Jun-2012 17:41                6990
118.runsolver.aptitude                             18-Jun-2012 17:29                8181
118.runsolver.cupt                                 18-Jun-2012 17:50               12883
118.runsolver.mpm                                  17-Sep-2012 15:46               11106
118.runsolver.smart                                21-Jun-2012 02:02               10660
119.cudf_sol_check.mpm                             22-Jun-2012 00:47                 165
119.runsolver.aptget                               18-Jun-2012 17:41                5872
119.runsolver.aptitude                             18-Jun-2012 17:29               11007
119.runsolver.cupt                                 18-Jun-2012 17:49               12884
119.runsolver.mpm                                  17-Sep-2012 15:46               16308
119.runsolver.smart                                21-Jun-2012 02:03               11224
12.cudf_sol_check.mpm                              22-Jun-2012 00:52                 164
12.runsolver.aptget                                18-Jun-2012 17:41                7532
12.runsolver.aptitude                              18-Jun-2012 17:29               17131
12.runsolver.cupt                                  18-Jun-2012 17:49                4773
12.runsolver.mpm                                   17-Sep-2012 15:46               18208
12.runsolver.smart                                 21-Jun-2012 02:02               11252
120.cudf_sol_check.mpm                             22-Jun-2012 00:48                 165
120.runsolver.aptget                               18-Jun-2012 17:42                6991
120.runsolver.aptitude                             18-Jun-2012 17:29               10089
120.runsolver.cupt                                 18-Jun-2012 17:49               11255
120.runsolver.mpm                                  17-Sep-2012 15:46                8874
120.runsolver.smart                                21-Jun-2012 02:02               11264
121.cudf_sol_check.mpm                             22-Jun-2012 00:48                 165
121.runsolver.aptget                               18-Jun-2012 17:42                6430
121.runsolver.aptitude                             18-Jun-2012 17:29               10072
121.runsolver.cupt                                 18-Jun-2012 17:49                7968
121.runsolver.mpm                                  17-Sep-2012 15:46               15291
121.runsolver.smart                                21-Jun-2012 02:02               11223
122.cudf_sol_check.mpm                             22-Jun-2012 00:49                 165
122.runsolver.aptget                               18-Jun-2012 17:42                5377
122.runsolver.aptitude                             18-Jun-2012 17:29               10080
122.runsolver.cupt                                 18-Jun-2012 17:50               10932
122.runsolver.mpm                                  17-Sep-2012 15:46               18259
122.runsolver.smart                                21-Jun-2012 02:02               11244
123.cudf_sol_check.mpm                             22-Jun-2012 00:49                 165
123.runsolver.aptget                               18-Jun-2012 17:41                6410
123.runsolver.aptitude                             18-Jun-2012 17:29               10647
123.runsolver.cupt                                 18-Jun-2012 17:50                7420
123.runsolver.mpm                                  17-Sep-2012 15:46               11107
123.runsolver.smart                                21-Jun-2012 02:02               11204
124.cudf_sol_check.mpm                             22-Jun-2012 00:50                 165
124.runsolver.aptget                               18-Jun-2012 17:41                6964
124.runsolver.aptitude                             18-Jun-2012 17:29               10650
124.runsolver.cupt                                 18-Jun-2012 17:50               13417
124.runsolver.mpm                                  17-Sep-2012 15:46               11668
124.runsolver.smart                                21-Jun-2012 02:03               11212
125.cudf_sol_check.mpm                             22-Jun-2012 00:50                 165
125.runsolver.aptget                               18-Jun-2012 17:41                6995
125.runsolver.aptitude                             18-Jun-2012 17:29               10693
125.runsolver.cupt                                 18-Jun-2012 17:50               10900
125.runsolver.mpm                                  17-Sep-2012 15:46                9458
125.runsolver.smart                                21-Jun-2012 02:02               11238
126.cudf_sol_check.mpm                             22-Jun-2012 00:50                 165
126.runsolver.aptget                               18-Jun-2012 17:41                6969
126.runsolver.aptitude                             18-Jun-2012 17:29                9748
126.runsolver.cupt                                 18-Jun-2012 17:49               10708
126.runsolver.mpm                                  17-Sep-2012 15:46               12289
126.runsolver.smart                                21-Jun-2012 02:03               11251
127.cudf_sol_check.mpm                             22-Jun-2012 00:51                 165
127.runsolver.aptget                               18-Jun-2012 17:42                5344
127.runsolver.aptitude                             18-Jun-2012 17:29                9123
127.runsolver.cupt                                 18-Jun-2012 17:50               10895
127.runsolver.mpm                                  17-Sep-2012 15:46               15749
127.runsolver.smart                                21-Jun-2012 02:03               11237
128.cudf_sol_check.aptget                          18-Sep-2012 00:10                 125
128.cudf_sol_check.mpm                             18-Sep-2012 00:11                1710
128.runsolver.aptget                               18-Jun-2012 17:41                6982
128.runsolver.aptitude                             18-Jun-2012 17:29                9744
128.runsolver.cupt                                 18-Jun-2012 17:49               12934
128.runsolver.mpm                                  17-Sep-2012 15:46               21507
128.runsolver.smart                                21-Jun-2012 02:03               11238
129.cudf_sol_check.mpm                             22-Jun-2012 00:51                 165
129.runsolver.aptget                               18-Jun-2012 17:41                5341
129.runsolver.aptitude                             18-Jun-2012 17:29                9132
129.runsolver.cupt                                 18-Jun-2012 17:50               12354
129.runsolver.mpm                                  17-Sep-2012 15:46               16377
129.runsolver.smart                                21-Jun-2012 02:02               11174
13.cudf_sol_check.aptitude                         18-Sep-2012 00:15                 114
13.cudf_sol_check.mpm                              22-Jun-2012 00:55                 164
13.runsolver.aptget                                18-Jun-2012 17:41                5347
13.runsolver.aptitude                              18-Jun-2012 17:29               13540
13.runsolver.cupt                                  18-Jun-2012 17:49               10698
13.runsolver.mpm                                   17-Sep-2012 15:46               18318
13.runsolver.smart                                 21-Jun-2012 02:03               11242
130.cudf_sol_check.mpm                             18-Sep-2012 00:12                1710
130.runsolver.aptget                               18-Jun-2012 17:41                5326
130.runsolver.aptitude                             18-Jun-2012 17:29                9132
130.runsolver.cupt                                 18-Jun-2012 17:49               12324
130.runsolver.mpm                                  17-Sep-2012 15:46               19252
130.runsolver.smart                                21-Jun-2012 02:02               11213
131.cudf_sol_check.mpm                             22-Jun-2012 00:52                 165
131.runsolver.aptget                               18-Jun-2012 17:41                5869
131.runsolver.aptitude                             18-Jun-2012 17:29               10107
131.runsolver.cupt                                 18-Jun-2012 17:50                9605
131.runsolver.mpm                                  17-Sep-2012 15:46                9440
131.runsolver.smart                                21-Jun-2012 02:02               11231
132.cudf_sol_check.mpm                             22-Jun-2012 00:53                 165
132.runsolver.aptget                               18-Jun-2012 17:41                6971
132.runsolver.aptitude                             18-Jun-2012 17:29                8790
132.runsolver.cupt                                 18-Jun-2012 17:50               11226
132.runsolver.mpm                                  17-Sep-2012 15:46               11726
132.runsolver.smart                                21-Jun-2012 02:03               11241
133.cudf_sol_check.mpm                             22-Jun-2012 00:53                 165
133.runsolver.aptget                               18-Jun-2012 17:41                5358
133.runsolver.aptitude                             18-Jun-2012 17:29                9703
133.runsolver.cupt                                 18-Jun-2012 17:50               10705
133.runsolver.mpm                                  17-Sep-2012 15:46               10587
133.runsolver.smart                                21-Jun-2012 02:02               11234
134.cudf_sol_check.mpm                             22-Jun-2012 00:53                 165
134.runsolver.aptget                               18-Jun-2012 17:41                6426
134.runsolver.aptitude                             18-Jun-2012 17:29               11013
134.runsolver.cupt                                 18-Jun-2012 17:49                9608
134.runsolver.mpm                                  17-Sep-2012 15:46               11151
134.runsolver.smart                                21-Jun-2012 02:03               10674
135.cudf_sol_check.mpm                             22-Jun-2012 00:54                 165
135.runsolver.aptget                               18-Jun-2012 17:41                6435
135.runsolver.aptitude                             18-Jun-2012 17:29               10673
135.runsolver.cupt                                 18-Jun-2012 17:49               10926
135.runsolver.mpm                                  17-Sep-2012 15:46                9472
135.runsolver.smart                                21-Jun-2012 02:02               11242
136.cudf_sol_check.mpm                             22-Jun-2012 00:54                 165
136.runsolver.aptget                               18-Jun-2012 17:41                5355
136.runsolver.aptitude                             18-Jun-2012 17:29                9130
136.runsolver.cupt                                 18-Jun-2012 17:50               11252
136.runsolver.mpm                                  17-Sep-2012 15:46                9469
136.runsolver.smart                                21-Jun-2012 02:02               11251
137.cudf_sol_check.mpm                             22-Jun-2012 00:54                 165
137.runsolver.aptget                               18-Jun-2012 17:41                6977
137.runsolver.aptitude                             18-Jun-2012 17:29               11013
137.runsolver.cupt                                 18-Jun-2012 17:50               10889
137.runsolver.mpm                                  17-Sep-2012 15:46               12305
137.runsolver.smart                                21-Jun-2012 02:02               11229
138.cudf_sol_check.mpm                             22-Jun-2012 00:55                 165
138.runsolver.aptget                               18-Jun-2012 17:41                6986
138.runsolver.aptitude                             18-Jun-2012 17:29               10056
138.runsolver.cupt                                 18-Jun-2012 17:49               10881
138.runsolver.mpm                                  17-Sep-2012 15:46               10516
138.runsolver.smart                                21-Jun-2012 02:02               11199
139.cudf_sol_check.mpm                             22-Jun-2012 00:55                 165
139.runsolver.aptget                               18-Jun-2012 17:41                6416
139.runsolver.aptitude                             18-Jun-2012 17:29                6852
139.runsolver.cupt                                 18-Jun-2012 17:49               11169
139.runsolver.mpm                                  17-Sep-2012 15:46               17558
139.runsolver.smart                                21-Jun-2012 02:02               11223
14.cudf_sol_check.mpm                              22-Jun-2012 00:59                 164
14.runsolver.aptget                                18-Jun-2012 17:41                6977
14.runsolver.aptitude                              18-Jun-2012 17:29                8757
14.runsolver.cupt                                  18-Jun-2012 17:50                4760
14.runsolver.mpm                                   17-Sep-2012 15:46               19239
14.runsolver.smart                                 21-Jun-2012 02:02               11209
140.cudf_sol_check.mpm                             22-Jun-2012 00:56                 165
140.runsolver.aptget                               18-Jun-2012 17:41                6993
140.runsolver.aptitude                             18-Jun-2012 17:29               10089
140.runsolver.cupt                                 18-Jun-2012 17:50                9647
140.runsolver.mpm                                  17-Sep-2012 15:46               11747
140.runsolver.smart                                21-Jun-2012 02:02               11221
141.cudf_sol_check.mpm                             22-Jun-2012 00:56                 165
141.runsolver.aptget                               18-Jun-2012 17:41                5346
141.runsolver.aptitude                             18-Jun-2012 17:29               11007
141.runsolver.cupt                                 18-Jun-2012 17:50               10718
141.runsolver.mpm                                  17-Sep-2012 15:46               17012
141.runsolver.smart                                21-Jun-2012 02:03               11231
142.cudf_sol_check.mpm                             22-Jun-2012 00:56                 165
142.runsolver.aptget                               18-Jun-2012 17:41                6957
142.runsolver.aptitude                             18-Jun-2012 17:29               10066
142.runsolver.cupt                                 18-Jun-2012 17:50                9052
142.runsolver.mpm                                  17-Sep-2012 15:46               10019
142.runsolver.smart                                21-Jun-2012 02:02               11221
143.cudf_sol_check.mpm                             22-Jun-2012 00:57                 165
143.runsolver.aptget                               18-Jun-2012 17:41                6435
143.runsolver.aptitude                             18-Jun-2012 17:29               10682
143.runsolver.cupt                                 18-Jun-2012 17:49               12314
143.runsolver.mpm                                  17-Sep-2012 15:46               10583
143.runsolver.smart                                21-Jun-2012 02:02               10651
144.cudf_sol_check.mpm                             22-Jun-2012 00:57                 165
144.runsolver.aptget                               18-Jun-2012 17:41                6429
144.runsolver.aptitude                             18-Jun-2012 17:29               11006
144.runsolver.cupt                                 18-Jun-2012 17:50               11231
144.runsolver.mpm                                  17-Sep-2012 15:46                9460
144.runsolver.smart                                21-Jun-2012 02:03               11195
145.cudf_sol_check.mpm                             22-Jun-2012 00:58                 165
145.runsolver.aptget                               18-Jun-2012 17:41                6965
145.runsolver.aptitude                             18-Jun-2012 17:29                7805
145.runsolver.cupt                                 18-Jun-2012 17:49               12347
145.runsolver.mpm                                  17-Sep-2012 15:46               11726
145.runsolver.smart                                21-Jun-2012 02:03               11236
146.cudf_sol_check.mpm                             22-Jun-2012 00:58                 165
146.runsolver.aptget                               18-Jun-2012 17:41                6972
146.runsolver.aptitude                             18-Jun-2012 17:29               10659
146.runsolver.cupt                                 18-Jun-2012 17:50               10697
146.runsolver.mpm                                  17-Sep-2012 15:46               11723
146.runsolver.smart                                21-Jun-2012 02:02               11209
147.cudf_sol_check.mpm                             22-Jun-2012 00:58                 165
147.runsolver.aptget                               18-Jun-2012 17:41                6429
147.runsolver.aptitude                             18-Jun-2012 17:29                7821
147.runsolver.cupt                                 18-Jun-2012 17:50               12350
147.runsolver.mpm                                  17-Sep-2012 15:46               10043
147.runsolver.smart                                21-Jun-2012 02:03               11239
148.cudf_sol_check.mpm                             22-Jun-2012 00:59                 165
148.runsolver.aptget                               18-Jun-2012 17:41                5368
148.runsolver.aptitude                             18-Jun-2012 17:29                9704
148.runsolver.cupt                                 18-Jun-2012 17:49               13544
148.runsolver.mpm                                  17-Sep-2012 15:46               15936
148.runsolver.smart                                21-Jun-2012 02:03               11239
149.cudf_sol_check.mpm                             22-Jun-2012 00:59                 165
149.runsolver.aptget                               18-Jun-2012 17:41                5323
149.runsolver.aptitude                             18-Jun-2012 17:29               10087
149.runsolver.cupt                                 18-Jun-2012 17:49               12335
149.runsolver.mpm                                  17-Sep-2012 15:46               16937
149.runsolver.smart                                21-Jun-2012 02:02               11202
15.cudf_sol_check.aptitude                         18-Sep-2012 00:22                 155
15.cudf_sol_check.mpm                              22-Jun-2012 01:03                 164
15.runsolver.aptget                                18-Jun-2012 17:41                5362
15.runsolver.aptitude                              18-Jun-2012 17:29               13182
15.runsolver.cupt                                  18-Jun-2012 17:49               10898
15.runsolver.mpm                                   17-Sep-2012 15:46               17019
15.runsolver.smart                                 21-Jun-2012 02:02               11234
150.cudf_sol_check.mpm                             18-Sep-2012 00:19                1710
150.runsolver.aptget                               18-Jun-2012 17:42                5331
150.runsolver.aptitude                             18-Jun-2012 17:29               10083
150.runsolver.cupt                                 18-Jun-2012 17:49               10879
150.runsolver.mpm                                  17-Sep-2012 15:46               21538
150.runsolver.smart                                21-Jun-2012 02:03               11196
151.cudf_sol_check.mpm                             22-Jun-2012 01:00                 165
151.runsolver.aptget                               18-Jun-2012 17:41                5345
151.runsolver.aptitude                             18-Jun-2012 17:29                9731
151.runsolver.cupt                                 18-Jun-2012 17:50               13995
151.runsolver.mpm                                  17-Sep-2012 15:46               15297
151.runsolver.smart                                21-Jun-2012 02:02               11222
152.cudf_sol_check.mpm                             22-Jun-2012 01:00                 165
152.runsolver.aptget                               18-Jun-2012 17:42                5265
152.runsolver.aptitude                             18-Jun-2012 17:29               10089
152.runsolver.cupt                                 18-Jun-2012 17:50               12338
152.runsolver.mpm                                  17-Sep-2012 15:46               16996
152.runsolver.smart                                21-Jun-2012 02:02               11227
153.cudf_sol_check.aptget                          18-Sep-2012 00:20                 126
153.cudf_sol_check.aptitude                        18-Sep-2012 00:20                 155
153.cudf_sol_check.mpm                             18-Sep-2012 00:20                1710
153.runsolver.aptget                               18-Jun-2012 17:41                6974
153.runsolver.aptitude                             18-Jun-2012 17:29               12235
153.runsolver.cupt                                 18-Jun-2012 17:49               10897
153.runsolver.mpm                                  17-Sep-2012 15:46               21893
153.runsolver.smart                                21-Jun-2012 02:03               10673
154.cudf_sol_check.mpm                             22-Jun-2012 01:01                 165
154.runsolver.aptget                               18-Jun-2012 17:42                6980
154.runsolver.aptitude                             18-Jun-2012 17:29                8377
154.runsolver.cupt                                 18-Jun-2012 17:50               11218
154.runsolver.mpm                                  17-Sep-2012 15:46               11721
154.runsolver.smart                                21-Jun-2012 02:03               11220
155.cudf_sol_check.mpm                             22-Jun-2012 01:01                 165
155.runsolver.aptget                               18-Jun-2012 17:41                6986
155.runsolver.aptitude                             18-Jun-2012 17:29               10105
155.runsolver.cupt                                 18-Jun-2012 17:49               11243
155.runsolver.mpm                                  17-Sep-2012 15:46               11164
155.runsolver.smart                                21-Jun-2012 02:02               11233
156.cudf_sol_check.mpm                             18-Sep-2012 00:21                1710
156.runsolver.aptget                               18-Jun-2012 17:41                4800
156.runsolver.aptitude                             18-Jun-2012 17:29               10095
156.runsolver.cupt                                 18-Jun-2012 17:50               10698
156.runsolver.mpm                                  17-Sep-2012 15:46               21485
156.runsolver.smart                                21-Jun-2012 02:02               11221
157.cudf_sol_check.mpm                             22-Jun-2012 01:02                 165
157.runsolver.aptget                               18-Jun-2012 17:41                5359
157.runsolver.aptitude                             18-Jun-2012 17:29                8233
157.runsolver.cupt                                 18-Jun-2012 17:50               10926
157.runsolver.mpm                                  17-Sep-2012 15:46               15800
157.runsolver.smart                                21-Jun-2012 02:02               11267
158.cudf_sol_check.mpm                             22-Jun-2012 01:02                 165
158.runsolver.aptget                               18-Jun-2012 17:41                5339
158.runsolver.aptitude                             18-Jun-2012 17:29                8792
158.runsolver.cupt                                 18-Jun-2012 17:50               12891
158.runsolver.mpm                                  17-Sep-2012 15:46               16952
158.runsolver.smart                                21-Jun-2012 02:03               11244
159.cudf_sol_check.mpm                             22-Jun-2012 01:02                 165
159.runsolver.aptget                               18-Jun-2012 17:41                5368
159.runsolver.aptitude                             18-Jun-2012 17:29               11055
159.runsolver.cupt                                 18-Jun-2012 17:49               11246
159.runsolver.mpm                                  17-Sep-2012 15:46               17012
159.runsolver.smart                                21-Jun-2012 02:03               11247
16.cudf_sol_check.mpm                              22-Jun-2012 01:04                 164
16.runsolver.aptget                                18-Jun-2012 17:41                6464
16.runsolver.aptitude                              18-Jun-2012 17:29                8959
16.runsolver.cupt                                  18-Jun-2012 17:50                4766
16.runsolver.mpm                                   17-Sep-2012 15:46               16959
16.runsolver.smart                                 21-Jun-2012 02:03               11239
160.cudf_sol_check.aptitude                        18-Sep-2012 00:22                 110
160.cudf_sol_check.mpm                             22-Jun-2012 01:03                 165
160.runsolver.aptget                               18-Jun-2012 17:41                5326
160.runsolver.aptitude                             18-Jun-2012 17:29               11017
160.runsolver.cupt                                 18-Jun-2012 17:49               12892
160.runsolver.mpm                                  17-Sep-2012 15:46               16326
160.runsolver.smart                                21-Jun-2012 02:03               11225
161.cudf_sol_check.mpm                             22-Jun-2012 01:03                 165
161.runsolver.aptget                               18-Jun-2012 17:41                6431
161.runsolver.aptitude                             18-Jun-2012 17:29                9123
161.runsolver.cupt                                 18-Jun-2012 17:50               10911
161.runsolver.mpm                                  17-Sep-2012 15:46               14343
161.runsolver.smart                                21-Jun-2012 02:03               10673
162.cudf_sol_check.aptget                          18-Sep-2012 00:23                 195
162.cudf_sol_check.aptitude                        18-Sep-2012 00:23                 133
162.cudf_sol_check.mpm                             18-Sep-2012 00:23                1710
162.runsolver.aptget                               18-Jun-2012 17:41                6964
162.runsolver.aptitude                             18-Jun-2012 17:29               10642
162.runsolver.cupt                                 18-Jun-2012 17:50               12345
162.runsolver.mpm                                  17-Sep-2012 15:46               21475
162.runsolver.smart                                21-Jun-2012 02:02               11234
17.cudf_sol_check.mpm                              22-Jun-2012 01:04                 164
17.runsolver.aptget                                18-Jun-2012 17:41                6458
17.runsolver.aptitude                              18-Jun-2012 17:29               10100
17.runsolver.cupt                                  18-Jun-2012 17:49               10928
17.runsolver.mpm                                   17-Sep-2012 15:46               18353
17.runsolver.smart                                 21-Jun-2012 02:03               11278
18.cudf_sol_check.aptitude                         18-Sep-2012 00:24                 120
18.cudf_sol_check.mpm                              22-Jun-2012 01:05                 164
18.runsolver.aptget                                18-Jun-2012 17:41                5354
18.runsolver.aptitude                              18-Jun-2012 17:29               13904
18.runsolver.cupt                                  18-Jun-2012 17:50               10906
18.runsolver.mpm                                   17-Sep-2012 15:46               16302
18.runsolver.smart                                 21-Jun-2012 02:02               11230
19.cudf_sol_check.mpm                              22-Jun-2012 01:05                 164
19.runsolver.aptget                                18-Jun-2012 17:42                6997
19.runsolver.aptitude                              18-Jun-2012 17:29               13531
19.runsolver.cupt                                  18-Jun-2012 17:50               12349
19.runsolver.mpm                                   17-Sep-2012 15:46               17578
19.runsolver.smart                                 21-Jun-2012 02:02               11205
2.cudf_sol_check.aptitude                          18-Sep-2012 00:28                 155
2.cudf_sol_check.mpm                               22-Jun-2012 01:09                 163
2.runsolver.aptget                                 18-Jun-2012 17:41                5339
2.runsolver.aptitude                               18-Jun-2012 17:29               11791
2.runsolver.cupt                                   18-Jun-2012 17:50               10876
2.runsolver.mpm                                    17-Sep-2012 15:46               15116
2.runsolver.smart                                  21-Jun-2012 02:03               11211
20.cudf_sol_check.mpm                              22-Jun-2012 01:06                 164
20.runsolver.aptget                                18-Jun-2012 17:41                7533
20.runsolver.aptitude                              18-Jun-2012 17:29               13892
20.runsolver.cupt                                  18-Jun-2012 17:50                4756
20.runsolver.mpm                                   17-Sep-2012 15:46               16394
20.runsolver.smart                                 21-Jun-2012 02:02               11211
21.cudf_sol_check.aptitude                         18-Sep-2012 00:26                 155
21.cudf_sol_check.mpm                              22-Jun-2012 01:06                 164
21.runsolver.aptget                                18-Jun-2012 17:41                5357
21.runsolver.aptitude                              18-Jun-2012 17:29               13196
21.runsolver.cupt                                  18-Jun-2012 17:50               10903
21.runsolver.mpm                                   17-Sep-2012 15:46               16398
21.runsolver.smart                                 21-Jun-2012 02:03               11203
22.cudf_sol_check.aptitude                         18-Sep-2012 00:26                 155
22.cudf_sol_check.mpm                              24-Jun-2012 18:18                 157
22.runsolver.aptget                                18-Jun-2012 17:41                5352
22.runsolver.aptitude                              18-Jun-2012 17:29               12402
22.runsolver.cupt                                  18-Jun-2012 17:50               10897
22.runsolver.mpm                                   17-Sep-2012 15:46               17560
22.runsolver.smart                                 21-Jun-2012 02:02               11210
23.cudf_sol_check.aptitude                         18-Sep-2012 00:26                 155
23.cudf_sol_check.mpm                              22-Jun-2012 01:07                 164
23.runsolver.aptget                                18-Jun-2012 17:41                6984
23.runsolver.aptitude                              18-Jun-2012 17:29               12129
23.runsolver.cupt                                  18-Jun-2012 17:49               10888
23.runsolver.mpm                                   17-Sep-2012 15:46               17562
23.runsolver.smart                                 21-Jun-2012 02:02               11211
24.cudf_sol_check.aptitude                         18-Sep-2012 00:27                 110
24.cudf_sol_check.mpm                              22-Jun-2012 01:07                 164
24.runsolver.aptget                                18-Jun-2012 17:41                5323
24.runsolver.aptitude                              18-Jun-2012 17:29               10891
24.runsolver.cupt                                  18-Jun-2012 17:50                4751
24.runsolver.mpm                                   17-Sep-2012 15:46               16611
24.runsolver.smart                                 21-Jun-2012 02:02               11185
25.cudf_sol_check.aptitude                         18-Sep-2012 00:27                 124
25.cudf_sol_check.mpm                              22-Jun-2012 01:07                 164
25.runsolver.aptget                                18-Jun-2012 17:41                5368
25.runsolver.aptitude                              18-Jun-2012 17:29               13532
25.runsolver.cupt                                  18-Jun-2012 17:49               11804
25.runsolver.mpm                                   17-Sep-2012 15:46               17561
25.runsolver.smart                                 21-Jun-2012 02:03               11229
26.cudf_sol_check.aptitude                         18-Sep-2012 00:27                 155
26.cudf_sol_check.mpm                              22-Jun-2012 01:08                 164
26.runsolver.aptget                                18-Jun-2012 17:41                7517
26.runsolver.aptitude                              18-Jun-2012 17:29               13162
26.runsolver.cupt                                  18-Jun-2012 17:50               10883
26.runsolver.mpm                                   17-Sep-2012 15:46               18208
26.runsolver.smart                                 21-Jun-2012 02:03               10660
27.cudf_sol_check.aptitude                         18-Sep-2012 00:28                 111
27.cudf_sol_check.mpm                              22-Jun-2012 01:08                 164
27.runsolver.aptget                                18-Jun-2012 17:41                5357
27.runsolver.aptitude                              18-Jun-2012 17:29               14701
27.runsolver.cupt                                  18-Jun-2012 17:50               11231
27.runsolver.mpm                                   17-Sep-2012 15:46               18046
27.runsolver.smart                                 21-Jun-2012 02:02               11208
28.cudf_sol_check.aptitude                         18-Sep-2012 00:28                 155
28.cudf_sol_check.mpm                              24-Jun-2012 18:20                 183
28.runsolver.aptget                                18-Jun-2012 17:41                5376
28.runsolver.aptitude                              18-Jun-2012 17:29               13184
28.runsolver.cupt                                  18-Jun-2012 17:49               10718
28.runsolver.mpm                                   17-Sep-2012 15:46               15756
28.runsolver.smart                                 21-Jun-2012 02:03               11237
29.cudf_sol_check.aptitude                         18-Sep-2012 00:28                 155
29.cudf_sol_check.mpm                              22-Jun-2012 01:08                 164
29.runsolver.aptget                                18-Jun-2012 17:41                5346
29.runsolver.aptitude                              18-Jun-2012 17:29               11454
29.runsolver.cupt                                  18-Jun-2012 17:50               12907
29.runsolver.mpm                                   17-Sep-2012 15:46               16560
29.runsolver.smart                                 21-Jun-2012 02:02               11237
3.cudf_sol_check.mpm                               22-Jun-2012 01:12                 163
3.runsolver.aptget                                 18-Jun-2012 17:41                6975
3.runsolver.aptitude                               18-Jun-2012 17:29                8836
3.runsolver.cupt                                   18-Jun-2012 17:49                4740
3.runsolver.mpm                                    17-Sep-2012 15:46               16313
3.runsolver.smart                                  21-Jun-2012 02:03               11199
30.cudf_sol_check.mpm                              22-Jun-2012 01:09                 164
30.runsolver.aptget                                18-Jun-2012 17:41                6986
30.runsolver.aptitude                              18-Jun-2012 17:29                9030
30.runsolver.cupt                                  18-Jun-2012 17:50               10893
30.runsolver.mpm                                   17-Sep-2012 15:46               17616
30.runsolver.smart                                 21-Jun-2012 02:03               11243
31.cudf_sol_check.mpm                              22-Jun-2012 01:09                 164
31.runsolver.aptget                                18-Jun-2012 17:41                5366
31.runsolver.aptitude                              18-Jun-2012 17:29               13566
31.runsolver.cupt                                  18-Jun-2012 17:49               12904
31.runsolver.mpm                                   17-Sep-2012 15:46               16004
31.runsolver.smart                                 21-Jun-2012 02:02               11229
32.cudf_sol_check.mpm                              22-Jun-2012 01:10                 164
32.runsolver.aptget                                18-Jun-2012 17:41                7534
32.runsolver.aptitude                              18-Jun-2012 17:29               14517
32.runsolver.cupt                                  18-Jun-2012 17:50               10884
32.runsolver.mpm                                   17-Sep-2012 15:46               15979
32.runsolver.smart                                 21-Jun-2012 02:02               11220
33.cudf_sol_check.aptitude                         18-Sep-2012 00:30                 120
33.cudf_sol_check.mpm                              22-Jun-2012 01:10                 164
33.runsolver.aptget                                18-Jun-2012 17:41                5350
33.runsolver.aptitude                              18-Jun-2012 17:29               16802
33.runsolver.cupt                                  18-Jun-2012 17:50               10900
33.runsolver.mpm                                   17-Sep-2012 15:46               17028
33.runsolver.smart                                 21-Jun-2012 02:02               10684
34.cudf_sol_check.mpm                              22-Jun-2012 01:10                 164
34.runsolver.aptget                                18-Jun-2012 17:41                7525
34.runsolver.aptitude                              18-Jun-2012 17:29               14884
34.runsolver.cupt                                  18-Jun-2012 17:49               12892
34.runsolver.mpm                                   17-Sep-2012 15:46               17014
34.runsolver.smart                                 21-Jun-2012 02:02               11215
35.cudf_sol_check.aptitude                         18-Sep-2012 00:30                 120
35.cudf_sol_check.mpm                              22-Jun-2012 01:11                 164
35.runsolver.aptget                                18-Jun-2012 17:41                5343
35.runsolver.aptitude                              18-Jun-2012 17:29               13570
35.runsolver.cupt                                  18-Jun-2012 17:50               10895
35.runsolver.mpm                                   17-Sep-2012 15:46               16407
35.runsolver.smart                                 21-Jun-2012 02:03               11231
36.cudf_sol_check.aptitude                         18-Sep-2012 00:31                 115
36.cudf_sol_check.mpm                              22-Jun-2012 01:11                 164
36.runsolver.aptget                                18-Jun-2012 17:41                5360
36.runsolver.aptitude                              18-Jun-2012 17:29               13540
36.runsolver.cupt                                  18-Jun-2012 17:50               10915
36.runsolver.mpm                                   17-Sep-2012 15:46               17046
36.runsolver.smart                                 21-Jun-2012 02:03               11241
37.cudf_sol_check.aptitude                         18-Sep-2012 00:31                 155
37.cudf_sol_check.mpm                              22-Jun-2012 01:11                 164
37.runsolver.aptget                                18-Jun-2012 17:41                7537
37.runsolver.aptitude                              18-Jun-2012 17:29               12215
37.runsolver.cupt                                  18-Jun-2012 17:50               12370
37.runsolver.mpm                                   17-Sep-2012 15:46               16993
37.runsolver.smart                                 21-Jun-2012 02:02               11271
38.cudf_sol_check.mpm                              22-Jun-2012 01:12                 164
38.runsolver.aptget                                18-Jun-2012 17:41                7544
38.runsolver.aptitude                              18-Jun-2012 17:29               14172
38.runsolver.cupt                                  18-Jun-2012 17:49               11251
38.runsolver.mpm                                   17-Sep-2012 15:46               17017
38.runsolver.smart                                 21-Jun-2012 02:03               11240
39.cudf_sol_check.aptitude                         18-Sep-2012 00:32                 121
39.cudf_sol_check.mpm                              22-Jun-2012 01:12                 164
39.runsolver.aptget                                18-Jun-2012 17:41                4798
39.runsolver.aptitude                              18-Jun-2012 17:29               13913
39.runsolver.cupt                                  18-Jun-2012 17:50               11241
39.runsolver.mpm                                   17-Sep-2012 15:46               17597
39.runsolver.smart                                 21-Jun-2012 02:03               11236
4.cudf_sol_check.mpm                               22-Jun-2012 01:16                 163
4.runsolver.aptget                                 18-Jun-2012 17:41                7519
4.runsolver.aptitude                               18-Jun-2012 17:29               13551
4.runsolver.cupt                                   18-Jun-2012 17:50               10883
4.runsolver.mpm                                    17-Sep-2012 15:46               15767
4.runsolver.smart                                  21-Jun-2012 02:03               11209
40.cudf_sol_check.mpm                              22-Jun-2012 01:13                 164
40.runsolver.aptget                                18-Jun-2012 17:41                8086
40.runsolver.aptitude                              18-Jun-2012 17:29               14871
40.runsolver.cupt                                  18-Jun-2012 17:49               10389
40.runsolver.mpm                                   17-Sep-2012 15:46               18633
40.runsolver.smart                                 21-Jun-2012 02:03               11234
41.cudf_sol_check.aptitude                         18-Sep-2012 00:33                 104
41.cudf_sol_check.mpm                              22-Jun-2012 01:13                 164
41.runsolver.aptget                                18-Jun-2012 17:41                6996
41.runsolver.aptitude                              18-Jun-2012 17:29               16769
41.runsolver.cupt                                  18-Jun-2012 17:50               10905
41.runsolver.mpm                                   17-Sep-2012 15:46               18034
41.runsolver.smart                                 21-Jun-2012 02:02               11221
42.cudf_sol_check.aptitude                         18-Sep-2012 00:33                 107
42.cudf_sol_check.mpm                              22-Jun-2012 01:13                 164
42.runsolver.aptget                                18-Jun-2012 17:41                4271
42.runsolver.aptitude                              18-Jun-2012 17:29                9093
42.runsolver.cupt                                  18-Jun-2012 17:50                4778
42.runsolver.mpm                                   17-Sep-2012 15:46               17774
42.runsolver.smart                                 21-Jun-2012 02:02               11241
43.cudf_sol_check.aptitude                         18-Sep-2012 00:34                 155
43.cudf_sol_check.mpm                              22-Jun-2012 01:14                 164
43.runsolver.aptget                                18-Jun-2012 17:41                6974
43.runsolver.aptitude                              18-Jun-2012 17:29               13160
43.runsolver.cupt                                  18-Jun-2012 17:50               10692
43.runsolver.mpm                                   17-Sep-2012 15:46               16317
43.runsolver.smart                                 21-Jun-2012 02:03               11211
44.cudf_sol_check.mpm                              22-Jun-2012 01:14                 164
44.runsolver.aptget                                18-Jun-2012 17:41                6473
44.runsolver.aptitude                              18-Jun-2012 17:29               10239
44.runsolver.cupt                                  18-Jun-2012 17:50                4787
44.runsolver.mpm                                   17-Sep-2012 15:46               15635
44.runsolver.smart                                 21-Jun-2012 02:03               11222
45.cudf_sol_check.aptitude                         18-Sep-2012 00:34                 157
45.cudf_sol_check.mpm                              22-Jun-2012 01:15                 164
45.runsolver.aptget                                18-Jun-2012 17:42                5360
45.runsolver.aptitude                              18-Jun-2012 17:29               12217
45.runsolver.cupt                                  18-Jun-2012 17:50               10692
45.runsolver.mpm                                   17-Sep-2012 15:46               17484
45.runsolver.smart                                 21-Jun-2012 02:03               11245
46.cudf_sol_check.aptitude                         18-Sep-2012 00:35                 155
46.cudf_sol_check.mpm                              22-Jun-2012 01:15                 164
46.runsolver.aptget                                18-Jun-2012 17:41                6986
46.runsolver.aptitude                              18-Jun-2012 17:29               12381
46.runsolver.cupt                                  18-Jun-2012 17:49               10899
46.runsolver.mpm                                   17-Sep-2012 15:46               17324
46.runsolver.smart                                 21-Jun-2012 02:03               11222
47.cudf_sol_check.aptitude                         18-Sep-2012 00:35                 107
47.cudf_sol_check.mpm                              22-Jun-2012 01:15                 164
47.runsolver.aptget                                18-Jun-2012 17:41                5331
47.runsolver.aptitude                              18-Jun-2012 17:29               13164
47.runsolver.cupt                                  18-Jun-2012 17:50                4755
47.runsolver.mpm                                   17-Sep-2012 15:46               16959
47.runsolver.smart                                 21-Jun-2012 02:02               11217
48.cudf_sol_check.aptitude                         18-Sep-2012 00:36                 127
48.cudf_sol_check.mpm                              22-Jun-2012 01:16                 164
48.runsolver.aptget                                18-Jun-2012 17:41                7532
48.runsolver.aptitude                              18-Jun-2012 17:29               14864
48.runsolver.cupt                                  18-Jun-2012 17:50               11815
48.runsolver.mpm                                   17-Sep-2012 15:46               15779
48.runsolver.smart                                 21-Jun-2012 02:03               11245
49.cudf_sol_check.aptitude                         18-Sep-2012 00:36                 155
49.cudf_sol_check.mpm                              22-Jun-2012 01:16                 164
49.runsolver.aptget                                18-Jun-2012 17:41                7530
49.runsolver.aptitude                              18-Jun-2012 17:29               13161
49.runsolver.cupt                                  18-Jun-2012 17:50               10915
49.runsolver.mpm                                   17-Sep-2012 15:46               16927
49.runsolver.smart                                 21-Jun-2012 02:03               11213
5.cudf_sol_check.mpm                               22-Jun-2012 01:20                 163
5.runsolver.aptget                                 18-Jun-2012 17:41                5357
5.runsolver.aptitude                               18-Jun-2012 17:29               13535
5.runsolver.cupt                                   18-Jun-2012 17:50               13464
5.runsolver.mpm                                    17-Sep-2012 15:46               16337
5.runsolver.smart                                  21-Jun-2012 02:03               11261
50.cudf_sol_check.aptitude                         18-Sep-2012 00:37                 155
50.cudf_sol_check.mpm                              22-Jun-2012 01:17                 164
50.runsolver.aptget                                18-Jun-2012 17:42                4797
50.runsolver.aptitude                              18-Jun-2012 17:29               11443
50.runsolver.cupt                                  18-Jun-2012 17:50               10697
50.runsolver.mpm                                   17-Sep-2012 15:46               19128
50.runsolver.smart                                 21-Jun-2012 02:02               11197
51.cudf_sol_check.aptitude                         18-Sep-2012 00:37                 124
51.cudf_sol_check.mpm                              22-Jun-2012 01:17                 164
51.runsolver.aptget                                18-Jun-2012 17:41                5372
51.runsolver.aptitude                              18-Jun-2012 17:29               13801
51.runsolver.cupt                                  18-Jun-2012 17:49               11168
51.runsolver.mpm                                   17-Sep-2012 15:46               15345
51.runsolver.smart                                 21-Jun-2012 02:02               11240
52.cudf_sol_check.mpm                              22-Jun-2012 01:17                 164
52.runsolver.aptget                                18-Jun-2012 17:41                4830
52.runsolver.aptitude                              18-Jun-2012 17:29               13906
52.runsolver.cupt                                  18-Jun-2012 17:50               10903
52.runsolver.mpm                                   17-Sep-2012 15:46               16936
52.runsolver.smart                                 21-Jun-2012 02:02               11256
53.cudf_sol_check.aptitude                         18-Sep-2012 00:37                 155
53.cudf_sol_check.mpm                              22-Jun-2012 01:17                 164
53.runsolver.aptget                                18-Jun-2012 17:41                5350
53.runsolver.aptitude                              18-Jun-2012 17:29               13178
53.runsolver.cupt                                  18-Jun-2012 17:50               10704
53.runsolver.mpm                                   17-Sep-2012 15:46               17274
53.runsolver.smart                                 21-Jun-2012 02:03               11248
54.cudf_sol_check.mpm                              22-Jun-2012 01:18                 164
54.runsolver.aptget                                18-Jun-2012 17:41                8109
54.runsolver.aptitude                              18-Jun-2012 17:29               18309
54.runsolver.cupt                                  18-Jun-2012 17:49               11842
54.runsolver.mpm                                   17-Sep-2012 15:46               18294
54.runsolver.smart                                 21-Jun-2012 02:03               11273
55.cudf_sol_check.mpm                              22-Jun-2012 01:18                 164
55.runsolver.aptget                                18-Jun-2012 17:41                7554
55.runsolver.aptitude                              18-Jun-2012 17:29               13542
55.runsolver.cupt                                  18-Jun-2012 17:50               10718
55.runsolver.mpm                                   17-Sep-2012 15:46               17986
55.runsolver.smart                                 21-Jun-2012 02:03               10713
56.cudf_sol_check.mpm                              22-Jun-2012 01:19                 164
56.runsolver.aptget                                18-Jun-2012 17:41                4843
56.runsolver.aptitude                              18-Jun-2012 17:29                5019
56.runsolver.cupt                                  18-Jun-2012 17:49                4782
56.runsolver.mpm                                   17-Sep-2012 15:46               16388
56.runsolver.smart                                 21-Jun-2012 02:02                8104
57.cudf_sol_check.mpm                              22-Jun-2012 01:19                 164
57.runsolver.aptget                                18-Jun-2012 17:41                7563
57.runsolver.aptitude                              18-Jun-2012 17:29               13541
57.runsolver.cupt                                  18-Jun-2012 17:50                4769
57.runsolver.mpm                                   17-Sep-2012 15:46               15769
57.runsolver.smart                                 21-Jun-2012 02:02               11224
58.cudf_sol_check.aptitude                         18-Sep-2012 00:39                 126
58.cudf_sol_check.mpm                              22-Jun-2012 01:20                 164
58.runsolver.aptget                                18-Jun-2012 17:41                5340
58.runsolver.aptitude                              18-Jun-2012 17:29               14851
58.runsolver.cupt                                  18-Jun-2012 17:49               12868
58.runsolver.mpm                                   17-Sep-2012 15:46               16950
58.runsolver.smart                                 21-Jun-2012 02:03               11239
59.cudf_sol_check.aptitude                         18-Sep-2012 00:40                 111
59.cudf_sol_check.mpm                              22-Jun-2012 01:20                 164
59.runsolver.aptget                                18-Jun-2012 17:41                5325
59.runsolver.aptitude                              18-Jun-2012 17:29               15437
59.runsolver.cupt                                  18-Jun-2012 17:50               11219
59.runsolver.mpm                                   17-Sep-2012 15:46               15734
59.runsolver.smart                                 21-Jun-2012 02:03               11237
6.cudf_sol_check.aptitude                          18-Sep-2012 00:44                 111
6.cudf_sol_check.mpm                               22-Jun-2012 01:24                 163
6.runsolver.aptget                                 18-Jun-2012 17:42                5339
6.runsolver.aptitude                               18-Jun-2012 17:29               15790
6.runsolver.cupt                                   18-Jun-2012 17:50               10881
6.runsolver.mpm                                    17-Sep-2012 15:46               16366
6.runsolver.smart                                  21-Jun-2012 02:03               11206
60.cudf_sol_check.mpm                              22-Jun-2012 01:20                 164
60.runsolver.aptget                                18-Jun-2012 17:41                5350
60.runsolver.aptitude                              18-Jun-2012 17:29               13509
60.runsolver.cupt                                  18-Jun-2012 17:49               12877
60.runsolver.mpm                                   17-Sep-2012 15:46               18496
60.runsolver.smart                                 21-Jun-2012 02:03               10634
61.cudf_sol_check.mpm                              22-Jun-2012 01:21                 164
61.runsolver.aptget                                18-Jun-2012 17:41                8058
61.runsolver.aptitude                              18-Jun-2012 17:29               14467
61.runsolver.cupt                                  18-Jun-2012 17:50               10688
61.runsolver.mpm                                   17-Sep-2012 15:46               18595
61.runsolver.smart                                 21-Jun-2012 02:03               11215
62.cudf_sol_check.aptitude                         18-Sep-2012 00:41                 155
62.cudf_sol_check.mpm                              22-Jun-2012 01:21                 164
62.runsolver.aptget                                18-Jun-2012 17:42                7531
62.runsolver.aptitude                              18-Jun-2012 17:29               12210
62.runsolver.cupt                                  18-Jun-2012 17:50                4771
62.runsolver.mpm                                   17-Sep-2012 15:46               17017
62.runsolver.smart                                 21-Jun-2012 02:02               11241
63.cudf_sol_check.aptitude                         18-Sep-2012 00:41                 124
63.cudf_sol_check.mpm                              22-Jun-2012 01:22                 164
63.runsolver.aptget                                18-Jun-2012 17:41                5356
63.runsolver.aptitude                              18-Jun-2012 17:29               13751
63.runsolver.cupt                                  18-Jun-2012 17:49               10897
63.runsolver.mpm                                   17-Sep-2012 15:46               17961
63.runsolver.smart                                 21-Jun-2012 02:02               11211
64.cudf_sol_check.mpm                              22-Jun-2012 01:22                 164
64.runsolver.aptget                                18-Jun-2012 17:42                5388
64.runsolver.aptitude                              18-Jun-2012 17:29                7768
64.runsolver.cupt                                  18-Jun-2012 17:50               11826
64.runsolver.mpm                                   17-Sep-2012 15:46               18278
64.runsolver.smart                                 21-Jun-2012 02:02               11251
65.cudf_sol_check.aptitude                         18-Sep-2012 00:42                 155
65.cudf_sol_check.mpm                              22-Jun-2012 01:22                 164
65.runsolver.aptget                                18-Jun-2012 17:41                5353
65.runsolver.aptitude                              18-Jun-2012 17:29               13189
65.runsolver.cupt                                  18-Jun-2012 17:50               10373
65.runsolver.mpm                                   17-Sep-2012 15:46               16133
65.runsolver.smart                                 21-Jun-2012 02:02               11252
66.cudf_sol_check.aptitude                         18-Sep-2012 00:42                 143
66.cudf_sol_check.mpm                              22-Jun-2012 01:22                 164
66.runsolver.aptget                                18-Jun-2012 17:41                5336
66.runsolver.aptitude                              18-Jun-2012 17:29               18878
66.runsolver.cupt                                  18-Jun-2012 17:49                4752
66.runsolver.mpm                                   17-Sep-2012 15:46               16387
66.runsolver.smart                                 21-Jun-2012 02:02               10690
67.cudf_sol_check.mpm                              22-Jun-2012 01:23                 164
67.runsolver.aptget                                18-Jun-2012 17:41                6444
67.runsolver.aptitude                              18-Jun-2012 17:29                9446
67.runsolver.cupt                                  18-Jun-2012 17:49                4767
67.runsolver.mpm                                   17-Sep-2012 15:46               17007
67.runsolver.smart                                 21-Jun-2012 02:02               11214
68.cudf_sol_check.aptitude                         18-Sep-2012 00:43                 155
68.cudf_sol_check.mpm                              22-Jun-2012 01:23                 164
68.runsolver.aptget                                18-Jun-2012 17:41                6968
68.runsolver.aptitude                              18-Jun-2012 17:29               12187
68.runsolver.cupt                                  18-Jun-2012 17:49                4751
68.runsolver.mpm                                   17-Sep-2012 15:46               16090
68.runsolver.smart                                 21-Jun-2012 02:03               11216
69.cudf_sol_check.aptitude                         18-Sep-2012 00:43                 155
69.cudf_sol_check.mpm                              22-Jun-2012 01:24                 164
69.runsolver.aptget                                18-Jun-2012 17:41                4817
69.runsolver.aptitude                              18-Jun-2012 17:29               12427
69.runsolver.cupt                                  18-Jun-2012 17:50               10905
69.runsolver.mpm                                   17-Sep-2012 15:46               16377
69.runsolver.smart                                 21-Jun-2012 02:03               11254
7.cudf_sol_check.aptitude                          18-Sep-2012 00:48                 155
7.cudf_sol_check.mpm                               22-Jun-2012 01:28                 163
7.runsolver.aptget                                 18-Jun-2012 17:41                5380
7.runsolver.aptitude                               18-Jun-2012 17:29               13204
7.runsolver.cupt                                   18-Jun-2012 17:49               10725
7.runsolver.mpm                                    17-Sep-2012 15:46               16970
7.runsolver.smart                                  21-Jun-2012 02:02               10706
70.cudf_sol_check.aptitude                         18-Sep-2012 00:44                 155
70.cudf_sol_check.mpm                              22-Jun-2012 01:24                 164
70.runsolver.aptget                                18-Jun-2012 17:41                6996
70.runsolver.aptitude                              18-Jun-2012 17:29               12432
70.runsolver.cupt                                  18-Jun-2012 17:49               10911
70.runsolver.mpm                                   17-Sep-2012 15:46               18586
70.runsolver.smart                                 21-Jun-2012 02:02               11234
71.cudf_sol_check.mpm                              22-Jun-2012 01:25                 164
71.runsolver.aptget                                18-Jun-2012 17:41                7534
71.runsolver.aptitude                              18-Jun-2012 17:29               11835
71.runsolver.cupt                                  18-Jun-2012 17:50               10678
71.runsolver.mpm                                   17-Sep-2012 15:46               16648
71.runsolver.smart                                 21-Jun-2012 02:02               11193
72.cudf_sol_check.mpm                              22-Jun-2012 01:25                 164
72.runsolver.aptget                                18-Jun-2012 17:41                6433
72.runsolver.aptitude                              18-Jun-2012 17:29                8174
72.runsolver.cupt                                  18-Jun-2012 17:49                4758
72.runsolver.mpm                                   17-Sep-2012 15:46               18871
72.runsolver.smart                                 21-Jun-2012 02:03               11236
73.cudf_sol_check.aptitude                         18-Sep-2012 00:45                 108
73.cudf_sol_check.mpm                              22-Jun-2012 01:26                 164
73.runsolver.aptget                                18-Jun-2012 17:42                6999
73.runsolver.aptitude                              18-Jun-2012 17:29               15464
73.runsolver.cupt                                  18-Jun-2012 17:50               10915
73.runsolver.mpm                                   17-Sep-2012 15:46               17317
73.runsolver.smart                                 21-Jun-2012 02:02               11232
74.cudf_sol_check.aptitude                         18-Sep-2012 00:46                 117
74.cudf_sol_check.mpm                              22-Jun-2012 01:26                 164
74.runsolver.aptget                                18-Jun-2012 17:41                5350
74.runsolver.aptitude                              18-Jun-2012 17:29               14488
74.runsolver.cupt                                  18-Jun-2012 17:50               10169
74.runsolver.mpm                                   17-Sep-2012 15:46               17521
74.runsolver.smart                                 21-Jun-2012 02:02               11210
75.cudf_sol_check.mpm                              22-Jun-2012 01:26                 164
75.runsolver.aptget                                18-Jun-2012 17:41                7555
75.runsolver.aptitude                              18-Jun-2012 17:29               13556
75.runsolver.cupt                                  18-Jun-2012 17:50                4785
75.runsolver.mpm                                   17-Sep-2012 15:46               18011
75.runsolver.smart                                 21-Jun-2012 02:02               11248
76.cudf_sol_check.aptitude                         18-Sep-2012 00:46                 108
76.cudf_sol_check.mpm                              22-Jun-2012 01:27                 164
76.runsolver.aptget                                18-Jun-2012 17:41                5358
76.runsolver.aptitude                              18-Jun-2012 17:29               14512
76.runsolver.cupt                                  18-Jun-2012 17:49               10909
76.runsolver.mpm                                   17-Sep-2012 15:46               16328
76.runsolver.smart                                 21-Jun-2012 02:02               11219
77.cudf_sol_check.mpm                              22-Jun-2012 01:27                 164
77.runsolver.aptget                                18-Jun-2012 17:41                6467
77.runsolver.aptitude                              18-Jun-2012 17:29                9161
77.runsolver.cupt                                  18-Jun-2012 17:49                4359
77.runsolver.mpm                                   17-Sep-2012 15:46               17569
77.runsolver.smart                                 21-Jun-2012 02:02               11230
78.cudf_sol_check.aptitude                         18-Sep-2012 00:47                 155
78.cudf_sol_check.mpm                              22-Jun-2012 01:27                 164
78.runsolver.aptget                                18-Jun-2012 17:41                7515
78.runsolver.aptitude                              18-Jun-2012 17:29               12227
78.runsolver.cupt                                  18-Jun-2012 17:50               10890
78.runsolver.mpm                                   17-Sep-2012 15:46               16685
78.runsolver.smart                                 21-Jun-2012 02:03               10669
79.cudf_sol_check.aptitude                         18-Sep-2012 00:48                 104
79.cudf_sol_check.mpm                              22-Jun-2012 01:28                 164
79.runsolver.aptget                                18-Jun-2012 17:41                7524
79.runsolver.aptitude                              18-Jun-2012 17:29               15668
79.runsolver.cupt                                  18-Jun-2012 17:49               12333
79.runsolver.mpm                                   17-Sep-2012 15:46               18497
79.runsolver.smart                                 21-Jun-2012 02:02               11240
8.cudf_sol_check.aptitude                          18-Sep-2012 00:51                 135
8.cudf_sol_check.mpm                               22-Jun-2012 01:31                 163
8.runsolver.aptget                                 18-Jun-2012 17:41                5356
8.runsolver.aptitude                               18-Jun-2012 17:29               15662
8.runsolver.cupt                                   18-Jun-2012 17:49               11245
8.runsolver.mpm                                    17-Sep-2012 15:46               16121
8.runsolver.smart                                  21-Jun-2012 02:02               11246
80.cudf_sol_check.aptitude                         18-Sep-2012 00:48                 155
80.cudf_sol_check.mpm                              22-Jun-2012 01:28                 164
80.runsolver.aptget                                18-Jun-2012 17:41                7571
80.runsolver.aptitude                              18-Jun-2012 17:29               12251
80.runsolver.cupt                                  18-Jun-2012 17:50               10726
80.runsolver.mpm                                   17-Sep-2012 15:46               18630
80.runsolver.smart                                 21-Jun-2012 02:03               11249
81.cudf_sol_check.aptitude                         18-Sep-2012 00:48                 155
81.cudf_sol_check.mpm                              22-Jun-2012 01:28                 164
81.runsolver.aptget                                18-Jun-2012 17:41                5346
81.runsolver.aptitude                              18-Jun-2012 17:29               11426
81.runsolver.cupt                                  18-Jun-2012 17:50               10897
81.runsolver.mpm                                   17-Sep-2012 15:46               16303
81.runsolver.smart                                 21-Jun-2012 02:02               11218
82.cudf_sol_check.mpm                              22-Jun-2012 01:29                 164
82.runsolver.aptget                                18-Jun-2012 17:41                8063
82.runsolver.aptitude                              18-Jun-2012 17:29               15037
82.runsolver.cupt                                  18-Jun-2012 17:49               12877
82.runsolver.mpm                                   17-Sep-2012 15:46               15755
82.runsolver.smart                                 21-Jun-2012 02:03               11240
83.cudf_sol_check.aptitude                         18-Sep-2012 00:49                 155
83.cudf_sol_check.mpm                              22-Jun-2012 01:29                 164
83.runsolver.aptget                                18-Jun-2012 17:41                7558
83.runsolver.aptitude                              18-Jun-2012 17:29               12221
83.runsolver.cupt                                  18-Jun-2012 17:49                4781
83.runsolver.mpm                                   17-Sep-2012 15:46               16378
83.runsolver.smart                                 21-Jun-2012 02:03               11253
84.cudf_sol_check.aptitude                         18-Sep-2012 00:49                 155
84.cudf_sol_check.mpm                              22-Jun-2012 01:29                 164
84.runsolver.aptget                                18-Jun-2012 17:41                5346
84.runsolver.aptitude                              18-Jun-2012 17:29               12429
84.runsolver.cupt                                  18-Jun-2012 17:49               10896
84.runsolver.mpm                                   17-Sep-2012 15:46               16402
84.runsolver.smart                                 21-Jun-2012 02:03               11211
85.cudf_sol_check.aptitude                         18-Sep-2012 00:49                 125
85.cudf_sol_check.mpm                              22-Jun-2012 01:30                 164
85.runsolver.aptget                                18-Jun-2012 17:42                5337
85.runsolver.aptitude                              18-Jun-2012 17:29               14330
85.runsolver.cupt                                  18-Jun-2012 17:49               10153
85.runsolver.mpm                                   17-Sep-2012 15:46               17013
85.runsolver.smart                                 21-Jun-2012 02:02               11240
86.cudf_sol_check.aptitude                         18-Sep-2012 00:50                 127
86.cudf_sol_check.mpm                              22-Jun-2012 01:30                 164
86.runsolver.aptget                                18-Jun-2012 17:41                4829
86.runsolver.aptitude                              18-Jun-2012 17:29                9133
86.runsolver.cupt                                  18-Jun-2012 17:50               10906
86.runsolver.mpm                                   17-Sep-2012 15:46               18052
86.runsolver.smart                                 21-Jun-2012 02:02               11245
87.cudf_sol_check.mpm                              22-Jun-2012 01:30                 164
87.runsolver.aptget                                18-Jun-2012 17:41                6435
87.runsolver.aptitude                              18-Jun-2012 17:29                9123
87.runsolver.cupt                                  18-Jun-2012 17:49               12358
87.runsolver.mpm                                   17-Sep-2012 15:46               17514
87.runsolver.smart                                 21-Jun-2012 02:03               11243
88.cudf_sol_check.aptitude                         18-Sep-2012 00:50                 121
88.cudf_sol_check.mpm                              22-Jun-2012 01:30                 164
88.runsolver.aptget                                18-Jun-2012 17:42                5349
88.runsolver.aptitude                              18-Jun-2012 17:29               16411
88.runsolver.cupt                                  18-Jun-2012 17:49               10882
88.runsolver.mpm                                   17-Sep-2012 15:46               16309
88.runsolver.smart                                 21-Jun-2012 02:02               11226
89.cudf_sol_check.aptitude                         18-Sep-2012 00:50                 155
89.cudf_sol_check.mpm                              22-Jun-2012 01:31                 164
89.runsolver.aptget                                18-Jun-2012 17:41                6982
89.runsolver.aptitude                              18-Jun-2012 17:29               13178
89.runsolver.cupt                                  18-Jun-2012 17:49                5290
89.runsolver.mpm                                   17-Sep-2012 15:46               16964
89.runsolver.smart                                 21-Jun-2012 02:03               11233
9.cudf_sol_check.mpm                               22-Jun-2012 01:34                 163
9.runsolver.aptget                                 18-Jun-2012 17:41                6979
9.runsolver.aptitude                               18-Jun-2012 17:29               15802
9.runsolver.cupt                                   18-Jun-2012 17:49               10920
9.runsolver.mpm                                    17-Sep-2012 15:46               16361
9.runsolver.smart                                  21-Jun-2012 02:03               11214
90.cudf_sol_check.mpm                              22-Jun-2012 01:31                 164
90.runsolver.aptget                                18-Jun-2012 17:42                6976
90.runsolver.aptitude                              18-Jun-2012 17:29                6690
90.runsolver.cupt                                  18-Jun-2012 17:50                4761
90.runsolver.mpm                                   17-Sep-2012 15:46               17001
90.runsolver.smart                                 21-Jun-2012 02:03               11239
91.cudf_sol_check.mpm                              22-Jun-2012 01:32                 164
91.runsolver.aptget                                18-Jun-2012 17:41                5330
91.runsolver.aptitude                              18-Jun-2012 17:29               14468
91.runsolver.cupt                                  18-Jun-2012 17:50               10890
91.runsolver.mpm                                   17-Sep-2012 15:46               18120
91.runsolver.smart                                 21-Jun-2012 02:02               11191
92.cudf_sol_check.aptitude                         18-Sep-2012 00:52                 155
92.cudf_sol_check.mpm                              22-Jun-2012 01:32                 164
92.runsolver.aptget                                18-Jun-2012 17:41                5347
92.runsolver.aptitude                              18-Jun-2012 17:29               12214
92.runsolver.cupt                                  18-Jun-2012 17:50               10692
92.runsolver.mpm                                   17-Sep-2012 15:46               17223
92.runsolver.smart                                 21-Jun-2012 02:03               11219
93.cudf_sol_check.aptitude                         18-Sep-2012 00:52                 155
93.cudf_sol_check.mpm                              22-Jun-2012 01:32                 164
93.runsolver.aptget                                18-Jun-2012 17:42                7523
93.runsolver.aptitude                              18-Jun-2012 17:29               12415
93.runsolver.cupt                                  18-Jun-2012 17:49               10873
93.runsolver.mpm                                   17-Sep-2012 15:46               18016
93.runsolver.smart                                 21-Jun-2012 02:02               11224
94.cudf_sol_check.aptitude                         18-Sep-2012 00:52                 118
94.cudf_sol_check.mpm                              22-Jun-2012 01:32                 164
94.runsolver.aptget                                18-Jun-2012 17:41                5363
94.runsolver.aptitude                              18-Jun-2012 17:29               15680
94.runsolver.cupt                                  18-Jun-2012 17:49               10347
94.runsolver.mpm                                   17-Sep-2012 15:46               16324
94.runsolver.smart                                 21-Jun-2012 02:03               11213
95.cudf_sol_check.mpm                              22-Jun-2012 01:33                 164
95.runsolver.aptget                                18-Jun-2012 17:41                7533
95.runsolver.aptitude                              18-Jun-2012 17:29               13544
95.runsolver.cupt                                  18-Jun-2012 17:50               10907
95.runsolver.mpm                                   17-Sep-2012 15:46               17942
95.runsolver.smart                                 21-Jun-2012 02:03               11209
96.cudf_sol_check.aptitude                         18-Sep-2012 00:53                 155
96.cudf_sol_check.mpm                              22-Jun-2012 01:33                 164
96.runsolver.aptget                                18-Jun-2012 17:41                5365
96.runsolver.aptitude                              18-Jun-2012 17:29               13202
96.runsolver.cupt                                  18-Jun-2012 17:50               11254
96.runsolver.mpm                                   17-Sep-2012 15:46               16709
96.runsolver.smart                                 21-Jun-2012 02:03               11245
97.cudf_sol_check.aptitude                         18-Sep-2012 00:53                 155
97.cudf_sol_check.mpm                              22-Jun-2012 01:33                 164
97.runsolver.aptget                                18-Jun-2012 17:41                5359
97.runsolver.aptitude                              18-Jun-2012 17:29               13390
97.runsolver.cupt                                  18-Jun-2012 17:49               14007
97.runsolver.mpm                                   17-Sep-2012 15:46               16396
97.runsolver.smart                                 21-Jun-2012 02:03               11226
98.cudf_sol_check.mpm                              22-Jun-2012 01:33                 164
98.runsolver.aptget                                18-Jun-2012 17:41                7522
98.runsolver.aptitude                              18-Jun-2012 17:29               10320
98.runsolver.cupt                                  18-Jun-2012 17:49               10895
98.runsolver.mpm                                   17-Sep-2012 15:46               18007
98.runsolver.smart                                 21-Jun-2012 02:02               11231
99.cudf_sol_check.aptitude                         18-Sep-2012 00:53                 106
99.cudf_sol_check.mpm                              22-Jun-2012 01:34                 164
99.runsolver.aptget                                18-Jun-2012 17:41                5347
99.runsolver.aptitude                              18-Jun-2012 17:29               12929
99.runsolver.cupt                                  18-Jun-2012 17:49               10872
99.runsolver.mpm                                   17-Sep-2012 15:46               18526
99.runsolver.smart                                 21-Jun-2012 02:02               11200