Index of /misc2012/solutions/full/p2cudf-full-1.15/dist-upgrade/upgrade/difficult/
../
rand116.cudf.log.err 03-Sep-2012 11:54 1576
rand116.cudf.log.out 03-Sep-2012 11:54 3294
rand116.cudf.log.runsolver 03-Sep-2012 11:54 68320
rand116.cudf.result.bz2 03-Sep-2012 11:54 71
rand131.cudf.log.err 03-Sep-2012 11:54 1576
rand131.cudf.log.out 03-Sep-2012 11:54 3186
rand131.cudf.log.runsolver 03-Sep-2012 11:54 60235
rand131.cudf.result.bz2 03-Sep-2012 11:54 71
rand172.cudf.log.err 03-Sep-2012 11:54 1576
rand172.cudf.log.out 03-Sep-2012 11:54 3293
rand172.cudf.log.runsolver 03-Sep-2012 11:54 64308
rand172.cudf.result.bz2 03-Sep-2012 11:54 71
rand196.cudf.log.err 03-Sep-2012 11:54 1576
rand196.cudf.log.out 03-Sep-2012 11:54 3247
rand196.cudf.log.runsolver 03-Sep-2012 11:54 68361
rand196.cudf.result.bz2 03-Sep-2012 11:54 71
rand208.cudf.log.err 03-Sep-2012 11:54 1576
rand208.cudf.log.out 03-Sep-2012 11:54 3246
rand208.cudf.log.runsolver 03-Sep-2012 11:54 63244
rand208.cudf.result.bz2 03-Sep-2012 11:54 71
rand21.cudf.log.err 03-Sep-2012 11:54 1576
rand21.cudf.log.out 03-Sep-2012 11:54 3292
rand21.cudf.log.runsolver 03-Sep-2012 11:54 64603
rand21.cudf.result.bz2 03-Sep-2012 11:54 71
rand289.cudf.log.err 03-Sep-2012 11:54 1576
rand289.cudf.log.out 03-Sep-2012 11:54 3235
rand289.cudf.log.runsolver 03-Sep-2012 11:54 64935
rand289.cudf.result.bz2 03-Sep-2012 11:54 71
rand293.cudf.log.err 03-Sep-2012 11:54 1576
rand293.cudf.log.out 03-Sep-2012 11:54 3294
rand293.cudf.log.runsolver 03-Sep-2012 11:54 64597
rand293.cudf.result.bz2 03-Sep-2012 11:54 71
rand313.cudf.log.err 03-Sep-2012 11:54 1576
rand313.cudf.log.out 03-Sep-2012 11:54 3310
rand313.cudf.log.runsolver 03-Sep-2012 11:54 60546
rand313.cudf.result.bz2 03-Sep-2012 11:54 71
rand347.cudf.log.err 03-Sep-2012 11:54 1576
rand347.cudf.log.out 03-Sep-2012 11:54 3183
rand347.cudf.log.runsolver 03-Sep-2012 11:54 60616
rand347.cudf.result.bz2 03-Sep-2012 11:54 71
rand411.cudf.log.err 03-Sep-2012 11:54 1576
rand411.cudf.log.out 03-Sep-2012 11:54 3292
rand411.cudf.log.runsolver 03-Sep-2012 11:54 64608
rand411.cudf.result.bz2 03-Sep-2012 11:54 71
rand425.cudf.log.err 03-Sep-2012 11:54 1576
rand425.cudf.log.out 03-Sep-2012 11:54 3247
rand425.cudf.log.runsolver 03-Sep-2012 11:54 64622
rand425.cudf.result.bz2 03-Sep-2012 11:54 71
rand484.cudf.log.err 03-Sep-2012 11:54 1576
rand484.cudf.log.out 03-Sep-2012 11:54 3231
rand484.cudf.log.runsolver 03-Sep-2012 11:54 64612
rand484.cudf.result.bz2 03-Sep-2012 11:54 71
rand491.cudf.log.err 03-Sep-2012 11:54 1576
rand491.cudf.log.out 03-Sep-2012 11:54 3293
rand491.cudf.log.runsolver 03-Sep-2012 11:54 68913
rand491.cudf.result.bz2 03-Sep-2012 11:54 71
rand752.cudf.log.err 03-Sep-2012 11:54 1576
rand752.cudf.log.out 03-Sep-2012 11:54 3231
rand752.cudf.log.runsolver 03-Sep-2012 11:54 64066
rand752.cudf.result.bz2 03-Sep-2012 11:54 71
rand794.cudf.log.err 03-Sep-2012 11:54 1576
rand794.cudf.log.out 03-Sep-2012 11:54 3248
rand794.cudf.log.runsolver 03-Sep-2012 11:54 68074
rand794.cudf.result.bz2 03-Sep-2012 11:54 71
rand83.cudf.log.err 03-Sep-2012 11:54 1576
rand83.cudf.log.out 03-Sep-2012 11:54 3242
rand83.cudf.log.runsolver 03-Sep-2012 11:54 56187
rand83.cudf.result.bz2 03-Sep-2012 11:54 71
rand869.cudf.log.err 03-Sep-2012 11:54 1576
rand869.cudf.log.out 03-Sep-2012 11:54 3186
rand869.cudf.log.runsolver 03-Sep-2012 11:54 57114
rand869.cudf.result.bz2 03-Sep-2012 11:54 71
rand874.cudf.log.err 03-Sep-2012 11:54 1576
rand874.cudf.log.out 03-Sep-2012 11:54 3233
rand874.cudf.log.runsolver 03-Sep-2012 11:54 68332
rand874.cudf.result.bz2 03-Sep-2012 11:54 71
rand981.cudf.log.err 03-Sep-2012 11:54 1576
rand981.cudf.log.out 03-Sep-2012 11:54 3292
rand981.cudf.log.runsolver 03-Sep-2012 11:54 52775
rand981.cudf.result.bz2 03-Sep-2012 11:54 71