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