Index of /misc2012/solutions/full/p2cudf-full-1.15/upgrade/upgrade/difficult/
../
rand116.cudf.log.err 03-Sep-2012 11:58 1576
rand116.cudf.log.out 03-Sep-2012 11:58 3452
rand116.cudf.log.runsolver 03-Sep-2012 11:58 64882
rand116.cudf.result.bz2 03-Sep-2012 11:58 71
rand131.cudf.log.err 03-Sep-2012 11:58 1576
rand131.cudf.log.out 03-Sep-2012 11:58 3433
rand131.cudf.log.runsolver 03-Sep-2012 11:58 68367
rand131.cudf.result.bz2 03-Sep-2012 11:58 71
rand172.cudf.log.err 03-Sep-2012 11:58 1576
rand172.cudf.log.out 03-Sep-2012 11:58 3403
rand172.cudf.log.runsolver 03-Sep-2012 11:58 64908
rand172.cudf.result.bz2 03-Sep-2012 11:58 71
rand196.cudf.log.err 03-Sep-2012 11:58 1576
rand196.cudf.log.out 03-Sep-2012 11:58 3405
rand196.cudf.log.runsolver 03-Sep-2012 11:58 64574
rand196.cudf.result.bz2 03-Sep-2012 11:58 71
rand208.cudf.log.err 03-Sep-2012 11:58 1576
rand208.cudf.log.out 03-Sep-2012 11:58 3449
rand208.cudf.log.runsolver 03-Sep-2012 11:58 68621
rand208.cudf.result.bz2 03-Sep-2012 11:58 71
rand21.cudf.log.err 03-Sep-2012 11:58 1576
rand21.cudf.log.out 03-Sep-2012 11:58 3451
rand21.cudf.log.runsolver 03-Sep-2012 11:58 56826
rand21.cudf.result.bz2 03-Sep-2012 11:58 71
rand289.cudf.log.err 03-Sep-2012 11:58 1576
rand289.cudf.log.out 03-Sep-2012 11:58 3499
rand289.cudf.log.runsolver 03-Sep-2012 11:58 64579
rand289.cudf.result.bz2 03-Sep-2012 11:58 71
rand293.cudf.log.err 03-Sep-2012 11:58 1576
rand293.cudf.log.out 03-Sep-2012 11:58 3404
rand293.cudf.log.runsolver 03-Sep-2012 11:58 64929
rand293.cudf.result.bz2 03-Sep-2012 11:58 71
rand313.cudf.log.err 03-Sep-2012 11:58 1576
rand313.cudf.log.out 03-Sep-2012 11:58 3563
rand313.cudf.log.runsolver 03-Sep-2012 11:58 64623
rand313.cudf.result.bz2 03-Sep-2012 11:58 71
rand347.cudf.log.err 03-Sep-2012 11:58 1576
rand347.cudf.log.out 03-Sep-2012 11:58 3341
rand347.cudf.log.runsolver 03-Sep-2012 11:58 63236
rand347.cudf.result.bz2 03-Sep-2012 11:58 71
rand411.cudf.log.err 03-Sep-2012 11:58 1576
rand411.cudf.log.out 03-Sep-2012 11:58 3388
rand411.cudf.log.runsolver 03-Sep-2012 11:58 64617
rand411.cudf.result.bz2 03-Sep-2012 11:58 71
rand425.cudf.log.err 03-Sep-2012 11:58 1576
rand425.cudf.log.out 03-Sep-2012 11:58 3452
rand425.cudf.log.runsolver 03-Sep-2012 11:58 60625
rand425.cudf.result.bz2 03-Sep-2012 11:58 71
rand484.cudf.log.err 03-Sep-2012 11:58 1576
rand484.cudf.log.out 03-Sep-2012 11:58 3386
rand484.cudf.log.runsolver 03-Sep-2012 11:58 64624
rand484.cudf.result.bz2 03-Sep-2012 11:58 71
rand491.cudf.log.err 03-Sep-2012 11:58 1576
rand491.cudf.log.out 03-Sep-2012 11:58 3450
rand491.cudf.log.runsolver 03-Sep-2012 11:58 60547
rand491.cudf.result.bz2 03-Sep-2012 11:58 71
rand752.cudf.log.err 03-Sep-2012 11:58 1576
rand752.cudf.log.out 03-Sep-2012 11:58 3391
rand752.cudf.log.runsolver 03-Sep-2012 11:58 64906
rand752.cudf.result.bz2 03-Sep-2012 11:58 71
rand794.cudf.log.err 03-Sep-2012 11:58 1576
rand794.cudf.log.out 03-Sep-2012 11:58 3406
rand794.cudf.log.runsolver 03-Sep-2012 11:58 68951
rand794.cudf.result.bz2 03-Sep-2012 11:58 71
rand83.cudf.log.err 03-Sep-2012 11:58 1576
rand83.cudf.log.out 03-Sep-2012 11:58 3401
rand83.cudf.log.runsolver 03-Sep-2012 11:58 64306
rand83.cudf.result.bz2 03-Sep-2012 11:58 71
rand869.cudf.log.err 03-Sep-2012 11:58 1576
rand869.cudf.log.out 03-Sep-2012 11:58 3344
rand869.cudf.log.runsolver 03-Sep-2012 11:58 64280
rand869.cudf.result.bz2 03-Sep-2012 11:58 71
rand874.cudf.log.err 03-Sep-2012 11:58 1576
rand874.cudf.log.out 03-Sep-2012 11:58 3344
rand874.cudf.log.runsolver 03-Sep-2012 11:58 71264
rand874.cudf.result.bz2 03-Sep-2012 11:58 71
rand981.cudf.log.err 03-Sep-2012 11:58 1576
rand981.cudf.log.out 03-Sep-2012 11:58 3496
rand981.cudf.log.runsolver 03-Sep-2012 11:58 68652
rand981.cudf.result.bz2 03-Sep-2012 11:58 71