Index of /misc2012/solutions/full/p2cudf-full-1.15/dist-upgrade/upgrade/easy/
../
rand18.cudf.chk.err 03-Sep-2012 11:54 0
rand18.cudf.log.err 03-Sep-2012 11:54 0
rand18.cudf.log.out 03-Sep-2012 11:54 12311
rand18.cudf.log.runsolver 03-Sep-2012 11:54 69196
rand18.cudf.result.bz2 03-Sep-2012 11:54 6808
rand213.cudf.chk.err 03-Sep-2012 11:54 0
rand213.cudf.log.err 03-Sep-2012 11:54 0
rand213.cudf.log.out 03-Sep-2012 11:54 11946
rand213.cudf.log.runsolver 03-Sep-2012 11:54 64669
rand213.cudf.result.bz2 03-Sep-2012 11:54 6156
rand261.cudf.chk.err 03-Sep-2012 11:54 0
rand261.cudf.log.err 03-Sep-2012 11:54 0
rand261.cudf.log.out 03-Sep-2012 11:54 12590
rand261.cudf.log.runsolver 03-Sep-2012 11:54 65178
rand261.cudf.result.bz2 03-Sep-2012 11:54 6595
rand268.cudf.chk.err 03-Sep-2012 11:54 0
rand268.cudf.log.err 03-Sep-2012 11:54 0
rand268.cudf.log.out 03-Sep-2012 11:54 12684
rand268.cudf.log.runsolver 03-Sep-2012 11:54 69244
rand268.cudf.result.bz2 03-Sep-2012 11:54 6890
rand307.cudf.chk.err 03-Sep-2012 11:54 0
rand307.cudf.log.err 03-Sep-2012 11:54 0
rand307.cudf.log.out 03-Sep-2012 11:54 12496
rand307.cudf.log.runsolver 03-Sep-2012 11:54 68343
rand307.cudf.result.bz2 03-Sep-2012 11:54 7145
rand308.cudf.chk.err 03-Sep-2012 11:54 0
rand308.cudf.log.err 03-Sep-2012 11:54 0
rand308.cudf.log.out 03-Sep-2012 11:54 13138
rand308.cudf.log.runsolver 03-Sep-2012 11:54 64571
rand308.cudf.result.bz2 03-Sep-2012 11:54 6491
rand377.cudf.chk.err 03-Sep-2012 11:54 0
rand377.cudf.log.err 03-Sep-2012 11:55 0
rand377.cudf.log.out 03-Sep-2012 11:55 12271
rand377.cudf.log.runsolver 03-Sep-2012 11:55 64890
rand377.cudf.result.bz2 03-Sep-2012 11:54 6515
rand381.cudf.log.err 03-Sep-2012 11:55 0
rand381.cudf.log.out 03-Sep-2012 11:55 1519
rand381.cudf.log.runsolver 03-Sep-2012 11:54 19975
rand381.cudf.result.bz2 03-Sep-2012 11:55 14
rand393.cudf.chk.err 03-Sep-2012 11:54 0
rand393.cudf.log.err 03-Sep-2012 11:54 0
rand393.cudf.log.out 03-Sep-2012 11:54 11842
rand393.cudf.log.runsolver 03-Sep-2012 11:54 71571
rand393.cudf.result.bz2 03-Sep-2012 11:54 6533
rand414.cudf.chk.err 03-Sep-2012 11:54 0
rand414.cudf.log.err 03-Sep-2012 11:54 0
rand414.cudf.log.out 03-Sep-2012 11:54 13441
rand414.cudf.log.runsolver 03-Sep-2012 11:54 68376
rand414.cudf.result.bz2 03-Sep-2012 11:54 6680
rand507.cudf.chk.err 03-Sep-2012 11:54 0
rand507.cudf.log.err 03-Sep-2012 11:54 0
rand507.cudf.log.out 03-Sep-2012 11:54 12875
rand507.cudf.log.runsolver 03-Sep-2012 11:54 67524
rand507.cudf.result.bz2 03-Sep-2012 11:54 6269
rand583.cudf.chk.err 03-Sep-2012 11:55 0
rand583.cudf.log.err 03-Sep-2012 11:54 0
rand583.cudf.log.out 03-Sep-2012 11:55 12009
rand583.cudf.log.runsolver 03-Sep-2012 11:55 65175
rand583.cudf.result.bz2 03-Sep-2012 11:55 6506
rand653.cudf.chk.err 03-Sep-2012 11:54 0
rand653.cudf.log.err 03-Sep-2012 11:54 0
rand653.cudf.log.out 03-Sep-2012 11:54 11513
rand653.cudf.log.runsolver 03-Sep-2012 11:54 65174
rand653.cudf.result.bz2 03-Sep-2012 11:54 7554
rand695.cudf.chk.err 03-Sep-2012 11:54 0
rand695.cudf.log.err 03-Sep-2012 11:54 0
rand695.cudf.log.out 03-Sep-2012 11:54 12908
rand695.cudf.log.runsolver 03-Sep-2012 11:54 71304
rand695.cudf.result.bz2 03-Sep-2012 11:54 6514
rand736.cudf.chk.err 03-Sep-2012 11:54 0
rand736.cudf.log.err 03-Sep-2012 11:54 0
rand736.cudf.log.out 03-Sep-2012 11:54 12386
rand736.cudf.log.runsolver 03-Sep-2012 11:54 68633
rand736.cudf.result.bz2 03-Sep-2012 11:54 6145
rand764.cudf.chk.err 03-Sep-2012 11:54 0
rand764.cudf.log.err 03-Sep-2012 11:54 0
rand764.cudf.log.out 03-Sep-2012 11:54 11726
rand764.cudf.log.runsolver 03-Sep-2012 11:54 65181
rand764.cudf.result.bz2 03-Sep-2012 11:54 5886
rand813.cudf.chk.err 03-Sep-2012 11:54 0
rand813.cudf.log.err 03-Sep-2012 11:54 0
rand813.cudf.log.out 03-Sep-2012 11:54 14155
rand813.cudf.log.runsolver 03-Sep-2012 11:54 65197
rand813.cudf.result.bz2 03-Sep-2012 11:54 6713
rand866.cudf.chk.err 03-Sep-2012 11:55 0
rand866.cudf.log.err 03-Sep-2012 11:55 0
rand866.cudf.log.out 03-Sep-2012 11:55 11887
rand866.cudf.log.runsolver 03-Sep-2012 11:54 68639
rand866.cudf.result.bz2 03-Sep-2012 11:55 6276
rand892.cudf.chk.err 03-Sep-2012 11:55 0
rand892.cudf.log.err 03-Sep-2012 11:54 0
rand892.cudf.log.out 03-Sep-2012 11:55 12035
rand892.cudf.log.runsolver 03-Sep-2012 11:54 68387
rand892.cudf.result.bz2 03-Sep-2012 11:55 5855
rand929.cudf.chk.err 03-Sep-2012 11:55 0
rand929.cudf.log.err 03-Sep-2012 11:55 0
rand929.cudf.log.out 03-Sep-2012 11:54 11935
rand929.cudf.log.runsolver 03-Sep-2012 11:55 64885
rand929.cudf.result.bz2 03-Sep-2012 11:54 6531