Index of /misc2012/solutions/full/aspcud-full-1.7/trendy-size/upgrade/difficult/
../
rand116.cudf.chk.err 03-Sep-2012 12:13 0
rand116.cudf.log.err 03-Sep-2012 12:14 0
rand116.cudf.log.out 03-Sep-2012 12:14 1367
rand116.cudf.log.runsolver 03-Sep-2012 12:13 16736
rand116.cudf.result.bz2 03-Sep-2012 12:14 6892
rand131.cudf.chk.err 03-Sep-2012 12:14 0
rand131.cudf.log.err 03-Sep-2012 12:14 0
rand131.cudf.log.out 03-Sep-2012 12:14 1368
rand131.cudf.log.runsolver 03-Sep-2012 12:14 16987
rand131.cudf.result.bz2 03-Sep-2012 12:14 7315
rand172.cudf.chk.err 03-Sep-2012 12:14 0
rand172.cudf.log.err 03-Sep-2012 12:14 0
rand172.cudf.log.out 03-Sep-2012 12:14 1371
rand172.cudf.log.runsolver 03-Sep-2012 12:14 16739
rand172.cudf.result.bz2 03-Sep-2012 12:14 8828
rand196.cudf.chk.err 03-Sep-2012 12:14 0
rand196.cudf.log.err 03-Sep-2012 12:14 0
rand196.cudf.log.out 03-Sep-2012 12:14 1371
rand196.cudf.log.runsolver 03-Sep-2012 12:14 16947
rand196.cudf.result.bz2 03-Sep-2012 12:14 9251
rand208.cudf.chk.err 03-Sep-2012 12:14 0
rand208.cudf.log.err 03-Sep-2012 12:14 0
rand208.cudf.log.out 03-Sep-2012 12:14 1369
rand208.cudf.log.runsolver 03-Sep-2012 12:14 18247
rand208.cudf.result.bz2 03-Sep-2012 12:14 7852
rand21.cudf.chk.err 03-Sep-2012 12:14 0
rand21.cudf.log.err 03-Sep-2012 12:14 0
rand21.cudf.log.out 03-Sep-2012 12:14 1371
rand21.cudf.log.runsolver 03-Sep-2012 12:14 18233
rand21.cudf.result.bz2 03-Sep-2012 12:14 10880
rand289.cudf.chk.err 03-Sep-2012 12:14 0
rand289.cudf.log.err 03-Sep-2012 12:14 0
rand289.cudf.log.out 03-Sep-2012 12:14 1370
rand289.cudf.log.runsolver 03-Sep-2012 12:14 18249
rand289.cudf.result.bz2 03-Sep-2012 12:14 8086
rand293.cudf.chk.err 03-Sep-2012 12:14 0
rand293.cudf.log.err 03-Sep-2012 12:13 0
rand293.cudf.log.out 03-Sep-2012 12:14 1370
rand293.cudf.log.runsolver 03-Sep-2012 12:13 17939
rand293.cudf.result.bz2 03-Sep-2012 12:14 7306
rand313.cudf.chk.err 03-Sep-2012 12:14 0
rand313.cudf.log.err 03-Sep-2012 12:14 0
rand313.cudf.log.out 03-Sep-2012 12:14 1370
rand313.cudf.log.runsolver 03-Sep-2012 12:14 18254
rand313.cudf.result.bz2 03-Sep-2012 12:14 11621
rand347.cudf.chk.err 03-Sep-2012 12:14 0
rand347.cudf.log.err 03-Sep-2012 12:14 0
rand347.cudf.log.out 03-Sep-2012 12:14 1366
rand347.cudf.log.runsolver 03-Sep-2012 12:14 17014
rand347.cudf.result.bz2 03-Sep-2012 12:14 6922
rand411.cudf.chk.err 03-Sep-2012 12:14 0
rand411.cudf.log.err 03-Sep-2012 12:14 0
rand411.cudf.log.out 03-Sep-2012 12:14 1369
rand411.cudf.log.runsolver 03-Sep-2012 12:14 17007
rand411.cudf.result.bz2 03-Sep-2012 12:14 8964
rand425.cudf.chk.err 03-Sep-2012 12:14 0
rand425.cudf.log.err 03-Sep-2012 12:14 0
rand425.cudf.log.out 03-Sep-2012 12:14 1370
rand425.cudf.log.runsolver 03-Sep-2012 12:14 17020
rand425.cudf.result.bz2 03-Sep-2012 12:14 9350
rand484.cudf.chk.err 03-Sep-2012 12:14 0
rand484.cudf.log.err 03-Sep-2012 12:14 0
rand484.cudf.log.out 03-Sep-2012 12:14 1369
rand484.cudf.log.runsolver 03-Sep-2012 12:14 18247
rand484.cudf.result.bz2 03-Sep-2012 12:14 7810
rand491.cudf.chk.err 03-Sep-2012 12:14 0
rand491.cudf.log.err 03-Sep-2012 12:14 0
rand491.cudf.log.out 03-Sep-2012 12:14 1367
rand491.cudf.log.runsolver 03-Sep-2012 12:14 18217
rand491.cudf.result.bz2 03-Sep-2012 12:14 7411
rand752.cudf.chk.err 03-Sep-2012 12:14 0
rand752.cudf.log.err 03-Sep-2012 12:14 0
rand752.cudf.log.out 03-Sep-2012 12:14 1368
rand752.cudf.log.runsolver 03-Sep-2012 12:14 18239
rand752.cudf.result.bz2 03-Sep-2012 12:14 6691
rand794.cudf.chk.err 03-Sep-2012 12:14 0
rand794.cudf.log.err 03-Sep-2012 12:14 0
rand794.cudf.log.out 03-Sep-2012 12:14 1370
rand794.cudf.log.runsolver 03-Sep-2012 12:14 18206
rand794.cudf.result.bz2 03-Sep-2012 12:14 8224
rand83.cudf.chk.err 03-Sep-2012 12:14 0
rand83.cudf.log.err 03-Sep-2012 12:14 0
rand83.cudf.log.out 03-Sep-2012 12:14 1368
rand83.cudf.log.runsolver 03-Sep-2012 12:14 18227
rand83.cudf.result.bz2 03-Sep-2012 12:14 7661
rand869.cudf.chk.err 03-Sep-2012 12:14 0
rand869.cudf.log.err 03-Sep-2012 12:14 0
rand869.cudf.log.out 03-Sep-2012 12:14 1370
rand869.cudf.log.runsolver 03-Sep-2012 12:14 16976
rand869.cudf.result.bz2 03-Sep-2012 12:14 8183
rand874.cudf.chk.err 03-Sep-2012 12:13 0
rand874.cudf.log.err 03-Sep-2012 12:13 0
rand874.cudf.log.out 03-Sep-2012 12:14 1371
rand874.cudf.log.runsolver 03-Sep-2012 12:13 17937
rand874.cudf.result.bz2 03-Sep-2012 12:14 8708
rand981.cudf.chk.err 03-Sep-2012 12:14 0
rand981.cudf.log.err 03-Sep-2012 12:13 0
rand981.cudf.log.out 03-Sep-2012 12:14 1365
rand981.cudf.log.runsolver 03-Sep-2012 12:14 17976
rand981.cudf.result.bz2 03-Sep-2012 12:14 6781