Index of /misc-live/20101126/solutions/trendy/cudf2msu4trendy-1.0/
../
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 127
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 84
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 8740
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 202
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 9041
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 131
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 88
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 16850
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 203
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 18473
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 131
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 88
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 17565
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 204
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 18473
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 127
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 84
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 9728
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 201
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 9041
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 131
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 88
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 17813
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 204
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 18459
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31 131
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31 88
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31 17101
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31 204
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31 18026
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:31 127
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:31 84
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:31 8100
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:31 201
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:31 9186
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31 131
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31 88
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31 18703
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31 203
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:31 18043
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 135
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 92
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 17837
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 204
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 18880
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 131
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 88
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 17069
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 204
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 18471
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 131
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 88
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 17105
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 204
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 18480
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 135
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 92
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 17826
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 204
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 18880
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 131
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 88
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 15969
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 203
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 18480
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 131
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 88
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 18437
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 204
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 18473
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:31 127
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:31 84
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:31 10641
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:31 203
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:31 12189
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 123
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 80
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 7874
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 203
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 8976
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 131
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 88
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 18443
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 204
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 18473
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 127
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 84
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 8728
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 203
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:31 9041
huge1.cudf.cudf_set.abort 09-Dec-2010 13:31 49
huge1.cudf.cudf_set.log 09-Dec-2010 13:31 0
huge1.cudf.cudf_set.log.runsolver 09-Dec-2010 13:31 15560
huge1.cudf.cudf_set.log.time 09-Dec-2010 13:31 0
huge2.cudf.cudf_set.abort 09-Dec-2010 13:31 49
huge2.cudf.cudf_set.log 09-Dec-2010 13:31 0
huge2.cudf.cudf_set.log.runsolver 09-Dec-2010 13:31 17145
huge2.cudf.cudf_set.log.time 09-Dec-2010 13:31 0
huge2.cudf.cudf_set.result.bz2 09-Dec-2010 13:31 69
huge3.cudf.cudf_set.abort 09-Dec-2010 13:31 49
huge3.cudf.cudf_set.log 09-Dec-2010 13:31 0
huge3.cudf.cudf_set.log.runsolver 09-Dec-2010 13:31 17130
huge3.cudf.cudf_set.log.time 09-Dec-2010 13:31 0
huge3.cudf.cudf_set.result.bz2 09-Dec-2010 13:31 69
large1.cudf.cudf_set.abort 09-Dec-2010 13:31 49
large1.cudf.cudf_set.log 09-Dec-2010 13:31 0
large1.cudf.cudf_set.log.runsolver 09-Dec-2010 13:31 17415
large1.cudf.cudf_set.log.time 09-Dec-2010 13:31 0
large1.cudf.cudf_set.result.bz2 09-Dec-2010 13:31 69
large2.cudf.cudf_set.error 09-Dec-2010 13:31 65
large2.cudf.cudf_set.log 09-Dec-2010 13:31 22
large2.cudf.cudf_set.log.runsolver 09-Dec-2010 13:31 21295
large2.cudf.cudf_set.log.time 09-Dec-2010 13:31 204
large2.cudf.cudf_set.result.bz2 09-Dec-2010 13:31 1034
large3.cudf.cudf_set.abort 09-Dec-2010 13:31 49
large3.cudf.cudf_set.log 09-Dec-2010 13:31 0
large3.cudf.cudf_set.log.runsolver 09-Dec-2010 13:31 16498
large3.cudf.cudf_set.log.time 09-Dec-2010 13:31 0
large3.cudf.cudf_set.result.bz2 09-Dec-2010 13:31 69
rand0695fb.cudf.impossible.error 09-Dec-2010 13:31 135
rand0695fb.cudf.impossible.log 09-Dec-2010 13:31 92
rand0695fb.cudf.impossible.log.runsolver 09-Dec-2010 13:31 15003
rand0695fb.cudf.impossible.log.time 09-Dec-2010 13:31 204
rand0695fb.cudf.impossible.result.bz2 09-Dec-2010 13:31 5774
rand06f749.cudf.difficult.error 09-Dec-2010 13:31 131
rand06f749.cudf.difficult.log 09-Dec-2010 13:31 88
rand06f749.cudf.difficult.log.runsolver 09-Dec-2010 13:31 11442
rand06f749.cudf.difficult.log.time 09-Dec-2010 13:31 203
rand06f749.cudf.difficult.result.bz2 09-Dec-2010 13:31 5963
rand08759d.cudf.easy.error 09-Dec-2010 13:31 127
rand08759d.cudf.easy.log 09-Dec-2010 13:31 84
rand08759d.cudf.easy.log.runsolver 09-Dec-2010 13:31 8647
rand08759d.cudf.easy.log.time 09-Dec-2010 13:31 203
rand08759d.cudf.easy.result.bz2 09-Dec-2010 13:31 9700
rand0aa5c1.cudf.difficult.error 09-Dec-2010 13:31 131
rand0aa5c1.cudf.difficult.log 09-Dec-2010 13:31 88
rand0aa5c1.cudf.difficult.log.runsolver 09-Dec-2010 13:31 12322
rand0aa5c1.cudf.difficult.log.time 09-Dec-2010 13:31 202
rand0aa5c1.cudf.difficult.result.bz2 09-Dec-2010 13:31 6005
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 135
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 92
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 16889
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 204
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 6581
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 135
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 92
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 15111
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 203
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 5638
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 131
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31 88
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 16622
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 201
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 5316
rand108.sarge-etch.cudf.sarge-etch.error 09-Dec-2010 13:31 131
rand108.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:31 88
rand108.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:31 11314
rand108.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:31 203
rand108.sarge-etch.cudf.sarge-etch.result.bz2 09-Dec-2010 13:31 6064
rand108.sarge.cudf.sarge.error 09-Dec-2010 13:31 97
rand108.sarge.cudf.sarge.log 09-Dec-2010 13:31 54
rand108.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:31 8654
rand108.sarge.cudf.sarge.log.time 09-Dec-2010 13:31 203
rand108.sarge.cudf.sarge.result.bz2 09-Dec-2010 13:31 5930
rand13b58e.cudf.easy.error 09-Dec-2010 13:31 131
rand13b58e.cudf.easy.log 09-Dec-2010 13:31 88
rand13b58e.cudf.easy.log.runsolver 09-Dec-2010 13:31 9505
rand13b58e.cudf.easy.log.time 09-Dec-2010 13:31 203
rand13b58e.cudf.easy.result.bz2 09-Dec-2010 13:31 8896
rand14ba69.cudf.difficult.error 09-Dec-2010 13:31 131
rand14ba69.cudf.difficult.log 09-Dec-2010 13:31 88
rand14ba69.cudf.difficult.log.runsolver 09-Dec-2010 13:31 12501
rand14ba69.cudf.difficult.log.time 09-Dec-2010 13:31 202
rand14ba69.cudf.difficult.result.bz2 09-Dec-2010 13:31 6265
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 139
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 96
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 17836
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 204
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 9695
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 135
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 92
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 16900
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 203
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 8780
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 135
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31 92
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 12403
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 203
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 4291
rand165.sarge-etch.cudf.sarge-etch.error 09-Dec-2010 13:31 131
rand165.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:31 88
rand165.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:31 12329
rand165.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:31 203
rand165.sarge-etch.cudf.sarge-etch.result.bz2 09-Dec-2010 13:31 4903
rand165.sarge.cudf.sarge.error 09-Dec-2010 13:31 100
rand165.sarge.cudf.sarge.log 09-Dec-2010 13:31 57
rand165.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:31 9519
rand165.sarge.cudf.sarge.log.time 09-Dec-2010 13:31 200
rand165.sarge.cudf.sarge.result.bz2 09-Dec-2010 13:31 4793
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 135
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 92
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 17153
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 204
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 6291
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 135
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 92
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 14451
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 204
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 5463
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 131
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31 88
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 14365
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 203
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 5209
rand180.sarge-etch.cudf.sarge-etch.error 09-Dec-2010 13:31 131
rand180.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:31 88
rand180.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:31 12508
rand180.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:31 202
rand180.sarge-etch.cudf.sarge-etch.result.bz2 09-Dec-2010 13:31 5637
rand180.sarge.cudf.sarge.error 09-Dec-2010 13:31 97
rand180.sarge.cudf.sarge.log 09-Dec-2010 13:31 54
rand180.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:31 7890
rand180.sarge.cudf.sarge.log.time 09-Dec-2010 13:31 203
rand180.sarge.cudf.sarge.result.bz2 09-Dec-2010 13:31 5585
rand1bff33.cudf.easy.error 09-Dec-2010 13:31 123
rand1bff33.cudf.easy.log 09-Dec-2010 13:31 80
rand1bff33.cudf.easy.log.runsolver 09-Dec-2010 13:31 6993
rand1bff33.cudf.easy.log.time 09-Dec-2010 13:31 202
rand1bff33.cudf.easy.result.bz2 09-Dec-2010 13:31 9346
rand2d2fd0.cudf.difficult.error 09-Dec-2010 13:31 131
rand2d2fd0.cudf.difficult.log 09-Dec-2010 13:31 88
rand2d2fd0.cudf.difficult.log.runsolver 09-Dec-2010 13:31 11464
rand2d2fd0.cudf.difficult.log.time 09-Dec-2010 13:31 203
rand2d2fd0.cudf.difficult.result.bz2 09-Dec-2010 13:31 6604
rand2fb7ab.cudf.easy.error 09-Dec-2010 13:31 127
rand2fb7ab.cudf.easy.log 09-Dec-2010 13:31 84
rand2fb7ab.cudf.easy.log.runsolver 09-Dec-2010 13:31 10521
rand2fb7ab.cudf.easy.log.time 09-Dec-2010 13:31 203
rand2fb7ab.cudf.easy.result.bz2 09-Dec-2010 13:31 9225
rand2fe899.cudf.difficult.error 09-Dec-2010 13:31 131
rand2fe899.cudf.difficult.log 09-Dec-2010 13:31 88
rand2fe899.cudf.difficult.log.runsolver 09-Dec-2010 13:31 13217
rand2fe899.cudf.difficult.log.time 09-Dec-2010 13:31 202
rand2fe899.cudf.difficult.result.bz2 09-Dec-2010 13:31 4804
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 135
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 92
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 13575
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 204
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 6588
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 135
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 92
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 15252
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 201
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 6481
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 131
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31 88
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 14196
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 203
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 6162
rand316.sarge-etch.cudf.sarge-etch.error 09-Dec-2010 13:31 131
rand316.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:31 88
rand316.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:31 12520
rand316.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:31 203
rand316.sarge-etch.cudf.sarge-etch.result.bz2 09-Dec-2010 13:31 5811
rand316.sarge.cudf.sarge.error 09-Dec-2010 13:31 97
rand316.sarge.cudf.sarge.log 09-Dec-2010 13:31 54
rand316.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:31 8762
rand316.sarge.cudf.sarge.log.time 09-Dec-2010 13:31 201
rand316.sarge.cudf.sarge.result.bz2 09-Dec-2010 13:31 5739
rand332173.cudf.impossible.error 09-Dec-2010 13:31 135
rand332173.cudf.impossible.log 09-Dec-2010 13:31 92
rand332173.cudf.impossible.log.runsolver 09-Dec-2010 13:31 15009
rand332173.cudf.impossible.log.time 09-Dec-2010 13:31 204
rand332173.cudf.impossible.result.bz2 09-Dec-2010 13:31 5853
rand359ca0.cudf.easy.error 09-Dec-2010 13:31 127
rand359ca0.cudf.easy.log 09-Dec-2010 13:31 84
rand359ca0.cudf.easy.log.runsolver 09-Dec-2010 13:31 9639
rand359ca0.cudf.easy.log.time 09-Dec-2010 13:31 203
rand359ca0.cudf.easy.result.bz2 09-Dec-2010 13:31 9586
rand394916.cudf.difficult.error 09-Dec-2010 13:31 43
rand394916.cudf.difficult.log 09-Dec-2010 13:31 0
rand394916.cudf.difficult.log.runsolver 09-Dec-2010 13:31 7896
rand394916.cudf.difficult.log.time 09-Dec-2010 13:31 203
rand394916.cudf.difficult.result.bz2 09-Dec-2010 13:31 69
rand3dec28.cudf.impossible.error 09-Dec-2010 13:31 135
rand3dec28.cudf.impossible.log 09-Dec-2010 13:31 92
rand3dec28.cudf.impossible.log.runsolver 09-Dec-2010 13:31 15217
rand3dec28.cudf.impossible.log.time 09-Dec-2010 13:31 204
rand3dec28.cudf.impossible.result.bz2 09-Dec-2010 13:31 5636
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 135
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 92
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 14447
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 204
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 6256
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 135
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 92
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 15358
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 203
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 6177
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 135
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31 92
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 14377
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 203
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 5190
rand494.sarge-etch.cudf.sarge-etch.error 09-Dec-2010 13:31 131
rand494.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:31 88
rand494.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:31 8949
rand494.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:31 202
rand494.sarge-etch.cudf.sarge-etch.result.bz2 09-Dec-2010 13:31 5659
rand494.sarge.cudf.sarge.error 09-Dec-2010 13:31 97
rand494.sarge.cudf.sarge.log 09-Dec-2010 13:31 54
rand494.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:31 7866
rand494.sarge.cudf.sarge.log.time 09-Dec-2010 13:31 203
rand494.sarge.cudf.sarge.result.bz2 09-Dec-2010 13:31 5526
rand49d73b.cudf.difficult.error 09-Dec-2010 13:31 131
rand49d73b.cudf.difficult.log 09-Dec-2010 13:31 88
rand49d73b.cudf.difficult.log.runsolver 09-Dec-2010 13:31 12505
rand49d73b.cudf.difficult.log.time 09-Dec-2010 13:31 203
rand49d73b.cudf.difficult.result.bz2 09-Dec-2010 13:31 6644
rand4d6b1c.cudf.difficult.error 09-Dec-2010 13:31 131
rand4d6b1c.cudf.difficult.log 09-Dec-2010 13:31 88
rand4d6b1c.cudf.difficult.log.runsolver 09-Dec-2010 13:31 11585
rand4d6b1c.cudf.difficult.log.time 09-Dec-2010 13:31 201
rand4d6b1c.cudf.difficult.result.bz2 09-Dec-2010 13:31 5710
rand50a937.cudf.difficult.error 09-Dec-2010 13:31 131
rand50a937.cudf.difficult.log 09-Dec-2010 13:31 88
rand50a937.cudf.difficult.log.runsolver 09-Dec-2010 13:31 12495
rand50a937.cudf.difficult.log.time 09-Dec-2010 13:31 203
rand50a937.cudf.difficult.result.bz2 09-Dec-2010 13:31 7395
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 135
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 92
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 15362
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 204
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 6527
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 135
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 92
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 16228
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 204
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 6459
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 131
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31 88
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 15091
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 203
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 6117
rand550.sarge-etch.cudf.sarge-etch.error 09-Dec-2010 13:31 131
rand550.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:31 88
rand550.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:31 14134
rand550.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:31 203
rand550.sarge-etch.cudf.sarge-etch.result.bz2 09-Dec-2010 13:31 5818
rand550.sarge.cudf.sarge.error 09-Dec-2010 13:31 97
rand550.sarge.cudf.sarge.log 09-Dec-2010 13:31 54
rand550.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:31 7895
rand550.sarge.cudf.sarge.log.time 09-Dec-2010 13:31 203
rand550.sarge.cudf.sarge.result.bz2 09-Dec-2010 13:31 5782
rand5619c8.cudf.easy.error 09-Dec-2010 13:31 127
rand5619c8.cudf.easy.log 09-Dec-2010 13:31 84
rand5619c8.cudf.easy.log.runsolver 09-Dec-2010 13:31 9649
rand5619c8.cudf.easy.log.time 09-Dec-2010 13:31 202
rand5619c8.cudf.easy.result.bz2 09-Dec-2010 13:31 9453
rand5c1800.cudf.easy.error 09-Dec-2010 13:31 127
rand5c1800.cudf.easy.log 09-Dec-2010 13:31 84
rand5c1800.cudf.easy.log.runsolver 09-Dec-2010 13:31 7852
rand5c1800.cudf.easy.log.time 09-Dec-2010 13:31 201
rand5c1800.cudf.easy.result.bz2 09-Dec-2010 13:31 9185
rand61b840.cudf.easy.error 09-Dec-2010 13:31 127
rand61b840.cudf.easy.log 09-Dec-2010 13:31 84
rand61b840.cudf.easy.log.runsolver 09-Dec-2010 13:31 9640
rand61b840.cudf.easy.log.time 09-Dec-2010 13:31 201
rand61b840.cudf.easy.result.bz2 09-Dec-2010 13:31 9160
rand655e63.cudf.impossible.abort 09-Dec-2010 13:31 118
rand655e63.cudf.impossible.log 09-Dec-2010 13:31 69
rand655e63.cudf.impossible.log.runsolver 09-Dec-2010 13:31 14927
rand655e63.cudf.impossible.log.time 09-Dec-2010 13:31 0
rand655e63.cudf.impossible.result.bz2 09-Dec-2010 13:31 3873
rand6b4d6e.cudf.impossible.error 09-Dec-2010 13:31 135
rand6b4d6e.cudf.impossible.log 09-Dec-2010 13:31 92
rand6b4d6e.cudf.impossible.log.runsolver 09-Dec-2010 13:31 17026
rand6b4d6e.cudf.impossible.log.time 09-Dec-2010 13:31 204
rand6b4d6e.cudf.impossible.result.bz2 09-Dec-2010 13:31 5822
rand6d933e.cudf.easy.error 09-Dec-2010 13:31 127
rand6d933e.cudf.easy.log 09-Dec-2010 13:31 84
rand6d933e.cudf.easy.log.runsolver 09-Dec-2010 13:31 8759
rand6d933e.cudf.easy.log.time 09-Dec-2010 13:31 203
rand6d933e.cudf.easy.result.bz2 09-Dec-2010 13:31 9267
rand7141b1.cudf.impossible.error 09-Dec-2010 13:31 135
rand7141b1.cudf.impossible.log 09-Dec-2010 13:31 92
rand7141b1.cudf.impossible.log.runsolver 09-Dec-2010 13:31 15255
rand7141b1.cudf.impossible.log.time 09-Dec-2010 13:31 204
rand7141b1.cudf.impossible.result.bz2 09-Dec-2010 13:31 5684
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 135
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 92
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 17121
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 204
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 8546
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 135
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 92
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 17893
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 203
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 7828
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 135
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31 92
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 14269
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 203
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 6160
rand753.sarge-etch.cudf.sarge-etch.error 09-Dec-2010 13:31 131
rand753.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:31 88
rand753.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:31 12538
rand753.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:31 203
rand753.sarge-etch.cudf.sarge-etch.result.bz2 09-Dec-2010 13:31 5086
rand753.sarge.cudf.sarge.error 09-Dec-2010 13:31 97
rand753.sarge.cudf.sarge.log 09-Dec-2010 13:31 54
rand753.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:31 8770
rand753.sarge.cudf.sarge.log.time 09-Dec-2010 13:31 203
rand753.sarge.cudf.sarge.result.bz2 09-Dec-2010 13:31 4777
rand7902a8.cudf.impossible.error 09-Dec-2010 13:31 135
rand7902a8.cudf.impossible.log 09-Dec-2010 13:31 92
rand7902a8.cudf.impossible.log.runsolver 09-Dec-2010 13:31 14326
rand7902a8.cudf.impossible.log.time 09-Dec-2010 13:31 203
rand7902a8.cudf.impossible.result.bz2 09-Dec-2010 13:31 5561
rand7b4167.cudf.difficult.error 09-Dec-2010 13:31 131
rand7b4167.cudf.difficult.log 09-Dec-2010 13:31 88
rand7b4167.cudf.difficult.log.runsolver 09-Dec-2010 13:31 11435
rand7b4167.cudf.difficult.log.time 09-Dec-2010 13:31 203
rand7b4167.cudf.difficult.result.bz2 09-Dec-2010 13:31 5093
rand7fec8c.cudf.easy.error 09-Dec-2010 13:31 127
rand7fec8c.cudf.easy.log 09-Dec-2010 13:31 84
rand7fec8c.cudf.easy.log.runsolver 09-Dec-2010 13:31 7873
rand7fec8c.cudf.easy.log.time 09-Dec-2010 13:31 201
rand7fec8c.cudf.easy.result.bz2 09-Dec-2010 13:31 9335
rand81406f.cudf.impossible.abort 09-Dec-2010 13:31 118
rand81406f.cudf.impossible.log 09-Dec-2010 13:31 69
rand81406f.cudf.impossible.log.runsolver 09-Dec-2010 13:31 15859
rand81406f.cudf.impossible.log.time 09-Dec-2010 13:31 0
rand81406f.cudf.impossible.result.bz2 09-Dec-2010 13:31 14
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 135
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 92
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 14471
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 204
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 6659
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 135
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 92
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 16232
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 203
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 6490
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 135
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31 92
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 13471
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 203
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 5838
rand815.sarge-etch.cudf.sarge-etch.error 09-Dec-2010 13:31 131
rand815.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:31 88
rand815.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:31 10598
rand815.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:31 203
rand815.sarge-etch.cudf.sarge-etch.result.bz2 09-Dec-2010 13:31 5760
rand815.sarge.cudf.sarge.error 09-Dec-2010 13:31 97
rand815.sarge.cudf.sarge.log 09-Dec-2010 13:31 54
rand815.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:31 7881
rand815.sarge.cudf.sarge.log.time 09-Dec-2010 13:31 203
rand815.sarge.cudf.sarge.result.bz2 09-Dec-2010 13:31 5582
rand835640.cudf.impossible.error 09-Dec-2010 13:31 135
rand835640.cudf.impossible.log 09-Dec-2010 13:31 92
rand835640.cudf.impossible.log.runsolver 09-Dec-2010 13:31 16144
rand835640.cudf.impossible.log.time 09-Dec-2010 13:31 204
rand835640.cudf.impossible.result.bz2 09-Dec-2010 13:31 5256
rand847939.cudf.difficult.error 09-Dec-2010 13:31 131
rand847939.cudf.difficult.log 09-Dec-2010 13:31 88
rand847939.cudf.difficult.log.runsolver 09-Dec-2010 13:31 13403
rand847939.cudf.difficult.log.time 09-Dec-2010 13:31 203
rand847939.cudf.difficult.result.bz2 09-Dec-2010 13:31 7464
rand878003.cudf.impossible.error 09-Dec-2010 13:31 135
rand878003.cudf.impossible.log 09-Dec-2010 13:31 92
rand878003.cudf.impossible.log.runsolver 09-Dec-2010 13:31 11643
rand878003.cudf.impossible.log.time 09-Dec-2010 13:31 204
rand878003.cudf.impossible.result.bz2 09-Dec-2010 13:31 5752
rand8cc693.cudf.impossible.error 09-Dec-2010 13:31 135
rand8cc693.cudf.impossible.log 09-Dec-2010 13:31 92
rand8cc693.cudf.impossible.log.runsolver 09-Dec-2010 13:31 17010
rand8cc693.cudf.impossible.log.time 09-Dec-2010 13:31 204
rand8cc693.cudf.impossible.result.bz2 09-Dec-2010 13:31 6269
rand8d117b.cudf.easy.error 09-Dec-2010 13:31 127
rand8d117b.cudf.easy.log 09-Dec-2010 13:31 84
rand8d117b.cudf.easy.log.runsolver 09-Dec-2010 13:31 7982
rand8d117b.cudf.easy.log.time 09-Dec-2010 13:31 203
rand8d117b.cudf.easy.result.bz2 09-Dec-2010 13:31 9228
rand908403.cudf.difficult.error 09-Dec-2010 13:31 131
rand908403.cudf.difficult.log 09-Dec-2010 13:31 88
rand908403.cudf.difficult.log.runsolver 09-Dec-2010 13:31 13219
rand908403.cudf.difficult.log.time 09-Dec-2010 13:31 203
rand908403.cudf.difficult.result.bz2 09-Dec-2010 13:31 5622
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 135
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 92
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 12423
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 204
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 6310
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 135
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 92
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 16243
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 202
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 6206
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 131
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31 88
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 12564
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 202
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 5920
rand915.sarge-etch.cudf.sarge-etch.error 09-Dec-2010 13:31 131
rand915.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:31 88
rand915.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:31 11579
rand915.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:31 203
rand915.sarge-etch.cudf.sarge-etch.result.bz2 09-Dec-2010 13:31 5713
rand915.sarge.cudf.sarge.error 09-Dec-2010 13:31 97
rand915.sarge.cudf.sarge.log 09-Dec-2010 13:31 54
rand915.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:31 8700
rand915.sarge.cudf.sarge.log.time 09-Dec-2010 13:31 203
rand915.sarge.cudf.sarge.result.bz2 09-Dec-2010 13:31 5630
rand951a14.cudf.easy.error 09-Dec-2010 13:31 127
rand951a14.cudf.easy.log 09-Dec-2010 13:31 84
rand951a14.cudf.easy.log.runsolver 09-Dec-2010 13:31 9365
rand951a14.cudf.easy.log.time 09-Dec-2010 13:31 203
rand951a14.cudf.easy.result.bz2 09-Dec-2010 13:31 8982
rand95e48b.cudf.difficult.error 09-Dec-2010 13:31 131
rand95e48b.cudf.difficult.log 09-Dec-2010 13:31 88
rand95e48b.cudf.difficult.log.runsolver 09-Dec-2010 13:31 12168
rand95e48b.cudf.difficult.log.time 09-Dec-2010 13:31 203
rand95e48b.cudf.difficult.result.bz2 09-Dec-2010 13:31 6534
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 135
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 92
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 16266
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 204
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:31 5739
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 135
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 92
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 16231
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 204
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:31 5730
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 131
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:31 88
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 15252
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 203
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:31 5506
rand986.sarge-etch.cudf.sarge-etch.error 09-Dec-2010 13:31 131
rand986.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:31 88
rand986.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:31 12533
rand986.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:31 202
rand986.sarge-etch.cudf.sarge-etch.result.bz2 09-Dec-2010 13:31 5900
rand986.sarge.cudf.sarge.error 09-Dec-2010 13:31 97
rand986.sarge.cudf.sarge.log 09-Dec-2010 13:31 54
rand986.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:31 7889
rand986.sarge.cudf.sarge.log.time 09-Dec-2010 13:31 202
rand986.sarge.cudf.sarge.result.bz2 09-Dec-2010 13:31 6059
randa223c3.cudf.impossible.error 09-Dec-2010 13:31 135
randa223c3.cudf.impossible.log 09-Dec-2010 13:31 92
randa223c3.cudf.impossible.log.runsolver 09-Dec-2010 13:31 15650
randa223c3.cudf.impossible.log.time 09-Dec-2010 13:31 204
randa223c3.cudf.impossible.result.bz2 09-Dec-2010 13:31 6229
randa45895.cudf.difficult.error 09-Dec-2010 13:31 43
randa45895.cudf.difficult.log 09-Dec-2010 13:31 0
randa45895.cudf.difficult.log.runsolver 09-Dec-2010 13:31 6206
randa45895.cudf.difficult.log.time 09-Dec-2010 13:31 203
randa45895.cudf.difficult.result.bz2 09-Dec-2010 13:31 69
randa651ed.cudf.difficult.error 09-Dec-2010 13:31 131
randa651ed.cudf.difficult.log 09-Dec-2010 13:31 88
randa651ed.cudf.difficult.log.runsolver 09-Dec-2010 13:31 11436
randa651ed.cudf.difficult.log.time 09-Dec-2010 13:31 203
randa651ed.cudf.difficult.result.bz2 09-Dec-2010 13:31 5754
randa870aa.cudf.difficult.error 09-Dec-2010 13:31 131
randa870aa.cudf.difficult.log 09-Dec-2010 13:31 88
randa870aa.cudf.difficult.log.runsolver 09-Dec-2010 13:31 13903
randa870aa.cudf.difficult.log.time 09-Dec-2010 13:31 202
randa870aa.cudf.difficult.result.bz2 09-Dec-2010 13:31 5878
randa9ba44.cudf.easy.error 09-Dec-2010 13:31 127
randa9ba44.cudf.easy.log 09-Dec-2010 13:31 84
randa9ba44.cudf.easy.log.runsolver 09-Dec-2010 13:31 7754
randa9ba44.cudf.easy.log.time 09-Dec-2010 13:31 201
randa9ba44.cudf.easy.result.bz2 09-Dec-2010 13:31 9259
randaaa8ea.cudf.easy.error 09-Dec-2010 13:31 127
randaaa8ea.cudf.easy.log 09-Dec-2010 13:31 84
randaaa8ea.cudf.easy.log.runsolver 09-Dec-2010 13:31 8633
randaaa8ea.cudf.easy.log.time 09-Dec-2010 13:31 203
randaaa8ea.cudf.easy.result.bz2 09-Dec-2010 13:31 9130
randaafcce.cudf.impossible.error 09-Dec-2010 13:31 135
randaafcce.cudf.impossible.log 09-Dec-2010 13:31 92
randaafcce.cudf.impossible.log.runsolver 09-Dec-2010 13:31 15898
randaafcce.cudf.impossible.log.time 09-Dec-2010 13:31 202
randaafcce.cudf.impossible.result.bz2 09-Dec-2010 13:31 4813
randadea40.cudf.easy.error 09-Dec-2010 13:31 127
randadea40.cudf.easy.log 09-Dec-2010 13:31 84
randadea40.cudf.easy.log.runsolver 09-Dec-2010 13:31 8611
randadea40.cudf.easy.log.time 09-Dec-2010 13:31 203
randadea40.cudf.easy.result.bz2 09-Dec-2010 13:31 8932
randba6b5b.cudf.easy.error 09-Dec-2010 13:31 127
randba6b5b.cudf.easy.log 09-Dec-2010 13:31 84
randba6b5b.cudf.easy.log.runsolver 09-Dec-2010 13:31 8639
randba6b5b.cudf.easy.log.time 09-Dec-2010 13:31 203
randba6b5b.cudf.easy.result.bz2 09-Dec-2010 13:31 9222
randbe9acf.cudf.easy.error 09-Dec-2010 13:31 127
randbe9acf.cudf.easy.log 09-Dec-2010 13:31 84
randbe9acf.cudf.easy.log.runsolver 09-Dec-2010 13:31 8636
randbe9acf.cudf.easy.log.time 09-Dec-2010 13:31 203
randbe9acf.cudf.easy.result.bz2 09-Dec-2010 13:31 9331
randc10393.cudf.difficult.error 09-Dec-2010 13:31 131
randc10393.cudf.difficult.log 09-Dec-2010 13:31 88
randc10393.cudf.difficult.log.runsolver 09-Dec-2010 13:31 11457
randc10393.cudf.difficult.log.time 09-Dec-2010 13:31 203
randc10393.cudf.difficult.result.bz2 09-Dec-2010 13:31 6327
randc192b7.cudf.easy.error 09-Dec-2010 13:31 127
randc192b7.cudf.easy.log 09-Dec-2010 13:31 84
randc192b7.cudf.easy.log.runsolver 09-Dec-2010 13:31 9481
randc192b7.cudf.easy.log.time 09-Dec-2010 13:31 201
randc192b7.cudf.easy.result.bz2 09-Dec-2010 13:31 9682
randd8bf6a.cudf.difficult.error 09-Dec-2010 13:31 131
randd8bf6a.cudf.difficult.log 09-Dec-2010 13:31 88
randd8bf6a.cudf.difficult.log.runsolver 09-Dec-2010 13:31 12131
randd8bf6a.cudf.difficult.log.time 09-Dec-2010 13:31 202
randd8bf6a.cudf.difficult.result.bz2 09-Dec-2010 13:31 5258
rande4fcd8.cudf.difficult.error 09-Dec-2010 13:31 131
rande4fcd8.cudf.difficult.log 09-Dec-2010 13:31 88
rande4fcd8.cudf.difficult.log.runsolver 09-Dec-2010 13:31 13210
rande4fcd8.cudf.difficult.log.time 09-Dec-2010 13:31 200
rande4fcd8.cudf.difficult.result.bz2 09-Dec-2010 13:31 6791
randea6106.cudf.easy.error 09-Dec-2010 13:31 127
randea6106.cudf.easy.log 09-Dec-2010 13:31 84
randea6106.cudf.easy.log.runsolver 09-Dec-2010 13:31 8622
randea6106.cudf.easy.log.time 09-Dec-2010 13:31 203
randea6106.cudf.easy.result.bz2 09-Dec-2010 13:31 9357
randeb343c.cudf.easy.error 09-Dec-2010 13:31 127
randeb343c.cudf.easy.log 09-Dec-2010 13:31 84
randeb343c.cudf.easy.log.runsolver 09-Dec-2010 13:31 8636
randeb343c.cudf.easy.log.time 09-Dec-2010 13:31 203
randeb343c.cudf.easy.result.bz2 09-Dec-2010 13:31 9300
randec88d5.cudf.impossible.error 09-Dec-2010 13:31 135
randec88d5.cudf.impossible.log 09-Dec-2010 13:31 92
randec88d5.cudf.impossible.log.runsolver 09-Dec-2010 13:31 14065
randec88d5.cudf.impossible.log.time 09-Dec-2010 13:31 204
randec88d5.cudf.impossible.result.bz2 09-Dec-2010 13:31 5533
randf17677.cudf.difficult.error 09-Dec-2010 13:31 127
randf17677.cudf.difficult.log 09-Dec-2010 13:31 84
randf17677.cudf.difficult.log.runsolver 09-Dec-2010 13:31 13912
randf17677.cudf.difficult.log.time 09-Dec-2010 13:31 203
randf17677.cudf.difficult.result.bz2 09-Dec-2010 13:31 6160
randf406d5.cudf.difficult.error 09-Dec-2010 13:31 43
randf406d5.cudf.difficult.log 09-Dec-2010 13:31 0
randf406d5.cudf.difficult.log.runsolver 09-Dec-2010 13:31 6419
randf406d5.cudf.difficult.log.time 09-Dec-2010 13:31 203
randf406d5.cudf.difficult.result.bz2 09-Dec-2010 13:31 69
randf61f65.cudf.difficult.error 09-Dec-2010 13:31 131
randf61f65.cudf.difficult.log 09-Dec-2010 13:31 88
randf61f65.cudf.difficult.log.runsolver 09-Dec-2010 13:31 13894
randf61f65.cudf.difficult.log.time 09-Dec-2010 13:31 202
randf61f65.cudf.difficult.result.bz2 09-Dec-2010 13:31 6591
randf7a7e4.cudf.easy.error 09-Dec-2010 13:31 131
randf7a7e4.cudf.easy.log 09-Dec-2010 13:31 88
randf7a7e4.cudf.easy.log.runsolver 09-Dec-2010 13:31 10401
randf7a7e4.cudf.easy.log.time 09-Dec-2010 13:31 203
randf7a7e4.cudf.easy.result.bz2 09-Dec-2010 13:31 7239
randfa4522.cudf.impossible.error 09-Dec-2010 13:31 103
randfa4522.cudf.impossible.log 09-Dec-2010 13:31 60
randfa4522.cudf.impossible.log.runsolver 09-Dec-2010 13:31 14108
randfa4522.cudf.impossible.log.time 09-Dec-2010 13:31 201
randfa4522.cudf.impossible.result.bz2 09-Dec-2010 13:31 4246
small1.cudf.cudf_set.error 09-Dec-2010 13:31 65
small1.cudf.cudf_set.log 09-Dec-2010 13:31 22
small1.cudf.cudf_set.log.runsolver 09-Dec-2010 13:31 6075
small1.cudf.cudf_set.log.time 09-Dec-2010 13:31 201
small1.cudf.cudf_set.result.bz2 09-Dec-2010 13:31 608
small2.cudf.cudf_set.error 09-Dec-2010 13:31 65
small2.cudf.cudf_set.log 09-Dec-2010 13:31 22
small2.cudf.cudf_set.log.runsolver 09-Dec-2010 13:31 4335
small2.cudf.cudf_set.log.time 09-Dec-2010 13:31 202
small2.cudf.cudf_set.result.bz2 09-Dec-2010 13:31 601
small3.cudf.cudf_set.error 09-Dec-2010 13:31 65
small3.cudf.cudf_set.log 09-Dec-2010 13:31 22
small3.cudf.cudf_set.log.runsolver 09-Dec-2010 13:31 3401
small3.cudf.cudf_set.log.time 09-Dec-2010 13:31 194
small3.cudf.cudf_set.result.bz2 09-Dec-2010 13:31 611