Index of /papers/icse2012/results/solutions/aspcud-trendy-1.2/
../
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 555
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 12230
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 204
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 652
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 11545
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 201
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 1552
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 17303
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 202
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 5314
rand108.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 1438
rand108.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 17593
rand108.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 202
rand108.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 5946
rand108.sarge.cudf.sarge.abort 28-Jul-2010 13:51 1352
rand108.sarge.cudf.sarge.log 28-Jul-2010 13:51 18594
rand108.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 203
rand108.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 5941
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 603
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 11111
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 204
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 652
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 11541
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 201
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 1555
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 18894
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 203
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 4334
rand165.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 1447
rand165.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 18264
rand165.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 203
rand165.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 4713
rand165.sarge.cudf.sarge.error 28-Jul-2010 13:51 1355
rand165.sarge.cudf.sarge.log 28-Jul-2010 13:51 13614
rand165.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 202
rand165.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 4772
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 845
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 11935
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 202
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 58
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 652
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 10681
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 201
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 1552
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 19769
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 203
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 5213
rand180.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 1438
rand180.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 16815
rand180.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 200
rand180.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 5595
rand180.sarge.cudf.sarge.abort 28-Jul-2010 13:51 1352
rand180.sarge.cudf.sarge.log 28-Jul-2010 13:51 15908
rand180.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 202
rand180.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 5627
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 603
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 12277
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 201
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 652
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 10724
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 201
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 1546
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 17460
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 203
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 6103
rand316.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 1438
rand316.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 17992
rand316.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 201
rand316.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 5771
rand316.sarge.cudf.sarge.error 28-Jul-2010 13:51 1352
rand316.sarge.cudf.sarge.log 28-Jul-2010 13:51 21541
rand316.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 203
rand316.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 5794
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 603
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 11582
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 201
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 652
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 10820
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 202
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 1552
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 19889
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 202
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 5191
rand494.sarge-etch.cudf.sarge-etch.abort 28-Jul-2010 13:51 1444
rand494.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 18683
rand494.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 202
rand494.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 14
rand494.sarge.cudf.sarge.error 28-Jul-2010 13:51 1352
rand494.sarge.cudf.sarge.log 28-Jul-2010 13:51 23661
rand494.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 202
rand494.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 5494
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 603
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 11281
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 204
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 652
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 11270
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 204
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 1546
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 17757
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 202
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 5993
rand550.sarge-etch.cudf.sarge-etch.abort 28-Jul-2010 13:51 1444
rand550.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 18256
rand550.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 202
rand550.sarge.cudf.sarge.abort 28-Jul-2010 13:51 1352
rand550.sarge.cudf.sarge.log 28-Jul-2010 13:51 17328
rand550.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 202
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 603
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 11258
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 204
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 652
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 11691
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 202
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 1549
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 17709
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 203
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 6026
rand753.sarge-etch.cudf.sarge-etch.abort 28-Jul-2010 13:51 1447
rand753.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 18275
rand753.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 202
rand753.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 14
rand753.sarge.cudf.sarge.abort 28-Jul-2010 13:51 2536
rand753.sarge.cudf.sarge.log 28-Jul-2010 13:51 16142
rand753.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 202
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 603
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 13307
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 202
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 652
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 12079
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 204
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 1546
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 17795
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 203
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 5734
rand815.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 1438
rand815.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 18686
rand815.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 203
rand815.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 5618
rand815.sarge.cudf.sarge.abort 28-Jul-2010 13:51 2530
rand815.sarge.cudf.sarge.log 28-Jul-2010 13:51 16144
rand815.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 201
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 603
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 11732
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 202
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 652
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 12382
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 202
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 1546
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 17741
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 201
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 5832
rand915.sarge-etch.cudf.sarge-etch.abort 28-Jul-2010 13:51 1444
rand915.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 17097
rand915.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 203
rand915.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 725
rand915.sarge.cudf.sarge.abort 28-Jul-2010 13:51 1352
rand915.sarge.cudf.sarge.log 28-Jul-2010 13:51 16141
rand915.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 202
rand915.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 14
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 603
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 12029
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 202
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 652
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 11986
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 202
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 1552
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 21041
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 203
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 5497
rand986.sarge-etch.cudf.sarge-etch.abort 28-Jul-2010 13:51 1444
rand986.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 17081
rand986.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 202
rand986.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 2885
rand986.sarge.cudf.sarge.error 28-Jul-2010 13:51 1352
rand986.sarge.cudf.sarge.log 28-Jul-2010 13:51 22705
rand986.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 202
rand986.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 6010