Index of /misc-live/20101126/solutions/paranoid/cudf2pbo4paranoid-1.0/


../
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  58
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  15
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                8121
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                 204
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                8641
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  58
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  15
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               14336
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                 200
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               16485
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  58
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  15
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               15442
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                 202
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               16484
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  58
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  15
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                8486
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                 203
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                8641
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  58
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  15
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               15188
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                 202
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               16473
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31                  58
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31                  15
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31               12156
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31                 202
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31               16458
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:31                  58
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:31                  15
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:31                7692
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:31                 204
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:31                8590
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31                  58
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31                  15
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31               12995
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31                 202
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31               16469
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  58
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  15
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               14540
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                 202
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               16608
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  58
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  15
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               13622
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                 202
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               16451
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  58
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  15
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               13651
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                 201
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               16484
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  58
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  15
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               14551
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                 202
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               16608
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  58
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  15
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               15454
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                 202
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               16484
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  58
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  15
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               15428
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                 202
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               16484
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:31                  58
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:31                  15
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:31                9993
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:31                 203
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:31               11497
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  58
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  15
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                7363
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                 204
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                8659
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  58
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  15
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               14550
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                 202
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31               16484
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  58
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                  15
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                8261
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                 204
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31                8641
huge1.cudf.cudf_set.error                          09-Dec-2010 13:31                 101
huge1.cudf.cudf_set.log                            09-Dec-2010 13:31                  58
huge1.cudf.cudf_set.log.runsolver                  09-Dec-2010 13:31               14252
huge1.cudf.cudf_set.log.time                       09-Dec-2010 13:31                 201
huge1.cudf.cudf_set.result.bz2                     09-Dec-2010 13:31                  42
huge2.cudf.cudf_set.error                          09-Dec-2010 13:31                 101
huge2.cudf.cudf_set.log                            09-Dec-2010 13:31                  58
huge2.cudf.cudf_set.log.runsolver                  09-Dec-2010 13:31               15213
huge2.cudf.cudf_set.log.time                       09-Dec-2010 13:31                 202
huge2.cudf.cudf_set.result.bz2                     09-Dec-2010 13:31                  42
huge3.cudf.cudf_set.error                          09-Dec-2010 13:31                 101
huge3.cudf.cudf_set.log                            09-Dec-2010 13:31                  58
huge3.cudf.cudf_set.log.runsolver                  09-Dec-2010 13:31               16026
huge3.cudf.cudf_set.log.time                       09-Dec-2010 13:31                 200
huge3.cudf.cudf_set.result.bz2                     09-Dec-2010 13:31                  42
large1.cudf.cudf_set.error                         09-Dec-2010 13:31                 101
large1.cudf.cudf_set.log                           09-Dec-2010 13:31                  58
large1.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:31               15691
large1.cudf.cudf_set.log.time                      09-Dec-2010 13:31                 200
large1.cudf.cudf_set.result.bz2                    09-Dec-2010 13:31                  42
large2.cudf.cudf_set.error                         09-Dec-2010 13:31                 101
large2.cudf.cudf_set.log                           09-Dec-2010 13:31                  58
large2.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:31               14791
large2.cudf.cudf_set.log.time                      09-Dec-2010 13:31                 198
large2.cudf.cudf_set.result.bz2                    09-Dec-2010 13:31                  42
large3.cudf.cudf_set.error                         09-Dec-2010 13:31                 101
large3.cudf.cudf_set.log                           09-Dec-2010 13:31                  58
large3.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:31               15656
large3.cudf.cudf_set.log.time                      09-Dec-2010 13:31                 201
large3.cudf.cudf_set.result.bz2                    09-Dec-2010 13:31                  42
rand0695fb.cudf.impossible.error                   09-Dec-2010 13:31                  58
rand0695fb.cudf.impossible.log                     09-Dec-2010 13:31                  15
rand0695fb.cudf.impossible.log.runsolver           09-Dec-2010 13:31               13980
rand0695fb.cudf.impossible.log.time                09-Dec-2010 13:31                 200
rand0695fb.cudf.impossible.result.bz2              09-Dec-2010 13:31                4019
rand06f749.cudf.difficult.error                    09-Dec-2010 13:31                  58
rand06f749.cudf.difficult.log                      09-Dec-2010 13:31                  15
rand06f749.cudf.difficult.log.runsolver            09-Dec-2010 13:31                8662
rand06f749.cudf.difficult.log.time                 09-Dec-2010 13:31                 202
rand06f749.cudf.difficult.result.bz2               09-Dec-2010 13:31                4787
rand08759d.cudf.easy.error                         09-Dec-2010 13:31                  58
rand08759d.cudf.easy.log                           09-Dec-2010 13:31                  15
rand08759d.cudf.easy.log.runsolver                 09-Dec-2010 13:31                6560
rand08759d.cudf.easy.log.time                      09-Dec-2010 13:31                 203
rand08759d.cudf.easy.result.bz2                    09-Dec-2010 13:31                9419
rand0aa5c1.cudf.difficult.error                    09-Dec-2010 13:31                  58
rand0aa5c1.cudf.difficult.log                      09-Dec-2010 13:31                  15
rand0aa5c1.cudf.difficult.log.runsolver            09-Dec-2010 13:31                9550
rand0aa5c1.cudf.difficult.log.time                 09-Dec-2010 13:31                 203
rand0aa5c1.cudf.difficult.result.bz2               09-Dec-2010 13:31                4446
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                  58
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                  15
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31               10213
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                 203
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                5048
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                  58
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                  15
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31               10243
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                 202
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                5048
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                  58
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31                  15
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                8280
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                 202
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                5047
rand108.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:31                  58
rand108.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:31                  15
rand108.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:31                8250
rand108.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:31                 204
rand108.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:31                5043
rand108.sarge.cudf.sarge.error                     09-Dec-2010 13:31                  58
rand108.sarge.cudf.sarge.log                       09-Dec-2010 13:31                  15
rand108.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:31                5710
rand108.sarge.cudf.sarge.log.time                  09-Dec-2010 13:31                 206
rand108.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:31                5017
rand13b58e.cudf.easy.error                         09-Dec-2010 13:31                  58
rand13b58e.cudf.easy.log                           09-Dec-2010 13:31                  15
rand13b58e.cudf.easy.log.runsolver                 09-Dec-2010 13:31                6565
rand13b58e.cudf.easy.log.time                      09-Dec-2010 13:31                 205
rand13b58e.cudf.easy.result.bz2                    09-Dec-2010 13:31                8475
rand14ba69.cudf.difficult.error                    09-Dec-2010 13:31                  58
rand14ba69.cudf.difficult.log                      09-Dec-2010 13:31                  15
rand14ba69.cudf.difficult.log.runsolver            09-Dec-2010 13:31               11553
rand14ba69.cudf.difficult.log.time                 09-Dec-2010 13:31                 203
rand14ba69.cudf.difficult.result.bz2               09-Dec-2010 13:31                4936
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                 110
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                  67
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31               17000
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                 201
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                7223
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                 110
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                  67
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31               16952
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                 202
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                7225
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                  58
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31                  15
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                9551
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                 202
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                4114
rand165.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:31                  58
rand165.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:31                  15
rand165.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:31                7182
rand165.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:31                 204
rand165.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:31                4105
rand165.sarge.cudf.sarge.error                     09-Dec-2010 13:31                  58
rand165.sarge.cudf.sarge.log                       09-Dec-2010 13:31                  15
rand165.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:31                5768
rand165.sarge.cudf.sarge.log.time                  09-Dec-2010 13:31                 206
rand165.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:31                4099
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                  58
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                  15
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31               11646
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                 202
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                4958
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                  58
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                  15
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                9444
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                 203
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                4959
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                  58
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31                  15
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                7923
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                 202
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                4887
rand180.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:31                  58
rand180.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:31                  15
rand180.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:31                7275
rand180.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:31                 205
rand180.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:31                4883
rand180.sarge.cudf.sarge.error                     09-Dec-2010 13:31                  58
rand180.sarge.cudf.sarge.log                       09-Dec-2010 13:31                  15
rand180.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:31                6117
rand180.sarge.cudf.sarge.log.time                  09-Dec-2010 13:31                 206
rand180.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:31                4875
rand1bff33.cudf.easy.error                         09-Dec-2010 13:31                  58
rand1bff33.cudf.easy.log                           09-Dec-2010 13:31                  15
rand1bff33.cudf.easy.log.runsolver                 09-Dec-2010 13:31                6953
rand1bff33.cudf.easy.log.time                      09-Dec-2010 13:31                 206
rand1bff33.cudf.easy.result.bz2                    09-Dec-2010 13:31                9090
rand2d2fd0.cudf.difficult.error                    09-Dec-2010 13:31                  58
rand2d2fd0.cudf.difficult.log                      09-Dec-2010 13:31                  15
rand2d2fd0.cudf.difficult.log.runsolver            09-Dec-2010 13:31                9713
rand2d2fd0.cudf.difficult.log.time                 09-Dec-2010 13:31                 202
rand2d2fd0.cudf.difficult.result.bz2               09-Dec-2010 13:31                4875
rand2fb7ab.cudf.easy.error                         09-Dec-2010 13:31                  58
rand2fb7ab.cudf.easy.log                           09-Dec-2010 13:31                  15
rand2fb7ab.cudf.easy.log.runsolver                 09-Dec-2010 13:31                7270
rand2fb7ab.cudf.easy.log.time                      09-Dec-2010 13:31                 204
rand2fb7ab.cudf.easy.result.bz2                    09-Dec-2010 13:31                8973
rand2fe899.cudf.difficult.error                    09-Dec-2010 13:31                  58
rand2fe899.cudf.difficult.log                      09-Dec-2010 13:31                  15
rand2fe899.cudf.difficult.log.runsolver            09-Dec-2010 13:31                8779
rand2fe899.cudf.difficult.log.time                 09-Dec-2010 13:31                 203
rand2fe899.cudf.difficult.result.bz2               09-Dec-2010 13:31                4013
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                  58
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                  15
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31               12546
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                 203
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                5260
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                  58
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                  15
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                9159
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                 203
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                5258
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                  58
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31                  15
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                9127
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                 202
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                5211
rand316.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:31                  58
rand316.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:31                  15
rand316.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:31                7291
rand316.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:31                 204
rand316.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:31                5031
rand316.sarge.cudf.sarge.error                     09-Dec-2010 13:31                  58
rand316.sarge.cudf.sarge.log                       09-Dec-2010 13:31                  15
rand316.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:31                5834
rand316.sarge.cudf.sarge.log.time                  09-Dec-2010 13:31                 205
rand316.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:31                5008
rand332173.cudf.impossible.error                   09-Dec-2010 13:31                  58
rand332173.cudf.impossible.log                     09-Dec-2010 13:31                  15
rand332173.cudf.impossible.log.runsolver           09-Dec-2010 13:31               13349
rand332173.cudf.impossible.log.time                09-Dec-2010 13:31                 202
rand332173.cudf.impossible.result.bz2              09-Dec-2010 13:31                4578
rand359ca0.cudf.easy.error                         09-Dec-2010 13:31                  58
rand359ca0.cudf.easy.log                           09-Dec-2010 13:31                  15
rand359ca0.cudf.easy.log.runsolver                 09-Dec-2010 13:31                7210
rand359ca0.cudf.easy.log.time                      09-Dec-2010 13:31                 205
rand359ca0.cudf.easy.result.bz2                    09-Dec-2010 13:31                9182
rand394916.cudf.difficult.error                    09-Dec-2010 13:31                  49
rand394916.cudf.difficult.log                      09-Dec-2010 13:31                   6
rand394916.cudf.difficult.log.runsolver            09-Dec-2010 13:31                7583
rand394916.cudf.difficult.log.time                 09-Dec-2010 13:31                 204
rand394916.cudf.difficult.result.bz2               09-Dec-2010 13:31                  42
rand3dec28.cudf.impossible.error                   09-Dec-2010 13:31                  58
rand3dec28.cudf.impossible.log                     09-Dec-2010 13:31                  15
rand3dec28.cudf.impossible.log.runsolver           09-Dec-2010 13:31               12683
rand3dec28.cudf.impossible.log.time                09-Dec-2010 13:31                 201
rand3dec28.cudf.impossible.result.bz2              09-Dec-2010 13:31                4442
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                  58
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                  15
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31               11300
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                 203
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                5004
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                  58
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                  15
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31               11272
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                 201
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                5000
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                  58
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31                  15
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                7344
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                 203
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                4856
rand494.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:31                  58
rand494.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:31                  15
rand494.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:31                7309
rand494.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:31                 204
rand494.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:31                4873
rand494.sarge.cudf.sarge.error                     09-Dec-2010 13:31                  58
rand494.sarge.cudf.sarge.log                       09-Dec-2010 13:31                  15
rand494.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:31                5778
rand494.sarge.cudf.sarge.log.time                  09-Dec-2010 13:31                 206
rand494.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:31                4849
rand49d73b.cudf.difficult.error                    09-Dec-2010 13:31                  58
rand49d73b.cudf.difficult.log                      09-Dec-2010 13:31                  15
rand49d73b.cudf.difficult.log.runsolver            09-Dec-2010 13:31               13251
rand49d73b.cudf.difficult.log.time                 09-Dec-2010 13:31                 203
rand49d73b.cudf.difficult.result.bz2               09-Dec-2010 13:31                4700
rand4d6b1c.cudf.difficult.error                    09-Dec-2010 13:31                  58
rand4d6b1c.cudf.difficult.log                      09-Dec-2010 13:31                  15
rand4d6b1c.cudf.difficult.log.runsolver            09-Dec-2010 13:31               10600
rand4d6b1c.cudf.difficult.log.time                 09-Dec-2010 13:31                 200
rand4d6b1c.cudf.difficult.result.bz2               09-Dec-2010 13:31                4463
rand50a937.cudf.difficult.error                    09-Dec-2010 13:31                  58
rand50a937.cudf.difficult.log                      09-Dec-2010 13:31                  15
rand50a937.cudf.difficult.log.runsolver            09-Dec-2010 13:31                9708
rand50a937.cudf.difficult.log.time                 09-Dec-2010 13:31                 201
rand50a937.cudf.difficult.result.bz2               09-Dec-2010 13:31                5597
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                  58
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                  15
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31               11660
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:31                5197
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                  58
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                  15
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31               12163
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                 202
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                5213
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                  58
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31                  15
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                9089
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                 203
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                5188
rand550.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:31                  58
rand550.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:31                  15
rand550.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:31                7305
rand550.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:31                 203
rand550.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:31                5080
rand550.sarge.cudf.sarge.error                     09-Dec-2010 13:31                  58
rand550.sarge.cudf.sarge.log                       09-Dec-2010 13:31                  15
rand550.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:31                5775
rand550.sarge.cudf.sarge.log.time                  09-Dec-2010 13:31                 206
rand550.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:31                5075
rand5619c8.cudf.easy.error                         09-Dec-2010 13:31                  58
rand5619c8.cudf.easy.log                           09-Dec-2010 13:31                  15
rand5619c8.cudf.easy.log.runsolver                 09-Dec-2010 13:31                7213
rand5619c8.cudf.easy.log.time                      09-Dec-2010 13:31                 205
rand5619c8.cudf.easy.result.bz2                    09-Dec-2010 13:31                9192
rand5c1800.cudf.easy.error                         09-Dec-2010 13:31                  58
rand5c1800.cudf.easy.log                           09-Dec-2010 13:31                  15
rand5c1800.cudf.easy.log.runsolver                 09-Dec-2010 13:31                6368
rand5c1800.cudf.easy.log.time                      09-Dec-2010 13:31                 206
rand5c1800.cudf.easy.result.bz2                    09-Dec-2010 13:31                8939
rand61b840.cudf.easy.error                         09-Dec-2010 13:31                  58
rand61b840.cudf.easy.log                           09-Dec-2010 13:31                  15
rand61b840.cudf.easy.log.runsolver                 09-Dec-2010 13:31                7583
rand61b840.cudf.easy.log.time                      09-Dec-2010 13:31                 205
rand61b840.cudf.easy.result.bz2                    09-Dec-2010 13:31                8947
rand655e63.cudf.impossible.error                   09-Dec-2010 13:31                  58
rand655e63.cudf.impossible.log                     09-Dec-2010 13:31                  15
rand655e63.cudf.impossible.log.runsolver           09-Dec-2010 13:31               12672
rand655e63.cudf.impossible.log.time                09-Dec-2010 13:31                 202
rand655e63.cudf.impossible.result.bz2              09-Dec-2010 13:31                4170
rand6b4d6e.cudf.impossible.error                   09-Dec-2010 13:31                  58
rand6b4d6e.cudf.impossible.log                     09-Dec-2010 13:31                  15
rand6b4d6e.cudf.impossible.log.runsolver           09-Dec-2010 13:31               14478
rand6b4d6e.cudf.impossible.log.time                09-Dec-2010 13:31                 202
rand6b4d6e.cudf.impossible.result.bz2              09-Dec-2010 13:31                4608
rand6d933e.cudf.easy.error                         09-Dec-2010 13:31                  58
rand6d933e.cudf.easy.log                           09-Dec-2010 13:31                  15
rand6d933e.cudf.easy.log.runsolver                 09-Dec-2010 13:31                6671
rand6d933e.cudf.easy.log.time                      09-Dec-2010 13:31                 205
rand6d933e.cudf.easy.result.bz2                    09-Dec-2010 13:31                9030
rand7141b1.cudf.impossible.error                   09-Dec-2010 13:31                  58
rand7141b1.cudf.impossible.log                     09-Dec-2010 13:31                  15
rand7141b1.cudf.impossible.log.runsolver           09-Dec-2010 13:31               12101
rand7141b1.cudf.impossible.log.time                09-Dec-2010 13:31                 202
rand7141b1.cudf.impossible.result.bz2              09-Dec-2010 13:31                4532
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                 110
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                  67
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31               16334
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                 202
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                6471
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                  58
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                  15
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31               14615
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                 200
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                6214
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                  58
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31                  15
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31               12146
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                 203
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                5134
rand753.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:31                  58
rand753.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:31                  15
rand753.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:31                8808
rand753.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:31                 201
rand753.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:31                4540
rand753.sarge.cudf.sarge.error                     09-Dec-2010 13:31                  58
rand753.sarge.cudf.sarge.log                       09-Dec-2010 13:31                  15
rand753.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:31                5778
rand753.sarge.cudf.sarge.log.time                  09-Dec-2010 13:31                 205
rand753.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:31                4403
rand7902a8.cudf.impossible.error                   09-Dec-2010 13:31                  58
rand7902a8.cudf.impossible.log                     09-Dec-2010 13:31                  15
rand7902a8.cudf.impossible.log.runsolver           09-Dec-2010 13:31               12967
rand7902a8.cudf.impossible.log.time                09-Dec-2010 13:31                 202
rand7902a8.cudf.impossible.result.bz2              09-Dec-2010 13:31                4469
rand7b4167.cudf.difficult.error                    09-Dec-2010 13:31                  58
rand7b4167.cudf.difficult.log                      09-Dec-2010 13:31                  15
rand7b4167.cudf.difficult.log.runsolver            09-Dec-2010 13:31                9932
rand7b4167.cudf.difficult.log.time                 09-Dec-2010 13:31                 202
rand7b4167.cudf.difficult.result.bz2               09-Dec-2010 13:31                4197
rand7fec8c.cudf.easy.error                         09-Dec-2010 13:31                  58
rand7fec8c.cudf.easy.log                           09-Dec-2010 13:31                  15
rand7fec8c.cudf.easy.log.runsolver                 09-Dec-2010 13:31                6709
rand7fec8c.cudf.easy.log.time                      09-Dec-2010 13:31                 204
rand7fec8c.cudf.easy.result.bz2                    09-Dec-2010 13:31                9108
rand81406f.cudf.impossible.error                   09-Dec-2010 13:31                  58
rand81406f.cudf.impossible.log                     09-Dec-2010 13:31                  15
rand81406f.cudf.impossible.log.runsolver           09-Dec-2010 13:31               10284
rand81406f.cudf.impossible.log.time                09-Dec-2010 13:31                 200
rand81406f.cudf.impossible.result.bz2              09-Dec-2010 13:31                4202
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                  58
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                  15
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31               13097
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                 201
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                5167
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                  58
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                  15
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31               12835
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                 203
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                5170
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                  58
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31                  15
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                7883
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                 201
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                4900
rand815.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:31                  58
rand815.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:31                  15
rand815.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:31                7292
rand815.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:31                 204
rand815.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:31                4953
rand815.sarge.cudf.sarge.error                     09-Dec-2010 13:31                  58
rand815.sarge.cudf.sarge.log                       09-Dec-2010 13:31                  15
rand815.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:31                6130
rand815.sarge.cudf.sarge.log.time                  09-Dec-2010 13:31                 205
rand815.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:31                4888
rand835640.cudf.impossible.error                   09-Dec-2010 13:31                  58
rand835640.cudf.impossible.log                     09-Dec-2010 13:31                  15
rand835640.cudf.impossible.log.runsolver           09-Dec-2010 13:31               12663
rand835640.cudf.impossible.log.time                09-Dec-2010 13:31                 202
rand835640.cudf.impossible.result.bz2              09-Dec-2010 13:31                4081
rand847939.cudf.difficult.error                    09-Dec-2010 13:31                  58
rand847939.cudf.difficult.log                      09-Dec-2010 13:31                  15
rand847939.cudf.difficult.log.runsolver            09-Dec-2010 13:31               10625
rand847939.cudf.difficult.log.time                 09-Dec-2010 13:31                 203
rand847939.cudf.difficult.result.bz2               09-Dec-2010 13:31                5094
rand878003.cudf.impossible.error                   09-Dec-2010 13:31                  58
rand878003.cudf.impossible.log                     09-Dec-2010 13:31                  15
rand878003.cudf.impossible.log.runsolver           09-Dec-2010 13:31               10820
rand878003.cudf.impossible.log.time                09-Dec-2010 13:31                 202
rand878003.cudf.impossible.result.bz2              09-Dec-2010 13:31                4620
rand8cc693.cudf.impossible.error                   09-Dec-2010 13:31                  58
rand8cc693.cudf.impossible.log                     09-Dec-2010 13:31                  15
rand8cc693.cudf.impossible.log.runsolver           09-Dec-2010 13:31               14474
rand8cc693.cudf.impossible.log.time                09-Dec-2010 13:31                 202
rand8cc693.cudf.impossible.result.bz2              09-Dec-2010 13:31                4701
rand8d117b.cudf.easy.error                         09-Dec-2010 13:31                  58
rand8d117b.cudf.easy.log                           09-Dec-2010 13:31                  15
rand8d117b.cudf.easy.log.runsolver                 09-Dec-2010 13:31                7194
rand8d117b.cudf.easy.log.time                      09-Dec-2010 13:31                 204
rand8d117b.cudf.easy.result.bz2                    09-Dec-2010 13:31                8902
rand908403.cudf.difficult.error                    09-Dec-2010 13:31                  58
rand908403.cudf.difficult.log                      09-Dec-2010 13:31                  15
rand908403.cudf.difficult.log.runsolver            09-Dec-2010 13:31                8480
rand908403.cudf.difficult.log.time                 09-Dec-2010 13:31                 202
rand908403.cudf.difficult.result.bz2               09-Dec-2010 13:31                4889
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                  58
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                  15
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                9861
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                 203
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                4948
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                  58
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                  15
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                9839
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:31                4953
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                  58
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31                  15
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                7886
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                 202
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                4942
rand915.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:31                  58
rand915.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:31                  15
rand915.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:31                7293
rand915.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:31                 205
rand915.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:31                4943
rand915.sarge.cudf.sarge.error                     09-Dec-2010 13:31                  58
rand915.sarge.cudf.sarge.log                       09-Dec-2010 13:31                  15
rand915.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:31                5829
rand915.sarge.cudf.sarge.log.time                  09-Dec-2010 13:31                 206
rand915.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:31                4921
rand951a14.cudf.easy.error                         09-Dec-2010 13:31                  58
rand951a14.cudf.easy.log                           09-Dec-2010 13:31                  15
rand951a14.cudf.easy.log.runsolver                 09-Dec-2010 13:31                6928
rand951a14.cudf.easy.log.time                      09-Dec-2010 13:31                 205
rand951a14.cudf.easy.result.bz2                    09-Dec-2010 13:31                8748
rand95e48b.cudf.difficult.error                    09-Dec-2010 13:31                  58
rand95e48b.cudf.difficult.log                      09-Dec-2010 13:31                  15
rand95e48b.cudf.difficult.log.runsolver            09-Dec-2010 13:31               11470
rand95e48b.cudf.difficult.log.time                 09-Dec-2010 13:31                 203
rand95e48b.cudf.difficult.result.bz2               09-Dec-2010 13:31                4892
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                  58
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                  15
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                9838
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                 203
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31                5239
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                  58
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                  15
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                9832
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                 201
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31                5245
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                  58
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31                  15
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                7901
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                 203
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31                5220
rand986.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:31                  58
rand986.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:31                  15
rand986.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:31                7290
rand986.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:31                 204
rand986.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:31                5139
rand986.sarge.cudf.sarge.error                     09-Dec-2010 13:31                  58
rand986.sarge.cudf.sarge.log                       09-Dec-2010 13:31                  15
rand986.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:31                5836
rand986.sarge.cudf.sarge.log.time                  09-Dec-2010 13:31                 206
rand986.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:31                5050
randa223c3.cudf.impossible.error                   09-Dec-2010 13:31                  58
randa223c3.cudf.impossible.log                     09-Dec-2010 13:31                  15
randa223c3.cudf.impossible.log.runsolver           09-Dec-2010 13:31               13296
randa223c3.cudf.impossible.log.time                09-Dec-2010 13:31                 202
randa223c3.cudf.impossible.result.bz2              09-Dec-2010 13:31                4611
randa45895.cudf.difficult.error                    09-Dec-2010 13:31                  49
randa45895.cudf.difficult.log                      09-Dec-2010 13:31                   6
randa45895.cudf.difficult.log.runsolver            09-Dec-2010 13:31                9024
randa45895.cudf.difficult.log.time                 09-Dec-2010 13:31                 203
randa45895.cudf.difficult.result.bz2               09-Dec-2010 13:31                  42
randa651ed.cudf.difficult.error                    09-Dec-2010 13:31                  58
randa651ed.cudf.difficult.log                      09-Dec-2010 13:31                  15
randa651ed.cudf.difficult.log.runsolver            09-Dec-2010 13:31                9390
randa651ed.cudf.difficult.log.time                 09-Dec-2010 13:31                 202
randa651ed.cudf.difficult.result.bz2               09-Dec-2010 13:31                4460
randa870aa.cudf.difficult.error                    09-Dec-2010 13:31                  58
randa870aa.cudf.difficult.log                      09-Dec-2010 13:31                  15
randa870aa.cudf.difficult.log.runsolver            09-Dec-2010 13:31                8822
randa870aa.cudf.difficult.log.time                 09-Dec-2010 13:31                 201
randa870aa.cudf.difficult.result.bz2               09-Dec-2010 13:31                4879
randa9ba44.cudf.easy.error                         09-Dec-2010 13:31                  58
randa9ba44.cudf.easy.log                           09-Dec-2010 13:31                  15
randa9ba44.cudf.easy.log.runsolver                 09-Dec-2010 13:31                6706
randa9ba44.cudf.easy.log.time                      09-Dec-2010 13:31                 205
randa9ba44.cudf.easy.result.bz2                    09-Dec-2010 13:31                9017
randaaa8ea.cudf.easy.error                         09-Dec-2010 13:31                  58
randaaa8ea.cudf.easy.log                           09-Dec-2010 13:31                  15
randaaa8ea.cudf.easy.log.runsolver                 09-Dec-2010 13:31                7219
randaaa8ea.cudf.easy.log.time                      09-Dec-2010 13:31                 206
randaaa8ea.cudf.easy.result.bz2                    09-Dec-2010 13:31                8893
randaafcce.cudf.impossible.error                   09-Dec-2010 13:31                  58
randaafcce.cudf.impossible.log                     09-Dec-2010 13:31                  15
randaafcce.cudf.impossible.log.runsolver           09-Dec-2010 13:31               12650
randaafcce.cudf.impossible.log.time                09-Dec-2010 13:31                 202
randaafcce.cudf.impossible.result.bz2              09-Dec-2010 13:31                3941
randadea40.cudf.easy.error                         09-Dec-2010 13:31                  58
randadea40.cudf.easy.log                           09-Dec-2010 13:31                  15
randadea40.cudf.easy.log.runsolver                 09-Dec-2010 13:31                7267
randadea40.cudf.easy.log.time                      09-Dec-2010 13:31                 204
randadea40.cudf.easy.result.bz2                    09-Dec-2010 13:31                8701
randba6b5b.cudf.easy.error                         09-Dec-2010 13:31                  58
randba6b5b.cudf.easy.log                           09-Dec-2010 13:31                  15
randba6b5b.cudf.easy.log.runsolver                 09-Dec-2010 13:31                6328
randba6b5b.cudf.easy.log.time                      09-Dec-2010 13:31                 204
randba6b5b.cudf.easy.result.bz2                    09-Dec-2010 13:31                8996
randbe9acf.cudf.easy.error                         09-Dec-2010 13:31                  58
randbe9acf.cudf.easy.log                           09-Dec-2010 13:31                  15
randbe9acf.cudf.easy.log.runsolver                 09-Dec-2010 13:31                6350
randbe9acf.cudf.easy.log.time                      09-Dec-2010 13:31                 206
randbe9acf.cudf.easy.result.bz2                    09-Dec-2010 13:31                8977
randc10393.cudf.difficult.error                    09-Dec-2010 13:31                  58
randc10393.cudf.difficult.log                      09-Dec-2010 13:31                  15
randc10393.cudf.difficult.log.runsolver            09-Dec-2010 13:31                8784
randc10393.cudf.difficult.log.time                 09-Dec-2010 13:31                 203
randc10393.cudf.difficult.result.bz2               09-Dec-2010 13:31                4976
randc192b7.cudf.easy.error                         09-Dec-2010 13:31                  58
randc192b7.cudf.easy.log                           09-Dec-2010 13:31                  15
randc192b7.cudf.easy.log.runsolver                 09-Dec-2010 13:31                6934
randc192b7.cudf.easy.log.time                      09-Dec-2010 13:31                 205
randc192b7.cudf.easy.result.bz2                    09-Dec-2010 13:31                9280
randd8bf6a.cudf.difficult.error                    09-Dec-2010 13:31                  58
randd8bf6a.cudf.difficult.log                      09-Dec-2010 13:31                  15
randd8bf6a.cudf.difficult.log.runsolver            09-Dec-2010 13:31                7526
randd8bf6a.cudf.difficult.log.time                 09-Dec-2010 13:31                 203
randd8bf6a.cudf.difficult.result.bz2               09-Dec-2010 13:31                4170
rande4fcd8.cudf.difficult.error                    09-Dec-2010 13:31                  58
rande4fcd8.cudf.difficult.log                      09-Dec-2010 13:31                  15
rande4fcd8.cudf.difficult.log.runsolver            09-Dec-2010 13:31               11152
rande4fcd8.cudf.difficult.log.time                 09-Dec-2010 13:31                 203
rande4fcd8.cudf.difficult.result.bz2               09-Dec-2010 13:31                4594
randea6106.cudf.easy.error                         09-Dec-2010 13:31                  58
randea6106.cudf.easy.log                           09-Dec-2010 13:31                  15
randea6106.cudf.easy.log.runsolver                 09-Dec-2010 13:31                6348
randea6106.cudf.easy.log.time                      09-Dec-2010 13:31                 205
randea6106.cudf.easy.result.bz2                    09-Dec-2010 13:31                9010
randeb343c.cudf.easy.error                         09-Dec-2010 13:31                  58
randeb343c.cudf.easy.log                           09-Dec-2010 13:31                  15
randeb343c.cudf.easy.log.runsolver                 09-Dec-2010 13:31                5847
randeb343c.cudf.easy.log.time                      09-Dec-2010 13:31                 206
randeb343c.cudf.easy.result.bz2                    09-Dec-2010 13:31                9031
randec88d5.cudf.impossible.error                   09-Dec-2010 13:31                  58
randec88d5.cudf.impossible.log                     09-Dec-2010 13:31                  15
randec88d5.cudf.impossible.log.runsolver           09-Dec-2010 13:31               15669
randec88d5.cudf.impossible.log.time                09-Dec-2010 13:31                 201
randec88d5.cudf.impossible.result.bz2              09-Dec-2010 13:31                4079
randf17677.cudf.difficult.error                    09-Dec-2010 13:31                  58
randf17677.cudf.difficult.log                      09-Dec-2010 13:31                  15
randf17677.cudf.difficult.log.runsolver            09-Dec-2010 13:31                9705
randf17677.cudf.difficult.log.time                 09-Dec-2010 13:31                 203
randf17677.cudf.difficult.result.bz2               09-Dec-2010 13:31                4628
randf406d5.cudf.difficult.error                    09-Dec-2010 13:31                  49
randf406d5.cudf.difficult.log                      09-Dec-2010 13:31                   6
randf406d5.cudf.difficult.log.runsolver            09-Dec-2010 13:31                7616
randf406d5.cudf.difficult.log.time                 09-Dec-2010 13:31                 204
randf406d5.cudf.difficult.result.bz2               09-Dec-2010 13:31                  42
randf61f65.cudf.difficult.error                    09-Dec-2010 13:31                  58
randf61f65.cudf.difficult.log                      09-Dec-2010 13:31                  15
randf61f65.cudf.difficult.log.runsolver            09-Dec-2010 13:31                9708
randf61f65.cudf.difficult.log.time                 09-Dec-2010 13:31                 202
randf61f65.cudf.difficult.result.bz2               09-Dec-2010 13:31                5180
randf7a7e4.cudf.easy.error                         09-Dec-2010 13:31                  58
randf7a7e4.cudf.easy.log                           09-Dec-2010 13:31                  15
randf7a7e4.cudf.easy.log.runsolver                 09-Dec-2010 13:31                6398
randf7a7e4.cudf.easy.log.time                      09-Dec-2010 13:31                 205
randf7a7e4.cudf.easy.result.bz2                    09-Dec-2010 13:31                7117
randfa4522.cudf.impossible.error                   09-Dec-2010 13:31                  58
randfa4522.cudf.impossible.log                     09-Dec-2010 13:31                  15
randfa4522.cudf.impossible.log.runsolver           09-Dec-2010 13:31                9910
randfa4522.cudf.impossible.log.time                09-Dec-2010 13:31                 203
randfa4522.cudf.impossible.result.bz2              09-Dec-2010 13:31                3978
small1.cudf.cudf_set.error                         09-Dec-2010 13:31                  58
small1.cudf.cudf_set.log                           09-Dec-2010 13:31                  15
small1.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:31                5382
small1.cudf.cudf_set.log.time                      09-Dec-2010 13:31                 205
small1.cudf.cudf_set.result.bz2                    09-Dec-2010 13:31                 619
small2.cudf.cudf_set.error                         09-Dec-2010 13:31                  58
small2.cudf.cudf_set.log                           09-Dec-2010 13:31                  15
small2.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:31                3735
small2.cudf.cudf_set.log.time                      09-Dec-2010 13:31                 204
small2.cudf.cudf_set.result.bz2                    09-Dec-2010 13:31                 615
small3.cudf.cudf_set.error                         09-Dec-2010 13:31                  58
small3.cudf.cudf_set.log                           09-Dec-2010 13:31                  15
small3.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:31                3734
small3.cudf.cudf_set.log.time                      09-Dec-2010 13:31                 202
small3.cudf.cudf_set.result.bz2                    09-Dec-2010 13:31                 632