Index of /papers/its2012/results/sarge-etch/logs/
../
1.cudf_sol_check.aptitude 17-Sep-2012 17:20 110
1.cudf_sol_check.mpm 21-Jun-2012 23:49 145
1.runsolver.aptget 18-Jun-2012 17:38 4798
1.runsolver.aptitude 18-Jun-2012 17:28 6290
1.runsolver.cupt 18-Jun-2012 17:47 7516
1.runsolver.mpm 17-Sep-2012 15:42 14570
1.runsolver.smart 21-Jun-2012 02:00 11101
10.cudf_sol_check.mpm 21-Jun-2012 23:30 146
10.cudf_sol_check.smart 14-Jul-2012 10:41 180
10.runsolver.aptget 18-Jun-2012 17:38 4216
10.runsolver.aptitude 18-Jun-2012 17:28 7211
10.runsolver.cupt 18-Jun-2012 17:47 4245
10.runsolver.mpm 17-Sep-2012 15:42 14636
10.runsolver.smart 21-Jun-2012 02:00 10311
100.cudf_sol_check.mpm 21-Jun-2012 23:27 147
100.runsolver.aptget 18-Jun-2012 17:38 4265
100.runsolver.aptitude 18-Jun-2012 17:28 7231
100.runsolver.cupt 18-Jun-2012 17:47 4273
100.runsolver.mpm 17-Sep-2012 15:42 14612
100.runsolver.smart 21-Jun-2012 02:00 11101
101.cudf_sol_check.aptget 17-Sep-2012 17:05 197
101.cudf_sol_check.aptitude 17-Sep-2012 17:05 110
101.cudf_sol_check.mpm 17-Sep-2012 17:05 1697
101.runsolver.aptget 18-Jun-2012 17:38 4766
101.runsolver.aptitude 18-Jun-2012 17:28 7219
101.runsolver.cupt 18-Jun-2012 17:47 4788
101.runsolver.mpm 17-Sep-2012 15:42 14638
101.runsolver.smart 21-Jun-2012 02:00 10553
102.cudf_sol_check.mpm 21-Jun-2012 23:28 147
102.runsolver.aptget 18-Jun-2012 17:38 4762
102.runsolver.aptitude 18-Jun-2012 17:28 7196
102.runsolver.cupt 18-Jun-2012 17:47 6402
102.runsolver.mpm 17-Sep-2012 15:42 15201
102.runsolver.smart 21-Jun-2012 02:00 11077
103.cudf_sol_check.mpm 21-Jun-2012 23:28 147
103.runsolver.aptget 18-Jun-2012 17:38 5837
103.runsolver.aptitude 18-Jun-2012 17:28 8136
103.runsolver.cupt 18-Jun-2012 17:47 9684
103.runsolver.mpm 17-Sep-2012 15:42 10578
103.runsolver.smart 21-Jun-2012 02:00 10319
104.cudf_sol_check.mpm 21-Jun-2012 23:28 147
104.runsolver.aptget 18-Jun-2012 17:38 4778
104.runsolver.aptitude 18-Jun-2012 17:28 7226
104.runsolver.cupt 18-Jun-2012 17:47 5346
104.runsolver.mpm 17-Sep-2012 15:42 12950
104.runsolver.smart 21-Jun-2012 02:00 11089
105.cudf_sol_check.mpm 21-Jun-2012 23:29 147
105.runsolver.aptget 18-Jun-2012 17:38 4785
105.runsolver.aptitude 18-Jun-2012 17:28 8235
105.runsolver.cupt 18-Jun-2012 17:47 6428
105.runsolver.mpm 17-Sep-2012 15:42 12960
105.runsolver.smart 21-Jun-2012 02:00 11091
106.cudf_sol_check.mpm 21-Jun-2012 23:29 147
106.runsolver.aptget 18-Jun-2012 17:38 4765
106.runsolver.aptitude 18-Jun-2012 17:28 9104
106.runsolver.cupt 18-Jun-2012 17:47 5329
106.runsolver.mpm 17-Sep-2012 15:42 11152
106.runsolver.smart 21-Jun-2012 02:00 12544
107.cudf_sol_check.mpm 21-Jun-2012 23:29 147
107.runsolver.aptget 18-Jun-2012 17:38 5288
107.runsolver.aptitude 18-Jun-2012 17:28 6259
107.runsolver.cupt 18-Jun-2012 17:47 5314
107.runsolver.mpm 17-Sep-2012 15:42 12626
107.runsolver.smart 21-Jun-2012 02:00 11074
108.cudf_sol_check.mpm 21-Jun-2012 23:30 147
108.runsolver.aptget 18-Jun-2012 17:38 4766
108.runsolver.aptitude 18-Jun-2012 17:28 10053
108.runsolver.cupt 18-Jun-2012 17:47 4790
108.runsolver.mpm 17-Sep-2012 15:42 13000
108.runsolver.smart 21-Jun-2012 02:00 11081
109.cudf_sol_check.aptitude 17-Sep-2012 17:06 108
109.cudf_sol_check.mpm 17-Sep-2012 17:06 1697
109.cudf_sol_check.smart 17-Sep-2012 17:07 341
109.runsolver.aptget 18-Jun-2012 17:38 4781
109.runsolver.aptitude 18-Jun-2012 17:28 10063
109.runsolver.cupt 18-Jun-2012 17:47 5878
109.runsolver.mpm 17-Sep-2012 15:42 14335
109.runsolver.smart 21-Jun-2012 02:00 10312
11.cudf_sol_check.aptitude 17-Sep-2012 17:09 113
11.cudf_sol_check.mpm 21-Jun-2012 23:34 146
11.runsolver.aptget 18-Jun-2012 17:38 4767
11.runsolver.aptitude 18-Jun-2012 17:28 10055
11.runsolver.cupt 18-Jun-2012 17:47 6934
11.runsolver.mpm 17-Sep-2012 15:42 12983
11.runsolver.smart 21-Jun-2012 02:00 10519
110.cudf_sol_check.aptget 17-Sep-2012 17:07 120
110.cudf_sol_check.mpm 17-Sep-2012 17:07 1697
110.cudf_sol_check.smart 17-Sep-2012 17:07 120
110.runsolver.aptget 18-Jun-2012 17:38 4226
110.runsolver.aptitude 18-Jun-2012 17:28 6291
110.runsolver.cupt 18-Jun-2012 17:47 6422
110.runsolver.mpm 17-Sep-2012 15:42 14246
110.runsolver.smart 21-Jun-2012 02:00 10880
111.cudf_sol_check.mpm 21-Jun-2012 23:31 147
111.runsolver.aptget 18-Jun-2012 17:38 4754
111.runsolver.aptitude 18-Jun-2012 17:28 7228
111.runsolver.cupt 18-Jun-2012 17:47 6938
111.runsolver.mpm 17-Sep-2012 15:42 13555
111.runsolver.smart 21-Jun-2012 02:00 11067
112.cudf_sol_check.mpm 21-Jun-2012 23:32 147
112.runsolver.aptget 18-Jun-2012 17:38 4762
112.runsolver.aptitude 18-Jun-2012 17:28 7224
112.runsolver.cupt 18-Jun-2012 17:47 8016
112.runsolver.mpm 17-Sep-2012 15:42 15192
112.runsolver.smart 21-Jun-2012 02:00 11098
113.cudf_sol_check.mpm 21-Jun-2012 23:32 147
113.runsolver.aptget 18-Jun-2012 17:38 4786
113.runsolver.aptitude 18-Jun-2012 17:28 7214
113.runsolver.cupt 18-Jun-2012 17:47 6950
113.runsolver.mpm 17-Sep-2012 15:42 15139
113.runsolver.smart 21-Jun-2012 02:00 11073
114.cudf_sol_check.mpm 21-Jun-2012 23:32 147
114.runsolver.aptget 18-Jun-2012 17:38 4742
114.runsolver.aptitude 18-Jun-2012 17:28 8125
114.runsolver.cupt 18-Jun-2012 17:47 5838
114.runsolver.mpm 17-Sep-2012 15:42 12984
114.runsolver.smart 21-Jun-2012 02:00 11054
115.cudf_sol_check.mpm 21-Jun-2012 23:33 147
115.runsolver.aptget 18-Jun-2012 17:38 4765
115.runsolver.aptitude 18-Jun-2012 17:28 6308
115.runsolver.cupt 18-Jun-2012 17:47 5892
115.runsolver.mpm 17-Sep-2012 15:42 14518
115.runsolver.smart 21-Jun-2012 02:00 11129
116.cudf_sol_check.mpm 21-Jun-2012 23:33 147
116.runsolver.aptget 18-Jun-2012 17:38 4758
116.runsolver.aptitude 18-Jun-2012 17:28 7231
116.runsolver.cupt 18-Jun-2012 17:47 6405
116.runsolver.mpm 17-Sep-2012 15:42 10597
116.runsolver.smart 21-Jun-2012 02:00 10884
117.cudf_sol_check.mpm 21-Jun-2012 23:33 147
117.runsolver.aptget 18-Jun-2012 17:38 4226
117.runsolver.aptitude 18-Jun-2012 17:28 6868
117.runsolver.cupt 18-Jun-2012 17:47 5860
117.runsolver.mpm 17-Sep-2012 15:42 14551
117.runsolver.smart 21-Jun-2012 02:00 6914
118.cudf_sol_check.mpm 21-Jun-2012 23:34 147
118.runsolver.aptget 18-Jun-2012 17:38 4750
118.runsolver.aptitude 18-Jun-2012 17:28 6270
118.runsolver.cupt 18-Jun-2012 17:47 7500
118.runsolver.mpm 17-Sep-2012 15:42 11210
118.runsolver.smart 21-Jun-2012 02:00 11087
119.cudf_sol_check.mpm 21-Jun-2012 23:34 147
119.runsolver.aptget 18-Jun-2012 17:38 4782
119.runsolver.aptitude 18-Jun-2012 17:28 7194
119.runsolver.cupt 18-Jun-2012 17:47 7483
119.runsolver.mpm 17-Sep-2012 15:42 15197
119.runsolver.smart 21-Jun-2012 02:00 11096
12.cudf_sol_check.mpm 21-Jun-2012 23:38 146
12.cudf_sol_check.smart 14-Jul-2012 10:49 149
12.runsolver.aptget 18-Jun-2012 17:38 4228
12.runsolver.aptitude 18-Jun-2012 17:28 5369
12.runsolver.cupt 18-Jun-2012 17:47 4270
12.runsolver.mpm 17-Sep-2012 15:42 14230
12.runsolver.smart 21-Jun-2012 02:00 10320
120.cudf_sol_check.mpm 21-Jun-2012 23:34 147
120.runsolver.aptget 18-Jun-2012 17:38 5344
120.runsolver.aptitude 18-Jun-2012 17:28 8164
120.runsolver.cupt 18-Jun-2012 17:47 5879
120.runsolver.mpm 17-Sep-2012 15:42 11170
120.runsolver.smart 21-Jun-2012 02:00 11094
121.cudf_sol_check.mpm 21-Jun-2012 23:35 147
121.runsolver.aptget 18-Jun-2012 17:38 4759
121.runsolver.aptitude 18-Jun-2012 17:28 8150
121.runsolver.cupt 18-Jun-2012 17:47 6417
121.runsolver.mpm 17-Sep-2012 15:42 11139
121.runsolver.smart 21-Jun-2012 02:00 11978
122.cudf_sol_check.mpm 21-Jun-2012 23:35 147
122.runsolver.aptget 18-Jun-2012 17:38 4774
122.runsolver.aptitude 18-Jun-2012 17:28 6847
122.runsolver.cupt 18-Jun-2012 17:47 6953
122.runsolver.mpm 17-Sep-2012 15:42 12979
122.runsolver.smart 21-Jun-2012 02:00 6436
123.cudf_sol_check.mpm 21-Jun-2012 23:36 147
123.runsolver.aptget 18-Jun-2012 17:38 4758
123.runsolver.aptitude 18-Jun-2012 17:28 7774
123.runsolver.cupt 18-Jun-2012 17:47 6927
123.runsolver.mpm 17-Sep-2012 15:42 10604
123.runsolver.smart 21-Jun-2012 02:00 9763
124.cudf_sol_check.mpm 21-Jun-2012 23:36 147
124.runsolver.aptget 18-Jun-2012 17:38 4195
124.runsolver.aptitude 18-Jun-2012 17:28 9073
124.runsolver.cupt 18-Jun-2012 17:47 11931
124.runsolver.mpm 17-Sep-2012 15:42 10558
124.runsolver.smart 21-Jun-2012 02:00 8650
125.cudf_sol_check.mpm 21-Jun-2012 23:36 147
125.runsolver.aptget 18-Jun-2012 17:38 4778
125.runsolver.aptitude 18-Jun-2012 17:28 8155
125.runsolver.cupt 18-Jun-2012 17:47 7493
125.runsolver.mpm 17-Sep-2012 15:42 13562
125.runsolver.smart 21-Jun-2012 02:00 11087
126.cudf_sol_check.mpm 21-Jun-2012 23:37 147
126.runsolver.aptget 18-Jun-2012 17:38 4790
126.runsolver.aptitude 18-Jun-2012 17:28 7252
126.runsolver.cupt 18-Jun-2012 17:47 6415
126.runsolver.mpm 17-Sep-2012 15:42 11221
126.runsolver.smart 21-Jun-2012 02:00 11065
127.cudf_sol_check.mpm 21-Jun-2012 23:37 147
127.runsolver.aptget 18-Jun-2012 17:38 4764
127.runsolver.aptitude 18-Jun-2012 17:28 7828
127.runsolver.cupt 18-Jun-2012 17:47 5328
127.runsolver.mpm 17-Sep-2012 15:42 15202
127.runsolver.smart 21-Jun-2012 02:00 11094
128.cudf_sol_check.aptget 17-Sep-2012 17:11 125
128.cudf_sol_check.mpm 17-Sep-2012 17:11 1697
128.runsolver.aptget 18-Jun-2012 17:38 4788
128.runsolver.aptitude 18-Jun-2012 17:28 8173
128.runsolver.cupt 18-Jun-2012 17:47 6428
128.runsolver.mpm 17-Sep-2012 15:42 14229
128.runsolver.smart 21-Jun-2012 02:00 11091
129.cudf_sol_check.mpm 21-Jun-2012 23:38 147
129.runsolver.aptget 18-Jun-2012 17:38 4733
129.runsolver.aptitude 18-Jun-2012 17:28 6845
129.runsolver.cupt 18-Jun-2012 17:47 5846
129.runsolver.mpm 17-Sep-2012 15:42 12962
129.runsolver.smart 21-Jun-2012 02:00 11056
13.cudf_sol_check.aptitude 17-Sep-2012 17:14 144
13.cudf_sol_check.mpm 21-Jun-2012 23:41 146
13.runsolver.aptget 18-Jun-2012 17:38 4787
13.runsolver.aptitude 18-Jun-2012 17:28 11015
13.runsolver.cupt 18-Jun-2012 17:47 6405
13.runsolver.mpm 17-Sep-2012 15:42 13380
13.runsolver.smart 21-Jun-2012 02:00 11063
130.cudf_sol_check.aptget 17-Sep-2012 17:12 187
130.cudf_sol_check.mpm 17-Sep-2012 17:12 1697
130.runsolver.aptget 18-Jun-2012 17:38 4758
130.runsolver.aptitude 18-Jun-2012 17:28 7209
130.runsolver.cupt 18-Jun-2012 17:47 7469
130.runsolver.mpm 17-Sep-2012 15:42 14217
130.runsolver.smart 21-Jun-2012 02:00 11055
131.cudf_sol_check.mpm 21-Jun-2012 23:39 147
131.runsolver.aptget 18-Jun-2012 17:38 4773
131.runsolver.aptitude 18-Jun-2012 17:28 9084
131.runsolver.cupt 18-Jun-2012 17:47 5311
131.runsolver.mpm 17-Sep-2012 15:42 10575
131.runsolver.smart 21-Jun-2012 02:00 6395
132.cudf_sol_check.mpm 21-Jun-2012 23:39 147
132.runsolver.aptget 18-Jun-2012 17:38 4754
132.runsolver.aptitude 18-Jun-2012 17:28 8148
132.runsolver.cupt 18-Jun-2012 17:47 8041
132.runsolver.mpm 17-Sep-2012 15:42 11150
132.runsolver.smart 21-Jun-2012 02:00 11053
133.cudf_sol_check.mpm 21-Jun-2012 23:39 147
133.runsolver.aptget 18-Jun-2012 17:38 4748
133.runsolver.aptitude 18-Jun-2012 17:28 7201
133.runsolver.cupt 18-Jun-2012 17:47 6951
133.runsolver.mpm 17-Sep-2012 15:42 10573
133.runsolver.smart 21-Jun-2012 02:00 11090
134.cudf_sol_check.mpm 21-Jun-2012 23:40 147
134.runsolver.aptget 18-Jun-2012 17:38 4761
134.runsolver.aptitude 18-Jun-2012 17:28 9092
134.runsolver.cupt 18-Jun-2012 17:47 6924
134.runsolver.mpm 17-Sep-2012 15:42 10575
134.runsolver.smart 21-Jun-2012 02:00 11046
135.cudf_sol_check.mpm 21-Jun-2012 23:40 147
135.runsolver.aptget 18-Jun-2012 17:38 4776
135.runsolver.aptitude 18-Jun-2012 17:28 8167
135.runsolver.cupt 18-Jun-2012 17:47 5880
135.runsolver.mpm 17-Sep-2012 15:42 10605
135.runsolver.smart 21-Jun-2012 02:00 9224
136.cudf_sol_check.mpm 21-Jun-2012 23:40 147
136.runsolver.aptget 18-Jun-2012 17:38 4780
136.runsolver.aptitude 18-Jun-2012 17:28 8176
136.runsolver.cupt 18-Jun-2012 17:47 9123
136.runsolver.mpm 17-Sep-2012 15:42 15216
136.runsolver.smart 21-Jun-2012 02:00 11089
137.cudf_sol_check.mpm 21-Jun-2012 23:40 147
137.runsolver.aptget 18-Jun-2012 17:38 4757
137.runsolver.aptitude 18-Jun-2012 17:28 8166
137.runsolver.cupt 18-Jun-2012 17:47 9140
137.runsolver.mpm 17-Sep-2012 15:42 11151
137.runsolver.smart 21-Jun-2012 02:00 11992
138.cudf_sol_check.mpm 21-Jun-2012 23:41 147
138.runsolver.aptget 18-Jun-2012 17:38 4729
138.runsolver.aptitude 18-Jun-2012 17:28 7210
138.runsolver.cupt 18-Jun-2012 17:47 8040
138.runsolver.mpm 17-Sep-2012 15:42 10571
138.runsolver.smart 21-Jun-2012 02:00 11051
139.cudf_sol_check.mpm 21-Jun-2012 23:41 147
139.runsolver.aptget 18-Jun-2012 17:38 4759
139.runsolver.aptitude 18-Jun-2012 17:28 8131
139.runsolver.cupt 18-Jun-2012 17:47 8023
139.runsolver.mpm 17-Sep-2012 15:42 12976
139.runsolver.smart 21-Jun-2012 02:00 13661
14.cudf_sol_check.mpm 21-Jun-2012 23:45 146
14.runsolver.aptget 18-Jun-2012 17:38 4240
14.runsolver.aptitude 18-Jun-2012 17:28 6279
14.runsolver.cupt 18-Jun-2012 17:47 4249
14.runsolver.mpm 17-Sep-2012 15:42 13953
14.runsolver.smart 21-Jun-2012 02:00 11053
140.cudf_sol_check.mpm 21-Jun-2012 23:42 147
140.runsolver.aptget 18-Jun-2012 17:38 4791
140.runsolver.aptitude 18-Jun-2012 17:28 8165
140.runsolver.cupt 18-Jun-2012 17:47 8040
140.runsolver.mpm 17-Sep-2012 15:42 10602
140.runsolver.smart 21-Jun-2012 02:00 9231
141.cudf_sol_check.mpm 21-Jun-2012 23:42 147
141.runsolver.aptget 18-Jun-2012 17:38 5275
141.runsolver.aptitude 18-Jun-2012 17:28 7775
141.runsolver.cupt 18-Jun-2012 17:47 5866
141.runsolver.mpm 17-Sep-2012 15:42 12916
141.runsolver.smart 21-Jun-2012 02:00 10866
142.cudf_sol_check.mpm 21-Jun-2012 23:42 147
142.runsolver.aptget 18-Jun-2012 17:38 4757
142.runsolver.aptitude 18-Jun-2012 17:28 9087
142.runsolver.cupt 18-Jun-2012 17:47 5875
142.runsolver.mpm 17-Sep-2012 15:42 10599
142.runsolver.smart 21-Jun-2012 02:00 7546
143.cudf_sol_check.mpm 21-Jun-2012 23:43 147
143.runsolver.aptget 18-Jun-2012 17:38 4749
143.runsolver.aptitude 18-Jun-2012 17:28 9085
143.runsolver.cupt 18-Jun-2012 17:47 6944
143.runsolver.mpm 17-Sep-2012 15:42 10591
143.runsolver.smart 21-Jun-2012 02:00 8609
144.cudf_sol_check.mpm 21-Jun-2012 23:43 147
144.runsolver.aptget 18-Jun-2012 17:38 4758
144.runsolver.aptitude 18-Jun-2012 17:28 7269
144.runsolver.cupt 18-Jun-2012 17:47 8024
144.runsolver.mpm 17-Sep-2012 15:42 9466
144.runsolver.smart 21-Jun-2012 02:00 11044
145.cudf_sol_check.mpm 21-Jun-2012 23:43 147
145.runsolver.aptget 18-Jun-2012 17:38 5301
145.runsolver.aptitude 18-Jun-2012 17:28 8173
145.runsolver.cupt 18-Jun-2012 17:47 8030
145.runsolver.mpm 17-Sep-2012 15:42 9973
145.runsolver.smart 21-Jun-2012 02:00 13670
146.cudf_sol_check.mpm 21-Jun-2012 23:43 147
146.cudf_sol_check.smart 14-Jul-2012 10:54 161
146.runsolver.aptget 18-Jun-2012 17:38 4759
146.runsolver.aptitude 18-Jun-2012 17:28 8745
146.runsolver.cupt 18-Jun-2012 17:47 9750
146.runsolver.mpm 17-Sep-2012 15:42 10623
146.runsolver.smart 21-Jun-2012 02:00 9209
147.cudf_sol_check.mpm 21-Jun-2012 23:44 147
147.runsolver.aptget 18-Jun-2012 17:38 5306
147.runsolver.aptitude 18-Jun-2012 17:28 9120
147.runsolver.cupt 18-Jun-2012 17:47 5334
147.runsolver.mpm 17-Sep-2012 15:42 11184
147.runsolver.smart 21-Jun-2012 02:00 10265
148.cudf_sol_check.mpm 21-Jun-2012 23:44 147
148.runsolver.aptget 18-Jun-2012 17:38 4776
148.runsolver.aptitude 18-Jun-2012 17:28 6854
148.runsolver.cupt 18-Jun-2012 17:47 5347
148.runsolver.mpm 17-Sep-2012 15:42 11077
148.runsolver.smart 21-Jun-2012 02:00 10514
149.cudf_sol_check.mpm 21-Jun-2012 23:44 147
149.runsolver.aptget 18-Jun-2012 17:38 4745
149.runsolver.aptitude 18-Jun-2012 17:28 8130
149.runsolver.cupt 18-Jun-2012 17:47 6951
149.runsolver.mpm 17-Sep-2012 15:42 12180
149.runsolver.smart 21-Jun-2012 02:00 11054
15.cudf_sol_check.aptitude 17-Sep-2012 17:18 113
15.cudf_sol_check.mpm 21-Jun-2012 23:47 146
15.runsolver.aptget 18-Jun-2012 17:38 4224
15.runsolver.aptitude 18-Jun-2012 17:28 6890
15.runsolver.cupt 18-Jun-2012 17:47 5334
15.runsolver.mpm 17-Sep-2012 15:42 13719
15.runsolver.smart 21-Jun-2012 02:00 11099
150.cudf_sol_check.aptget 17-Sep-2012 17:16 120
150.cudf_sol_check.mpm 17-Sep-2012 17:16 1697
150.runsolver.aptget 18-Jun-2012 17:38 4202
150.runsolver.aptitude 18-Jun-2012 17:28 6291
150.runsolver.cupt 18-Jun-2012 17:47 5302
150.runsolver.mpm 17-Sep-2012 15:42 15388
150.runsolver.smart 21-Jun-2012 02:00 11076
151.cudf_sol_check.mpm 21-Jun-2012 23:45 147
151.runsolver.aptget 18-Jun-2012 17:38 4773
151.runsolver.aptitude 18-Jun-2012 17:28 7203
151.runsolver.cupt 18-Jun-2012 17:47 7486
151.runsolver.mpm 17-Sep-2012 15:42 13547
151.runsolver.smart 21-Jun-2012 02:00 11053
152.cudf_sol_check.mpm 21-Jun-2012 23:45 147
152.runsolver.aptget 18-Jun-2012 17:38 4755
152.runsolver.aptitude 18-Jun-2012 17:28 8192
152.runsolver.cupt 18-Jun-2012 17:47 7505
152.runsolver.mpm 17-Sep-2012 15:42 11702
152.runsolver.smart 21-Jun-2012 02:00 6980
153.cudf_sol_check.aptget 17-Sep-2012 17:17 197
153.cudf_sol_check.aptitude 17-Sep-2012 17:17 159
153.cudf_sol_check.mpm 17-Sep-2012 17:17 1697
153.runsolver.aptget 18-Jun-2012 17:38 4238
153.runsolver.aptitude 18-Jun-2012 17:28 12229
153.runsolver.cupt 18-Jun-2012 17:47 5322
153.runsolver.mpm 17-Sep-2012 15:42 16012
153.runsolver.smart 21-Jun-2012 02:00 10521
154.cudf_sol_check.mpm 21-Jun-2012 23:46 147
154.runsolver.aptget 18-Jun-2012 17:38 4776
154.runsolver.aptitude 18-Jun-2012 17:28 9802
154.runsolver.cupt 18-Jun-2012 17:47 6938
154.runsolver.mpm 17-Sep-2012 15:42 12194
154.runsolver.smart 21-Jun-2012 02:00 11085
155.cudf_sol_check.mpm 21-Jun-2012 23:46 147
155.runsolver.aptget 18-Jun-2012 17:38 4212
155.runsolver.aptitude 18-Jun-2012 17:28 8156
155.runsolver.cupt 18-Jun-2012 17:47 9152
155.runsolver.mpm 17-Sep-2012 15:42 10562
155.runsolver.smart 21-Jun-2012 02:00 11107
156.cudf_sol_check.aptget 17-Sep-2012 17:17 129
156.cudf_sol_check.mpm 17-Sep-2012 17:17 1697
156.cudf_sol_check.smart 17-Sep-2012 17:17 129
156.runsolver.aptget 18-Jun-2012 17:38 4773
156.runsolver.aptitude 18-Jun-2012 17:28 7264
156.runsolver.cupt 18-Jun-2012 17:47 5792
156.runsolver.mpm 17-Sep-2012 15:42 13138
156.runsolver.smart 21-Jun-2012 02:00 6403
157.cudf_sol_check.mpm 21-Jun-2012 23:47 147
157.runsolver.aptget 18-Jun-2012 17:38 4800
157.runsolver.aptitude 18-Jun-2012 17:28 7237
157.runsolver.cupt 18-Jun-2012 17:47 6964
157.runsolver.mpm 17-Sep-2012 15:42 15155
157.runsolver.smart 21-Jun-2012 02:00 11126
158.cudf_sol_check.mpm 21-Jun-2012 23:47 147
158.runsolver.aptget 18-Jun-2012 17:38 4772
158.runsolver.aptitude 18-Jun-2012 17:28 8735
158.runsolver.cupt 18-Jun-2012 17:47 4793
158.runsolver.mpm 17-Sep-2012 15:42 13011
158.runsolver.smart 21-Jun-2012 02:00 11084
159.cudf_sol_check.mpm 21-Jun-2012 23:47 147
159.runsolver.aptget 18-Jun-2012 17:38 4230
159.runsolver.aptitude 18-Jun-2012 17:28 7213
159.runsolver.cupt 18-Jun-2012 17:47 6966
159.runsolver.mpm 17-Sep-2012 15:42 15219
159.runsolver.smart 21-Jun-2012 02:00 11044
16.cudf_sol_check.mpm 21-Jun-2012 23:48 146
16.runsolver.aptget 18-Jun-2012 17:38 4247
16.runsolver.aptitude 18-Jun-2012 17:28 7233
16.runsolver.cupt 18-Jun-2012 17:47 4267
16.runsolver.mpm 17-Sep-2012 15:42 13405
16.runsolver.smart 21-Jun-2012 02:00 10532
160.cudf_sol_check.aptitude 17-Sep-2012 17:18 110
160.cudf_sol_check.mpm 21-Jun-2012 23:48 147
160.runsolver.aptget 18-Jun-2012 17:38 4755
160.runsolver.aptitude 18-Jun-2012 17:28 6254
160.runsolver.cupt 18-Jun-2012 17:47 7496
160.runsolver.mpm 17-Sep-2012 15:42 13567
160.runsolver.smart 21-Jun-2012 02:00 11068
161.cudf_sol_check.mpm 21-Jun-2012 23:48 147
161.runsolver.aptget 18-Jun-2012 17:38 5308
161.runsolver.aptitude 18-Jun-2012 17:28 7225
161.runsolver.cupt 18-Jun-2012 17:47 6958
161.runsolver.mpm 17-Sep-2012 15:42 11239
161.runsolver.smart 21-Jun-2012 02:00 11069
162.cudf_sol_check.aptitude 17-Sep-2012 17:19 133
162.cudf_sol_check.mpm 17-Sep-2012 17:19 1697
162.runsolver.aptget 18-Jun-2012 17:38 4775
162.runsolver.aptitude 18-Jun-2012 17:28 9104
162.runsolver.cupt 18-Jun-2012 17:47 5850
162.runsolver.mpm 17-Sep-2012 15:42 13099
162.runsolver.smart 21-Jun-2012 02:00 11071
17.cudf_sol_check.mpm 21-Jun-2012 23:49 146
17.runsolver.aptget 18-Jun-2012 17:38 4284
17.runsolver.aptitude 18-Jun-2012 17:28 6355
17.runsolver.cupt 18-Jun-2012 17:47 4287
17.runsolver.mpm 17-Sep-2012 15:42 14613
17.runsolver.smart 21-Jun-2012 02:00 10561
18.cudf_sol_check.mpm 21-Jun-2012 23:49 146
18.runsolver.aptget 18-Jun-2012 17:38 4235
18.runsolver.aptitude 18-Jun-2012 17:28 5535
18.runsolver.cupt 18-Jun-2012 17:47 3179
18.runsolver.mpm 17-Sep-2012 15:42 13387
18.runsolver.smart 21-Jun-2012 02:00 11050
19.cudf_sol_check.aptitude 17-Sep-2012 17:20 120
19.cudf_sol_check.mpm 21-Jun-2012 23:49 146
19.runsolver.aptget 18-Jun-2012 17:38 4749
19.runsolver.aptitude 18-Jun-2012 17:28 10070
19.runsolver.cupt 18-Jun-2012 17:47 6400
19.runsolver.mpm 17-Sep-2012 15:42 13395
19.runsolver.smart 21-Jun-2012 02:00 11055
2.cudf_sol_check.aptitude 17-Sep-2012 17:21 119
2.cudf_sol_check.mpm 21-Jun-2012 23:52 145
2.runsolver.aptget 18-Jun-2012 17:38 4737
2.runsolver.aptitude 18-Jun-2012 17:28 9681
2.runsolver.cupt 18-Jun-2012 17:47 6387
2.runsolver.mpm 17-Sep-2012 15:42 10635
2.runsolver.smart 21-Jun-2012 02:00 11035
20.cudf_sol_check.aptitude 17-Sep-2012 17:20 113
20.cudf_sol_check.mpm 21-Jun-2012 23:50 146
20.runsolver.aptget 18-Jun-2012 17:38 4750
20.runsolver.aptitude 18-Jun-2012 17:28 11002
20.runsolver.cupt 18-Jun-2012 17:47 3164
20.runsolver.mpm 17-Sep-2012 15:42 13955
20.runsolver.smart 21-Jun-2012 02:00 11036
21.cudf_sol_check.aptitude 17-Sep-2012 17:20 132
21.cudf_sol_check.mpm 07-Sep-2012 11:38 1826
21.runsolver.aptget 18-Jun-2012 17:38 4785
21.runsolver.aptitude 18-Jun-2012 17:28 11031
21.runsolver.cupt 18-Jun-2012 17:47 6965
21.runsolver.mpm 17-Sep-2012 15:42 12866
21.runsolver.smart 21-Jun-2012 02:00 5827
22.cudf_sol_check.aptitude 17-Sep-2012 17:20 116
22.cudf_sol_check.mpm 07-Sep-2012 11:38 1803
22.runsolver.aptget 18-Jun-2012 17:38 4765
22.runsolver.aptitude 18-Jun-2012 17:28 10088
22.runsolver.cupt 18-Jun-2012 17:47 6931
22.runsolver.mpm 17-Sep-2012 15:42 13379
22.runsolver.smart 21-Jun-2012 02:00 5875
23.cudf_sol_check.mpm 21-Jun-2012 23:50 146
23.runsolver.aptget 18-Jun-2012 17:38 4196
23.runsolver.aptitude 18-Jun-2012 17:28 6878
23.runsolver.cupt 18-Jun-2012 17:47 4244
23.runsolver.mpm 17-Sep-2012 15:42 15229
23.runsolver.smart 21-Jun-2012 02:00 11051
24.cudf_sol_check.aptitude 17-Sep-2012 17:20 120
24.cudf_sol_check.mpm 21-Jun-2012 23:50 146
24.runsolver.aptget 18-Jun-2012 17:38 4201
24.runsolver.aptitude 18-Jun-2012 17:28 10061
24.runsolver.cupt 18-Jun-2012 17:47 4251
24.runsolver.mpm 17-Sep-2012 15:42 13937
24.runsolver.smart 21-Jun-2012 02:00 11070
25.cudf_sol_check.aptitude 17-Sep-2012 17:21 135
25.cudf_sol_check.mpm 21-Jun-2012 23:51 146
25.runsolver.aptget 18-Jun-2012 17:38 4764
25.runsolver.aptitude 18-Jun-2012 17:28 10070
25.runsolver.cupt 18-Jun-2012 17:47 4259
25.runsolver.mpm 17-Sep-2012 15:42 13406
25.runsolver.smart 21-Jun-2012 02:00 11097
26.cudf_sol_check.aptitude 17-Sep-2012 17:21 105
26.cudf_sol_check.mpm 21-Jun-2012 23:51 146
26.runsolver.aptget 18-Jun-2012 17:38 4223
26.runsolver.aptitude 18-Jun-2012 17:28 9101
26.runsolver.cupt 18-Jun-2012 17:47 6939
26.runsolver.mpm 17-Sep-2012 15:42 13364
26.runsolver.smart 21-Jun-2012 02:00 11031
27.cudf_sol_check.aptitude 17-Sep-2012 17:21 121
27.cudf_sol_check.mpm 21-Jun-2012 23:51 146
27.runsolver.aptget 18-Jun-2012 17:38 4754
27.runsolver.aptitude 18-Jun-2012 17:28 9702
27.runsolver.cupt 18-Jun-2012 17:47 5323
27.runsolver.mpm 17-Sep-2012 15:42 13382
27.runsolver.smart 21-Jun-2012 02:00 10506
28.cudf_sol_check.aptitude 17-Sep-2012 17:21 111
28.cudf_sol_check.mpm 21-Jun-2012 23:51 146
28.runsolver.aptget 18-Jun-2012 17:38 4242
28.runsolver.aptitude 18-Jun-2012 17:28 6284
28.runsolver.cupt 18-Jun-2012 17:47 5343
28.runsolver.mpm 17-Sep-2012 15:42 13964
28.runsolver.smart 21-Jun-2012 02:00 11091
29.cudf_sol_check.mpm 21-Jun-2012 23:51 146
29.runsolver.aptget 18-Jun-2012 17:38 4768
29.runsolver.aptitude 18-Jun-2012 17:28 6290
29.runsolver.cupt 18-Jun-2012 17:47 7492
29.runsolver.mpm 17-Sep-2012 15:42 13871
29.runsolver.smart 21-Jun-2012 02:00 10538
3.cudf_sol_check.mpm 21-Jun-2012 23:54 145
3.runsolver.aptget 18-Jun-2012 17:38 4216
3.runsolver.aptitude 18-Jun-2012 17:28 7210
3.runsolver.cupt 18-Jun-2012 17:47 4227
3.runsolver.mpm 17-Sep-2012 15:42 13258
3.runsolver.smart 21-Jun-2012 02:00 10991
30.cudf_sol_check.mpm 21-Jun-2012 23:52 146
30.runsolver.aptget 18-Jun-2012 17:38 3150
30.runsolver.aptitude 18-Jun-2012 17:28 6880
30.runsolver.cupt 18-Jun-2012 17:47 4253
30.runsolver.mpm 17-Sep-2012 15:42 13382
30.runsolver.smart 21-Jun-2012 02:00 10497
31.cudf_sol_check.aptitude 17-Sep-2012 17:22 133
31.cudf_sol_check.mpm 21-Jun-2012 23:52 146
31.cudf_sol_check.smart 14-Jul-2012 11:04 174
31.runsolver.aptget 18-Jun-2012 17:38 4786
31.runsolver.aptitude 18-Jun-2012 17:28 10102
31.runsolver.cupt 18-Jun-2012 17:47 6957
31.runsolver.mpm 17-Sep-2012 15:42 13412
31.runsolver.smart 21-Jun-2012 02:00 10901
32.cudf_sol_check.aptitude 17-Sep-2012 17:22 118
32.cudf_sol_check.mpm 21-Jun-2012 23:52 146
32.runsolver.aptget 18-Jun-2012 17:38 4767
32.runsolver.aptitude 18-Jun-2012 17:28 9472
32.runsolver.cupt 18-Jun-2012 17:47 6938
32.runsolver.mpm 17-Sep-2012 15:42 15192
32.runsolver.smart 21-Jun-2012 02:00 10513
33.cudf_sol_check.mpm 21-Jun-2012 23:53 146
33.runsolver.aptget 18-Jun-2012 17:38 4229
33.runsolver.aptitude 18-Jun-2012 17:28 7798
33.runsolver.cupt 18-Jun-2012 17:47 4254
33.runsolver.mpm 17-Sep-2012 15:42 13382
33.runsolver.smart 21-Jun-2012 02:00 11104
34.cudf_sol_check.aptitude 17-Sep-2012 17:22 149
34.cudf_sol_check.mpm 21-Jun-2012 23:53 146
34.runsolver.aptget 18-Jun-2012 17:38 4702
34.runsolver.aptitude 18-Jun-2012 17:28 11049
34.runsolver.cupt 18-Jun-2012 17:47 6952
34.runsolver.mpm 17-Sep-2012 15:42 12373
34.runsolver.smart 21-Jun-2012 02:00 11027
35.cudf_sol_check.aptitude 17-Sep-2012 17:22 105
35.cudf_sol_check.mpm 21-Jun-2012 23:53 146
35.cudf_sol_check.smart 14-Jul-2012 11:05 154
35.runsolver.aptget 18-Jun-2012 17:38 4782
35.runsolver.aptitude 18-Jun-2012 17:28 10995
35.runsolver.cupt 18-Jun-2012 17:47 5868
35.runsolver.mpm 17-Sep-2012 15:42 12992
35.runsolver.smart 21-Jun-2012 02:00 10883
36.cudf_sol_check.aptitude 17-Sep-2012 17:22 131
36.cudf_sol_check.mpm 21-Jun-2012 23:53 146
36.cudf_sol_check.smart 14-Jul-2012 11:05 155
36.runsolver.aptget 18-Jun-2012 17:38 4783
36.runsolver.aptitude 18-Jun-2012 17:28 10656
36.runsolver.cupt 18-Jun-2012 17:47 5876
36.runsolver.mpm 17-Sep-2012 15:42 12996
36.runsolver.smart 21-Jun-2012 02:00 12014
37.cudf_sol_check.aptitude 17-Sep-2012 17:22 129
37.cudf_sol_check.mpm 21-Jun-2012 23:53 146
37.runsolver.aptget 18-Jun-2012 17:38 4779
37.runsolver.aptitude 18-Jun-2012 17:28 11050
37.runsolver.cupt 18-Jun-2012 17:47 5345
37.runsolver.mpm 17-Sep-2012 15:42 14576
37.runsolver.smart 21-Jun-2012 02:00 11089
38.cudf_sol_check.aptitude 17-Sep-2012 17:23 128
38.cudf_sol_check.mpm 21-Jun-2012 23:54 146
38.runsolver.aptget 18-Jun-2012 17:38 4785
38.runsolver.aptitude 18-Jun-2012 17:28 10114
38.runsolver.cupt 18-Jun-2012 17:47 5878
38.runsolver.mpm 17-Sep-2012 15:42 13002
38.runsolver.smart 21-Jun-2012 02:00 11066
39.cudf_sol_check.aptitude 17-Sep-2012 17:23 121
39.cudf_sol_check.mpm 21-Jun-2012 23:54 146
39.runsolver.aptget 18-Jun-2012 17:38 4798
39.runsolver.aptitude 18-Jun-2012 17:28 10114
39.runsolver.cupt 18-Jun-2012 17:47 6411
39.runsolver.mpm 17-Sep-2012 15:42 15129
39.runsolver.smart 21-Jun-2012 02:00 11076
4.cudf_sol_check.aptitude 17-Sep-2012 17:25 106
4.cudf_sol_check.mpm 21-Jun-2012 23:56 145
4.runsolver.aptget 18-Jun-2012 17:38 4760
4.runsolver.aptitude 18-Jun-2012 17:28 10045
4.runsolver.cupt 18-Jun-2012 17:47 4243
4.runsolver.mpm 17-Sep-2012 15:42 14157
4.runsolver.smart 21-Jun-2012 02:00 11077
40.cudf_sol_check.aptitude 17-Sep-2012 17:23 133
40.cudf_sol_check.mpm 21-Jun-2012 23:54 146
40.runsolver.aptget 18-Jun-2012 17:38 4793
40.runsolver.aptitude 18-Jun-2012 17:28 9759
40.runsolver.cupt 18-Jun-2012 17:47 8045
40.runsolver.mpm 17-Sep-2012 15:42 14025
40.runsolver.smart 21-Jun-2012 02:00 11121
41.cudf_sol_check.aptitude 17-Sep-2012 17:23 104
41.cudf_sol_check.mpm 21-Jun-2012 23:54 146
41.runsolver.aptget 18-Jun-2012 17:38 4766
41.runsolver.aptitude 18-Jun-2012 17:28 10666
41.runsolver.cupt 18-Jun-2012 17:47 4263
41.runsolver.mpm 17-Sep-2012 15:42 12993
41.runsolver.smart 21-Jun-2012 02:00 11067
42.cudf_sol_check.aptitude 17-Sep-2012 17:24 107
42.cudf_sol_check.mpm 21-Jun-2012 23:55 146
42.cudf_sol_check.smart 14-Jul-2012 11:07 180
42.runsolver.aptget 18-Jun-2012 17:38 3163
42.runsolver.aptitude 18-Jun-2012 17:28 8146
42.runsolver.cupt 18-Jun-2012 17:47 4265
42.runsolver.mpm 17-Sep-2012 15:42 14835
42.runsolver.smart 21-Jun-2012 02:00 5900
43.cudf_sol_check.aptitude 17-Sep-2012 17:24 119
43.cudf_sol_check.mpm 21-Jun-2012 23:55 146
43.runsolver.aptget 18-Jun-2012 17:38 4772
43.runsolver.aptitude 18-Jun-2012 17:28 10070
43.runsolver.cupt 18-Jun-2012 17:47 8583
43.runsolver.mpm 17-Sep-2012 15:42 12906
43.runsolver.smart 21-Jun-2012 02:00 11055
44.cudf_sol_check.aptitude 17-Sep-2012 17:24 116
44.cudf_sol_check.mpm 21-Jun-2012 23:55 146
44.runsolver.aptget 18-Jun-2012 17:38 4802
44.runsolver.aptitude 18-Jun-2012 17:28 11989
44.runsolver.cupt 18-Jun-2012 17:47 7503
44.runsolver.mpm 17-Sep-2012 15:42 13007
44.runsolver.smart 21-Jun-2012 02:00 11092
45.cudf_sol_check.mpm 21-Jun-2012 23:55 146
45.runsolver.aptget 18-Jun-2012 17:38 3149
45.runsolver.aptitude 18-Jun-2012 17:28 8190
45.runsolver.cupt 18-Jun-2012 17:47 8044
45.runsolver.mpm 17-Sep-2012 15:42 12963
45.runsolver.smart 21-Jun-2012 02:00 11079
46.cudf_sol_check.aptitude 17-Sep-2012 17:24 109
46.cudf_sol_check.mpm 21-Jun-2012 23:56 146
46.runsolver.aptget 18-Jun-2012 17:38 4760
46.runsolver.aptitude 18-Jun-2012 17:28 10060
46.runsolver.cupt 18-Jun-2012 17:47 6948
46.runsolver.mpm 17-Sep-2012 15:42 15179
46.runsolver.smart 21-Jun-2012 02:00 11085
47.cudf_sol_check.mpm 21-Jun-2012 23:56 146
47.runsolver.aptget 18-Jun-2012 17:38 4208
47.runsolver.aptitude 18-Jun-2012 17:28 6258
47.runsolver.cupt 18-Jun-2012 17:47 4244
47.runsolver.mpm 17-Sep-2012 15:42 15182
47.runsolver.smart 21-Jun-2012 02:00 11065
48.cudf_sol_check.aptitude 17-Sep-2012 17:25 137
48.cudf_sol_check.mpm 21-Jun-2012 23:56 146
48.runsolver.aptget 18-Jun-2012 17:38 4792
48.runsolver.aptitude 18-Jun-2012 17:28 11947
48.runsolver.cupt 18-Jun-2012 17:47 5332
48.runsolver.mpm 17-Sep-2012 15:42 13467
48.runsolver.smart 21-Jun-2012 02:00 11090
49.cudf_sol_check.aptitude 17-Sep-2012 17:25 132
49.cudf_sol_check.mpm 21-Jun-2012 23:56 146
49.runsolver.aptget 18-Jun-2012 17:38 4754
49.runsolver.aptitude 18-Jun-2012 17:28 11014
49.runsolver.cupt 18-Jun-2012 17:47 5858
49.runsolver.mpm 17-Sep-2012 15:42 12975
49.runsolver.smart 21-Jun-2012 02:00 11078
5.cudf_sol_check.aptitude 17-Sep-2012 17:28 136
5.cudf_sol_check.mpm 21-Jun-2012 23:59 145
5.cudf_sol_check.smart 14-Jul-2012 11:12 174
5.runsolver.aptget 18-Jun-2012 17:38 4775
5.runsolver.aptitude 18-Jun-2012 17:28 11031
5.runsolver.cupt 18-Jun-2012 17:47 6955
5.runsolver.mpm 17-Sep-2012 15:42 14108
5.runsolver.smart 21-Jun-2012 02:00 13104
50.cudf_sol_check.aptitude 17-Sep-2012 17:25 127
50.cudf_sol_check.mpm 21-Jun-2012 23:57 146
50.cudf_sol_check.smart 14-Jul-2012 11:09 174
50.runsolver.aptget 18-Jun-2012 17:38 4757
50.runsolver.aptitude 18-Jun-2012 17:28 10053
50.runsolver.cupt 18-Jun-2012 17:47 6949
50.runsolver.mpm 17-Sep-2012 15:42 14614
50.runsolver.smart 21-Jun-2012 02:00 7528
51.cudf_sol_check.aptitude 17-Sep-2012 17:25 111
51.cudf_sol_check.mpm 21-Jun-2012 23:57 146
51.cudf_sol_check.smart 14-Jul-2012 11:09 174
51.runsolver.aptget 18-Jun-2012 17:38 4791
51.runsolver.aptitude 18-Jun-2012 17:28 10066
51.runsolver.cupt 18-Jun-2012 17:47 6415
51.runsolver.mpm 17-Sep-2012 15:42 12976
51.runsolver.smart 21-Jun-2012 02:00 13658
52.cudf_sol_check.mpm 21-Jun-2012 23:57 146
52.runsolver.aptget 18-Jun-2012 17:38 4776
52.runsolver.aptitude 18-Jun-2012 17:28 6888
52.runsolver.cupt 18-Jun-2012 17:47 4264
52.runsolver.mpm 17-Sep-2012 15:42 10059
52.runsolver.smart 21-Jun-2012 02:00 11091
53.cudf_sol_check.aptitude 17-Sep-2012 17:26 134
53.cudf_sol_check.mpm 21-Jun-2012 23:58 146
53.runsolver.aptget 18-Jun-2012 17:38 4223
53.runsolver.aptitude 18-Jun-2012 17:28 6893
53.runsolver.cupt 18-Jun-2012 17:47 9172
53.runsolver.mpm 17-Sep-2012 15:42 13935
53.runsolver.smart 21-Jun-2012 02:00 11043
54.cudf_sol_check.aptitude 17-Sep-2012 17:26 166
54.cudf_sol_check.mpm 21-Jun-2012 23:58 146
54.cudf_sol_check.smart 14-Jul-2012 11:10 174
54.runsolver.aptget 18-Jun-2012 17:38 4808
54.runsolver.aptitude 18-Jun-2012 17:28 10128
54.runsolver.cupt 18-Jun-2012 17:47 6983
54.runsolver.mpm 17-Sep-2012 15:42 13021
54.runsolver.smart 21-Jun-2012 02:00 13158
55.cudf_sol_check.mpm 21-Jun-2012 23:58 146
55.runsolver.aptget 18-Jun-2012 17:38 4248
55.runsolver.aptitude 18-Jun-2012 17:28 6312
55.runsolver.cupt 18-Jun-2012 17:47 4261
55.runsolver.mpm 17-Sep-2012 15:42 15125
55.runsolver.smart 21-Jun-2012 02:00 11068
56.cudf_sol_check.mpm 21-Jun-2012 23:58 146
56.runsolver.aptget 18-Jun-2012 17:38 3154
56.runsolver.aptitude 18-Jun-2012 17:28 4377
56.runsolver.cupt 18-Jun-2012 17:47 4253
56.runsolver.mpm 17-Sep-2012 15:42 15210
56.runsolver.smart 21-Jun-2012 02:00 5891
57.cudf_sol_check.mpm 21-Jun-2012 23:59 146
57.cudf_sol_check.smart 14-Jul-2012 11:11 180
57.runsolver.aptget 18-Jun-2012 17:38 4231
57.runsolver.aptitude 18-Jun-2012 17:28 6276
57.runsolver.cupt 18-Jun-2012 17:47 4258
57.runsolver.mpm 17-Sep-2012 15:42 14964
57.runsolver.smart 21-Jun-2012 02:00 6425
58.cudf_sol_check.aptitude 17-Sep-2012 17:27 135
58.cudf_sol_check.mpm 21-Jun-2012 23:59 146
58.runsolver.aptget 18-Jun-2012 17:38 4736
58.runsolver.aptitude 18-Jun-2012 17:28 10094
58.runsolver.cupt 18-Jun-2012 17:47 6948
58.runsolver.mpm 17-Sep-2012 15:42 15160
58.runsolver.smart 21-Jun-2012 02:00 11044
59.cudf_sol_check.aptitude 17-Sep-2012 17:28 118
59.cudf_sol_check.mpm 07-Sep-2012 11:49 1802
59.runsolver.aptget 18-Jun-2012 17:38 4767
59.runsolver.aptitude 18-Jun-2012 17:28 11002
59.runsolver.cupt 18-Jun-2012 17:47 9125
59.runsolver.mpm 17-Sep-2012 15:42 12357
59.runsolver.smart 21-Jun-2012 02:00 5895
6.cudf_sol_check.aptitude 17-Sep-2012 17:30 111
6.cudf_sol_check.mpm 22-Jun-2012 00:03 145
6.runsolver.aptget 18-Jun-2012 17:38 4202
6.runsolver.aptitude 18-Jun-2012 17:28 6267
6.runsolver.cupt 18-Jun-2012 17:47 4232
6.runsolver.mpm 17-Sep-2012 15:42 12977
6.runsolver.smart 21-Jun-2012 02:00 11039
60.cudf_sol_check.aptitude 17-Sep-2012 17:28 135
60.cudf_sol_check.mpm 22-Jun-2012 00:00 146
60.cudf_sol_check.smart 14-Jul-2012 11:12 174
60.runsolver.aptget 18-Jun-2012 17:38 4189
60.runsolver.aptitude 18-Jun-2012 17:28 11613
60.runsolver.cupt 18-Jun-2012 17:47 9113
60.runsolver.mpm 17-Sep-2012 15:42 13970
60.runsolver.smart 21-Jun-2012 02:00 9114
61.cudf_sol_check.aptitude 17-Sep-2012 17:28 107
61.cudf_sol_check.mpm 22-Jun-2012 00:00 146
61.runsolver.aptget 18-Jun-2012 17:38 4733
61.runsolver.aptitude 18-Jun-2012 17:28 10061
61.runsolver.cupt 18-Jun-2012 17:47 7483
61.runsolver.mpm 17-Sep-2012 15:42 15196
61.runsolver.smart 21-Jun-2012 02:00 10502
62.cudf_sol_check.mpm 22-Jun-2012 00:00 146
62.runsolver.aptget 18-Jun-2012 17:38 4222
62.runsolver.aptitude 18-Jun-2012 17:28 6289
62.runsolver.cupt 18-Jun-2012 17:47 4255
62.runsolver.mpm 17-Sep-2012 15:42 13481
62.runsolver.smart 21-Jun-2012 02:00 11070
63.cudf_sol_check.aptitude 17-Sep-2012 17:28 150
63.cudf_sol_check.mpm 22-Jun-2012 00:01 146
63.cudf_sol_check.smart 14-Jul-2012 11:13 174
63.runsolver.aptget 18-Jun-2012 17:38 4770
63.runsolver.aptitude 18-Jun-2012 17:28 10988
63.runsolver.cupt 18-Jun-2012 17:47 7476
63.runsolver.mpm 17-Sep-2012 15:42 15179
63.runsolver.smart 21-Jun-2012 02:00 9217
64.cudf_sol_check.mpm 22-Jun-2012 00:01 146
64.runsolver.aptget 18-Jun-2012 17:38 4785
64.runsolver.aptitude 18-Jun-2012 17:28 6925
64.runsolver.cupt 18-Jun-2012 17:47 5342
64.runsolver.mpm 17-Sep-2012 15:42 15469
64.runsolver.smart 21-Jun-2012 02:00 11083
65.cudf_sol_check.aptitude 17-Sep-2012 17:29 136
65.cudf_sol_check.mpm 22-Jun-2012 00:01 146
65.runsolver.aptget 18-Jun-2012 17:38 4772
65.runsolver.aptitude 18-Jun-2012 17:28 11068
65.runsolver.cupt 18-Jun-2012 17:47 8048
65.runsolver.mpm 17-Sep-2012 15:42 12968
65.runsolver.smart 21-Jun-2012 02:00 11057
66.cudf_sol_check.aptitude 17-Sep-2012 17:29 143
66.cudf_sol_check.mpm 22-Jun-2012 00:01 146
66.cudf_sol_check.smart 14-Jul-2012 11:14 180
66.runsolver.aptget 18-Jun-2012 17:38 4749
66.runsolver.aptitude 18-Jun-2012 17:28 12964
66.runsolver.cupt 18-Jun-2012 17:47 4241
66.runsolver.mpm 17-Sep-2012 15:42 12357
66.runsolver.smart 21-Jun-2012 02:00 13067
67.cudf_sol_check.mpm 22-Jun-2012 00:02 146
67.cudf_sol_check.smart 14-Jul-2012 11:14 155
67.runsolver.aptget 18-Jun-2012 17:38 4226
67.runsolver.aptitude 18-Jun-2012 17:28 6874
67.runsolver.cupt 18-Jun-2012 17:47 4246
67.runsolver.mpm 17-Sep-2012 15:42 14001
67.runsolver.smart 21-Jun-2012 02:00 5883
68.cudf_sol_check.mpm 22-Jun-2012 00:02 146
68.runsolver.aptget 18-Jun-2012 17:38 4218
68.runsolver.aptitude 18-Jun-2012 17:28 6274
68.runsolver.cupt 18-Jun-2012 17:47 4238
68.runsolver.mpm 17-Sep-2012 15:42 15192
68.runsolver.smart 21-Jun-2012 02:00 11055
69.cudf_sol_check.aptitude 17-Sep-2012 17:30 131
69.cudf_sol_check.mpm 22-Jun-2012 00:02 146
69.runsolver.aptget 18-Jun-2012 17:38 4770
69.runsolver.aptitude 18-Jun-2012 17:28 9700
69.runsolver.cupt 18-Jun-2012 17:47 6966
69.runsolver.mpm 17-Sep-2012 15:42 12952
69.runsolver.smart 21-Jun-2012 02:00 10540
7.cudf_sol_check.aptitude 17-Sep-2012 17:32 141
7.cudf_sol_check.mpm 22-Jun-2012 00:05 145
7.runsolver.aptget 18-Jun-2012 17:38 4811
7.runsolver.aptitude 18-Jun-2012 17:28 10090
7.runsolver.cupt 18-Jun-2012 17:47 8069
7.runsolver.mpm 17-Sep-2012 15:42 12639
7.runsolver.smart 21-Jun-2012 02:00 11074
70.cudf_sol_check.mpm 22-Jun-2012 00:03 146
70.runsolver.aptget 18-Jun-2012 17:38 4225
70.runsolver.aptitude 18-Jun-2012 17:28 6878
70.runsolver.cupt 18-Jun-2012 17:47 7501
70.runsolver.mpm 17-Sep-2012 15:42 14562
70.runsolver.smart 21-Jun-2012 02:00 11079
71.cudf_sol_check.aptitude 17-Sep-2012 17:30 108
71.cudf_sol_check.mpm 22-Jun-2012 00:03 146
71.runsolver.aptget 18-Jun-2012 17:38 4742
71.runsolver.aptitude 18-Jun-2012 17:28 10037
71.runsolver.cupt 18-Jun-2012 17:47 7504
71.runsolver.mpm 17-Sep-2012 15:42 14553
71.runsolver.smart 21-Jun-2012 02:00 11063
72.cudf_sol_check.mpm 22-Jun-2012 00:03 146
72.cudf_sol_check.smart 14-Jul-2012 11:16 180
72.runsolver.aptget 18-Jun-2012 17:38 4234
72.runsolver.aptitude 18-Jun-2012 17:28 7224
72.runsolver.cupt 18-Jun-2012 17:47 4252
72.runsolver.mpm 17-Sep-2012 15:42 15126
72.runsolver.smart 21-Jun-2012 02:00 5867
73.cudf_sol_check.aptitude 17-Sep-2012 17:31 108
73.cudf_sol_check.mpm 22-Jun-2012 00:04 146
73.runsolver.aptget 18-Jun-2012 17:38 4766
73.runsolver.aptitude 18-Jun-2012 17:28 10992
73.runsolver.cupt 18-Jun-2012 17:47 4788
73.runsolver.mpm 17-Sep-2012 15:42 14024
73.runsolver.smart 21-Jun-2012 02:00 11064
74.cudf_sol_check.aptitude 17-Sep-2012 17:31 147
74.cudf_sol_check.mpm 07-Sep-2012 11:54 1818
74.runsolver.aptget 18-Jun-2012 17:38 4774
74.runsolver.aptitude 18-Jun-2012 17:28 10104
74.runsolver.cupt 18-Jun-2012 17:47 8042
74.runsolver.mpm 17-Sep-2012 15:42 14022
74.runsolver.smart 21-Jun-2012 02:00 5885
75.cudf_sol_check.aptitude 17-Sep-2012 17:31 130
75.cudf_sol_check.mpm 22-Jun-2012 00:04 146
75.runsolver.aptget 18-Jun-2012 17:38 4807
75.runsolver.aptitude 18-Jun-2012 17:28 11078
75.runsolver.cupt 18-Jun-2012 17:47 4277
75.runsolver.mpm 17-Sep-2012 15:42 14032
75.runsolver.smart 21-Jun-2012 02:00 10559
76.cudf_sol_check.aptitude 17-Sep-2012 17:31 119
76.cudf_sol_check.mpm 22-Jun-2012 00:04 146
76.runsolver.aptget 18-Jun-2012 17:38 4764
76.runsolver.aptitude 18-Jun-2012 17:28 10085
76.runsolver.cupt 18-Jun-2012 17:47 4252
76.runsolver.mpm 17-Sep-2012 15:42 12977
76.runsolver.smart 21-Jun-2012 02:00 11096
77.cudf_sol_check.mpm 22-Jun-2012 00:05 146
77.runsolver.aptget 18-Jun-2012 17:38 4223
77.runsolver.aptitude 18-Jun-2012 17:28 6326
77.runsolver.cupt 18-Jun-2012 17:47 4258
77.runsolver.mpm 17-Sep-2012 15:42 14630
77.runsolver.smart 21-Jun-2012 02:00 11060
78.cudf_sol_check.aptitude 17-Sep-2012 17:31 104
78.cudf_sol_check.mpm 22-Jun-2012 00:05 146
78.runsolver.aptget 18-Jun-2012 17:38 4760
78.runsolver.aptitude 18-Jun-2012 17:28 10080
78.runsolver.cupt 18-Jun-2012 17:47 6940
78.runsolver.mpm 17-Sep-2012 15:42 15186
78.runsolver.smart 21-Jun-2012 02:00 10521
79.cudf_sol_check.aptitude 17-Sep-2012 17:31 104
79.cudf_sol_check.mpm 22-Jun-2012 00:05 146
79.runsolver.aptget 18-Jun-2012 17:38 4745
79.runsolver.aptitude 18-Jun-2012 17:28 10046
79.runsolver.cupt 18-Jun-2012 17:47 5324
79.runsolver.mpm 17-Sep-2012 15:42 14555
79.runsolver.smart 21-Jun-2012 02:00 11077
8.cudf_sol_check.aptitude 17-Sep-2012 17:33 150
8.cudf_sol_check.mpm 22-Jun-2012 00:08 145
8.cudf_sol_check.smart 14-Jul-2012 11:21 174
8.runsolver.aptget 18-Jun-2012 17:38 4787
8.runsolver.aptitude 18-Jun-2012 17:28 11067
8.runsolver.cupt 18-Jun-2012 17:47 4263
8.runsolver.mpm 17-Sep-2012 15:42 12993
8.runsolver.smart 21-Jun-2012 02:00 12567
80.cudf_sol_check.mpm 22-Jun-2012 00:05 146
80.runsolver.aptget 18-Jun-2012 17:38 4268
80.runsolver.aptitude 18-Jun-2012 17:28 6307
80.runsolver.cupt 18-Jun-2012 17:47 4291
80.runsolver.mpm 17-Sep-2012 15:42 15232
80.runsolver.smart 21-Jun-2012 02:00 11107
81.cudf_sol_check.aptitude 17-Sep-2012 17:32 106
81.cudf_sol_check.mpm 22-Jun-2012 00:06 146
81.runsolver.aptget 18-Jun-2012 17:38 4749
81.runsolver.aptitude 18-Jun-2012 17:28 11023
81.runsolver.cupt 18-Jun-2012 17:47 6392
81.runsolver.mpm 17-Sep-2012 15:42 15211
81.runsolver.smart 21-Jun-2012 02:00 11062
82.cudf_sol_check.aptitude 17-Sep-2012 17:32 118
82.cudf_sol_check.mpm 22-Jun-2012 00:06 146
82.runsolver.aptget 18-Jun-2012 17:38 4755
82.runsolver.aptitude 18-Jun-2012 17:28 11038
82.runsolver.cupt 18-Jun-2012 17:47 4791
82.runsolver.mpm 17-Sep-2012 15:42 12351
82.runsolver.smart 21-Jun-2012 02:00 10513
83.cudf_sol_check.mpm 22-Jun-2012 00:06 146
83.runsolver.aptget 18-Jun-2012 17:38 4237
83.runsolver.aptitude 18-Jun-2012 17:28 6314
83.runsolver.cupt 18-Jun-2012 17:47 4826
83.runsolver.mpm 17-Sep-2012 15:42 15234
83.runsolver.smart 21-Jun-2012 02:00 11089
84.cudf_sol_check.aptitude 17-Sep-2012 17:32 134
84.cudf_sol_check.mpm 22-Jun-2012 00:06 146
84.runsolver.aptget 18-Jun-2012 17:38 4778
84.runsolver.aptitude 18-Jun-2012 17:28 10699
84.runsolver.cupt 18-Jun-2012 17:47 6952
84.runsolver.mpm 17-Sep-2012 15:42 12368
84.runsolver.smart 21-Jun-2012 02:00 11092
85.cudf_sol_check.aptitude 17-Sep-2012 17:32 124
85.cudf_sol_check.mpm 22-Jun-2012 00:06 146
85.cudf_sol_check.smart 14-Jul-2012 11:19 174
85.runsolver.aptget 18-Jun-2012 17:38 4743
85.runsolver.aptitude 18-Jun-2012 17:28 10991
85.runsolver.cupt 18-Jun-2012 17:47 8023
85.runsolver.mpm 17-Sep-2012 15:42 14557
85.runsolver.smart 21-Jun-2012 02:00 11390
86.cudf_sol_check.aptitude 17-Sep-2012 17:33 127
86.cudf_sol_check.mpm 22-Jun-2012 00:07 146
86.runsolver.aptget 18-Jun-2012 17:38 4801
86.runsolver.aptitude 18-Jun-2012 17:28 9118
86.runsolver.cupt 18-Jun-2012 17:47 8057
86.runsolver.mpm 17-Sep-2012 15:42 15207
86.runsolver.smart 21-Jun-2012 02:00 11088
87.cudf_sol_check.mpm 22-Jun-2012 00:07 146
87.runsolver.aptget 18-Jun-2012 17:38 4237
87.runsolver.aptitude 18-Jun-2012 17:28 6854
87.runsolver.cupt 18-Jun-2012 17:47 4249
87.runsolver.mpm 17-Sep-2012 15:42 15186
87.runsolver.smart 21-Jun-2012 02:00 11064
88.cudf_sol_check.aptitude 17-Sep-2012 17:33 127
88.cudf_sol_check.mpm 22-Jun-2012 00:07 146
88.runsolver.aptget 18-Jun-2012 17:38 4752
88.runsolver.aptitude 18-Jun-2012 17:28 10984
88.runsolver.cupt 18-Jun-2012 17:47 4239
88.runsolver.mpm 17-Sep-2012 15:42 14554
88.runsolver.smart 21-Jun-2012 02:00 11083
89.cudf_sol_check.mpm 22-Jun-2012 00:08 146
89.runsolver.aptget 18-Jun-2012 17:38 4238
89.runsolver.aptitude 18-Jun-2012 17:28 6875
89.runsolver.cupt 18-Jun-2012 17:47 4250
89.runsolver.mpm 17-Sep-2012 15:42 15194
89.runsolver.smart 21-Jun-2012 02:00 10495
9.cudf_sol_check.mpm 22-Jun-2012 00:11 145
9.runsolver.aptget 18-Jun-2012 17:38 4231
9.runsolver.aptitude 18-Jun-2012 17:28 6274
9.runsolver.cupt 18-Jun-2012 17:47 4241
9.runsolver.mpm 17-Sep-2012 15:42 15181
9.runsolver.smart 21-Jun-2012 02:00 11061
90.cudf_sol_check.mpm 22-Jun-2012 00:08 146
90.runsolver.aptget 18-Jun-2012 17:38 4228
90.runsolver.aptitude 18-Jun-2012 17:28 5533
90.runsolver.cupt 18-Jun-2012 17:47 3173
90.runsolver.mpm 17-Sep-2012 15:42 15201
90.runsolver.smart 21-Jun-2012 02:00 11060
91.cudf_sol_check.aptitude 17-Sep-2012 17:34 129
91.cudf_sol_check.mpm 22-Jun-2012 00:08 146
91.cudf_sol_check.smart 14-Jul-2012 11:22 174
91.runsolver.aptget 18-Jun-2012 17:38 4734
91.runsolver.aptitude 18-Jun-2012 17:28 10043
91.runsolver.cupt 18-Jun-2012 17:47 6943
91.runsolver.mpm 17-Sep-2012 15:42 14551
91.runsolver.smart 21-Jun-2012 02:00 12547
92.cudf_sol_check.aptitude 17-Sep-2012 17:34 130
92.cudf_sol_check.mpm 22-Jun-2012 00:09 146
92.cudf_sol_check.smart 14-Jul-2012 11:22 173
92.runsolver.aptget 18-Jun-2012 17:38 4753
92.runsolver.aptitude 18-Jun-2012 17:28 10074
92.runsolver.cupt 18-Jun-2012 17:47 3182
92.runsolver.mpm 17-Sep-2012 15:42 12366
92.runsolver.smart 21-Jun-2012 02:00 10859
93.cudf_sol_check.mpm 22-Jun-2012 00:09 146
93.runsolver.aptget 18-Jun-2012 17:38 4215
93.runsolver.aptitude 18-Jun-2012 17:28 7836
93.runsolver.cupt 18-Jun-2012 17:47 8019
93.runsolver.mpm 17-Sep-2012 15:42 15110
93.runsolver.smart 21-Jun-2012 02:00 10504
94.cudf_sol_check.aptitude 17-Sep-2012 17:34 132
94.cudf_sol_check.mpm 22-Jun-2012 00:09 146
94.cudf_sol_check.smart 14-Jul-2012 11:22 174
94.runsolver.aptget 18-Jun-2012 17:38 4214
94.runsolver.aptitude 18-Jun-2012 17:28 9139
94.runsolver.cupt 18-Jun-2012 17:47 5334
94.runsolver.mpm 17-Sep-2012 15:42 12919
94.runsolver.smart 21-Jun-2012 02:00 13111
95.cudf_sol_check.aptitude 17-Sep-2012 17:34 131
95.cudf_sol_check.mpm 22-Jun-2012 00:09 146
95.runsolver.aptget 18-Jun-2012 17:38 4773
95.runsolver.aptitude 18-Jun-2012 17:28 10659
95.runsolver.cupt 18-Jun-2012 17:47 4918
95.runsolver.mpm 17-Sep-2012 15:42 15146
95.runsolver.smart 21-Jun-2012 02:00 11076
96.cudf_sol_check.aptitude 17-Sep-2012 17:35 126
96.cudf_sol_check.mpm 22-Jun-2012 00:10 146
96.runsolver.aptget 18-Jun-2012 17:38 4786
96.runsolver.aptitude 18-Jun-2012 17:28 10073
96.runsolver.cupt 18-Jun-2012 17:47 4270
96.runsolver.mpm 17-Sep-2012 15:42 13588
96.runsolver.smart 21-Jun-2012 02:00 11078
97.cudf_sol_check.aptitude 17-Sep-2012 17:35 111
97.cudf_sol_check.mpm 22-Jun-2012 00:10 146
97.cudf_sol_check.smart 14-Jul-2012 11:23 174
97.runsolver.aptget 18-Jun-2012 17:38 4782
97.runsolver.aptitude 18-Jun-2012 17:28 10063
97.runsolver.cupt 18-Jun-2012 17:47 8037
97.runsolver.mpm 17-Sep-2012 15:42 12987
97.runsolver.smart 21-Jun-2012 02:00 9780
98.cudf_sol_check.mpm 22-Jun-2012 00:10 146
98.runsolver.aptget 18-Jun-2012 17:38 3148
98.runsolver.aptitude 18-Jun-2012 17:28 6252
98.runsolver.cupt 18-Jun-2012 17:47 4241
98.runsolver.mpm 17-Sep-2012 15:42 14560
98.runsolver.smart 21-Jun-2012 02:00 11065
99.cudf_sol_check.aptitude 17-Sep-2012 17:35 122
99.cudf_sol_check.mpm 22-Jun-2012 00:11 146
99.cudf_sol_check.smart 14-Jul-2012 11:24 174
99.runsolver.aptget 18-Jun-2012 17:38 5325
99.runsolver.aptitude 18-Jun-2012 17:28 13865
99.runsolver.cupt 18-Jun-2012 17:47 5848
99.runsolver.mpm 17-Sep-2012 15:42 13993
99.runsolver.smart 21-Jun-2012 02:00 6443