Index of /misc2012/solutions/full/aspuncud-full-1.7/trendy-size/upgrade/difficult/
../
rand116.cudf.chk.err 03-Sep-2012 12:02 0
rand116.cudf.log.err 03-Sep-2012 12:02 0
rand116.cudf.log.out 03-Sep-2012 12:02 1841
rand116.cudf.log.runsolver 03-Sep-2012 12:02 15409
rand116.cudf.result.bz2 03-Sep-2012 12:02 6500
rand131.cudf.chk.err 03-Sep-2012 12:02 0
rand131.cudf.log.err 03-Sep-2012 12:02 0
rand131.cudf.log.out 03-Sep-2012 12:02 1979
rand131.cudf.log.runsolver 03-Sep-2012 12:02 19103
rand131.cudf.result.bz2 03-Sep-2012 12:02 7043
rand172.cudf.chk.err 03-Sep-2012 12:03 0
rand172.cudf.log.err 03-Sep-2012 12:03 0
rand172.cudf.log.out 03-Sep-2012 12:03 1980
rand172.cudf.log.runsolver 03-Sep-2012 12:03 16220
rand172.cudf.result.bz2 03-Sep-2012 12:03 8082
rand196.cudf.chk.err 03-Sep-2012 12:02 0
rand196.cudf.log.err 03-Sep-2012 12:02 0
rand196.cudf.log.out 03-Sep-2012 12:02 2110
rand196.cudf.log.runsolver 03-Sep-2012 12:02 11576
rand196.cudf.result.bz2 03-Sep-2012 12:02 9015
rand208.cudf.chk.err 03-Sep-2012 12:02 0
rand208.cudf.log.err 03-Sep-2012 12:02 0
rand208.cudf.log.out 03-Sep-2012 12:02 1841
rand208.cudf.log.runsolver 03-Sep-2012 12:02 18075
rand208.cudf.result.bz2 03-Sep-2012 12:02 7585
rand21.cudf.chk.err 03-Sep-2012 12:02 0
rand21.cudf.log.err 03-Sep-2012 12:02 0
rand21.cudf.log.out 03-Sep-2012 12:02 1979
rand21.cudf.log.runsolver 03-Sep-2012 12:03 19368
rand21.cudf.result.bz2 03-Sep-2012 12:03 9708
rand289.cudf.chk.err 03-Sep-2012 12:02 0
rand289.cudf.log.err 03-Sep-2012 12:02 0
rand289.cudf.log.out 03-Sep-2012 12:02 1849
rand289.cudf.log.runsolver 03-Sep-2012 12:02 17454
rand289.cudf.result.bz2 03-Sep-2012 12:02 7389
rand293.cudf.chk.err 03-Sep-2012 12:03 0
rand293.cudf.log.err 03-Sep-2012 12:03 0
rand293.cudf.log.out 03-Sep-2012 12:03 1981
rand293.cudf.log.runsolver 03-Sep-2012 12:03 17791
rand293.cudf.result.bz2 03-Sep-2012 12:03 6990
rand313.cudf.chk.err 03-Sep-2012 12:03 0
rand313.cudf.log.err 03-Sep-2012 12:03 0
rand313.cudf.log.out 03-Sep-2012 12:03 1979
rand313.cudf.log.runsolver 03-Sep-2012 12:03 19008
rand313.cudf.result.bz2 03-Sep-2012 12:03 10842
rand347.cudf.chk.err 03-Sep-2012 12:02 0
rand347.cudf.log.err 03-Sep-2012 12:02 0
rand347.cudf.log.out 03-Sep-2012 12:02 1834
rand347.cudf.log.runsolver 03-Sep-2012 12:02 14777
rand347.cudf.result.bz2 03-Sep-2012 12:02 6604
rand411.cudf.chk.err 03-Sep-2012 12:03 0
rand411.cudf.log.err 03-Sep-2012 12:03 0
rand411.cudf.log.out 03-Sep-2012 12:02 1979
rand411.cudf.log.runsolver 03-Sep-2012 12:03 15906
rand411.cudf.result.bz2 03-Sep-2012 12:03 8377
rand425.cudf.chk.err 03-Sep-2012 12:02 0
rand425.cudf.log.err 03-Sep-2012 12:02 0
rand425.cudf.log.out 03-Sep-2012 12:02 1847
rand425.cudf.log.runsolver 03-Sep-2012 12:02 16911
rand425.cudf.result.bz2 03-Sep-2012 12:02 8689
rand484.cudf.chk.err 03-Sep-2012 12:03 0
rand484.cudf.log.err 03-Sep-2012 12:03 0
rand484.cudf.log.out 03-Sep-2012 12:02 1851
rand484.cudf.log.runsolver 03-Sep-2012 12:03 19378
rand484.cudf.result.bz2 03-Sep-2012 12:03 7325
rand491.cudf.chk.err 03-Sep-2012 12:03 0
rand491.cudf.log.err 03-Sep-2012 12:02 0
rand491.cudf.log.out 03-Sep-2012 12:03 1842
rand491.cudf.log.runsolver 03-Sep-2012 12:03 16864
rand491.cudf.result.bz2 03-Sep-2012 12:03 7103
rand752.cudf.chk.err 03-Sep-2012 12:02 0
rand752.cudf.log.err 03-Sep-2012 12:02 0
rand752.cudf.log.out 03-Sep-2012 12:03 1833
rand752.cudf.log.runsolver 03-Sep-2012 12:02 15872
rand752.cudf.result.bz2 03-Sep-2012 12:03 6487
rand794.cudf.chk.err 03-Sep-2012 12:02 0
rand794.cudf.log.err 03-Sep-2012 12:02 0
rand794.cudf.log.out 03-Sep-2012 12:02 1849
rand794.cudf.log.runsolver 03-Sep-2012 12:02 18996
rand794.cudf.result.bz2 03-Sep-2012 12:02 7753
rand83.cudf.chk.err 03-Sep-2012 12:03 0
rand83.cudf.log.err 03-Sep-2012 12:03 0
rand83.cudf.log.out 03-Sep-2012 12:03 1843
rand83.cudf.log.runsolver 03-Sep-2012 12:03 19373
rand83.cudf.result.bz2 03-Sep-2012 12:03 7086
rand869.cudf.chk.err 03-Sep-2012 12:02 0
rand869.cudf.log.err 03-Sep-2012 12:02 0
rand869.cudf.log.out 03-Sep-2012 12:02 446
rand869.cudf.log.runsolver 03-Sep-2012 12:02 16773
rand869.cudf.result.bz2 03-Sep-2012 12:02 9459
rand874.cudf.chk.err 03-Sep-2012 12:02 0
rand874.cudf.log.err 03-Sep-2012 12:02 0
rand874.cudf.log.out 03-Sep-2012 12:02 1983
rand874.cudf.log.runsolver 03-Sep-2012 12:02 18605
rand874.cudf.result.bz2 03-Sep-2012 12:02 8241
rand981.cudf.chk.err 03-Sep-2012 12:03 0
rand981.cudf.log.err 03-Sep-2012 12:03 0
rand981.cudf.log.out 03-Sep-2012 12:03 1829
rand981.cudf.log.runsolver 03-Sep-2012 12:03 16913
rand981.cudf.result.bz2 03-Sep-2012 12:03 6583