Index of /papers/icse2012/results/solutions/inescp-1.0/
../
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 134
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 21815
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 204
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 5258
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 92
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 20879
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 201
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 5244
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 92
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 20870
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 5219
rand108.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 92
rand108.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 16886
rand108.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 204
rand108.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 5174
rand108.sarge.cudf.sarge.error 28-Jul-2010 13:51 92
rand108.sarge.cudf.sarge.log 28-Jul-2010 13:51 11099
rand108.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 204
rand108.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 5168
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 49
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 25752
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 204
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 27900
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 204
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:51 25469
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:51 4163
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 19294
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 4123
rand165.sarge.cudf.sarge.error 28-Jul-2010 13:51 92
rand165.sarge.cudf.sarge.log 28-Jul-2010 13:51 14566
rand165.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 204
rand165.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 4127
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 92
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 21911
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 203
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 5048
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 92
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 24022
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 204
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 5061
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:51 22462
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 5007
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 17082
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 4954
rand180.sarge.cudf.sarge.error 28-Jul-2010 13:51 92
rand180.sarge.cudf.sarge.log 28-Jul-2010 13:51 11760
rand180.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 203
rand180.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 4952
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 49
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 26223
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 202
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 28347
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 202
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 26391
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 245
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 5301
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 17090
rand316.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 204
rand316.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 5048
rand316.sarge.cudf.sarge.error 28-Jul-2010 13:51 92
rand316.sarge.cudf.sarge.log 28-Jul-2010 13:51 10889
rand316.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 204
rand316.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 5050
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 92
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 22790
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 203
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 5098
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 92
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 22969
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 204
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 5096
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 18200
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 204
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 4957
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 15133
rand494.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 203
rand494.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 4895
rand494.sarge.cudf.sarge.error 28-Jul-2010 13:51 92
rand494.sarge.cudf.sarge.log 28-Jul-2010 13:51 10353
rand494.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 204
rand494.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 4878
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 92
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 23214
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 203
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 5299
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 92
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 19764
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 203
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 5306
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 21297
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 204
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 5286
rand550.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 92
rand550.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 14255
rand550.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 204
rand550.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 5114
rand550.sarge.cudf.sarge.error 28-Jul-2010 13:51 92
rand550.sarge.cudf.sarge.log 28-Jul-2010 13:51 12583
rand550.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 203
rand550.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 5112
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 28318
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 202
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 92
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 30110
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 204
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 6319
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 22908
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 204
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 5189
rand753.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 92
rand753.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 19772
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 4542
rand753.sarge.cudf.sarge.error 28-Jul-2010 13:51 92
rand753.sarge.cudf.sarge.log 28-Jul-2010 13:51 12518
rand753.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 203
rand753.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 4450
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 92
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 26339
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 202
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 5148
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 92
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 29501
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 5137
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:51 24461
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 5011
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 18283
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 4995
rand815.sarge.cudf.sarge.error 28-Jul-2010 13:51 92
rand815.sarge.cudf.sarge.log 28-Jul-2010 13:51 10174
rand815.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 201
rand815.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 4965
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 92
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 16922
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:51 5138
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 92
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 25426
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 204
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 5131
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:51 28919
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 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:51 92
rand915.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 22906
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 5458
rand915.sarge.cudf.sarge.error 28-Jul-2010 13:51 92
rand915.sarge.cudf.sarge.log 28-Jul-2010 13:51 11935
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 92
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 23867
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 203
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 5378
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 92
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 22919
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 203
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 5366
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 23053
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 5297
rand986.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 92
rand986.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 16650
rand986.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 201
rand986.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 5203
rand986.sarge.cudf.sarge.error 28-Jul-2010 13:51 92
rand986.sarge.cudf.sarge.log 28-Jul-2010 13:51 11279
rand986.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 203
rand986.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 5122