Index of /misc2012/solutions/full/p2cudf-full-1.15/trendy-size/upgrade/easy/
../
rand18.cudf.chk.err 03-Sep-2012 11:45 0
rand18.cudf.log.err 03-Sep-2012 11:45 0
rand18.cudf.log.out 03-Sep-2012 11:45 5624
rand18.cudf.log.runsolver 03-Sep-2012 11:45 43595
rand18.cudf.result.bz2 03-Sep-2012 11:45 6552
rand213.cudf.chk.err 03-Sep-2012 11:45 0
rand213.cudf.log.err 03-Sep-2012 11:45 0
rand213.cudf.log.out 03-Sep-2012 11:45 4240
rand213.cudf.log.runsolver 03-Sep-2012 11:45 31914
rand213.cudf.result.bz2 03-Sep-2012 11:45 6324
rand261.cudf.chk.err 03-Sep-2012 11:45 0
rand261.cudf.log.err 03-Sep-2012 11:45 0
rand261.cudf.log.out 03-Sep-2012 11:45 4063
rand261.cudf.log.runsolver 03-Sep-2012 11:45 34885
rand261.cudf.result.bz2 03-Sep-2012 11:45 6327
rand268.cudf.chk.err 03-Sep-2012 11:45 0
rand268.cudf.log.err 03-Sep-2012 11:45 0
rand268.cudf.log.out 03-Sep-2012 11:45 4729
rand268.cudf.log.runsolver 03-Sep-2012 11:45 23461
rand268.cudf.result.bz2 03-Sep-2012 11:45 6261
rand307.cudf.chk.err 03-Sep-2012 11:45 0
rand307.cudf.log.err 03-Sep-2012 11:45 0
rand307.cudf.log.out 03-Sep-2012 11:45 3808
rand307.cudf.log.runsolver 03-Sep-2012 11:45 34575
rand307.cudf.result.bz2 03-Sep-2012 11:45 6226
rand308.cudf.chk.err 03-Sep-2012 11:45 0
rand308.cudf.log.err 03-Sep-2012 11:46 0
rand308.cudf.log.out 03-Sep-2012 11:46 11371
rand308.cudf.log.runsolver 03-Sep-2012 11:46 61144
rand308.cudf.result.bz2 03-Sep-2012 11:46 7807
rand377.cudf.chk.err 03-Sep-2012 11:45 0
rand377.cudf.log.err 03-Sep-2012 11:45 0
rand377.cudf.log.out 03-Sep-2012 11:45 7263
rand377.cudf.log.runsolver 03-Sep-2012 11:45 44981
rand377.cudf.result.bz2 03-Sep-2012 11:45 7317
rand381.cudf.chk.err 03-Sep-2012 11:46 0
rand381.cudf.log.err 03-Sep-2012 11:46 0
rand381.cudf.log.out 03-Sep-2012 11:46 3898
rand381.cudf.log.runsolver 03-Sep-2012 11:45 31162
rand381.cudf.result.bz2 03-Sep-2012 11:46 6245
rand393.cudf.chk.err 03-Sep-2012 11:45 0
rand393.cudf.log.err 03-Sep-2012 11:45 0
rand393.cudf.log.out 03-Sep-2012 11:45 3798
rand393.cudf.log.runsolver 03-Sep-2012 11:45 34882
rand393.cudf.result.bz2 03-Sep-2012 11:45 6249
rand414.cudf.chk.err 03-Sep-2012 11:45 0
rand414.cudf.log.err 03-Sep-2012 11:45 0
rand414.cudf.log.out 03-Sep-2012 11:45 11126
rand414.cudf.log.runsolver 03-Sep-2012 11:45 63152
rand414.cudf.result.bz2 03-Sep-2012 11:45 7996
rand507.cudf.chk.err 03-Sep-2012 11:45 0
rand507.cudf.log.err 03-Sep-2012 11:45 0
rand507.cudf.log.out 03-Sep-2012 11:45 10725
rand507.cudf.log.runsolver 03-Sep-2012 11:45 68916
rand507.cudf.result.bz2 03-Sep-2012 11:45 7848
rand583.cudf.chk.err 03-Sep-2012 11:45 0
rand583.cudf.log.err 03-Sep-2012 11:45 0
rand583.cudf.log.out 03-Sep-2012 11:45 4024
rand583.cudf.log.runsolver 03-Sep-2012 11:45 35183
rand583.cudf.result.bz2 03-Sep-2012 11:45 6296
rand653.cudf.chk.err 03-Sep-2012 11:45 0
rand653.cudf.log.err 03-Sep-2012 11:45 0
rand653.cudf.log.out 03-Sep-2012 11:45 5312
rand653.cudf.log.runsolver 03-Sep-2012 11:45 32318
rand653.cudf.result.bz2 03-Sep-2012 11:45 6647
rand695.cudf.chk.err 03-Sep-2012 11:45 0
rand695.cudf.log.err 03-Sep-2012 11:45 0
rand695.cudf.log.out 03-Sep-2012 11:45 8055
rand695.cudf.log.runsolver 03-Sep-2012 11:45 59729
rand695.cudf.result.bz2 03-Sep-2012 11:45 7227
rand736.cudf.chk.err 03-Sep-2012 11:45 0
rand736.cudf.log.err 03-Sep-2012 11:45 0
rand736.cudf.log.out 03-Sep-2012 11:45 10309
rand736.cudf.log.runsolver 03-Sep-2012 11:45 66281
rand736.cudf.result.bz2 03-Sep-2012 11:45 7959
rand764.cudf.chk.err 03-Sep-2012 11:45 0
rand764.cudf.log.err 03-Sep-2012 11:45 0
rand764.cudf.log.out 03-Sep-2012 11:45 4077
rand764.cudf.log.runsolver 03-Sep-2012 11:45 34557
rand764.cudf.result.bz2 03-Sep-2012 11:45 6245
rand813.cudf.chk.err 03-Sep-2012 11:45 0
rand813.cudf.log.err 03-Sep-2012 11:45 0
rand813.cudf.log.out 03-Sep-2012 11:45 9617
rand813.cudf.log.runsolver 03-Sep-2012 11:45 60054
rand813.cudf.result.bz2 03-Sep-2012 11:45 7893
rand866.cudf.chk.err 03-Sep-2012 11:45 0
rand866.cudf.log.err 03-Sep-2012 11:45 0
rand866.cudf.log.out 03-Sep-2012 11:45 4224
rand866.cudf.log.runsolver 03-Sep-2012 11:45 34269
rand866.cudf.result.bz2 03-Sep-2012 11:45 6366
rand892.cudf.chk.err 03-Sep-2012 11:46 0
rand892.cudf.log.err 03-Sep-2012 11:45 0
rand892.cudf.log.out 03-Sep-2012 11:46 8490
rand892.cudf.log.runsolver 03-Sep-2012 11:45 64029
rand892.cudf.result.bz2 03-Sep-2012 11:46 7508
rand929.cudf.chk.err 03-Sep-2012 11:45 0
rand929.cudf.log.err 03-Sep-2012 11:45 0
rand929.cudf.log.out 03-Sep-2012 11:45 7501
rand929.cudf.log.runsolver 03-Sep-2012 11:45 51520
rand929.cudf.result.bz2 03-Sep-2012 11:45 7335