Index of /misc2012/solutions/full/aspuncud-full-1.7/upgrade/upgrade/easy/
../
rand18.cudf.chk.err 03-Sep-2012 12:12 0
rand18.cudf.log.err 03-Sep-2012 12:12 0
rand18.cudf.log.out 03-Sep-2012 12:12 1508
rand18.cudf.log.runsolver 03-Sep-2012 12:12 9300
rand18.cudf.result.bz2 03-Sep-2012 12:12 3760
rand213.cudf.chk.err 03-Sep-2012 12:12 0
rand213.cudf.log.err 03-Sep-2012 12:12 0
rand213.cudf.log.out 03-Sep-2012 12:12 1507
rand213.cudf.log.runsolver 03-Sep-2012 12:12 8428
rand213.cudf.result.bz2 03-Sep-2012 12:12 2764
rand261.cudf.chk.err 03-Sep-2012 12:12 0
rand261.cudf.log.err 03-Sep-2012 12:12 0
rand261.cudf.log.out 03-Sep-2012 12:12 1626
rand261.cudf.log.runsolver 03-Sep-2012 12:12 12778
rand261.cudf.result.bz2 03-Sep-2012 12:12 3967
rand268.cudf.chk.err 03-Sep-2012 12:12 0
rand268.cudf.log.err 03-Sep-2012 12:12 0
rand268.cudf.log.out 03-Sep-2012 12:12 1627
rand268.cudf.log.runsolver 03-Sep-2012 12:12 9293
rand268.cudf.result.bz2 03-Sep-2012 12:12 3183
rand307.cudf.chk.err 03-Sep-2012 12:12 0
rand307.cudf.log.err 03-Sep-2012 12:12 0
rand307.cudf.log.out 03-Sep-2012 12:12 1628
rand307.cudf.log.runsolver 03-Sep-2012 12:12 10067
rand307.cudf.result.bz2 03-Sep-2012 12:12 4329
rand308.cudf.chk.err 03-Sep-2012 12:12 0
rand308.cudf.log.err 03-Sep-2012 12:12 0
rand308.cudf.log.out 03-Sep-2012 12:12 1506
rand308.cudf.log.runsolver 03-Sep-2012 12:12 11584
rand308.cudf.result.bz2 03-Sep-2012 12:12 4770
rand377.cudf.chk.err 03-Sep-2012 12:12 0
rand377.cudf.log.err 03-Sep-2012 12:12 0
rand377.cudf.log.out 03-Sep-2012 12:12 1508
rand377.cudf.log.runsolver 03-Sep-2012 12:12 10195
rand377.cudf.result.bz2 03-Sep-2012 12:12 3732
rand381.cudf.chk.err 03-Sep-2012 12:12 0
rand381.cudf.log.err 03-Sep-2012 12:12 0
rand381.cudf.log.out 03-Sep-2012 12:12 1742
rand381.cudf.log.runsolver 03-Sep-2012 12:12 9513
rand381.cudf.result.bz2 03-Sep-2012 12:12 2347
rand393.cudf.chk.err 03-Sep-2012 12:12 0
rand393.cudf.log.err 03-Sep-2012 12:12 0
rand393.cudf.log.out 03-Sep-2012 12:12 1627
rand393.cudf.log.runsolver 03-Sep-2012 12:12 9634
rand393.cudf.result.bz2 03-Sep-2012 12:12 3035
rand414.cudf.chk.err 03-Sep-2012 12:12 0
rand414.cudf.log.err 03-Sep-2012 12:12 0
rand414.cudf.log.out 03-Sep-2012 12:12 1630
rand414.cudf.log.runsolver 03-Sep-2012 12:12 11552
rand414.cudf.result.bz2 03-Sep-2012 12:12 4301
rand507.cudf.chk.err 03-Sep-2012 12:12 0
rand507.cudf.log.err 03-Sep-2012 12:12 0
rand507.cudf.log.out 03-Sep-2012 12:12 1507
rand507.cudf.log.runsolver 03-Sep-2012 12:12 11640
rand507.cudf.result.bz2 03-Sep-2012 12:12 3742
rand583.cudf.chk.err 03-Sep-2012 12:12 0
rand583.cudf.log.err 03-Sep-2012 12:12 0
rand583.cudf.log.out 03-Sep-2012 12:12 1630
rand583.cudf.log.runsolver 03-Sep-2012 12:12 9864
rand583.cudf.result.bz2 03-Sep-2012 12:12 3095
rand653.cudf.chk.err 03-Sep-2012 12:12 0
rand653.cudf.log.err 03-Sep-2012 12:12 0
rand653.cudf.log.out 03-Sep-2012 12:12 1631
rand653.cudf.log.runsolver 03-Sep-2012 12:12 9536
rand653.cudf.result.bz2 03-Sep-2012 12:12 6029
rand695.cudf.chk.err 03-Sep-2012 12:12 0
rand695.cudf.log.err 03-Sep-2012 12:12 0
rand695.cudf.log.out 03-Sep-2012 12:12 1508
rand695.cudf.log.runsolver 03-Sep-2012 12:12 10878
rand695.cudf.result.bz2 03-Sep-2012 12:12 4060
rand736.cudf.chk.err 03-Sep-2012 12:12 0
rand736.cudf.log.err 03-Sep-2012 12:12 0
rand736.cudf.log.out 03-Sep-2012 12:12 1626
rand736.cudf.log.runsolver 03-Sep-2012 12:12 10884
rand736.cudf.result.bz2 03-Sep-2012 12:12 4083
rand764.cudf.chk.err 03-Sep-2012 12:12 0
rand764.cudf.log.err 03-Sep-2012 12:12 0
rand764.cudf.log.out 03-Sep-2012 12:12 1507
rand764.cudf.log.runsolver 03-Sep-2012 12:12 9292
rand764.cudf.result.bz2 03-Sep-2012 12:12 3091
rand813.cudf.chk.err 03-Sep-2012 12:12 0
rand813.cudf.log.err 03-Sep-2012 12:12 0
rand813.cudf.log.out 03-Sep-2012 12:12 1507
rand813.cudf.log.runsolver 03-Sep-2012 12:12 11549
rand813.cudf.result.bz2 03-Sep-2012 12:12 4045
rand866.cudf.chk.err 03-Sep-2012 12:12 0
rand866.cudf.log.err 03-Sep-2012 12:12 0
rand866.cudf.log.out 03-Sep-2012 12:12 1749
rand866.cudf.log.runsolver 03-Sep-2012 12:12 11861
rand866.cudf.result.bz2 03-Sep-2012 12:12 2725
rand892.cudf.chk.err 03-Sep-2012 12:12 0
rand892.cudf.log.err 03-Sep-2012 12:12 0
rand892.cudf.log.out 03-Sep-2012 12:12 1627
rand892.cudf.log.runsolver 03-Sep-2012 12:12 9509
rand892.cudf.result.bz2 03-Sep-2012 12:12 4513
rand929.cudf.chk.err 03-Sep-2012 12:12 0
rand929.cudf.log.err 03-Sep-2012 12:12 0
rand929.cudf.log.out 03-Sep-2012 12:12 1508
rand929.cudf.log.runsolver 03-Sep-2012 12:12 9739
rand929.cudf.result.bz2 03-Sep-2012 12:12 4374