Index of /misc2012/solutions/full/aspcud-full-1.7/upgrade/upgrade/easy/
../
rand18.cudf.chk.err 03-Sep-2012 12:22 0
rand18.cudf.log.err 03-Sep-2012 12:23 0
rand18.cudf.log.out 03-Sep-2012 12:22 1266
rand18.cudf.log.runsolver 03-Sep-2012 12:23 10839
rand18.cudf.result.bz2 03-Sep-2012 12:23 3384
rand213.cudf.chk.err 03-Sep-2012 12:23 0
rand213.cudf.log.err 03-Sep-2012 12:23 0
rand213.cudf.log.out 03-Sep-2012 12:23 1240
rand213.cudf.log.runsolver 03-Sep-2012 12:23 12228
rand213.cudf.result.bz2 03-Sep-2012 12:23 2343
rand261.cudf.chk.err 03-Sep-2012 12:23 0
rand261.cudf.log.err 03-Sep-2012 12:23 0
rand261.cudf.log.out 03-Sep-2012 12:23 1269
rand261.cudf.log.runsolver 03-Sep-2012 12:22 11740
rand261.cudf.result.bz2 03-Sep-2012 12:22 3649
rand268.cudf.chk.err 03-Sep-2012 12:23 0
rand268.cudf.log.err 03-Sep-2012 12:23 0
rand268.cudf.log.out 03-Sep-2012 12:23 1239
rand268.cudf.log.runsolver 03-Sep-2012 12:23 9620
rand268.cudf.result.bz2 03-Sep-2012 12:23 2774
rand307.cudf.chk.err 03-Sep-2012 12:23 0
rand307.cudf.log.err 03-Sep-2012 12:22 0
rand307.cudf.log.out 03-Sep-2012 12:22 1272
rand307.cudf.log.runsolver 03-Sep-2012 12:22 13961
rand307.cudf.result.bz2 03-Sep-2012 12:22 4032
rand308.cudf.chk.err 03-Sep-2012 12:23 0
rand308.cudf.log.err 03-Sep-2012 12:23 0
rand308.cudf.log.out 03-Sep-2012 12:23 1266
rand308.cudf.log.runsolver 03-Sep-2012 12:23 8415
rand308.cudf.result.bz2 03-Sep-2012 12:22 4463
rand377.cudf.chk.err 03-Sep-2012 12:23 0
rand377.cudf.log.err 03-Sep-2012 12:23 0
rand377.cudf.log.out 03-Sep-2012 12:23 1266
rand377.cudf.log.runsolver 03-Sep-2012 12:23 12738
rand377.cudf.result.bz2 03-Sep-2012 12:23 3243
rand381.cudf.chk.err 03-Sep-2012 12:23 0
rand381.cudf.log.err 03-Sep-2012 12:23 0
rand381.cudf.log.out 03-Sep-2012 12:23 1235
rand381.cudf.log.runsolver 03-Sep-2012 12:23 10591
rand381.cudf.result.bz2 03-Sep-2012 12:23 2025
rand393.cudf.chk.err 03-Sep-2012 12:23 0
rand393.cudf.log.err 03-Sep-2012 12:23 0
rand393.cudf.log.out 03-Sep-2012 12:23 1266
rand393.cudf.log.runsolver 03-Sep-2012 12:23 10151
rand393.cudf.result.bz2 03-Sep-2012 12:23 2593
rand414.cudf.chk.err 03-Sep-2012 12:23 0
rand414.cudf.log.err 03-Sep-2012 12:23 0
rand414.cudf.log.out 03-Sep-2012 12:23 1239
rand414.cudf.log.runsolver 03-Sep-2012 12:23 12541
rand414.cudf.result.bz2 03-Sep-2012 12:23 3901
rand507.cudf.chk.err 03-Sep-2012 12:23 0
rand507.cudf.log.err 03-Sep-2012 12:23 0
rand507.cudf.log.out 03-Sep-2012 12:23 1277
rand507.cudf.log.runsolver 03-Sep-2012 12:23 17717
rand507.cudf.result.bz2 03-Sep-2012 12:23 3309
rand583.cudf.chk.err 03-Sep-2012 12:23 0
rand583.cudf.log.err 03-Sep-2012 12:22 0
rand583.cudf.log.out 03-Sep-2012 12:23 1240
rand583.cudf.log.runsolver 03-Sep-2012 12:22 9614
rand583.cudf.result.bz2 03-Sep-2012 12:23 2621
rand653.cudf.chk.err 03-Sep-2012 12:23 0
rand653.cudf.log.err 03-Sep-2012 12:23 0
rand653.cudf.log.out 03-Sep-2012 12:23 1350
rand653.cudf.log.runsolver 03-Sep-2012 12:23 18208
rand653.cudf.result.bz2 03-Sep-2012 12:23 5738
rand695.cudf.chk.err 03-Sep-2012 12:23 0
rand695.cudf.log.err 03-Sep-2012 12:23 0
rand695.cudf.log.out 03-Sep-2012 12:23 1267
rand695.cudf.log.runsolver 03-Sep-2012 12:23 13773
rand695.cudf.result.bz2 03-Sep-2012 12:23 3590
rand736.cudf.chk.err 03-Sep-2012 12:23 0
rand736.cudf.log.err 03-Sep-2012 12:23 0
rand736.cudf.log.out 03-Sep-2012 12:23 1267
rand736.cudf.log.runsolver 03-Sep-2012 12:23 9262
rand736.cudf.result.bz2 03-Sep-2012 12:23 3629
rand764.cudf.chk.err 03-Sep-2012 12:23 0
rand764.cudf.log.err 03-Sep-2012 12:23 0
rand764.cudf.log.out 03-Sep-2012 12:23 1267
rand764.cudf.log.runsolver 03-Sep-2012 12:23 12558
rand764.cudf.result.bz2 03-Sep-2012 12:23 2723
rand813.cudf.chk.err 03-Sep-2012 12:22 0
rand813.cudf.log.err 03-Sep-2012 12:23 0
rand813.cudf.log.out 03-Sep-2012 12:23 1241
rand813.cudf.log.runsolver 03-Sep-2012 12:23 11712
rand813.cudf.result.bz2 03-Sep-2012 12:23 3521
rand866.cudf.chk.err 03-Sep-2012 12:23 0
rand866.cudf.log.err 03-Sep-2012 12:23 0
rand866.cudf.log.out 03-Sep-2012 12:23 1266
rand866.cudf.log.runsolver 03-Sep-2012 12:23 8974
rand866.cudf.result.bz2 03-Sep-2012 12:23 2391
rand892.cudf.chk.err 03-Sep-2012 12:23 0
rand892.cudf.log.err 03-Sep-2012 12:23 0
rand892.cudf.log.out 03-Sep-2012 12:23 1238
rand892.cudf.log.runsolver 03-Sep-2012 12:23 7090
rand892.cudf.result.bz2 03-Sep-2012 12:23 4136
rand929.cudf.chk.err 03-Sep-2012 12:23 0
rand929.cudf.log.err 03-Sep-2012 12:22 0
rand929.cudf.log.out 03-Sep-2012 12:22 1279
rand929.cudf.log.runsolver 03-Sep-2012 12:23 14646
rand929.cudf.result.bz2 03-Sep-2012 12:23 4048