Index of /misc2012/solutions/full/aspcud-full-1.7/upgrade/upgrade/difficult/
../
rand116.cudf.chk.err 03-Sep-2012 12:22 0
rand116.cudf.log.err 03-Sep-2012 12:22 0
rand116.cudf.log.out 03-Sep-2012 12:22 1283
rand116.cudf.log.runsolver 03-Sep-2012 12:22 15911
rand116.cudf.result.bz2 03-Sep-2012 12:22 3004
rand131.cudf.chk.err 03-Sep-2012 12:22 0
rand131.cudf.log.err 03-Sep-2012 12:22 0
rand131.cudf.log.out 03-Sep-2012 12:22 1281
rand131.cudf.log.runsolver 03-Sep-2012 12:22 15508
rand131.cudf.result.bz2 03-Sep-2012 12:22 5719
rand172.cudf.chk.err 03-Sep-2012 12:22 0
rand172.cudf.log.err 03-Sep-2012 12:22 0
rand172.cudf.log.out 03-Sep-2012 12:22 1285
rand172.cudf.log.runsolver 03-Sep-2012 12:22 17124
rand172.cudf.result.bz2 03-Sep-2012 12:22 3815
rand196.cudf.chk.err 03-Sep-2012 12:22 0
rand196.cudf.log.err 03-Sep-2012 12:22 0
rand196.cudf.log.out 03-Sep-2012 12:22 1279
rand196.cudf.log.runsolver 03-Sep-2012 12:22 14699
rand196.cudf.result.bz2 03-Sep-2012 12:22 3213
rand208.cudf.chk.err 03-Sep-2012 12:22 0
rand208.cudf.log.err 03-Sep-2012 12:22 0
rand208.cudf.log.out 03-Sep-2012 12:22 1282
rand208.cudf.log.runsolver 03-Sep-2012 12:22 15472
rand208.cudf.result.bz2 03-Sep-2012 12:22 3522
rand21.cudf.chk.err 03-Sep-2012 12:22 0
rand21.cudf.log.err 03-Sep-2012 12:22 0
rand21.cudf.log.out 03-Sep-2012 12:22 1280
rand21.cudf.log.runsolver 03-Sep-2012 12:22 16486
rand21.cudf.result.bz2 03-Sep-2012 12:22 4026
rand289.cudf.chk.err 03-Sep-2012 12:22 0
rand289.cudf.log.err 03-Sep-2012 12:22 0
rand289.cudf.log.out 03-Sep-2012 12:22 1356
rand289.cudf.log.runsolver 03-Sep-2012 12:22 17344
rand289.cudf.result.bz2 03-Sep-2012 12:22 7512
rand293.cudf.chk.err 03-Sep-2012 12:22 0
rand293.cudf.log.err 03-Sep-2012 12:22 0
rand293.cudf.log.out 03-Sep-2012 12:22 1282
rand293.cudf.log.runsolver 03-Sep-2012 12:22 13990
rand293.cudf.result.bz2 03-Sep-2012 12:22 6582
rand313.cudf.chk.err 03-Sep-2012 12:22 0
rand313.cudf.log.err 03-Sep-2012 12:22 0
rand313.cudf.log.out 03-Sep-2012 12:22 1287
rand313.cudf.log.runsolver 03-Sep-2012 12:22 11576
rand313.cudf.result.bz2 03-Sep-2012 12:22 7768
rand347.cudf.chk.err 03-Sep-2012 12:22 0
rand347.cudf.log.err 03-Sep-2012 12:22 0
rand347.cudf.log.out 03-Sep-2012 12:22 1286
rand347.cudf.log.runsolver 03-Sep-2012 12:22 14355
rand347.cudf.result.bz2 03-Sep-2012 12:22 4379
rand411.cudf.chk.err 03-Sep-2012 12:22 0
rand411.cudf.log.err 03-Sep-2012 12:22 0
rand411.cudf.log.out 03-Sep-2012 12:22 1280
rand411.cudf.log.runsolver 03-Sep-2012 12:22 13672
rand411.cudf.result.bz2 03-Sep-2012 12:22 4446
rand425.cudf.chk.err 03-Sep-2012 12:22 0
rand425.cudf.log.err 03-Sep-2012 12:22 0
rand425.cudf.log.out 03-Sep-2012 12:22 1285
rand425.cudf.log.runsolver 03-Sep-2012 12:22 17773
rand425.cudf.result.bz2 03-Sep-2012 12:22 4486
rand484.cudf.chk.err 03-Sep-2012 12:22 0
rand484.cudf.log.err 03-Sep-2012 12:22 0
rand484.cudf.log.out 03-Sep-2012 12:22 1278
rand484.cudf.log.runsolver 03-Sep-2012 12:22 13148
rand484.cudf.result.bz2 03-Sep-2012 12:22 2478
rand491.cudf.chk.err 03-Sep-2012 12:22 0
rand491.cudf.log.err 03-Sep-2012 12:22 0
rand491.cudf.log.out 03-Sep-2012 12:22 1282
rand491.cudf.log.runsolver 03-Sep-2012 12:22 14928
rand491.cudf.result.bz2 03-Sep-2012 12:22 3997
rand752.cudf.chk.err 03-Sep-2012 12:22 0
rand752.cudf.log.err 03-Sep-2012 12:22 0
rand752.cudf.log.out 03-Sep-2012 12:22 1280
rand752.cudf.log.runsolver 03-Sep-2012 12:22 13845
rand752.cudf.result.bz2 03-Sep-2012 12:22 3819
rand794.cudf.chk.err 03-Sep-2012 12:22 0
rand794.cudf.log.err 03-Sep-2012 12:22 0
rand794.cudf.log.out 03-Sep-2012 12:22 1294
rand794.cudf.log.runsolver 03-Sep-2012 12:22 20215
rand794.cudf.result.bz2 03-Sep-2012 12:22 3765
rand83.cudf.chk.err 03-Sep-2012 12:22 0
rand83.cudf.log.err 03-Sep-2012 12:22 0
rand83.cudf.log.out 03-Sep-2012 12:22 1280
rand83.cudf.log.runsolver 03-Sep-2012 12:22 15158
rand83.cudf.result.bz2 03-Sep-2012 12:22 3487
rand869.cudf.chk.err 03-Sep-2012 12:22 0
rand869.cudf.log.err 03-Sep-2012 12:22 0
rand869.cudf.log.out 03-Sep-2012 12:22 1281
rand869.cudf.log.runsolver 03-Sep-2012 12:22 14583
rand869.cudf.result.bz2 03-Sep-2012 12:22 4190
rand874.cudf.chk.err 03-Sep-2012 12:22 0
rand874.cudf.log.err 03-Sep-2012 12:22 0
rand874.cudf.log.out 03-Sep-2012 12:22 1280
rand874.cudf.log.runsolver 03-Sep-2012 12:22 15807
rand874.cudf.result.bz2 03-Sep-2012 12:22 4586
rand981.cudf.chk.err 03-Sep-2012 12:22 0
rand981.cudf.log.err 03-Sep-2012 12:22 0
rand981.cudf.log.out 03-Sep-2012 12:22 1277
rand981.cudf.log.runsolver 03-Sep-2012 12:22 13142
rand981.cudf.result.bz2 03-Sep-2012 12:22 2406