Index of /misc2012/solutions/full/aspcud-full-1.7/dist-upgrade/upgrade/difficult/
../
rand116.cudf.chk.err 03-Sep-2012 12:20 0
rand116.cudf.log.err 03-Sep-2012 12:20 0
rand116.cudf.log.out 03-Sep-2012 12:20 1280
rand116.cudf.log.runsolver 03-Sep-2012 12:20 14004
rand116.cudf.result.bz2 03-Sep-2012 12:20 3032
rand131.cudf.chk.err 03-Sep-2012 12:20 0
rand131.cudf.log.err 03-Sep-2012 12:20 0
rand131.cudf.log.out 03-Sep-2012 12:20 1280
rand131.cudf.log.runsolver 03-Sep-2012 12:20 13317
rand131.cudf.result.bz2 03-Sep-2012 12:20 5685
rand172.cudf.chk.err 03-Sep-2012 12:20 0
rand172.cudf.log.err 03-Sep-2012 12:20 0
rand172.cudf.log.out 03-Sep-2012 12:20 1282
rand172.cudf.log.runsolver 03-Sep-2012 12:20 14566
rand172.cudf.result.bz2 03-Sep-2012 12:20 3793
rand196.cudf.chk.err 03-Sep-2012 12:20 0
rand196.cudf.log.err 03-Sep-2012 12:20 0
rand196.cudf.log.out 03-Sep-2012 12:20 1279
rand196.cudf.log.runsolver 03-Sep-2012 12:20 14021
rand196.cudf.result.bz2 03-Sep-2012 12:20 3188
rand208.cudf.chk.err 03-Sep-2012 12:20 0
rand208.cudf.log.err 03-Sep-2012 12:20 0
rand208.cudf.log.out 03-Sep-2012 12:20 1280
rand208.cudf.log.runsolver 03-Sep-2012 12:20 14585
rand208.cudf.result.bz2 03-Sep-2012 12:20 3543
rand21.cudf.chk.err 03-Sep-2012 12:20 0
rand21.cudf.log.err 03-Sep-2012 12:20 0
rand21.cudf.log.out 03-Sep-2012 12:20 1278
rand21.cudf.log.runsolver 03-Sep-2012 12:20 14897
rand21.cudf.result.bz2 03-Sep-2012 12:20 4037
rand289.cudf.chk.err 03-Sep-2012 12:20 0
rand289.cudf.log.err 03-Sep-2012 12:20 0
rand289.cudf.log.out 03-Sep-2012 12:20 1354
rand289.cudf.log.runsolver 03-Sep-2012 12:20 18511
rand289.cudf.result.bz2 03-Sep-2012 12:20 7477
rand293.cudf.chk.err 03-Sep-2012 12:20 0
rand293.cudf.log.err 03-Sep-2012 12:20 0
rand293.cudf.log.out 03-Sep-2012 12:20 1279
rand293.cudf.log.runsolver 03-Sep-2012 12:20 16486
rand293.cudf.result.bz2 03-Sep-2012 12:20 6562
rand313.cudf.chk.err 03-Sep-2012 12:20 0
rand313.cudf.log.err 03-Sep-2012 12:20 0
rand313.cudf.log.out 03-Sep-2012 12:20 1284
rand313.cudf.log.runsolver 03-Sep-2012 12:20 15272
rand313.cudf.result.bz2 03-Sep-2012 12:20 7770
rand347.cudf.chk.err 03-Sep-2012 12:20 0
rand347.cudf.log.err 03-Sep-2012 12:20 0
rand347.cudf.log.out 03-Sep-2012 12:20 1282
rand347.cudf.log.runsolver 03-Sep-2012 12:20 19300
rand347.cudf.result.bz2 03-Sep-2012 12:20 4335
rand411.cudf.chk.err 03-Sep-2012 12:20 0
rand411.cudf.log.err 03-Sep-2012 12:20 0
rand411.cudf.log.out 03-Sep-2012 12:20 1277
rand411.cudf.log.runsolver 03-Sep-2012 12:20 15239
rand411.cudf.result.bz2 03-Sep-2012 12:20 4462
rand425.cudf.chk.err 03-Sep-2012 12:20 0
rand425.cudf.log.err 03-Sep-2012 12:20 0
rand425.cudf.log.out 03-Sep-2012 12:20 1283
rand425.cudf.log.runsolver 03-Sep-2012 12:20 14382
rand425.cudf.result.bz2 03-Sep-2012 12:20 4428
rand484.cudf.chk.err 03-Sep-2012 12:20 0
rand484.cudf.log.err 03-Sep-2012 12:20 0
rand484.cudf.log.out 03-Sep-2012 12:20 1276
rand484.cudf.log.runsolver 03-Sep-2012 12:20 13453
rand484.cudf.result.bz2 03-Sep-2012 12:20 2491
rand491.cudf.chk.err 03-Sep-2012 12:20 0
rand491.cudf.log.err 03-Sep-2012 12:20 0
rand491.cudf.log.out 03-Sep-2012 12:20 1280
rand491.cudf.log.runsolver 03-Sep-2012 12:20 16487
rand491.cudf.result.bz2 03-Sep-2012 12:20 4035
rand752.cudf.chk.err 03-Sep-2012 12:20 0
rand752.cudf.log.err 03-Sep-2012 12:20 0
rand752.cudf.log.out 03-Sep-2012 12:20 1278
rand752.cudf.log.runsolver 03-Sep-2012 12:20 11545
rand752.cudf.result.bz2 03-Sep-2012 12:20 3847
rand794.cudf.chk.err 03-Sep-2012 12:20 0
rand794.cudf.log.err 03-Sep-2012 12:20 0
rand794.cudf.log.out 03-Sep-2012 12:20 1291
rand794.cudf.log.runsolver 03-Sep-2012 12:20 18640
rand794.cudf.result.bz2 03-Sep-2012 12:20 3781
rand83.cudf.chk.err 03-Sep-2012 12:20 0
rand83.cudf.log.err 03-Sep-2012 12:20 0
rand83.cudf.log.out 03-Sep-2012 12:20 1278
rand83.cudf.log.runsolver 03-Sep-2012 12:20 14884
rand83.cudf.result.bz2 03-Sep-2012 12:20 3481
rand869.cudf.chk.err 03-Sep-2012 12:20 0
rand869.cudf.log.err 03-Sep-2012 12:20 0
rand869.cudf.log.out 03-Sep-2012 12:20 1279
rand869.cudf.log.runsolver 03-Sep-2012 12:20 14708
rand869.cudf.result.bz2 03-Sep-2012 12:20 4169
rand874.cudf.chk.err 03-Sep-2012 12:20 0
rand874.cudf.log.err 03-Sep-2012 12:20 0
rand874.cudf.log.out 03-Sep-2012 12:20 1279
rand874.cudf.log.runsolver 03-Sep-2012 12:20 15267
rand874.cudf.result.bz2 03-Sep-2012 12:20 4589
rand981.cudf.chk.err 03-Sep-2012 12:20 0
rand981.cudf.log.err 03-Sep-2012 12:20 0
rand981.cudf.log.out 03-Sep-2012 12:20 1275
rand981.cudf.log.runsolver 03-Sep-2012 12:20 13972
rand981.cudf.result.bz2 03-Sep-2012 12:20 2398