Index of /papers/icse2012/results/solutions/uns-trendy-0.0002/


../
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                2605
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               12379
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                 203
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               35386
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                2388
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               11485
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                 202
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               35324
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                2427
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52                9609
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                 204
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52               33921
rand108.sarge-etch.cudf.sarge-etch.error           28-Jul-2010 13:52                2279
rand108.sarge-etch.cudf.sarge-etch.log             28-Jul-2010 13:52                7066
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               38191
rand108.sarge.cudf.sarge.error                     28-Jul-2010 13:52                2107
rand108.sarge.cudf.sarge.log                       28-Jul-2010 13:52                6028
rand108.sarge.cudf.sarge.log.time                  28-Jul-2010 13:52                 206
rand108.sarge.cudf.sarge.result.bz2                28-Jul-2010 13:52               37506
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                5417
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               17463
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                 203
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               60363
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                3529
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               15007
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               53744
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                2675
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52               12333
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               29129
rand165.sarge-etch.cudf.sarge-etch.error           28-Jul-2010 13:52                2659
rand165.sarge-etch.cudf.sarge-etch.log             28-Jul-2010 13:52                7058
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               32077
rand165.sarge.cudf.sarge.error                     28-Jul-2010 13:52                1869
rand165.sarge.cudf.sarge.log                       28-Jul-2010 13:52                6821
rand165.sarge.cudf.sarge.log.time                  28-Jul-2010 13:52                 206
rand165.sarge.cudf.sarge.result.bz2                28-Jul-2010 13:52               31614
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                2968
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               15763
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                 203
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               33970
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                4580
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               13272
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                 202
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               33964
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                2552
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52               12347
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                 204
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52               32821
rand180.sarge-etch.cudf.sarge-etch.error           28-Jul-2010 13:52                2364
rand180.sarge-etch.cudf.sarge-etch.log             28-Jul-2010 13:52               10396
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               35152
rand180.sarge.cudf.sarge.error                     28-Jul-2010 13:52                1865
rand180.sarge.cudf.sarge.log                       28-Jul-2010 13:52                6015
rand180.sarge.cudf.sarge.log.time                  28-Jul-2010 13:52                 205
rand180.sarge.cudf.sarge.result.bz2                28-Jul-2010 13:52               34677
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                2707
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               13984
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                 202
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               40459
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                3806
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               12397
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                 203
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               39805
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                3442
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52                9714
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               37995
rand316.sarge-etch.cudf.sarge-etch.error           28-Jul-2010 13:52                2280
rand316.sarge-etch.cudf.sarge-etch.log             28-Jul-2010 13:52                8646
rand316.sarge-etch.cudf.sarge-etch.log.time        28-Jul-2010 13:52                 203
rand316.sarge-etch.cudf.sarge-etch.result.bz2      28-Jul-2010 13:52               36362
rand316.sarge.cudf.sarge.error                     28-Jul-2010 13:52                1865
rand316.sarge.cudf.sarge.log                       28-Jul-2010 13:52                6030
rand316.sarge.cudf.sarge.log.time                  28-Jul-2010 13:52                 205
rand316.sarge.cudf.sarge.result.bz2                28-Jul-2010 13:52               35847
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                5216
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               17527
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               38485
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                3290
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               16144
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                 203
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               37945
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                4514
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52               12541
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                 203
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52               32682
rand494.sarge-etch.cudf.sarge-etch.error           28-Jul-2010 13:52                2683
rand494.sarge-etch.cudf.sarge-etch.log             28-Jul-2010 13:52               11440
rand494.sarge-etch.cudf.sarge-etch.log.time        28-Jul-2010 13:52                 204
rand494.sarge-etch.cudf.sarge-etch.result.bz2      28-Jul-2010 13:52               35495
rand494.sarge.cudf.sarge.error                     28-Jul-2010 13:52                1868
rand494.sarge.cudf.sarge.log                       28-Jul-2010 13:52                6987
rand494.sarge.cudf.sarge.log.time                  28-Jul-2010 13:52                 206
rand494.sarge.cudf.sarge.result.bz2                28-Jul-2010 13:52               34296
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                3984
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               15095
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                 202
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               39890
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                2918
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               12566
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               39591
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                3536
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52                9760
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               37638
rand550.sarge-etch.cudf.sarge-etch.error           28-Jul-2010 13:52                2507
rand550.sarge-etch.cudf.sarge-etch.log             28-Jul-2010 13:52                8030
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               36178
rand550.sarge.cudf.sarge.error                     28-Jul-2010 13:52                1866
rand550.sarge.cudf.sarge.log                       28-Jul-2010 13:52                6111
rand550.sarge.cudf.sarge.log.time                  28-Jul-2010 13:52                 205
rand550.sarge.cudf.sarge.result.bz2                28-Jul-2010 13:52               35542
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                3868
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               15987
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                 202
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               52559
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                3242
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               15260
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                 203
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               47675
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                3154
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52               14334
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                 202
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52               38646
rand753.sarge-etch.cudf.sarge-etch.error           28-Jul-2010 13:52                2700
rand753.sarge-etch.cudf.sarge-etch.log             28-Jul-2010 13:52               12327
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               31017
rand753.sarge.cudf.sarge.error                     28-Jul-2010 13:52                1948
rand753.sarge.cudf.sarge.log                       28-Jul-2010 13:52                6970
rand753.sarge.cudf.sarge.log.time                  28-Jul-2010 13:52                 205
rand753.sarge.cudf.sarge.result.bz2                28-Jul-2010 13:52               28599
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                6145
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               17784
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                 202
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               40006
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                3936
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               15243
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               39091
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                3371
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52               14336
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               35752
rand815.sarge-etch.cudf.sarge-etch.error           28-Jul-2010 13:52                2670
rand815.sarge-etch.cudf.sarge-etch.log             28-Jul-2010 13:52               11350
rand815.sarge-etch.cudf.sarge-etch.log.time        28-Jul-2010 13:52                 203
rand815.sarge-etch.cudf.sarge-etch.result.bz2      28-Jul-2010 13:52               35743
rand815.sarge.cudf.sarge.error                     28-Jul-2010 13:52                2270
rand815.sarge.cudf.sarge.log                       28-Jul-2010 13:52                6991
rand815.sarge.cudf.sarge.log.time                  28-Jul-2010 13:52                 205
rand815.sarge.cudf.sarge.result.bz2                28-Jul-2010 13:52               34252
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                4321
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               15997
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                 202
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               38951
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                3190
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               15250
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                 202
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               38486
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                2861
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52               11646
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               36868
rand915.sarge-etch.cudf.sarge-etch.error           28-Jul-2010 13:52                2681
rand915.sarge-etch.cudf.sarge-etch.log             28-Jul-2010 13:52               10561
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               35688
rand915.sarge.cudf.sarge.error                     28-Jul-2010 13:52                1864
rand915.sarge.cudf.sarge.log                       28-Jul-2010 13:52                6112
rand915.sarge.cudf.sarge.log.time                  28-Jul-2010 13:52                 205
rand915.sarge.cudf.sarge.result.bz2                28-Jul-2010 13:52               34978
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                3012
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               16885
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52                 202
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52               36362
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                2949
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               15252
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52                 202
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52               36334
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                2571
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52               11621
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52                 204
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52               35090
rand986.sarge-etch.cudf.sarge-etch.error           28-Jul-2010 13:52                2474
rand986.sarge-etch.cudf.sarge-etch.log             28-Jul-2010 13:52               10527
rand986.sarge-etch.cudf.sarge-etch.log.time        28-Jul-2010 13:52                 202
rand986.sarge-etch.cudf.sarge-etch.result.bz2      28-Jul-2010 13:52               37069
rand986.sarge.cudf.sarge.error                     28-Jul-2010 13:52                2108
rand986.sarge.cudf.sarge.log                       28-Jul-2010 13:52                6992
rand986.sarge.cudf.sarge.log.time                  28-Jul-2010 13:52                 206
rand986.sarge.cudf.sarge.result.bz2                28-Jul-2010 13:52               37918