Index of /papers/icse2012/results/solutions/uns-paranoid-0.0002/
../
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 1009
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 9500
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 203
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 32422
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 1008
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 8849
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 203
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 32402
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 848
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 7960
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 203
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 32361
rand108.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 926
rand108.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 6736
rand108.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 204
rand108.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 32319
rand108.sarge.cudf.sarge.error 28-Jul-2010 13:52 912
rand108.sarge.cudf.sarge.log 28-Jul-2010 13:52 6007
rand108.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 206
rand108.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 32227
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 2452
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 13978
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 202
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 45555
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 2372
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 11490
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 45488
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 1231
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 7963
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 203
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 27647
rand165.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 1150
rand165.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 6190
rand165.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 201
rand165.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 27559
rand165.sarge.cudf.sarge.error 28-Jul-2010 13:52 1154
rand165.sarge.cudf.sarge.log 28-Jul-2010 13:52 6015
rand165.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 205
rand165.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 27427
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 1181
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 11327
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 204
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 31408
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 1089
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 9732
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 202
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 31350
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 1088
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 8834
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 31115
rand180.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 1166
rand180.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 8570
rand180.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 203
rand180.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 30997
rand180.sarge.cudf.sarge.error 28-Jul-2010 13:52 913
rand180.sarge.cudf.sarge.log 28-Jul-2010 13:52 6040
rand180.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 206
rand180.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 30897
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 2997
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 11353
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 202
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 33514
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 2815
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 10612
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 203
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 33501
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 1259
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 8827
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 203
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 33328
rand316.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 1086
rand316.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 8659
rand316.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 203
rand316.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 31935
rand316.sarge.cudf.sarge.error 28-Jul-2010 13:52 914
rand316.sarge.cudf.sarge.log 28-Jul-2010 13:52 6037
rand316.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 205
rand316.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 31918
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 1586
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 12226
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 203
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 31703
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 1588
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 10623
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 31804
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 849
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 8083
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 204
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 30820
rand494.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 1006
rand494.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 8792
rand494.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 202
rand494.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 30755
rand494.sarge.cudf.sarge.error 28-Jul-2010 13:52 913
rand494.sarge.cudf.sarge.log 28-Jul-2010 13:52 6118
rand494.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 206
rand494.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 30619
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 3042
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 10639
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 203
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 33095
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 3227
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 10767
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 33094
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 1176
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 8053
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 202
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 32999
rand550.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 1246
rand550.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 6828
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 32105
rand550.sarge.cudf.sarge.error 28-Jul-2010 13:52 914
rand550.sarge.cudf.sarge.log 28-Jul-2010 13:52 6116
rand550.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 206
rand550.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 31776
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 1667
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 12388
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 203
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 41646
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 1503
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 8893
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 39740
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 1420
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 9839
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 204
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 33273
rand753.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 1258
rand753.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 7886
rand753.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 201
rand753.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 28278
rand753.sarge.cudf.sarge.error 28-Jul-2010 13:52 912
rand753.sarge.cudf.sarge.log 28-Jul-2010 13:52 6114
rand753.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 203
rand753.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 26937
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 1507
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 12400
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 32336
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 1503
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 10757
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 203
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 32378
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 1338
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 10765
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 204
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 30796
rand815.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 1418
rand815.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 6148
rand815.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 201
rand815.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 31357
rand815.sarge.cudf.sarge.error 28-Jul-2010 13:52 913
rand815.sarge.cudf.sarge.log 28-Jul-2010 13:52 6079
rand815.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 199
rand815.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 30499
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 1308
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 13286
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 31469
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 1262
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 10761
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:52 31425
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 1009
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 8064
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 31405
rand915.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 846
rand915.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 6925
rand915.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 203
rand915.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 31341
rand915.sarge.cudf.sarge.error 28-Jul-2010 13:52 912
rand915.sarge.cudf.sarge.log 28-Jul-2010 13:52 6117
rand915.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 205
rand915.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 31231
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 1186
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 11518
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 203
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 33521
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 1106
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 8983
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 204
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 33566
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 1088
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 9849
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 204
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 33390
rand986.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 1005
rand986.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 9667
rand986.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 203
rand986.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 32899
rand986.sarge.cudf.sarge.error 28-Jul-2010 13:52 913
rand986.sarge.cudf.sarge.log 28-Jul-2010 13:52 6113
rand986.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 202
rand986.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 32169