Index of /misc2012/solutions/full/aspcud-full-1.7/slowlink/upgrade/difficult/
../
rand116.cudf.chk.err 03-Sep-2012 12:17 0
rand116.cudf.log.err 03-Sep-2012 12:17 0
rand116.cudf.log.out 03-Sep-2012 12:17 1402
rand116.cudf.log.runsolver 03-Sep-2012 12:17 16967
rand116.cudf.result.bz2 03-Sep-2012 12:17 6255
rand131.cudf.chk.err 03-Sep-2012 12:17 0
rand131.cudf.log.err 03-Sep-2012 12:17 0
rand131.cudf.log.out 03-Sep-2012 12:17 1402
rand131.cudf.log.runsolver 03-Sep-2012 12:17 18545
rand131.cudf.result.bz2 03-Sep-2012 12:17 6488
rand172.cudf.chk.err 03-Sep-2012 12:17 0
rand172.cudf.log.err 03-Sep-2012 12:17 0
rand172.cudf.log.out 03-Sep-2012 12:17 1406
rand172.cudf.log.runsolver 03-Sep-2012 12:17 18167
rand172.cudf.result.bz2 03-Sep-2012 12:17 5718
rand196.cudf.chk.err 03-Sep-2012 12:17 0
rand196.cudf.log.err 03-Sep-2012 12:17 0
rand196.cudf.log.out 03-Sep-2012 12:17 1401
rand196.cudf.log.runsolver 03-Sep-2012 12:17 17897
rand196.cudf.result.bz2 03-Sep-2012 12:17 5550
rand208.cudf.chk.err 03-Sep-2012 12:17 0
rand208.cudf.log.err 03-Sep-2012 12:17 0
rand208.cudf.log.out 03-Sep-2012 12:17 1403
rand208.cudf.log.runsolver 03-Sep-2012 12:17 17282
rand208.cudf.result.bz2 03-Sep-2012 12:17 5825
rand21.cudf.chk.err 03-Sep-2012 12:17 0
rand21.cudf.log.err 03-Sep-2012 12:17 0
rand21.cudf.log.out 03-Sep-2012 12:17 1404
rand21.cudf.log.runsolver 03-Sep-2012 12:17 16687
rand21.cudf.result.bz2 03-Sep-2012 12:17 5609
rand289.cudf.chk.err 03-Sep-2012 12:17 0
rand289.cudf.log.err 03-Sep-2012 12:17 0
rand289.cudf.log.out 03-Sep-2012 12:17 1403
rand289.cudf.log.runsolver 03-Sep-2012 12:17 18485
rand289.cudf.result.bz2 03-Sep-2012 12:17 5709
rand293.cudf.chk.err 03-Sep-2012 12:17 0
rand293.cudf.log.err 03-Sep-2012 12:17 0
rand293.cudf.log.out 03-Sep-2012 12:17 1404
rand293.cudf.log.runsolver 03-Sep-2012 12:17 18196
rand293.cudf.result.bz2 03-Sep-2012 12:17 6703
rand313.cudf.chk.err 03-Sep-2012 12:17 0
rand313.cudf.log.err 03-Sep-2012 12:17 0
rand313.cudf.log.out 03-Sep-2012 12:17 1399
rand313.cudf.log.runsolver 03-Sep-2012 12:17 18561
rand313.cudf.result.bz2 03-Sep-2012 12:17 7900
rand347.cudf.chk.err 03-Sep-2012 12:17 0
rand347.cudf.log.err 03-Sep-2012 12:17 0
rand347.cudf.log.out 03-Sep-2012 12:17 1404
rand347.cudf.log.runsolver 03-Sep-2012 12:17 18534
rand347.cudf.result.bz2 03-Sep-2012 12:17 6569
rand411.cudf.chk.err 03-Sep-2012 12:17 0
rand411.cudf.log.err 03-Sep-2012 12:17 0
rand411.cudf.log.out 03-Sep-2012 12:17 1403
rand411.cudf.log.runsolver 03-Sep-2012 12:17 17895
rand411.cudf.result.bz2 03-Sep-2012 12:17 6243
rand425.cudf.chk.err 03-Sep-2012 12:17 0
rand425.cudf.log.err 03-Sep-2012 12:17 0
rand425.cudf.log.out 03-Sep-2012 12:17 1403
rand425.cudf.log.runsolver 03-Sep-2012 12:17 18512
rand425.cudf.result.bz2 03-Sep-2012 12:17 6830
rand484.cudf.chk.err 03-Sep-2012 12:17 0
rand484.cudf.log.err 03-Sep-2012 12:17 0
rand484.cudf.log.out 03-Sep-2012 12:17 1402
rand484.cudf.log.runsolver 03-Sep-2012 12:17 17936
rand484.cudf.result.bz2 03-Sep-2012 12:17 5969
rand491.cudf.chk.err 03-Sep-2012 12:17 0
rand491.cudf.log.err 03-Sep-2012 12:17 0
rand491.cudf.log.out 03-Sep-2012 12:17 1402
rand491.cudf.log.runsolver 03-Sep-2012 12:17 18482
rand491.cudf.result.bz2 03-Sep-2012 12:17 6102
rand752.cudf.chk.err 03-Sep-2012 12:17 0
rand752.cudf.log.err 03-Sep-2012 12:17 0
rand752.cudf.log.out 03-Sep-2012 12:17 1402
rand752.cudf.log.runsolver 03-Sep-2012 12:17 16379
rand752.cudf.result.bz2 03-Sep-2012 12:17 6260
rand794.cudf.chk.err 03-Sep-2012 12:17 0
rand794.cudf.log.err 03-Sep-2012 12:17 0
rand794.cudf.log.out 03-Sep-2012 12:17 1405
rand794.cudf.log.runsolver 03-Sep-2012 12:17 17268
rand794.cudf.result.bz2 03-Sep-2012 12:17 6448
rand83.cudf.chk.err 03-Sep-2012 12:17 0
rand83.cudf.log.err 03-Sep-2012 12:17 0
rand83.cudf.log.out 03-Sep-2012 12:17 1404
rand83.cudf.log.runsolver 03-Sep-2012 12:17 17269
rand83.cudf.result.bz2 03-Sep-2012 12:17 5920
rand869.cudf.chk.err 03-Sep-2012 12:17 0
rand869.cudf.log.err 03-Sep-2012 12:17 0
rand869.cudf.log.out 03-Sep-2012 12:17 1403
rand869.cudf.log.runsolver 03-Sep-2012 12:17 17265
rand869.cudf.result.bz2 03-Sep-2012 12:17 6391
rand874.cudf.chk.err 03-Sep-2012 12:17 0
rand874.cudf.log.err 03-Sep-2012 12:17 0
rand874.cudf.log.out 03-Sep-2012 12:17 1400
rand874.cudf.log.runsolver 03-Sep-2012 12:17 17298
rand874.cudf.result.bz2 03-Sep-2012 12:17 5718
rand981.cudf.chk.err 03-Sep-2012 12:17 0
rand981.cudf.log.err 03-Sep-2012 12:17 0
rand981.cudf.log.out 03-Sep-2012 12:17 1403
rand981.cudf.log.runsolver 03-Sep-2012 12:17 16943
rand981.cudf.result.bz2 03-Sep-2012 12:17 6096