Index of /misc-live/20101126/solutions/trendy/aptitude-trendy-1.0/


../
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 172
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 115
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               12324
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 204
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               68877
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 172
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 115
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               13787
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 204
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30              121369
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 172
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 115
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                9343
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 203
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30              121369
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 172
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 115
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               12166
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 204
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               68877
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 172
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 115
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               13057
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 204
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30              121059
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:30                 172
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:30                 115
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:30               13977
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:30                 204
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:30              120860
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:30                 172
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:30                 115
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:30               11824
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:30                 202
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:30               63430
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:30                 172
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:30                 115
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:30               14825
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:30                 204
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:30              120860
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 172
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 115
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               15224
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 203
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30              121347
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 172
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 115
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               15217
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 204
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30              121369
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 172
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 115
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               14001
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 204
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30              121066
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 172
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 115
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               14882
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 204
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30              121347
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 172
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 115
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               14488
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 204
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30              121066
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 172
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 115
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               10822
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 203
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30              121369
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:30                 172
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:30                 115
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:30               16056
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:30                 203
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:30               80538
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 172
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 115
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               11135
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 204
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               70513
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 172
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 115
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               16161
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 245
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30              121369
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 172
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 115
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               11989
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 204
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               68877
huge1.cudf.cudf_set.error                          09-Dec-2010 13:30                 172
huge1.cudf.cudf_set.log                            09-Dec-2010 13:30                 115
huge1.cudf.cudf_set.log.runsolver                  09-Dec-2010 13:30                5022
huge1.cudf.cudf_set.log.time                       09-Dec-2010 13:30                 204
huge1.cudf.cudf_set.result.bz2                     09-Dec-2010 13:30                  42
huge2.cudf.cudf_set.error                          09-Dec-2010 13:30                 172
huge2.cudf.cudf_set.log                            09-Dec-2010 13:30                 115
huge2.cudf.cudf_set.log.runsolver                  09-Dec-2010 13:30                5279
huge2.cudf.cudf_set.log.time                       09-Dec-2010 13:30                 204
huge2.cudf.cudf_set.result.bz2                     09-Dec-2010 13:30                  42
huge3.cudf.cudf_set.error                          09-Dec-2010 13:30                 172
huge3.cudf.cudf_set.log                            09-Dec-2010 13:30                 115
huge3.cudf.cudf_set.log.runsolver                  09-Dec-2010 13:30                5313
huge3.cudf.cudf_set.log.time                       09-Dec-2010 13:30                 204
huge3.cudf.cudf_set.result.bz2                     09-Dec-2010 13:30                  42
large1.cudf.cudf_set.error                         09-Dec-2010 13:30                 172
large1.cudf.cudf_set.log                           09-Dec-2010 13:30                 115
large1.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:30                5386
large1.cudf.cudf_set.log.time                      09-Dec-2010 13:30                 205
large1.cudf.cudf_set.result.bz2                    09-Dec-2010 13:30                  42
large2.cudf.cudf_set.error                         09-Dec-2010 13:30                 172
large2.cudf.cudf_set.log                           09-Dec-2010 13:30                 115
large2.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:30                5392
large2.cudf.cudf_set.log.time                      09-Dec-2010 13:30                 205
large2.cudf.cudf_set.result.bz2                    09-Dec-2010 13:30                  42
large3.cudf.cudf_set.error                         09-Dec-2010 13:30                 172
large3.cudf.cudf_set.log                           09-Dec-2010 13:30                 115
large3.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:30                5408
large3.cudf.cudf_set.log.time                      09-Dec-2010 13:30                 204
large3.cudf.cudf_set.result.bz2                    09-Dec-2010 13:30                  42
rand0695fb.cudf.impossible.abort                   09-Dec-2010 13:30                 178
rand0695fb.cudf.impossible.log                     09-Dec-2010 13:30                 115
rand0695fb.cudf.impossible.log.runsolver           09-Dec-2010 13:30               17341
rand0695fb.cudf.impossible.log.time                09-Dec-2010 13:30                   0
rand06f749.cudf.difficult.error                    09-Dec-2010 13:30                 172
rand06f749.cudf.difficult.log                      09-Dec-2010 13:30                 115
rand06f749.cudf.difficult.log.runsolver            09-Dec-2010 13:30               10974
rand06f749.cudf.difficult.log.time                 09-Dec-2010 13:30                 204
rand06f749.cudf.difficult.result.bz2               09-Dec-2010 13:30               23636
rand08759d.cudf.easy.error                         09-Dec-2010 13:30                 172
rand08759d.cudf.easy.log                           09-Dec-2010 13:30                 115
rand08759d.cudf.easy.log.runsolver                 09-Dec-2010 13:30               11042
rand08759d.cudf.easy.log.time                      09-Dec-2010 13:30                 204
rand08759d.cudf.easy.result.bz2                    09-Dec-2010 13:30               61441
rand0aa5c1.cudf.difficult.error                    09-Dec-2010 13:30                 172
rand0aa5c1.cudf.difficult.log                      09-Dec-2010 13:30                 115
rand0aa5c1.cudf.difficult.log.runsolver            09-Dec-2010 13:30               12835
rand0aa5c1.cudf.difficult.log.time                 09-Dec-2010 13:30                 204
rand0aa5c1.cudf.difficult.result.bz2               09-Dec-2010 13:30               22203
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 172
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 115
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               20613
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 203
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               31608
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 178
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 115
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               18549
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                   0
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 178
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:30                 115
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               18909
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                   0
rand108.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                 172
rand108.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:30                 115
rand108.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30               15586
rand108.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 202
rand108.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30               19572
rand108.sarge.cudf.sarge.error                     09-Dec-2010 13:30                 172
rand108.sarge.cudf.sarge.log                       09-Dec-2010 13:30                 115
rand108.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30                9238
rand108.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 202
rand108.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30               32820
rand13b58e.cudf.easy.error                         09-Dec-2010 13:30                 172
rand13b58e.cudf.easy.log                           09-Dec-2010 13:30                 115
rand13b58e.cudf.easy.log.runsolver                 09-Dec-2010 13:30               11926
rand13b58e.cudf.easy.log.time                      09-Dec-2010 13:30                 204
rand13b58e.cudf.easy.result.bz2                    09-Dec-2010 13:30               61629
rand14ba69.cudf.difficult.error                    09-Dec-2010 13:30                 172
rand14ba69.cudf.difficult.log                      09-Dec-2010 13:30                 115
rand14ba69.cudf.difficult.log.runsolver            09-Dec-2010 13:30               11806
rand14ba69.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
rand14ba69.cudf.difficult.result.bz2               09-Dec-2010 13:30               25922
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 178
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 115
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               18665
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                   0
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 178
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 115
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               17393
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                   0
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 178
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:30                 115
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               20617
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                   0
rand165.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                 172
rand165.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:30                 115
rand165.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30               15621
rand165.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 204
rand165.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30               18360
rand165.sarge.cudf.sarge.error                     09-Dec-2010 13:30                 172
rand165.sarge.cudf.sarge.log                       09-Dec-2010 13:30                 115
rand165.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30               10061
rand165.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 203
rand165.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30               28111
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 178
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 115
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               17706
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                   0
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 178
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 115
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               18959
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                   0
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 178
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:30                 115
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               18865
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                   0
rand180.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                 172
rand180.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:30                 115
rand180.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30               16787
rand180.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 204
rand180.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30               17524
rand180.sarge.cudf.sarge.error                     09-Dec-2010 13:30                 172
rand180.sarge.cudf.sarge.log                       09-Dec-2010 13:30                 115
rand180.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30               10131
rand180.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 202
rand180.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30               31049
rand1bff33.cudf.easy.error                         09-Dec-2010 13:30                 172
rand1bff33.cudf.easy.log                           09-Dec-2010 13:30                 115
rand1bff33.cudf.easy.log.runsolver                 09-Dec-2010 13:30               11194
rand1bff33.cudf.easy.log.time                      09-Dec-2010 13:30                 204
rand1bff33.cudf.easy.result.bz2                    09-Dec-2010 13:30               59054
rand2d2fd0.cudf.difficult.error                    09-Dec-2010 13:30                 172
rand2d2fd0.cudf.difficult.log                      09-Dec-2010 13:30                 115
rand2d2fd0.cudf.difficult.log.runsolver            09-Dec-2010 13:30               13868
rand2d2fd0.cudf.difficult.log.time                 09-Dec-2010 13:30                 204
rand2d2fd0.cudf.difficult.result.bz2               09-Dec-2010 13:30               26817
rand2fb7ab.cudf.easy.error                         09-Dec-2010 13:30                 172
rand2fb7ab.cudf.easy.log                           09-Dec-2010 13:30                 115
rand2fb7ab.cudf.easy.log.runsolver                 09-Dec-2010 13:30               12077
rand2fb7ab.cudf.easy.log.time                      09-Dec-2010 13:30                 204
rand2fb7ab.cudf.easy.result.bz2                    09-Dec-2010 13:30               56947
rand2fe899.cudf.difficult.error                    09-Dec-2010 13:30                 172
rand2fe899.cudf.difficult.log                      09-Dec-2010 13:30                 115
rand2fe899.cudf.difficult.log.runsolver            09-Dec-2010 13:30               19950
rand2fe899.cudf.difficult.log.time                 09-Dec-2010 13:30                 202
rand2fe899.cudf.difficult.result.bz2               09-Dec-2010 13:30               23624
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 178
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 115
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               18952
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                   0
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 178
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 115
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               18899
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                   0
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 172
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:30                 115
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               20539
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 204
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               12332
rand316.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                 172
rand316.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:30                 115
rand316.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30               16575
rand316.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 202
rand316.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30               12488
rand316.sarge.cudf.sarge.error                     09-Dec-2010 13:30                 172
rand316.sarge.cudf.sarge.log                       09-Dec-2010 13:30                 115
rand316.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30                8575
rand316.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 204
rand316.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30               12796
rand332173.cudf.impossible.abort                   09-Dec-2010 13:30                 178
rand332173.cudf.impossible.log                     09-Dec-2010 13:30                 115
rand332173.cudf.impossible.log.runsolver           09-Dec-2010 13:30               18561
rand332173.cudf.impossible.log.time                09-Dec-2010 13:30                   0
rand359ca0.cudf.easy.error                         09-Dec-2010 13:30                 172
rand359ca0.cudf.easy.log                           09-Dec-2010 13:30                 115
rand359ca0.cudf.easy.log.runsolver                 09-Dec-2010 13:30               11519
rand359ca0.cudf.easy.log.time                      09-Dec-2010 13:30                 203
rand359ca0.cudf.easy.result.bz2                    09-Dec-2010 13:30               58688
rand394916.cudf.difficult.error                    09-Dec-2010 13:30                 172
rand394916.cudf.difficult.log                      09-Dec-2010 13:30                 115
rand394916.cudf.difficult.log.runsolver            09-Dec-2010 13:30               17677
rand394916.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
rand394916.cudf.difficult.result.bz2               09-Dec-2010 13:30               25863
rand3dec28.cudf.impossible.abort                   09-Dec-2010 13:30                 178
rand3dec28.cudf.impossible.log                     09-Dec-2010 13:30                 115
rand3dec28.cudf.impossible.log.runsolver           09-Dec-2010 13:30               17581
rand3dec28.cudf.impossible.log.time                09-Dec-2010 13:30                   0
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 178
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 115
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               17740
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                   0
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 178
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 115
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               17680
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                   0
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 172
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:30                 115
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               19311
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 204
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               30341
rand494.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                 172
rand494.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:30                 115
rand494.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30               15522
rand494.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 203
rand494.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30               17332
rand494.sarge.cudf.sarge.error                     09-Dec-2010 13:30                 172
rand494.sarge.cudf.sarge.log                       09-Dec-2010 13:30                 115
rand494.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30                9294
rand494.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 203
rand494.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30               30806
rand49d73b.cudf.difficult.error                    09-Dec-2010 13:30                 172
rand49d73b.cudf.difficult.log                      09-Dec-2010 13:30                 115
rand49d73b.cudf.difficult.log.runsolver            09-Dec-2010 13:30               10748
rand49d73b.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
rand49d73b.cudf.difficult.result.bz2               09-Dec-2010 13:30               25058
rand4d6b1c.cudf.difficult.error                    09-Dec-2010 13:30                 172
rand4d6b1c.cudf.difficult.log                      09-Dec-2010 13:30                 115
rand4d6b1c.cudf.difficult.log.runsolver            09-Dec-2010 13:30               11380
rand4d6b1c.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
rand4d6b1c.cudf.difficult.result.bz2               09-Dec-2010 13:30               25019
rand50a937.cudf.difficult.error                    09-Dec-2010 13:30                 172
rand50a937.cudf.difficult.log                      09-Dec-2010 13:30                 115
rand50a937.cudf.difficult.log.runsolver            09-Dec-2010 13:30               15561
rand50a937.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
rand50a937.cudf.difficult.result.bz2               09-Dec-2010 13:30               22544
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 178
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 115
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               18967
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                   0
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 178
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 115
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               18927
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                   0
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 178
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:30                 115
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               18864
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                   0
rand550.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                 172
rand550.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:30                 115
rand550.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30               14403
rand550.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 204
rand550.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30               18194
rand550.sarge.cudf.sarge.error                     09-Dec-2010 13:30                 172
rand550.sarge.cudf.sarge.log                       09-Dec-2010 13:30                 115
rand550.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30                9361
rand550.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 202
rand550.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30               31959
rand5619c8.cudf.easy.error                         09-Dec-2010 13:30                 172
rand5619c8.cudf.easy.log                           09-Dec-2010 13:30                 115
rand5619c8.cudf.easy.log.runsolver                 09-Dec-2010 13:30               12351
rand5619c8.cudf.easy.log.time                      09-Dec-2010 13:30                 204
rand5619c8.cudf.easy.result.bz2                    09-Dec-2010 13:30               59375
rand5c1800.cudf.easy.error                         09-Dec-2010 13:30                 172
rand5c1800.cudf.easy.log                           09-Dec-2010 13:30                 115
rand5c1800.cudf.easy.log.runsolver                 09-Dec-2010 13:30               11405
rand5c1800.cudf.easy.log.time                      09-Dec-2010 13:30                 203
rand5c1800.cudf.easy.result.bz2                    09-Dec-2010 13:30               57275
rand61b840.cudf.easy.error                         09-Dec-2010 13:30                 172
rand61b840.cudf.easy.log                           09-Dec-2010 13:30                 115
rand61b840.cudf.easy.log.runsolver                 09-Dec-2010 13:30               11191
rand61b840.cudf.easy.log.time                      09-Dec-2010 13:30                 204
rand61b840.cudf.easy.result.bz2                    09-Dec-2010 13:30               54532
rand655e63.cudf.impossible.abort                   09-Dec-2010 13:30                 178
rand655e63.cudf.impossible.log                     09-Dec-2010 13:30                 115
rand655e63.cudf.impossible.log.runsolver           09-Dec-2010 13:30               19156
rand655e63.cudf.impossible.log.time                09-Dec-2010 13:30                   0
rand6b4d6e.cudf.impossible.abort                   09-Dec-2010 13:30                 178
rand6b4d6e.cudf.impossible.log                     09-Dec-2010 13:30                 115
rand6b4d6e.cudf.impossible.log.runsolver           09-Dec-2010 13:30               19182
rand6b4d6e.cudf.impossible.log.time                09-Dec-2010 13:30                   0
rand6d933e.cudf.easy.error                         09-Dec-2010 13:30                 172
rand6d933e.cudf.easy.log                           09-Dec-2010 13:30                 115
rand6d933e.cudf.easy.log.runsolver                 09-Dec-2010 13:30               12439
rand6d933e.cudf.easy.log.time                      09-Dec-2010 13:30                 204
rand6d933e.cudf.easy.result.bz2                    09-Dec-2010 13:30               57310
rand7141b1.cudf.impossible.abort                   09-Dec-2010 13:30                 178
rand7141b1.cudf.impossible.log                     09-Dec-2010 13:30                 115
rand7141b1.cudf.impossible.log.runsolver           09-Dec-2010 13:30               19171
rand7141b1.cudf.impossible.log.time                09-Dec-2010 13:30                   0
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 172
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 115
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               19853
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 245
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               31163
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 172
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 115
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               16525
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 203
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               31164
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 172
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:30                 115
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               14236
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 201
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               28704
rand753.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                 172
rand753.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:30                 115
rand753.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30               12127
rand753.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 204
rand753.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30               16275
rand753.sarge.cudf.sarge.error                     09-Dec-2010 13:30                 172
rand753.sarge.cudf.sarge.log                       09-Dec-2010 13:30                 115
rand753.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30                9847
rand753.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 204
rand753.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30               17805
rand7902a8.cudf.impossible.abort                   09-Dec-2010 13:30                 178
rand7902a8.cudf.impossible.log                     09-Dec-2010 13:30                 115
rand7902a8.cudf.impossible.log.runsolver           09-Dec-2010 13:30               19143
rand7902a8.cudf.impossible.log.time                09-Dec-2010 13:30                   0
rand7b4167.cudf.difficult.error                    09-Dec-2010 13:30                 172
rand7b4167.cudf.difficult.log                      09-Dec-2010 13:30                 115
rand7b4167.cudf.difficult.log.runsolver            09-Dec-2010 13:30               14557
rand7b4167.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
rand7b4167.cudf.difficult.result.bz2               09-Dec-2010 13:30               22134
rand7fec8c.cudf.easy.error                         09-Dec-2010 13:30                 172
rand7fec8c.cudf.easy.log                           09-Dec-2010 13:30                 115
rand7fec8c.cudf.easy.log.runsolver                 09-Dec-2010 13:30               13747
rand7fec8c.cudf.easy.log.time                      09-Dec-2010 13:30                 204
rand7fec8c.cudf.easy.result.bz2                    09-Dec-2010 13:30               59683
rand81406f.cudf.impossible.abort                   09-Dec-2010 13:30                 178
rand81406f.cudf.impossible.log                     09-Dec-2010 13:30                 115
rand81406f.cudf.impossible.log.runsolver           09-Dec-2010 13:30               17873
rand81406f.cudf.impossible.log.time                09-Dec-2010 13:30                   0
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 178
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 115
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               17705
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                   0
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 178
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 115
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               18974
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                   0
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 178
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:30                 115
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               21881
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                   0
rand815.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                 172
rand815.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:30                 115
rand815.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30               11386
rand815.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 204
rand815.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30               18158
rand815.sarge.cudf.sarge.error                     09-Dec-2010 13:30                 172
rand815.sarge.cudf.sarge.log                       09-Dec-2010 13:30                 115
rand815.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30                9381
rand815.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 202
rand815.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30               30677
rand835640.cudf.impossible.abort                   09-Dec-2010 13:30                 178
rand835640.cudf.impossible.log                     09-Dec-2010 13:30                 115
rand835640.cudf.impossible.log.runsolver           09-Dec-2010 13:30               20911
rand835640.cudf.impossible.log.time                09-Dec-2010 13:30                   0
rand847939.cudf.difficult.abort                    09-Dec-2010 13:30                 178
rand847939.cudf.difficult.log                      09-Dec-2010 13:30                 115
rand847939.cudf.difficult.log.runsolver            09-Dec-2010 13:30               18824
rand847939.cudf.difficult.log.time                 09-Dec-2010 13:30                   0
rand878003.cudf.impossible.abort                   09-Dec-2010 13:30                 178
rand878003.cudf.impossible.log                     09-Dec-2010 13:30                 115
rand878003.cudf.impossible.log.runsolver           09-Dec-2010 13:30               18870
rand878003.cudf.impossible.log.time                09-Dec-2010 13:30                   0
rand8cc693.cudf.impossible.abort                   09-Dec-2010 13:30                 178
rand8cc693.cudf.impossible.log                     09-Dec-2010 13:30                 115
rand8cc693.cudf.impossible.log.runsolver           09-Dec-2010 13:30               17866
rand8cc693.cudf.impossible.log.time                09-Dec-2010 13:30                   0
rand8d117b.cudf.easy.error                         09-Dec-2010 13:30                 172
rand8d117b.cudf.easy.log                           09-Dec-2010 13:30                 115
rand8d117b.cudf.easy.log.runsolver                 09-Dec-2010 13:30               11189
rand8d117b.cudf.easy.log.time                      09-Dec-2010 13:30                 204
rand8d117b.cudf.easy.result.bz2                    09-Dec-2010 13:30               57846
rand908403.cudf.difficult.abort                    09-Dec-2010 13:30                 178
rand908403.cudf.difficult.log                      09-Dec-2010 13:30                 115
rand908403.cudf.difficult.log.runsolver            09-Dec-2010 13:30               19124
rand908403.cudf.difficult.log.time                 09-Dec-2010 13:30                   0
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 172
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 115
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               19607
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 203
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               28899
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 172
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 115
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               20049
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 202
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               28930
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 172
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:30                 115
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               13412
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 204
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               17229
rand915.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                 172
rand915.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:30                 115
rand915.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30               13029
rand915.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 201
rand915.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30               17409
rand915.sarge.cudf.sarge.error                     09-Dec-2010 13:30                 172
rand915.sarge.cudf.sarge.log                       09-Dec-2010 13:30                 115
rand915.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30                9385
rand915.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 201
rand915.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30               31296
rand951a14.cudf.easy.error                         09-Dec-2010 13:30                 172
rand951a14.cudf.easy.log                           09-Dec-2010 13:30                 115
rand951a14.cudf.easy.log.runsolver                 09-Dec-2010 13:30               12052
rand951a14.cudf.easy.log.time                      09-Dec-2010 13:30                 204
rand951a14.cudf.easy.result.bz2                    09-Dec-2010 13:30               55433
rand95e48b.cudf.difficult.error                    09-Dec-2010 13:30                 172
rand95e48b.cudf.difficult.log                      09-Dec-2010 13:30                 115
rand95e48b.cudf.difficult.log.runsolver            09-Dec-2010 13:30               14038
rand95e48b.cudf.difficult.log.time                 09-Dec-2010 13:30                 204
rand95e48b.cudf.difficult.result.bz2               09-Dec-2010 13:30               20055
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 178
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 115
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               17781
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                   0
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 178
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 115
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               17669
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                   0
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 178
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:30                 115
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               18855
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                   0
rand986.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                 172
rand986.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:30                 115
rand986.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30               14598
rand986.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 201
rand986.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30               15281
rand986.sarge.cudf.sarge.error                     09-Dec-2010 13:30                 172
rand986.sarge.cudf.sarge.log                       09-Dec-2010 13:30                 115
rand986.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30               10192
rand986.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 204
rand986.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30               19405
randa223c3.cudf.impossible.abort                   09-Dec-2010 13:30                 178
randa223c3.cudf.impossible.log                     09-Dec-2010 13:30                 115
randa223c3.cudf.impossible.log.runsolver           09-Dec-2010 13:30               18315
randa223c3.cudf.impossible.log.time                09-Dec-2010 13:30                   0
randa45895.cudf.difficult.error                    09-Dec-2010 13:30                 172
randa45895.cudf.difficult.log                      09-Dec-2010 13:30                 115
randa45895.cudf.difficult.log.runsolver            09-Dec-2010 13:30               14432
randa45895.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
randa45895.cudf.difficult.result.bz2               09-Dec-2010 13:30               38160
randa651ed.cudf.difficult.error                    09-Dec-2010 13:30                 172
randa651ed.cudf.difficult.log                      09-Dec-2010 13:30                 115
randa651ed.cudf.difficult.log.runsolver            09-Dec-2010 13:30               12844
randa651ed.cudf.difficult.log.time                 09-Dec-2010 13:30                 204
randa651ed.cudf.difficult.result.bz2               09-Dec-2010 13:30               20891
randa870aa.cudf.difficult.error                    09-Dec-2010 13:30                 172
randa870aa.cudf.difficult.log                      09-Dec-2010 13:30                 115
randa870aa.cudf.difficult.log.runsolver            09-Dec-2010 13:30               14704
randa870aa.cudf.difficult.log.time                 09-Dec-2010 13:30                 202
randa870aa.cudf.difficult.result.bz2               09-Dec-2010 13:30               18170
randa9ba44.cudf.easy.error                         09-Dec-2010 13:30                 172
randa9ba44.cudf.easy.log                           09-Dec-2010 13:30                 115
randa9ba44.cudf.easy.log.runsolver                 09-Dec-2010 13:30               11040
randa9ba44.cudf.easy.log.time                      09-Dec-2010 13:30                 204
randa9ba44.cudf.easy.result.bz2                    09-Dec-2010 13:30               58680
randaaa8ea.cudf.easy.error                         09-Dec-2010 13:30                 172
randaaa8ea.cudf.easy.log                           09-Dec-2010 13:30                 115
randaaa8ea.cudf.easy.log.runsolver                 09-Dec-2010 13:30               12129
randaaa8ea.cudf.easy.log.time                      09-Dec-2010 13:30                 204
randaaa8ea.cudf.easy.result.bz2                    09-Dec-2010 13:30               58084
randaafcce.cudf.impossible.abort                   09-Dec-2010 13:30                 178
randaafcce.cudf.impossible.log                     09-Dec-2010 13:30                 115
randaafcce.cudf.impossible.log.runsolver           09-Dec-2010 13:30               18908
randaafcce.cudf.impossible.log.time                09-Dec-2010 13:30                   0
randadea40.cudf.easy.error                         09-Dec-2010 13:30                 172
randadea40.cudf.easy.log                           09-Dec-2010 13:30                 115
randadea40.cudf.easy.log.runsolver                 09-Dec-2010 13:30               11912
randadea40.cudf.easy.log.time                      09-Dec-2010 13:30                 204
randadea40.cudf.easy.result.bz2                    09-Dec-2010 13:30               56227
randba6b5b.cudf.easy.error                         09-Dec-2010 13:30                 172
randba6b5b.cudf.easy.log                           09-Dec-2010 13:30                 115
randba6b5b.cudf.easy.log.runsolver                 09-Dec-2010 13:30               11875
randba6b5b.cudf.easy.log.time                      09-Dec-2010 13:30                 204
randba6b5b.cudf.easy.result.bz2                    09-Dec-2010 13:30               57803
randbe9acf.cudf.easy.error                         09-Dec-2010 13:30                 172
randbe9acf.cudf.easy.log                           09-Dec-2010 13:30                 115
randbe9acf.cudf.easy.log.runsolver                 09-Dec-2010 13:30               11916
randbe9acf.cudf.easy.log.time                      09-Dec-2010 13:30                 204
randbe9acf.cudf.easy.result.bz2                    09-Dec-2010 13:30               57487
randc10393.cudf.difficult.error                    09-Dec-2010 13:30                 172
randc10393.cudf.difficult.log                      09-Dec-2010 13:30                 115
randc10393.cudf.difficult.log.runsolver            09-Dec-2010 13:30               14026
randc10393.cudf.difficult.log.time                 09-Dec-2010 13:30                 204
randc10393.cudf.difficult.result.bz2               09-Dec-2010 13:30               23507
randc192b7.cudf.easy.error                         09-Dec-2010 13:30                 172
randc192b7.cudf.easy.log                           09-Dec-2010 13:30                 115
randc192b7.cudf.easy.log.runsolver                 09-Dec-2010 13:30               11579
randc192b7.cudf.easy.log.time                      09-Dec-2010 13:30                 203
randc192b7.cudf.easy.result.bz2                    09-Dec-2010 13:30               55284
randd8bf6a.cudf.difficult.error                    09-Dec-2010 13:30                 172
randd8bf6a.cudf.difficult.log                      09-Dec-2010 13:30                 115
randd8bf6a.cudf.difficult.log.runsolver            09-Dec-2010 13:30               14012
randd8bf6a.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
randd8bf6a.cudf.difficult.result.bz2               09-Dec-2010 13:30               22287
rande4fcd8.cudf.difficult.error                    09-Dec-2010 13:30                 172
rande4fcd8.cudf.difficult.log                      09-Dec-2010 13:30                 115
rande4fcd8.cudf.difficult.log.runsolver            09-Dec-2010 13:30               11792
rande4fcd8.cudf.difficult.log.time                 09-Dec-2010 13:30                 204
rande4fcd8.cudf.difficult.result.bz2               09-Dec-2010 13:30               21892
randea6106.cudf.easy.error                         09-Dec-2010 13:30                 172
randea6106.cudf.easy.log                           09-Dec-2010 13:30                 115
randea6106.cudf.easy.log.runsolver                 09-Dec-2010 13:30               13136
randea6106.cudf.easy.log.time                      09-Dec-2010 13:30                 204
randea6106.cudf.easy.result.bz2                    09-Dec-2010 13:30               58542
randeb343c.cudf.easy.error                         09-Dec-2010 13:30                 172
randeb343c.cudf.easy.log                           09-Dec-2010 13:30                 115
randeb343c.cudf.easy.log.runsolver                 09-Dec-2010 13:30               11574
randeb343c.cudf.easy.log.time                      09-Dec-2010 13:30                 204
randeb343c.cudf.easy.result.bz2                    09-Dec-2010 13:30               58009
randec88d5.cudf.impossible.abort                   09-Dec-2010 13:30                 178
randec88d5.cudf.impossible.log                     09-Dec-2010 13:30                 115
randec88d5.cudf.impossible.log.runsolver           09-Dec-2010 13:30               18865
randec88d5.cudf.impossible.log.time                09-Dec-2010 13:30                   0
randf17677.cudf.difficult.error                    09-Dec-2010 13:30                 172
randf17677.cudf.difficult.log                      09-Dec-2010 13:30                 115
randf17677.cudf.difficult.log.runsolver            09-Dec-2010 13:30               16024
randf17677.cudf.difficult.log.time                 09-Dec-2010 13:30                 202
randf17677.cudf.difficult.result.bz2               09-Dec-2010 13:30               21837
randf406d5.cudf.difficult.error                    09-Dec-2010 13:30                 172
randf406d5.cudf.difficult.log                      09-Dec-2010 13:30                 115
randf406d5.cudf.difficult.log.runsolver            09-Dec-2010 13:30               12911
randf406d5.cudf.difficult.log.time                 09-Dec-2010 13:30                 245
randf406d5.cudf.difficult.result.bz2               09-Dec-2010 13:30               24381
randf61f65.cudf.difficult.error                    09-Dec-2010 13:30                 172
randf61f65.cudf.difficult.log                      09-Dec-2010 13:30                 115
randf61f65.cudf.difficult.log.runsolver            09-Dec-2010 13:30               10894
randf61f65.cudf.difficult.log.time                 09-Dec-2010 13:30                 204
randf61f65.cudf.difficult.result.bz2               09-Dec-2010 13:30               23104
randf7a7e4.cudf.easy.error                         09-Dec-2010 13:30                 172
randf7a7e4.cudf.easy.log                           09-Dec-2010 13:30                 115
randf7a7e4.cudf.easy.log.runsolver                 09-Dec-2010 13:30               10696
randf7a7e4.cudf.easy.log.time                      09-Dec-2010 13:30                 204
randf7a7e4.cudf.easy.result.bz2                    09-Dec-2010 13:30               43122
randfa4522.cudf.impossible.abort                   09-Dec-2010 13:30                 178
randfa4522.cudf.impossible.log                     09-Dec-2010 13:30                 115
randfa4522.cudf.impossible.log.runsolver           09-Dec-2010 13:30               15150
randfa4522.cudf.impossible.log.time                09-Dec-2010 13:30                   0
small1.cudf.cudf_set.error                         09-Dec-2010 13:30                 172
small1.cudf.cudf_set.log                           09-Dec-2010 13:30                 115
small1.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:30                4790
small1.cudf.cudf_set.log.time                      09-Dec-2010 13:30                 204
small1.cudf.cudf_set.result.bz2                    09-Dec-2010 13:30                  42
small2.cudf.cudf_set.error                         09-Dec-2010 13:30                 172
small2.cudf.cudf_set.log                           09-Dec-2010 13:30                 115
small2.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:30                4821
small2.cudf.cudf_set.log.time                      09-Dec-2010 13:30                 202
small2.cudf.cudf_set.result.bz2                    09-Dec-2010 13:30                  42
small3.cudf.cudf_set.error                         09-Dec-2010 13:30                 172
small3.cudf.cudf_set.log                           09-Dec-2010 13:30                 115
small3.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:30                4833
small3.cudf.cudf_set.log.time                      09-Dec-2010 13:30                 205
small3.cudf.cudf_set.result.bz2                    09-Dec-2010 13:30                  42