Index of /papers/icse2012/results/solutions/inesct-1.0/
../
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 49
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 28340
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 201
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 14
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 49
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 28470
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 0
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 14
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 92
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 29451
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 204
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 8596
rand108.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 92
rand108.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 23858
rand108.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 203
rand108.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 7191
rand108.sarge.cudf.sarge.error 28-Jul-2010 13:51 92
rand108.sarge.cudf.sarge.log 28-Jul-2010 13:51 13898
rand108.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 204
rand108.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 7002
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 49
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 28289
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 201
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 14
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 49
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 28303
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 202
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 14
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 92
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 29515
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 204
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 7393
rand165.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 92
rand165.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 23894
rand165.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 204
rand165.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 5838
rand165.sarge.cudf.sarge.error 28-Jul-2010 13:51 92
rand165.sarge.cudf.sarge.log 28-Jul-2010 13:52 14603
rand165.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 203
rand165.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 5808
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 49
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 26856
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 201
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 14
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 49
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 26408
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 204
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 14
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 92
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 31727
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 204
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 7926
rand180.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 92
rand180.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 27012
rand180.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 204
rand180.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 6531
rand180.sarge.cudf.sarge.error 28-Jul-2010 13:52 92
rand180.sarge.cudf.sarge.log 28-Jul-2010 13:52 13851
rand180.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 204
rand180.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 6382
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 49
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 28383
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 201
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 14
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 49
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 26386
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:51 14
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 92
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 27976
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 204
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 8302
rand316.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 92
rand316.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 27055
rand316.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 202
rand316.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 6785
rand316.sarge.cudf.sarge.error 28-Jul-2010 13:51 92
rand316.sarge.cudf.sarge.log 28-Jul-2010 13:51 13951
rand316.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 204
rand316.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 6584
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 49
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 28386
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 201
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 14
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 49
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 28907
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 14
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 92
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 33954
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 203
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 8139
rand494.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 92
rand494.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 26078
rand494.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 203
rand494.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 6620
rand494.sarge.cudf.sarge.error 28-Jul-2010 13:51 92
rand494.sarge.cudf.sarge.log 28-Jul-2010 13:52 15679
rand494.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 204
rand494.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 6236
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 49
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 28418
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:51 14
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 49
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 28894
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 203
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 14
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 92
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 29183
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 203
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 8377
rand550.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 92
rand550.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 24375
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:51 6756
rand550.sarge.cudf.sarge.error 28-Jul-2010 13:52 92
rand550.sarge.cudf.sarge.log 28-Jul-2010 13:51 15634
rand550.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 204
rand550.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 6575
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 49
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 27340
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 203
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 14
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 49
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 28442
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 203
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 14
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 92
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 29074
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:52 9080
rand753.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 92
rand753.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 26089
rand753.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 204
rand753.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 6176
rand753.sarge.cudf.sarge.error 28-Jul-2010 13:52 92
rand753.sarge.cudf.sarge.log 28-Jul-2010 13:51 15627
rand753.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 204
rand753.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 5540
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 49
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 28891
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 203
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 14
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 49
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 28570
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 204
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 14
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 92
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 34925
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 7837
rand815.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 92
rand815.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 24329
rand815.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 204
rand815.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 6541
rand815.sarge.cudf.sarge.error 28-Jul-2010 13:51 92
rand815.sarge.cudf.sarge.log 28-Jul-2010 13:51 14800
rand815.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 204
rand815.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 6315
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 49
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 28899
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 203
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 14
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 49
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 30142
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 204
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 14
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 49
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 27297
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 203
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 14
rand915.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 92
rand915.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 25896
rand915.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 204
rand915.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 8054
rand915.sarge.cudf.sarge.error 28-Jul-2010 13:51 92
rand915.sarge.cudf.sarge.log 28-Jul-2010 13:52 10147
rand915.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 204
rand915.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 56
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 49
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 26846
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 204
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:51 49
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 28481
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 205
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 14
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 92
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 30062
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 204
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 8146
rand986.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 92
rand986.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 24545
rand986.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 204
rand986.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 6829
rand986.sarge.cudf.sarge.error 28-Jul-2010 13:51 92
rand986.sarge.cudf.sarge.log 28-Jul-2010 13:51 15629
rand986.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 204
rand986.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 6825