Index of /papers/icse2012/results/solutions/ucl-cprel-1.0/
../
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 43
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 2744
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 175
rand108.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 73
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 43
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 2732
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 175
rand108.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 73
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 43
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 2669
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 174
rand108.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 73
rand108.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 43
rand108.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 2690
rand108.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 175
rand108.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 73
rand108.sarge.cudf.sarge.error 28-Jul-2010 13:52 43
rand108.sarge.cudf.sarge.log 28-Jul-2010 13:52 2580
rand108.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 175
rand108.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 73
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 43
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 2663
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 189
rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 73
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 43
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 2733
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 175
rand165.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 73
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 43
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 2710
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 175
rand165.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 73
rand165.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 43
rand165.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 2700
rand165.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 175
rand165.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 73
rand165.sarge.cudf.sarge.error 28-Jul-2010 13:52 43
rand165.sarge.cudf.sarge.log 28-Jul-2010 13:52 2582
rand165.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 175
rand165.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 73
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 43
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 2651
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 175
rand180.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 73
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 43
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 2734
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 175
rand180.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 73
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 43
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 2714
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 175
rand180.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 73
rand180.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 43
rand180.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 2593
rand180.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 175
rand180.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 73
rand180.sarge.cudf.sarge.error 28-Jul-2010 13:52 43
rand180.sarge.cudf.sarge.log 28-Jul-2010 13:52 2705
rand180.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 189
rand180.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 73
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 43
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 2651
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 175
rand316.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 73
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 43
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 2734
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 175
rand316.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 73
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 43
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 2710
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 175
rand316.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 73
rand316.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 43
rand316.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 2689
rand316.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 174
rand316.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 73
rand316.sarge.cudf.sarge.error 28-Jul-2010 13:52 43
rand316.sarge.cudf.sarge.log 28-Jul-2010 13:52 2596
rand316.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 189
rand316.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 73
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 43
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 2651
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 175
rand494.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 73
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 43
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 2750
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 175
rand494.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 73
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 43
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 2728
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 173
rand494.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 73
rand494.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 43
rand494.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 2613
rand494.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 175
rand494.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 73
rand494.sarge.cudf.sarge.error 28-Jul-2010 13:52 43
rand494.sarge.cudf.sarge.log 28-Jul-2010 13:52 2598
rand494.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 175
rand494.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 73
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 43
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 2667
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 175
rand550.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 73
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 43
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 2754
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 175
rand550.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 73
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 43
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 2726
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 175
rand550.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 73
rand550.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 43
rand550.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 2670
rand550.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 175
rand550.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 73
rand550.sarge.cudf.sarge.error 28-Jul-2010 13:52 43
rand550.sarge.cudf.sarge.log 28-Jul-2010 13:52 2598
rand550.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 175
rand550.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 73
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 43
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 2666
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 174
rand753.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 73
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 43
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 2753
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 174
rand753.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 73
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 43
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 2725
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 174
rand753.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 73
rand753.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 43
rand753.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 2706
rand753.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 175
rand753.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 73
rand753.sarge.cudf.sarge.error 28-Jul-2010 13:52 43
rand753.sarge.cudf.sarge.log 28-Jul-2010 13:52 2594
rand753.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 175
rand753.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 73
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 43
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 2681
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 189
rand815.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 73
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 43
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 2754
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 175
rand815.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 73
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 43
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 3287
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 178
rand815.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 73
rand815.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 43
rand815.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 2636
rand815.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 189
rand815.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 73
rand815.sarge.cudf.sarge.error 28-Jul-2010 13:52 43
rand815.sarge.cudf.sarge.log 28-Jul-2010 13:52 2598
rand815.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 175
rand815.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 73
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 43
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 2667
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 175
rand915.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 73
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 43
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 2750
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 175
rand915.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 73
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 43
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 2726
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 175
rand915.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 73
rand915.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 43
rand915.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 2702
rand915.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 175
rand915.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 73
rand915.sarge.cudf.sarge.error 28-Jul-2010 13:52 43
rand915.sarge.cudf.sarge.log 28-Jul-2010 13:52 2745
rand915.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 175
rand915.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 73
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 43
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 2663
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 175
rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge..> 28-Jul-2010 13:52 73
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 43
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 2806
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 189
rand986.sarge-etch-lenny-squeeze.cudf.sarge-etc..> 28-Jul-2010 13:52 73
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 43
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny.log 28-Jul-2010 13:52 2764
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 175
rand986.sarge-etch-lenny.cudf.sarge-etch-lenny...> 28-Jul-2010 13:52 73
rand986.sarge-etch.cudf.sarge-etch.error 28-Jul-2010 13:52 43
rand986.sarge-etch.cudf.sarge-etch.log 28-Jul-2010 13:52 2609
rand986.sarge-etch.cudf.sarge-etch.log.time 28-Jul-2010 13:52 175
rand986.sarge-etch.cudf.sarge-etch.result.bz2 28-Jul-2010 13:52 73
rand986.sarge.cudf.sarge.error 28-Jul-2010 13:52 43
rand986.sarge.cudf.sarge.log 28-Jul-2010 13:52 2598
rand986.sarge.cudf.sarge.log.time 28-Jul-2010 13:52 175
rand986.sarge.cudf.sarge.result.bz2 28-Jul-2010 13:52 73