Index of /misc2012/solutions/full/aspuncud-full-1.7/dist-upgrade/upgrade/difficult/
../
rand116.cudf.chk.err 03-Sep-2012 12:08 0
rand116.cudf.log.err 03-Sep-2012 12:08 0
rand116.cudf.log.out 03-Sep-2012 12:08 1747
rand116.cudf.log.runsolver 03-Sep-2012 12:08 12125
rand116.cudf.result.bz2 03-Sep-2012 12:08 3511
rand131.cudf.chk.err 03-Sep-2012 12:09 0
rand131.cudf.log.err 03-Sep-2012 12:09 0
rand131.cudf.log.out 03-Sep-2012 12:09 1379
rand131.cudf.log.runsolver 03-Sep-2012 12:09 12278
rand131.cudf.result.bz2 03-Sep-2012 12:09 6124
rand172.cudf.chk.err 03-Sep-2012 12:08 0
rand172.cudf.log.err 03-Sep-2012 12:08 0
rand172.cudf.log.out 03-Sep-2012 12:08 1501
rand172.cudf.log.runsolver 03-Sep-2012 12:08 9784
rand172.cudf.result.bz2 03-Sep-2012 12:08 4317
rand196.cudf.chk.err 03-Sep-2012 12:08 0
rand196.cudf.log.err 03-Sep-2012 12:08 0
rand196.cudf.log.out 03-Sep-2012 12:08 1620
rand196.cudf.log.runsolver 03-Sep-2012 12:08 13746
rand196.cudf.result.bz2 03-Sep-2012 12:08 3720
rand208.cudf.chk.err 03-Sep-2012 12:09 0
rand208.cudf.log.err 03-Sep-2012 12:09 0
rand208.cudf.log.out 03-Sep-2012 12:09 1508
rand208.cudf.log.runsolver 03-Sep-2012 12:09 12238
rand208.cudf.result.bz2 03-Sep-2012 12:09 4028
rand21.cudf.chk.err 03-Sep-2012 12:09 0
rand21.cudf.log.err 03-Sep-2012 12:09 0
rand21.cudf.log.out 03-Sep-2012 12:09 1379
rand21.cudf.log.runsolver 03-Sep-2012 12:09 10878
rand21.cudf.result.bz2 03-Sep-2012 12:09 4504
rand289.cudf.chk.err 03-Sep-2012 12:08 0
rand289.cudf.log.err 03-Sep-2012 12:08 0
rand289.cudf.log.out 03-Sep-2012 12:08 1619
rand289.cudf.log.runsolver 03-Sep-2012 12:08 12135
rand289.cudf.result.bz2 03-Sep-2012 12:08 7764
rand293.cudf.chk.err 03-Sep-2012 12:08 0
rand293.cudf.log.err 03-Sep-2012 12:08 0
rand293.cudf.log.out 03-Sep-2012 12:08 1379
rand293.cudf.log.runsolver 03-Sep-2012 12:08 12242
rand293.cudf.result.bz2 03-Sep-2012 12:08 7040
rand313.cudf.chk.err 03-Sep-2012 12:09 0
rand313.cudf.log.err 03-Sep-2012 12:09 0
rand313.cudf.log.out 03-Sep-2012 12:09 1382
rand313.cudf.log.runsolver 03-Sep-2012 12:09 13407
rand313.cudf.result.bz2 03-Sep-2012 12:09 8164
rand347.cudf.chk.err 03-Sep-2012 12:08 0
rand347.cudf.log.err 03-Sep-2012 12:08 0
rand347.cudf.log.out 03-Sep-2012 12:08 1500
rand347.cudf.log.runsolver 03-Sep-2012 12:08 9782
rand347.cudf.result.bz2 03-Sep-2012 12:08 4907
rand411.cudf.chk.err 03-Sep-2012 12:09 0
rand411.cudf.log.err 03-Sep-2012 12:09 0
rand411.cudf.log.out 03-Sep-2012 12:09 1380
rand411.cudf.log.runsolver 03-Sep-2012 12:09 11976
rand411.cudf.result.bz2 03-Sep-2012 12:09 4930
rand425.cudf.chk.err 03-Sep-2012 12:09 0
rand425.cudf.log.err 03-Sep-2012 12:09 0
rand425.cudf.log.out 03-Sep-2012 12:09 1380
rand425.cudf.log.runsolver 03-Sep-2012 12:09 8419
rand425.cudf.result.bz2 03-Sep-2012 12:09 4961
rand484.cudf.chk.err 03-Sep-2012 12:09 0
rand484.cudf.log.err 03-Sep-2012 12:09 0
rand484.cudf.log.out 03-Sep-2012 12:09 1619
rand484.cudf.log.runsolver 03-Sep-2012 12:09 13028
rand484.cudf.result.bz2 03-Sep-2012 12:09 3025
rand491.cudf.chk.err 03-Sep-2012 12:09 0
rand491.cudf.log.err 03-Sep-2012 12:09 0
rand491.cudf.log.out 03-Sep-2012 12:09 1506
rand491.cudf.log.runsolver 03-Sep-2012 12:09 11011
rand491.cudf.result.bz2 03-Sep-2012 12:09 4538
rand752.cudf.chk.err 03-Sep-2012 12:09 0
rand752.cudf.log.err 03-Sep-2012 12:09 0
rand752.cudf.log.out 03-Sep-2012 12:09 1620
rand752.cudf.log.runsolver 03-Sep-2012 12:09 13496
rand752.cudf.result.bz2 03-Sep-2012 12:09 4372
rand794.cudf.chk.err 03-Sep-2012 12:08 0
rand794.cudf.log.err 03-Sep-2012 12:08 0
rand794.cudf.log.out 03-Sep-2012 12:08 1509
rand794.cudf.log.runsolver 03-Sep-2012 12:08 11442
rand794.cudf.result.bz2 03-Sep-2012 12:08 4235
rand83.cudf.chk.err 03-Sep-2012 12:09 0
rand83.cudf.log.err 03-Sep-2012 12:09 0
rand83.cudf.log.out 03-Sep-2012 12:09 1508
rand83.cudf.log.runsolver 03-Sep-2012 12:09 13706
rand83.cudf.result.bz2 03-Sep-2012 12:09 3963
rand869.cudf.chk.err 03-Sep-2012 12:08 0
rand869.cudf.log.err 03-Sep-2012 12:08 0
rand869.cudf.log.out 03-Sep-2012 12:08 1379
rand869.cudf.log.runsolver 03-Sep-2012 12:08 10892
rand869.cudf.result.bz2 03-Sep-2012 12:08 4734
rand874.cudf.chk.err 03-Sep-2012 12:08 0
rand874.cudf.log.err 03-Sep-2012 12:08 0
rand874.cudf.log.out 03-Sep-2012 12:08 1381
rand874.cudf.log.runsolver 03-Sep-2012 12:08 14052
rand874.cudf.result.bz2 03-Sep-2012 12:08 5115
rand981.cudf.chk.err 03-Sep-2012 12:08 0
rand981.cudf.log.err 03-Sep-2012 12:08 0
rand981.cudf.log.out 03-Sep-2012 12:08 1503
rand981.cudf.log.runsolver 03-Sep-2012 12:08 13378
rand981.cudf.result.bz2 03-Sep-2012 12:08 2795