Index of /papers/icse2012/results/solutions/p2cudf-paranoid-1.6/
../
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 7553
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 65465
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:52 5251
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 7398
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 67683
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 5244
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 7163
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 56672
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 5213
rand108.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 6737
rand108.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 57506
rand108.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 203
rand108.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 5183
rand108.sarge.cudf.sarge.error 28-Jul-2010 13:52 6497
rand108.sarge.cudf.sarge.log 28-Jul-2010 13:52 44650
rand108.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 204
rand108.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 5176
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 41195
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 69628
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 7375
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 40849
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 63950
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 7353
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 19294
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 40975
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 204
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 4151
rand165.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 18921
rand165.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 41175
rand165.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 204
rand165.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 4123
rand165.sarge.cudf.sarge.error 28-Jul-2010 13:52 18899
rand165.sarge.cudf.sarge.log 28-Jul-2010 13:52 27102
rand165.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 204
rand165.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 4115
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 8694
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 65489
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 5054
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 8636
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 67996
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 5049
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 7753
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 29707
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 5000
rand180.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 7563
rand180.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 49602
rand180.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 204
rand180.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 4968
rand180.sarge.cudf.sarge.error 28-Jul-2010 13:52 7330
rand180.sarge.cudf.sarge.log 28-Jul-2010 13:52 39895
rand180.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 203
rand180.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 4946
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 11028
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 65188
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 204
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 5338
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 10866
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 64130
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 201
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 5354
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 10904
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 64407
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:52 5279
rand316.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 7382
rand316.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 56807
rand316.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 204
rand316.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 5043
rand316.sarge.cudf.sarge.error 28-Jul-2010 13:52 7445
rand316.sarge.cudf.sarge.log 28-Jul-2010 13:52 54402
rand316.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 204
rand316.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 5054
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 11249
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 66370
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 202
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 5118
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 10944
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 69219
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 204
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 5086
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 8523
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 27348
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 202
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 4955
rand494.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 8012
rand494.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 37076
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 4910
rand494.sarge.cudf.sarge.error 28-Jul-2010 13:52 7952
rand494.sarge.cudf.sarge.log 28-Jul-2010 13:52 36382
rand494.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 202
rand494.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 4881
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 10093
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 66974
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:52 5312
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 10139
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 71341
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 204
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 5303
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 9697
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 68893
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 5272
rand550.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 7574
rand550.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 52383
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 5121
rand550.sarge.cudf.sarge.error 28-Jul-2010 13:52 7545
rand550.sarge.cudf.sarge.log 28-Jul-2010 13:52 46142
rand550.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 204
rand550.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 5115
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 30715
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 72263
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 204
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 6751
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 28967
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 66715
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 204
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 6437
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 21123
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 73836
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 203
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 5231
rand753.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 13767
rand753.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 49890
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 4560
rand753.sarge.cudf.sarge.error 28-Jul-2010 13:52 13300
rand753.sarge.cudf.sarge.log 28-Jul-2010 13:52 50808
rand753.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 204
rand753.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 4434
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 12738
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 72025
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 204
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 5135
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 13170
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 69372
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 201
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 5136
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 10915
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 71175
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 202
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 5007
rand815.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 10245
rand815.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 67147
rand815.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 204
rand815.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 5002
rand815.sarge.cudf.sarge.error 28-Jul-2010 13:52 11016
rand815.sarge.cudf.sarge.log 28-Jul-2010 13:52 75939
rand815.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 204
rand815.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 4967
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 8762
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 67260
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 204
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 5134
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 8531
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 62292
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 203
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 5139
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 25624
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 70556
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:52 5712
rand915.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 23440
rand915.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 66848
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 5470
rand915.sarge.cudf.sarge.error 28-Jul-2010 13:52 1740
rand915.sarge.cudf.sarge.log 28-Jul-2010 13:52 26990
rand915.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 203
rand915.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 67
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 6959
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 66976
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 5375
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 7028
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 68331
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 203
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 5359
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 6996
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 59495
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 202
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 5306
rand986.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 6559
rand986.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 50614
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 5215
rand986.sarge.cudf.sarge.error 28-Jul-2010 13:52 6311
rand986.sarge.cudf.sarge.log 28-Jul-2010 13:52 42131
rand986.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 204
rand986.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 5109