Index of /misc2012/solutions/full/p2cudf-full-1.15/trendy-size/install/
../
rand118.cudf.chk.err 03-Sep-2012 11:46 0
rand118.cudf.log.err 03-Sep-2012 11:46 0
rand118.cudf.log.out 03-Sep-2012 11:46 7987
rand118.cudf.log.runsolver 03-Sep-2012 11:46 62348
rand118.cudf.result.bz2 03-Sep-2012 11:46 6897
rand179.cudf.chk.err 03-Sep-2012 11:46 0
rand179.cudf.log.err 03-Sep-2012 11:46 0
rand179.cudf.log.out 03-Sep-2012 11:46 13421
rand179.cudf.log.runsolver 03-Sep-2012 11:46 64315
rand179.cudf.result.bz2 03-Sep-2012 11:46 9248
rand208.cudf.chk.err 03-Sep-2012 11:46 0
rand208.cudf.log.err 03-Sep-2012 11:46 0
rand208.cudf.log.out 03-Sep-2012 11:46 7925
rand208.cudf.log.runsolver 03-Sep-2012 11:46 55403
rand208.cudf.result.bz2 03-Sep-2012 11:46 7793
rand209.cudf.chk.err 03-Sep-2012 11:46 0
rand209.cudf.log.err 03-Sep-2012 11:46 0
rand209.cudf.log.out 03-Sep-2012 11:46 14774
rand209.cudf.log.runsolver 03-Sep-2012 11:46 71638
rand209.cudf.result.bz2 03-Sep-2012 11:46 9206
rand220.cudf.chk.err 03-Sep-2012 11:46 0
rand220.cudf.log.err 03-Sep-2012 11:46 0
rand220.cudf.log.out 03-Sep-2012 11:46 5121
rand220.cudf.log.runsolver 03-Sep-2012 11:46 34216
rand220.cudf.result.bz2 03-Sep-2012 11:46 6636
rand242.cudf.chk.err 03-Sep-2012 11:46 0
rand242.cudf.log.err 03-Sep-2012 11:46 0
rand242.cudf.log.out 03-Sep-2012 11:46 6912
rand242.cudf.log.runsolver 03-Sep-2012 11:46 50353
rand242.cudf.result.bz2 03-Sep-2012 11:46 7045
rand290.cudf.chk.err 03-Sep-2012 11:46 0
rand290.cudf.log.err 03-Sep-2012 11:46 0
rand290.cudf.log.out 03-Sep-2012 11:46 10461
rand290.cudf.log.runsolver 03-Sep-2012 11:46 65179
rand290.cudf.result.bz2 03-Sep-2012 11:46 8402
rand30.cudf.chk.err 03-Sep-2012 11:46 0
rand30.cudf.log.err 03-Sep-2012 11:46 0
rand30.cudf.log.out 03-Sep-2012 11:46 8143
rand30.cudf.log.runsolver 03-Sep-2012 11:46 43433
rand30.cudf.result.bz2 03-Sep-2012 11:46 6890
rand308.cudf.chk.err 03-Sep-2012 11:46 0
rand308.cudf.log.err 03-Sep-2012 11:46 0
rand308.cudf.log.out 03-Sep-2012 11:46 12386
rand308.cudf.log.runsolver 03-Sep-2012 11:46 68914
rand308.cudf.result.bz2 03-Sep-2012 11:46 9040
rand411.cudf.chk.err 03-Sep-2012 11:46 0
rand411.cudf.log.err 03-Sep-2012 11:46 0
rand411.cudf.log.out 03-Sep-2012 11:46 10453
rand411.cudf.log.runsolver 03-Sep-2012 11:46 68017
rand411.cudf.result.bz2 03-Sep-2012 11:46 8426
rand446.cudf.chk.err 03-Sep-2012 11:46 0
rand446.cudf.log.err 03-Sep-2012 11:46 0
rand446.cudf.log.out 03-Sep-2012 11:46 7061
rand446.cudf.log.runsolver 03-Sep-2012 11:46 42327
rand446.cudf.result.bz2 03-Sep-2012 11:46 7318
rand547.cudf.chk.err 03-Sep-2012 11:46 0
rand547.cudf.log.err 03-Sep-2012 11:46 0
rand547.cudf.log.out 03-Sep-2012 11:46 4918
rand547.cudf.log.runsolver 03-Sep-2012 11:46 42960
rand547.cudf.result.bz2 03-Sep-2012 11:46 6590
rand7.cudf.chk.err 03-Sep-2012 11:46 0
rand7.cudf.log.err 03-Sep-2012 11:46 0
rand7.cudf.log.out 03-Sep-2012 11:46 9961
rand7.cudf.log.runsolver 03-Sep-2012 11:46 67597
rand7.cudf.result.bz2 03-Sep-2012 11:46 7123
rand717.cudf.chk.err 03-Sep-2012 11:46 0
rand717.cudf.log.err 03-Sep-2012 11:46 0
rand717.cudf.log.out 03-Sep-2012 11:46 12894
rand717.cudf.log.runsolver 03-Sep-2012 11:46 66068
rand717.cudf.result.bz2 03-Sep-2012 11:46 9110
rand83.cudf.chk.err 03-Sep-2012 11:46 0
rand83.cudf.log.err 03-Sep-2012 11:46 0
rand83.cudf.log.out 03-Sep-2012 11:46 10845
rand83.cudf.log.runsolver 03-Sep-2012 11:46 69217
rand83.cudf.result.bz2 03-Sep-2012 11:47 8584
rand937.cudf.chk.err 03-Sep-2012 11:46 0
rand937.cudf.log.err 03-Sep-2012 11:46 0
rand937.cudf.log.out 03-Sep-2012 11:46 6941
rand937.cudf.log.runsolver 03-Sep-2012 11:46 39739
rand937.cudf.result.bz2 03-Sep-2012 11:46 7199
rand943.cudf.chk.err 03-Sep-2012 11:46 0
rand943.cudf.log.err 03-Sep-2012 11:46 0
rand943.cudf.log.out 03-Sep-2012 11:46 12583
rand943.cudf.log.runsolver 03-Sep-2012 11:46 70822
rand943.cudf.result.bz2 03-Sep-2012 11:46 8850
rand954.cudf.chk.err 03-Sep-2012 11:46 0
rand954.cudf.log.err 03-Sep-2012 11:46 0
rand954.cudf.log.out 03-Sep-2012 11:46 11220
rand954.cudf.log.runsolver 03-Sep-2012 11:46 70906
rand954.cudf.result.bz2 03-Sep-2012 11:46 8222
rand96.cudf.chk.err 03-Sep-2012 11:46 0
rand96.cudf.log.err 03-Sep-2012 11:46 0
rand96.cudf.log.out 03-Sep-2012 11:46 6819
rand96.cudf.log.runsolver 03-Sep-2012 11:46 42978
rand96.cudf.result.bz2 03-Sep-2012 11:46 7004
rand984.cudf.chk.err 03-Sep-2012 11:46 0
rand984.cudf.log.err 03-Sep-2012 11:46 0
rand984.cudf.log.out 03-Sep-2012 11:46 14844
rand984.cudf.log.runsolver 03-Sep-2012 11:46 64610
rand984.cudf.result.bz2 03-Sep-2012 11:46 7992