Index of /papers/ist2012/results/sarge-etch-lenny-squeeze/logs/


../
1.cudf_sol_check.aptitude                          18-Sep-2012 00:19                 170
1.cudf_sol_check.mpm                               22-Jun-2012 00:59                 159
1.runsolver.aptget                                 18-Jun-2012 17:41                4827
1.runsolver.aptitude                               18-Jun-2012 17:29               13178
1.runsolver.cupt                                   18-Jun-2012 17:48                6976
1.runsolver.mpm                                    17-Sep-2012 15:45               17000
1.runsolver.smart                                  21-Jun-2012 02:02               11211
10.cudf_sol_check.mpm                              22-Jun-2012 00:36                 160
10.runsolver.aptget                                18-Jun-2012 17:41                6959
10.runsolver.aptitude                              18-Jun-2012 17:29                6865
10.runsolver.cupt                                  18-Jun-2012 17:48                4794
10.runsolver.mpm                                   17-Sep-2012 15:45               19461
10.runsolver.smart                                 21-Jun-2012 02:02               11192
100.cudf_sol_check.mpm                             22-Jun-2012 00:31                 161
100.runsolver.aptget                               18-Jun-2012 17:41                6444
100.runsolver.aptitude                             18-Jun-2012 17:29                6900
100.runsolver.cupt                                 18-Jun-2012 17:48                4830
100.runsolver.mpm                                  17-Sep-2012 15:45               19248
100.runsolver.smart                                21-Jun-2012 02:02               11264
101.cudf_sol_check.aptget                          17-Sep-2012 23:51                 126
101.cudf_sol_check.aptitude                        17-Sep-2012 23:51                 110
101.cudf_sol_check.mpm                             17-Sep-2012 23:51                1710
101.runsolver.aptget                               18-Jun-2012 17:41                6983
101.runsolver.aptitude                             18-Jun-2012 17:29                9128
101.runsolver.cupt                                 18-Jun-2012 17:48               11400
101.runsolver.mpm                                  17-Sep-2012 15:45               22524
101.runsolver.smart                                21-Jun-2012 02:02               11221
102.cudf_sol_check.mpm                             22-Jun-2012 00:32                 161
102.runsolver.aptget                               18-Jun-2012 17:41                5336
102.runsolver.aptitude                             18-Jun-2012 17:29               10065
102.runsolver.cupt                                 18-Jun-2012 17:48               11914
102.runsolver.mpm                                  17-Sep-2012 15:45               18255
102.runsolver.smart                                21-Jun-2012 02:02               11250
103.cudf_sol_check.mpm                             22-Jun-2012 00:33                 161
103.runsolver.aptget                               18-Jun-2012 17:41                6965
103.runsolver.aptitude                             18-Jun-2012 17:29               11013
103.runsolver.cupt                                 18-Jun-2012 17:48                7500
103.runsolver.mpm                                  17-Sep-2012 15:45                9879
103.runsolver.smart                                21-Jun-2012 02:02               11229
104.cudf_sol_check.mpm                             22-Jun-2012 00:33                 161
104.runsolver.aptget                               18-Jun-2012 17:41                6445
104.runsolver.aptitude                             18-Jun-2012 17:29                9148
104.runsolver.cupt                                 18-Jun-2012 17:48               11388
104.runsolver.mpm                                  17-Sep-2012 15:45               13844
104.runsolver.smart                                21-Jun-2012 02:02               11248
105.cudf_sol_check.mpm                             22-Jun-2012 00:34                 161
105.runsolver.aptget                               18-Jun-2012 17:41                6981
105.runsolver.aptitude                             18-Jun-2012 17:29               10111
105.runsolver.cupt                                 18-Jun-2012 17:48                6821
105.runsolver.mpm                                  17-Sep-2012 15:45               10479
105.runsolver.smart                                21-Jun-2012 02:02               11243
106.cudf_sol_check.mpm                             22-Jun-2012 00:34                 161
106.runsolver.aptget                               18-Jun-2012 17:41                6439
106.runsolver.aptitude                             18-Jun-2012 17:29               11035
106.runsolver.cupt                                 18-Jun-2012 17:48                6818
106.runsolver.mpm                                  17-Sep-2012 15:45               13786
106.runsolver.smart                                21-Jun-2012 02:02               11253
107.cudf_sol_check.mpm                             22-Jun-2012 00:35                 161
107.runsolver.aptget                               18-Jun-2012 17:41                6422
107.runsolver.aptitude                             18-Jun-2012 17:29                9318
107.runsolver.cupt                                 18-Jun-2012 17:48                6266
107.runsolver.mpm                                  17-Sep-2012 15:45               14177
107.runsolver.smart                                21-Jun-2012 02:02               11212
108.cudf_sol_check.mpm                             22-Jun-2012 00:35                 161
108.runsolver.aptget                               18-Jun-2012 17:41                5335
108.runsolver.aptitude                             18-Jun-2012 17:29                9166
108.runsolver.cupt                                 18-Jun-2012 17:48               10558
108.runsolver.mpm                                  17-Sep-2012 15:45               18610
108.runsolver.smart                                21-Jun-2012 02:02               11255
109.cudf_sol_check.aptget                          17-Sep-2012 23:55                 199
109.cudf_sol_check.aptitude                        17-Sep-2012 23:56                 157
109.cudf_sol_check.mpm                             17-Sep-2012 23:56                1710
109.runsolver.aptget                               18-Jun-2012 17:41                6995
109.runsolver.aptitude                             18-Jun-2012 17:29               13222
109.runsolver.cupt                                 18-Jun-2012 17:48                6297
109.runsolver.mpm                                  17-Sep-2012 15:45               20059
109.runsolver.smart                                21-Jun-2012 02:02               11215
11.cudf_sol_check.mpm                              22-Jun-2012 00:41                 160
11.runsolver.aptget                                18-Jun-2012 17:41                7501
11.runsolver.aptitude                              18-Jun-2012 17:29               11606
11.runsolver.cupt                                  18-Jun-2012 17:48               11924
11.runsolver.mpm                                   17-Sep-2012 15:45               16696
11.runsolver.smart                                 21-Jun-2012 02:02               11196
110.cudf_sol_check.aptget                          17-Sep-2012 23:57                 120
110.cudf_sol_check.mpm                             17-Sep-2012 23:57                1710
110.runsolver.aptget                               18-Jun-2012 17:41                5868
110.runsolver.aptitude                             18-Jun-2012 17:29                8329
110.runsolver.cupt                                 18-Jun-2012 17:48                6807
110.runsolver.mpm                                  17-Sep-2012 15:45               20994
110.runsolver.smart                                21-Jun-2012 02:02               11241
111.cudf_sol_check.mpm                             22-Jun-2012 00:37                 161
111.runsolver.aptget                               18-Jun-2012 17:41                5335
111.runsolver.aptitude                             18-Jun-2012 17:29                8181
111.runsolver.cupt                                 18-Jun-2012 17:48               10548
111.runsolver.mpm                                  17-Sep-2012 15:45               14395
111.runsolver.smart                                21-Jun-2012 02:02               11235
112.cudf_sol_check.mpm                             22-Jun-2012 00:37                 161
112.runsolver.aptget                               18-Jun-2012 17:41                5315
112.runsolver.aptitude                             18-Jun-2012 17:29                7842
112.runsolver.cupt                                 18-Jun-2012 17:48                6798
112.runsolver.mpm                                  17-Sep-2012 15:45               17909
112.runsolver.smart                                21-Jun-2012 02:02               11218
113.cudf_sol_check.mpm                             22-Jun-2012 00:38                 161
113.runsolver.aptget                               18-Jun-2012 17:41                6969
113.runsolver.aptitude                             18-Jun-2012 17:29                9133
113.runsolver.cupt                                 18-Jun-2012 17:48                7895
113.runsolver.mpm                                  17-Sep-2012 15:45               18053
113.runsolver.smart                                21-Jun-2012 02:02               11228
114.cudf_sol_check.mpm                             22-Jun-2012 00:38                 161
114.runsolver.aptget                               18-Jun-2012 17:41                6945
114.runsolver.aptitude                             18-Jun-2012 17:29                8158
114.runsolver.cupt                                 18-Jun-2012 17:48               11612
114.runsolver.mpm                                  17-Sep-2012 15:45               14152
114.runsolver.smart                                21-Jun-2012 02:02               10648
115.cudf_sol_check.mpm                             22-Jun-2012 00:38                 161
115.runsolver.aptget                               18-Jun-2012 17:41                4802
115.runsolver.aptitude                             18-Jun-2012 17:29                8199
115.runsolver.cupt                                 18-Jun-2012 17:49               11126
115.runsolver.mpm                                  17-Sep-2012 15:45               16115
115.runsolver.smart                                21-Jun-2012 02:02               11250
116.cudf_sol_check.mpm                             22-Jun-2012 00:39                 161
116.runsolver.aptget                               18-Jun-2012 17:41                5863
116.runsolver.aptitude                             18-Jun-2012 17:29                9707
116.runsolver.cupt                                 18-Jun-2012 17:48               12160
116.runsolver.mpm                                  17-Sep-2012 15:45               13762
116.runsolver.smart                                21-Jun-2012 02:02               11209
117.cudf_sol_check.mpm                             22-Jun-2012 00:39                 161
117.runsolver.aptget                               18-Jun-2012 17:41                7513
117.runsolver.aptitude                             18-Jun-2012 17:29                9118
117.runsolver.cupt                                 18-Jun-2012 17:48               11616
117.runsolver.mpm                                  17-Sep-2012 15:45               18046
117.runsolver.smart                                21-Jun-2012 02:02               11202
118.cudf_sol_check.mpm                             22-Jun-2012 00:40                 161
118.runsolver.aptget                               18-Jun-2012 17:41                5857
118.runsolver.aptitude                             18-Jun-2012 17:29                9130
118.runsolver.cupt                                 18-Jun-2012 17:48                7328
118.runsolver.mpm                                  17-Sep-2012 15:45               11009
118.runsolver.smart                                21-Jun-2012 02:02               11224
119.cudf_sol_check.mpm                             22-Jun-2012 00:40                 161
119.runsolver.aptget                               18-Jun-2012 17:41                5321
119.runsolver.aptitude                             18-Jun-2012 17:29                8772
119.runsolver.cupt                                 18-Jun-2012 17:48                8410
119.runsolver.mpm                                  17-Sep-2012 15:45               16022
119.runsolver.smart                                21-Jun-2012 02:02               11237
12.cudf_sol_check.aptitude                         18-Sep-2012 00:05                 170
12.cudf_sol_check.mpm                              22-Jun-2012 00:45                 160
12.runsolver.aptget                                18-Jun-2012 17:41                6963
12.runsolver.aptitude                              18-Jun-2012 17:29               12224
12.runsolver.cupt                                  18-Jun-2012 17:48                4792
12.runsolver.mpm                                   17-Sep-2012 15:45               20111
12.runsolver.smart                                 21-Jun-2012 02:02               11143
120.cudf_sol_check.mpm                             22-Jun-2012 00:41                 161
120.runsolver.aptget                               18-Jun-2012 17:41                6434
120.runsolver.aptitude                             18-Jun-2012 17:29                9156
120.runsolver.cupt                                 18-Jun-2012 17:48                6808
120.runsolver.mpm                                  17-Sep-2012 15:45               13796
120.runsolver.smart                                21-Jun-2012 02:02               10686
121.cudf_sol_check.mpm                             22-Jun-2012 00:42                 161
121.runsolver.aptget                               18-Jun-2012 17:41                6955
121.runsolver.aptitude                             18-Jun-2012 17:29               11022
121.runsolver.cupt                                 18-Jun-2012 17:48                8953
121.runsolver.mpm                                  17-Sep-2012 15:45               14126
121.runsolver.smart                                21-Jun-2012 02:02               11220
122.cudf_sol_check.mpm                             22-Jun-2012 00:42                 161
122.runsolver.aptget                               18-Jun-2012 17:41                5342
122.runsolver.aptitude                             18-Jun-2012 17:29                8194
122.runsolver.cupt                                 18-Jun-2012 17:48               10036
122.runsolver.mpm                                  17-Sep-2012 15:45               18272
122.runsolver.smart                                21-Jun-2012 02:02               11233
123.cudf_sol_check.mpm                             22-Jun-2012 00:42                 161
123.runsolver.aptget                               18-Jun-2012 17:41                6949
123.runsolver.aptitude                             18-Jun-2012 17:29               10682
123.runsolver.cupt                                 18-Jun-2012 17:48                6786
123.runsolver.mpm                                  17-Sep-2012 15:45               11557
123.runsolver.smart                                21-Jun-2012 02:02               10676
124.cudf_sol_check.mpm                             22-Jun-2012 00:43                 161
124.runsolver.aptget                               18-Jun-2012 17:41                6399
124.runsolver.aptitude                             18-Jun-2012 17:29                8205
124.runsolver.cupt                                 18-Jun-2012 17:48               10001
124.runsolver.mpm                                  17-Sep-2012 15:45               11011
124.runsolver.smart                                21-Jun-2012 02:02               11237
125.cudf_sol_check.mpm                             22-Jun-2012 00:43                 161
125.runsolver.aptget                               18-Jun-2012 17:41                6965
125.runsolver.aptitude                             18-Jun-2012 17:29                9757
125.runsolver.cupt                                 18-Jun-2012 17:48               10551
125.runsolver.mpm                                  17-Sep-2012 15:45               13231
125.runsolver.smart                                21-Jun-2012 02:02               11220
126.cudf_sol_check.mpm                             22-Jun-2012 00:44                 161
126.runsolver.aptget                               18-Jun-2012 17:41                6973
126.runsolver.aptitude                             18-Jun-2012 17:29               10126
126.runsolver.cupt                                 18-Jun-2012 17:48                6812
126.runsolver.mpm                                  17-Sep-2012 15:45               11018
126.runsolver.smart                                21-Jun-2012 02:02               11239
127.cudf_sol_check.mpm                             22-Jun-2012 00:44                 161
127.runsolver.aptget                               18-Jun-2012 17:41                5330
127.runsolver.aptitude                             18-Jun-2012 17:29                8716
127.runsolver.cupt                                 18-Jun-2012 17:49               10569
127.runsolver.mpm                                  17-Sep-2012 15:45               16095
127.runsolver.smart                                21-Jun-2012 02:02               11229
128.cudf_sol_check.aptget                          18-Sep-2012 00:04                 125
128.cudf_sol_check.mpm                             18-Sep-2012 00:05                1710
128.runsolver.aptget                               18-Jun-2012 17:41                6986
128.runsolver.aptitude                             18-Jun-2012 17:29                9771
128.runsolver.cupt                                 18-Jun-2012 17:48               11103
128.runsolver.mpm                                  17-Sep-2012 15:45               22825
128.runsolver.smart                                21-Jun-2012 02:02               11227
129.cudf_sol_check.mpm                             22-Jun-2012 00:45                 161
129.runsolver.aptget                               18-Jun-2012 17:41                5315
129.runsolver.aptitude                             18-Jun-2012 17:29                8161
129.runsolver.cupt                                 18-Jun-2012 17:48               10729
129.runsolver.mpm                                  17-Sep-2012 15:45               16412
129.runsolver.smart                                21-Jun-2012 02:02               11207
13.cudf_sol_check.aptitude                         18-Sep-2012 00:09                 114
13.cudf_sol_check.mpm                              22-Jun-2012 00:50                 160
13.runsolver.aptget                                18-Jun-2012 17:41                4802
13.runsolver.aptitude                              18-Jun-2012 17:29               11736
13.runsolver.cupt                                  18-Jun-2012 17:48                6422
13.runsolver.mpm                                   17-Sep-2012 15:45               18907
13.runsolver.smart                                 21-Jun-2012 02:02               11220
130.cudf_sol_check.mpm                             18-Sep-2012 00:06                1710
130.runsolver.aptget                               18-Jun-2012 17:41                5303
130.runsolver.aptitude                             18-Jun-2012 17:29                7223
130.runsolver.cupt                                 18-Jun-2012 17:48                7856
130.runsolver.mpm                                  17-Sep-2012 15:45               19896
130.runsolver.smart                                21-Jun-2012 02:02               10636
131.cudf_sol_check.mpm                             22-Jun-2012 00:46                 161
131.runsolver.aptget                               18-Jun-2012 17:41                5855
131.runsolver.aptitude                             18-Jun-2012 17:29               10071
131.runsolver.cupt                                 18-Jun-2012 17:48               13253
131.runsolver.mpm                                  17-Sep-2012 15:45               11119
131.runsolver.smart                                21-Jun-2012 02:02               11223
132.cudf_sol_check.mpm                             22-Jun-2012 00:47                 161
132.runsolver.aptget                               18-Jun-2012 17:41                6957
132.runsolver.aptitude                             18-Jun-2012 17:29               10658
132.runsolver.cupt                                 18-Jun-2012 17:48                6873
132.runsolver.mpm                                  17-Sep-2012 15:45               10976
132.runsolver.smart                                21-Jun-2012 02:02               11228
133.cudf_sol_check.mpm                             22-Jun-2012 00:47                 161
133.runsolver.aptget                               18-Jun-2012 17:41                5339
133.runsolver.aptitude                             18-Jun-2012 17:29                8801
133.runsolver.cupt                                 18-Jun-2012 17:48               11227
133.runsolver.mpm                                  17-Sep-2012 15:45                9896
133.runsolver.smart                                21-Jun-2012 02:02               11237
134.cudf_sol_check.mpm                             22-Jun-2012 00:47                 161
134.runsolver.aptget                               18-Jun-2012 17:41                6974
134.runsolver.aptitude                             18-Jun-2012 17:29               11021
134.runsolver.cupt                                 18-Jun-2012 17:48               10703
134.runsolver.mpm                                  17-Sep-2012 15:45               10421
134.runsolver.smart                                21-Jun-2012 02:02               11226
135.cudf_sol_check.mpm                             22-Jun-2012 00:48                 161
135.runsolver.aptget                               18-Jun-2012 17:41                6966
135.runsolver.aptitude                             18-Jun-2012 17:29               11048
135.runsolver.cupt                                 18-Jun-2012 17:48                8527
135.runsolver.mpm                                  17-Sep-2012 15:45               14069
135.runsolver.smart                                21-Jun-2012 02:02               11243
136.cudf_sol_check.mpm                             22-Jun-2012 00:48                 161
136.runsolver.aptget                               18-Jun-2012 17:41                5335
136.runsolver.aptitude                             18-Jun-2012 17:29               10081
136.runsolver.cupt                                 18-Jun-2012 17:48                6893
136.runsolver.mpm                                  17-Sep-2012 15:45               13779
136.runsolver.smart                                21-Jun-2012 02:02               11252
137.cudf_sol_check.mpm                             22-Jun-2012 00:49                 161
137.runsolver.aptget                               18-Jun-2012 17:41                7508
137.runsolver.aptitude                             18-Jun-2012 17:29               11029
137.runsolver.cupt                                 18-Jun-2012 17:48               11251
137.runsolver.mpm                                  17-Sep-2012 15:45               11568
137.runsolver.smart                                21-Jun-2012 02:02               11222
138.cudf_sol_check.mpm                             22-Jun-2012 00:49                 161
138.runsolver.aptget                               18-Jun-2012 17:41                6423
138.runsolver.aptitude                             18-Jun-2012 17:29                9699
138.runsolver.cupt                                 18-Jun-2012 17:48               11778
138.runsolver.mpm                                  17-Sep-2012 15:45               13764
138.runsolver.smart                                21-Jun-2012 02:02               11231
139.cudf_sol_check.mpm                             22-Jun-2012 00:49                 161
139.runsolver.aptget                               18-Jun-2012 17:41                6977
139.runsolver.aptitude                             18-Jun-2012 17:29               10092
139.runsolver.cupt                                 18-Jun-2012 17:48               11377
139.runsolver.mpm                                  17-Sep-2012 15:45               18045
139.runsolver.smart                                21-Jun-2012 02:02               11211
14.cudf_sol_check.mpm                              22-Jun-2012 00:53                 160
14.runsolver.aptget                                18-Jun-2012 17:41                6422
14.runsolver.aptitude                              18-Jun-2012 17:29                7818
14.runsolver.cupt                                  18-Jun-2012 17:48                4812
14.runsolver.mpm                                   17-Sep-2012 15:45               18410
14.runsolver.smart                                 21-Jun-2012 02:02               10671
140.cudf_sol_check.mpm                             22-Jun-2012 00:50                 161
140.runsolver.aptget                               18-Jun-2012 17:41                6420
140.runsolver.aptitude                             18-Jun-2012 17:29               10131
140.runsolver.cupt                                 18-Jun-2012 17:48                8518
140.runsolver.mpm                                  17-Sep-2012 15:45               11590
140.runsolver.smart                                21-Jun-2012 02:02               11255
141.cudf_sol_check.mpm                             22-Jun-2012 00:50                 161
141.runsolver.aptget                               18-Jun-2012 17:41                5347
141.runsolver.aptitude                             18-Jun-2012 17:29                8797
141.runsolver.cupt                                 18-Jun-2012 17:48                6884
141.runsolver.mpm                                  17-Sep-2012 15:45               16680
141.runsolver.smart                                21-Jun-2012 02:02               11192
142.cudf_sol_check.mpm                             22-Jun-2012 00:51                 161
142.runsolver.aptget                               18-Jun-2012 17:41                6956
142.runsolver.aptitude                             18-Jun-2012 17:29                9125
142.runsolver.cupt                                 18-Jun-2012 17:48               11239
142.runsolver.mpm                                  17-Sep-2012 15:45               12769
142.runsolver.smart                                21-Jun-2012 02:02               11211
143.cudf_sol_check.mpm                             22-Jun-2012 00:51                 161
143.runsolver.aptget                               18-Jun-2012 17:41                6436
143.runsolver.aptitude                             18-Jun-2012 17:29               10081
143.runsolver.cupt                                 18-Jun-2012 17:48               10345
143.runsolver.mpm                                  17-Sep-2012 15:45               14047
143.runsolver.smart                                21-Jun-2012 02:02               11209
144.cudf_sol_check.mpm                             22-Jun-2012 00:51                 161
144.runsolver.aptget                               18-Jun-2012 17:41                6958
144.runsolver.aptitude                             18-Jun-2012 17:29               11012
144.runsolver.cupt                                 18-Jun-2012 17:48                7413
144.runsolver.mpm                                  17-Sep-2012 15:45               13553
144.runsolver.smart                                21-Jun-2012 02:02               11191
145.cudf_sol_check.mpm                             22-Jun-2012 00:52                 161
145.runsolver.aptget                               18-Jun-2012 17:41                6947
145.runsolver.aptitude                             18-Jun-2012 17:29               10067
145.runsolver.cupt                                 18-Jun-2012 17:48                7417
145.runsolver.mpm                                  17-Sep-2012 15:45               11011
145.runsolver.smart                                21-Jun-2012 02:02               11206
146.cudf_sol_check.mpm                             22-Jun-2012 00:52                 161
146.runsolver.aptget                               18-Jun-2012 17:41                5870
146.runsolver.aptitude                             18-Jun-2012 17:29                9134
146.runsolver.cupt                                 18-Jun-2012 17:48                7428
146.runsolver.mpm                                  17-Sep-2012 15:45                8767
146.runsolver.smart                                21-Jun-2012 02:02               11209
147.cudf_sol_check.mpm                             22-Jun-2012 00:52                 161
147.runsolver.aptget                               18-Jun-2012 17:41                6426
147.runsolver.aptitude                             18-Jun-2012 17:29               10122
147.runsolver.cupt                                 18-Jun-2012 17:48                7976
147.runsolver.mpm                                  17-Sep-2012 15:45               12231
147.runsolver.smart                                21-Jun-2012 02:02               11220
148.cudf_sol_check.mpm                             22-Jun-2012 00:53                 161
148.runsolver.aptget                               18-Jun-2012 17:41                5356
148.runsolver.aptitude                             18-Jun-2012 17:29                8224
148.runsolver.cupt                                 18-Jun-2012 17:48               10923
148.runsolver.mpm                                  17-Sep-2012 15:45               18891
148.runsolver.smart                                21-Jun-2012 02:02               11250
149.cudf_sol_check.mpm                             22-Jun-2012 00:53                 161
149.runsolver.aptget                               18-Jun-2012 17:41                5342
149.runsolver.aptitude                             18-Jun-2012 17:29               10090
149.runsolver.cupt                                 18-Jun-2012 17:48                7944
149.runsolver.mpm                                  17-Sep-2012 15:45               16079
149.runsolver.smart                                21-Jun-2012 02:02               11211
15.cudf_sol_check.aptitude                         18-Sep-2012 00:16                 170
15.cudf_sol_check.mpm                              22-Jun-2012 00:56                 160
15.runsolver.aptget                                18-Jun-2012 17:41                5890
15.runsolver.aptitude                              18-Jun-2012 17:29               12259
15.runsolver.cupt                                  18-Jun-2012 17:48               10498
15.runsolver.mpm                                   17-Sep-2012 15:45               16112
15.runsolver.smart                                 21-Jun-2012 02:02               11194
150.cudf_sol_check.mpm                             18-Sep-2012 00:13                1710
150.runsolver.aptget                               18-Jun-2012 17:41                5303
150.runsolver.aptitude                             18-Jun-2012 17:29                8208
150.runsolver.cupt                                 18-Jun-2012 17:48               10868
150.runsolver.mpm                                  17-Sep-2012 15:45               20169
150.runsolver.smart                                21-Jun-2012 02:02               11196
151.cudf_sol_check.mpm                             22-Jun-2012 00:54                 161
151.runsolver.aptget                               18-Jun-2012 17:41                5332
151.runsolver.aptitude                             18-Jun-2012 17:29               10075
151.runsolver.cupt                                 18-Jun-2012 17:48               12326
151.runsolver.mpm                                  17-Sep-2012 15:45               15737
151.runsolver.smart                                21-Jun-2012 02:02               10674
152.cudf_sol_check.mpm                             22-Jun-2012 00:54                 161
152.runsolver.aptget                               18-Jun-2012 17:41                5332
152.runsolver.aptitude                             18-Jun-2012 17:29                8176
152.runsolver.cupt                                 18-Jun-2012 17:48                7422
152.runsolver.mpm                                  17-Sep-2012 15:45               19239
152.runsolver.smart                                21-Jun-2012 02:02               11171
153.cudf_sol_check.aptget                          18-Sep-2012 00:14                 126
153.cudf_sol_check.aptitude                        18-Sep-2012 00:14                 165
153.cudf_sol_check.mpm                             18-Sep-2012 00:14                1710
153.runsolver.aptget                               18-Jun-2012 17:41                6422
153.runsolver.aptitude                             18-Jun-2012 17:29               13178
153.runsolver.cupt                                 18-Jun-2012 17:48               12307
153.runsolver.mpm                                  17-Sep-2012 15:45               18483
153.runsolver.smart                                21-Jun-2012 02:02               11219
154.cudf_sol_check.mpm                             22-Jun-2012 00:55                 161
154.runsolver.aptget                               18-Jun-2012 17:41                6950
154.runsolver.aptitude                             18-Jun-2012 17:29                7394
154.runsolver.cupt                                 18-Jun-2012 17:48                6878
154.runsolver.mpm                                  17-Sep-2012 15:45               10581
154.runsolver.smart                                21-Jun-2012 02:02               11227
155.cudf_sol_check.mpm                             22-Jun-2012 00:55                 161
155.runsolver.aptget                               18-Jun-2012 17:41                6957
155.runsolver.aptitude                             18-Jun-2012 17:29               10696
155.runsolver.cupt                                 18-Jun-2012 17:48                6892
155.runsolver.mpm                                  17-Sep-2012 15:45               11172
155.runsolver.smart                                21-Jun-2012 02:02               11217
156.cudf_sol_check.mpm                             18-Sep-2012 00:15                1710
156.runsolver.aptget                               18-Jun-2012 17:41                5320
156.runsolver.aptitude                             18-Jun-2012 17:29                9127
156.runsolver.cupt                                 18-Jun-2012 17:48                6356
156.runsolver.mpm                                  17-Sep-2012 15:45               21851
156.runsolver.smart                                21-Jun-2012 02:02               11236
157.cudf_sol_check.mpm                             22-Jun-2012 00:56                 161
157.runsolver.aptget                               18-Jun-2012 17:41                5383
157.runsolver.aptitude                             18-Jun-2012 17:29                7267
157.runsolver.cupt                                 18-Jun-2012 17:48                6923
157.runsolver.mpm                                  17-Sep-2012 15:45               14400
157.runsolver.smart                                21-Jun-2012 02:02               11267
158.cudf_sol_check.mpm                             22-Jun-2012 00:56                 161
158.runsolver.aptget                               18-Jun-2012 17:41                5348
158.runsolver.aptitude                             18-Jun-2012 17:29                9719
158.runsolver.cupt                                 18-Jun-2012 17:48                7440
158.runsolver.mpm                                  17-Sep-2012 15:45               17264
158.runsolver.smart                                21-Jun-2012 02:02               11240
159.cudf_sol_check.mpm                             22-Jun-2012 00:56                 161
159.runsolver.aptget                               18-Jun-2012 17:41                5345
159.runsolver.aptitude                             18-Jun-2012 17:29               10080
159.runsolver.cupt                                 18-Jun-2012 17:48                7425
159.runsolver.mpm                                  17-Sep-2012 15:45               18918
159.runsolver.smart                                21-Jun-2012 02:02               11229
16.cudf_sol_check.mpm                              22-Jun-2012 00:58                 160
16.runsolver.aptget                                18-Jun-2012 17:41                6439
16.runsolver.aptitude                              18-Jun-2012 17:29                9850
16.runsolver.cupt                                  18-Jun-2012 17:48                4816
16.runsolver.mpm                                   17-Sep-2012 15:45               17703
16.runsolver.smart                                 21-Jun-2012 02:02               11229
160.cudf_sol_check.aptitude                        18-Sep-2012 00:16                 110
160.cudf_sol_check.mpm                             22-Jun-2012 00:57                 161
160.runsolver.aptget                               18-Jun-2012 17:41                5324
160.runsolver.aptitude                             18-Jun-2012 17:29                9705
160.runsolver.cupt                                 18-Jun-2012 17:48               11764
160.runsolver.mpm                                  17-Sep-2012 15:45               16902
160.runsolver.smart                                21-Jun-2012 02:02               10677
161.cudf_sol_check.mpm                             22-Jun-2012 00:57                 161
161.runsolver.aptget                               18-Jun-2012 17:41                6421
161.runsolver.aptitude                             18-Jun-2012 17:29                9134
161.runsolver.cupt                                 18-Jun-2012 17:48               11806
161.runsolver.mpm                                  17-Sep-2012 15:45               13640
161.runsolver.smart                                21-Jun-2012 02:02               11201
162.cudf_sol_check.aptget                          18-Sep-2012 00:17                 195
162.cudf_sol_check.aptitude                        18-Sep-2012 00:17                 133
162.cudf_sol_check.mpm                             18-Sep-2012 00:17                1710
162.runsolver.aptget                               18-Jun-2012 17:41                6956
162.runsolver.aptitude                             18-Jun-2012 17:29               11023
162.runsolver.cupt                                 18-Jun-2012 17:48                7961
162.runsolver.mpm                                  17-Sep-2012 15:45               19067
162.runsolver.smart                                21-Jun-2012 02:02               11216
17.cudf_sol_check.mpm                              22-Jun-2012 00:58                 160
17.runsolver.aptget                                18-Jun-2012 17:41                7003
17.runsolver.aptitude                              18-Jun-2012 17:29                9162
17.runsolver.cupt                                  18-Jun-2012 17:48               13091
17.runsolver.mpm                                   17-Sep-2012 15:45               18393
17.runsolver.smart                                 21-Jun-2012 02:02               11237
18.cudf_sol_check.aptitude                         18-Sep-2012 00:18                 120
18.cudf_sol_check.mpm                              22-Jun-2012 00:58                 160
18.runsolver.aptget                                18-Jun-2012 17:41                4824
18.runsolver.aptitude                              18-Jun-2012 17:29                8775
18.runsolver.cupt                                  18-Jun-2012 17:48               12507
18.runsolver.mpm                                   17-Sep-2012 15:45               18937
18.runsolver.smart                                 21-Jun-2012 02:02               11227
19.cudf_sol_check.mpm                              22-Jun-2012 00:59                 160
19.runsolver.aptget                                18-Jun-2012 17:41                7504
19.runsolver.aptitude                              18-Jun-2012 17:29               12569
19.runsolver.cupt                                  18-Jun-2012 17:48               13590
19.runsolver.mpm                                   17-Sep-2012 15:45               17379
19.runsolver.smart                                 21-Jun-2012 02:02               11220
2.cudf_sol_check.aptitude                          18-Sep-2012 00:22                 170
2.cudf_sol_check.mpm                               22-Jun-2012 01:02                 159
2.runsolver.aptget                                 18-Jun-2012 17:41                4763
2.runsolver.aptitude                               18-Jun-2012 17:29               12721
2.runsolver.cupt                                   18-Jun-2012 17:48               10820
2.runsolver.mpm                                    17-Sep-2012 15:45               14072
2.runsolver.smart                                  21-Jun-2012 02:02               11179
20.cudf_sol_check.mpm                              22-Jun-2012 00:59                 160
20.runsolver.aptget                                18-Jun-2012 17:41                6976
20.runsolver.aptitude                              18-Jun-2012 17:29               12922
20.runsolver.cupt                                  18-Jun-2012 17:48                4793
20.runsolver.mpm                                   17-Sep-2012 15:45               16078
20.runsolver.smart                                 21-Jun-2012 02:02               11219
21.cudf_sol_check.aptitude                         18-Sep-2012 00:19                 170
21.cudf_sol_check.mpm                              22-Jun-2012 01:00                 160
21.runsolver.aptget                                18-Jun-2012 17:41                4802
21.runsolver.aptitude                              18-Jun-2012 17:29               12229
21.runsolver.cupt                                  18-Jun-2012 17:48               11398
21.runsolver.mpm                                   17-Sep-2012 15:45               17790
21.runsolver.smart                                 21-Jun-2012 02:02               10651
22.cudf_sol_check.aptitude                         18-Sep-2012 00:20                 170
22.cudf_sol_check.mpm                              07-Sep-2012 12:52                1816
22.runsolver.aptget                                18-Jun-2012 17:41                4779
22.runsolver.aptitude                              18-Jun-2012 17:29               12758
22.runsolver.cupt                                  18-Jun-2012 17:48                6961
22.runsolver.mpm                                   17-Sep-2012 15:45               18929
22.runsolver.smart                                 21-Jun-2012 02:02               11233
23.cudf_sol_check.aptitude                         18-Sep-2012 00:20                 170
23.cudf_sol_check.mpm                              22-Jun-2012 01:00                 160
23.runsolver.aptget                                18-Jun-2012 17:41                6956
23.runsolver.aptitude                              18-Jun-2012 17:29               10799
23.runsolver.cupt                                  18-Jun-2012 17:48                8614
23.runsolver.mpm                                   17-Sep-2012 15:45               17738
23.runsolver.smart                                 21-Jun-2012 02:02               11210
24.cudf_sol_check.aptitude                         18-Sep-2012 00:20                 110
24.cudf_sol_check.mpm                              22-Jun-2012 01:01                 160
24.runsolver.aptget                                18-Jun-2012 17:41                4783
24.runsolver.aptitude                              18-Jun-2012 17:29                9298
24.runsolver.cupt                                  18-Jun-2012 17:48                4792
24.runsolver.mpm                                   17-Sep-2012 15:45               18907
24.runsolver.smart                                 21-Jun-2012 02:02               11198
25.cudf_sol_check.aptitude                         18-Sep-2012 00:21                 124
25.cudf_sol_check.mpm                              22-Jun-2012 01:01                 160
25.runsolver.aptget                                18-Jun-2012 17:41                5357
25.runsolver.aptitude                              18-Jun-2012 17:29               12942
25.runsolver.cupt                                  18-Jun-2012 17:48               11957
25.runsolver.mpm                                   17-Sep-2012 15:45               18380
25.runsolver.smart                                 21-Jun-2012 02:02               11222
26.cudf_sol_check.mpm                              22-Jun-2012 01:01                 160
26.runsolver.aptget                                18-Jun-2012 17:41                7507
26.runsolver.aptitude                              18-Jun-2012 17:29               13892
26.runsolver.cupt                                  18-Jun-2012 17:48               11018
26.runsolver.mpm                                   17-Sep-2012 15:45               18368
26.runsolver.smart                                 21-Jun-2012 02:02               11232
27.cudf_sol_check.aptitude                         18-Sep-2012 00:21                 111
27.cudf_sol_check.mpm                              22-Jun-2012 01:01                 160
27.runsolver.aptget                                18-Jun-2012 17:41                4782
27.runsolver.aptitude                              18-Jun-2012 17:29               11974
27.runsolver.cupt                                  18-Jun-2012 17:48               11015
27.runsolver.mpm                                   17-Sep-2012 15:45               17257
27.runsolver.smart                                 21-Jun-2012 02:02               11216
28.cudf_sol_check.aptitude                         18-Sep-2012 00:21                 170
28.cudf_sol_check.mpm                              07-Sep-2012 12:54                1842
28.runsolver.aptget                                18-Jun-2012 17:41                5364
28.runsolver.aptitude                              18-Jun-2012 17:29               13197
28.runsolver.cupt                                  18-Jun-2012 17:48                6987
28.runsolver.mpm                                   17-Sep-2012 15:45               17222
28.runsolver.smart                                 21-Jun-2012 02:02               11253
29.cudf_sol_check.aptitude                         18-Sep-2012 00:22                 170
29.cudf_sol_check.mpm                              22-Jun-2012 01:02                 160
29.runsolver.aptget                                18-Jun-2012 17:41                4803
29.runsolver.aptitude                              18-Jun-2012 17:29               12408
29.runsolver.cupt                                  18-Jun-2012 17:49               11398
29.runsolver.mpm                                   17-Sep-2012 15:45               16025
29.runsolver.smart                                 21-Jun-2012 02:02               10681
3.cudf_sol_check.mpm                               22-Jun-2012 01:06                 159
3.runsolver.aptget                                 18-Jun-2012 17:41                6948
3.runsolver.aptitude                               18-Jun-2012 17:29                8897
3.runsolver.cupt                                   18-Jun-2012 17:48                4779
3.runsolver.mpm                                    17-Sep-2012 15:45               16430
3.runsolver.smart                                  21-Jun-2012 02:02               11198
30.cudf_sol_check.mpm                              22-Jun-2012 01:02                 160
30.runsolver.aptget                                18-Jun-2012 17:41                6974
30.runsolver.aptitude                              18-Jun-2012 17:29                9330
30.runsolver.cupt                                  18-Jun-2012 17:48               12510
30.runsolver.mpm                                   17-Sep-2012 15:45               17294
30.runsolver.smart                                 21-Jun-2012 02:02               11239
31.cudf_sol_check.mpm                              22-Jun-2012 01:03                 160
31.runsolver.aptget                                18-Jun-2012 17:41                4803
31.runsolver.aptitude                              18-Jun-2012 17:29               11979
31.runsolver.cupt                                  18-Jun-2012 17:48                7520
31.runsolver.mpm                                   17-Sep-2012 15:45               19567
31.runsolver.smart                                 21-Jun-2012 02:02               11239
32.cudf_sol_check.mpm                              22-Jun-2012 01:03                 160
32.runsolver.aptget                                18-Jun-2012 17:41                7522
32.runsolver.aptitude                              18-Jun-2012 17:29               11981
32.runsolver.cupt                                  18-Jun-2012 17:48               11940
32.runsolver.mpm                                   17-Sep-2012 15:45               18375
32.runsolver.smart                                 21-Jun-2012 02:02               11215
33.cudf_sol_check.aptitude                         18-Sep-2012 00:23                 120
33.cudf_sol_check.mpm                              22-Jun-2012 01:03                 160
33.runsolver.aptget                                18-Jun-2012 17:41                4775
33.runsolver.aptitude                              18-Jun-2012 17:29               13908
33.runsolver.cupt                                  18-Jun-2012 17:48               11394
33.runsolver.mpm                                   17-Sep-2012 15:45               18336
33.runsolver.smart                                 21-Jun-2012 02:02               11238
34.cudf_sol_check.mpm                              22-Jun-2012 01:04                 160
34.runsolver.aptget                                18-Jun-2012 17:41                6962
34.runsolver.aptitude                              18-Jun-2012 17:29               11984
34.runsolver.cupt                                  18-Jun-2012 17:48                7120
34.runsolver.mpm                                   17-Sep-2012 15:45               18934
34.runsolver.smart                                 21-Jun-2012 02:02               11226
35.cudf_sol_check.aptitude                         18-Sep-2012 00:24                 120
35.cudf_sol_check.mpm                              22-Jun-2012 01:04                 160
35.runsolver.aptget                                18-Jun-2012 17:41                4790
35.runsolver.aptitude                              18-Jun-2012 17:29               14851
35.runsolver.cupt                                  18-Jun-2012 17:48                9185
35.runsolver.mpm                                   17-Sep-2012 15:45               18905
35.runsolver.smart                                 21-Jun-2012 02:02               11225
36.cudf_sol_check.aptitude                         18-Sep-2012 00:24                 115
36.cudf_sol_check.mpm                              22-Jun-2012 01:04                 160
36.runsolver.aptget                                18-Jun-2012 17:41                4804
36.runsolver.aptitude                              18-Jun-2012 17:29               11634
36.runsolver.cupt                                  18-Jun-2012 17:48               10843
36.runsolver.mpm                                   17-Sep-2012 15:45               18226
36.runsolver.smart                                 21-Jun-2012 02:02               10690
37.cudf_sol_check.aptitude                         18-Sep-2012 00:24                 170
37.cudf_sol_check.mpm                              22-Jun-2012 01:04                 160
37.runsolver.aptget                                18-Jun-2012 17:41                7558
37.runsolver.aptitude                              18-Jun-2012 17:29               13208
37.runsolver.cupt                                  18-Jun-2012 17:48                8090
37.runsolver.mpm                                   17-Sep-2012 15:45               16668
37.runsolver.smart                                 21-Jun-2012 02:02               11239
38.cudf_sol_check.mpm                              22-Jun-2012 01:05                 160
38.runsolver.aptget                                18-Jun-2012 17:41                7506
38.runsolver.aptitude                              18-Jun-2012 17:29               10636
38.runsolver.cupt                                  18-Jun-2012 17:48                7509
38.runsolver.mpm                                   17-Sep-2012 15:45               17212
38.runsolver.smart                                 21-Jun-2012 02:02               10688
39.cudf_sol_check.aptitude                         18-Sep-2012 00:25                 121
39.cudf_sol_check.mpm                              22-Jun-2012 01:05                 160
39.runsolver.aptget                                18-Jun-2012 17:41                4806
39.runsolver.aptitude                              18-Jun-2012 17:29               11993
39.runsolver.cupt                                  18-Jun-2012 17:48                6436
39.runsolver.mpm                                   17-Sep-2012 15:45               17269
39.runsolver.smart                                 21-Jun-2012 02:02               11244
4.cudf_sol_check.mpm                               22-Jun-2012 01:09                 159
4.runsolver.aptget                                 18-Jun-2012 17:41                7520
4.runsolver.aptitude                               18-Jun-2012 17:29               12930
4.runsolver.cupt                                   18-Jun-2012 17:48               11359
4.runsolver.mpm                                    17-Sep-2012 15:45               18037
4.runsolver.smart                                  21-Jun-2012 02:02               11200
40.cudf_sol_check.mpm                              22-Jun-2012 01:06                 160
40.runsolver.aptget                                18-Jun-2012 17:41                7549
40.runsolver.aptitude                              18-Jun-2012 17:29               11995
40.runsolver.cupt                                  18-Jun-2012 17:48                7000
40.runsolver.mpm                                   17-Sep-2012 15:45               16119
40.runsolver.smart                                 21-Jun-2012 02:02               11236
41.cudf_sol_check.aptitude                         18-Sep-2012 00:26                 104
41.cudf_sol_check.mpm                              22-Jun-2012 01:06                 160
41.runsolver.aptget                                18-Jun-2012 17:41                6972
41.runsolver.aptitude                              18-Jun-2012 17:29               11632
41.runsolver.cupt                                  18-Jun-2012 17:48               11395
41.runsolver.mpm                                   17-Sep-2012 15:45               16670
41.runsolver.smart                                 21-Jun-2012 02:02               11243
42.cudf_sol_check.aptitude                         18-Sep-2012 00:26                 107
42.cudf_sol_check.mpm                              22-Jun-2012 01:07                 160
42.runsolver.aptget                                18-Jun-2012 17:41                4255
42.runsolver.aptitude                              18-Jun-2012 17:29                8160
42.runsolver.cupt                                  18-Jun-2012 17:48                4802
42.runsolver.mpm                                   17-Sep-2012 15:45               17625
42.runsolver.smart                                 21-Jun-2012 02:02               11233
43.cudf_sol_check.aptitude                         18-Sep-2012 00:27                 170
43.cudf_sol_check.mpm                              22-Jun-2012 01:07                 160
43.runsolver.aptget                                18-Jun-2012 17:41                7501
43.runsolver.aptitude                              18-Jun-2012 17:29               12206
43.runsolver.cupt                                  18-Jun-2012 17:48                6970
43.runsolver.mpm                                   17-Sep-2012 15:45               16096
43.runsolver.smart                                 21-Jun-2012 02:02               10679
44.cudf_sol_check.mpm                              22-Jun-2012 01:07                 160
44.runsolver.aptget                                18-Jun-2012 17:41                6986
44.runsolver.aptitude                              18-Jun-2012 17:29                9899
44.runsolver.cupt                                  18-Jun-2012 17:48                4302
44.runsolver.mpm                                   17-Sep-2012 15:45               18886
44.runsolver.smart                                 21-Jun-2012 02:02               11250
45.cudf_sol_check.aptitude                         18-Sep-2012 00:28                 170
45.cudf_sol_check.mpm                              22-Jun-2012 01:08                 160
45.runsolver.aptget                                18-Jun-2012 17:41                4825
45.runsolver.aptitude                              18-Jun-2012 17:29               13224
45.runsolver.cupt                                  18-Jun-2012 17:48                7527
45.runsolver.mpm                                   17-Sep-2012 15:45               18958
45.runsolver.smart                                 21-Jun-2012 02:02               11243
46.cudf_sol_check.aptitude                         18-Sep-2012 00:28                 170
46.cudf_sol_check.mpm                              22-Jun-2012 01:08                 160
46.runsolver.aptget                                18-Jun-2012 17:41                7507
46.runsolver.aptitude                              18-Jun-2012 17:29               11428
46.runsolver.cupt                                  18-Jun-2012 17:48               12483
46.runsolver.mpm                                   17-Sep-2012 15:45               17772
46.runsolver.smart                                 21-Jun-2012 02:02               11192
47.cudf_sol_check.aptitude                         18-Sep-2012 00:28                 107
47.cudf_sol_check.mpm                              22-Jun-2012 01:08                 160
47.runsolver.aptget                                18-Jun-2012 17:41                4784
47.runsolver.aptitude                              18-Jun-2012 17:29               11211
47.runsolver.cupt                                  18-Jun-2012 17:48               10812
47.runsolver.mpm                                   17-Sep-2012 15:45               16080
47.runsolver.smart                                 21-Jun-2012 02:02               11234
48.cudf_sol_check.aptitude                         18-Sep-2012 00:28                 127
48.cudf_sol_check.mpm                              22-Jun-2012 01:09                 160
48.runsolver.aptget                                18-Jun-2012 17:41                7547
48.runsolver.aptitude                              18-Jun-2012 17:29               14862
48.runsolver.cupt                                  18-Jun-2012 17:48               11399
48.runsolver.mpm                                   17-Sep-2012 15:45               16106
48.runsolver.smart                                 21-Jun-2012 02:02               11257
49.cudf_sol_check.aptitude                         18-Sep-2012 00:29                 170
49.cudf_sol_check.mpm                              22-Jun-2012 01:09                 160
49.runsolver.aptget                                18-Jun-2012 17:41                7515
49.runsolver.aptitude                              18-Jun-2012 17:29               13182
49.runsolver.cupt                                  18-Jun-2012 17:48               11939
49.runsolver.mpm                                   17-Sep-2012 15:45               18320
49.runsolver.smart                                 21-Jun-2012 02:02               11232
5.cudf_sol_check.mpm                               22-Jun-2012 01:13                 159
5.runsolver.aptget                                 18-Jun-2012 17:41                4794
5.runsolver.aptitude                               18-Jun-2012 17:29               11996
5.runsolver.cupt                                   18-Jun-2012 17:48               12514
5.runsolver.mpm                                    17-Sep-2012 15:45               17323
5.runsolver.smart                                  21-Jun-2012 02:02               11218
50.cudf_sol_check.mpm                              22-Jun-2012 01:10                 160
50.runsolver.aptget                                18-Jun-2012 17:41                4799
50.runsolver.aptitude                              18-Jun-2012 17:29               16279
50.runsolver.cupt                                  18-Jun-2012 17:48                6418
50.runsolver.mpm                                   17-Sep-2012 15:45               14912
50.runsolver.smart                                 21-Jun-2012 02:02               10672
51.cudf_sol_check.aptitude                         18-Sep-2012 00:30                 124
51.cudf_sol_check.mpm                              22-Jun-2012 01:10                 160
51.runsolver.aptget                                18-Jun-2012 17:41                4804
51.runsolver.aptitude                              18-Jun-2012 17:29               12949
51.runsolver.cupt                                  18-Jun-2012 17:48                6965
51.runsolver.mpm                                   17-Sep-2012 15:45               16470
51.runsolver.smart                                 21-Jun-2012 02:02               11235
52.cudf_sol_check.mpm                              22-Jun-2012 01:10                 160
52.runsolver.aptget                                18-Jun-2012 17:41                4786
52.runsolver.aptitude                              18-Jun-2012 17:29                8425
52.runsolver.cupt                                  18-Jun-2012 17:48               10826
52.runsolver.mpm                                   17-Sep-2012 15:45                8782
52.runsolver.smart                                 21-Jun-2012 02:02               11217
53.cudf_sol_check.aptitude                         18-Sep-2012 00:30                 141
53.cudf_sol_check.mpm                              22-Jun-2012 01:10                 160
53.runsolver.aptget                                18-Jun-2012 17:41                4797
53.runsolver.aptitude                              18-Jun-2012 17:29               12207
53.runsolver.cupt                                  18-Jun-2012 17:48                6957
53.runsolver.mpm                                   17-Sep-2012 15:45               16916
53.runsolver.smart                                 21-Jun-2012 02:02               11234
54.cudf_sol_check.mpm                              22-Jun-2012 01:11                 160
54.runsolver.aptget                                18-Jun-2012 17:41                8089
54.runsolver.aptitude                              18-Jun-2012 17:29               14744
54.runsolver.cupt                                  18-Jun-2012 17:48                6477
54.runsolver.mpm                                   17-Sep-2012 15:45               17634
54.runsolver.smart                                 21-Jun-2012 02:02               11240
55.cudf_sol_check.mpm                              22-Jun-2012 01:11                 160
55.runsolver.aptget                                18-Jun-2012 17:41                7004
55.runsolver.aptitude                              18-Jun-2012 17:29               12583
55.runsolver.cupt                                  18-Jun-2012 17:48               10857
55.runsolver.mpm                                   17-Sep-2012 15:45               18613
55.runsolver.smart                                 21-Jun-2012 02:02               11222
56.cudf_sol_check.mpm                              22-Jun-2012 01:12                 160
56.runsolver.aptget                                18-Jun-2012 17:41                4825
56.runsolver.aptitude                              18-Jun-2012 17:29                5036
56.runsolver.cupt                                  18-Jun-2012 17:48                4823
56.runsolver.mpm                                   17-Sep-2012 15:45               17408
56.runsolver.smart                                 21-Jun-2012 02:02                7568
57.cudf_sol_check.mpm                              22-Jun-2012 01:12                 160
57.runsolver.aptget                                18-Jun-2012 17:41                7525
57.runsolver.aptitude                              18-Jun-2012 17:29               10692
57.runsolver.cupt                                  18-Jun-2012 17:48                4806
57.runsolver.mpm                                   17-Sep-2012 15:45               16388
57.runsolver.smart                                 21-Jun-2012 02:02               11235
58.cudf_sol_check.aptitude                         18-Sep-2012 00:32                 126
58.cudf_sol_check.mpm                              22-Jun-2012 01:12                 160
58.runsolver.aptget                                18-Jun-2012 17:41                5340
58.runsolver.aptitude                              18-Jun-2012 17:29               11982
58.runsolver.cupt                                  18-Jun-2012 17:48                8061
58.runsolver.mpm                                   17-Sep-2012 15:45               19142
58.runsolver.smart                                 21-Jun-2012 02:02               11246
59.cudf_sol_check.aptitude                         18-Sep-2012 00:32                 111
59.cudf_sol_check.mpm                              22-Jun-2012 01:13                 160
59.runsolver.aptget                                18-Jun-2012 17:41                4804
59.runsolver.aptitude                              18-Jun-2012 17:29               13529
59.runsolver.cupt                                  18-Jun-2012 17:48                6417
59.runsolver.mpm                                   17-Sep-2012 15:45               15791
59.runsolver.smart                                 21-Jun-2012 02:02               11216
6.cudf_sol_check.aptitude                          18-Sep-2012 00:36                 111
6.cudf_sol_check.mpm                               22-Jun-2012 01:16                 159
6.runsolver.aptget                                 18-Jun-2012 17:41                4771
6.runsolver.aptitude                               18-Jun-2012 17:29               12914
6.runsolver.cupt                                   18-Jun-2012 17:48               10285
6.runsolver.mpm                                    17-Sep-2012 15:45               18931
6.runsolver.smart                                  21-Jun-2012 02:02               11200
60.cudf_sol_check.mpm                              22-Jun-2012 01:13                 160
60.runsolver.aptget                                18-Jun-2012 17:41                4753
60.runsolver.aptitude                              18-Jun-2012 17:29               11030
60.runsolver.cupt                                  18-Jun-2012 17:48                8039
60.runsolver.mpm                                   17-Sep-2012 15:45               18232
60.runsolver.smart                                 21-Jun-2012 02:02               11194
61.cudf_sol_check.mpm                              22-Jun-2012 01:13                 160
61.runsolver.aptget                                18-Jun-2012 17:41                7518
61.runsolver.aptitude                              18-Jun-2012 17:29               12006
61.runsolver.cupt                                  18-Jun-2012 17:48                6963
61.runsolver.mpm                                   17-Sep-2012 15:45               17244
61.runsolver.smart                                 21-Jun-2012 02:02               11221
62.cudf_sol_check.aptitude                         18-Sep-2012 00:34                 170
62.cudf_sol_check.mpm                              22-Jun-2012 01:14                 160
62.runsolver.aptget                                18-Jun-2012 17:41                7004
62.runsolver.aptitude                              18-Jun-2012 17:29               11284
62.runsolver.cupt                                  18-Jun-2012 17:48                4811
62.runsolver.mpm                                   17-Sep-2012 15:45               16930
62.runsolver.smart                                 21-Jun-2012 02:02               11221
63.cudf_sol_check.aptitude                         18-Sep-2012 00:34                 124
63.cudf_sol_check.mpm                              22-Jun-2012 01:14                 160
63.runsolver.aptget                                18-Jun-2012 17:41                4781
63.runsolver.aptitude                              18-Jun-2012 17:29                9946
63.runsolver.cupt                                  18-Jun-2012 17:48               11369
63.runsolver.mpm                                   17-Sep-2012 15:45               16691
63.runsolver.smart                                 21-Jun-2012 02:02               11214
64.cudf_sol_check.mpm                              22-Jun-2012 01:14                 160
64.runsolver.aptget                                18-Jun-2012 17:41                5367
64.runsolver.aptitude                              18-Jun-2012 17:29                7255
64.runsolver.cupt                                  18-Jun-2012 17:48               12532
64.runsolver.mpm                                   17-Sep-2012 15:45               19166
64.runsolver.smart                                 21-Jun-2012 02:02               11271
65.cudf_sol_check.aptitude                         18-Sep-2012 00:34                 170
65.cudf_sol_check.mpm                              22-Jun-2012 01:15                 160
65.runsolver.aptget                                18-Jun-2012 17:41                4813
65.runsolver.aptitude                              18-Jun-2012 17:29               13192
65.runsolver.cupt                                  18-Jun-2012 17:48               11060
65.runsolver.mpm                                   17-Sep-2012 15:45               17015
65.runsolver.smart                                 21-Jun-2012 02:02               11235
66.cudf_sol_check.aptitude                         18-Sep-2012 00:35                 143
66.cudf_sol_check.mpm                              22-Jun-2012 01:15                 160
66.runsolver.aptget                                18-Jun-2012 17:41                5320
66.runsolver.aptitude                              18-Jun-2012 17:29               15094
66.runsolver.cupt                                  18-Jun-2012 17:48                4791
66.runsolver.mpm                                   17-Sep-2012 15:45               16033
66.runsolver.smart                                 21-Jun-2012 02:02               11197
67.cudf_sol_check.mpm                              22-Jun-2012 01:15                 160
67.runsolver.aptget                                18-Jun-2012 17:41                6428
67.runsolver.aptitude                              18-Jun-2012 17:29                8173
67.runsolver.cupt                                  18-Jun-2012 17:48                4800
67.runsolver.mpm                                   17-Sep-2012 15:45               17699
67.runsolver.smart                                 21-Jun-2012 02:02               11209
68.cudf_sol_check.aptitude                         18-Sep-2012 00:36                 170
68.cudf_sol_check.mpm                              22-Jun-2012 01:16                 160
68.runsolver.aptget                                18-Jun-2012 17:41                6958
68.runsolver.aptitude                              18-Jun-2012 17:29               12203
68.runsolver.cupt                                  18-Jun-2012 17:48                4789
68.runsolver.mpm                                   17-Sep-2012 15:45               17036
68.runsolver.smart                                 21-Jun-2012 02:02               11214
69.cudf_sol_check.aptitude                         18-Sep-2012 00:36                 155
69.cudf_sol_check.mpm                              22-Jun-2012 01:16                 160
69.runsolver.aptget                                18-Jun-2012 17:41                4805
69.runsolver.aptitude                              18-Jun-2012 17:29               11471
69.runsolver.cupt                                  18-Jun-2012 17:48               11396
69.runsolver.mpm                                   17-Sep-2012 15:45               16450
69.runsolver.smart                                 21-Jun-2012 02:02               11257
7.cudf_sol_check.aptitude                          18-Sep-2012 00:40                 170
7.cudf_sol_check.mpm                               22-Jun-2012 01:20                 159
7.runsolver.aptget                                 18-Jun-2012 17:41                5368
7.runsolver.aptitude                               18-Jun-2012 17:29               12248
7.runsolver.cupt                                   18-Jun-2012 17:48                6457
7.runsolver.mpm                                    17-Sep-2012 15:45               16132
7.runsolver.smart                                  21-Jun-2012 02:02               11239
70.cudf_sol_check.aptitude                         18-Sep-2012 00:37                 170
70.cudf_sol_check.mpm                              22-Jun-2012 01:17                 160
70.runsolver.aptget                                18-Jun-2012 17:41                7531
70.runsolver.aptitude                              18-Jun-2012 17:29               11449
70.runsolver.cupt                                  18-Jun-2012 17:48               12510
70.runsolver.mpm                                   17-Sep-2012 15:45               17710
70.runsolver.smart                                 21-Jun-2012 02:02               11239
71.cudf_sol_check.mpm                              22-Jun-2012 01:17                 160
71.runsolver.aptget                                18-Jun-2012 17:41                6965
71.runsolver.aptitude                              18-Jun-2012 17:29                9925
71.runsolver.cupt                                  18-Jun-2012 17:48                6945
71.runsolver.mpm                                   17-Sep-2012 15:45               17583
71.runsolver.smart                                 21-Jun-2012 02:02               11222
72.cudf_sol_check.mpm                              22-Jun-2012 01:18                 160
72.runsolver.aptget                                18-Jun-2012 17:41                6343
72.runsolver.aptitude                              18-Jun-2012 17:29                7238
72.runsolver.cupt                                  18-Jun-2012 17:48                4800
72.runsolver.mpm                                   17-Sep-2012 15:45               16700
72.runsolver.smart                                 21-Jun-2012 02:02               11212
73.cudf_sol_check.aptitude                         18-Sep-2012 00:38                 108
73.cudf_sol_check.mpm                              22-Jun-2012 01:18                 160
73.runsolver.aptget                                18-Jun-2012 17:41                7533
73.runsolver.aptitude                              18-Jun-2012 17:29               14864
73.runsolver.cupt                                  18-Jun-2012 17:48                4804
73.runsolver.mpm                                   17-Sep-2012 15:45               18194
73.runsolver.smart                                 21-Jun-2012 02:02               11233
74.cudf_sol_check.aptitude                         18-Sep-2012 00:38                 117
74.cudf_sol_check.mpm                              22-Jun-2012 01:18                 160
74.runsolver.aptget                                18-Jun-2012 17:41                4793
74.runsolver.aptitude                              18-Jun-2012 17:29                9147
74.runsolver.cupt                                  18-Jun-2012 17:48               11930
74.runsolver.mpm                                   17-Sep-2012 15:45               17262
74.runsolver.smart                                 21-Jun-2012 02:02               11236
75.cudf_sol_check.mpm                              22-Jun-2012 01:19                 160
75.runsolver.aptget                                18-Jun-2012 17:41                6998
75.runsolver.aptitude                              18-Jun-2012 17:29               12951
75.runsolver.cupt                                  18-Jun-2012 17:48                4829
75.runsolver.mpm                                   17-Sep-2012 15:45               17843
75.runsolver.smart                                 21-Jun-2012 02:02               11247
76.cudf_sol_check.aptitude                         18-Sep-2012 00:39                 108
76.cudf_sol_check.mpm                              22-Jun-2012 01:19                 160
76.runsolver.aptget                                18-Jun-2012 17:41                5348
76.runsolver.aptitude                              18-Jun-2012 17:29               11990
76.runsolver.cupt                                  18-Jun-2012 17:48               11942
76.runsolver.mpm                                   17-Sep-2012 15:45               16417
76.runsolver.smart                                 21-Jun-2012 02:02               11239
77.cudf_sol_check.mpm                              22-Jun-2012 01:19                 160
77.runsolver.aptget                                18-Jun-2012 17:41                6973
77.runsolver.aptitude                              18-Jun-2012 17:29                7277
77.runsolver.cupt                                  18-Jun-2012 17:48                4752
77.runsolver.mpm                                   17-Sep-2012 15:45               17445
77.runsolver.smart                                 21-Jun-2012 02:02               11217
78.cudf_sol_check.aptitude                         18-Sep-2012 00:40                 170
78.cudf_sol_check.mpm                              22-Jun-2012 01:20                 160
78.runsolver.aptget                                18-Jun-2012 17:41                7511
78.runsolver.aptitude                              18-Jun-2012 17:29               12196
78.runsolver.cupt                                  18-Jun-2012 17:48               10454
78.runsolver.mpm                                   17-Sep-2012 15:45               16461
78.runsolver.smart                                 21-Jun-2012 02:02               11227
79.cudf_sol_check.aptitude                         18-Sep-2012 00:40                 104
79.cudf_sol_check.mpm                              22-Jun-2012 01:20                 160
79.runsolver.aptget                                18-Jun-2012 17:41                6955
79.runsolver.aptitude                              18-Jun-2012 17:29               12754
79.runsolver.cupt                                  18-Jun-2012 17:48               13051
79.runsolver.mpm                                   17-Sep-2012 15:45               18010
79.runsolver.smart                                 21-Jun-2012 02:02               11207
8.cudf_sol_check.aptitude                          18-Sep-2012 00:44                 135
8.cudf_sol_check.mpm                               22-Jun-2012 01:24                 159
8.runsolver.aptget                                 18-Jun-2012 17:41                4804
8.runsolver.aptitude                               18-Jun-2012 17:29               12737
8.runsolver.cupt                                   18-Jun-2012 17:48                6432
8.runsolver.mpm                                    17-Sep-2012 15:45               16099
8.runsolver.smart                                  21-Jun-2012 02:02               11220
80.cudf_sol_check.aptitude                         18-Sep-2012 00:41                 170
80.cudf_sol_check.mpm                              22-Jun-2012 01:21                 160
80.runsolver.aptget                                18-Jun-2012 17:41                6995
80.runsolver.aptitude                              18-Jun-2012 17:29               12243
80.runsolver.cupt                                  18-Jun-2012 17:48                6454
80.runsolver.mpm                                   17-Sep-2012 15:45               16462
80.runsolver.smart                                 21-Jun-2012 02:02               11256
81.cudf_sol_check.aptitude                         18-Sep-2012 00:41                 170
81.cudf_sol_check.mpm                              22-Jun-2012 01:21                 160
81.runsolver.aptget                                18-Jun-2012 17:41                4772
81.runsolver.aptitude                              18-Jun-2012 17:29               11432
81.runsolver.cupt                                  18-Jun-2012 17:48               11014
81.runsolver.mpm                                   17-Sep-2012 15:45               17913
81.runsolver.smart                                 21-Jun-2012 02:02               10671
82.cudf_sol_check.mpm                              22-Jun-2012 01:21                 160
82.runsolver.aptget                                18-Jun-2012 17:41                6975
82.runsolver.aptitude                              18-Jun-2012 17:29               13720
82.runsolver.cupt                                  18-Jun-2012 17:48                7515
82.runsolver.mpm                                   17-Sep-2012 15:45               16071
82.runsolver.smart                                 21-Jun-2012 02:02               11229
83.cudf_sol_check.aptitude                         18-Sep-2012 00:42                 141
83.cudf_sol_check.mpm                              22-Jun-2012 01:22                 160
83.runsolver.aptget                                18-Jun-2012 17:41                7549
83.runsolver.aptitude                              18-Jun-2012 17:29               12240
83.runsolver.cupt                                  18-Jun-2012 17:48                4823
83.runsolver.mpm                                   17-Sep-2012 15:45               16790
83.runsolver.smart                                 21-Jun-2012 02:02               11247
84.cudf_sol_check.aptitude                         18-Sep-2012 00:42                 142
84.cudf_sol_check.mpm                              22-Jun-2012 01:22                 160
84.runsolver.aptget                                18-Jun-2012 17:41                4797
84.runsolver.aptitude                              18-Jun-2012 17:29               11451
84.runsolver.cupt                                  18-Jun-2012 17:48               12493
84.runsolver.mpm                                   17-Sep-2012 15:45               15723
84.runsolver.smart                                 21-Jun-2012 02:02               11252
85.cudf_sol_check.aptitude                         18-Sep-2012 00:42                 125
85.cudf_sol_check.mpm                              22-Jun-2012 01:22                 160
85.runsolver.aptget                                18-Jun-2012 17:41                4783
85.runsolver.aptitude                              18-Jun-2012 17:29               14067
85.runsolver.cupt                                  18-Jun-2012 17:48               12489
85.runsolver.mpm                                   17-Sep-2012 15:45               18034
85.runsolver.smart                                 21-Jun-2012 02:02               11221
86.cudf_sol_check.aptitude                         18-Sep-2012 00:42                 127
86.cudf_sol_check.mpm                              22-Jun-2012 01:23                 160
86.runsolver.aptget                                18-Jun-2012 17:41                4801
86.runsolver.aptitude                              18-Jun-2012 17:29                8196
86.runsolver.cupt                                  18-Jun-2012 17:48                9199
86.runsolver.mpm                                   17-Sep-2012 15:45               18542
86.runsolver.smart                                 21-Jun-2012 02:02               11246
87.cudf_sol_check.mpm                              22-Jun-2012 01:23                 160
87.runsolver.aptget                                18-Jun-2012 17:41                6994
87.runsolver.aptitude                              18-Jun-2012 17:29                8182
87.runsolver.cupt                                  18-Jun-2012 17:48               10454
87.runsolver.mpm                                   17-Sep-2012 15:45               16642
87.runsolver.smart                                 21-Jun-2012 02:02               11207
88.cudf_sol_check.aptitude                         18-Sep-2012 00:43                 121
88.cudf_sol_check.mpm                              22-Jun-2012 01:23                 160
88.runsolver.aptget                                18-Jun-2012 17:41                4781
88.runsolver.aptitude                              18-Jun-2012 17:29               14846
88.runsolver.cupt                                  18-Jun-2012 17:48               10816
88.runsolver.mpm                                   17-Sep-2012 15:45               16993
88.runsolver.smart                                 21-Jun-2012 02:02               11214
89.cudf_sol_check.aptitude                         18-Sep-2012 00:43                 170
89.cudf_sol_check.mpm                              22-Jun-2012 01:24                 160
89.runsolver.aptget                                18-Jun-2012 17:41                6986
89.runsolver.aptitude                              18-Jun-2012 17:29               13190
89.runsolver.cupt                                  18-Jun-2012 17:48                4805
89.runsolver.mpm                                   17-Sep-2012 15:45               10454
89.runsolver.smart                                 21-Jun-2012 02:02               11246
9.cudf_sol_check.mpm                               22-Jun-2012 01:27                 159
9.runsolver.aptget                                 18-Jun-2012 17:41                7494
9.runsolver.aptitude                               18-Jun-2012 17:29               12925
9.runsolver.cupt                                   18-Jun-2012 17:48               10826
9.runsolver.mpm                                    17-Sep-2012 15:45               16015
9.runsolver.smart                                  21-Jun-2012 02:02               11226
90.cudf_sol_check.mpm                              22-Jun-2012 01:24                 160
90.runsolver.aptget                                18-Jun-2012 17:41                6419
90.runsolver.aptitude                              18-Jun-2012 17:29               10231
90.runsolver.cupt                                  18-Jun-2012 17:48                4807
90.runsolver.mpm                                   17-Sep-2012 15:45               16702
90.runsolver.smart                                 21-Jun-2012 02:02               11209
91.cudf_sol_check.mpm                              22-Jun-2012 01:25                 160
91.runsolver.aptget                                18-Jun-2012 17:41                4780
91.runsolver.aptitude                              18-Jun-2012 17:29               11608
91.runsolver.cupt                                  18-Jun-2012 17:48               10461
91.runsolver.mpm                                   17-Sep-2012 15:45               19216
91.runsolver.smart                                 21-Jun-2012 02:02               11165
92.cudf_sol_check.aptitude                         18-Sep-2012 00:45                 170
92.cudf_sol_check.mpm                              22-Jun-2012 01:25                 160
92.runsolver.aptget                                18-Jun-2012 17:41                5335
92.runsolver.aptitude                              18-Jun-2012 17:29               13188
92.runsolver.cupt                                  18-Jun-2012 17:48                6424
92.runsolver.mpm                                   17-Sep-2012 15:45               16365
92.runsolver.smart                                 21-Jun-2012 02:02               11238
93.cudf_sol_check.aptitude                         18-Sep-2012 00:45                 170
93.cudf_sol_check.mpm                              22-Jun-2012 01:25                 160
93.runsolver.aptget                                18-Jun-2012 17:41                6956
93.runsolver.aptitude                              18-Jun-2012 17:29               11801
93.runsolver.cupt                                  18-Jun-2012 17:48                8623
93.runsolver.mpm                                   17-Sep-2012 15:45               17233
93.runsolver.smart                                 21-Jun-2012 02:02               11215
94.cudf_sol_check.aptitude                         18-Sep-2012 00:45                 118
94.cudf_sol_check.mpm                              22-Jun-2012 01:25                 160
94.runsolver.aptget                                18-Jun-2012 17:41                4798
94.runsolver.aptitude                              18-Jun-2012 17:29               14074
94.runsolver.cupt                                  18-Jun-2012 17:48               10825
94.runsolver.mpm                                   17-Sep-2012 15:45               16282
94.runsolver.smart                                 21-Jun-2012 02:02               11217
95.cudf_sol_check.mpm                              22-Jun-2012 01:26                 160
95.runsolver.aptget                                18-Jun-2012 17:41                7540
95.runsolver.aptitude                              18-Jun-2012 17:29               12941
95.runsolver.cupt                                  18-Jun-2012 17:48               11025
95.runsolver.mpm                                   17-Sep-2012 15:45               18005
95.runsolver.smart                                 21-Jun-2012 02:02               11203
96.cudf_sol_check.aptitude                         18-Sep-2012 00:46                 141
96.cudf_sol_check.mpm                              22-Jun-2012 01:26                 160
96.runsolver.aptget                                18-Jun-2012 17:41                4811
96.runsolver.aptitude                              18-Jun-2012 17:29               12234
96.runsolver.cupt                                  18-Jun-2012 17:49                6992
96.runsolver.mpm                                   17-Sep-2012 15:45               14758
96.runsolver.smart                                 21-Jun-2012 02:02               11277
97.cudf_sol_check.aptitude                         18-Sep-2012 00:46                 170
97.cudf_sol_check.mpm                              22-Jun-2012 01:26                 160
97.runsolver.aptget                                18-Jun-2012 17:41                4822
97.runsolver.aptitude                              18-Jun-2012 17:29               12402
97.runsolver.cupt                                  18-Jun-2012 17:48               11954
97.runsolver.mpm                                   17-Sep-2012 15:45               16462
97.runsolver.smart                                 21-Jun-2012 02:02               11252
98.cudf_sol_check.mpm                              22-Jun-2012 01:27                 160
98.runsolver.aptget                                18-Jun-2012 17:41                6966
98.runsolver.aptitude                              18-Jun-2012 17:29                9905
98.runsolver.cupt                                  18-Jun-2012 17:48               10813
98.runsolver.mpm                                   17-Sep-2012 15:45               17708
98.runsolver.smart                                 21-Jun-2012 02:02               11214
99.cudf_sol_check.aptitude                         18-Sep-2012 00:47                 106
99.cudf_sol_check.mpm                              22-Jun-2012 01:27                 160
99.runsolver.aptget                                18-Jun-2012 17:41                4779
99.runsolver.aptitude                              18-Jun-2012 17:29               11961
99.runsolver.cupt                                  18-Jun-2012 17:48               10266
99.runsolver.mpm                                   17-Sep-2012 15:45               18026
99.runsolver.smart                                 21-Jun-2012 02:02               11243