Index of /misc-live/20101126/solutions/trendy/apt-get-trendy-1.0/
../
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 178
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 115
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 9194
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 205
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 178
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 115
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 11091
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 205
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 178
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 115
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 9914
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 206
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 178
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 115
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 11201
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 206
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 178
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 115
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 10967
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 206
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:29 178
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:29 115
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:29 9101
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:29 205
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:29 178
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:29 115
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:29 10600
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:29 205
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:29 178
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:29 115
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:29 9442
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:29 204
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 178
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 115
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 12146
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 206
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 178
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 115
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 11244
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 206
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 178
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 115
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 11261
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 205
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 178
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 115
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 10941
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 206
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 178
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 115
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 9782
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 206
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 178
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 115
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 10775
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 205
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:29 178
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:29 115
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:29 10760
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:29 205
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 178
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 115
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 9186
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 206
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 178
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 115
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 11115
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 206
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 178
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 115
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 10032
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 206
huge1.cudf.cudf_set.error 09-Dec-2010 13:29 172
huge1.cudf.cudf_set.log 09-Dec-2010 13:29 115
huge1.cudf.cudf_set.log.runsolver 09-Dec-2010 13:29 5015
huge1.cudf.cudf_set.log.time 09-Dec-2010 13:29 204
huge1.cudf.cudf_set.result.bz2 09-Dec-2010 13:29 42
huge2.cudf.cudf_set.error 09-Dec-2010 13:29 172
huge2.cudf.cudf_set.log 09-Dec-2010 13:29 115
huge2.cudf.cudf_set.log.runsolver 09-Dec-2010 13:29 4784
huge2.cudf.cudf_set.log.time 09-Dec-2010 13:29 204
huge2.cudf.cudf_set.result.bz2 09-Dec-2010 13:29 42
huge3.cudf.cudf_set.error 09-Dec-2010 13:29 172
huge3.cudf.cudf_set.log 09-Dec-2010 13:29 115
huge3.cudf.cudf_set.log.runsolver 09-Dec-2010 13:29 5309
huge3.cudf.cudf_set.log.time 09-Dec-2010 13:29 203
huge3.cudf.cudf_set.result.bz2 09-Dec-2010 13:29 42
large1.cudf.cudf_set.error 09-Dec-2010 13:29 172
large1.cudf.cudf_set.log 09-Dec-2010 13:29 115
large1.cudf.cudf_set.log.runsolver 09-Dec-2010 13:29 5361
large1.cudf.cudf_set.log.time 09-Dec-2010 13:29 199
large1.cudf.cudf_set.result.bz2 09-Dec-2010 13:29 42
large2.cudf.cudf_set.error 09-Dec-2010 13:29 172
large2.cudf.cudf_set.log 09-Dec-2010 13:29 115
large2.cudf.cudf_set.log.runsolver 09-Dec-2010 13:29 5095
large2.cudf.cudf_set.log.time 09-Dec-2010 13:29 204
large2.cudf.cudf_set.result.bz2 09-Dec-2010 13:29 42
large3.cudf.cudf_set.error 09-Dec-2010 13:29 172
large3.cudf.cudf_set.log 09-Dec-2010 13:29 115
large3.cudf.cudf_set.log.runsolver 09-Dec-2010 13:29 4853
large3.cudf.cudf_set.log.time 09-Dec-2010 13:29 205
large3.cudf.cudf_set.result.bz2 09-Dec-2010 13:29 42
rand0695fb.cudf.impossible.abort 09-Dec-2010 13:29 178
rand0695fb.cudf.impossible.log 09-Dec-2010 13:29 115
rand0695fb.cudf.impossible.log.runsolver 09-Dec-2010 13:29 14287
rand0695fb.cudf.impossible.log.time 09-Dec-2010 13:29 206
rand06f749.cudf.difficult.abort 09-Dec-2010 13:29 178
rand06f749.cudf.difficult.log 09-Dec-2010 13:29 115
rand06f749.cudf.difficult.log.runsolver 09-Dec-2010 13:29 11260
rand06f749.cudf.difficult.log.time 09-Dec-2010 13:29 206
rand08759d.cudf.easy.error 09-Dec-2010 13:29 172
rand08759d.cudf.easy.log 09-Dec-2010 13:29 115
rand08759d.cudf.easy.log.runsolver 09-Dec-2010 13:29 10346
rand08759d.cudf.easy.log.time 09-Dec-2010 13:29 204
rand08759d.cudf.easy.result.bz2 09-Dec-2010 13:29 61235
rand0aa5c1.cudf.difficult.abort 09-Dec-2010 13:29 178
rand0aa5c1.cudf.difficult.log 09-Dec-2010 13:29 115
rand0aa5c1.cudf.difficult.log.runsolver 09-Dec-2010 13:29 10020
rand0aa5c1.cudf.difficult.log.time 09-Dec-2010 13:29 206
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 178
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 115
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 12634
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 205
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 178
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 115
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 11148
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 206
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 178
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:29 115
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 11847
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 206
rand108.sarge-etch.cudf.sarge-etch.abort 09-Dec-2010 13:29 178
rand108.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:29 115
rand108.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:29 10103
rand108.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 205
rand108.sarge.cudf.sarge.error 09-Dec-2010 13:29 172
rand108.sarge.cudf.sarge.log 09-Dec-2010 13:29 115
rand108.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:29 8916
rand108.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 204
rand108.sarge.cudf.sarge.result.bz2 09-Dec-2010 13:29 31366
rand13b58e.cudf.easy.error 09-Dec-2010 13:29 172
rand13b58e.cudf.easy.log 09-Dec-2010 13:29 115
rand13b58e.cudf.easy.log.runsolver 09-Dec-2010 13:29 11224
rand13b58e.cudf.easy.log.time 09-Dec-2010 13:29 203
rand13b58e.cudf.easy.result.bz2 09-Dec-2010 13:29 52635
rand14ba69.cudf.difficult.abort 09-Dec-2010 13:29 178
rand14ba69.cudf.difficult.log 09-Dec-2010 13:29 115
rand14ba69.cudf.difficult.log.runsolver 09-Dec-2010 13:29 11006
rand14ba69.cudf.difficult.log.time 09-Dec-2010 13:29 205
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 178
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 115
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 11742
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 206
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 178
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 115
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 12620
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 206
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 178
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:29 115
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 12166
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 206
rand165.sarge-etch.cudf.sarge-etch.abort 09-Dec-2010 13:29 178
rand165.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:29 115
rand165.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:29 10680
rand165.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 206
rand165.sarge.cudf.sarge.error 09-Dec-2010 13:29 172
rand165.sarge.cudf.sarge.log 09-Dec-2010 13:29 115
rand165.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:29 8559
rand165.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 204
rand165.sarge.cudf.sarge.result.bz2 09-Dec-2010 13:29 27834
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 178
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 115
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 12798
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 206
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 178
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 115
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 12760
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 206
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 178
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:29 115
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 11130
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 205
rand180.sarge-etch.cudf.sarge-etch.abort 09-Dec-2010 13:29 178
rand180.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:29 115
rand180.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:29 9906
rand180.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 206
rand180.sarge.cudf.sarge.error 09-Dec-2010 13:29 172
rand180.sarge.cudf.sarge.log 09-Dec-2010 13:29 115
rand180.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:29 9242
rand180.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 204
rand180.sarge.cudf.sarge.result.bz2 09-Dec-2010 13:29 30906
rand1bff33.cudf.easy.error 09-Dec-2010 13:29 172
rand1bff33.cudf.easy.log 09-Dec-2010 13:29 115
rand1bff33.cudf.easy.log.runsolver 09-Dec-2010 13:29 10455
rand1bff33.cudf.easy.log.time 09-Dec-2010 13:29 204
rand1bff33.cudf.easy.result.bz2 09-Dec-2010 13:29 58986
rand2d2fd0.cudf.difficult.abort 09-Dec-2010 13:29 178
rand2d2fd0.cudf.difficult.log 09-Dec-2010 13:29 115
rand2d2fd0.cudf.difficult.log.runsolver 09-Dec-2010 13:29 11365
rand2d2fd0.cudf.difficult.log.time 09-Dec-2010 13:29 205
rand2fb7ab.cudf.easy.error 09-Dec-2010 13:29 172
rand2fb7ab.cudf.easy.log 09-Dec-2010 13:29 115
rand2fb7ab.cudf.easy.log.runsolver 09-Dec-2010 13:29 9872
rand2fb7ab.cudf.easy.log.time 09-Dec-2010 13:29 204
rand2fb7ab.cudf.easy.result.bz2 09-Dec-2010 13:29 56716
rand2fe899.cudf.difficult.abort 09-Dec-2010 13:29 178
rand2fe899.cudf.difficult.log 09-Dec-2010 13:29 115
rand2fe899.cudf.difficult.log.runsolver 09-Dec-2010 13:29 9918
rand2fe899.cudf.difficult.log.time 09-Dec-2010 13:29 206
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 178
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 115
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 11892
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 205
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 178
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 115
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 11867
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 205
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 178
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:29 115
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 10234
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 206
rand316.sarge-etch.cudf.sarge-etch.abort 09-Dec-2010 13:29 178
rand316.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:29 115
rand316.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:29 9924
rand316.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 206
rand316.sarge.cudf.sarge.abort 09-Dec-2010 13:29 178
rand316.sarge.cudf.sarge.log 09-Dec-2010 13:29 115
rand316.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:29 7981
rand316.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 206
rand332173.cudf.impossible.abort 09-Dec-2010 13:29 178
rand332173.cudf.impossible.log 09-Dec-2010 13:29 115
rand332173.cudf.impossible.log.runsolver 09-Dec-2010 13:29 13380
rand332173.cudf.impossible.log.time 09-Dec-2010 13:29 203
rand359ca0.cudf.easy.error 09-Dec-2010 13:29 172
rand359ca0.cudf.easy.log 09-Dec-2010 13:29 115
rand359ca0.cudf.easy.log.runsolver 09-Dec-2010 13:29 9899
rand359ca0.cudf.easy.log.time 09-Dec-2010 13:29 204
rand359ca0.cudf.easy.result.bz2 09-Dec-2010 13:29 57662
rand394916.cudf.difficult.abort 09-Dec-2010 13:29 178
rand394916.cudf.difficult.log 09-Dec-2010 13:29 115
rand394916.cudf.difficult.log.runsolver 09-Dec-2010 13:29 11067
rand394916.cudf.difficult.log.time 09-Dec-2010 13:29 206
rand3dec28.cudf.impossible.abort 09-Dec-2010 13:29 178
rand3dec28.cudf.impossible.log 09-Dec-2010 13:29 115
rand3dec28.cudf.impossible.log.runsolver 09-Dec-2010 13:29 13935
rand3dec28.cudf.impossible.log.time 09-Dec-2010 13:29 205
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 178
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 115
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 11899
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 206
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 178
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 115
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 11859
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 206
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 178
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:29 115
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 10212
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 206
rand494.sarge-etch.cudf.sarge-etch.abort 09-Dec-2010 13:29 178
rand494.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:29 115
rand494.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:29 10847
rand494.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 206
rand494.sarge.cudf.sarge.error 09-Dec-2010 13:29 172
rand494.sarge.cudf.sarge.log 09-Dec-2010 13:29 115
rand494.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:29 7770
rand494.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 204
rand494.sarge.cudf.sarge.result.bz2 09-Dec-2010 13:29 30561
rand49d73b.cudf.difficult.abort 09-Dec-2010 13:29 178
rand49d73b.cudf.difficult.log 09-Dec-2010 13:29 115
rand49d73b.cudf.difficult.log.runsolver 09-Dec-2010 13:29 11070
rand49d73b.cudf.difficult.log.time 09-Dec-2010 13:29 206
rand4d6b1c.cudf.difficult.abort 09-Dec-2010 13:29 178
rand4d6b1c.cudf.difficult.log 09-Dec-2010 13:29 115
rand4d6b1c.cudf.difficult.log.runsolver 09-Dec-2010 13:29 10450
rand4d6b1c.cudf.difficult.log.time 09-Dec-2010 13:29 205
rand50a937.cudf.difficult.abort 09-Dec-2010 13:29 178
rand50a937.cudf.difficult.log 09-Dec-2010 13:29 115
rand50a937.cudf.difficult.log.runsolver 09-Dec-2010 13:29 11144
rand50a937.cudf.difficult.log.time 09-Dec-2010 13:29 206
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 172
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 115
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 13714
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 204
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 37192
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 172
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 115
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 13687
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 202
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 36468
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 178
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:29 115
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 11109
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 205
rand550.sarge-etch.cudf.sarge-etch.abort 09-Dec-2010 13:29 178
rand550.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:29 115
rand550.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:29 10238
rand550.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 206
rand550.sarge.cudf.sarge.error 09-Dec-2010 13:29 172
rand550.sarge.cudf.sarge.log 09-Dec-2010 13:29 115
rand550.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:29 9030
rand550.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 203
rand550.sarge.cudf.sarge.result.bz2 09-Dec-2010 13:29 31817
rand5619c8.cudf.easy.error 09-Dec-2010 13:29 172
rand5619c8.cudf.easy.log 09-Dec-2010 13:29 115
rand5619c8.cudf.easy.log.runsolver 09-Dec-2010 13:29 10808
rand5619c8.cudf.easy.log.time 09-Dec-2010 13:29 204
rand5619c8.cudf.easy.result.bz2 09-Dec-2010 13:29 59383
rand5c1800.cudf.easy.abort 09-Dec-2010 13:29 178
rand5c1800.cudf.easy.log 09-Dec-2010 13:29 115
rand5c1800.cudf.easy.log.runsolver 09-Dec-2010 13:29 9898
rand5c1800.cudf.easy.log.time 09-Dec-2010 13:29 206
rand61b840.cudf.easy.error 09-Dec-2010 13:29 172
rand61b840.cudf.easy.log 09-Dec-2010 13:29 115
rand61b840.cudf.easy.log.runsolver 09-Dec-2010 13:29 10456
rand61b840.cudf.easy.log.time 09-Dec-2010 13:29 204
rand61b840.cudf.easy.result.bz2 09-Dec-2010 13:29 56047
rand655e63.cudf.impossible.abort 09-Dec-2010 13:29 178
rand655e63.cudf.impossible.log 09-Dec-2010 13:29 115
rand655e63.cudf.impossible.log.runsolver 09-Dec-2010 13:29 14426
rand655e63.cudf.impossible.log.time 09-Dec-2010 13:29 204
rand6b4d6e.cudf.impossible.abort 09-Dec-2010 13:29 178
rand6b4d6e.cudf.impossible.log 09-Dec-2010 13:29 115
rand6b4d6e.cudf.impossible.log.runsolver 09-Dec-2010 13:29 13246
rand6b4d6e.cudf.impossible.log.time 09-Dec-2010 13:29 204
rand6d933e.cudf.easy.abort 09-Dec-2010 13:29 178
rand6d933e.cudf.easy.log 09-Dec-2010 13:29 115
rand6d933e.cudf.easy.log.runsolver 09-Dec-2010 13:29 9914
rand6d933e.cudf.easy.log.time 09-Dec-2010 13:29 206
rand7141b1.cudf.impossible.abort 09-Dec-2010 13:29 178
rand7141b1.cudf.impossible.log 09-Dec-2010 13:29 115
rand7141b1.cudf.impossible.log.runsolver 09-Dec-2010 13:29 13520
rand7141b1.cudf.impossible.log.time 09-Dec-2010 13:29 204
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 178
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 115
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 11895
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 206
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 178
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 115
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 12801
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 206
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 178
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:29 115
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 12047
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 205
rand753.sarge-etch.cudf.sarge-etch.error 09-Dec-2010 13:29 172
rand753.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:29 115
rand753.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:29 10509
rand753.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 203
rand753.sarge-etch.cudf.sarge-etch.result.bz2 09-Dec-2010 13:29 28807
rand753.sarge.cudf.sarge.abort 09-Dec-2010 13:29 178
rand753.sarge.cudf.sarge.log 09-Dec-2010 13:29 115
rand753.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:29 7979
rand753.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 205
rand7902a8.cudf.impossible.abort 09-Dec-2010 13:29 178
rand7902a8.cudf.impossible.log 09-Dec-2010 13:29 115
rand7902a8.cudf.impossible.log.runsolver 09-Dec-2010 13:29 13914
rand7902a8.cudf.impossible.log.time 09-Dec-2010 13:29 202
rand7b4167.cudf.difficult.abort 09-Dec-2010 13:29 178
rand7b4167.cudf.difficult.log 09-Dec-2010 13:29 115
rand7b4167.cudf.difficult.log.runsolver 09-Dec-2010 13:29 12040
rand7b4167.cudf.difficult.log.time 09-Dec-2010 13:29 206
rand7fec8c.cudf.easy.abort 09-Dec-2010 13:29 178
rand7fec8c.cudf.easy.log 09-Dec-2010 13:29 115
rand7fec8c.cudf.easy.log.runsolver 09-Dec-2010 13:29 10518
rand7fec8c.cudf.easy.log.time 09-Dec-2010 13:29 205
rand81406f.cudf.impossible.error 09-Dec-2010 13:29 172
rand81406f.cudf.impossible.log 09-Dec-2010 13:29 115
rand81406f.cudf.impossible.log.runsolver 09-Dec-2010 13:29 14481
rand81406f.cudf.impossible.log.time 09-Dec-2010 13:29 204
rand81406f.cudf.impossible.result.bz2 09-Dec-2010 13:29 32895
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 178
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 115
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 12798
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 205
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 178
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 115
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 10981
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 206
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 178
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:29 115
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 11107
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 206
rand815.sarge-etch.cudf.sarge-etch.abort 09-Dec-2010 13:29 178
rand815.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:29 115
rand815.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:29 9925
rand815.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 206
rand815.sarge.cudf.sarge.error 09-Dec-2010 13:29 172
rand815.sarge.cudf.sarge.log 09-Dec-2010 13:29 115
rand815.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:29 8058
rand815.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 204
rand815.sarge.cudf.sarge.result.bz2 09-Dec-2010 13:29 30545
rand835640.cudf.impossible.abort 09-Dec-2010 13:29 178
rand835640.cudf.impossible.log 09-Dec-2010 13:29 115
rand835640.cudf.impossible.log.runsolver 09-Dec-2010 13:29 14131
rand835640.cudf.impossible.log.time 09-Dec-2010 13:29 203
rand847939.cudf.difficult.abort 09-Dec-2010 13:29 178
rand847939.cudf.difficult.log 09-Dec-2010 13:29 115
rand847939.cudf.difficult.log.runsolver 09-Dec-2010 13:29 11108
rand847939.cudf.difficult.log.time 09-Dec-2010 13:29 205
rand878003.cudf.impossible.abort 09-Dec-2010 13:29 178
rand878003.cudf.impossible.log 09-Dec-2010 13:29 115
rand878003.cudf.impossible.log.runsolver 09-Dec-2010 13:29 14445
rand878003.cudf.impossible.log.time 09-Dec-2010 13:29 204
rand8cc693.cudf.impossible.abort 09-Dec-2010 13:29 178
rand8cc693.cudf.impossible.log 09-Dec-2010 13:29 115
rand8cc693.cudf.impossible.log.runsolver 09-Dec-2010 13:29 15368
rand8cc693.cudf.impossible.log.time 09-Dec-2010 13:29 204
rand8d117b.cudf.easy.error 09-Dec-2010 13:29 172
rand8d117b.cudf.easy.log 09-Dec-2010 13:29 115
rand8d117b.cudf.easy.log.runsolver 09-Dec-2010 13:29 10448
rand8d117b.cudf.easy.log.time 09-Dec-2010 13:29 204
rand8d117b.cudf.easy.result.bz2 09-Dec-2010 13:29 56470
rand908403.cudf.difficult.abort 09-Dec-2010 13:29 178
rand908403.cudf.difficult.log 09-Dec-2010 13:29 115
rand908403.cudf.difficult.log.runsolver 09-Dec-2010 13:29 11140
rand908403.cudf.difficult.log.time 09-Dec-2010 13:29 205
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 172
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 115
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 13717
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 203
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 38566
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 172
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 115
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 13725
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 202
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 36690
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 178
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:29 115
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 11130
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 206
rand915.sarge-etch.cudf.sarge-etch.abort 09-Dec-2010 13:29 178
rand915.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:29 115
rand915.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:29 10491
rand915.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 206
rand915.sarge.cudf.sarge.error 09-Dec-2010 13:29 172
rand915.sarge.cudf.sarge.log 09-Dec-2010 13:29 115
rand915.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:29 9000
rand915.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 204
rand915.sarge.cudf.sarge.result.bz2 09-Dec-2010 13:29 31296
rand951a14.cudf.easy.error 09-Dec-2010 13:29 172
rand951a14.cudf.easy.log 09-Dec-2010 13:29 115
rand951a14.cudf.easy.log.runsolver 09-Dec-2010 13:29 10652
rand951a14.cudf.easy.log.time 09-Dec-2010 13:29 204
rand951a14.cudf.easy.result.bz2 09-Dec-2010 13:29 55374
rand95e48b.cudf.difficult.abort 09-Dec-2010 13:29 178
rand95e48b.cudf.difficult.log 09-Dec-2010 13:29 115
rand95e48b.cudf.difficult.log.runsolver 09-Dec-2010 13:29 10037
rand95e48b.cudf.difficult.log.time 09-Dec-2010 13:29 206
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 178
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 115
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 11892
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 206
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 178
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 115
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 11895
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 206
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 178
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:29 115
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 11107
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 206
rand986.sarge-etch.cudf.sarge-etch.abort 09-Dec-2010 13:29 178
rand986.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:29 115
rand986.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:29 9570
rand986.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 206
rand986.sarge.cudf.sarge.abort 09-Dec-2010 13:29 178
rand986.sarge.cudf.sarge.log 09-Dec-2010 13:29 115
rand986.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:29 7638
rand986.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 204
randa223c3.cudf.impossible.abort 09-Dec-2010 13:29 178
randa223c3.cudf.impossible.log 09-Dec-2010 13:29 115
randa223c3.cudf.impossible.log.runsolver 09-Dec-2010 13:29 14094
randa223c3.cudf.impossible.log.time 09-Dec-2010 13:29 203
randa45895.cudf.difficult.abort 09-Dec-2010 13:29 178
randa45895.cudf.difficult.log 09-Dec-2010 13:29 115
randa45895.cudf.difficult.log.runsolver 09-Dec-2010 13:29 10993
randa45895.cudf.difficult.log.time 09-Dec-2010 13:29 206
randa651ed.cudf.difficult.abort 09-Dec-2010 13:29 178
randa651ed.cudf.difficult.log 09-Dec-2010 13:29 115
randa651ed.cudf.difficult.log.runsolver 09-Dec-2010 13:29 10379
randa651ed.cudf.difficult.log.time 09-Dec-2010 13:29 204
randa870aa.cudf.difficult.abort 09-Dec-2010 13:29 178
randa870aa.cudf.difficult.log 09-Dec-2010 13:29 115
randa870aa.cudf.difficult.log.runsolver 09-Dec-2010 13:29 10350
randa870aa.cudf.difficult.log.time 09-Dec-2010 13:29 206
randa9ba44.cudf.easy.error 09-Dec-2010 13:29 172
randa9ba44.cudf.easy.log 09-Dec-2010 13:29 115
randa9ba44.cudf.easy.log.runsolver 09-Dec-2010 13:29 10628
randa9ba44.cudf.easy.log.time 09-Dec-2010 13:29 204
randa9ba44.cudf.easy.result.bz2 09-Dec-2010 13:29 58551
randaaa8ea.cudf.easy.abort 09-Dec-2010 13:29 178
randaaa8ea.cudf.easy.log 09-Dec-2010 13:29 115
randaaa8ea.cudf.easy.log.runsolver 09-Dec-2010 13:29 10340
randaaa8ea.cudf.easy.log.time 09-Dec-2010 13:29 206
randaafcce.cudf.impossible.abort 09-Dec-2010 13:29 178
randaafcce.cudf.impossible.log 09-Dec-2010 13:29 115
randaafcce.cudf.impossible.log.runsolver 09-Dec-2010 13:29 15224
randaafcce.cudf.impossible.log.time 09-Dec-2010 13:29 206
randadea40.cudf.easy.abort 09-Dec-2010 13:29 178
randadea40.cudf.easy.log 09-Dec-2010 13:29 115
randadea40.cudf.easy.log.runsolver 09-Dec-2010 13:29 10336
randadea40.cudf.easy.log.time 09-Dec-2010 13:29 206
randba6b5b.cudf.easy.error 09-Dec-2010 13:29 172
randba6b5b.cudf.easy.log 09-Dec-2010 13:29 115
randba6b5b.cudf.easy.log.runsolver 09-Dec-2010 13:29 10940
randba6b5b.cudf.easy.log.time 09-Dec-2010 13:29 203
randba6b5b.cudf.easy.result.bz2 09-Dec-2010 13:29 57767
randbe9acf.cudf.easy.error 09-Dec-2010 13:29 172
randbe9acf.cudf.easy.log 09-Dec-2010 13:29 115
randbe9acf.cudf.easy.log.runsolver 09-Dec-2010 13:29 10313
randbe9acf.cudf.easy.log.time 09-Dec-2010 13:29 204
randbe9acf.cudf.easy.result.bz2 09-Dec-2010 13:29 57332
randc10393.cudf.difficult.abort 09-Dec-2010 13:29 178
randc10393.cudf.difficult.log 09-Dec-2010 13:29 115
randc10393.cudf.difficult.log.runsolver 09-Dec-2010 13:29 11008
randc10393.cudf.difficult.log.time 09-Dec-2010 13:29 205
randc192b7.cudf.easy.error 09-Dec-2010 13:29 172
randc192b7.cudf.easy.log 09-Dec-2010 13:29 115
randc192b7.cudf.easy.log.runsolver 09-Dec-2010 13:29 10631
randc192b7.cudf.easy.log.time 09-Dec-2010 13:29 204
randc192b7.cudf.easy.result.bz2 09-Dec-2010 13:29 57959
randd8bf6a.cudf.difficult.abort 09-Dec-2010 13:29 178
randd8bf6a.cudf.difficult.log 09-Dec-2010 13:29 115
randd8bf6a.cudf.difficult.log.runsolver 09-Dec-2010 13:29 10048
randd8bf6a.cudf.difficult.log.time 09-Dec-2010 13:29 206
rande4fcd8.cudf.difficult.abort 09-Dec-2010 13:29 178
rande4fcd8.cudf.difficult.log 09-Dec-2010 13:29 115
rande4fcd8.cudf.difficult.log.runsolver 09-Dec-2010 13:29 10311
rande4fcd8.cudf.difficult.log.time 09-Dec-2010 13:29 205
randea6106.cudf.easy.abort 09-Dec-2010 13:29 178
randea6106.cudf.easy.log 09-Dec-2010 13:29 115
randea6106.cudf.easy.log.runsolver 09-Dec-2010 13:29 10329
randea6106.cudf.easy.log.time 09-Dec-2010 13:29 206
randeb343c.cudf.easy.error 09-Dec-2010 13:29 172
randeb343c.cudf.easy.log 09-Dec-2010 13:29 115
randeb343c.cudf.easy.log.runsolver 09-Dec-2010 13:29 9447
randeb343c.cudf.easy.log.time 09-Dec-2010 13:29 204
randeb343c.cudf.easy.result.bz2 09-Dec-2010 13:29 57908
randec88d5.cudf.impossible.abort 09-Dec-2010 13:29 178
randec88d5.cudf.impossible.log 09-Dec-2010 13:29 115
randec88d5.cudf.impossible.log.runsolver 09-Dec-2010 13:29 14242
randec88d5.cudf.impossible.log.time 09-Dec-2010 13:29 203
randf17677.cudf.difficult.abort 09-Dec-2010 13:29 178
randf17677.cudf.difficult.log 09-Dec-2010 13:29 115
randf17677.cudf.difficult.log.runsolver 09-Dec-2010 13:29 10314
randf17677.cudf.difficult.log.time 09-Dec-2010 13:29 205
randf406d5.cudf.difficult.abort 09-Dec-2010 13:29 178
randf406d5.cudf.difficult.log 09-Dec-2010 13:29 115
randf406d5.cudf.difficult.log.runsolver 09-Dec-2010 13:29 11241
randf406d5.cudf.difficult.log.time 09-Dec-2010 13:29 206
randf61f65.cudf.difficult.abort 09-Dec-2010 13:29 178
randf61f65.cudf.difficult.log 09-Dec-2010 13:29 115
randf61f65.cudf.difficult.log.runsolver 09-Dec-2010 13:29 10705
randf61f65.cudf.difficult.log.time 09-Dec-2010 13:29 206
randf7a7e4.cudf.easy.error 09-Dec-2010 13:29 172
randf7a7e4.cudf.easy.log 09-Dec-2010 13:29 115
randf7a7e4.cudf.easy.log.runsolver 09-Dec-2010 13:29 9453
randf7a7e4.cudf.easy.log.time 09-Dec-2010 13:29 204
randf7a7e4.cudf.easy.result.bz2 09-Dec-2010 13:29 43106
randfa4522.cudf.impossible.abort 09-Dec-2010 13:29 178
randfa4522.cudf.impossible.log 09-Dec-2010 13:29 115
randfa4522.cudf.impossible.log.runsolver 09-Dec-2010 13:29 13931
randfa4522.cudf.impossible.log.time 09-Dec-2010 13:29 205
small1.cudf.cudf_set.error 09-Dec-2010 13:29 172
small1.cudf.cudf_set.log 09-Dec-2010 13:29 115
small1.cudf.cudf_set.log.runsolver 09-Dec-2010 13:29 4848
small1.cudf.cudf_set.log.time 09-Dec-2010 13:29 200
small1.cudf.cudf_set.result.bz2 09-Dec-2010 13:29 42
small2.cudf.cudf_set.error 09-Dec-2010 13:29 172
small2.cudf.cudf_set.log 09-Dec-2010 13:29 115
small2.cudf.cudf_set.log.runsolver 09-Dec-2010 13:29 4832
small2.cudf.cudf_set.log.time 09-Dec-2010 13:29 205
small2.cudf.cudf_set.result.bz2 09-Dec-2010 13:29 42
small3.cudf.cudf_set.error 09-Dec-2010 13:29 172
small3.cudf.cudf_set.log 09-Dec-2010 13:29 115
small3.cudf.cudf_set.log.runsolver 09-Dec-2010 13:29 4529
small3.cudf.cudf_set.log.time 09-Dec-2010 13:29 205
small3.cudf.cudf_set.result.bz2 09-Dec-2010 13:29 42