Index of /misc2012/solutions/full/p2cudf-full-1.15/upgrade/upgrade/easy/
../
rand18.cudf.chk.err 03-Sep-2012 11:59 0
rand18.cudf.log.err 03-Sep-2012 11:59 0
rand18.cudf.log.out 03-Sep-2012 11:59 12593
rand18.cudf.log.runsolver 03-Sep-2012 11:59 67215
rand18.cudf.result.bz2 03-Sep-2012 11:59 6795
rand213.cudf.chk.err 03-Sep-2012 11:59 0
rand213.cudf.log.err 03-Sep-2012 11:59 0
rand213.cudf.log.out 03-Sep-2012 11:59 12171
rand213.cudf.log.runsolver 03-Sep-2012 11:59 60512
rand213.cudf.result.bz2 03-Sep-2012 11:59 6195
rand261.cudf.chk.err 03-Sep-2012 11:59 0
rand261.cudf.log.err 03-Sep-2012 11:59 0
rand261.cudf.log.out 03-Sep-2012 11:59 12635
rand261.cudf.log.runsolver 03-Sep-2012 11:59 68356
rand261.cudf.result.bz2 03-Sep-2012 11:59 6616
rand268.cudf.chk.err 03-Sep-2012 11:59 0
rand268.cudf.log.err 03-Sep-2012 11:59 0
rand268.cudf.log.out 03-Sep-2012 11:59 12803
rand268.cudf.log.runsolver 03-Sep-2012 11:59 64914
rand268.cudf.result.bz2 03-Sep-2012 11:59 6838
rand307.cudf.chk.err 03-Sep-2012 11:59 0
rand307.cudf.log.err 03-Sep-2012 11:58 0
rand307.cudf.log.out 03-Sep-2012 11:58 12505
rand307.cudf.log.runsolver 03-Sep-2012 11:58 64597
rand307.cudf.result.bz2 03-Sep-2012 11:58 7055
rand308.cudf.chk.err 03-Sep-2012 11:59 0
rand308.cudf.log.err 03-Sep-2012 11:59 0
rand308.cudf.log.out 03-Sep-2012 11:59 13437
rand308.cudf.log.runsolver 03-Sep-2012 11:59 64593
rand308.cudf.result.bz2 03-Sep-2012 11:58 6475
rand377.cudf.chk.err 03-Sep-2012 11:58 0
rand377.cudf.log.err 03-Sep-2012 11:59 0
rand377.cudf.log.out 03-Sep-2012 11:59 12166
rand377.cudf.log.runsolver 03-Sep-2012 11:59 65214
rand377.cudf.result.bz2 03-Sep-2012 11:58 6488
rand381.cudf.chk.err 03-Sep-2012 11:59 0
rand381.cudf.log.err 03-Sep-2012 11:59 0
rand381.cudf.log.out 03-Sep-2012 11:59 11198
rand381.cudf.log.runsolver 03-Sep-2012 11:59 64909
rand381.cudf.result.bz2 03-Sep-2012 11:59 5504
rand393.cudf.chk.err 03-Sep-2012 11:59 0
rand393.cudf.log.err 03-Sep-2012 11:59 0
rand393.cudf.log.out 03-Sep-2012 11:59 12230
rand393.cudf.log.runsolver 03-Sep-2012 11:59 69273
rand393.cudf.result.bz2 03-Sep-2012 11:59 6513
rand414.cudf.chk.err 03-Sep-2012 11:59 0
rand414.cudf.log.err 03-Sep-2012 11:58 0
rand414.cudf.log.out 03-Sep-2012 11:59 13342
rand414.cudf.log.runsolver 03-Sep-2012 11:59 68066
rand414.cudf.result.bz2 03-Sep-2012 11:59 6621
rand507.cudf.chk.err 03-Sep-2012 11:59 0
rand507.cudf.log.err 03-Sep-2012 11:59 0
rand507.cudf.log.out 03-Sep-2012 11:59 13115
rand507.cudf.log.runsolver 03-Sep-2012 11:59 68126
rand507.cudf.result.bz2 03-Sep-2012 11:59 6277
rand583.cudf.chk.err 03-Sep-2012 11:59 0
rand583.cudf.log.err 03-Sep-2012 11:59 0
rand583.cudf.log.out 03-Sep-2012 11:59 12123
rand583.cudf.log.runsolver 03-Sep-2012 11:59 71263
rand583.cudf.result.bz2 03-Sep-2012 11:59 6520
rand653.cudf.chk.err 03-Sep-2012 11:59 0
rand653.cudf.log.err 03-Sep-2012 11:59 0
rand653.cudf.log.out 03-Sep-2012 11:59 11766
rand653.cudf.log.runsolver 03-Sep-2012 11:59 69228
rand653.cudf.result.bz2 03-Sep-2012 11:59 7551
rand695.cudf.chk.err 03-Sep-2012 11:59 0
rand695.cudf.log.err 03-Sep-2012 11:59 0
rand695.cudf.log.out 03-Sep-2012 11:59 13416
rand695.cudf.log.runsolver 03-Sep-2012 11:59 69273
rand695.cudf.result.bz2 03-Sep-2012 11:59 6548
rand736.cudf.chk.err 03-Sep-2012 11:59 0
rand736.cudf.log.err 03-Sep-2012 11:59 0
rand736.cudf.log.out 03-Sep-2012 11:59 12119
rand736.cudf.log.runsolver 03-Sep-2012 11:59 68130
rand736.cudf.result.bz2 03-Sep-2012 11:59 6081
rand764.cudf.chk.err 03-Sep-2012 11:59 0
rand764.cudf.log.err 03-Sep-2012 11:59 0
rand764.cudf.log.out 03-Sep-2012 11:59 12095
rand764.cudf.log.runsolver 03-Sep-2012 11:59 68364
rand764.cudf.result.bz2 03-Sep-2012 11:59 5893
rand813.cudf.chk.err 03-Sep-2012 11:59 0
rand813.cudf.log.err 03-Sep-2012 11:59 0
rand813.cudf.log.out 03-Sep-2012 11:59 13575
rand813.cudf.log.runsolver 03-Sep-2012 11:59 72227
rand813.cudf.result.bz2 03-Sep-2012 11:59 6630
rand866.cudf.chk.err 03-Sep-2012 11:59 0
rand866.cudf.log.err 03-Sep-2012 11:59 0
rand866.cudf.log.out 03-Sep-2012 11:59 12582
rand866.cudf.log.runsolver 03-Sep-2012 11:59 64636
rand866.cudf.result.bz2 03-Sep-2012 11:59 6514
rand892.cudf.chk.err 03-Sep-2012 11:59 0
rand892.cudf.log.err 03-Sep-2012 11:58 0
rand892.cudf.log.out 03-Sep-2012 11:59 12445
rand892.cudf.log.runsolver 03-Sep-2012 11:59 64577
rand892.cudf.result.bz2 03-Sep-2012 11:59 5966
rand929.cudf.chk.err 03-Sep-2012 11:59 0
rand929.cudf.log.err 03-Sep-2012 11:59 0
rand929.cudf.log.out 03-Sep-2012 11:59 11976
rand929.cudf.log.runsolver 03-Sep-2012 11:59 64608
rand929.cudf.result.bz2 03-Sep-2012 11:59 6531