Index of /misc2010/results/solutions/inescp-1.0/


../
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                  92
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               13756
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                 203
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                8597
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                  92
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               21263
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                 203
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               16407
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                  92
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               23606
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                 203
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               16392
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                  92
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               15283
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                 204
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                8597
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                  92
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               24371
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                 203
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               16397
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 07-Jul-2010 08:23                  92
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 07-Jul-2010 08:23               22845
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 07-Jul-2010 08:23                 202
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 07-Jul-2010 08:23               16405
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 07-Jul-2010 08:23                  92
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 07-Jul-2010 08:23               16096
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 07-Jul-2010 08:23                 204
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 07-Jul-2010 08:23                8561
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 07-Jul-2010 08:23                  92
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 07-Jul-2010 08:23               24846
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 07-Jul-2010 08:23                 203
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 07-Jul-2010 08:23               16397
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                  92
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               22610
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                 203
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               16558
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                  92
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               24190
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                 203
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               16407
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                  92
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               22682
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                 202
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               16405
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                  92
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               24843
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                 202
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               16558
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                  92
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               21990
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                 201
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               16405
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                  92
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               24797
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                 203
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               16392
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 07-Jul-2010 08:23                  92
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 07-Jul-2010 08:23               13348
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 07-Jul-2010 08:23                 203
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 07-Jul-2010 08:23               11416
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                  92
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               12421
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                 203
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                8644
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                  92
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               25013
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                 203
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               16392
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                  92
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23               13911
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                 203
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 07-Jul-2010 08:23                8597
huge1.cudf.cudf_set.error                          07-Jul-2010 08:23                  92
huge1.cudf.cudf_set.log                            07-Jul-2010 08:23               14296
huge1.cudf.cudf_set.log.time                       07-Jul-2010 08:23                 204
huge1.cudf.cudf_set.result.bz2                     07-Jul-2010 08:23                  56
huge2.cudf.cudf_set.error                          07-Jul-2010 08:23                  92
huge2.cudf.cudf_set.log                            07-Jul-2010 08:23               19662
huge2.cudf.cudf_set.log.time                       07-Jul-2010 08:23                 204
huge2.cudf.cudf_set.result.bz2                     07-Jul-2010 08:23                  56
huge3.cudf.cudf_set.error                          07-Jul-2010 08:23                  92
huge3.cudf.cudf_set.log                            07-Jul-2010 08:23               15741
huge3.cudf.cudf_set.log.time                       07-Jul-2010 08:23                 204
huge3.cudf.cudf_set.result.bz2                     07-Jul-2010 08:23                  56
large1.cudf.cudf_set.error                         07-Jul-2010 08:23                  92
large1.cudf.cudf_set.log                           07-Jul-2010 08:23                7823
large1.cudf.cudf_set.log.time                      07-Jul-2010 08:23                 202
large1.cudf.cudf_set.result.bz2                    07-Jul-2010 08:23                  56
large2.cudf.cudf_set.error                         07-Jul-2010 08:23                  92
large2.cudf.cudf_set.log                           07-Jul-2010 08:23                7813
large2.cudf.cudf_set.log.time                      07-Jul-2010 08:23                 203
large2.cudf.cudf_set.result.bz2                    07-Jul-2010 08:23                  56
large3.cudf.cudf_set.error                         07-Jul-2010 08:23                  92
large3.cudf.cudf_set.log                           07-Jul-2010 08:23                9277
large3.cudf.cudf_set.log.time                      07-Jul-2010 08:23                 202
large3.cudf.cudf_set.result.bz2                    07-Jul-2010 08:23                  56
rand0695fb.cudf.impossible.error                   07-Jul-2010 08:23                  92
rand0695fb.cudf.impossible.log                     07-Jul-2010 08:23               33303
rand0695fb.cudf.impossible.log.time                07-Jul-2010 08:23                 203
rand0695fb.cudf.impossible.result.bz2              07-Jul-2010 08:23                4024
rand06f749.cudf.difficult.error                    07-Jul-2010 08:23                  92
rand06f749.cudf.difficult.log                      07-Jul-2010 08:23               22766
rand06f749.cudf.difficult.log.time                 07-Jul-2010 08:23                 204
rand06f749.cudf.difficult.result.bz2               07-Jul-2010 08:23                4846
rand08759d.cudf.easy.error                         07-Jul-2010 08:23                  92
rand08759d.cudf.easy.log                           07-Jul-2010 08:23               18629
rand08759d.cudf.easy.log.time                      07-Jul-2010 08:23                 204
rand08759d.cudf.easy.result.bz2                    07-Jul-2010 08:23                9440
rand0aa5c1.cudf.difficult.error                    07-Jul-2010 08:23                  92
rand0aa5c1.cudf.difficult.log                      07-Jul-2010 08:23               26113
rand0aa5c1.cudf.difficult.log.time                 07-Jul-2010 08:23                 204
rand0aa5c1.cudf.difficult.result.bz2               07-Jul-2010 08:23                4528
rand13b58e.cudf.easy.error                         07-Jul-2010 08:23                  92
rand13b58e.cudf.easy.log                           07-Jul-2010 08:23               20186
rand13b58e.cudf.easy.log.time                      07-Jul-2010 08:23                 204
rand13b58e.cudf.easy.result.bz2                    07-Jul-2010 08:23                8492
rand14ba69.cudf.difficult.error                    07-Jul-2010 08:23                  92
rand14ba69.cudf.difficult.log                      07-Jul-2010 08:23               24472
rand14ba69.cudf.difficult.log.time                 07-Jul-2010 08:23                 204
rand14ba69.cudf.difficult.result.bz2               07-Jul-2010 08:23                4940
rand1bff33.cudf.easy.error                         07-Jul-2010 08:23                  92
rand1bff33.cudf.easy.log                           07-Jul-2010 08:23               15484
rand1bff33.cudf.easy.log.time                      07-Jul-2010 08:23                 202
rand1bff33.cudf.easy.result.bz2                    07-Jul-2010 08:23                9121
rand2d2fd0.cudf.difficult.error                    07-Jul-2010 08:23                  92
rand2d2fd0.cudf.difficult.log                      07-Jul-2010 08:23               18813
rand2d2fd0.cudf.difficult.log.time                 07-Jul-2010 08:23                 204
rand2d2fd0.cudf.difficult.result.bz2               07-Jul-2010 08:23                5021
rand2fb7ab.cudf.easy.error                         07-Jul-2010 08:23                  92
rand2fb7ab.cudf.easy.log                           07-Jul-2010 08:23               19755
rand2fb7ab.cudf.easy.log.time                      07-Jul-2010 08:23                 204
rand2fb7ab.cudf.easy.result.bz2                    07-Jul-2010 08:23                8964
rand2fe899.cudf.difficult.error                    07-Jul-2010 08:23                  92
rand2fe899.cudf.difficult.log                      07-Jul-2010 08:23               16670
rand2fe899.cudf.difficult.log.time                 07-Jul-2010 08:23                 204
rand2fe899.cudf.difficult.result.bz2               07-Jul-2010 08:23                4022
rand332173.cudf.impossible.abort                   07-Jul-2010 08:23                  49
rand332173.cudf.impossible.log                     07-Jul-2010 08:23               33818
rand332173.cudf.impossible.log.time                07-Jul-2010 08:23                 204
rand332173.cudf.impossible.result.bz2              07-Jul-2010 08:23                  14
rand359ca0.cudf.easy.error                         07-Jul-2010 08:23                  92
rand359ca0.cudf.easy.log                           07-Jul-2010 08:23               16424
rand359ca0.cudf.easy.log.time                      07-Jul-2010 08:23                 204
rand359ca0.cudf.easy.result.bz2                    07-Jul-2010 08:23                9192
rand394916.cudf.difficult.error                    07-Jul-2010 08:23                  92
rand394916.cudf.difficult.log                      07-Jul-2010 08:23               23984
rand394916.cudf.difficult.log.time                 07-Jul-2010 08:23                 204
rand394916.cudf.difficult.result.bz2               07-Jul-2010 08:23                  56
rand3dec28.cudf.impossible.error                   07-Jul-2010 08:23                  92
rand3dec28.cudf.impossible.log                     07-Jul-2010 08:23               28239
rand3dec28.cudf.impossible.log.time                07-Jul-2010 08:23                 203
rand3dec28.cudf.impossible.result.bz2              07-Jul-2010 08:23                  56
rand49d73b.cudf.difficult.error                    07-Jul-2010 08:23                  92
rand49d73b.cudf.difficult.log                      07-Jul-2010 08:23               22937
rand49d73b.cudf.difficult.log.time                 07-Jul-2010 08:23                 204
rand49d73b.cudf.difficult.result.bz2               07-Jul-2010 08:23                4734
rand4d6b1c.cudf.difficult.error                    07-Jul-2010 08:23                  92
rand4d6b1c.cudf.difficult.log                      07-Jul-2010 08:23               24307
rand4d6b1c.cudf.difficult.log.time                 07-Jul-2010 08:23                 204
rand4d6b1c.cudf.difficult.result.bz2               07-Jul-2010 08:23                4450
rand50a937.cudf.difficult.error                    07-Jul-2010 08:23                  92
rand50a937.cudf.difficult.log                      07-Jul-2010 08:23               24459
rand50a937.cudf.difficult.log.time                 07-Jul-2010 08:23                 204
rand50a937.cudf.difficult.result.bz2               07-Jul-2010 08:23                5644
rand5619c8.cudf.easy.error                         07-Jul-2010 08:23                  92
rand5619c8.cudf.easy.log                           07-Jul-2010 08:23               14194
rand5619c8.cudf.easy.log.time                      07-Jul-2010 08:23                 204
rand5619c8.cudf.easy.result.bz2                    07-Jul-2010 08:23                9204
rand5c1800.cudf.easy.error                         07-Jul-2010 08:23                  92
rand5c1800.cudf.easy.log                           07-Jul-2010 08:23               15528
rand5c1800.cudf.easy.log.time                      07-Jul-2010 08:23                 204
rand5c1800.cudf.easy.result.bz2                    07-Jul-2010 08:23                8928
rand61b840.cudf.easy.error                         07-Jul-2010 08:23                  92
rand61b840.cudf.easy.log                           07-Jul-2010 08:23               22850
rand61b840.cudf.easy.log.time                      07-Jul-2010 08:23                 204
rand61b840.cudf.easy.result.bz2                    07-Jul-2010 08:23                8910
rand655e63.cudf.impossible.error                   07-Jul-2010 08:23                  92
rand655e63.cudf.impossible.log                     07-Jul-2010 08:23               31821
rand655e63.cudf.impossible.log.time                07-Jul-2010 08:23                 202
rand655e63.cudf.impossible.result.bz2              07-Jul-2010 08:23                4170
rand6b4d6e.cudf.impossible.error                   07-Jul-2010 08:23                  92
rand6b4d6e.cudf.impossible.log                     07-Jul-2010 08:23               31141
rand6b4d6e.cudf.impossible.log.time                07-Jul-2010 08:23                 203
rand6b4d6e.cudf.impossible.result.bz2              07-Jul-2010 08:23                4600
rand6d933e.cudf.easy.error                         07-Jul-2010 08:23                  92
rand6d933e.cudf.easy.log                           07-Jul-2010 08:23               18861
rand6d933e.cudf.easy.log.time                      07-Jul-2010 08:23                 204
rand6d933e.cudf.easy.result.bz2                    07-Jul-2010 08:23                8994
rand7141b1.cudf.impossible.abort                   07-Jul-2010 08:23                  49
rand7141b1.cudf.impossible.log                     07-Jul-2010 08:23               33784
rand7141b1.cudf.impossible.log.time                07-Jul-2010 08:23                 204
rand7141b1.cudf.impossible.result.bz2              07-Jul-2010 08:23                  14
rand7902a8.cudf.impossible.error                   07-Jul-2010 08:23                  92
rand7902a8.cudf.impossible.log                     07-Jul-2010 08:23               34068
rand7902a8.cudf.impossible.log.time                07-Jul-2010 08:23                 202
rand7902a8.cudf.impossible.result.bz2              07-Jul-2010 08:23                4486
rand7b4167.cudf.difficult.error                    07-Jul-2010 08:23                  92
rand7b4167.cudf.difficult.log                      07-Jul-2010 08:23               23598
rand7b4167.cudf.difficult.log.time                 07-Jul-2010 08:23                 204
rand7b4167.cudf.difficult.result.bz2               07-Jul-2010 08:23                4214
rand7fec8c.cudf.easy.error                         07-Jul-2010 08:23                  92
rand7fec8c.cudf.easy.log                           07-Jul-2010 08:23               17090
rand7fec8c.cudf.easy.log.time                      07-Jul-2010 08:23                 204
rand7fec8c.cudf.easy.result.bz2                    07-Jul-2010 08:23                9125
rand81406f.cudf.impossible.error                   07-Jul-2010 08:23                  92
rand81406f.cudf.impossible.log                     07-Jul-2010 08:23               29322
rand81406f.cudf.impossible.log.time                07-Jul-2010 08:23                 201
rand81406f.cudf.impossible.result.bz2              07-Jul-2010 08:23                4196
rand835640.cudf.impossible.error                   07-Jul-2010 08:23                  92
rand835640.cudf.impossible.log                     07-Jul-2010 08:23               30202
rand835640.cudf.impossible.log.time                07-Jul-2010 08:23                 200
rand835640.cudf.impossible.result.bz2              07-Jul-2010 08:23                4099
rand847939.cudf.difficult.error                    07-Jul-2010 08:23                  92
rand847939.cudf.difficult.log                      07-Jul-2010 08:23               25568
rand847939.cudf.difficult.log.time                 07-Jul-2010 08:23                 204
rand847939.cudf.difficult.result.bz2               07-Jul-2010 08:23                5160
rand878003.cudf.impossible.abort                   07-Jul-2010 08:23                  49
rand878003.cudf.impossible.log                     07-Jul-2010 08:23               33123
rand878003.cudf.impossible.log.time                07-Jul-2010 08:23                 203
rand878003.cudf.impossible.result.bz2              07-Jul-2010 08:23                  14
rand8cc693.cudf.impossible.abort                   07-Jul-2010 08:23                  49
rand8cc693.cudf.impossible.log                     07-Jul-2010 08:23               31500
rand8cc693.cudf.impossible.log.time                07-Jul-2010 08:23                 203
rand8cc693.cudf.impossible.result.bz2              07-Jul-2010 08:23                  14
rand8d117b.cudf.easy.error                         07-Jul-2010 08:23                  92
rand8d117b.cudf.easy.log                           07-Jul-2010 08:23               18605
rand8d117b.cudf.easy.log.time                      07-Jul-2010 08:23                 204
rand8d117b.cudf.easy.result.bz2                    07-Jul-2010 08:23                8937
rand908403.cudf.difficult.error                    07-Jul-2010 08:23                  92
rand908403.cudf.difficult.log                      07-Jul-2010 08:23               21975
rand908403.cudf.difficult.log.time                 07-Jul-2010 08:23                 203
rand908403.cudf.difficult.result.bz2               07-Jul-2010 08:23                4974
rand951a14.cudf.easy.error                         07-Jul-2010 08:23                  92
rand951a14.cudf.easy.log                           07-Jul-2010 08:23               18628
rand951a14.cudf.easy.log.time                      07-Jul-2010 08:23                 203
rand951a14.cudf.easy.result.bz2                    07-Jul-2010 08:23                8732
rand95e48b.cudf.difficult.error                    07-Jul-2010 08:23                  92
rand95e48b.cudf.difficult.log                      07-Jul-2010 08:23               24409
rand95e48b.cudf.difficult.log.time                 07-Jul-2010 08:23                 202
rand95e48b.cudf.difficult.result.bz2               07-Jul-2010 08:23                4951
randa223c3.cudf.impossible.abort                   07-Jul-2010 08:23                  49
randa223c3.cudf.impossible.log                     07-Jul-2010 08:23               33800
randa223c3.cudf.impossible.log.time                07-Jul-2010 08:23                 204
randa223c3.cudf.impossible.result.bz2              07-Jul-2010 08:23                  14
randa45895.cudf.difficult.error                    07-Jul-2010 08:23                  92
randa45895.cudf.difficult.log                      07-Jul-2010 08:23               24448
randa45895.cudf.difficult.log.time                 07-Jul-2010 08:23                 204
randa45895.cudf.difficult.result.bz2               07-Jul-2010 08:23                  56
randa651ed.cudf.difficult.error                    07-Jul-2010 08:23                  92
randa651ed.cudf.difficult.log                      07-Jul-2010 08:23               23612
randa651ed.cudf.difficult.log.time                 07-Jul-2010 08:23                 204
randa651ed.cudf.difficult.result.bz2               07-Jul-2010 08:23                4506
randa870aa.cudf.difficult.error                    07-Jul-2010 08:23                  92
randa870aa.cudf.difficult.log                      07-Jul-2010 08:23               21272
randa870aa.cudf.difficult.log.time                 07-Jul-2010 08:23                 202
randa870aa.cudf.difficult.result.bz2               07-Jul-2010 08:23                4903
randa9ba44.cudf.easy.error                         07-Jul-2010 08:23                  92
randa9ba44.cudf.easy.log                           07-Jul-2010 08:23               15515
randa9ba44.cudf.easy.log.time                      07-Jul-2010 08:23                 203
randa9ba44.cudf.easy.result.bz2                    07-Jul-2010 08:23                9033
randaaa8ea.cudf.easy.error                         07-Jul-2010 08:23                  92
randaaa8ea.cudf.easy.log                           07-Jul-2010 08:23               16533
randaaa8ea.cudf.easy.log.time                      07-Jul-2010 08:23                 204
randaaa8ea.cudf.easy.result.bz2                    07-Jul-2010 08:23                8877
randaafcce.cudf.impossible.error                   07-Jul-2010 08:23                  92
randaafcce.cudf.impossible.log                     07-Jul-2010 08:23               28717
randaafcce.cudf.impossible.log.time                07-Jul-2010 08:23                 202
randaafcce.cudf.impossible.result.bz2              07-Jul-2010 08:23                3961
randadea40.cudf.easy.error                         07-Jul-2010 08:23                  92
randadea40.cudf.easy.log                           07-Jul-2010 08:23               18548
randadea40.cudf.easy.log.time                      07-Jul-2010 08:23                 203
randadea40.cudf.easy.result.bz2                    07-Jul-2010 08:23                8707
randba6b5b.cudf.easy.error                         07-Jul-2010 08:23                  92
randba6b5b.cudf.easy.log                           07-Jul-2010 08:23               16989
randba6b5b.cudf.easy.log.time                      07-Jul-2010 08:23                 204
randba6b5b.cudf.easy.result.bz2                    07-Jul-2010 08:23                8974
randbe9acf.cudf.easy.error                         07-Jul-2010 08:23                  92
randbe9acf.cudf.easy.log                           07-Jul-2010 08:23               18592
randbe9acf.cudf.easy.log.time                      07-Jul-2010 08:23                 202
randbe9acf.cudf.easy.result.bz2                    07-Jul-2010 08:23                9022
randc10393.cudf.difficult.error                    07-Jul-2010 08:23                  92
randc10393.cudf.difficult.log                      07-Jul-2010 08:23               21205
randc10393.cudf.difficult.log.time                 07-Jul-2010 08:23                 202
randc10393.cudf.difficult.result.bz2               07-Jul-2010 08:23                5034
randc192b7.cudf.easy.error                         07-Jul-2010 08:23                  92
randc192b7.cudf.easy.log                           07-Jul-2010 08:23               14768
randc192b7.cudf.easy.log.time                      07-Jul-2010 08:23                 202
randc192b7.cudf.easy.result.bz2                    07-Jul-2010 08:23                9310
randd8bf6a.cudf.difficult.error                    07-Jul-2010 08:23                  92
randd8bf6a.cudf.difficult.log                      07-Jul-2010 08:23               24664
randd8bf6a.cudf.difficult.log.time                 07-Jul-2010 08:23                 203
randd8bf6a.cudf.difficult.result.bz2               07-Jul-2010 08:23                4173
rande4fcd8.cudf.difficult.error                    07-Jul-2010 08:23                  92
rande4fcd8.cudf.difficult.log                      07-Jul-2010 08:23               23371
rande4fcd8.cudf.difficult.log.time                 07-Jul-2010 08:23                 204
rande4fcd8.cudf.difficult.result.bz2               07-Jul-2010 08:23                4811
randea6106.cudf.easy.error                         07-Jul-2010 08:23                  92
randea6106.cudf.easy.log                           07-Jul-2010 08:23               16997
randea6106.cudf.easy.log.time                      07-Jul-2010 08:23                 201
randea6106.cudf.easy.result.bz2                    07-Jul-2010 08:23                9079
randeb343c.cudf.easy.error                         07-Jul-2010 08:23                  92
randeb343c.cudf.easy.log                           07-Jul-2010 08:23               17906
randeb343c.cudf.easy.log.time                      07-Jul-2010 08:23                 204
randeb343c.cudf.easy.result.bz2                    07-Jul-2010 08:23                9079
randec88d5.cudf.impossible.error                   07-Jul-2010 08:23                  92
randec88d5.cudf.impossible.log                     07-Jul-2010 08:23               35086
randec88d5.cudf.impossible.log.time                07-Jul-2010 08:23                 204
randec88d5.cudf.impossible.result.bz2              07-Jul-2010 08:23                4054
randf17677.cudf.difficult.error                    07-Jul-2010 08:23                  92
randf17677.cudf.difficult.log                      07-Jul-2010 08:23               24036
randf17677.cudf.difficult.log.time                 07-Jul-2010 08:23                 204
randf17677.cudf.difficult.result.bz2               07-Jul-2010 08:23                4680
randf406d5.cudf.difficult.error                    07-Jul-2010 08:23                  92
randf406d5.cudf.difficult.log                      07-Jul-2010 08:23               24001
randf406d5.cudf.difficult.log.time                 07-Jul-2010 08:23                 204
randf406d5.cudf.difficult.result.bz2               07-Jul-2010 08:23                  56
randf61f65.cudf.difficult.error                    07-Jul-2010 08:23                  92
randf61f65.cudf.difficult.log                      07-Jul-2010 08:23               24508
randf61f65.cudf.difficult.log.time                 07-Jul-2010 08:23                 203
randf61f65.cudf.difficult.result.bz2               07-Jul-2010 08:23                5260
randf7a7e4.cudf.easy.error                         07-Jul-2010 08:23                  92
randf7a7e4.cudf.easy.log                           07-Jul-2010 08:23               23507
randf7a7e4.cudf.easy.log.time                      07-Jul-2010 08:23                 203
randf7a7e4.cudf.easy.result.bz2                    07-Jul-2010 08:23                7097
randfa4522.cudf.impossible.error                   07-Jul-2010 08:23                  92
randfa4522.cudf.impossible.log                     07-Jul-2010 08:23               24576
randfa4522.cudf.impossible.log.time                07-Jul-2010 08:23                 202
randfa4522.cudf.impossible.result.bz2              07-Jul-2010 08:23                4006
small1.cudf.cudf_set.error                         07-Jul-2010 08:23                  92
small1.cudf.cudf_set.log                           07-Jul-2010 08:23                4933
small1.cudf.cudf_set.log.time                      07-Jul-2010 08:23                 205
small1.cudf.cudf_set.result.bz2                    07-Jul-2010 08:23                  56
small2.cudf.cudf_set.error                         07-Jul-2010 08:23                  92
small2.cudf.cudf_set.log                           07-Jul-2010 08:23                6121
small2.cudf.cudf_set.log.time                      07-Jul-2010 08:23                 205
small2.cudf.cudf_set.result.bz2                    07-Jul-2010 08:23                  56
small3.cudf.cudf_set.error                         07-Jul-2010 08:23                  92
small3.cudf.cudf_set.log                           07-Jul-2010 08:23                7019
small3.cudf.cudf_set.log.time                      07-Jul-2010 08:23                 205
small3.cudf.cudf_set.result.bz2                    07-Jul-2010 08:23                  56