Index of /misc2012/solutions/full/p2cudf-full-1.15/slowlink/upgrade/difficult/
../
rand116.cudf.chk.err 03-Sep-2012 11:49 0
rand116.cudf.log.err 03-Sep-2012 11:49 0
rand116.cudf.log.out 03-Sep-2012 11:49 4478
rand116.cudf.log.runsolver 03-Sep-2012 11:49 35764
rand116.cudf.result.bz2 03-Sep-2012 11:49 6354
rand131.cudf.chk.err 03-Sep-2012 11:49 0
rand131.cudf.log.err 03-Sep-2012 11:49 0
rand131.cudf.log.out 03-Sep-2012 11:49 9115
rand131.cudf.log.runsolver 03-Sep-2012 11:49 64873
rand131.cudf.result.bz2 03-Sep-2012 11:49 6691
rand172.cudf.chk.err 03-Sep-2012 11:49 0
rand172.cudf.log.err 03-Sep-2012 11:49 0
rand172.cudf.log.out 03-Sep-2012 11:49 21236
rand172.cudf.log.runsolver 03-Sep-2012 11:49 66821
rand172.cudf.result.bz2 03-Sep-2012 11:49 8205
rand196.cudf.chk.err 03-Sep-2012 11:49 0
rand196.cudf.log.err 03-Sep-2012 11:49 0
rand196.cudf.log.out 03-Sep-2012 11:49 32433
rand196.cudf.log.runsolver 03-Sep-2012 11:49 63735
rand196.cudf.result.bz2 03-Sep-2012 11:49 9020
rand208.cudf.chk.err 03-Sep-2012 11:49 0
rand208.cudf.log.err 03-Sep-2012 11:49 0
rand208.cudf.log.out 03-Sep-2012 11:49 14059
rand208.cudf.log.runsolver 03-Sep-2012 11:49 68889
rand208.cudf.result.bz2 03-Sep-2012 11:49 7512
rand21.cudf.chk.err 03-Sep-2012 11:50 0
rand21.cudf.log.err 03-Sep-2012 11:49 0
rand21.cudf.log.out 03-Sep-2012 11:49 36176
rand21.cudf.log.runsolver 03-Sep-2012 11:50 68588
rand21.cudf.result.bz2 03-Sep-2012 11:49 9647
rand289.cudf.chk.err 03-Sep-2012 11:49 0
rand289.cudf.log.err 03-Sep-2012 11:49 0
rand289.cudf.log.out 03-Sep-2012 11:49 13113
rand289.cudf.log.runsolver 03-Sep-2012 11:49 69261
rand289.cudf.result.bz2 03-Sep-2012 11:49 7068
rand293.cudf.chk.err 03-Sep-2012 11:49 0
rand293.cudf.log.err 03-Sep-2012 11:49 0
rand293.cudf.log.out 03-Sep-2012 11:49 8769
rand293.cudf.log.runsolver 03-Sep-2012 11:49 68113
rand293.cudf.result.bz2 03-Sep-2012 11:49 6750
rand313.cudf.chk.err 03-Sep-2012 11:49 0
rand313.cudf.log.err 03-Sep-2012 11:49 0
rand313.cudf.log.out 03-Sep-2012 11:49 38423
rand313.cudf.log.runsolver 03-Sep-2012 11:49 64630
rand313.cudf.result.bz2 03-Sep-2012 11:49 10723
rand347.cudf.chk.err 03-Sep-2012 11:49 0
rand347.cudf.log.err 03-Sep-2012 11:49 0
rand347.cudf.log.out 03-Sep-2012 11:49 6775
rand347.cudf.log.runsolver 03-Sep-2012 11:49 69204
rand347.cudf.result.bz2 03-Sep-2012 11:49 6447
rand411.cudf.chk.err 03-Sep-2012 11:50 0
rand411.cudf.log.err 03-Sep-2012 11:50 0
rand411.cudf.log.out 03-Sep-2012 11:49 17956
rand411.cudf.log.runsolver 03-Sep-2012 11:49 64884
rand411.cudf.result.bz2 03-Sep-2012 11:49 8254
rand425.cudf.chk.err 03-Sep-2012 11:49 0
rand425.cudf.log.err 03-Sep-2012 11:49 0
rand425.cudf.log.out 03-Sep-2012 11:49 22696
rand425.cudf.log.runsolver 03-Sep-2012 11:49 67799
rand425.cudf.result.bz2 03-Sep-2012 11:49 8724
rand484.cudf.chk.err 03-Sep-2012 11:50 0
rand484.cudf.log.err 03-Sep-2012 11:50 0
rand484.cudf.log.out 03-Sep-2012 11:50 13796
rand484.cudf.log.runsolver 03-Sep-2012 11:50 64864
rand484.cudf.result.bz2 03-Sep-2012 11:50 7311
rand491.cudf.chk.err 03-Sep-2012 11:49 0
rand491.cudf.log.err 03-Sep-2012 11:49 0
rand491.cudf.log.out 03-Sep-2012 11:49 8355
rand491.cudf.log.runsolver 03-Sep-2012 11:49 66825
rand491.cudf.result.bz2 03-Sep-2012 11:49 6705
rand752.cudf.chk.err 03-Sep-2012 11:49 0
rand752.cudf.log.err 03-Sep-2012 11:49 0
rand752.cudf.log.out 03-Sep-2012 11:49 4351
rand752.cudf.log.runsolver 03-Sep-2012 11:49 32145
rand752.cudf.result.bz2 03-Sep-2012 11:49 6358
rand794.cudf.chk.err 03-Sep-2012 11:49 0
rand794.cudf.log.err 03-Sep-2012 11:49 0
rand794.cudf.log.out 03-Sep-2012 11:49 16689
rand794.cudf.log.runsolver 03-Sep-2012 11:49 64848
rand794.cudf.result.bz2 03-Sep-2012 11:49 7663
rand83.cudf.chk.err 03-Sep-2012 11:49 0
rand83.cudf.log.err 03-Sep-2012 11:49 0
rand83.cudf.log.out 03-Sep-2012 11:49 8653
rand83.cudf.log.runsolver 03-Sep-2012 11:49 71260
rand83.cudf.result.bz2 03-Sep-2012 11:49 6796
rand869.cudf.chk.err 03-Sep-2012 11:49 0
rand869.cudf.log.err 03-Sep-2012 11:49 0
rand869.cudf.log.out 03-Sep-2012 11:49 16558
rand869.cudf.log.runsolver 03-Sep-2012 11:49 69220
rand869.cudf.result.bz2 03-Sep-2012 11:49 7597
rand874.cudf.chk.err 03-Sep-2012 11:49 0
rand874.cudf.log.err 03-Sep-2012 11:49 0
rand874.cudf.log.out 03-Sep-2012 11:49 23586
rand874.cudf.log.runsolver 03-Sep-2012 11:49 67367
rand874.cudf.result.bz2 03-Sep-2012 11:49 8058
rand981.cudf.chk.err 03-Sep-2012 11:49 0
rand981.cudf.log.err 03-Sep-2012 11:49 0
rand981.cudf.log.out 03-Sep-2012 11:49 5084
rand981.cudf.log.runsolver 03-Sep-2012 11:49 48706
rand981.cudf.result.bz2 03-Sep-2012 11:49 6369