Index of /misc2012/solutions/full/aspuncud-full-1.7/upgrade/upgrade/difficult/
../
rand116.cudf.chk.err 03-Sep-2012 12:11 0
rand116.cudf.log.err 03-Sep-2012 12:11 0
rand116.cudf.log.out 03-Sep-2012 12:11 1890
rand116.cudf.log.runsolver 03-Sep-2012 12:11 12077
rand116.cudf.result.bz2 03-Sep-2012 12:11 3511
rand131.cudf.chk.err 03-Sep-2012 12:11 0
rand131.cudf.log.err 03-Sep-2012 12:11 0
rand131.cudf.log.out 03-Sep-2012 12:11 1517
rand131.cudf.log.runsolver 03-Sep-2012 12:11 12003
rand131.cudf.result.bz2 03-Sep-2012 12:11 6124
rand172.cudf.chk.err 03-Sep-2012 12:12 0
rand172.cudf.log.err 03-Sep-2012 12:12 0
rand172.cudf.log.out 03-Sep-2012 12:12 1640
rand172.cudf.log.runsolver 03-Sep-2012 12:12 12247
rand172.cudf.result.bz2 03-Sep-2012 12:12 4317
rand196.cudf.chk.err 03-Sep-2012 12:11 0
rand196.cudf.log.err 03-Sep-2012 12:11 0
rand196.cudf.log.out 03-Sep-2012 12:11 1761
rand196.cudf.log.runsolver 03-Sep-2012 12:11 12108
rand196.cudf.result.bz2 03-Sep-2012 12:11 3720
rand208.cudf.chk.err 03-Sep-2012 12:11 0
rand208.cudf.log.err 03-Sep-2012 12:11 0
rand208.cudf.log.out 03-Sep-2012 12:11 1647
rand208.cudf.log.runsolver 03-Sep-2012 12:11 14045
rand208.cudf.result.bz2 03-Sep-2012 12:11 4028
rand21.cudf.chk.err 03-Sep-2012 12:11 0
rand21.cudf.log.err 03-Sep-2012 12:11 0
rand21.cudf.log.out 03-Sep-2012 12:11 1517
rand21.cudf.log.runsolver 03-Sep-2012 12:11 14045
rand21.cudf.result.bz2 03-Sep-2012 12:11 4504
rand289.cudf.chk.err 03-Sep-2012 12:12 0
rand289.cudf.log.err 03-Sep-2012 12:12 0
rand289.cudf.log.out 03-Sep-2012 12:12 1760
rand289.cudf.log.runsolver 03-Sep-2012 12:12 11020
rand289.cudf.result.bz2 03-Sep-2012 12:12 7764
rand293.cudf.chk.err 03-Sep-2012 12:11 0
rand293.cudf.log.err 03-Sep-2012 12:11 0
rand293.cudf.log.out 03-Sep-2012 12:11 1517
rand293.cudf.log.runsolver 03-Sep-2012 12:11 12235
rand293.cudf.result.bz2 03-Sep-2012 12:11 7040
rand313.cudf.chk.err 03-Sep-2012 12:11 0
rand313.cudf.log.err 03-Sep-2012 12:12 0
rand313.cudf.log.out 03-Sep-2012 12:11 1519
rand313.cudf.log.runsolver 03-Sep-2012 12:11 12167
rand313.cudf.result.bz2 03-Sep-2012 12:11 8164
rand347.cudf.chk.err 03-Sep-2012 12:11 0
rand347.cudf.log.err 03-Sep-2012 12:11 0
rand347.cudf.log.out 03-Sep-2012 12:11 1640
rand347.cudf.log.runsolver 03-Sep-2012 12:11 10749
rand347.cudf.result.bz2 03-Sep-2012 12:11 4907
rand411.cudf.chk.err 03-Sep-2012 12:11 0
rand411.cudf.log.err 03-Sep-2012 12:11 0
rand411.cudf.log.out 03-Sep-2012 12:11 1517
rand411.cudf.log.runsolver 03-Sep-2012 12:11 13358
rand411.cudf.result.bz2 03-Sep-2012 12:11 4930
rand425.cudf.chk.err 03-Sep-2012 12:11 0
rand425.cudf.log.err 03-Sep-2012 12:11 0
rand425.cudf.log.out 03-Sep-2012 12:12 1517
rand425.cudf.log.runsolver 03-Sep-2012 12:11 13064
rand425.cudf.result.bz2 03-Sep-2012 12:11 4961
rand484.cudf.chk.err 03-Sep-2012 12:11 0
rand484.cudf.log.err 03-Sep-2012 12:11 0
rand484.cudf.log.out 03-Sep-2012 12:11 1760
rand484.cudf.log.runsolver 03-Sep-2012 12:11 11023
rand484.cudf.result.bz2 03-Sep-2012 12:11 3025
rand491.cudf.chk.err 03-Sep-2012 12:12 0
rand491.cudf.log.err 03-Sep-2012 12:12 0
rand491.cudf.log.out 03-Sep-2012 12:12 1523
rand491.cudf.log.runsolver 03-Sep-2012 12:12 14593
rand491.cudf.result.bz2 03-Sep-2012 12:12 4538
rand752.cudf.chk.err 03-Sep-2012 12:11 0
rand752.cudf.log.err 03-Sep-2012 12:11 0
rand752.cudf.log.out 03-Sep-2012 12:11 1761
rand752.cudf.log.runsolver 03-Sep-2012 12:11 11588
rand752.cudf.result.bz2 03-Sep-2012 12:11 4372
rand794.cudf.chk.err 03-Sep-2012 12:11 0
rand794.cudf.log.err 03-Sep-2012 12:11 0
rand794.cudf.log.out 03-Sep-2012 12:11 1648
rand794.cudf.log.runsolver 03-Sep-2012 12:11 14410
rand794.cudf.result.bz2 03-Sep-2012 12:11 4235
rand83.cudf.chk.err 03-Sep-2012 12:12 0
rand83.cudf.log.err 03-Sep-2012 12:11 0
rand83.cudf.log.out 03-Sep-2012 12:11 1647
rand83.cudf.log.runsolver 03-Sep-2012 12:11 12813
rand83.cudf.result.bz2 03-Sep-2012 12:11 3963
rand869.cudf.chk.err 03-Sep-2012 12:12 0
rand869.cudf.log.err 03-Sep-2012 12:12 0
rand869.cudf.log.out 03-Sep-2012 12:12 1517
rand869.cudf.log.runsolver 03-Sep-2012 12:12 11574
rand869.cudf.result.bz2 03-Sep-2012 12:12 4734
rand874.cudf.chk.err 03-Sep-2012 12:11 0
rand874.cudf.log.err 03-Sep-2012 12:11 0
rand874.cudf.log.out 03-Sep-2012 12:11 1518
rand874.cudf.log.runsolver 03-Sep-2012 12:11 13853
rand874.cudf.result.bz2 03-Sep-2012 12:11 5115
rand981.cudf.chk.err 03-Sep-2012 12:12 0
rand981.cudf.log.err 03-Sep-2012 12:12 0
rand981.cudf.log.out 03-Sep-2012 12:12 1642
rand981.cudf.log.runsolver 03-Sep-2012 12:12 11592
rand981.cudf.result.bz2 03-Sep-2012 12:12 2795