Index of /papers/icse2012/results/solutions/p2cudf-trendy-1.6/


../
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               33334
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               64713
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                 204
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                5167
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               34852
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               71987
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                 204
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                6438
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52               36104
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52               68272
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                 203
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                5928
rand108.sarge-etch.cudf.sarge-etch.error           28-Jul-2010 13:52               33384
rand108.sarge-etch.cudf.sarge-etch.log             28-Jul-2010 13:52               65470
rand108.sarge-etch.cudf.sarge-etch.log.time        28-Jul-2010 13:52                 202
rand108.sarge-etch.cudf.sarge-etch.result.bz2      28-Jul-2010 13:52                7185
rand108.sarge.cudf.sarge.error                     28-Jul-2010 13:52               18536
rand108.sarge.cudf.sarge.log                       28-Jul-2010 13:52               66659
rand108.sarge.cudf.sarge.log.time                  28-Jul-2010 13:52                 202
rand108.sarge.cudf.sarge.result.bz2                28-Jul-2010 13:52                6979
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               78286
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               70162
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                 204
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               14867
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               32710
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               64703
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                 203
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                4860
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52               35311
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52               60492
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                 203
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                4810
rand165.sarge-etch.cudf.sarge-etch.error           28-Jul-2010 13:52               31110
rand165.sarge-etch.cudf.sarge-etch.log             28-Jul-2010 13:52               42618
rand165.sarge-etch.cudf.sarge-etch.log.time        28-Jul-2010 13:52                 203
rand165.sarge-etch.cudf.sarge-etch.result.bz2      28-Jul-2010 13:52                5859
rand165.sarge.cudf.sarge.error                     28-Jul-2010 13:52               23945
rand165.sarge.cudf.sarge.log                       28-Jul-2010 13:52               50424
rand165.sarge.cudf.sarge.log.time                  28-Jul-2010 13:52                 203
rand165.sarge.cudf.sarge.result.bz2                28-Jul-2010 13:52                5815
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               32486
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               69723
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                 204
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                6141
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               31805
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               63802
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                 203
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                6040
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52               33250
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52               65166
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                 203
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                5614
rand180.sarge-etch.cudf.sarge-etch.error           28-Jul-2010 13:52               29455
rand180.sarge-etch.cudf.sarge-etch.log             28-Jul-2010 13:52               66377
rand180.sarge-etch.cudf.sarge-etch.log.time        28-Jul-2010 13:52                 203
rand180.sarge-etch.cudf.sarge-etch.result.bz2      28-Jul-2010 13:52                6536
rand180.sarge.cudf.sarge.error                     28-Jul-2010 13:52               15957
rand180.sarge.cudf.sarge.log                       28-Jul-2010 13:52               66705
rand180.sarge.cudf.sarge.log.time                  28-Jul-2010 13:52                 204
rand180.sarge.cudf.sarge.result.bz2                28-Jul-2010 13:52                6367
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               45114
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               74117
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                 204
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                8913
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               31736
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               64087
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                 204
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                6177
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52               41872
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52               60913
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                 203
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                8318
rand316.sarge-etch.cudf.sarge-etch.error           28-Jul-2010 13:52               31491
rand316.sarge-etch.cudf.sarge-etch.log             28-Jul-2010 13:52               65632
rand316.sarge-etch.cudf.sarge-etch.log.time        28-Jul-2010 13:52                 204
rand316.sarge-etch.cudf.sarge-etch.result.bz2      28-Jul-2010 13:52                6799
rand316.sarge.cudf.sarge.error                     28-Jul-2010 13:52               15986
rand316.sarge.cudf.sarge.log                       28-Jul-2010 13:52               58487
rand316.sarge.cudf.sarge.log.time                  28-Jul-2010 13:52                 202
rand316.sarge.cudf.sarge.result.bz2                28-Jul-2010 13:52                6615
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               39415
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               65485
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                 203
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                6415
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               48125
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               64948
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                 204
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                9326
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52               34963
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52               70276
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                 204
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                5644
rand494.sarge-etch.cudf.sarge-etch.error           28-Jul-2010 13:52               30909
rand494.sarge-etch.cudf.sarge-etch.log             28-Jul-2010 13:52               72537
rand494.sarge-etch.cudf.sarge-etch.log.time        28-Jul-2010 13:52                 202
rand494.sarge-etch.cudf.sarge-etch.result.bz2      28-Jul-2010 13:52                6625
rand494.sarge.cudf.sarge.error                     28-Jul-2010 13:52               15849
rand494.sarge.cudf.sarge.log                       28-Jul-2010 13:52               36733
rand494.sarge.cudf.sarge.log.time                  28-Jul-2010 13:52                 204
rand494.sarge.cudf.sarge.result.bz2                28-Jul-2010 13:52                6243
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               33175
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               67874
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                 204
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                6004
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               45072
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               69675
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                 202
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                8959
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52               42542
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52               62246
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                 204
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                8426
rand550.sarge-etch.cudf.sarge-etch.error           28-Jul-2010 13:52               31160
rand550.sarge-etch.cudf.sarge-etch.log             28-Jul-2010 13:52               62167
rand550.sarge-etch.cudf.sarge-etch.log.time        28-Jul-2010 13:52                 204
rand550.sarge-etch.cudf.sarge-etch.result.bz2      28-Jul-2010 13:52                6746
rand550.sarge.cudf.sarge.error                     28-Jul-2010 13:52               16674
rand550.sarge.cudf.sarge.log                       28-Jul-2010 13:52               71839
rand550.sarge.cudf.sarge.log.time                  28-Jul-2010 13:52                 204
rand550.sarge.cudf.sarge.result.bz2                28-Jul-2010 13:52                6589
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               48122
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               69321
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                 203
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                8999
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               68458
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               69658
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                 204
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               13182
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52               44572
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52               70213
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                 204
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                8637
rand753.sarge-etch.cudf.sarge-etch.error           28-Jul-2010 13:52               32042
rand753.sarge-etch.cudf.sarge-etch.log             28-Jul-2010 13:52               71611
rand753.sarge-etch.cudf.sarge-etch.log.time        28-Jul-2010 13:52                 204
rand753.sarge-etch.cudf.sarge-etch.result.bz2      28-Jul-2010 13:52                6182
rand753.sarge.cudf.sarge.error                     28-Jul-2010 13:52               16165
rand753.sarge.cudf.sarge.log                       28-Jul-2010 13:52               23277
rand753.sarge.cudf.sarge.log.time                  28-Jul-2010 13:52                 202
rand753.sarge.cudf.sarge.result.bz2                28-Jul-2010 13:52                5560
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               33286
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               73815
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                 204
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                5378
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               42931
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               69289
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                 202
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                8392
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52               36685
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52               69287
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                 203
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                7277
rand815.sarge-etch.cudf.sarge-etch.error           28-Jul-2010 13:52               30469
rand815.sarge-etch.cudf.sarge-etch.log             28-Jul-2010 13:52               72221
rand815.sarge-etch.cudf.sarge-etch.log.time        28-Jul-2010 13:52                 204
rand815.sarge-etch.cudf.sarge-etch.result.bz2      28-Jul-2010 13:52                6524
rand815.sarge.cudf.sarge.error                     28-Jul-2010 13:52               17120
rand815.sarge.cudf.sarge.log                       28-Jul-2010 13:52               67825
rand815.sarge.cudf.sarge.log.time                  28-Jul-2010 13:52                 203
rand815.sarge.cudf.sarge.result.bz2                28-Jul-2010 13:52                6344
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               44500
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               72538
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                 204
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                8813
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               42395
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               65531
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                 203
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                8559
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52               43842
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52               66916
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                 204
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                8204
rand915.sarge-etch.cudf.sarge-etch.error           28-Jul-2010 13:52               32101
rand915.sarge-etch.cudf.sarge-etch.log             28-Jul-2010 13:52               68253
rand915.sarge-etch.cudf.sarge-etch.log.time        28-Jul-2010 13:52                 204
rand915.sarge-etch.cudf.sarge-etch.result.bz2      28-Jul-2010 13:52                8053
rand915.sarge.cudf.sarge.error                     28-Jul-2010 13:52                1734
rand915.sarge.cudf.sarge.log                       28-Jul-2010 13:52               27326
rand915.sarge.cudf.sarge.log.time                  28-Jul-2010 13:52                 204
rand915.sarge.cudf.sarge.result.bz2                28-Jul-2010 13:52                  67
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                2478
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               53933
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                 198
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                  14
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               32171
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               69713
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                 203
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                6335
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52               33880
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52               70256
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                 202
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                5735
rand986.sarge-etch.cudf.sarge-etch.error           28-Jul-2010 13:52               30514
rand986.sarge-etch.cudf.sarge-etch.log             28-Jul-2010 13:52               62748
rand986.sarge-etch.cudf.sarge-etch.log.time        28-Jul-2010 13:52                 203
rand986.sarge-etch.cudf.sarge-etch.result.bz2      28-Jul-2010 13:52                6850
rand986.sarge.cudf.sarge.error                     28-Jul-2010 13:52               16714
rand986.sarge.cudf.sarge.log                       28-Jul-2010 13:52               63011
rand986.sarge.cudf.sarge.log.time                  28-Jul-2010 13:52                 204
rand986.sarge.cudf.sarge.result.bz2                28-Jul-2010 13:52                6824