Index of /misc2012/solutions/full/aspcud-full-1.7/dist-upgrade/install/
../
rand118.cudf.chk.err 03-Sep-2012 12:21 0
rand118.cudf.log.err 03-Sep-2012 12:21 0
rand118.cudf.log.out 03-Sep-2012 12:21 1279
rand118.cudf.log.runsolver 03-Sep-2012 12:21 16467
rand118.cudf.result.bz2 03-Sep-2012 12:21 4474
rand179.cudf.chk.err 03-Sep-2012 12:21 0
rand179.cudf.log.err 03-Sep-2012 12:21 0
rand179.cudf.log.out 03-Sep-2012 12:21 1279
rand179.cudf.log.runsolver 03-Sep-2012 12:21 12599
rand179.cudf.result.bz2 03-Sep-2012 12:21 3854
rand208.cudf.chk.err 03-Sep-2012 12:21 0
rand208.cudf.log.err 03-Sep-2012 12:21 0
rand208.cudf.log.out 03-Sep-2012 12:21 1276
rand208.cudf.log.runsolver 03-Sep-2012 12:21 12207
rand208.cudf.result.bz2 03-Sep-2012 12:21 3155
rand209.cudf.chk.err 03-Sep-2012 12:21 0
rand209.cudf.log.err 03-Sep-2012 12:21 0
rand209.cudf.log.out 03-Sep-2012 12:21 1280
rand209.cudf.log.runsolver 03-Sep-2012 12:21 14541
rand209.cudf.result.bz2 03-Sep-2012 12:21 3869
rand220.cudf.chk.err 03-Sep-2012 12:21 0
rand220.cudf.log.err 03-Sep-2012 12:21 0
rand220.cudf.log.out 03-Sep-2012 12:21 1291
rand220.cudf.log.runsolver 03-Sep-2012 12:21 18615
rand220.cudf.result.bz2 03-Sep-2012 12:21 2871
rand242.cudf.chk.err 03-Sep-2012 12:21 0
rand242.cudf.log.err 03-Sep-2012 12:21 0
rand242.cudf.log.out 03-Sep-2012 12:21 1279
rand242.cudf.log.runsolver 03-Sep-2012 12:21 13973
rand242.cudf.result.bz2 03-Sep-2012 12:21 3763
rand290.cudf.chk.err 03-Sep-2012 12:21 0
rand290.cudf.log.err 03-Sep-2012 12:21 0
rand290.cudf.log.out 03-Sep-2012 12:21 1279
rand290.cudf.log.runsolver 03-Sep-2012 12:21 16454
rand290.cudf.result.bz2 03-Sep-2012 12:21 4541
rand30.cudf.chk.err 03-Sep-2012 12:21 0
rand30.cudf.log.err 03-Sep-2012 12:21 0
rand30.cudf.log.out 03-Sep-2012 12:21 1278
rand30.cudf.log.runsolver 03-Sep-2012 12:21 12765
rand30.cudf.result.bz2 03-Sep-2012 12:21 4156
rand308.cudf.chk.err 03-Sep-2012 12:21 0
rand308.cudf.log.err 03-Sep-2012 12:21 0
rand308.cudf.log.out 03-Sep-2012 12:21 1275
rand308.cudf.log.runsolver 03-Sep-2012 12:21 12966
rand308.cudf.result.bz2 03-Sep-2012 12:21 4164
rand411.cudf.chk.err 03-Sep-2012 12:21 0
rand411.cudf.log.err 03-Sep-2012 12:21 0
rand411.cudf.log.out 03-Sep-2012 12:21 1278
rand411.cudf.log.runsolver 03-Sep-2012 12:21 15234
rand411.cudf.result.bz2 03-Sep-2012 12:21 2981
rand446.cudf.chk.err 03-Sep-2012 12:21 0
rand446.cudf.log.err 03-Sep-2012 12:21 0
rand446.cudf.log.out 03-Sep-2012 12:21 1275
rand446.cudf.log.runsolver 03-Sep-2012 12:21 14540
rand446.cudf.result.bz2 03-Sep-2012 12:21 2402
rand547.cudf.chk.err 03-Sep-2012 12:21 0
rand547.cudf.log.err 03-Sep-2012 12:21 0
rand547.cudf.log.out 03-Sep-2012 12:21 1279
rand547.cudf.log.runsolver 03-Sep-2012 12:21 16469
rand547.cudf.result.bz2 03-Sep-2012 12:21 2819
rand7.cudf.chk.err 03-Sep-2012 12:21 0
rand7.cudf.log.err 03-Sep-2012 12:21 0
rand7.cudf.log.out 03-Sep-2012 12:21 1275
rand7.cudf.log.runsolver 03-Sep-2012 12:21 12180
rand7.cudf.result.bz2 03-Sep-2012 12:21 2542
rand717.cudf.chk.err 03-Sep-2012 12:21 0
rand717.cudf.log.err 03-Sep-2012 12:21 0
rand717.cudf.log.out 03-Sep-2012 12:21 1280
rand717.cudf.log.runsolver 03-Sep-2012 12:21 16436
rand717.cudf.result.bz2 03-Sep-2012 12:21 5538
rand83.cudf.chk.err 03-Sep-2012 12:21 0
rand83.cudf.log.err 03-Sep-2012 12:21 0
rand83.cudf.log.out 03-Sep-2012 12:21 1279
rand83.cudf.log.runsolver 03-Sep-2012 12:21 13414
rand83.cudf.result.bz2 03-Sep-2012 12:21 2800
rand937.cudf.chk.err 03-Sep-2012 12:21 0
rand937.cudf.log.err 03-Sep-2012 12:21 0
rand937.cudf.log.out 03-Sep-2012 12:21 1275
rand937.cudf.log.runsolver 03-Sep-2012 12:21 14674
rand937.cudf.result.bz2 03-Sep-2012 12:21 2653
rand943.cudf.chk.err 03-Sep-2012 12:21 0
rand943.cudf.log.err 03-Sep-2012 12:21 0
rand943.cudf.log.out 03-Sep-2012 12:21 1354
rand943.cudf.log.runsolver 03-Sep-2012 12:21 18147
rand943.cudf.result.bz2 03-Sep-2012 12:21 3629
rand954.cudf.chk.err 03-Sep-2012 12:21 0
rand954.cudf.log.err 03-Sep-2012 12:21 0
rand954.cudf.log.out 03-Sep-2012 12:21 1275
rand954.cudf.log.runsolver 03-Sep-2012 12:21 13307
rand954.cudf.result.bz2 03-Sep-2012 12:21 2391
rand96.cudf.chk.err 03-Sep-2012 12:21 0
rand96.cudf.log.err 03-Sep-2012 12:21 0
rand96.cudf.log.out 03-Sep-2012 12:21 1278
rand96.cudf.log.runsolver 03-Sep-2012 12:21 13402
rand96.cudf.result.bz2 03-Sep-2012 12:21 3034
rand984.cudf.chk.err 03-Sep-2012 12:21 0
rand984.cudf.log.err 03-Sep-2012 12:21 0
rand984.cudf.log.out 03-Sep-2012 12:21 1278
rand984.cudf.log.runsolver 03-Sep-2012 12:21 13994
rand984.cudf.result.bz2 03-Sep-2012 12:21 4715