Index of /misc2012/solutions/full/p2cudf-full-1.15/trendy-size/upgrade/difficult/
../
rand116.cudf.chk.err 03-Sep-2012 11:44 0
rand116.cudf.log.err 03-Sep-2012 11:44 0
rand116.cudf.log.out 03-Sep-2012 11:44 4104
rand116.cudf.log.runsolver 03-Sep-2012 11:44 17874
rand116.cudf.result.bz2 03-Sep-2012 11:44 6342
rand131.cudf.chk.err 03-Sep-2012 11:45 0
rand131.cudf.log.err 03-Sep-2012 11:45 0
rand131.cudf.log.out 03-Sep-2012 11:45 4731
rand131.cudf.log.runsolver 03-Sep-2012 11:45 39583
rand131.cudf.result.bz2 03-Sep-2012 11:45 6653
rand172.cudf.chk.err 03-Sep-2012 11:45 0
rand172.cudf.log.err 03-Sep-2012 11:45 0
rand172.cudf.log.out 03-Sep-2012 11:45 9812
rand172.cudf.log.runsolver 03-Sep-2012 11:45 68403
rand172.cudf.result.bz2 03-Sep-2012 11:45 7939
rand196.cudf.chk.err 03-Sep-2012 11:44 0
rand196.cudf.log.err 03-Sep-2012 11:44 0
rand196.cudf.log.out 03-Sep-2012 11:44 11354
rand196.cudf.log.runsolver 03-Sep-2012 11:45 69204
rand196.cudf.result.bz2 03-Sep-2012 11:44 8735
rand208.cudf.chk.err 03-Sep-2012 11:45 0
rand208.cudf.log.err 03-Sep-2012 11:45 0
rand208.cudf.log.out 03-Sep-2012 11:45 6049
rand208.cudf.log.runsolver 03-Sep-2012 11:45 46995
rand208.cudf.result.bz2 03-Sep-2012 11:45 7252
rand21.cudf.chk.err 03-Sep-2012 11:44 0
rand21.cudf.log.err 03-Sep-2012 11:44 0
rand21.cudf.log.out 03-Sep-2012 11:44 13896
rand21.cudf.log.runsolver 03-Sep-2012 11:44 63148
rand21.cudf.result.bz2 03-Sep-2012 11:44 9661
rand289.cudf.chk.err 03-Sep-2012 11:45 0
rand289.cudf.log.err 03-Sep-2012 11:44 0
rand289.cudf.log.out 03-Sep-2012 11:44 6179
rand289.cudf.log.runsolver 03-Sep-2012 11:44 39878
rand289.cudf.result.bz2 03-Sep-2012 11:45 7067
rand293.cudf.chk.err 03-Sep-2012 11:45 0
rand293.cudf.log.err 03-Sep-2012 11:45 0
rand293.cudf.log.out 03-Sep-2012 11:45 4970
rand293.cudf.log.runsolver 03-Sep-2012 11:45 32567
rand293.cudf.result.bz2 03-Sep-2012 11:45 6718
rand313.cudf.chk.err 03-Sep-2012 11:45 0
rand313.cudf.log.err 03-Sep-2012 11:45 0
rand313.cudf.log.out 03-Sep-2012 11:45 16500
rand313.cudf.log.runsolver 03-Sep-2012 11:45 71899
rand313.cudf.result.bz2 03-Sep-2012 11:45 10613
rand347.cudf.chk.err 03-Sep-2012 11:45 0
rand347.cudf.log.err 03-Sep-2012 11:45 0
rand347.cudf.log.out 03-Sep-2012 11:45 4264
rand347.cudf.log.runsolver 03-Sep-2012 11:45 38919
rand347.cudf.result.bz2 03-Sep-2012 11:45 6476
rand411.cudf.chk.err 03-Sep-2012 11:45 0
rand411.cudf.log.err 03-Sep-2012 11:45 0
rand411.cudf.log.out 03-Sep-2012 11:45 8601
rand411.cudf.log.runsolver 03-Sep-2012 11:45 52735
rand411.cudf.result.bz2 03-Sep-2012 11:45 8034
rand425.cudf.chk.err 03-Sep-2012 11:45 0
rand425.cudf.log.err 03-Sep-2012 11:45 0
rand425.cudf.log.out 03-Sep-2012 11:45 10726
rand425.cudf.log.runsolver 03-Sep-2012 11:45 56244
rand425.cudf.result.bz2 03-Sep-2012 11:45 8332
rand484.cudf.chk.err 03-Sep-2012 11:45 0
rand484.cudf.log.err 03-Sep-2012 11:45 0
rand484.cudf.log.out 03-Sep-2012 11:45 6066
rand484.cudf.log.runsolver 03-Sep-2012 11:45 46397
rand484.cudf.result.bz2 03-Sep-2012 11:45 6990
rand491.cudf.chk.err 03-Sep-2012 11:45 0
rand491.cudf.log.err 03-Sep-2012 11:45 0
rand491.cudf.log.out 03-Sep-2012 11:45 4668
rand491.cudf.log.runsolver 03-Sep-2012 11:45 38940
rand491.cudf.result.bz2 03-Sep-2012 11:45 6709
rand752.cudf.chk.err 03-Sep-2012 11:45 0
rand752.cudf.log.err 03-Sep-2012 11:45 0
rand752.cudf.log.out 03-Sep-2012 11:45 3985
rand752.cudf.log.runsolver 03-Sep-2012 11:45 40304
rand752.cudf.result.bz2 03-Sep-2012 11:45 6339
rand794.cudf.chk.err 03-Sep-2012 11:44 0
rand794.cudf.log.err 03-Sep-2012 11:45 0
rand794.cudf.log.out 03-Sep-2012 11:44 7555
rand794.cudf.log.runsolver 03-Sep-2012 11:44 55398
rand794.cudf.result.bz2 03-Sep-2012 11:44 7392
rand83.cudf.chk.err 03-Sep-2012 11:44 0
rand83.cudf.log.err 03-Sep-2012 11:44 0
rand83.cudf.log.out 03-Sep-2012 11:45 5238
rand83.cudf.log.runsolver 03-Sep-2012 11:44 42357
rand83.cudf.result.bz2 03-Sep-2012 11:45 6760
rand869.cudf.chk.err 03-Sep-2012 11:44 0
rand869.cudf.log.err 03-Sep-2012 11:44 0
rand869.cudf.log.out 03-Sep-2012 11:44 7265
rand869.cudf.log.runsolver 03-Sep-2012 11:44 54760
rand869.cudf.result.bz2 03-Sep-2012 11:44 7324
rand874.cudf.chk.err 03-Sep-2012 11:45 0
rand874.cudf.log.err 03-Sep-2012 11:45 0
rand874.cudf.log.out 03-Sep-2012 11:45 8222
rand874.cudf.log.runsolver 03-Sep-2012 11:45 61171
rand874.cudf.result.bz2 03-Sep-2012 11:45 7596
rand981.cudf.chk.err 03-Sep-2012 11:45 0
rand981.cudf.log.err 03-Sep-2012 11:45 0
rand981.cudf.log.out 03-Sep-2012 11:45 3787
rand981.cudf.log.runsolver 03-Sep-2012 11:45 35981
rand981.cudf.result.bz2 03-Sep-2012 11:45 6381