Index of /misc-live/20101126/solutions/user2/cudf2msu4user-1.0/


../
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 127
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                  84
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                6415
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 203
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                8629
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 135
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                  92
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30               12531
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 204
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30               16353
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 135
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                  92
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30               13421
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 203
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30               16349
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 127
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                  84
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                8035
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 202
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                8629
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 135
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                  92
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30               13404
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 203
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30               16349
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30                 131
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30                  88
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30               10646
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30                 202
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30               16401
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:30                 127
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:30                  84
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:30                9812
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:30                 202
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:30                8515
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30                 135
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30                  92
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30               14317
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30                 203
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30               16385
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 135
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                  92
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30               12525
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 204
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30               16383
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 135
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                  92
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30               12513
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 203
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30               16368
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 135
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                  92
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30               12520
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 204
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30               16396
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 135
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                  92
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30               13436
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 203
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30               16383
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 135
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                  92
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30               12525
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 204
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30               16396
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 135
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                  92
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30               13410
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 204
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30               16349
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:30                 131
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:30                  88
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:30               11585
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:30                 203
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:30               11369
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 127
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                  84
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                8693
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 203
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                8686
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 135
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                  92
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30               12158
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 204
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30               16349
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 127
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                  84
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                7929
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                 201
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30                8629
rand0695fb.cudf.impossible.error                   11-Dec-2010 17:30                 135
rand0695fb.cudf.impossible.log                     11-Dec-2010 17:30                  92
rand0695fb.cudf.impossible.log.runsolver           11-Dec-2010 17:30               13360
rand0695fb.cudf.impossible.log.time                11-Dec-2010 17:30                 204
rand0695fb.cudf.impossible.result.bz2              11-Dec-2010 17:30                3950
rand06f749.cudf.difficult.error                    11-Dec-2010 17:30                 131
rand06f749.cudf.difficult.log                      11-Dec-2010 17:30                  88
rand06f749.cudf.difficult.log.runsolver            11-Dec-2010 17:30               13314
rand06f749.cudf.difficult.log.time                 11-Dec-2010 17:30                 201
rand06f749.cudf.difficult.result.bz2               11-Dec-2010 17:30                4449
rand08759d.cudf.easy.error                         11-Dec-2010 17:30                 131
rand08759d.cudf.easy.log                           11-Dec-2010 17:30                  88
rand08759d.cudf.easy.log.runsolver                 11-Dec-2010 17:30                8821
rand08759d.cudf.easy.log.time                      11-Dec-2010 17:30                 201
rand08759d.cudf.easy.result.bz2                    11-Dec-2010 17:30                9446
rand0aa5c1.cudf.difficult.error                    11-Dec-2010 17:30                 131
rand0aa5c1.cudf.difficult.log                      11-Dec-2010 17:30                  88
rand0aa5c1.cudf.difficult.log.runsolver            11-Dec-2010 17:30               12404
rand0aa5c1.cudf.difficult.log.time                 11-Dec-2010 17:30                 201
rand0aa5c1.cudf.difficult.result.bz2               11-Dec-2010 17:30                4129
rand13b58e.cudf.easy.error                         11-Dec-2010 17:30                 131
rand13b58e.cudf.easy.log                           11-Dec-2010 17:30                  88
rand13b58e.cudf.easy.log.runsolver                 11-Dec-2010 17:30               12400
rand13b58e.cudf.easy.log.time                      11-Dec-2010 17:30                 203
rand13b58e.cudf.easy.result.bz2                    11-Dec-2010 17:30                8469
rand14ba69.cudf.difficult.error                    11-Dec-2010 17:30                 131
rand14ba69.cudf.difficult.log                      11-Dec-2010 17:30                  88
rand14ba69.cudf.difficult.log.runsolver            11-Dec-2010 17:30               11524
rand14ba69.cudf.difficult.log.time                 11-Dec-2010 17:30                 203
rand14ba69.cudf.difficult.result.bz2               11-Dec-2010 17:30                4214
rand1bff33.cudf.easy.error                         11-Dec-2010 17:30                 127
rand1bff33.cudf.easy.log                           11-Dec-2010 17:30                  84
rand1bff33.cudf.easy.log.runsolver                 11-Dec-2010 17:30                8740
rand1bff33.cudf.easy.log.time                      11-Dec-2010 17:30                 203
rand1bff33.cudf.easy.result.bz2                    11-Dec-2010 17:30                9080
rand2d2fd0.cudf.difficult.error                    11-Dec-2010 17:30                 131
rand2d2fd0.cudf.difficult.log                      11-Dec-2010 17:30                  88
rand2d2fd0.cudf.difficult.log.runsolver            11-Dec-2010 17:30               10639
rand2d2fd0.cudf.difficult.log.time                 11-Dec-2010 17:30                 203
rand2d2fd0.cudf.difficult.result.bz2               11-Dec-2010 17:30                4279
rand2fb7ab.cudf.easy.error                         11-Dec-2010 17:30                 131
rand2fb7ab.cudf.easy.log                           11-Dec-2010 17:30                  88
rand2fb7ab.cudf.easy.log.runsolver                 11-Dec-2010 17:30               12386
rand2fb7ab.cudf.easy.log.time                      11-Dec-2010 17:30                 201
rand2fb7ab.cudf.easy.result.bz2                    11-Dec-2010 17:30                9025
rand2fe899.cudf.difficult.error                    11-Dec-2010 17:30                 131
rand2fe899.cudf.difficult.log                      11-Dec-2010 17:30                  88
rand2fe899.cudf.difficult.log.runsolver            11-Dec-2010 17:30               13327
rand2fe899.cudf.difficult.log.time                 11-Dec-2010 17:30                 203
rand2fe899.cudf.difficult.result.bz2               11-Dec-2010 17:30                3558
rand332173.cudf.impossible.abort                   11-Dec-2010 17:30                  49
rand332173.cudf.impossible.log                     11-Dec-2010 17:30                   0
rand332173.cudf.impossible.log.runsolver           11-Dec-2010 17:30               17558
rand332173.cudf.impossible.log.time                11-Dec-2010 17:30                   0
rand332173.cudf.impossible.result.bz2              11-Dec-2010 17:30                  69
rand359ca0.cudf.easy.error                         11-Dec-2010 17:30                 131
rand359ca0.cudf.easy.log                           11-Dec-2010 17:30                  88
rand359ca0.cudf.easy.log.runsolver                 11-Dec-2010 17:30               10518
rand359ca0.cudf.easy.log.time                      11-Dec-2010 17:30                 203
rand359ca0.cudf.easy.result.bz2                    11-Dec-2010 17:30                9188
rand394916.cudf.difficult.error                    11-Dec-2010 17:30                  43
rand394916.cudf.difficult.log                      11-Dec-2010 17:30                   0
rand394916.cudf.difficult.log.runsolver            11-Dec-2010 17:30                8845
rand394916.cudf.difficult.log.time                 11-Dec-2010 17:30                 203
rand394916.cudf.difficult.result.bz2               11-Dec-2010 17:30                  69
rand3dec28.cudf.impossible.error                   11-Dec-2010 17:30                 135
rand3dec28.cudf.impossible.log                     11-Dec-2010 17:30                  92
rand3dec28.cudf.impossible.log.runsolver           11-Dec-2010 17:30               15967
rand3dec28.cudf.impossible.log.time                11-Dec-2010 17:30                 202
rand3dec28.cudf.impossible.result.bz2              11-Dec-2010 17:30                4181
rand49d73b.cudf.difficult.error                    11-Dec-2010 17:30                 131
rand49d73b.cudf.difficult.log                      11-Dec-2010 17:30                  88
rand49d73b.cudf.difficult.log.runsolver            11-Dec-2010 17:30                9721
rand49d73b.cudf.difficult.log.time                 11-Dec-2010 17:30                 201
rand49d73b.cudf.difficult.result.bz2               11-Dec-2010 17:30                4092
rand4d6b1c.cudf.difficult.error                    11-Dec-2010 17:30                 131
rand4d6b1c.cudf.difficult.log                      11-Dec-2010 17:30                  88
rand4d6b1c.cudf.difficult.log.runsolver            11-Dec-2010 17:30               12408
rand4d6b1c.cudf.difficult.log.time                 11-Dec-2010 17:30                 203
rand4d6b1c.cudf.difficult.result.bz2               11-Dec-2010 17:30                4106
rand50a937.cudf.difficult.error                    11-Dec-2010 17:30                 131
rand50a937.cudf.difficult.log                      11-Dec-2010 17:30                  88
rand50a937.cudf.difficult.log.runsolver            11-Dec-2010 17:30               10642
rand50a937.cudf.difficult.log.time                 11-Dec-2010 17:30                 201
rand50a937.cudf.difficult.result.bz2               11-Dec-2010 17:30                4964
rand5619c8.cudf.easy.error                         11-Dec-2010 17:30                 131
rand5619c8.cudf.easy.log                           11-Dec-2010 17:30                  88
rand5619c8.cudf.easy.log.runsolver                 11-Dec-2010 17:30               10595
rand5619c8.cudf.easy.log.time                      11-Dec-2010 17:30                 203
rand5619c8.cudf.easy.result.bz2                    11-Dec-2010 17:30                9200
rand5c1800.cudf.easy.error                         11-Dec-2010 17:30                 131
rand5c1800.cudf.easy.log                           11-Dec-2010 17:30                  88
rand5c1800.cudf.easy.log.runsolver                 11-Dec-2010 17:30                9707
rand5c1800.cudf.easy.log.time                      11-Dec-2010 17:30                 203
rand5c1800.cudf.easy.result.bz2                    11-Dec-2010 17:30                8945
rand61b840.cudf.easy.error                         11-Dec-2010 17:30                 131
rand61b840.cudf.easy.log                           11-Dec-2010 17:30                  88
rand61b840.cudf.easy.log.runsolver                 11-Dec-2010 17:30               12380
rand61b840.cudf.easy.log.time                      11-Dec-2010 17:30                 203
rand61b840.cudf.easy.result.bz2                    11-Dec-2010 17:30                8970
rand655e63.cudf.impossible.error                   11-Dec-2010 17:30                 135
rand655e63.cudf.impossible.log                     11-Dec-2010 17:30                  92
rand655e63.cudf.impossible.log.runsolver           11-Dec-2010 17:30               15146
rand655e63.cudf.impossible.log.time                11-Dec-2010 17:30                 204
rand655e63.cudf.impossible.result.bz2              11-Dec-2010 17:30                4011
rand6b4d6e.cudf.impossible.error                   11-Dec-2010 17:30                 135
rand6b4d6e.cudf.impossible.log                     11-Dec-2010 17:30                  92
rand6b4d6e.cudf.impossible.log.runsolver           11-Dec-2010 17:30               15167
rand6b4d6e.cudf.impossible.log.time                11-Dec-2010 17:30                 203
rand6b4d6e.cudf.impossible.result.bz2              11-Dec-2010 17:30                4371
rand6d933e.cudf.easy.error                         11-Dec-2010 17:30                 131
rand6d933e.cudf.easy.log                           11-Dec-2010 17:30                  88
rand6d933e.cudf.easy.log.runsolver                 11-Dec-2010 17:30               10606
rand6d933e.cudf.easy.log.time                      11-Dec-2010 17:30                 202
rand6d933e.cudf.easy.result.bz2                    11-Dec-2010 17:30                9008
rand7141b1.cudf.impossible.error                   11-Dec-2010 17:30                 135
rand7141b1.cudf.impossible.log                     11-Dec-2010 17:30                  92
rand7141b1.cudf.impossible.log.runsolver           11-Dec-2010 17:30               13362
rand7141b1.cudf.impossible.log.time                11-Dec-2010 17:30                 203
rand7141b1.cudf.impossible.result.bz2              11-Dec-2010 17:30                3921
rand7902a8.cudf.impossible.error                   11-Dec-2010 17:30                 135
rand7902a8.cudf.impossible.log                     11-Dec-2010 17:30                  92
rand7902a8.cudf.impossible.log.runsolver           11-Dec-2010 17:30               16057
rand7902a8.cudf.impossible.log.time                11-Dec-2010 17:30                 204
rand7902a8.cudf.impossible.result.bz2              11-Dec-2010 17:30                4280
rand7b4167.cudf.difficult.error                    11-Dec-2010 17:30                 131
rand7b4167.cudf.difficult.log                      11-Dec-2010 17:30                  88
rand7b4167.cudf.difficult.log.runsolver            11-Dec-2010 17:30               11528
rand7b4167.cudf.difficult.log.time                 11-Dec-2010 17:30                 202
rand7b4167.cudf.difficult.result.bz2               11-Dec-2010 17:30                3846
rand7fec8c.cudf.easy.error                         11-Dec-2010 17:30                 131
rand7fec8c.cudf.easy.log                           11-Dec-2010 17:30                  88
rand7fec8c.cudf.easy.log.runsolver                 11-Dec-2010 17:30                9715
rand7fec8c.cudf.easy.log.time                      11-Dec-2010 17:30                 203
rand7fec8c.cudf.easy.result.bz2                    11-Dec-2010 17:30                9118
rand81406f.cudf.impossible.error                   11-Dec-2010 17:30                 131
rand81406f.cudf.impossible.log                     11-Dec-2010 17:30                  88
rand81406f.cudf.impossible.log.runsolver           11-Dec-2010 17:30               13261
rand81406f.cudf.impossible.log.time                11-Dec-2010 17:30                 203
rand81406f.cudf.impossible.result.bz2              11-Dec-2010 17:30                4029
rand835640.cudf.impossible.error                   11-Dec-2010 17:30                 135
rand835640.cudf.impossible.log                     11-Dec-2010 17:30                  92
rand835640.cudf.impossible.log.runsolver           11-Dec-2010 17:30               15964
rand835640.cudf.impossible.log.time                11-Dec-2010 17:30                 204
rand835640.cudf.impossible.result.bz2              11-Dec-2010 17:30                4048
rand847939.cudf.difficult.error                    11-Dec-2010 17:30                 131
rand847939.cudf.difficult.log                      11-Dec-2010 17:30                  88
rand847939.cudf.difficult.log.runsolver            11-Dec-2010 17:30               13295
rand847939.cudf.difficult.log.time                 11-Dec-2010 17:30                 203
rand847939.cudf.difficult.result.bz2               11-Dec-2010 17:30                4223
rand878003.cudf.impossible.error                   11-Dec-2010 17:30                 135
rand878003.cudf.impossible.log                     11-Dec-2010 17:30                  92
rand878003.cudf.impossible.log.runsolver           11-Dec-2010 17:30               15044
rand878003.cudf.impossible.log.time                11-Dec-2010 17:30                 203
rand878003.cudf.impossible.result.bz2              11-Dec-2010 17:30                4135
rand8cc693.cudf.impossible.error                   11-Dec-2010 17:30                 135
rand8cc693.cudf.impossible.log                     11-Dec-2010 17:30                  92
rand8cc693.cudf.impossible.log.runsolver           11-Dec-2010 17:30               18769
rand8cc693.cudf.impossible.log.time                11-Dec-2010 17:30                 204
rand8cc693.cudf.impossible.result.bz2              11-Dec-2010 17:30                4103
rand8d117b.cudf.easy.error                         11-Dec-2010 17:30                 131
rand8d117b.cudf.easy.log                           11-Dec-2010 17:30                  88
rand8d117b.cudf.easy.log.runsolver                 11-Dec-2010 17:30               11480
rand8d117b.cudf.easy.log.time                      11-Dec-2010 17:30                 201
rand8d117b.cudf.easy.result.bz2                    11-Dec-2010 17:30                8971
rand908403.cudf.difficult.error                    11-Dec-2010 17:30                 131
rand908403.cudf.difficult.log                      11-Dec-2010 17:30                  88
rand908403.cudf.difficult.log.runsolver            11-Dec-2010 17:30               11540
rand908403.cudf.difficult.log.time                 11-Dec-2010 17:30                 203
rand908403.cudf.difficult.result.bz2               11-Dec-2010 17:30                4040
rand951a14.cudf.easy.error                         11-Dec-2010 17:30                 131
rand951a14.cudf.easy.log                           11-Dec-2010 17:30                  88
rand951a14.cudf.easy.log.runsolver                 11-Dec-2010 17:30                9713
rand951a14.cudf.easy.log.time                      11-Dec-2010 17:30                 203
rand951a14.cudf.easy.result.bz2                    11-Dec-2010 17:30                8766
rand95e48b.cudf.difficult.error                    11-Dec-2010 17:30                 131
rand95e48b.cudf.difficult.log                      11-Dec-2010 17:30                  88
rand95e48b.cudf.difficult.log.runsolver            11-Dec-2010 17:30               13221
rand95e48b.cudf.difficult.log.time                 11-Dec-2010 17:30                 203
rand95e48b.cudf.difficult.result.bz2               11-Dec-2010 17:30                4285
randa223c3.cudf.impossible.error                   11-Dec-2010 17:30                 135
randa223c3.cudf.impossible.log                     11-Dec-2010 17:30                  92
randa223c3.cudf.impossible.log.runsolver           11-Dec-2010 17:30               14170
randa223c3.cudf.impossible.log.time                11-Dec-2010 17:30                 202
randa223c3.cudf.impossible.result.bz2              11-Dec-2010 17:30                4105
randa45895.cudf.difficult.error                    11-Dec-2010 17:30                  43
randa45895.cudf.difficult.log                      11-Dec-2010 17:30                   0
randa45895.cudf.difficult.log.runsolver            11-Dec-2010 17:30                8835
randa45895.cudf.difficult.log.time                 11-Dec-2010 17:30                 202
randa45895.cudf.difficult.result.bz2               11-Dec-2010 17:30                  69
randa651ed.cudf.difficult.error                    11-Dec-2010 17:30                 131
randa651ed.cudf.difficult.log                      11-Dec-2010 17:30                  88
randa651ed.cudf.difficult.log.runsolver            11-Dec-2010 17:30               12429
randa651ed.cudf.difficult.log.time                 11-Dec-2010 17:30                 200
randa651ed.cudf.difficult.result.bz2               11-Dec-2010 17:30                4212
randa870aa.cudf.difficult.error                    11-Dec-2010 17:30                 131
randa870aa.cudf.difficult.log                      11-Dec-2010 17:30                  88
randa870aa.cudf.difficult.log.runsolver            11-Dec-2010 17:30               11210
randa870aa.cudf.difficult.log.time                 11-Dec-2010 17:30                 203
randa870aa.cudf.difficult.result.bz2               11-Dec-2010 17:30                4097
randa9ba44.cudf.easy.error                         11-Dec-2010 17:30                 127
randa9ba44.cudf.easy.log                           11-Dec-2010 17:30                  84
randa9ba44.cudf.easy.log.runsolver                 11-Dec-2010 17:30                9706
randa9ba44.cudf.easy.log.time                      11-Dec-2010 17:30                 202
randa9ba44.cudf.easy.result.bz2                    11-Dec-2010 17:30                9030
randaaa8ea.cudf.easy.error                         11-Dec-2010 17:30                 131
randaaa8ea.cudf.easy.log                           11-Dec-2010 17:30                  88
randaaa8ea.cudf.easy.log.runsolver                 11-Dec-2010 17:30               10596
randaaa8ea.cudf.easy.log.time                      11-Dec-2010 17:30                 203
randaaa8ea.cudf.easy.result.bz2                    11-Dec-2010 17:30                8909
randaafcce.cudf.impossible.error                   11-Dec-2010 17:30                 135
randaafcce.cudf.impossible.log                     11-Dec-2010 17:30                  92
randaafcce.cudf.impossible.log.runsolver           11-Dec-2010 17:30               11571
randaafcce.cudf.impossible.log.time                11-Dec-2010 17:30                 204
randaafcce.cudf.impossible.result.bz2              11-Dec-2010 17:30                3854
randadea40.cudf.easy.error                         11-Dec-2010 17:30                 131
randadea40.cudf.easy.log                           11-Dec-2010 17:30                  88
randadea40.cudf.easy.log.runsolver                 11-Dec-2010 17:30               10602
randadea40.cudf.easy.log.time                      11-Dec-2010 17:30                 203
randadea40.cudf.easy.result.bz2                    11-Dec-2010 17:30                8758
randba6b5b.cudf.easy.error                         11-Dec-2010 17:30                 131
randba6b5b.cudf.easy.log                           11-Dec-2010 17:30                  88
randba6b5b.cudf.easy.log.runsolver                 11-Dec-2010 17:30               10295
randba6b5b.cudf.easy.log.time                      11-Dec-2010 17:30                 203
randba6b5b.cudf.easy.result.bz2                    11-Dec-2010 17:30                8984
randbe9acf.cudf.easy.error                         11-Dec-2010 17:30                 131
randbe9acf.cudf.easy.log                           11-Dec-2010 17:30                  88
randbe9acf.cudf.easy.log.runsolver                 11-Dec-2010 17:30                9449
randbe9acf.cudf.easy.log.time                      11-Dec-2010 17:30                 203
randbe9acf.cudf.easy.result.bz2                    11-Dec-2010 17:30                8991
randc10393.cudf.difficult.error                    11-Dec-2010 17:30                 131
randc10393.cudf.difficult.log                      11-Dec-2010 17:30                  88
randc10393.cudf.difficult.log.runsolver            11-Dec-2010 17:30               11976
randc10393.cudf.difficult.log.time                 11-Dec-2010 17:30                 203
randc10393.cudf.difficult.result.bz2               11-Dec-2010 17:30                4084
randc192b7.cudf.easy.error                         11-Dec-2010 17:30                 131
randc192b7.cudf.easy.log                           11-Dec-2010 17:30                  88
randc192b7.cudf.easy.log.runsolver                 11-Dec-2010 17:30               11319
randc192b7.cudf.easy.log.time                      11-Dec-2010 17:30                 202
randc192b7.cudf.easy.result.bz2                    11-Dec-2010 17:30                9287
randd8bf6a.cudf.difficult.error                    11-Dec-2010 17:30                 131
randd8bf6a.cudf.difficult.log                      11-Dec-2010 17:30                  88
randd8bf6a.cudf.difficult.log.runsolver            11-Dec-2010 17:30               11351
randd8bf6a.cudf.difficult.log.time                 11-Dec-2010 17:30                 201
randd8bf6a.cudf.difficult.result.bz2               11-Dec-2010 17:30                3866
rande4fcd8.cudf.difficult.error                    11-Dec-2010 17:30                 131
rande4fcd8.cudf.difficult.log                      11-Dec-2010 17:30                  88
rande4fcd8.cudf.difficult.log.runsolver            11-Dec-2010 17:30               11369
rande4fcd8.cudf.difficult.log.time                 11-Dec-2010 17:30                 203
rande4fcd8.cudf.difficult.result.bz2               11-Dec-2010 17:30                4236
randea6106.cudf.easy.error                         11-Dec-2010 17:30                 131
randea6106.cudf.easy.log                           11-Dec-2010 17:30                  88
randea6106.cudf.easy.log.runsolver                 11-Dec-2010 17:30                8704
randea6106.cudf.easy.log.time                      11-Dec-2010 17:30                 201
randea6106.cudf.easy.result.bz2                    11-Dec-2010 17:30                9031
randeb343c.cudf.easy.error                         11-Dec-2010 17:30                 131
randeb343c.cudf.easy.log                           11-Dec-2010 17:30                  88
randeb343c.cudf.easy.log.runsolver                 11-Dec-2010 17:30               10443
randeb343c.cudf.easy.log.time                      11-Dec-2010 17:30                 200
randeb343c.cudf.easy.result.bz2                    11-Dec-2010 17:30                9053
randec88d5.cudf.impossible.error                   11-Dec-2010 17:30                 135
randec88d5.cudf.impossible.log                     11-Dec-2010 17:30                  92
randec88d5.cudf.impossible.log.runsolver           11-Dec-2010 17:30               16061
randec88d5.cudf.impossible.log.time                11-Dec-2010 17:30                 204
randec88d5.cudf.impossible.result.bz2              11-Dec-2010 17:30                3922
randf17677.cudf.difficult.error                    11-Dec-2010 17:30                 131
randf17677.cudf.difficult.log                      11-Dec-2010 17:30                  88
randf17677.cudf.difficult.log.runsolver            11-Dec-2010 17:30               11368
randf17677.cudf.difficult.log.time                 11-Dec-2010 17:30                 201
randf17677.cudf.difficult.result.bz2               11-Dec-2010 17:30                4151
randf406d5.cudf.difficult.error                    11-Dec-2010 17:30                  43
randf406d5.cudf.difficult.log                      11-Dec-2010 17:30                   0
randf406d5.cudf.difficult.log.runsolver            11-Dec-2010 17:30                7861
randf406d5.cudf.difficult.log.time                 11-Dec-2010 17:30                 202
randf406d5.cudf.difficult.result.bz2               11-Dec-2010 17:30                  69
randf61f65.cudf.difficult.error                    11-Dec-2010 17:30                 131
randf61f65.cudf.difficult.log                      11-Dec-2010 17:30                  88
randf61f65.cudf.difficult.log.runsolver            11-Dec-2010 17:30               11365
randf61f65.cudf.difficult.log.time                 11-Dec-2010 17:30                 202
randf61f65.cudf.difficult.result.bz2               11-Dec-2010 17:30                4197
randf7a7e4.cudf.easy.error                         11-Dec-2010 17:30                 131
randf7a7e4.cudf.easy.log                           11-Dec-2010 17:30                  88
randf7a7e4.cudf.easy.log.runsolver                 11-Dec-2010 17:30               12193
randf7a7e4.cudf.easy.log.time                      11-Dec-2010 17:30                 203
randf7a7e4.cudf.easy.result.bz2                    11-Dec-2010 17:30                7115
randfa4522.cudf.impossible.error                   11-Dec-2010 17:30                  84
randfa4522.cudf.impossible.log                     11-Dec-2010 17:30                  41
randfa4522.cudf.impossible.log.runsolver           11-Dec-2010 17:30               12355
randfa4522.cudf.impossible.log.time                11-Dec-2010 17:30                 203
randfa4522.cudf.impossible.result.bz2              11-Dec-2010 17:30                4002