Index of /papers/icse2012/results/solutions/aspcud-paranoid-1.0/
../
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 113
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 12885
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 0
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 230
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 13780
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 0
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 836
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 16164
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 203
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 5161
rand108.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 764
rand108.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 15470
rand108.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 201
rand108.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 5136
rand108.sarge.cudf.sarge.error 28-Jul-2010 13:51 706
rand108.sarge.cudf.sarge.log 28-Jul-2010 13:51 9761
rand108.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 204
rand108.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 5136
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 161
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 12889
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 0
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 230
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 12903
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 0
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 836
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 18034
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 201
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 4181
rand165.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 764
rand165.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 16123
rand165.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 201
rand165.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 4186
rand165.sarge.cudf.sarge.error 28-Jul-2010 13:51 706
rand165.sarge.cudf.sarge.log 28-Jul-2010 13:51 11522
rand165.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 204
rand165.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 4170
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 161
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 14490
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 0
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 230
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 13871
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 0
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 836
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 14959
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 4999
rand180.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 764
rand180.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 14904
rand180.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 203
rand180.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 4992
rand180.sarge.cudf.sarge.error 28-Jul-2010 13:51 706
rand180.sarge.cudf.sarge.log 28-Jul-2010 13:51 12816
rand180.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 204
rand180.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 4971
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 161
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 14495
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 0
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 230
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 13860
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 0
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 836
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 17355
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 5323
rand316.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 764
rand316.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 15575
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 5145
rand316.sarge.cudf.sarge.error 28-Jul-2010 13:51 706
rand316.sarge.cudf.sarge.log 28-Jul-2010 13:51 8573
rand316.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 203
rand316.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 5098
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 161
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 12954
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 0
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 230
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 14068
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 0
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 836
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 15214
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 4969
rand494.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 764
rand494.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 15144
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 4964
rand494.sarge.cudf.sarge.error 28-Jul-2010 13:51 706
rand494.sarge.cudf.sarge.log 28-Jul-2010 13:51 12367
rand494.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 204
rand494.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 4920
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 161
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 13119
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 0
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 230
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 12450
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 0
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 836
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 16441
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 203
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 5291
rand550.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 764
rand550.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 15144
rand550.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 202
rand550.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 5174
rand550.sarge.cudf.sarge.error 28-Jul-2010 13:51 706
rand550.sarge.cudf.sarge.log 28-Jul-2010 13:51 13005
rand550.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 203
rand550.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 5157
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 161
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 13100
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 0
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 230
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 12453
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 0
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 836
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 21394
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 202
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 5253
rand753.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 764
rand753.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 18293
rand753.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 203
rand753.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 4641
rand753.sarge.cudf.sarge.error 28-Jul-2010 13:51 706
rand753.sarge.cudf.sarge.log 28-Jul-2010 13:51 10459
rand753.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 204
rand753.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 4497
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 161
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 13105
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 0
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 230
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 12455
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 0
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 836
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 16424
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 4985
rand815.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 764
rand815.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 15145
rand815.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 202
rand815.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 5053
rand815.sarge.cudf.sarge.error 28-Jul-2010 13:51 706
rand815.sarge.cudf.sarge.log 28-Jul-2010 13:51 13014
rand815.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 204
rand815.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 4987
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 161
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 13085
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 0
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 230
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 14041
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 0
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 836
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 18915
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 5060
rand915.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 764
rand915.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 13900
rand915.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:51 201
rand915.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:51 5049
rand915.sarge.cudf.sarge.error 28-Jul-2010 13:51 706
rand915.sarge.cudf.sarge.log 28-Jul-2010 13:51 13987
rand915.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 204
rand915.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 5021
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 161
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 13149
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:51 0
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 230
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 14030
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:51 0
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 836
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:51 18929
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 202
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:51 5322
rand986.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:51 764
rand986.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:51 15817
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 5251
rand986.sarge.cudf.sarge.error 28-Jul-2010 13:51 706
rand986.sarge.cudf.sarge.log 28-Jul-2010 13:51 11142
rand986.sarge.cudf.sarge.log.time 28-Jul-2010 13:51 204
rand986.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:51 5144