Index of /misc-live/20101126/solutions/paranoid/aspcud-paranoid-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                7490
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 202
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                8648
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               10824
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 202
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               16463
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               12334
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 202
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               16450
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                6436
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 201
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                8648
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:30               13435
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 204
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               16440
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               12198
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:30                 204
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:30               16475
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                6720
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:30                 203
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:30                8578
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               11950
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               16475
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               11275
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 204
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               16638
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               12484
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 203
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               16469
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:30               11610
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               16475
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               10400
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 204
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               16638
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                  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               11980
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 204
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               16475
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               12164
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 204
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               16450
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                7293
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               11491
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:30                6743
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 202
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                8709
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               12494
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 204
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30               16450
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                6364
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                 202
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:30                8648
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               15144
huge1.cudf.cudf_set.log.time                       09-Dec-2010 13:30                 202
huge1.cudf.cudf_set.result.bz2                     09-Dec-2010 13:30                  42
huge2.cudf.cudf_set.error                          09-Dec-2010 13:30                  43
huge2.cudf.cudf_set.log                            09-Dec-2010 13:30                   0
huge2.cudf.cudf_set.log.runsolver                  09-Dec-2010 13:30               15157
huge2.cudf.cudf_set.log.time                       09-Dec-2010 13:30                 202
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               16129
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:30                  43
large1.cudf.cudf_set.log                           09-Dec-2010 13:30                   0
large1.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:30               18532
large1.cudf.cudf_set.log.time                      09-Dec-2010 13:30                 201
large1.cudf.cudf_set.result.bz2                    09-Dec-2010 13:30                1041
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               17294
large2.cudf.cudf_set.log.time                      09-Dec-2010 13:30                 202
large2.cudf.cudf_set.result.bz2                    09-Dec-2010 13:30                1037
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               15441
large3.cudf.cudf_set.log.time                      09-Dec-2010 13:30                 202
large3.cudf.cudf_set.result.bz2                    09-Dec-2010 13:30                  42
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               10801
rand0695fb.cudf.impossible.log.time                09-Dec-2010 13:30                 203
rand0695fb.cudf.impossible.result.bz2              09-Dec-2010 13:30                4044
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                7360
rand06f749.cudf.difficult.log.time                 09-Dec-2010 13:30                 202
rand06f749.cudf.difficult.result.bz2               09-Dec-2010 13:30                4778
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                5901
rand08759d.cudf.easy.log.time                      09-Dec-2010 13:30                 202
rand08759d.cudf.easy.result.bz2                    09-Dec-2010 13:30                9450
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                7764
rand0aa5c1.cudf.difficult.log.time                 09-Dec-2010 13:30                 202
rand0aa5c1.cudf.difficult.result.bz2               09-Dec-2010 13:30                4435
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               10857
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 203
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                5048
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               10500
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 202
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                5046
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                9343
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 203
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                5059
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                6839
rand108.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 203
rand108.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30                5056
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                5134
rand108.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 205
rand108.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30                5038
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                6232
rand13b58e.cudf.easy.log.time                      09-Dec-2010 13:30                 202
rand13b58e.cudf.easy.result.bz2                    09-Dec-2010 13:30                8445
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                9136
rand14ba69.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
rand14ba69.cudf.difficult.result.bz2               09-Dec-2010 13:30                4944
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:30                   0
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               15788
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 202
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               15135
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                8406
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 203
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                4099
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                6917
rand165.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 203
rand165.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30                4095
rand165.sarge.cudf.sarge.error                     09-Dec-2010 13:30                  43
rand165.sarge.cudf.sarge.log                       09-Dec-2010 13:30                   0
rand165.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30                5345
rand165.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 205
rand165.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30                4093
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:30               10884
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 202
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                4954
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               10509
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                4949
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:30               10191
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 202
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                4908
rand180.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                  43
rand180.sarge-etch.cudf.sarge-etch.log             09-Dec-2010 13:30                   0
rand180.sarge-etch.cudf.sarge-etch.log.runsolver   09-Dec-2010 13:30                7161
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                4896
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                5687
rand180.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 204
rand180.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30                4876
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                7111
rand1bff33.cudf.easy.log.time                      09-Dec-2010 13:30                 203
rand1bff33.cudf.easy.result.bz2                    09-Dec-2010 13:30                9106
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                8176
rand2d2fd0.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
rand2d2fd0.cudf.difficult.result.bz2               09-Dec-2010 13:30                4873
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                6853
rand2fb7ab.cudf.easy.log.time                      09-Dec-2010 13:30                 202
rand2fb7ab.cudf.easy.result.bz2                    09-Dec-2010 13:30                8965
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:30                7867
rand2fe899.cudf.difficult.log.time                 09-Dec-2010 13:30                 202
rand2fe899.cudf.difficult.result.bz2               09-Dec-2010 13:30                4002
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               10700
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 203
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                5253
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               10450
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 202
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                5262
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                9464
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                5223
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                7553
rand316.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 203
rand316.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30                5027
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                5521
rand316.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 204
rand316.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30                5018
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               10717
rand332173.cudf.impossible.log.time                09-Dec-2010 13:30                 203
rand332173.cudf.impossible.result.bz2              09-Dec-2010 13:30                4583
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                5651
rand359ca0.cudf.easy.log.time                      09-Dec-2010 13:30                 202
rand359ca0.cudf.easy.result.bz2                    09-Dec-2010 13:30                9204
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                7843
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               10726
rand3dec28.cudf.impossible.log.time                09-Dec-2010 13:30                 202
rand3dec28.cudf.impossible.result.bz2              09-Dec-2010 13:30                4432
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:30                   0
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30               10099
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 202
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                4989
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                9747
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 203
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                4989
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               10695
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 202
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                4876
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                7234
rand494.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 203
rand494.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30                4875
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                6091
rand494.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 205
rand494.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30                4850
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                7510
rand49d73b.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
rand49d73b.cudf.difficult.result.bz2               09-Dec-2010 13:30                4687
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                7295
rand4d6b1c.cudf.difficult.log.time                 09-Dec-2010 13:30                 201
rand4d6b1c.cudf.difficult.result.bz2               09-Dec-2010 13:30                4462
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                8172
rand50a937.cudf.difficult.log.time                 09-Dec-2010 13:30                 202
rand50a937.cudf.difficult.result.bz2               09-Dec-2010 13:30                5575
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               11027
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 203
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                5205
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               10326
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 202
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                5199
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                8717
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 203
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                5191
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                6702
rand550.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 203
rand550.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30                5068
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                5411
rand550.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 204
rand550.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30                5079
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                5949
rand5619c8.cudf.easy.log.time                      09-Dec-2010 13:30                 201
rand5619c8.cudf.easy.result.bz2                    09-Dec-2010 13:30                9176
rand5c1800.cudf.easy.error                         09-Dec-2010 13:30                  43
rand5c1800.cudf.easy.log                           09-Dec-2010 13:30                   0
rand5c1800.cudf.easy.log.runsolver                 09-Dec-2010 13:30                6643
rand5c1800.cudf.easy.log.time                      09-Dec-2010 13:30                 202
rand5c1800.cudf.easy.result.bz2                    09-Dec-2010 13:30                8917
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:30                6639
rand61b840.cudf.easy.log.time                      09-Dec-2010 13:30                 202
rand61b840.cudf.easy.result.bz2                    09-Dec-2010 13:30                8977
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               11192
rand655e63.cudf.impossible.log.time                09-Dec-2010 13:30                 203
rand655e63.cudf.impossible.result.bz2              09-Dec-2010 13:30                4178
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               11772
rand6b4d6e.cudf.impossible.log.time                09-Dec-2010 13:30                 202
rand6b4d6e.cudf.impossible.result.bz2              09-Dec-2010 13:30                4605
rand6d933e.cudf.easy.error                         09-Dec-2010 13:30                  43
rand6d933e.cudf.easy.log                           09-Dec-2010 13:30                   0
rand6d933e.cudf.easy.log.runsolver                 09-Dec-2010 13:30                6663
rand6d933e.cudf.easy.log.time                      09-Dec-2010 13:30                 202
rand6d933e.cudf.easy.result.bz2                    09-Dec-2010 13:30                9024
rand7141b1.cudf.impossible.error                   09-Dec-2010 13:30                  43
rand7141b1.cudf.impossible.log                     09-Dec-2010 13:30                   0
rand7141b1.cudf.impossible.log.runsolver           09-Dec-2010 13:30               12082
rand7141b1.cudf.impossible.log.time                09-Dec-2010 13:30                 202
rand7141b1.cudf.impossible.result.bz2              09-Dec-2010 13:30                4523
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               17871
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                6491
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               11657
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 202
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                6214
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:30                   0
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                9489
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 203
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                5146
rand753.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                  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                7200
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                4546
rand753.sarge.cudf.sarge.error                     09-Dec-2010 13:30                  43
rand753.sarge.cudf.sarge.log                       09-Dec-2010 13:30                   0
rand753.sarge.cudf.sarge.log.runsolver             09-Dec-2010 13:30                5180
rand753.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 205
rand753.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30                4399
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:30               12089
rand7902a8.cudf.impossible.log.time                09-Dec-2010 13:30                 201
rand7902a8.cudf.impossible.result.bz2              09-Dec-2010 13:30                4475
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                7759
rand7b4167.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
rand7b4167.cudf.difficult.result.bz2               09-Dec-2010 13:30                4189
rand7fec8c.cudf.easy.error                         09-Dec-2010 13:30                  43
rand7fec8c.cudf.easy.log                           09-Dec-2010 13:30                   0
rand7fec8c.cudf.easy.log.runsolver                 09-Dec-2010 13:30                5978
rand7fec8c.cudf.easy.log.time                      09-Dec-2010 13:30                 200
rand7fec8c.cudf.easy.result.bz2                    09-Dec-2010 13:30                9128
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               11174
rand81406f.cudf.impossible.log.time                09-Dec-2010 13:30                 202
rand81406f.cudf.impossible.result.bz2              09-Dec-2010 13:30                4191
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               10111
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 203
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                5177
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               10340
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 203
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                5174
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                9062
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 202
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                4904
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                7024
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                4961
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                4847
rand815.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 205
rand815.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30                4884
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               11188
rand835640.cudf.impossible.log.time                09-Dec-2010 13:30                 202
rand835640.cudf.impossible.result.bz2              09-Dec-2010 13:30                4083
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                7194
rand847939.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
rand847939.cudf.difficult.result.bz2               09-Dec-2010 13:30                5097
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               11771
rand878003.cudf.impossible.log.time                09-Dec-2010 13:30                 201
rand878003.cudf.impossible.result.bz2              09-Dec-2010 13:30                4616
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               12350
rand8cc693.cudf.impossible.log.time                09-Dec-2010 13:30                 203
rand8cc693.cudf.impossible.result.bz2              09-Dec-2010 13:30                4693
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                6650
rand8d117b.cudf.easy.log.time                      09-Dec-2010 13:30                 202
rand8d117b.cudf.easy.result.bz2                    09-Dec-2010 13:30                8917
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                7551
rand908403.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
rand908403.cudf.difficult.result.bz2               09-Dec-2010 13:30                4909
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:30               10086
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                4957
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                9187
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 202
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                4962
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               10333
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                4960
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                6684
rand915.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 202
rand915.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30                4951
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                4846
rand915.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 204
rand915.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30                4941
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                6306
rand951a14.cudf.easy.log.time                      09-Dec-2010 13:30                 202
rand951a14.cudf.easy.result.bz2                    09-Dec-2010 13:30                8758
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                7317
rand95e48b.cudf.difficult.log.time                 09-Dec-2010 13:30                 201
rand95e48b.cudf.difficult.result.bz2               09-Dec-2010 13:30                4898
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                9780
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                 203
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:30                5233
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               10344
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                 202
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:30                5245
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               10014
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                 203
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:30                5210
rand986.sarge-etch.cudf.sarge-etch.error           09-Dec-2010 13:30                  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                7233
rand986.sarge-etch.cudf.sarge-etch.log.time        09-Dec-2010 13:30                 203
rand986.sarge-etch.cudf.sarge-etch.result.bz2      09-Dec-2010 13:30                5140
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                8690
rand986.sarge.cudf.sarge.log.time                  09-Dec-2010 13:30                 205
rand986.sarge.cudf.sarge.result.bz2                09-Dec-2010 13:30                5078
randa223c3.cudf.impossible.error                   09-Dec-2010 13:30                  43
randa223c3.cudf.impossible.log                     09-Dec-2010 13:30                   0
randa223c3.cudf.impossible.log.runsolver           09-Dec-2010 13:30               11766
randa223c3.cudf.impossible.log.time                09-Dec-2010 13:30                 201
randa223c3.cudf.impossible.result.bz2              09-Dec-2010 13:30                4608
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                6660
randa45895.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
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                7453
randa651ed.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
randa651ed.cudf.difficult.result.bz2               09-Dec-2010 13:30                4443
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:30                7336
randa870aa.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
randa870aa.cudf.difficult.result.bz2               09-Dec-2010 13:30                4890
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                6631
randa9ba44.cudf.easy.log.time                      09-Dec-2010 13:30                 202
randa9ba44.cudf.easy.result.bz2                    09-Dec-2010 13:30                9052
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                6644
randaaa8ea.cudf.easy.log.time                      09-Dec-2010 13:30                 203
randaaa8ea.cudf.easy.result.bz2                    09-Dec-2010 13:30                8901
randaafcce.cudf.impossible.error                   09-Dec-2010 13:30                  43
randaafcce.cudf.impossible.log                     09-Dec-2010 13:30                   0
randaafcce.cudf.impossible.log.runsolver           09-Dec-2010 13:30               12084
randaafcce.cudf.impossible.log.time                09-Dec-2010 13:30                 202
randaafcce.cudf.impossible.result.bz2              09-Dec-2010 13:30                3944
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                6642
randadea40.cudf.easy.log.time                      09-Dec-2010 13:30                 202
randadea40.cudf.easy.result.bz2                    09-Dec-2010 13:30                8744
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:30                6510
randba6b5b.cudf.easy.log.time                      09-Dec-2010 13:30                 203
randba6b5b.cudf.easy.result.bz2                    09-Dec-2010 13:30                8977
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:30                7104
randbe9acf.cudf.easy.log.time                      09-Dec-2010 13:30                 202
randbe9acf.cudf.easy.result.bz2                    09-Dec-2010 13:30                8996
randc10393.cudf.difficult.error                    09-Dec-2010 13:30                  43
randc10393.cudf.difficult.log                      09-Dec-2010 13:30                   0
randc10393.cudf.difficult.log.runsolver            09-Dec-2010 13:30                8097
randc10393.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
randc10393.cudf.difficult.result.bz2               09-Dec-2010 13:30                4979
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                6572
randc192b7.cudf.easy.log.time                      09-Dec-2010 13:30                 202
randc192b7.cudf.easy.result.bz2                    09-Dec-2010 13:30                9283
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                7359
randd8bf6a.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
randd8bf6a.cudf.difficult.result.bz2               09-Dec-2010 13:30                4164
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                6570
rande4fcd8.cudf.difficult.log.time                 09-Dec-2010 13:30                 202
rande4fcd8.cudf.difficult.result.bz2               09-Dec-2010 13:30                4593
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                6582
randea6106.cudf.easy.log.time                      09-Dec-2010 13:30                 202
randea6106.cudf.easy.result.bz2                    09-Dec-2010 13:30                9029
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                5919
randeb343c.cudf.easy.log.time                      09-Dec-2010 13:30                 201
randeb343c.cudf.easy.result.bz2                    09-Dec-2010 13:30                9030
randec88d5.cudf.impossible.error                   09-Dec-2010 13:30                  43
randec88d5.cudf.impossible.log                     09-Dec-2010 13:30                   0
randec88d5.cudf.impossible.log.runsolver           09-Dec-2010 13:30               11753
randec88d5.cudf.impossible.log.time                09-Dec-2010 13:30                 202
randec88d5.cudf.impossible.result.bz2              09-Dec-2010 13:30                4045
randf17677.cudf.difficult.error                    09-Dec-2010 13:30                  43
randf17677.cudf.difficult.log                      09-Dec-2010 13:30                   0
randf17677.cudf.difficult.log.runsolver            09-Dec-2010 13:30                7441
randf17677.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
randf17677.cudf.difficult.result.bz2               09-Dec-2010 13:30                4627
randf406d5.cudf.difficult.error                    09-Dec-2010 13:30                  43
randf406d5.cudf.difficult.log                      09-Dec-2010 13:30                   0
randf406d5.cudf.difficult.log.runsolver            09-Dec-2010 13:30                8094
randf406d5.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
randf406d5.cudf.difficult.result.bz2               09-Dec-2010 13:30                  42
randf61f65.cudf.difficult.error                    09-Dec-2010 13:30                  43
randf61f65.cudf.difficult.log                      09-Dec-2010 13:30                   0
randf61f65.cudf.difficult.log.runsolver            09-Dec-2010 13:30                7770
randf61f65.cudf.difficult.log.time                 09-Dec-2010 13:30                 203
randf61f65.cudf.difficult.result.bz2               09-Dec-2010 13:30                5160
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                7116
randf7a7e4.cudf.easy.log.time                      09-Dec-2010 13:30                 201
randf7a7e4.cudf.easy.result.bz2                    09-Dec-2010 13:30                7103
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               10296
randfa4522.cudf.impossible.log.time                09-Dec-2010 13:30                 202
randfa4522.cudf.impossible.result.bz2              09-Dec-2010 13:30                3973
small1.cudf.cudf_set.error                         09-Dec-2010 13:30                  43
small1.cudf.cudf_set.log                           09-Dec-2010 13:30                   0
small1.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:30                3421
small1.cudf.cudf_set.log.time                      09-Dec-2010 13:30                 202
small1.cudf.cudf_set.result.bz2                    09-Dec-2010 13:30                 605
small2.cudf.cudf_set.error                         09-Dec-2010 13:30                  43
small2.cudf.cudf_set.log                           09-Dec-2010 13:30                   0
small2.cudf.cudf_set.log.runsolver                 09-Dec-2010 13:30                4094
small2.cudf.cudf_set.log.time                      09-Dec-2010 13:30                 201
small2.cudf.cudf_set.result.bz2                    09-Dec-2010 13:30                 623
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                4095
small3.cudf.cudf_set.log.time                      09-Dec-2010 13:30                 202
small3.cudf.cudf_set.result.bz2                    09-Dec-2010 13:30                 601