Index of /misc-live/20101126/solutions/paranoid/apt-pbo-paranoid-1.0.6/
../
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 49
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 0
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 2706
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 176
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 49
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 0
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 2706
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 176
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 49
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 0
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 2703
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 177
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 49
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 0
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 2719
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 177
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 49
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 0
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 2719
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 177
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:29 49
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:29 0
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:29 2719
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:29 177
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:29 49
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:29 0
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:29 2719
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 09-Dec-2010 13:29 177
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:29 49
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:29 0
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:29 2718
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Dec-2010 13:29 176
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 49
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 0
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 2719
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 177
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 49
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 0
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 2719
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 177
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 49
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 0
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 2719
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 177
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 49
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 0
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 2719
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 177
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 49
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 0
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 2719
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 177
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 49
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 0
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 2719
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 177
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:29 49
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:29 0
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:29 2717
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 09-Dec-2010 13:29 175
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 49
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 0
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 2723
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 177
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 49
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 0
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 2707
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 177
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 49
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 0
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 2703
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 09-Dec-2010 13:29 177
huge1.cudf.cudf_set.abort 09-Dec-2010 13:29 49
huge1.cudf.cudf_set.log 09-Dec-2010 13:29 0
huge1.cudf.cudf_set.log.runsolver 09-Dec-2010 13:29 2752
huge1.cudf.cudf_set.log.time 09-Dec-2010 13:29 177
huge2.cudf.cudf_set.abort 09-Dec-2010 13:29 49
huge2.cudf.cudf_set.log 09-Dec-2010 13:29 0
huge2.cudf.cudf_set.log.runsolver 09-Dec-2010 13:29 2605
huge2.cudf.cudf_set.log.time 09-Dec-2010 13:29 177
huge3.cudf.cudf_set.abort 09-Dec-2010 13:29 49
huge3.cudf.cudf_set.log 09-Dec-2010 13:29 0
huge3.cudf.cudf_set.log.runsolver 09-Dec-2010 13:29 2605
huge3.cudf.cudf_set.log.time 09-Dec-2010 13:29 177
large1.cudf.cudf_set.abort 09-Dec-2010 13:29 49
large1.cudf.cudf_set.log 09-Dec-2010 13:29 0
large1.cudf.cudf_set.log.runsolver 09-Dec-2010 13:29 2624
large1.cudf.cudf_set.log.time 09-Dec-2010 13:29 177
large2.cudf.cudf_set.abort 09-Dec-2010 13:29 49
large2.cudf.cudf_set.log 09-Dec-2010 13:29 0
large2.cudf.cudf_set.log.runsolver 09-Dec-2010 13:29 2624
large2.cudf.cudf_set.log.time 09-Dec-2010 13:29 177
large3.cudf.cudf_set.abort 09-Dec-2010 13:29 49
large3.cudf.cudf_set.log 09-Dec-2010 13:29 0
large3.cudf.cudf_set.log.runsolver 09-Dec-2010 13:29 2624
large3.cudf.cudf_set.log.time 09-Dec-2010 13:29 177
rand0695fb.cudf.impossible.abort 09-Dec-2010 13:29 49
rand0695fb.cudf.impossible.log 09-Dec-2010 13:29 0
rand0695fb.cudf.impossible.log.runsolver 09-Dec-2010 13:29 2626
rand0695fb.cudf.impossible.log.time 09-Dec-2010 13:29 177
rand06f749.cudf.difficult.abort 09-Dec-2010 13:29 49
rand06f749.cudf.difficult.log 09-Dec-2010 13:29 0
rand06f749.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2619
rand06f749.cudf.difficult.log.time 09-Dec-2010 13:29 177
rand08759d.cudf.easy.abort 09-Dec-2010 13:29 49
rand08759d.cudf.easy.log 09-Dec-2010 13:29 0
rand08759d.cudf.easy.log.runsolver 09-Dec-2010 13:29 2608
rand08759d.cudf.easy.log.time 09-Dec-2010 13:29 177
rand0aa5c1.cudf.difficult.abort 09-Dec-2010 13:29 49
rand0aa5c1.cudf.difficult.log 09-Dec-2010 13:29 0
rand0aa5c1.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2619
rand0aa5c1.cudf.difficult.log.time 09-Dec-2010 13:29 177
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 49
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 0
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 2757
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 177
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 49
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 0
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 2733
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 177
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 49
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:29 0
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 2685
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 177
rand108.sarge-etch.cudf.sarge-etch.abort 09-Dec-2010 13:29 49
rand108.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:29 0
rand108.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:29 2648
rand108.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 176
rand108.sarge.cudf.sarge.abort 09-Dec-2010 13:29 49
rand108.sarge.cudf.sarge.log 09-Dec-2010 13:29 0
rand108.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:29 2615
rand108.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 177
rand13b58e.cudf.easy.abort 09-Dec-2010 13:29 49
rand13b58e.cudf.easy.log 09-Dec-2010 13:29 0
rand13b58e.cudf.easy.log.runsolver 09-Dec-2010 13:29 2604
rand13b58e.cudf.easy.log.time 09-Dec-2010 13:29 177
rand14ba69.cudf.difficult.abort 09-Dec-2010 13:29 49
rand14ba69.cudf.difficult.log 09-Dec-2010 13:29 0
rand14ba69.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2619
rand14ba69.cudf.difficult.log.time 09-Dec-2010 13:29 177
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 49
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 0
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 2757
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 177
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 49
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 0
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 2747
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 191
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 49
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:29 0
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 2685
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 177
rand165.sarge-etch.cudf.sarge-etch.abort 09-Dec-2010 13:29 49
rand165.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:29 0
rand165.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:29 2645
rand165.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 177
rand165.sarge.cudf.sarge.abort 09-Dec-2010 13:29 49
rand165.sarge.cudf.sarge.log 09-Dec-2010 13:29 0
rand165.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:29 2615
rand165.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 177
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 49
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 0
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 2757
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 177
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 49
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 0
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 2733
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 177
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 49
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:29 0
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 2681
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 177
rand180.sarge-etch.cudf.sarge-etch.abort 09-Dec-2010 13:29 49
rand180.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:29 0
rand180.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:29 2643
rand180.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 175
rand180.sarge.cudf.sarge.abort 09-Dec-2010 13:29 49
rand180.sarge.cudf.sarge.log 09-Dec-2010 13:29 0
rand180.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:29 2614
rand180.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 176
rand1bff33.cudf.easy.abort 09-Dec-2010 13:29 49
rand1bff33.cudf.easy.log 09-Dec-2010 13:29 0
rand1bff33.cudf.easy.log.runsolver 09-Dec-2010 13:29 2608
rand1bff33.cudf.easy.log.time 09-Dec-2010 13:29 177
rand2d2fd0.cudf.difficult.abort 09-Dec-2010 13:29 49
rand2d2fd0.cudf.difficult.log 09-Dec-2010 13:29 0
rand2d2fd0.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2635
rand2d2fd0.cudf.difficult.log.time 09-Dec-2010 13:29 177
rand2fb7ab.cudf.easy.abort 09-Dec-2010 13:29 49
rand2fb7ab.cudf.easy.log 09-Dec-2010 13:29 0
rand2fb7ab.cudf.easy.log.runsolver 09-Dec-2010 13:29 2620
rand2fb7ab.cudf.easy.log.time 09-Dec-2010 13:29 177
rand2fe899.cudf.difficult.abort 09-Dec-2010 13:29 49
rand2fe899.cudf.difficult.log 09-Dec-2010 13:29 0
rand2fe899.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2635
rand2fe899.cudf.difficult.log.time 09-Dec-2010 13:29 177
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 49
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 0
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 2773
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 177
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 49
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 0
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 2749
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 177
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 49
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:29 0
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 2697
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 177
rand316.sarge-etch.cudf.sarge-etch.abort 09-Dec-2010 13:29 49
rand316.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:29 0
rand316.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:29 2661
rand316.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 177
rand316.sarge.cudf.sarge.abort 09-Dec-2010 13:29 49
rand316.sarge.cudf.sarge.log 09-Dec-2010 13:29 0
rand316.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:29 2635
rand316.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 177
rand332173.cudf.impossible.abort 09-Dec-2010 13:29 49
rand332173.cudf.impossible.log 09-Dec-2010 13:29 0
rand332173.cudf.impossible.log.runsolver 09-Dec-2010 13:29 2626
rand332173.cudf.impossible.log.time 09-Dec-2010 13:29 177
rand359ca0.cudf.easy.abort 09-Dec-2010 13:29 49
rand359ca0.cudf.easy.log 09-Dec-2010 13:29 0
rand359ca0.cudf.easy.log.runsolver 09-Dec-2010 13:29 2624
rand359ca0.cudf.easy.log.time 09-Dec-2010 13:29 177
rand394916.cudf.difficult.abort 09-Dec-2010 13:29 49
rand394916.cudf.difficult.log 09-Dec-2010 13:29 0
rand394916.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2634
rand394916.cudf.difficult.log.time 09-Dec-2010 13:29 176
rand3dec28.cudf.impossible.abort 09-Dec-2010 13:29 49
rand3dec28.cudf.impossible.log 09-Dec-2010 13:29 0
rand3dec28.cudf.impossible.log.runsolver 09-Dec-2010 13:29 2640
rand3dec28.cudf.impossible.log.time 09-Dec-2010 13:29 191
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 49
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 0
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 2773
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 177
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 49
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 0
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 2749
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 177
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 49
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:29 0
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 2697
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 177
rand494.sarge-etch.cudf.sarge-etch.abort 09-Dec-2010 13:29 49
rand494.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:29 0
rand494.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:29 2661
rand494.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 177
rand494.sarge.cudf.sarge.abort 09-Dec-2010 13:29 49
rand494.sarge.cudf.sarge.log 09-Dec-2010 13:29 0
rand494.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:29 2631
rand494.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 177
rand49d73b.cudf.difficult.abort 09-Dec-2010 13:29 49
rand49d73b.cudf.difficult.log 09-Dec-2010 13:29 0
rand49d73b.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2635
rand49d73b.cudf.difficult.log.time 09-Dec-2010 13:29 177
rand4d6b1c.cudf.difficult.abort 09-Dec-2010 13:29 49
rand4d6b1c.cudf.difficult.log 09-Dec-2010 13:29 0
rand4d6b1c.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2635
rand4d6b1c.cudf.difficult.log.time 09-Dec-2010 13:29 177
rand50a937.cudf.difficult.abort 09-Dec-2010 13:29 49
rand50a937.cudf.difficult.log 09-Dec-2010 13:29 0
rand50a937.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2639
rand50a937.cudf.difficult.log.time 09-Dec-2010 13:29 177
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 49
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 0
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 2773
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 177
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 49
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 0
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 2748
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 176
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 49
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:29 0
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 2715
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 191
rand550.sarge-etch.cudf.sarge-etch.abort 09-Dec-2010 13:29 49
rand550.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:29 0
rand550.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:29 2665
rand550.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 177
rand550.sarge.cudf.sarge.abort 09-Dec-2010 13:29 49
rand550.sarge.cudf.sarge.log 09-Dec-2010 13:29 0
rand550.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:29 2631
rand550.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 177
rand5619c8.cudf.easy.abort 09-Dec-2010 13:29 49
rand5619c8.cudf.easy.log 09-Dec-2010 13:29 0
rand5619c8.cudf.easy.log.runsolver 09-Dec-2010 13:29 2620
rand5619c8.cudf.easy.log.time 09-Dec-2010 13:29 177
rand5c1800.cudf.easy.abort 09-Dec-2010 13:29 49
rand5c1800.cudf.easy.log 09-Dec-2010 13:29 0
rand5c1800.cudf.easy.log.runsolver 09-Dec-2010 13:29 2620
rand5c1800.cudf.easy.log.time 09-Dec-2010 13:29 177
rand61b840.cudf.easy.abort 09-Dec-2010 13:29 49
rand61b840.cudf.easy.log 09-Dec-2010 13:29 0
rand61b840.cudf.easy.log.runsolver 09-Dec-2010 13:29 2620
rand61b840.cudf.easy.log.time 09-Dec-2010 13:29 177
rand655e63.cudf.impossible.abort 09-Dec-2010 13:29 49
rand655e63.cudf.impossible.log 09-Dec-2010 13:29 0
rand655e63.cudf.impossible.log.runsolver 09-Dec-2010 13:29 2751
rand655e63.cudf.impossible.log.time 09-Dec-2010 13:29 177
rand6b4d6e.cudf.impossible.abort 09-Dec-2010 13:29 49
rand6b4d6e.cudf.impossible.log 09-Dec-2010 13:29 0
rand6b4d6e.cudf.impossible.log.runsolver 09-Dec-2010 13:29 2765
rand6b4d6e.cudf.impossible.log.time 09-Dec-2010 13:29 191
rand6d933e.cudf.easy.abort 09-Dec-2010 13:29 49
rand6d933e.cudf.easy.log 09-Dec-2010 13:29 0
rand6d933e.cudf.easy.log.runsolver 09-Dec-2010 13:29 2620
rand6d933e.cudf.easy.log.time 09-Dec-2010 13:29 177
rand7141b1.cudf.impossible.abort 09-Dec-2010 13:29 49
rand7141b1.cudf.impossible.log 09-Dec-2010 13:29 0
rand7141b1.cudf.impossible.log.runsolver 09-Dec-2010 13:29 2642
rand7141b1.cudf.impossible.log.time 09-Dec-2010 13:29 177
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 49
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 0
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 2773
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 177
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 49
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 0
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 2749
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 177
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 49
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:29 0
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 2701
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 177
rand753.sarge-etch.cudf.sarge-etch.abort 09-Dec-2010 13:29 49
rand753.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:29 0
rand753.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:29 2661
rand753.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 177
rand753.sarge.cudf.sarge.abort 09-Dec-2010 13:29 49
rand753.sarge.cudf.sarge.log 09-Dec-2010 13:29 0
rand753.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:29 2635
rand753.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 177
rand7902a8.cudf.impossible.abort 09-Dec-2010 13:29 49
rand7902a8.cudf.impossible.log 09-Dec-2010 13:29 0
rand7902a8.cudf.impossible.log.runsolver 09-Dec-2010 13:29 2638
rand7902a8.cudf.impossible.log.time 09-Dec-2010 13:29 177
rand7b4167.cudf.difficult.abort 09-Dec-2010 13:29 49
rand7b4167.cudf.difficult.log 09-Dec-2010 13:29 0
rand7b4167.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2635
rand7b4167.cudf.difficult.log.time 09-Dec-2010 13:29 177
rand7fec8c.cudf.easy.abort 09-Dec-2010 13:29 49
rand7fec8c.cudf.easy.log 09-Dec-2010 13:29 0
rand7fec8c.cudf.easy.log.runsolver 09-Dec-2010 13:29 2620
rand7fec8c.cudf.easy.log.time 09-Dec-2010 13:29 177
rand81406f.cudf.impossible.abort 09-Dec-2010 13:29 49
rand81406f.cudf.impossible.log 09-Dec-2010 13:29 0
rand81406f.cudf.impossible.log.runsolver 09-Dec-2010 13:29 2638
rand81406f.cudf.impossible.log.time 09-Dec-2010 13:29 177
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 49
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 0
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 2773
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 177
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 49
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 0
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 2749
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 177
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 49
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:29 0
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 2701
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 177
rand815.sarge-etch.cudf.sarge-etch.abort 09-Dec-2010 13:29 49
rand815.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:29 0
rand815.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:29 2661
rand815.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 177
rand815.sarge.cudf.sarge.abort 09-Dec-2010 13:29 49
rand815.sarge.cudf.sarge.log 09-Dec-2010 13:29 0
rand815.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:29 2635
rand815.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 177
rand835640.cudf.impossible.abort 09-Dec-2010 13:29 49
rand835640.cudf.impossible.log 09-Dec-2010 13:29 0
rand835640.cudf.impossible.log.runsolver 09-Dec-2010 13:29 2637
rand835640.cudf.impossible.log.time 09-Dec-2010 13:29 176
rand847939.cudf.difficult.abort 09-Dec-2010 13:29 49
rand847939.cudf.difficult.log 09-Dec-2010 13:29 0
rand847939.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2635
rand847939.cudf.difficult.log.time 09-Dec-2010 13:29 177
rand878003.cudf.impossible.abort 09-Dec-2010 13:29 49
rand878003.cudf.impossible.log 09-Dec-2010 13:29 0
rand878003.cudf.impossible.log.runsolver 09-Dec-2010 13:29 2655
rand878003.cudf.impossible.log.time 09-Dec-2010 13:29 190
rand8cc693.cudf.impossible.abort 09-Dec-2010 13:29 49
rand8cc693.cudf.impossible.log 09-Dec-2010 13:29 0
rand8cc693.cudf.impossible.log.runsolver 09-Dec-2010 13:29 2638
rand8cc693.cudf.impossible.log.time 09-Dec-2010 13:29 177
rand8d117b.cudf.easy.abort 09-Dec-2010 13:29 49
rand8d117b.cudf.easy.log 09-Dec-2010 13:29 0
rand8d117b.cudf.easy.log.runsolver 09-Dec-2010 13:29 2624
rand8d117b.cudf.easy.log.time 09-Dec-2010 13:29 177
rand908403.cudf.difficult.abort 09-Dec-2010 13:29 49
rand908403.cudf.difficult.log 09-Dec-2010 13:29 0
rand908403.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2639
rand908403.cudf.difficult.log.time 09-Dec-2010 13:29 177
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 49
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 0
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 2773
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 177
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 49
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 0
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 2743
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 175
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 49
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:29 0
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 2697
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 177
rand915.sarge-etch.cudf.sarge-etch.abort 09-Dec-2010 13:29 49
rand915.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:29 0
rand915.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:29 2661
rand915.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 177
rand915.sarge.cudf.sarge.abort 09-Dec-2010 13:29 49
rand915.sarge.cudf.sarge.log 09-Dec-2010 13:29 0
rand915.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:29 2631
rand915.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 177
rand951a14.cudf.easy.abort 09-Dec-2010 13:29 49
rand951a14.cudf.easy.log 09-Dec-2010 13:29 0
rand951a14.cudf.easy.log.runsolver 09-Dec-2010 13:29 2620
rand951a14.cudf.easy.log.time 09-Dec-2010 13:29 177
rand95e48b.cudf.difficult.abort 09-Dec-2010 13:29 49
rand95e48b.cudf.difficult.log 09-Dec-2010 13:29 0
rand95e48b.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2635
rand95e48b.cudf.difficult.log.time 09-Dec-2010 13:29 177
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 49
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 0
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 2773
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 09-Dec-2010 13:29 177
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 49
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 0
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 2749
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 09-Dec-2010 13:29 177
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 49
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny.log 09-Dec-2010 13:29 0
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 2700
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 09-Dec-2010 13:29 176
rand986.sarge-etch.cudf.sarge-etch.abort 09-Dec-2010 13:29 49
rand986.sarge-etch.cudf.sarge-etch.log 09-Dec-2010 13:29 0
rand986.sarge-etch.cudf.sarge-etch.log.runsolver 09-Dec-2010 13:29 2665
rand986.sarge-etch.cudf.sarge-etch.log.time 09-Dec-2010 13:29 177
rand986.sarge.cudf.sarge.abort 09-Dec-2010 13:29 49
rand986.sarge.cudf.sarge.log 09-Dec-2010 13:29 0
rand986.sarge.cudf.sarge.log.runsolver 09-Dec-2010 13:29 2631
rand986.sarge.cudf.sarge.log.time 09-Dec-2010 13:29 177
randa223c3.cudf.impossible.abort 09-Dec-2010 13:29 49
randa223c3.cudf.impossible.log 09-Dec-2010 13:29 0
randa223c3.cudf.impossible.log.runsolver 09-Dec-2010 13:29 2638
randa223c3.cudf.impossible.log.time 09-Dec-2010 13:29 177
randa45895.cudf.difficult.abort 09-Dec-2010 13:29 49
randa45895.cudf.difficult.log 09-Dec-2010 13:29 0
randa45895.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2635
randa45895.cudf.difficult.log.time 09-Dec-2010 13:29 177
randa651ed.cudf.difficult.abort 09-Dec-2010 13:29 49
randa651ed.cudf.difficult.log 09-Dec-2010 13:29 0
randa651ed.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2635
randa651ed.cudf.difficult.log.time 09-Dec-2010 13:29 177
randa870aa.cudf.difficult.abort 09-Dec-2010 13:29 49
randa870aa.cudf.difficult.log 09-Dec-2010 13:29 0
randa870aa.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2602
randa870aa.cudf.difficult.log.time 09-Dec-2010 13:29 176
randa9ba44.cudf.easy.abort 09-Dec-2010 13:29 49
randa9ba44.cudf.easy.log 09-Dec-2010 13:29 0
randa9ba44.cudf.easy.log.runsolver 09-Dec-2010 13:29 2620
randa9ba44.cudf.easy.log.time 09-Dec-2010 13:29 177
randaaa8ea.cudf.easy.abort 09-Dec-2010 13:29 49
randaaa8ea.cudf.easy.log 09-Dec-2010 13:29 0
randaaa8ea.cudf.easy.log.runsolver 09-Dec-2010 13:29 2624
randaaa8ea.cudf.easy.log.time 09-Dec-2010 13:29 177
randaafcce.cudf.impossible.abort 09-Dec-2010 13:29 49
randaafcce.cudf.impossible.log 09-Dec-2010 13:29 0
randaafcce.cudf.impossible.log.runsolver 09-Dec-2010 13:29 2637
randaafcce.cudf.impossible.log.time 09-Dec-2010 13:29 176
randadea40.cudf.easy.abort 09-Dec-2010 13:29 49
randadea40.cudf.easy.log 09-Dec-2010 13:29 0
randadea40.cudf.easy.log.runsolver 09-Dec-2010 13:29 2624
randadea40.cudf.easy.log.time 09-Dec-2010 13:29 177
randba6b5b.cudf.easy.abort 09-Dec-2010 13:29 49
randba6b5b.cudf.easy.log 09-Dec-2010 13:29 0
randba6b5b.cudf.easy.log.runsolver 09-Dec-2010 13:29 2588
randba6b5b.cudf.easy.log.time 09-Dec-2010 13:29 177
randbe9acf.cudf.easy.abort 09-Dec-2010 13:29 49
randbe9acf.cudf.easy.log 09-Dec-2010 13:29 0
randbe9acf.cudf.easy.log.runsolver 09-Dec-2010 13:29 2604
randbe9acf.cudf.easy.log.time 09-Dec-2010 13:29 177
randc10393.cudf.difficult.abort 09-Dec-2010 13:29 49
randc10393.cudf.difficult.log 09-Dec-2010 13:29 0
randc10393.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2623
randc10393.cudf.difficult.log.time 09-Dec-2010 13:29 177
randc192b7.cudf.easy.abort 09-Dec-2010 13:29 49
randc192b7.cudf.easy.log 09-Dec-2010 13:29 0
randc192b7.cudf.easy.log.runsolver 09-Dec-2010 13:29 2604
randc192b7.cudf.easy.log.time 09-Dec-2010 13:29 177
randd8bf6a.cudf.difficult.abort 09-Dec-2010 13:29 49
randd8bf6a.cudf.difficult.log 09-Dec-2010 13:29 0
randd8bf6a.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2619
randd8bf6a.cudf.difficult.log.time 09-Dec-2010 13:29 177
rande4fcd8.cudf.difficult.abort 09-Dec-2010 13:29 49
rande4fcd8.cudf.difficult.log 09-Dec-2010 13:29 0
rande4fcd8.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2619
rande4fcd8.cudf.difficult.log.time 09-Dec-2010 13:29 177
randea6106.cudf.easy.abort 09-Dec-2010 13:29 49
randea6106.cudf.easy.log 09-Dec-2010 13:29 0
randea6106.cudf.easy.log.runsolver 09-Dec-2010 13:29 2604
randea6106.cudf.easy.log.time 09-Dec-2010 13:29 177
randeb343c.cudf.easy.abort 09-Dec-2010 13:29 49
randeb343c.cudf.easy.log 09-Dec-2010 13:29 0
randeb343c.cudf.easy.log.runsolver 09-Dec-2010 13:29 2604
randeb343c.cudf.easy.log.time 09-Dec-2010 13:29 177
randec88d5.cudf.impossible.abort 09-Dec-2010 13:29 49
randec88d5.cudf.impossible.log 09-Dec-2010 13:29 0
randec88d5.cudf.impossible.log.runsolver 09-Dec-2010 13:29 2642
randec88d5.cudf.impossible.log.time 09-Dec-2010 13:29 177
randf17677.cudf.difficult.abort 09-Dec-2010 13:29 49
randf17677.cudf.difficult.log 09-Dec-2010 13:29 0
randf17677.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2622
randf17677.cudf.difficult.log.time 09-Dec-2010 13:29 176
randf406d5.cudf.difficult.abort 09-Dec-2010 13:29 49
randf406d5.cudf.difficult.log 09-Dec-2010 13:29 0
randf406d5.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2619
randf406d5.cudf.difficult.log.time 09-Dec-2010 13:29 177
randf61f65.cudf.difficult.abort 09-Dec-2010 13:29 49
randf61f65.cudf.difficult.log 09-Dec-2010 13:29 0
randf61f65.cudf.difficult.log.runsolver 09-Dec-2010 13:29 2619
randf61f65.cudf.difficult.log.time 09-Dec-2010 13:29 177
randf7a7e4.cudf.easy.abort 09-Dec-2010 13:29 49
randf7a7e4.cudf.easy.log 09-Dec-2010 13:29 0
randf7a7e4.cudf.easy.log.runsolver 09-Dec-2010 13:29 2604
randf7a7e4.cudf.easy.log.time 09-Dec-2010 13:29 177
randfa4522.cudf.impossible.abort 09-Dec-2010 13:29 49
randfa4522.cudf.impossible.log 09-Dec-2010 13:29 0
randfa4522.cudf.impossible.log.runsolver 09-Dec-2010 13:29 2642
randfa4522.cudf.impossible.log.time 09-Dec-2010 13:29 177
small1.cudf.cudf_set.abort 09-Dec-2010 13:29 49
small1.cudf.cudf_set.log 09-Dec-2010 13:29 0
small1.cudf.cudf_set.log.runsolver 09-Dec-2010 13:29 2620
small1.cudf.cudf_set.log.time 09-Dec-2010 13:29 177
small2.cudf.cudf_set.abort 09-Dec-2010 13:29 49
small2.cudf.cudf_set.log 09-Dec-2010 13:29 0
small2.cudf.cudf_set.log.runsolver 09-Dec-2010 13:29 2620
small2.cudf.cudf_set.log.time 09-Dec-2010 13:29 177
small3.cudf.cudf_set.abort 09-Dec-2010 13:29 49
small3.cudf.cudf_set.log 09-Dec-2010 13:29 0
small3.cudf.cudf_set.log.runsolver 09-Dec-2010 13:29 2620
small3.cudf.cudf_set.log.time 09-Dec-2010 13:29 177