Index of /misc2012/solutions/full/aspuncud-full-1.7/dist-upgrade/upgrade/easy/
../
rand18.cudf.chk.err 03-Sep-2012 12:09 0
rand18.cudf.log.err 03-Sep-2012 12:09 0
rand18.cudf.log.out 03-Sep-2012 12:09 1370
rand18.cudf.log.runsolver 03-Sep-2012 12:09 10205
rand18.cudf.result.bz2 03-Sep-2012 12:09 3760
rand213.cudf.chk.err 03-Sep-2012 12:09 0
rand213.cudf.log.err 03-Sep-2012 12:09 0
rand213.cudf.log.out 03-Sep-2012 12:09 1370
rand213.cudf.log.runsolver 03-Sep-2012 12:09 10318
rand213.cudf.result.bz2 03-Sep-2012 12:09 2764
rand261.cudf.chk.err 03-Sep-2012 12:09 0
rand261.cudf.log.err 03-Sep-2012 12:09 0
rand261.cudf.log.out 03-Sep-2012 12:09 1488
rand261.cudf.log.runsolver 03-Sep-2012 12:09 9001
rand261.cudf.result.bz2 03-Sep-2012 12:09 3967
rand268.cudf.chk.err 03-Sep-2012 12:09 0
rand268.cudf.log.err 03-Sep-2012 12:09 0
rand268.cudf.log.out 03-Sep-2012 12:09 1487
rand268.cudf.log.runsolver 03-Sep-2012 12:09 7737
rand268.cudf.result.bz2 03-Sep-2012 12:09 3183
rand307.cudf.chk.err 03-Sep-2012 12:09 0
rand307.cudf.log.err 03-Sep-2012 12:09 0
rand307.cudf.log.out 03-Sep-2012 12:09 1488
rand307.cudf.log.runsolver 03-Sep-2012 12:09 9638
rand307.cudf.result.bz2 03-Sep-2012 12:09 4329
rand308.cudf.chk.err 03-Sep-2012 12:09 0
rand308.cudf.log.err 03-Sep-2012 12:09 0
rand308.cudf.log.out 03-Sep-2012 12:09 1370
rand308.cudf.log.runsolver 03-Sep-2012 12:09 11166
rand308.cudf.result.bz2 03-Sep-2012 12:09 4770
rand377.cudf.chk.err 03-Sep-2012 12:09 0
rand377.cudf.log.err 03-Sep-2012 12:09 0
rand377.cudf.log.out 03-Sep-2012 12:09 1370
rand377.cudf.log.runsolver 03-Sep-2012 12:09 11875
rand377.cudf.result.bz2 03-Sep-2012 12:09 3732
rand381.cudf.chk.err 03-Sep-2012 12:09 0
rand381.cudf.log.err 03-Sep-2012 12:09 0
rand381.cudf.log.out 03-Sep-2012 12:09 1601
rand381.cudf.log.runsolver 03-Sep-2012 12:09 10519
rand381.cudf.result.bz2 03-Sep-2012 12:09 2347
rand393.cudf.chk.err 03-Sep-2012 12:09 0
rand393.cudf.log.err 03-Sep-2012 12:09 0
rand393.cudf.log.out 03-Sep-2012 12:09 1487
rand393.cudf.log.runsolver 03-Sep-2012 12:09 10635
rand393.cudf.result.bz2 03-Sep-2012 12:09 3035
rand414.cudf.chk.err 03-Sep-2012 12:09 0
rand414.cudf.log.err 03-Sep-2012 12:09 0
rand414.cudf.log.out 03-Sep-2012 12:09 1490
rand414.cudf.log.runsolver 03-Sep-2012 12:09 10545
rand414.cudf.result.bz2 03-Sep-2012 12:09 4301
rand507.cudf.chk.err 03-Sep-2012 12:09 0
rand507.cudf.log.err 03-Sep-2012 12:09 0
rand507.cudf.log.out 03-Sep-2012 12:09 1370
rand507.cudf.log.runsolver 03-Sep-2012 12:09 9285
rand507.cudf.result.bz2 03-Sep-2012 12:09 3742
rand583.cudf.chk.err 03-Sep-2012 12:09 0
rand583.cudf.log.err 03-Sep-2012 12:09 0
rand583.cudf.log.out 03-Sep-2012 12:09 1490
rand583.cudf.log.runsolver 03-Sep-2012 12:09 10522
rand583.cudf.result.bz2 03-Sep-2012 12:09 3095
rand653.cudf.chk.err 03-Sep-2012 12:09 0
rand653.cudf.log.err 03-Sep-2012 12:09 0
rand653.cudf.log.out 03-Sep-2012 12:09 1491
rand653.cudf.log.runsolver 03-Sep-2012 12:09 11543
rand653.cudf.result.bz2 03-Sep-2012 12:09 6029
rand695.cudf.chk.err 03-Sep-2012 12:09 0
rand695.cudf.log.err 03-Sep-2012 12:09 0
rand695.cudf.log.out 03-Sep-2012 12:09 1371
rand695.cudf.log.runsolver 03-Sep-2012 12:09 13331
rand695.cudf.result.bz2 03-Sep-2012 12:09 4060
rand736.cudf.chk.err 03-Sep-2012 12:09 0
rand736.cudf.log.err 03-Sep-2012 12:09 0
rand736.cudf.log.out 03-Sep-2012 12:09 1487
rand736.cudf.log.runsolver 03-Sep-2012 12:09 10641
rand736.cudf.result.bz2 03-Sep-2012 12:09 4083
rand764.cudf.chk.err 03-Sep-2012 12:09 0
rand764.cudf.log.err 03-Sep-2012 12:09 0
rand764.cudf.log.out 03-Sep-2012 12:09 1371
rand764.cudf.log.runsolver 03-Sep-2012 12:09 10296
rand764.cudf.result.bz2 03-Sep-2012 12:09 3091
rand813.cudf.chk.err 03-Sep-2012 12:09 0
rand813.cudf.log.err 03-Sep-2012 12:09 0
rand813.cudf.log.out 03-Sep-2012 12:09 1371
rand813.cudf.log.runsolver 03-Sep-2012 12:09 10424
rand813.cudf.result.bz2 03-Sep-2012 12:09 4045
rand866.cudf.chk.err 03-Sep-2012 12:09 0
rand866.cudf.log.err 03-Sep-2012 12:09 0
rand866.cudf.log.out 03-Sep-2012 12:09 1607
rand866.cudf.log.runsolver 03-Sep-2012 12:09 9275
rand866.cudf.result.bz2 03-Sep-2012 12:09 2725
rand892.cudf.chk.err 03-Sep-2012 12:09 0
rand892.cudf.log.err 03-Sep-2012 12:09 0
rand892.cudf.log.out 03-Sep-2012 12:09 1488
rand892.cudf.log.runsolver 03-Sep-2012 12:09 12099
rand892.cudf.result.bz2 03-Sep-2012 12:09 4513
rand929.cudf.chk.err 03-Sep-2012 12:09 0
rand929.cudf.log.err 03-Sep-2012 12:09 0
rand929.cudf.log.out 03-Sep-2012 12:09 1372
rand929.cudf.log.runsolver 03-Sep-2012 12:09 7756
rand929.cudf.result.bz2 03-Sep-2012 12:09 4374