Index of /papers/ist2012/results/sarge/logs/
../
1.cudf_sol_check.mpm 21-Jun-2012 23:15 140
1.runsolver.aptget 18-Jun-2012 17:38 3166
1.runsolver.aptitude 18-Jun-2012 17:28 3258
1.runsolver.cupt 18-Jun-2012 17:47 3187
1.runsolver.mpm 17-Sep-2012 15:40 11067
1.runsolver.smart 21-Jun-2012 02:00 4782
10.cudf_sol_check.mpm 21-Jun-2012 22:57 141
10.runsolver.aptget 18-Jun-2012 17:38 2055
10.runsolver.aptitude 18-Jun-2012 17:28 3238
10.runsolver.cupt 18-Jun-2012 17:47 3165
10.runsolver.mpm 17-Sep-2012 15:40 10370
10.runsolver.smart 21-Jun-2012 01:59 4777
100.cudf_sol_check.mpm 21-Jun-2012 22:46 142
100.runsolver.aptget 18-Jun-2012 17:38 2071
100.runsolver.aptitude 18-Jun-2012 17:28 2858
100.runsolver.cupt 18-Jun-2012 17:47 3213
100.runsolver.mpm 17-Sep-2012 15:41 10533
100.runsolver.smart 21-Jun-2012 01:59 4792
101.cudf_sol_check.aptget 17-Sep-2012 16:41 197
101.cudf_sol_check.aptitude 17-Sep-2012 16:41 110
101.cudf_sol_check.mpm 17-Sep-2012 16:41 1687
101.cudf_sol_check.smart 17-Sep-2012 16:41 197
101.runsolver.aptget 18-Jun-2012 17:38 3127
101.runsolver.aptitude 18-Jun-2012 17:28 5002
101.runsolver.cupt 18-Jun-2012 17:47 3185
101.runsolver.mpm 17-Sep-2012 15:40 11834
101.runsolver.smart 21-Jun-2012 02:00 4772
102.cudf_sol_check.mpm 21-Jun-2012 22:48 142
102.runsolver.aptget 18-Jun-2012 17:38 2049
102.runsolver.aptitude 18-Jun-2012 17:28 5002
102.runsolver.cupt 18-Jun-2012 17:47 3163
102.runsolver.mpm 17-Sep-2012 15:41 10049
102.runsolver.smart 21-Jun-2012 02:00 4236
103.cudf_sol_check.mpm 21-Jun-2012 22:49 142
103.runsolver.aptget 18-Jun-2012 17:38 3139
103.runsolver.aptitude 18-Jun-2012 17:28 5573
103.runsolver.cupt 18-Jun-2012 17:47 4769
103.runsolver.mpm 17-Sep-2012 15:41 9961
103.runsolver.smart 21-Jun-2012 02:00 4773
104.cudf_sol_check.mpm 21-Jun-2012 22:50 142
104.runsolver.aptget 18-Jun-2012 17:38 2065
104.runsolver.aptitude 18-Jun-2012 17:28 5021
104.runsolver.cupt 18-Jun-2012 17:47 3186
104.runsolver.mpm 17-Sep-2012 15:41 11055
104.runsolver.smart 21-Jun-2012 02:00 4796
105.cudf_sol_check.mpm 21-Jun-2012 22:51 142
105.runsolver.aptget 18-Jun-2012 17:38 2079
105.runsolver.aptitude 18-Jun-2012 17:28 9144
105.runsolver.cupt 18-Jun-2012 17:47 3187
105.runsolver.mpm 17-Sep-2012 15:40 10529
105.runsolver.smart 21-Jun-2012 02:00 4789
106.cudf_sol_check.mpm 21-Jun-2012 22:52 142
106.runsolver.aptget 18-Jun-2012 17:38 2071
106.runsolver.aptitude 18-Jun-2012 17:28 5029
106.runsolver.cupt 18-Jun-2012 17:47 3175
106.runsolver.mpm 17-Sep-2012 15:40 9986
106.runsolver.smart 21-Jun-2012 01:59 4796
107.cudf_sol_check.mpm 21-Jun-2012 22:53 142
107.runsolver.aptget 18-Jun-2012 17:38 2028
107.runsolver.aptitude 18-Jun-2012 17:28 4991
107.runsolver.cupt 18-Jun-2012 17:47 3138
107.runsolver.mpm 17-Sep-2012 15:41 11400
107.runsolver.smart 21-Jun-2012 02:00 4756
108.cudf_sol_check.mpm 21-Jun-2012 22:54 142
108.runsolver.aptget 18-Jun-2012 17:38 2052
108.runsolver.aptitude 18-Jun-2012 17:28 5055
108.runsolver.cupt 18-Jun-2012 17:47 3179
108.runsolver.mpm 17-Sep-2012 15:40 9493
108.runsolver.smart 21-Jun-2012 01:59 4763
109.cudf_sol_check.aptitude 17-Sep-2012 16:42 108
109.cudf_sol_check.mpm 17-Sep-2012 16:42 1687
109.cudf_sol_check.smart 17-Sep-2012 16:42 340
109.runsolver.aptget 18-Jun-2012 17:38 3152
109.runsolver.aptitude 18-Jun-2012 17:28 4612
109.runsolver.cupt 18-Jun-2012 17:47 3190
109.runsolver.mpm 17-Sep-2012 15:41 12118
109.runsolver.smart 21-Jun-2012 02:00 5352
11.cudf_sol_check.mpm 21-Jun-2012 23:00 141
11.runsolver.aptget 18-Jun-2012 17:38 2047
11.runsolver.aptitude 18-Jun-2012 17:28 3193
11.runsolver.cupt 18-Jun-2012 17:47 3165
11.runsolver.mpm 17-Sep-2012 15:41 10343
11.runsolver.smart 21-Jun-2012 02:00 4751
110.cudf_sol_check.aptget 17-Sep-2012 16:42 119
110.cudf_sol_check.mpm 17-Sep-2012 16:43 1687
110.cudf_sol_check.smart 17-Sep-2012 16:43 119
110.runsolver.aptget 18-Jun-2012 17:38 2045
110.runsolver.aptitude 18-Jun-2012 17:28 5024
110.runsolver.cupt 18-Jun-2012 17:47 2083
110.runsolver.mpm 17-Sep-2012 15:40 10191
110.runsolver.smart 21-Jun-2012 02:00 4777
111.cudf_sol_check.mpm 21-Jun-2012 22:58 142
111.runsolver.aptget 18-Jun-2012 17:38 2057
111.runsolver.aptitude 18-Jun-2012 17:28 5018
111.runsolver.cupt 18-Jun-2012 17:47 3175
111.runsolver.mpm 17-Sep-2012 15:40 11050
111.runsolver.smart 21-Jun-2012 02:00 4774
112.cudf_sol_check.mpm 21-Jun-2012 22:58 142
112.runsolver.aptget 18-Jun-2012 17:38 3120
112.runsolver.aptitude 18-Jun-2012 17:28 4993
112.runsolver.cupt 18-Jun-2012 17:47 3155
112.runsolver.mpm 17-Sep-2012 15:41 10509
112.runsolver.smart 21-Jun-2012 01:59 4757
113.cudf_sol_check.mpm 21-Jun-2012 22:58 142
113.runsolver.aptget 18-Jun-2012 17:38 2067
113.runsolver.aptitude 18-Jun-2012 17:28 5011
113.runsolver.cupt 18-Jun-2012 17:47 3174
113.runsolver.mpm 17-Sep-2012 15:41 10521
113.runsolver.smart 21-Jun-2012 02:00 4790
114.cudf_sol_check.mpm 21-Jun-2012 22:59 142
114.runsolver.aptget 18-Jun-2012 17:38 2021
114.runsolver.aptitude 18-Jun-2012 17:28 4998
114.runsolver.cupt 18-Jun-2012 17:47 3140
114.runsolver.mpm 17-Sep-2012 15:40 11048
114.runsolver.smart 21-Jun-2012 02:00 4741
115.cudf_sol_check.mpm 21-Jun-2012 22:59 142
115.runsolver.aptget 18-Jun-2012 17:38 3152
115.runsolver.aptitude 18-Jun-2012 17:28 5019
115.runsolver.cupt 18-Jun-2012 17:47 3179
115.runsolver.mpm 17-Sep-2012 15:41 11706
115.runsolver.smart 21-Jun-2012 02:00 4779
116.cudf_sol_check.mpm 21-Jun-2012 22:59 142
116.runsolver.aptget 18-Jun-2012 17:38 3121
116.runsolver.aptitude 18-Jun-2012 17:28 5051
116.runsolver.cupt 18-Jun-2012 17:47 3158
116.runsolver.mpm 17-Sep-2012 15:40 9956
116.runsolver.smart 21-Jun-2012 01:59 4783
117.cudf_sol_check.mpm 21-Jun-2012 22:59 142
117.runsolver.aptget 18-Jun-2012 17:38 3111
117.runsolver.aptitude 18-Jun-2012 17:28 5049
117.runsolver.cupt 18-Jun-2012 17:47 3160
117.runsolver.mpm 17-Sep-2012 15:40 10520
117.runsolver.smart 21-Jun-2012 02:00 4748
118.cudf_sol_check.mpm 21-Jun-2012 23:00 142
118.runsolver.aptget 18-Jun-2012 17:38 2052
118.runsolver.aptitude 18-Jun-2012 17:28 5589
118.runsolver.cupt 18-Jun-2012 17:47 3159
118.runsolver.mpm 17-Sep-2012 15:40 9408
118.runsolver.smart 21-Jun-2012 01:59 4701
119.cudf_sol_check.aptitude 17-Sep-2012 16:44 113
119.cudf_sol_check.mpm 17-Sep-2012 16:44 1687
119.cudf_sol_check.smart 17-Sep-2012 16:44 1611
119.runsolver.aptget 18-Jun-2012 17:38 4204
119.runsolver.aptitude 18-Jun-2012 17:28 5014
119.runsolver.cupt 18-Jun-2012 17:47 3169
119.runsolver.mpm 17-Sep-2012 15:41 11818
119.runsolver.smart 21-Jun-2012 02:00 5323
12.cudf_sol_check.mpm 21-Jun-2012 23:03 141
12.runsolver.aptget 18-Jun-2012 17:38 2068
12.runsolver.aptitude 18-Jun-2012 17:28 3235
12.runsolver.cupt 18-Jun-2012 17:47 3176
12.runsolver.mpm 17-Sep-2012 15:40 12125
12.runsolver.smart 21-Jun-2012 02:00 4783
120.cudf_sol_check.mpm 21-Jun-2012 23:00 142
120.runsolver.aptget 18-Jun-2012 17:38 2062
120.runsolver.aptitude 18-Jun-2012 17:28 4441
120.runsolver.cupt 18-Jun-2012 17:47 3197
120.runsolver.mpm 17-Sep-2012 15:41 8895
120.runsolver.smart 21-Jun-2012 02:00 4793
121.cudf_sol_check.mpm 21-Jun-2012 23:01 142
121.runsolver.aptget 18-Jun-2012 17:38 3148
121.runsolver.aptitude 18-Jun-2012 17:28 5591
121.runsolver.cupt 18-Jun-2012 17:47 3163
121.runsolver.mpm 17-Sep-2012 15:40 9960
121.runsolver.smart 21-Jun-2012 02:00 4776
122.cudf_sol_check.mpm 21-Jun-2012 23:01 142
122.runsolver.aptget 18-Jun-2012 17:38 2055
122.runsolver.aptitude 18-Jun-2012 17:28 4994
122.runsolver.cupt 18-Jun-2012 17:47 3177
122.runsolver.mpm 17-Sep-2012 15:41 10531
122.runsolver.smart 21-Jun-2012 01:59 4794
123.cudf_sol_check.mpm 21-Jun-2012 23:01 142
123.runsolver.aptget 18-Jun-2012 17:38 2030
123.runsolver.aptitude 18-Jun-2012 17:28 4985
123.runsolver.cupt 18-Jun-2012 17:47 3153
123.runsolver.mpm 17-Sep-2012 15:41 9385
123.runsolver.smart 21-Jun-2012 02:00 4758
124.cudf_sol_check.mpm 21-Jun-2012 23:02 142
124.runsolver.aptget 18-Jun-2012 17:38 3113
124.runsolver.aptitude 18-Jun-2012 17:28 5598
124.runsolver.cupt 18-Jun-2012 17:47 3150
124.runsolver.mpm 17-Sep-2012 15:40 9411
124.runsolver.smart 21-Jun-2012 02:00 4771
125.cudf_sol_check.mpm 21-Jun-2012 23:02 142
125.runsolver.aptget 18-Jun-2012 17:38 3133
125.runsolver.aptitude 18-Jun-2012 17:28 5040
125.runsolver.cupt 18-Jun-2012 17:47 3170
125.runsolver.mpm 17-Sep-2012 15:40 9412
125.runsolver.smart 21-Jun-2012 02:00 4775
126.cudf_sol_check.mpm 21-Jun-2012 23:02 142
126.runsolver.aptget 18-Jun-2012 17:38 2084
126.runsolver.aptitude 18-Jun-2012 17:28 5639
126.runsolver.cupt 18-Jun-2012 17:47 3176
126.runsolver.mpm 17-Sep-2012 15:40 9419
126.runsolver.smart 21-Jun-2012 02:00 4788
127.cudf_sol_check.mpm 21-Jun-2012 23:02 142
127.runsolver.aptget 18-Jun-2012 17:38 3140
127.runsolver.aptitude 18-Jun-2012 17:28 5008
127.runsolver.cupt 18-Jun-2012 17:47 3168
127.runsolver.mpm 17-Sep-2012 15:41 11488
127.runsolver.smart 21-Jun-2012 02:00 4762
128.cudf_sol_check.aptget 17-Sep-2012 16:46 124
128.cudf_sol_check.mpm 17-Sep-2012 16:46 1687
128.cudf_sol_check.smart 17-Sep-2012 16:46 124
128.runsolver.aptget 18-Jun-2012 17:38 3132
128.runsolver.aptitude 18-Jun-2012 17:28 5616
128.runsolver.cupt 18-Jun-2012 17:47 3168
128.runsolver.mpm 17-Sep-2012 15:41 9611
128.runsolver.smart 21-Jun-2012 02:00 4699
129.cudf_sol_check.mpm 21-Jun-2012 23:03 142
129.runsolver.aptget 18-Jun-2012 17:38 3109
129.runsolver.aptitude 18-Jun-2012 17:28 4980
129.runsolver.cupt 18-Jun-2012 17:47 3145
129.runsolver.mpm 17-Sep-2012 15:41 11054
129.runsolver.smart 21-Jun-2012 02:00 4754
13.cudf_sol_check.mpm 21-Jun-2012 23:07 141
13.runsolver.aptget 18-Jun-2012 17:38 2035
13.runsolver.aptitude 18-Jun-2012 17:28 3240
13.runsolver.cupt 18-Jun-2012 17:47 3178
13.runsolver.mpm 17-Sep-2012 15:41 10626
13.runsolver.smart 21-Jun-2012 02:00 4767
130.cudf_sol_check.aptget 17-Sep-2012 16:46 186
130.cudf_sol_check.mpm 17-Sep-2012 16:46 1687
130.cudf_sol_check.smart 17-Sep-2012 16:47 186
130.runsolver.aptget 18-Jun-2012 17:38 2019
130.runsolver.aptitude 18-Jun-2012 17:28 4983
130.runsolver.cupt 18-Jun-2012 17:47 3143
130.runsolver.mpm 17-Sep-2012 15:41 10143
130.runsolver.smart 21-Jun-2012 02:00 4749
131.cudf_sol_check.mpm 21-Jun-2012 23:04 142
131.runsolver.aptget 18-Jun-2012 17:38 3107
131.runsolver.aptitude 18-Jun-2012 17:28 5008
131.runsolver.cupt 18-Jun-2012 17:47 3153
131.runsolver.mpm 17-Sep-2012 15:40 9939
131.runsolver.smart 21-Jun-2012 02:00 4783
132.cudf_sol_check.mpm 21-Jun-2012 23:04 142
132.runsolver.aptget 18-Jun-2012 17:38 3122
132.runsolver.aptitude 18-Jun-2012 17:28 5013
132.runsolver.cupt 18-Jun-2012 17:47 3175
132.runsolver.mpm 17-Sep-2012 15:40 9956
132.runsolver.smart 21-Jun-2012 02:00 4757
133.cudf_sol_check.mpm 21-Jun-2012 23:05 142
133.runsolver.aptget 18-Jun-2012 17:38 3122
133.runsolver.aptitude 18-Jun-2012 17:28 5001
133.runsolver.cupt 18-Jun-2012 17:47 3160
133.runsolver.mpm 17-Sep-2012 15:40 9983
133.runsolver.smart 21-Jun-2012 02:00 4778
134.cudf_sol_check.mpm 21-Jun-2012 23:05 142
134.runsolver.aptget 18-Jun-2012 17:38 3135
134.runsolver.aptitude 18-Jun-2012 17:28 6155
134.runsolver.cupt 18-Jun-2012 17:47 4238
134.runsolver.mpm 17-Sep-2012 15:41 9966
134.runsolver.smart 21-Jun-2012 02:00 4792
135.cudf_sol_check.mpm 21-Jun-2012 23:05 142
135.runsolver.aptget 18-Jun-2012 17:38 3141
135.runsolver.aptitude 18-Jun-2012 17:28 5034
135.runsolver.cupt 18-Jun-2012 17:47 3179
135.runsolver.mpm 17-Sep-2012 15:41 9988
135.runsolver.smart 21-Jun-2012 02:00 4777
136.cudf_sol_check.mpm 21-Jun-2012 23:06 142
136.runsolver.aptget 18-Jun-2012 17:38 3132
136.runsolver.aptitude 18-Jun-2012 17:28 5011
136.runsolver.cupt 18-Jun-2012 17:47 3177
136.runsolver.mpm 17-Sep-2012 15:41 12046
136.runsolver.smart 21-Jun-2012 01:59 4792
137.cudf_sol_check.mpm 21-Jun-2012 23:06 142
137.runsolver.aptget 18-Jun-2012 17:38 3121
137.runsolver.aptitude 18-Jun-2012 17:28 4980
137.runsolver.cupt 18-Jun-2012 17:47 3162
137.runsolver.mpm 17-Sep-2012 15:40 9438
137.runsolver.smart 21-Jun-2012 02:00 4794
138.cudf_sol_check.mpm 21-Jun-2012 23:06 142
138.runsolver.aptget 18-Jun-2012 17:38 2028
138.runsolver.aptitude 18-Jun-2012 17:28 6268
138.runsolver.cupt 18-Jun-2012 17:47 3150
138.runsolver.mpm 17-Sep-2012 15:40 9410
138.runsolver.smart 21-Jun-2012 02:00 4756
139.cudf_sol_check.mpm 21-Jun-2012 23:06 142
139.runsolver.aptget 18-Jun-2012 17:38 2041
139.runsolver.aptitude 18-Jun-2012 17:28 4964
139.runsolver.cupt 18-Jun-2012 17:47 3145
139.runsolver.mpm 17-Sep-2012 15:41 11046
139.runsolver.smart 21-Jun-2012 02:00 4751
14.cudf_sol_check.mpm 21-Jun-2012 23:09 141
14.runsolver.aptget 18-Jun-2012 17:38 3141
14.runsolver.aptitude 18-Jun-2012 17:28 3072
14.runsolver.cupt 18-Jun-2012 17:47 3176
14.runsolver.mpm 17-Sep-2012 15:40 10354
14.runsolver.smart 21-Jun-2012 01:59 4789
140.cudf_sol_check.mpm 21-Jun-2012 23:07 142
140.runsolver.aptget 18-Jun-2012 17:38 3146
140.runsolver.aptitude 18-Jun-2012 17:28 6307
140.runsolver.cupt 18-Jun-2012 17:47 3193
140.runsolver.mpm 17-Sep-2012 15:40 9996
140.runsolver.smart 21-Jun-2012 02:00 4789
141.cudf_sol_check.mpm 21-Jun-2012 23:07 142
141.runsolver.aptget 18-Jun-2012 17:38 2041
141.runsolver.aptitude 18-Jun-2012 17:28 4999
141.runsolver.cupt 18-Jun-2012 17:47 3177
141.runsolver.mpm 17-Sep-2012 15:41 10501
141.runsolver.smart 21-Jun-2012 02:00 4770
142.cudf_sol_check.mpm 21-Jun-2012 23:07 142
142.runsolver.aptget 18-Jun-2012 17:38 3120
142.runsolver.aptitude 18-Jun-2012 17:28 6515
142.runsolver.cupt 18-Jun-2012 17:47 3155
142.runsolver.mpm 17-Sep-2012 15:40 9420
142.runsolver.smart 21-Jun-2012 02:00 4768
143.cudf_sol_check.mpm 21-Jun-2012 23:08 142
143.runsolver.aptget 18-Jun-2012 17:38 3135
143.runsolver.aptitude 18-Jun-2012 17:28 5045
143.runsolver.cupt 18-Jun-2012 17:47 3154
143.runsolver.mpm 17-Sep-2012 15:40 9968
143.runsolver.smart 21-Jun-2012 02:00 4769
144.cudf_sol_check.mpm 21-Jun-2012 23:08 142
144.runsolver.aptget 18-Jun-2012 17:38 3131
144.runsolver.aptitude 18-Jun-2012 17:28 5615
144.runsolver.cupt 18-Jun-2012 17:47 3154
144.runsolver.mpm 17-Sep-2012 15:40 9938
144.runsolver.smart 21-Jun-2012 02:00 4765
145.cudf_sol_check.mpm 21-Jun-2012 23:08 142
145.runsolver.aptget 18-Jun-2012 17:38 3141
145.runsolver.aptitude 18-Jun-2012 17:28 8182
145.runsolver.cupt 18-Jun-2012 17:47 3147
145.runsolver.mpm 17-Sep-2012 15:40 9963
145.runsolver.smart 21-Jun-2012 02:00 4804
146.cudf_sol_check.mpm 21-Jun-2012 23:08 142
146.runsolver.aptget 18-Jun-2012 17:38 3121
146.runsolver.aptitude 18-Jun-2012 17:28 6517
146.runsolver.cupt 18-Jun-2012 17:47 4782
146.runsolver.mpm 17-Sep-2012 15:41 9406
146.runsolver.smart 21-Jun-2012 02:00 4772
147.cudf_sol_check.mpm 21-Jun-2012 23:09 142
147.runsolver.aptget 18-Jun-2012 17:38 3129
147.runsolver.aptitude 18-Jun-2012 17:28 5043
147.runsolver.cupt 18-Jun-2012 17:47 3172
147.runsolver.mpm 17-Sep-2012 15:41 9421
147.runsolver.smart 21-Jun-2012 02:00 4774
148.cudf_sol_check.mpm 21-Jun-2012 23:09 142
148.runsolver.aptget 18-Jun-2012 17:38 3143
148.runsolver.aptitude 18-Jun-2012 17:28 5001
148.runsolver.cupt 18-Jun-2012 17:47 3176
148.runsolver.mpm 17-Sep-2012 15:40 11093
148.runsolver.smart 21-Jun-2012 02:00 4785
149.cudf_sol_check.mpm 21-Jun-2012 23:09 142
149.runsolver.aptget 18-Jun-2012 17:38 3121
149.runsolver.aptitude 18-Jun-2012 17:28 4986
149.runsolver.cupt 18-Jun-2012 17:47 3157
149.runsolver.mpm 17-Sep-2012 15:40 11040
149.runsolver.smart 21-Jun-2012 02:00 4232
15.cudf_sol_check.mpm 21-Jun-2012 23:13 141
15.runsolver.aptget 18-Jun-2012 17:38 2075
15.runsolver.aptitude 18-Jun-2012 17:28 5067
15.runsolver.cupt 18-Jun-2012 17:47 3178
15.runsolver.mpm 17-Sep-2012 15:41 10911
15.runsolver.smart 21-Jun-2012 02:00 4794
150.cudf_sol_check.aptget 17-Sep-2012 16:50 120
150.cudf_sol_check.mpm 17-Sep-2012 16:51 1687
150.cudf_sol_check.smart 17-Sep-2012 16:51 120
150.runsolver.aptget 18-Jun-2012 17:38 2029
150.runsolver.aptitude 18-Jun-2012 17:28 5008
150.runsolver.cupt 18-Jun-2012 17:47 3170
150.runsolver.mpm 17-Sep-2012 15:41 10787
150.runsolver.smart 21-Jun-2012 02:00 4771
151.cudf_sol_check.mpm 21-Jun-2012 23:10 142
151.runsolver.aptget 18-Jun-2012 17:38 3139
151.runsolver.aptitude 18-Jun-2012 17:28 5003
151.runsolver.cupt 18-Jun-2012 17:47 3172
151.runsolver.mpm 17-Sep-2012 15:40 11065
151.runsolver.smart 21-Jun-2012 02:00 4774
152.cudf_sol_check.mpm 21-Jun-2012 23:10 142
152.runsolver.aptget 18-Jun-2012 17:38 2033
152.runsolver.aptitude 18-Jun-2012 17:28 5014
152.runsolver.cupt 18-Jun-2012 17:47 3166
152.runsolver.mpm 17-Sep-2012 15:41 10508
152.runsolver.smart 21-Jun-2012 01:59 4772
153.cudf_sol_check.aptget 17-Sep-2012 16:51 197
153.cudf_sol_check.aptitude 17-Sep-2012 16:51 125
153.cudf_sol_check.mpm 17-Sep-2012 16:51 1687
153.cudf_sol_check.smart 17-Sep-2012 16:51 197
153.runsolver.aptget 18-Jun-2012 17:38 2067
153.runsolver.aptitude 18-Jun-2012 17:28 5002
153.runsolver.cupt 18-Jun-2012 17:47 3165
153.runsolver.mpm 17-Sep-2012 15:40 11138
153.runsolver.smart 21-Jun-2012 02:00 4790
154.cudf_sol_check.mpm 21-Jun-2012 23:11 142
154.runsolver.aptget 18-Jun-2012 17:38 3110
154.runsolver.aptitude 18-Jun-2012 17:28 4995
154.runsolver.cupt 18-Jun-2012 17:47 3156
154.runsolver.mpm 17-Sep-2012 15:41 9420
154.runsolver.smart 21-Jun-2012 02:00 4764
155.cudf_sol_check.mpm 21-Jun-2012 23:11 142
155.runsolver.aptget 18-Jun-2012 17:38 2075
155.runsolver.aptitude 18-Jun-2012 17:28 5059
155.runsolver.cupt 18-Jun-2012 17:47 3170
155.runsolver.mpm 17-Sep-2012 15:40 9411
155.runsolver.smart 21-Jun-2012 02:00 4775
156.cudf_sol_check.aptget 17-Sep-2012 16:52 128
156.cudf_sol_check.mpm 17-Sep-2012 16:52 1687
156.cudf_sol_check.smart 17-Sep-2012 16:52 128
156.runsolver.aptget 18-Jun-2012 17:38 2044
156.runsolver.aptitude 18-Jun-2012 17:28 4996
156.runsolver.cupt 18-Jun-2012 17:47 3160
156.runsolver.mpm 17-Sep-2012 15:40 11438
156.runsolver.smart 21-Jun-2012 02:00 4778
157.cudf_sol_check.mpm 21-Jun-2012 23:12 142
157.runsolver.aptget 18-Jun-2012 17:38 2073
157.runsolver.aptitude 18-Jun-2012 17:28 5053
157.runsolver.cupt 18-Jun-2012 17:47 3199
157.runsolver.mpm 17-Sep-2012 15:40 10557
157.runsolver.smart 21-Jun-2012 02:00 4807
158.cudf_sol_check.mpm 21-Jun-2012 23:12 142
158.runsolver.aptget 18-Jun-2012 17:38 2052
158.runsolver.aptitude 18-Jun-2012 17:28 5032
158.runsolver.cupt 18-Jun-2012 17:47 3190
158.runsolver.mpm 17-Sep-2012 15:41 8837
158.runsolver.smart 21-Jun-2012 02:00 4775
159.cudf_sol_check.mpm 21-Jun-2012 23:12 142
159.runsolver.aptget 18-Jun-2012 17:38 2049
159.runsolver.aptitude 18-Jun-2012 17:28 5012
159.runsolver.cupt 18-Jun-2012 17:47 3192
159.runsolver.mpm 17-Sep-2012 15:40 11572
159.runsolver.smart 21-Jun-2012 02:00 4771
16.cudf_sol_check.mpm 21-Jun-2012 23:14 141
16.runsolver.aptget 18-Jun-2012 17:38 2060
16.runsolver.aptitude 18-Jun-2012 17:28 3273
16.runsolver.cupt 18-Jun-2012 17:47 3176
16.runsolver.mpm 17-Sep-2012 15:40 10977
16.runsolver.smart 21-Jun-2012 02:00 4719
160.cudf_sol_check.aptitude 17-Sep-2012 16:53 126
160.cudf_sol_check.mpm 17-Sep-2012 16:53 1687
160.cudf_sol_check.smart 17-Sep-2012 16:53 1611
160.runsolver.aptget 18-Jun-2012 17:38 4196
160.runsolver.aptitude 18-Jun-2012 17:28 5015
160.runsolver.cupt 18-Jun-2012 17:47 3163
160.runsolver.mpm 17-Sep-2012 15:41 11812
160.runsolver.smart 21-Jun-2012 02:00 5322
161.cudf_sol_check.mpm 21-Jun-2012 23:13 142
161.runsolver.aptget 18-Jun-2012 17:38 3119
161.runsolver.aptitude 18-Jun-2012 17:28 5026
161.runsolver.cupt 18-Jun-2012 17:47 3165
161.runsolver.mpm 17-Sep-2012 15:41 8884
161.runsolver.smart 21-Jun-2012 02:00 4761
162.cudf_sol_check.aptitude 17-Sep-2012 16:53 133
162.cudf_sol_check.mpm 17-Sep-2012 16:53 1687
162.cudf_sol_check.smart 17-Sep-2012 16:53 193
162.runsolver.aptget 18-Jun-2012 17:38 3130
162.runsolver.aptitude 18-Jun-2012 17:28 6863
162.runsolver.cupt 18-Jun-2012 17:47 3152
162.runsolver.mpm 17-Sep-2012 15:40 12146
162.runsolver.smart 21-Jun-2012 02:00 4788
17.cudf_sol_check.mpm 21-Jun-2012 23:14 141
17.runsolver.aptget 18-Jun-2012 17:38 2089
17.runsolver.aptitude 18-Jun-2012 17:28 3318
17.runsolver.cupt 18-Jun-2012 17:47 3201
17.runsolver.mpm 17-Sep-2012 15:40 11267
17.runsolver.smart 21-Jun-2012 02:00 4801
18.cudf_sol_check.mpm 21-Jun-2012 23:14 141
18.runsolver.aptget 18-Jun-2012 17:38 3133
18.runsolver.aptitude 18-Jun-2012 17:28 3246
18.runsolver.cupt 18-Jun-2012 17:47 3175
18.runsolver.mpm 17-Sep-2012 15:40 10915
18.runsolver.smart 21-Jun-2012 01:59 4791
19.cudf_sol_check.mpm 21-Jun-2012 23:15 141
19.runsolver.aptget 18-Jun-2012 17:38 2061
19.runsolver.aptitude 18-Jun-2012 17:28 2054
19.runsolver.cupt 18-Jun-2012 17:47 3162
19.runsolver.mpm 17-Sep-2012 15:40 10357
19.runsolver.smart 21-Jun-2012 02:00 4768
2.cudf_sol_check.mpm 21-Jun-2012 23:18 140
2.runsolver.aptget 18-Jun-2012 17:38 3118
2.runsolver.aptitude 18-Jun-2012 17:28 3225
2.runsolver.cupt 18-Jun-2012 17:47 3144
2.runsolver.mpm 17-Sep-2012 15:41 11272
2.runsolver.smart 21-Jun-2012 02:00 4762
20.cudf_sol_check.mpm 21-Jun-2012 23:15 141
20.runsolver.aptget 18-Jun-2012 17:38 2030
20.runsolver.aptitude 18-Jun-2012 17:28 3217
20.runsolver.cupt 18-Jun-2012 17:47 3157
20.runsolver.mpm 17-Sep-2012 15:40 11508
20.runsolver.smart 21-Jun-2012 01:59 4775
21.cudf_sol_check.mpm 21-Jun-2012 23:15 141
21.runsolver.aptget 18-Jun-2012 17:38 3130
21.runsolver.aptitude 18-Jun-2012 17:28 3240
21.runsolver.cupt 18-Jun-2012 17:47 3180
21.runsolver.mpm 17-Sep-2012 15:40 10380
21.runsolver.smart 21-Jun-2012 02:00 4783
22.cudf_sol_check.mpm 21-Jun-2012 23:16 141
22.runsolver.aptget 18-Jun-2012 17:38 2043
22.runsolver.aptitude 18-Jun-2012 17:28 3195
22.runsolver.cupt 18-Jun-2012 17:47 3156
22.runsolver.mpm 17-Sep-2012 15:41 11298
22.runsolver.smart 21-Jun-2012 02:00 4762
23.cudf_sol_check.mpm 21-Jun-2012 23:16 141
23.runsolver.aptget 18-Jun-2012 17:38 2046
23.runsolver.aptitude 18-Jun-2012 17:28 3237
23.runsolver.cupt 18-Jun-2012 17:47 3160
23.runsolver.mpm 17-Sep-2012 15:41 11303
23.runsolver.smart 21-Jun-2012 01:59 4764
24.cudf_sol_check.mpm 21-Jun-2012 23:16 141
24.runsolver.aptget 18-Jun-2012 17:38 2038
24.runsolver.aptitude 18-Jun-2012 17:28 3255
24.runsolver.cupt 18-Jun-2012 17:47 3177
24.runsolver.mpm 17-Sep-2012 15:41 10979
24.runsolver.smart 21-Jun-2012 01:59 4780
25.cudf_sol_check.mpm 21-Jun-2012 23:16 141
25.runsolver.aptget 18-Jun-2012 17:38 3143
25.runsolver.aptitude 18-Jun-2012 17:28 3256
25.runsolver.cupt 18-Jun-2012 17:47 3173
25.runsolver.mpm 17-Sep-2012 15:40 10379
25.runsolver.smart 21-Jun-2012 02:00 4779
26.cudf_sol_check.mpm 21-Jun-2012 23:17 141
26.runsolver.aptget 18-Jun-2012 17:38 2050
26.runsolver.aptitude 18-Jun-2012 17:28 3196
26.runsolver.cupt 18-Jun-2012 17:47 3156
26.runsolver.mpm 17-Sep-2012 15:40 10352
26.runsolver.smart 21-Jun-2012 02:00 4745
27.cudf_sol_check.mpm 21-Jun-2012 23:17 141
27.runsolver.aptget 18-Jun-2012 17:38 2044
27.runsolver.aptitude 18-Jun-2012 17:28 3025
27.runsolver.cupt 18-Jun-2012 17:47 3162
27.runsolver.mpm 17-Sep-2012 15:41 11301
27.runsolver.smart 21-Jun-2012 02:00 4792
28.cudf_sol_check.mpm 21-Jun-2012 23:17 141
28.runsolver.aptget 18-Jun-2012 17:38 3161
28.runsolver.aptitude 18-Jun-2012 17:28 3240
28.runsolver.cupt 18-Jun-2012 17:47 3182
28.runsolver.mpm 17-Sep-2012 15:40 11326
28.runsolver.smart 21-Jun-2012 02:00 4722
29.cudf_sol_check.mpm 21-Jun-2012 23:18 141
29.runsolver.aptget 18-Jun-2012 17:38 2055
29.runsolver.aptitude 18-Jun-2012 17:28 3246
29.runsolver.cupt 18-Jun-2012 17:47 3169
29.runsolver.mpm 17-Sep-2012 15:41 12388
29.runsolver.smart 21-Jun-2012 02:00 4257
3.cudf_sol_check.mpm 21-Jun-2012 23:21 140
3.runsolver.aptget 18-Jun-2012 17:38 3117
3.runsolver.aptitude 18-Jun-2012 17:28 3157
3.runsolver.cupt 18-Jun-2012 17:47 3147
3.runsolver.mpm 17-Sep-2012 15:40 9879
3.runsolver.smart 21-Jun-2012 02:00 4751
30.cudf_sol_check.mpm 21-Jun-2012 23:18 141
30.runsolver.aptget 18-Jun-2012 17:38 3127
30.runsolver.aptitude 18-Jun-2012 17:28 3255
30.runsolver.cupt 18-Jun-2012 17:47 3171
30.runsolver.mpm 17-Sep-2012 15:41 13271
30.runsolver.smart 21-Jun-2012 02:00 4232
31.cudf_sol_check.mpm 21-Jun-2012 23:18 141
31.runsolver.aptget 18-Jun-2012 17:38 2052
31.runsolver.aptitude 18-Jun-2012 17:28 3258
31.runsolver.cupt 18-Jun-2012 17:47 3185
31.runsolver.mpm 17-Sep-2012 15:41 11635
31.runsolver.smart 21-Jun-2012 02:00 4773
32.cudf_sol_check.mpm 21-Jun-2012 23:19 141
32.runsolver.aptget 18-Jun-2012 17:38 2040
32.runsolver.aptitude 18-Jun-2012 17:28 3201
32.runsolver.cupt 18-Jun-2012 17:47 3173
32.runsolver.mpm 17-Sep-2012 15:41 12172
32.runsolver.smart 21-Jun-2012 02:00 4768
33.cudf_sol_check.mpm 21-Jun-2012 23:19 141
33.runsolver.aptget 18-Jun-2012 17:38 2063
33.runsolver.aptitude 18-Jun-2012 17:28 3162
33.runsolver.cupt 18-Jun-2012 17:47 3171
33.runsolver.mpm 17-Sep-2012 15:41 11844
33.runsolver.smart 21-Jun-2012 01:59 4771
34.cudf_sol_check.mpm 21-Jun-2012 23:19 141
34.runsolver.aptget 18-Jun-2012 17:38 2074
34.runsolver.aptitude 18-Jun-2012 17:28 3260
34.runsolver.cupt 18-Jun-2012 17:47 3165
34.runsolver.mpm 17-Sep-2012 15:41 11246
34.runsolver.smart 21-Jun-2012 02:00 4763
35.cudf_sol_check.mpm 21-Jun-2012 23:19 141
35.runsolver.aptget 18-Jun-2012 17:38 2045
35.runsolver.aptitude 18-Jun-2012 17:28 3258
35.runsolver.cupt 18-Jun-2012 17:47 3165
35.runsolver.mpm 17-Sep-2012 15:41 10373
35.runsolver.smart 21-Jun-2012 02:00 4770
36.cudf_sol_check.mpm 21-Jun-2012 23:20 141
36.runsolver.aptget 18-Jun-2012 17:38 3161
36.runsolver.aptitude 18-Jun-2012 17:28 3221
36.runsolver.cupt 18-Jun-2012 17:47 3181
36.runsolver.mpm 17-Sep-2012 15:41 10369
36.runsolver.smart 21-Jun-2012 02:00 4776
37.cudf_sol_check.mpm 21-Jun-2012 23:20 141
37.runsolver.aptget 18-Jun-2012 17:38 3162
37.runsolver.aptitude 18-Jun-2012 17:28 3266
37.runsolver.cupt 18-Jun-2012 17:47 3188
37.runsolver.mpm 17-Sep-2012 15:40 11524
37.runsolver.smart 21-Jun-2012 02:00 4775
38.cudf_sol_check.mpm 21-Jun-2012 23:20 141
38.runsolver.aptget 18-Jun-2012 17:38 2053
38.runsolver.aptitude 18-Jun-2012 17:28 3256
38.runsolver.cupt 18-Jun-2012 17:47 3179
38.runsolver.mpm 17-Sep-2012 15:40 10366
38.runsolver.smart 21-Jun-2012 02:00 4773
39.cudf_sol_check.mpm 21-Jun-2012 23:20 141
39.runsolver.aptget 18-Jun-2012 17:38 2046
39.runsolver.aptitude 18-Jun-2012 17:28 3232
39.runsolver.cupt 18-Jun-2012 17:47 3171
39.runsolver.mpm 17-Sep-2012 15:41 10631
39.runsolver.smart 21-Jun-2012 02:00 4240
4.cudf_sol_check.mpm 21-Jun-2012 23:24 140
4.runsolver.aptget 18-Jun-2012 17:38 3117
4.runsolver.aptitude 18-Jun-2012 17:28 3250
4.runsolver.cupt 18-Jun-2012 17:47 3155
4.runsolver.mpm 17-Sep-2012 15:41 12070
4.runsolver.smart 21-Jun-2012 02:00 4761
40.cudf_sol_check.mpm 21-Jun-2012 23:21 141
40.runsolver.aptget 18-Jun-2012 17:38 3155
40.runsolver.aptitude 18-Jun-2012 17:28 3245
40.runsolver.cupt 18-Jun-2012 17:47 3183
40.runsolver.mpm 17-Sep-2012 15:40 10366
40.runsolver.smart 21-Jun-2012 02:00 4272
41.cudf_sol_check.mpm 21-Jun-2012 23:21 141
41.runsolver.aptget 18-Jun-2012 17:38 3124
41.runsolver.aptitude 18-Jun-2012 17:28 3228
41.runsolver.cupt 18-Jun-2012 17:47 3170
41.runsolver.mpm 17-Sep-2012 15:40 10687
41.runsolver.smart 21-Jun-2012 01:59 4788
42.cudf_sol_check.mpm 21-Jun-2012 23:22 141
42.runsolver.aptget 18-Jun-2012 17:38 2038
42.runsolver.aptitude 18-Jun-2012 17:28 3238
42.runsolver.cupt 18-Jun-2012 17:47 3162
42.runsolver.mpm 17-Sep-2012 15:40 12852
42.runsolver.smart 21-Jun-2012 02:00 4798
43.cudf_sol_check.mpm 21-Jun-2012 23:22 141
43.runsolver.aptget 18-Jun-2012 17:38 3150
43.runsolver.aptitude 18-Jun-2012 17:28 3254
43.runsolver.cupt 18-Jun-2012 17:47 3181
43.runsolver.mpm 17-Sep-2012 15:40 11862
43.runsolver.smart 21-Jun-2012 02:00 4759
44.cudf_sol_check.mpm 21-Jun-2012 23:22 141
44.runsolver.aptget 18-Jun-2012 17:38 3173
44.runsolver.aptitude 18-Jun-2012 17:28 3275
44.runsolver.cupt 18-Jun-2012 17:47 3215
44.runsolver.mpm 17-Sep-2012 15:41 11254
44.runsolver.smart 21-Jun-2012 02:00 4797
45.cudf_sol_check.mpm 21-Jun-2012 23:22 141
45.runsolver.aptget 18-Jun-2012 17:38 2061
45.runsolver.aptitude 18-Jun-2012 17:28 3276
45.runsolver.cupt 18-Jun-2012 17:47 3194
45.runsolver.mpm 17-Sep-2012 15:41 11848
45.runsolver.smart 21-Jun-2012 02:00 4790
46.cudf_sol_check.mpm 21-Jun-2012 23:23 141
46.runsolver.aptget 18-Jun-2012 17:38 3139
46.runsolver.aptitude 18-Jun-2012 17:28 3216
46.runsolver.cupt 18-Jun-2012 17:47 3159
46.runsolver.mpm 17-Sep-2012 15:41 11287
46.runsolver.smart 21-Jun-2012 02:00 4757
47.cudf_sol_check.mpm 21-Jun-2012 23:23 141
47.runsolver.aptget 18-Jun-2012 17:38 2052
47.runsolver.aptitude 18-Jun-2012 17:28 3220
47.runsolver.cupt 18-Jun-2012 17:47 3162
47.runsolver.mpm 17-Sep-2012 15:41 12851
47.runsolver.smart 21-Jun-2012 02:00 4785
48.cudf_sol_check.mpm 21-Jun-2012 23:23 141
48.runsolver.aptget 18-Jun-2012 17:38 3132
48.runsolver.aptitude 18-Jun-2012 17:28 3236
48.runsolver.cupt 18-Jun-2012 17:47 3174
48.runsolver.mpm 17-Sep-2012 15:41 11241
48.runsolver.smart 21-Jun-2012 02:00 4242
49.cudf_sol_check.mpm 21-Jun-2012 23:23 141
49.runsolver.aptget 18-Jun-2012 17:38 2058
49.runsolver.aptitude 18-Jun-2012 17:28 5020
49.runsolver.cupt 18-Jun-2012 17:47 3164
49.runsolver.mpm 17-Sep-2012 15:40 12463
49.runsolver.smart 21-Jun-2012 02:00 4769
5.cudf_sol_check.mpm 21-Jun-2012 23:27 140
5.runsolver.aptget 18-Jun-2012 17:38 2048
5.runsolver.aptitude 18-Jun-2012 17:28 3239
5.runsolver.cupt 18-Jun-2012 17:47 3178
5.runsolver.mpm 17-Sep-2012 15:41 10361
5.runsolver.smart 21-Jun-2012 02:00 4783
50.cudf_sol_check.mpm 21-Jun-2012 23:24 141
50.runsolver.aptget 18-Jun-2012 17:38 2063
50.runsolver.aptitude 18-Jun-2012 17:28 3246
50.runsolver.cupt 18-Jun-2012 17:47 3165
50.runsolver.mpm 17-Sep-2012 15:41 9356
50.runsolver.smart 21-Jun-2012 02:00 4781
51.cudf_sol_check.mpm 21-Jun-2012 23:24 141
51.runsolver.aptget 18-Jun-2012 17:38 3137
51.runsolver.aptitude 18-Jun-2012 17:28 3237
51.runsolver.cupt 18-Jun-2012 17:47 3171
51.runsolver.mpm 17-Sep-2012 15:40 10365
51.runsolver.smart 21-Jun-2012 01:59 4770
52.cudf_sol_check.mpm 21-Jun-2012 23:25 141
52.runsolver.aptget 18-Jun-2012 17:38 2067
52.runsolver.aptitude 18-Jun-2012 17:28 3269
52.runsolver.cupt 18-Jun-2012 17:47 3166
52.runsolver.mpm 17-Sep-2012 15:40 9353
52.runsolver.smart 21-Jun-2012 02:00 4824
53.cudf_sol_check.mpm 21-Jun-2012 23:25 141
53.runsolver.aptget 18-Jun-2012 17:38 3150
53.runsolver.aptitude 18-Jun-2012 17:28 3282
53.runsolver.cupt 18-Jun-2012 17:47 3180
53.runsolver.mpm 17-Sep-2012 15:41 11302
53.runsolver.smart 21-Jun-2012 02:00 5336
54.cudf_sol_check.mpm 21-Jun-2012 23:25 141
54.runsolver.aptget 18-Jun-2012 17:38 2081
54.runsolver.aptitude 18-Jun-2012 17:28 3264
54.runsolver.cupt 18-Jun-2012 17:47 3211
54.runsolver.mpm 17-Sep-2012 15:40 10370
54.runsolver.smart 21-Jun-2012 02:00 4826
55.cudf_sol_check.mpm 21-Jun-2012 23:25 141
55.runsolver.aptget 18-Jun-2012 17:38 3138
55.runsolver.aptitude 18-Jun-2012 17:28 3294
55.runsolver.cupt 18-Jun-2012 17:47 3182
55.runsolver.mpm 17-Sep-2012 15:41 9928
55.runsolver.smart 21-Jun-2012 02:00 4768
56.cudf_sol_check.mpm 21-Jun-2012 23:26 141
56.runsolver.aptget 18-Jun-2012 17:38 2057
56.runsolver.aptitude 18-Jun-2012 17:28 3280
56.runsolver.cupt 18-Jun-2012 17:47 3185
56.runsolver.mpm 17-Sep-2012 15:41 10373
56.runsolver.smart 21-Jun-2012 01:59 4777
57.cudf_sol_check.mpm 21-Jun-2012 23:26 141
57.runsolver.aptget 18-Jun-2012 17:38 3136
57.runsolver.aptitude 18-Jun-2012 17:28 3273
57.runsolver.cupt 18-Jun-2012 17:47 3182
57.runsolver.mpm 17-Sep-2012 15:40 11537
57.runsolver.smart 21-Jun-2012 01:59 4794
58.cudf_sol_check.mpm 21-Jun-2012 23:26 141
58.runsolver.aptget 18-Jun-2012 17:38 2062
58.runsolver.aptitude 18-Jun-2012 17:28 3223
58.runsolver.cupt 18-Jun-2012 17:47 3163
58.runsolver.mpm 17-Sep-2012 15:41 11234
58.runsolver.smart 21-Jun-2012 02:00 4763
59.cudf_sol_check.mpm 21-Jun-2012 23:26 141
59.runsolver.aptget 18-Jun-2012 17:38 2033
59.runsolver.aptitude 18-Jun-2012 17:28 3235
59.runsolver.cupt 18-Jun-2012 17:47 3157
59.runsolver.mpm 17-Sep-2012 15:41 11836
59.runsolver.smart 21-Jun-2012 02:00 4681
6.cudf_sol_check.mpm 21-Jun-2012 23:30 140
6.runsolver.aptget 18-Jun-2012 17:38 2027
6.runsolver.aptitude 18-Jun-2012 17:28 3205
6.runsolver.cupt 18-Jun-2012 17:47 3147
6.runsolver.mpm 17-Sep-2012 15:40 10338
6.runsolver.smart 21-Jun-2012 02:00 4772
60.cudf_sol_check.mpm 21-Jun-2012 23:27 141
60.runsolver.aptget 18-Jun-2012 17:38 2015
60.runsolver.aptitude 18-Jun-2012 17:28 4981
60.runsolver.cupt 18-Jun-2012 17:47 3142
60.runsolver.mpm 17-Sep-2012 15:40 9306
60.runsolver.smart 21-Jun-2012 02:00 4757
61.cudf_sol_check.mpm 21-Jun-2012 23:27 141
61.runsolver.aptget 18-Jun-2012 17:38 2039
61.runsolver.aptitude 18-Jun-2012 17:28 3234
61.runsolver.cupt 18-Jun-2012 17:47 3161
61.runsolver.mpm 17-Sep-2012 15:40 10958
61.runsolver.smart 21-Jun-2012 02:00 4750
62.cudf_sol_check.mpm 21-Jun-2012 23:27 141
62.runsolver.aptget 18-Jun-2012 17:38 3152
62.runsolver.aptitude 18-Jun-2012 17:28 3235
62.runsolver.cupt 18-Jun-2012 17:47 3190
62.runsolver.mpm 17-Sep-2012 15:40 9361
62.runsolver.smart 21-Jun-2012 02:00 4771
63.cudf_sol_check.mpm 21-Jun-2012 23:28 141
63.runsolver.aptget 18-Jun-2012 17:38 3125
63.runsolver.aptitude 18-Jun-2012 17:28 3218
63.runsolver.cupt 18-Jun-2012 17:47 3169
63.runsolver.mpm 17-Sep-2012 15:40 10349
63.runsolver.smart 21-Jun-2012 01:59 4778
64.cudf_sol_check.mpm 21-Jun-2012 23:28 141
64.runsolver.aptget 18-Jun-2012 17:38 2055
64.runsolver.aptitude 18-Jun-2012 17:28 3243
64.runsolver.cupt 18-Jun-2012 17:47 3182
64.runsolver.mpm 17-Sep-2012 15:40 9985
64.runsolver.smart 21-Jun-2012 02:00 4785
65.cudf_sol_check.mpm 21-Jun-2012 23:28 141
65.runsolver.aptget 18-Jun-2012 17:38 3156
65.runsolver.aptitude 18-Jun-2012 17:28 3298
65.runsolver.cupt 18-Jun-2012 17:47 3185
65.runsolver.mpm 17-Sep-2012 15:40 11526
65.runsolver.smart 21-Jun-2012 02:00 4802
66.cudf_sol_check.mpm 21-Jun-2012 23:28 141
66.runsolver.aptget 18-Jun-2012 17:38 2052
66.runsolver.aptitude 18-Jun-2012 17:28 3217
66.runsolver.cupt 18-Jun-2012 17:47 3162
66.runsolver.mpm 17-Sep-2012 15:41 10343
66.runsolver.smart 21-Jun-2012 01:59 4697
67.cudf_sol_check.mpm 21-Jun-2012 23:29 141
67.runsolver.aptget 18-Jun-2012 17:38 3120
67.runsolver.aptitude 18-Jun-2012 17:28 3241
67.runsolver.cupt 18-Jun-2012 17:47 3170
67.runsolver.mpm 17-Sep-2012 15:41 10343
67.runsolver.smart 21-Jun-2012 01:59 4765
68.cudf_sol_check.mpm 21-Jun-2012 23:29 141
68.runsolver.aptget 18-Jun-2012 17:38 2027
68.runsolver.aptitude 18-Jun-2012 17:28 3236
68.runsolver.cupt 18-Jun-2012 17:47 3158
68.runsolver.mpm 17-Sep-2012 15:40 9960
68.runsolver.smart 21-Jun-2012 02:00 4756
69.cudf_sol_check.mpm 21-Jun-2012 23:29 141
69.runsolver.aptget 18-Jun-2012 17:38 2086
69.runsolver.aptitude 18-Jun-2012 17:28 3277
69.runsolver.cupt 18-Jun-2012 17:47 3183
69.runsolver.mpm 17-Sep-2012 15:41 11512
69.runsolver.smart 21-Jun-2012 02:00 4732
7.cudf_sol_check.mpm 21-Jun-2012 23:33 140
7.runsolver.aptget 18-Jun-2012 17:38 2073
7.runsolver.aptitude 18-Jun-2012 17:28 3263
7.runsolver.cupt 18-Jun-2012 17:47 3211
7.runsolver.mpm 17-Sep-2012 15:40 11345
7.runsolver.smart 21-Jun-2012 02:00 4836
70.cudf_sol_check.mpm 21-Jun-2012 23:30 141
70.runsolver.aptget 18-Jun-2012 17:38 2071
70.runsolver.aptitude 18-Jun-2012 17:28 3287
70.runsolver.cupt 18-Jun-2012 17:47 3168
70.runsolver.mpm 17-Sep-2012 15:41 10739
70.runsolver.smart 21-Jun-2012 02:00 4768
71.cudf_sol_check.mpm 21-Jun-2012 23:30 141
71.runsolver.aptget 18-Jun-2012 17:38 2040
71.runsolver.aptitude 18-Jun-2012 17:28 3185
71.runsolver.cupt 18-Jun-2012 17:47 3162
71.runsolver.mpm 17-Sep-2012 15:40 10343
71.runsolver.smart 21-Jun-2012 02:00 4764
72.cudf_sol_check.mpm 21-Jun-2012 23:30 141
72.runsolver.aptget 18-Jun-2012 17:38 2053
72.runsolver.aptitude 18-Jun-2012 17:28 3226
72.runsolver.cupt 18-Jun-2012 17:47 3166
72.runsolver.mpm 17-Sep-2012 15:40 10364
72.runsolver.smart 21-Jun-2012 02:00 4775
73.cudf_sol_check.mpm 21-Jun-2012 23:31 141
73.runsolver.aptget 18-Jun-2012 17:38 3134
73.runsolver.aptitude 18-Jun-2012 17:28 3228
73.runsolver.cupt 18-Jun-2012 17:47 3169
73.runsolver.mpm 17-Sep-2012 15:41 9981
73.runsolver.smart 21-Jun-2012 01:59 4793
74.cudf_sol_check.mpm 21-Jun-2012 23:31 141
74.runsolver.aptget 18-Jun-2012 17:38 3127
74.runsolver.aptitude 18-Jun-2012 17:28 3230
74.runsolver.cupt 18-Jun-2012 17:47 3169
74.runsolver.mpm 17-Sep-2012 15:41 10702
74.runsolver.smart 21-Jun-2012 02:00 4768
75.cudf_sol_check.mpm 21-Jun-2012 23:31 141
75.runsolver.aptget 18-Jun-2012 17:38 2085
75.runsolver.aptitude 18-Jun-2012 17:28 3237
75.runsolver.cupt 18-Jun-2012 17:47 3192
75.runsolver.mpm 17-Sep-2012 15:40 10368
75.runsolver.smart 21-Jun-2012 02:00 4792
76.cudf_sol_check.mpm 21-Jun-2012 23:31 141
76.runsolver.aptget 18-Jun-2012 17:38 3118
76.runsolver.aptitude 18-Jun-2012 17:28 3226
76.runsolver.cupt 18-Jun-2012 17:47 3166
76.runsolver.mpm 17-Sep-2012 15:41 10361
76.runsolver.smart 21-Jun-2012 01:59 4771
77.cudf_sol_check.mpm 21-Jun-2012 23:32 141
77.runsolver.aptget 18-Jun-2012 17:38 3159
77.runsolver.aptitude 18-Jun-2012 17:28 3283
77.runsolver.cupt 18-Jun-2012 17:47 3172
77.runsolver.mpm 17-Sep-2012 15:41 11516
77.runsolver.smart 21-Jun-2012 02:00 4774
78.cudf_sol_check.mpm 21-Jun-2012 23:32 141
78.runsolver.aptget 18-Jun-2012 17:38 2034
78.runsolver.aptitude 18-Jun-2012 17:28 3272
78.runsolver.cupt 18-Jun-2012 17:47 3163
78.runsolver.mpm 17-Sep-2012 15:41 10345
78.runsolver.smart 21-Jun-2012 02:00 4772
79.cudf_sol_check.mpm 21-Jun-2012 23:32 141
79.runsolver.aptget 18-Jun-2012 17:38 3131
79.runsolver.aptitude 18-Jun-2012 17:28 3226
79.runsolver.cupt 18-Jun-2012 17:47 3158
79.runsolver.mpm 17-Sep-2012 15:41 10340
79.runsolver.smart 21-Jun-2012 02:00 4758
8.cudf_sol_check.mpm 21-Jun-2012 23:36 140
8.runsolver.aptget 18-Jun-2012 17:38 2055
8.runsolver.aptitude 18-Jun-2012 17:28 5015
8.runsolver.cupt 18-Jun-2012 17:47 3183
8.runsolver.mpm 17-Sep-2012 15:41 10382
8.runsolver.smart 21-Jun-2012 02:00 4783
80.cudf_sol_check.mpm 21-Jun-2012 23:33 141
80.runsolver.aptget 18-Jun-2012 17:38 2094
80.runsolver.aptitude 18-Jun-2012 17:28 3237
80.runsolver.cupt 18-Jun-2012 17:47 3210
80.runsolver.mpm 17-Sep-2012 15:41 10380
80.runsolver.smart 21-Jun-2012 02:00 4823
81.cudf_sol_check.mpm 21-Jun-2012 23:33 141
81.runsolver.aptget 18-Jun-2012 17:38 2053
81.runsolver.aptitude 18-Jun-2012 17:28 3198
81.runsolver.cupt 18-Jun-2012 17:47 3156
81.runsolver.mpm 17-Sep-2012 15:41 10335
81.runsolver.smart 21-Jun-2012 02:00 4752
82.cudf_sol_check.mpm 21-Jun-2012 23:33 141
82.runsolver.aptget 18-Jun-2012 17:38 3119
82.runsolver.aptitude 18-Jun-2012 17:28 3234
82.runsolver.cupt 18-Jun-2012 17:47 3156
82.runsolver.mpm 17-Sep-2012 15:40 10327
82.runsolver.smart 21-Jun-2012 02:00 4775
83.cudf_sol_check.mpm 21-Jun-2012 23:34 141
83.runsolver.aptget 18-Jun-2012 17:38 2057
83.runsolver.aptitude 18-Jun-2012 17:28 3264
83.runsolver.cupt 18-Jun-2012 17:47 3176
83.runsolver.mpm 17-Sep-2012 15:40 10370
83.runsolver.smart 21-Jun-2012 02:00 4262
84.cudf_sol_check.mpm 21-Jun-2012 23:34 141
84.runsolver.aptget 18-Jun-2012 17:38 2044
84.runsolver.aptitude 18-Jun-2012 17:28 3234
84.runsolver.cupt 18-Jun-2012 17:47 3172
84.runsolver.mpm 17-Sep-2012 15:40 11316
84.runsolver.smart 21-Jun-2012 02:00 4780
85.cudf_sol_check.mpm 21-Jun-2012 23:34 141
85.runsolver.aptget 18-Jun-2012 17:38 2053
85.runsolver.aptitude 18-Jun-2012 17:28 3223
85.runsolver.cupt 18-Jun-2012 17:47 3160
85.runsolver.mpm 17-Sep-2012 15:41 11509
85.runsolver.smart 21-Jun-2012 02:00 4750
86.cudf_sol_check.mpm 21-Jun-2012 23:34 141
86.runsolver.aptget 18-Jun-2012 17:38 2056
86.runsolver.aptitude 18-Jun-2012 17:28 3258
86.runsolver.cupt 18-Jun-2012 17:47 3181
86.runsolver.mpm 17-Sep-2012 15:40 10376
86.runsolver.smart 21-Jun-2012 02:00 4780
87.cudf_sol_check.mpm 21-Jun-2012 23:35 141
87.runsolver.aptget 18-Jun-2012 17:38 2047
87.runsolver.aptitude 18-Jun-2012 17:28 3242
87.runsolver.cupt 18-Jun-2012 17:47 3167
87.runsolver.mpm 17-Sep-2012 15:41 10704
87.runsolver.smart 21-Jun-2012 02:00 4766
88.cudf_sol_check.mpm 21-Jun-2012 23:35 141
88.runsolver.aptget 18-Jun-2012 17:38 2029
88.runsolver.aptitude 18-Jun-2012 17:28 3120
88.runsolver.cupt 18-Jun-2012 17:47 3157
88.runsolver.mpm 17-Sep-2012 15:40 10330
88.runsolver.smart 21-Jun-2012 01:59 4761
89.cudf_sol_check.mpm 21-Jun-2012 23:35 141
89.runsolver.aptget 18-Jun-2012 17:38 3121
89.runsolver.aptitude 18-Jun-2012 17:28 3246
89.runsolver.cupt 18-Jun-2012 17:47 3166
89.runsolver.mpm 17-Sep-2012 15:40 11500
89.runsolver.smart 21-Jun-2012 02:00 4754
9.cudf_sol_check.mpm 21-Jun-2012 23:38 140
9.runsolver.aptget 18-Jun-2012 17:38 2037
9.runsolver.aptitude 18-Jun-2012 17:28 3218
9.runsolver.cupt 18-Jun-2012 17:47 3157
9.runsolver.mpm 17-Sep-2012 15:40 10349
9.runsolver.smart 21-Jun-2012 02:00 4764
90.cudf_sol_check.mpm 21-Jun-2012 23:36 141
90.runsolver.aptget 18-Jun-2012 17:38 2054
90.runsolver.aptitude 18-Jun-2012 17:28 3212
90.runsolver.cupt 18-Jun-2012 17:47 3183
90.runsolver.mpm 17-Sep-2012 15:41 10351
90.runsolver.smart 21-Jun-2012 02:00 4777
91.cudf_sol_check.mpm 21-Jun-2012 23:36 141
91.runsolver.aptget 18-Jun-2012 17:38 2037
91.runsolver.aptitude 18-Jun-2012 17:28 3191
91.runsolver.cupt 18-Jun-2012 17:47 3176
91.runsolver.mpm 17-Sep-2012 15:40 10334
91.runsolver.smart 21-Jun-2012 02:00 4708
92.cudf_sol_check.mpm 21-Jun-2012 23:36 141
92.runsolver.aptget 18-Jun-2012 17:38 2045
92.runsolver.aptitude 18-Jun-2012 17:28 3228
92.runsolver.cupt 18-Jun-2012 17:47 3167
92.runsolver.mpm 17-Sep-2012 15:41 10346
92.runsolver.smart 21-Jun-2012 02:00 4244
93.cudf_sol_check.mpm 21-Jun-2012 23:37 141
93.runsolver.aptget 18-Jun-2012 17:38 3130
93.runsolver.aptitude 18-Jun-2012 17:28 2043
93.runsolver.cupt 18-Jun-2012 17:47 3152
93.runsolver.mpm 17-Sep-2012 15:41 11505
93.runsolver.smart 21-Jun-2012 01:59 4745
94.cudf_sol_check.mpm 21-Jun-2012 23:37 141
94.runsolver.aptget 18-Jun-2012 17:38 3139
94.runsolver.aptitude 18-Jun-2012 17:28 3246
94.runsolver.cupt 18-Jun-2012 17:47 3160
94.runsolver.mpm 17-Sep-2012 15:41 10343
94.runsolver.smart 21-Jun-2012 02:00 4791
95.cudf_sol_check.mpm 21-Jun-2012 23:37 141
95.runsolver.aptget 18-Jun-2012 17:38 3139
95.runsolver.aptitude 18-Jun-2012 17:28 3253
95.runsolver.cupt 18-Jun-2012 17:47 3174
95.runsolver.mpm 17-Sep-2012 15:40 10359
95.runsolver.smart 21-Jun-2012 02:00 4784
96.cudf_sol_check.mpm 21-Jun-2012 23:37 141
96.runsolver.aptget 18-Jun-2012 17:38 3175
96.runsolver.aptitude 18-Jun-2012 17:28 3247
96.runsolver.cupt 18-Jun-2012 17:47 3187
96.runsolver.mpm 17-Sep-2012 15:40 11875
96.runsolver.smart 21-Jun-2012 02:00 4482
97.cudf_sol_check.mpm 21-Jun-2012 23:38 141
97.runsolver.aptget 18-Jun-2012 17:38 2062
97.runsolver.aptitude 18-Jun-2012 17:28 5041
97.runsolver.cupt 18-Jun-2012 17:47 3182
97.runsolver.mpm 17-Sep-2012 15:40 10116
97.runsolver.smart 21-Jun-2012 02:00 4794
98.cudf_sol_check.mpm 21-Jun-2012 23:38 141
98.runsolver.aptget 18-Jun-2012 17:38 2052
98.runsolver.aptitude 18-Jun-2012 17:28 3218
98.runsolver.cupt 18-Jun-2012 17:47 3162
98.runsolver.mpm 17-Sep-2012 15:40 9332
98.runsolver.smart 21-Jun-2012 02:00 4750
99.cudf_sol_check.mpm 21-Jun-2012 23:38 141
99.runsolver.aptget 18-Jun-2012 17:38 2044
99.runsolver.aptitude 18-Jun-2012 17:28 3248
99.runsolver.cupt 18-Jun-2012 17:47 3171
99.runsolver.mpm 17-Sep-2012 15:41 10491
99.runsolver.smart 21-Jun-2012 01:59 4782