Index of /misc-live/20101126/solutions/trendy/aspcud-trendy-1.3/


../
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                  43
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                   0
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                7548
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 203
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                9020
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                  43
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                   0
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               14350
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               18408
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                  43
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                   0
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               15348
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                 199
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               18388
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                  43
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                   0
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                7965
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 203
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                9020
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                  43
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                   0
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               21845
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                 203
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               18386
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:30                  43
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:30                   0
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:30               12442
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:30                 204
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31               17941
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:30                  43
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:30                   0
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:30                7856
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:30                 201
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:30                9203
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:30                  43
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:30                   0
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:30               14328
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               17967
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                  43
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                   0
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               14313
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               18821
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                  43
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                   0
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               17946
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               18397
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                  43
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                   0
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               12402
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               18385
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                  43
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                   0
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               13068
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 203
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               18821
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  43
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                   0
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               11263
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 203
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               18385
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                  43
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                   0
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               15906
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 202
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               18388
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:30                  43
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:30                   0
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:30                9552
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               12206
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                  43
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                   0
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               11987
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 203
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                8964
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                  43
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                   0
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               14666
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 203
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               18388
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                  43
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                   0
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                6870
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 203
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                9020
huge1.cudf.cudf_set.error                          09-Dec-2010 13:30                  43
huge1.cudf.cudf_set.log                            09-Dec-2010 13:30                   0
huge1.cudf.cudf_set.log.runsolver                  09-Dec-2010 13:30               14290
huge1.cudf.cudf_set.log.time                       09-Dec-2010 13:30                 203
huge1.cudf.cudf_set.result.bz2                     09-Dec-2010 13:30                  42
huge2.cudf.cudf_set.error                          09-Dec-2010 13:31                  43
huge2.cudf.cudf_set.log                            09-Dec-2010 13:30                   0
huge2.cudf.cudf_set.log.runsolver                  09-Dec-2010 13:30               15241
huge2.cudf.cudf_set.log.time                       09-Dec-2010 13:30                 203
huge2.cudf.cudf_set.result.bz2                     09-Dec-2010 13:30                  42
huge3.cudf.cudf_set.error                          09-Dec-2010 13:30                  43
huge3.cudf.cudf_set.log                            09-Dec-2010 13:30                   0
huge3.cudf.cudf_set.log.runsolver                  09-Dec-2010 13:30               15787
huge3.cudf.cudf_set.log.time                       09-Dec-2010 13:30                 202
huge3.cudf.cudf_set.result.bz2                     09-Dec-2010 13:30                  42
large1.cudf.cudf_set.error                         09-Dec-2010 13:31                  43
large1.cudf.cudf_set.log                           09-Dec-2010 13:31                   0
large1.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:30               15340
large1.cudf.cudf_set.log.time                      09-Dec-2010 13:30                 202
large1.cudf.cudf_set.result.bz2                    09-Dec-2010 13:30                  42
large2.cudf.cudf_set.error                         09-Dec-2010 13:30                  43
large2.cudf.cudf_set.log                           09-Dec-2010 13:30                   0
large2.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:30               18491
large2.cudf.cudf_set.log.time                      09-Dec-2010 13:30                 202
large2.cudf.cudf_set.result.bz2                    09-Dec-2010 13:30                1042
large3.cudf.cudf_set.error                         09-Dec-2010 13:30                  43
large3.cudf.cudf_set.log                           09-Dec-2010 13:30                   0
large3.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:30               19437
large3.cudf.cudf_set.log.time                      09-Dec-2010 13:30                 202
large3.cudf.cudf_set.result.bz2                    09-Dec-2010 13:30                1038
rand0695fb.cudf.impossible.error                   09-Dec-2010 13:30                  43
rand0695fb.cudf.impossible.log                     09-Dec-2010 13:30                   0
rand0695fb.cudf.impossible.log.runsolver           09-Dec-2010 13:30               13620
rand0695fb.cudf.impossible.log.time                09-Dec-2010 13:30                 204
rand0695fb.cudf.impossible.result.bz2              09-Dec-2010 13:30                5783
rand06f749.cudf.difficult.error                    09-Dec-2010 13:30                  43
rand06f749.cudf.difficult.log                      09-Dec-2010 13:30                   0
rand06f749.cudf.difficult.log.runsolver            09-Dec-2010 13:30               10625
rand06f749.cudf.difficult.log.time                 09-Dec-2010 13:30                 202
rand06f749.cudf.difficult.result.bz2               09-Dec-2010 13:30                5932
rand08759d.cudf.easy.error                         09-Dec-2010 13:30                  43
rand08759d.cudf.easy.log                           09-Dec-2010 13:30                   0
rand08759d.cudf.easy.log.runsolver                 09-Dec-2010 13:30                7438
rand08759d.cudf.easy.log.time                      09-Dec-2010 13:30                 203
rand08759d.cudf.easy.result.bz2                    09-Dec-2010 13:30                9684
rand0aa5c1.cudf.difficult.error                    09-Dec-2010 13:30                  43
rand0aa5c1.cudf.difficult.log                      09-Dec-2010 13:30                   0
rand0aa5c1.cudf.difficult.log.runsolver            09-Dec-2010 13:30               14708
rand0aa5c1.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
rand0aa5c1.cudf.difficult.result.bz2               09-Dec-2010 13:30                  42
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                  43
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                   0
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               16460
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 202
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                  42
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                  43
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                   0
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               16356
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 203
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                  42
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                  43
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:30                   0
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               17017
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 204
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                5308
rand108.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                  43
rand108.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:30                   0
rand108.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30               15126
rand108.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 204
rand108.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30                6038
rand108.sarge.cudf.sarge.error                     09-Dec-2010 13:30                  43
rand108.sarge.cudf.sarge.log                       09-Dec-2010 13:30                   0
rand108.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30               14598
rand108.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 202
rand108.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:31                  42
rand13b58e.cudf.easy.error                         09-Dec-2010 13:30                  43
rand13b58e.cudf.easy.log                           09-Dec-2010 13:30                   0
rand13b58e.cudf.easy.log.runsolver                 09-Dec-2010 13:30                7745
rand13b58e.cudf.easy.log.time                      09-Dec-2010 13:30                 203
rand13b58e.cudf.easy.result.bz2                    09-Dec-2010 13:30                8862
rand14ba69.cudf.difficult.error                    09-Dec-2010 13:30                  43
rand14ba69.cudf.difficult.log                      09-Dec-2010 13:30                   0
rand14ba69.cudf.difficult.log.runsolver            09-Dec-2010 13:30               15823
rand14ba69.cudf.difficult.log.time                 09-Dec-2010 13:30                 204
rand14ba69.cudf.difficult.result.bz2               09-Dec-2010 13:30                  42
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                  43
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                   0
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               16389
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 204
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                  42
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                  43
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                   0
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               16024
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 204
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                  42
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                  43
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:30                   0
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               13736
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 204
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                4278
rand165.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                  43
rand165.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:30                   0
rand165.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30               16898
rand165.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 201
rand165.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30                4916
rand165.sarge.cudf.sarge.error                     09-Dec-2010 13:30                  43
rand165.sarge.cudf.sarge.log                       09-Dec-2010 13:31                   0
rand165.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:31               11266
rand165.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 203
rand165.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30                4803
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                  43
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                   0
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31               16643
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 203
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                  42
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                  43
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                   0
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               16598
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 203
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                  42
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                  43
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:30                   0
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31               17543
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 204
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                5184
rand180.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                  43
rand180.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:31                   0
rand180.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30               18137
rand180.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 203
rand180.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30                  42
rand180.sarge.cudf.sarge.error                     09-Dec-2010 13:30                  43
rand180.sarge.cudf.sarge.log                       09-Dec-2010 13:30                   0
rand180.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30               16373
rand180.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 203
rand180.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:31                  42
rand1bff33.cudf.easy.error                         09-Dec-2010 13:30                  43
rand1bff33.cudf.easy.log                           09-Dec-2010 13:30                   0
rand1bff33.cudf.easy.log.runsolver                 09-Dec-2010 13:30                6954
rand1bff33.cudf.easy.log.time                      09-Dec-2010 13:30                 203
rand1bff33.cudf.easy.result.bz2                    09-Dec-2010 13:30                9357
rand2d2fd0.cudf.difficult.error                    09-Dec-2010 13:30                  43
rand2d2fd0.cudf.difficult.log                      09-Dec-2010 13:30                   0
rand2d2fd0.cudf.difficult.log.runsolver            09-Dec-2010 13:30               16471
rand2d2fd0.cudf.difficult.log.time                 09-Dec-2010 13:30                 204
rand2d2fd0.cudf.difficult.result.bz2               09-Dec-2010 13:30                  42
rand2fb7ab.cudf.easy.error                         09-Dec-2010 13:30                  43
rand2fb7ab.cudf.easy.log                           09-Dec-2010 13:30                   0
rand2fb7ab.cudf.easy.log.runsolver                 09-Dec-2010 13:30                7491
rand2fb7ab.cudf.easy.log.time                      09-Dec-2010 13:31                 203
rand2fb7ab.cudf.easy.result.bz2                    09-Dec-2010 13:31                9214
rand2fe899.cudf.difficult.error                    09-Dec-2010 13:30                  43
rand2fe899.cudf.difficult.log                      09-Dec-2010 13:30                   0
rand2fe899.cudf.difficult.log.runsolver            09-Dec-2010 13:31                7518
rand2fe899.cudf.difficult.log.time                 09-Dec-2010 13:30                 202
rand2fe899.cudf.difficult.result.bz2               09-Dec-2010 13:30                4804
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                  43
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                   0
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               16630
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                 202
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                  42
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                  43
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                   0
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               15690
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 204
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                  42
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                  43
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:30                   0
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               16549
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 203
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                  42
rand316.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                  43
rand316.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:30                   0
rand316.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30               13566
rand316.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 204
rand316.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30                5801
rand316.sarge.cudf.sarge.error                     09-Dec-2010 13:30                  43
rand316.sarge.cudf.sarge.log                       09-Dec-2010 13:30                   0
rand316.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30               11410
rand316.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 203
rand316.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30                5746
rand332173.cudf.impossible.error                   09-Dec-2010 13:30                  43
rand332173.cudf.impossible.log                     09-Dec-2010 13:30                   0
rand332173.cudf.impossible.log.runsolver           09-Dec-2010 13:30               16577
rand332173.cudf.impossible.log.time                09-Dec-2010 13:30                 203
rand332173.cudf.impossible.result.bz2              09-Dec-2010 13:31                  42
rand359ca0.cudf.easy.error                         09-Dec-2010 13:30                  43
rand359ca0.cudf.easy.log                           09-Dec-2010 13:30                   0
rand359ca0.cudf.easy.log.runsolver                 09-Dec-2010 13:30                7865
rand359ca0.cudf.easy.log.time                      09-Dec-2010 13:31                 203
rand359ca0.cudf.easy.result.bz2                    09-Dec-2010 13:30                9590
rand394916.cudf.difficult.error                    09-Dec-2010 13:30                  43
rand394916.cudf.difficult.log                      09-Dec-2010 13:30                   0
rand394916.cudf.difficult.log.runsolver            09-Dec-2010 13:30                9064
rand394916.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
rand394916.cudf.difficult.result.bz2               09-Dec-2010 13:30                  42
rand3dec28.cudf.impossible.error                   09-Dec-2010 13:30                  43
rand3dec28.cudf.impossible.log                     09-Dec-2010 13:30                   0
rand3dec28.cudf.impossible.log.runsolver           09-Dec-2010 13:30               15909
rand3dec28.cudf.impossible.log.time                09-Dec-2010 13:30                 204
rand3dec28.cudf.impossible.result.bz2              09-Dec-2010 13:30                  42
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                  43
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                   0
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               15737
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 204
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                  42
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                  43
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                   0
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               15713
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 204
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                  42
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                  43
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:30                   0
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               16999
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 203
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                5170
rand494.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                  43
rand494.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:30                   0
rand494.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30               17200
rand494.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 204
rand494.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30                5652
rand494.sarge.cudf.sarge.error                     09-Dec-2010 13:30                  43
rand494.sarge.cudf.sarge.log                       09-Dec-2010 13:30                   0
rand494.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30               11405
rand494.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 203
rand494.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:31                5512
rand49d73b.cudf.difficult.error                    09-Dec-2010 13:30                  43
rand49d73b.cudf.difficult.log                      09-Dec-2010 13:30                   0
rand49d73b.cudf.difficult.log.runsolver            09-Dec-2010 13:30               14915
rand49d73b.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
rand49d73b.cudf.difficult.result.bz2               09-Dec-2010 13:30                  42
rand4d6b1c.cudf.difficult.error                    09-Dec-2010 13:30                  43
rand4d6b1c.cudf.difficult.log                      09-Dec-2010 13:30                   0
rand4d6b1c.cudf.difficult.log.runsolver            09-Dec-2010 13:30               15254
rand4d6b1c.cudf.difficult.log.time                 09-Dec-2010 13:30                 204
rand4d6b1c.cudf.difficult.result.bz2               09-Dec-2010 13:30                  42
rand50a937.cudf.difficult.error                    09-Dec-2010 13:30                  43
rand50a937.cudf.difficult.log                      09-Dec-2010 13:30                   0
rand50a937.cudf.difficult.log.runsolver            09-Dec-2010 13:30               14911
rand50a937.cudf.difficult.log.time                 09-Dec-2010 13:30                 204
rand50a937.cudf.difficult.result.bz2               09-Dec-2010 13:30                  42
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                  43
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                   0
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               15709
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                 203
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                  42
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                  43
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                   0
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               15687
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 204
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                  42
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                  43
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:30                   0
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               18791
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 204
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                6087
rand550.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                  43
rand550.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:30                   0
rand550.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30               19296
rand550.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 202
rand550.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30                5791
rand550.sarge.cudf.sarge.error                     09-Dec-2010 13:30                  43
rand550.sarge.cudf.sarge.log                       09-Dec-2010 13:30                   0
rand550.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30               18270
rand550.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 203
rand550.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30                5765
rand5619c8.cudf.easy.error                         09-Dec-2010 13:30                  43
rand5619c8.cudf.easy.log                           09-Dec-2010 13:30                   0
rand5619c8.cudf.easy.log.runsolver                 09-Dec-2010 13:30                7510
rand5619c8.cudf.easy.log.time                      09-Dec-2010 13:31                 203
rand5619c8.cudf.easy.result.bz2                    09-Dec-2010 13:30                9437
rand5c1800.cudf.easy.error                         09-Dec-2010 13:30                  43
rand5c1800.cudf.easy.log                           09-Dec-2010 13:31                   0
rand5c1800.cudf.easy.log.runsolver                 09-Dec-2010 13:30                7184
rand5c1800.cudf.easy.log.time                      09-Dec-2010 13:30                 203
rand5c1800.cudf.easy.result.bz2                    09-Dec-2010 13:30                9152
rand61b840.cudf.easy.error                         09-Dec-2010 13:30                  43
rand61b840.cudf.easy.log                           09-Dec-2010 13:30                   0
rand61b840.cudf.easy.log.runsolver                 09-Dec-2010 13:31                7167
rand61b840.cudf.easy.log.time                      09-Dec-2010 13:30                 202
rand61b840.cudf.easy.result.bz2                    09-Dec-2010 13:30                9153
rand655e63.cudf.impossible.error                   09-Dec-2010 13:30                  43
rand655e63.cudf.impossible.log                     09-Dec-2010 13:30                   0
rand655e63.cudf.impossible.log.runsolver           09-Dec-2010 13:30               18131
rand655e63.cudf.impossible.log.time                09-Dec-2010 13:30                 203
rand655e63.cudf.impossible.result.bz2              09-Dec-2010 13:30                6053
rand6b4d6e.cudf.impossible.error                   09-Dec-2010 13:30                  43
rand6b4d6e.cudf.impossible.log                     09-Dec-2010 13:30                   0
rand6b4d6e.cudf.impossible.log.runsolver           09-Dec-2010 13:30               17805
rand6b4d6e.cudf.impossible.log.time                09-Dec-2010 13:30                 204
rand6b4d6e.cudf.impossible.result.bz2              09-Dec-2010 13:30                5833
rand6d933e.cudf.easy.error                         09-Dec-2010 13:30                  43
rand6d933e.cudf.easy.log                           09-Dec-2010 13:31                   0
rand6d933e.cudf.easy.log.runsolver                 09-Dec-2010 13:30                7862
rand6d933e.cudf.easy.log.time                      09-Dec-2010 13:30                 203
rand6d933e.cudf.easy.result.bz2                    09-Dec-2010 13:30                9259
rand7141b1.cudf.impossible.error                   09-Dec-2010 13:30                  43
rand7141b1.cudf.impossible.log                     09-Dec-2010 13:31                   0
rand7141b1.cudf.impossible.log.runsolver           09-Dec-2010 13:30               18150
rand7141b1.cudf.impossible.log.time                09-Dec-2010 13:31                 204
rand7141b1.cudf.impossible.result.bz2              09-Dec-2010 13:30                5689
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                  43
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                   0
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               16384
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 203
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                  42
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                  43
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                   0
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               16669
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                  42
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                  43
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31                   0
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               15287
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 204
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                  42
rand753.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:31                  43
rand753.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:30                   0
rand753.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30               10829
rand753.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 203
rand753.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30                5056
rand753.sarge.cudf.sarge.error                     09-Dec-2010 13:31                  43
rand753.sarge.cudf.sarge.log                       09-Dec-2010 13:30                   0
rand753.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30               16812
rand753.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 203
rand753.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30                4753
rand7902a8.cudf.impossible.error                   09-Dec-2010 13:30                  43
rand7902a8.cudf.impossible.log                     09-Dec-2010 13:30                   0
rand7902a8.cudf.impossible.log.runsolver           09-Dec-2010 13:31               17229
rand7902a8.cudf.impossible.log.time                09-Dec-2010 13:30                 203
rand7902a8.cudf.impossible.result.bz2              09-Dec-2010 13:31                5554
rand7b4167.cudf.difficult.error                    09-Dec-2010 13:30                  43
rand7b4167.cudf.difficult.log                      09-Dec-2010 13:30                   0
rand7b4167.cudf.difficult.log.runsolver            09-Dec-2010 13:30               12644
rand7b4167.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
rand7b4167.cudf.difficult.result.bz2               09-Dec-2010 13:30                5089
rand7fec8c.cudf.easy.error                         09-Dec-2010 13:30                  43
rand7fec8c.cudf.easy.log                           09-Dec-2010 13:31                   0
rand7fec8c.cudf.easy.log.runsolver                 09-Dec-2010 13:30                7181
rand7fec8c.cudf.easy.log.time                      09-Dec-2010 13:30                 203
rand7fec8c.cudf.easy.result.bz2                    09-Dec-2010 13:31                9350
rand81406f.cudf.impossible.error                   09-Dec-2010 13:30                  43
rand81406f.cudf.impossible.log                     09-Dec-2010 13:30                   0
rand81406f.cudf.impossible.log.runsolver           09-Dec-2010 13:30               19048
rand81406f.cudf.impossible.log.time                09-Dec-2010 13:31                 203
rand81406f.cudf.impossible.result.bz2              09-Dec-2010 13:30                4601
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                  43
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                   0
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               15717
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 202
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                  42
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                  43
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                   0
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               16598
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 204
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                  42
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                  43
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:30                   0
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               16234
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 204
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                  42
rand815.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                  43
rand815.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:30                   0
rand815.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30               15255
rand815.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 203
rand815.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30                  42
rand815.sarge.cudf.sarge.error                     09-Dec-2010 13:30                  43
rand815.sarge.cudf.sarge.log                       09-Dec-2010 13:30                   0
rand815.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30               16374
rand815.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 203
rand815.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30                  42
rand835640.cudf.impossible.error                   09-Dec-2010 13:30                  43
rand835640.cudf.impossible.log                     09-Dec-2010 13:30                   0
rand835640.cudf.impossible.log.runsolver           09-Dec-2010 13:30               16320
rand835640.cudf.impossible.log.time                09-Dec-2010 13:30                 201
rand835640.cudf.impossible.result.bz2              09-Dec-2010 13:30                5248
rand847939.cudf.difficult.error                    09-Dec-2010 13:30                  43
rand847939.cudf.difficult.log                      09-Dec-2010 13:30                   0
rand847939.cudf.difficult.log.runsolver            09-Dec-2010 13:30               15814
rand847939.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
rand847939.cudf.difficult.result.bz2               09-Dec-2010 13:30                  42
rand878003.cudf.impossible.error                   09-Dec-2010 13:30                  43
rand878003.cudf.impossible.log                     09-Dec-2010 13:30                   0
rand878003.cudf.impossible.log.runsolver           09-Dec-2010 13:30               15941
rand878003.cudf.impossible.log.time                09-Dec-2010 13:30                 204
rand878003.cudf.impossible.result.bz2              09-Dec-2010 13:30                  42
rand8cc693.cudf.impossible.error                   09-Dec-2010 13:30                  43
rand8cc693.cudf.impossible.log                     09-Dec-2010 13:30                   0
rand8cc693.cudf.impossible.log.runsolver           09-Dec-2010 13:30               16838
rand8cc693.cudf.impossible.log.time                09-Dec-2010 13:31                 203
rand8cc693.cudf.impossible.result.bz2              09-Dec-2010 13:30                  42
rand8d117b.cudf.easy.error                         09-Dec-2010 13:30                  43
rand8d117b.cudf.easy.log                           09-Dec-2010 13:30                   0
rand8d117b.cudf.easy.log.runsolver                 09-Dec-2010 13:30                6276
rand8d117b.cudf.easy.log.time                      09-Dec-2010 13:30                 203
rand8d117b.cudf.easy.result.bz2                    09-Dec-2010 13:30                9214
rand908403.cudf.difficult.error                    09-Dec-2010 13:30                  43
rand908403.cudf.difficult.log                      09-Dec-2010 13:30                   0
rand908403.cudf.difficult.log.runsolver            09-Dec-2010 13:30                8417
rand908403.cudf.difficult.log.time                 09-Dec-2010 13:30                 201
rand908403.cudf.difficult.result.bz2               09-Dec-2010 13:30                5641
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                  43
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                   0
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31               16315
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                  42
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                  43
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                   0
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               15709
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                 203
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                  42
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                  43
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:30                   0
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               16673
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 203
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                5869
rand915.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                  43
rand915.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:30                   0
rand915.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30               15258
rand915.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 203
rand915.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30                  42
rand915.sarge.cudf.sarge.error                     09-Dec-2010 13:30                  43
rand915.sarge.cudf.sarge.log                       09-Dec-2010 13:30                   0
rand915.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30               18585
rand915.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 203
rand915.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30                5627
rand951a14.cudf.easy.error                         09-Dec-2010 13:30                  43
rand951a14.cudf.easy.log                           09-Dec-2010 13:30                   0
rand951a14.cudf.easy.log.runsolver                 09-Dec-2010 13:30                6360
rand951a14.cudf.easy.log.time                      09-Dec-2010 13:30                 202
rand951a14.cudf.easy.result.bz2                    09-Dec-2010 13:30                8968
rand95e48b.cudf.difficult.error                    09-Dec-2010 13:30                  43
rand95e48b.cudf.difficult.log                      09-Dec-2010 13:30                   0
rand95e48b.cudf.difficult.log.runsolver            09-Dec-2010 13:30               15646
rand95e48b.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
rand95e48b.cudf.difficult.result.bz2               09-Dec-2010 13:30                  42
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                  43
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                   0
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               15742
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                 204
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                  42
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                  43
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                   0
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30               15682
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 204
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                  42
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                  43
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:30                   0
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30               19723
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 202
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                5488
rand986.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:31                  43
rand986.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:30                   0
rand986.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30               17803
rand986.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 204
rand986.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30                5874
rand986.sarge.cudf.sarge.error                     09-Dec-2010 13:30                  43
rand986.sarge.cudf.sarge.log                       09-Dec-2010 13:30                   0
rand986.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30               15146
rand986.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 202
rand986.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30                  42
randa223c3.cudf.impossible.error                   09-Dec-2010 13:30                  43
randa223c3.cudf.impossible.log                     09-Dec-2010 13:31                   0
randa223c3.cudf.impossible.log.runsolver           09-Dec-2010 13:30               16336
randa223c3.cudf.impossible.log.time                09-Dec-2010 13:30                 201
randa223c3.cudf.impossible.result.bz2              09-Dec-2010 13:30                  42
randa45895.cudf.difficult.error                    09-Dec-2010 13:30                  43
randa45895.cudf.difficult.log                      09-Dec-2010 13:30                   0
randa45895.cudf.difficult.log.runsolver            09-Dec-2010 13:30                7735
randa45895.cudf.difficult.log.time                 09-Dec-2010 13:30                 202
randa45895.cudf.difficult.result.bz2               09-Dec-2010 13:30                  42
randa651ed.cudf.difficult.error                    09-Dec-2010 13:30                  43
randa651ed.cudf.difficult.log                      09-Dec-2010 13:30                   0
randa651ed.cudf.difficult.log.runsolver            09-Dec-2010 13:30               14186
randa651ed.cudf.difficult.log.time                 09-Dec-2010 13:31                 203
randa651ed.cudf.difficult.result.bz2               09-Dec-2010 13:30                5745
randa870aa.cudf.difficult.error                    09-Dec-2010 13:30                  43
randa870aa.cudf.difficult.log                      09-Dec-2010 13:30                   0
randa870aa.cudf.difficult.log.runsolver            09-Dec-2010 13:31               15671
randa870aa.cudf.difficult.log.time                 09-Dec-2010 13:30                 201
randa870aa.cudf.difficult.result.bz2               09-Dec-2010 13:30                5897
randa9ba44.cudf.easy.error                         09-Dec-2010 13:30                  43
randa9ba44.cudf.easy.log                           09-Dec-2010 13:30                   0
randa9ba44.cudf.easy.log.runsolver                 09-Dec-2010 13:30                6533
randa9ba44.cudf.easy.log.time                      09-Dec-2010 13:30                 203
randa9ba44.cudf.easy.result.bz2                    09-Dec-2010 13:30                9285
randaaa8ea.cudf.easy.error                         09-Dec-2010 13:30                  43
randaaa8ea.cudf.easy.log                           09-Dec-2010 13:30                   0
randaaa8ea.cudf.easy.log.runsolver                 09-Dec-2010 13:30                7116
randaaa8ea.cudf.easy.log.time                      09-Dec-2010 13:30                 203
randaaa8ea.cudf.easy.result.bz2                    09-Dec-2010 13:31                9121
randaafcce.cudf.impossible.error                   09-Dec-2010 13:31                  43
randaafcce.cudf.impossible.log                     09-Dec-2010 13:31                   0
randaafcce.cudf.impossible.log.runsolver           09-Dec-2010 13:31               16574
randaafcce.cudf.impossible.log.time                09-Dec-2010 13:31                 202
randaafcce.cudf.impossible.result.bz2              09-Dec-2010 13:30                  42
randadea40.cudf.easy.error                         09-Dec-2010 13:30                  43
randadea40.cudf.easy.log                           09-Dec-2010 13:30                   0
randadea40.cudf.easy.log.runsolver                 09-Dec-2010 13:30                7433
randadea40.cudf.easy.log.time                      09-Dec-2010 13:30                 203
randadea40.cudf.easy.result.bz2                    09-Dec-2010 13:30                8961
randba6b5b.cudf.easy.error                         09-Dec-2010 13:30                  43
randba6b5b.cudf.easy.log                           09-Dec-2010 13:30                   0
randba6b5b.cudf.easy.log.runsolver                 09-Dec-2010 13:31                7101
randba6b5b.cudf.easy.log.time                      09-Dec-2010 13:30                 201
randba6b5b.cudf.easy.result.bz2                    09-Dec-2010 13:31                9231
randbe9acf.cudf.easy.error                         09-Dec-2010 13:30                  43
randbe9acf.cudf.easy.log                           09-Dec-2010 13:30                   0
randbe9acf.cudf.easy.log.runsolver                 09-Dec-2010 13:31                7743
randbe9acf.cudf.easy.log.time                      09-Dec-2010 13:30                 202
randbe9acf.cudf.easy.result.bz2                    09-Dec-2010 13:30                9348
randc10393.cudf.difficult.error                    09-Dec-2010 13:30                  43
randc10393.cudf.difficult.log                      09-Dec-2010 13:31                   0
randc10393.cudf.difficult.log.runsolver            09-Dec-2010 13:30               15583
randc10393.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
randc10393.cudf.difficult.result.bz2               09-Dec-2010 13:30                  42
randc192b7.cudf.easy.error                         09-Dec-2010 13:30                  43
randc192b7.cudf.easy.log                           09-Dec-2010 13:30                   0
randc192b7.cudf.easy.log.runsolver                 09-Dec-2010 13:30                7408
randc192b7.cudf.easy.log.time                      09-Dec-2010 13:30                 202
randc192b7.cudf.easy.result.bz2                    09-Dec-2010 13:30                9644
randd8bf6a.cudf.difficult.error                    09-Dec-2010 13:30                  43
randd8bf6a.cudf.difficult.log                      09-Dec-2010 13:30                   0
randd8bf6a.cudf.difficult.log.runsolver            09-Dec-2010 13:30               10149
randd8bf6a.cudf.difficult.log.time                 09-Dec-2010 13:30                 202
randd8bf6a.cudf.difficult.result.bz2               09-Dec-2010 13:30                5243
rande4fcd8.cudf.difficult.error                    09-Dec-2010 13:30                  43
rande4fcd8.cudf.difficult.log                      09-Dec-2010 13:30                   0
rande4fcd8.cudf.difficult.log.runsolver            09-Dec-2010 13:30               14735
rande4fcd8.cudf.difficult.log.time                 09-Dec-2010 13:30                 204
rande4fcd8.cudf.difficult.result.bz2               09-Dec-2010 13:30                  42
randea6106.cudf.easy.error                         09-Dec-2010 13:30                  43
randea6106.cudf.easy.log                           09-Dec-2010 13:30                   0
randea6106.cudf.easy.log.runsolver                 09-Dec-2010 13:30                6873
randea6106.cudf.easy.log.time                      09-Dec-2010 13:30                 202
randea6106.cudf.easy.result.bz2                    09-Dec-2010 13:30                9359
randeb343c.cudf.easy.error                         09-Dec-2010 13:30                  43
randeb343c.cudf.easy.log                           09-Dec-2010 13:30                   0
randeb343c.cudf.easy.log.runsolver                 09-Dec-2010 13:30                7078
randeb343c.cudf.easy.log.time                      09-Dec-2010 13:30                 203
randeb343c.cudf.easy.result.bz2                    09-Dec-2010 13:30                9278
randec88d5.cudf.impossible.error                   09-Dec-2010 13:30                  43
randec88d5.cudf.impossible.log                     09-Dec-2010 13:31                   0
randec88d5.cudf.impossible.log.runsolver           09-Dec-2010 13:30               14607
randec88d5.cudf.impossible.log.time                09-Dec-2010 13:30                 204
randec88d5.cudf.impossible.result.bz2              09-Dec-2010 13:30                5500
randf17677.cudf.difficult.error                    09-Dec-2010 13:30                  43
randf17677.cudf.difficult.log                      09-Dec-2010 13:31                   0
randf17677.cudf.difficult.log.runsolver            09-Dec-2010 13:30               11895
randf17677.cudf.difficult.log.time                 09-Dec-2010 13:30                 202
randf17677.cudf.difficult.result.bz2               09-Dec-2010 13:30                6139
randf406d5.cudf.difficult.error                    09-Dec-2010 13:30                  43
randf406d5.cudf.difficult.log                      09-Dec-2010 13:31                   0
randf406d5.cudf.difficult.log.runsolver            09-Dec-2010 13:30                8300
randf406d5.cudf.difficult.log.time                 09-Dec-2010 13:30                 202
randf406d5.cudf.difficult.result.bz2               09-Dec-2010 13:30                  42
randf61f65.cudf.difficult.error                    09-Dec-2010 13:31                  43
randf61f65.cudf.difficult.log                      09-Dec-2010 13:31                   0
randf61f65.cudf.difficult.log.runsolver            09-Dec-2010 13:31               15629
randf61f65.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
randf61f65.cudf.difficult.result.bz2               09-Dec-2010 13:30                  42
randf7a7e4.cudf.easy.error                         09-Dec-2010 13:30                  43
randf7a7e4.cudf.easy.log                           09-Dec-2010 13:30                   0
randf7a7e4.cudf.easy.log.runsolver                 09-Dec-2010 13:30                6548
randf7a7e4.cudf.easy.log.time                      09-Dec-2010 13:30                 202
randf7a7e4.cudf.easy.result.bz2                    09-Dec-2010 13:30                7216
randfa4522.cudf.impossible.error                   09-Dec-2010 13:30                  43
randfa4522.cudf.impossible.log                     09-Dec-2010 13:30                   0
randfa4522.cudf.impossible.log.runsolver           09-Dec-2010 13:30               11638
randfa4522.cudf.impossible.log.time                09-Dec-2010 13:30                 204
randfa4522.cudf.impossible.result.bz2              09-Dec-2010 13:30                4237
small1.cudf.cudf_set.error                         09-Dec-2010 13:31                  43
small1.cudf.cudf_set.log                           09-Dec-2010 13:30                   0
small1.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:30                4027
small1.cudf.cudf_set.log.time                      09-Dec-2010 13:30                 205
small1.cudf.cudf_set.result.bz2                    09-Dec-2010 13:30                 619
small2.cudf.cudf_set.error                         09-Dec-2010 13:31                  43
small2.cudf.cudf_set.log                           09-Dec-2010 13:31                   0
small2.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:30                5499
small2.cudf.cudf_set.log.time                      09-Dec-2010 13:30                 204
small2.cudf.cudf_set.result.bz2                    09-Dec-2010 13:30                 609
small3.cudf.cudf_set.error                         09-Dec-2010 13:30                  43
small3.cudf.cudf_set.log                           09-Dec-2010 13:30                   0
small3.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:30                3714
small3.cudf.cudf_set.log.time                      09-Dec-2010 13:30                 204
small3.cudf.cudf_set.result.bz2                    09-Dec-2010 13:30                 590