Index of /misc-live/20101126/solutions/paranoid/apt-get-paranoid-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 10230
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 206
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 11109
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 206
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 9322
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 9656
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 12139
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 12174
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:29 206
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 10565
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:29 206
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 13045
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:29 205
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 13071
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 10336
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 205
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 12366
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 247
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 10067
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 11873
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 9141
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 204
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 10945
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:29 206
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 9143
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 9183
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 9544
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 5020
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 5310
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 5329
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 5875
large1.cudf.cudf_set.log.time 09-Dec-2010 13:29 205
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 4852
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 4828
large3.cudf.cudf_set.log.time 09-Dec-2010 13:29 204
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 14553
rand0695fb.cudf.impossible.log.time 09-Dec-2010 13:29 205
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 10395
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 9492
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 11244
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 11170
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 206
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 10821
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 11627
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 205
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 9503
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 6498
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 9771
rand13b58e.cudf.easy.log.time 09-Dec-2010 13:29 204
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 10340
rand14ba69.cudf.difficult.log.time 09-Dec-2010 13:29 206
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 11758
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 11114
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 205
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 11001
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 9829
rand165.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 205
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 7673
rand165.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 203
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 11760
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 10855
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 10131
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 12005
rand180.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 204
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 7667
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 9777
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 10471
rand2d2fd0.cudf.difficult.log.time 09-Dec-2010 13:29 206
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 10799
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 10511
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 11921
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 206
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 11236
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 206
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 10563
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 11842
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 8760
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 13693
rand332173.cudf.impossible.log.time 09-Dec-2010 13:29 204
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 9615
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 11407
rand394916.cudf.difficult.log.time 09-Dec-2010 13:29 205
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 14618
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 11918
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 205
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 13952
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 247
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 11119
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 9922
rand494.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 205
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 7795
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 10515
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 11392
rand4d6b1c.cudf.difficult.log.time 09-Dec-2010 13:29 206
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 10519
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 14601
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 14285
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 203
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 11148
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 206
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 10825
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 7761
rand550.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 204
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 10788
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 9903
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 11243
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 13894
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 13529
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 9919
rand6d933e.cudf.easy.log.time 09-Dec-2010 13:29 205
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 13007
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 12824
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 204
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 11861
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 12143
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 10829
rand753.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 204
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 7779
rand753.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 206
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 13847
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 11416
rand7b4167.cudf.difficult.log.time 09-Dec-2010 13:29 205
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 11157
rand7fec8c.cudf.easy.log.time 09-Dec-2010 13:29 206
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 14780
rand81406f.cudf.impossible.log.time 09-Dec-2010 13:29 203
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 12846
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 206
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 11254
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 11147
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 10528
rand815.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 205
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 7719
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 13901
rand835640.cudf.impossible.log.time 09-Dec-2010 13:29 204
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 10494
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 14782
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 14497
rand8cc693.cudf.impossible.log.time 09-Dec-2010 13:29 203
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 8987
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 11387
rand908403.cudf.difficult.log.time 09-Dec-2010 13:29 206
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 14644
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 13300
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 203
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 11430
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 11286
rand915.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 205
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 8653
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 11032
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 11373
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 12846
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 11890
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 205
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 10242
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 11170
rand986.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 205
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 7742
rand986.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 206
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 14528
randa223c3.cudf.impossible.log.time 09-Dec-2010 13:29 204
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 11193
randa45895.cudf.difficult.log.time 09-Dec-2010 13:29 205
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 11362
randa651ed.cudf.difficult.log.time 09-Dec-2010 13:29 206
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 11067
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 11238
randa9ba44.cudf.easy.log.time 09-Dec-2010 13:29 203
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 9614
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 14786
randaafcce.cudf.impossible.log.time 09-Dec-2010 13:29 205
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 9933
randadea40.cudf.easy.log.time 09-Dec-2010 13:29 205
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 10189
randba6b5b.cudf.easy.log.time 09-Dec-2010 13:29 204
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 9749
randbe9acf.cudf.easy.log.time 09-Dec-2010 13:29 202
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 11947
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 11089
randc192b7.cudf.easy.log.time 09-Dec-2010 13:29 203
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 10354
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 11274
rande4fcd8.cudf.difficult.log.time 09-Dec-2010 13:29 206
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 10991
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 11800
randeb343c.cudf.easy.log.time 09-Dec-2010 13:29 245
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 13899
randec88d5.cudf.impossible.log.time 09-Dec-2010 13:29 205
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 10357
randf17677.cudf.difficult.log.time 09-Dec-2010 13:29 206
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 10354
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 10886
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 11970
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 14836
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 4835
small1.cudf.cudf_set.log.time 09-Dec-2010 13:29 205
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 4839
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 4836
small3.cudf.cudf_set.log.time 09-Dec-2010 13:29 205
small3.cudf.cudf_set.result.bz2 09-Dec-2010 13:29 42