Index of /misc2012/solutions/full/p2cudf-full-1.15/slowlink/upgrade/easy/
../
rand18.cudf.chk.err 03-Sep-2012 11:50 0
rand18.cudf.log.err 03-Sep-2012 11:50 0
rand18.cudf.log.out 03-Sep-2012 11:50 12185
rand18.cudf.log.runsolver 03-Sep-2012 11:50 62849
rand18.cudf.result.bz2 03-Sep-2012 11:50 6653
rand213.cudf.chk.err 03-Sep-2012 11:50 0
rand213.cudf.log.err 03-Sep-2012 11:50 0
rand213.cudf.log.out 03-Sep-2012 11:50 7462
rand213.cudf.log.runsolver 03-Sep-2012 11:50 63151
rand213.cudf.result.bz2 03-Sep-2012 11:50 6327
rand261.cudf.chk.err 03-Sep-2012 11:50 0
rand261.cudf.log.err 03-Sep-2012 11:50 0
rand261.cudf.log.out 03-Sep-2012 11:50 6037
rand261.cudf.log.runsolver 03-Sep-2012 11:50 56797
rand261.cudf.result.bz2 03-Sep-2012 11:50 6338
rand268.cudf.chk.err 03-Sep-2012 11:50 0
rand268.cudf.log.err 03-Sep-2012 11:50 0
rand268.cudf.log.out 03-Sep-2012 11:50 6002
rand268.cudf.log.runsolver 03-Sep-2012 11:50 26793
rand268.cudf.result.bz2 03-Sep-2012 11:50 6257
rand307.cudf.chk.err 03-Sep-2012 11:50 0
rand307.cudf.log.err 03-Sep-2012 11:50 0
rand307.cudf.log.out 03-Sep-2012 11:50 4064
rand307.cudf.log.runsolver 03-Sep-2012 11:50 35359
rand307.cudf.result.bz2 03-Sep-2012 11:50 6246
rand308.cudf.chk.err 03-Sep-2012 11:50 0
rand308.cudf.log.err 03-Sep-2012 11:50 0
rand308.cudf.log.out 03-Sep-2012 11:50 32658
rand308.cudf.log.runsolver 03-Sep-2012 11:50 65151
rand308.cudf.result.bz2 03-Sep-2012 11:50 8201
rand377.cudf.chk.err 03-Sep-2012 11:50 0
rand377.cudf.log.err 03-Sep-2012 11:50 0
rand377.cudf.log.out 03-Sep-2012 11:50 17392
rand377.cudf.log.runsolver 03-Sep-2012 11:50 64600
rand377.cudf.result.bz2 03-Sep-2012 11:50 7352
rand381.cudf.chk.err 03-Sep-2012 11:50 0
rand381.cudf.log.err 03-Sep-2012 11:50 0
rand381.cudf.log.out 03-Sep-2012 11:50 4011
rand381.cudf.log.runsolver 03-Sep-2012 11:50 34299
rand381.cudf.result.bz2 03-Sep-2012 11:50 6226
rand393.cudf.chk.err 03-Sep-2012 11:50 0
rand393.cudf.log.err 03-Sep-2012 11:50 0
rand393.cudf.log.out 03-Sep-2012 11:50 4069
rand393.cudf.log.runsolver 03-Sep-2012 11:50 34840
rand393.cudf.result.bz2 03-Sep-2012 11:50 6234
rand414.cudf.chk.err 03-Sep-2012 11:50 0
rand414.cudf.log.err 03-Sep-2012 11:50 0
rand414.cudf.log.out 03-Sep-2012 11:50 33066
rand414.cudf.log.runsolver 03-Sep-2012 11:50 68318
rand414.cudf.result.bz2 03-Sep-2012 11:50 8489
rand507.cudf.chk.err 03-Sep-2012 11:50 0
rand507.cudf.log.err 03-Sep-2012 11:50 0
rand507.cudf.log.out 03-Sep-2012 11:50 30155
rand507.cudf.log.runsolver 03-Sep-2012 11:50 67531
rand507.cudf.result.bz2 03-Sep-2012 11:50 8108
rand583.cudf.chk.err 03-Sep-2012 11:50 0
rand583.cudf.log.err 03-Sep-2012 11:50 0
rand583.cudf.log.out 03-Sep-2012 11:50 5206
rand583.cudf.log.runsolver 03-Sep-2012 11:50 34530
rand583.cudf.result.bz2 03-Sep-2012 11:50 6283
rand653.cudf.chk.err 03-Sep-2012 11:50 0
rand653.cudf.log.err 03-Sep-2012 11:50 0
rand653.cudf.log.out 03-Sep-2012 11:50 11744
rand653.cudf.log.runsolver 03-Sep-2012 11:50 63812
rand653.cudf.result.bz2 03-Sep-2012 11:50 6715
rand695.cudf.chk.err 03-Sep-2012 11:50 0
rand695.cudf.log.err 03-Sep-2012 11:50 0
rand695.cudf.log.out 03-Sep-2012 11:50 24482
rand695.cudf.log.runsolver 03-Sep-2012 11:50 63374
rand695.cudf.result.bz2 03-Sep-2012 11:50 7242
rand736.cudf.chk.err 03-Sep-2012 11:50 0
rand736.cudf.log.err 03-Sep-2012 11:50 0
rand736.cudf.log.out 03-Sep-2012 11:50 30688
rand736.cudf.log.runsolver 03-Sep-2012 11:50 69189
rand736.cudf.result.bz2 03-Sep-2012 11:50 8050
rand764.cudf.chk.err 03-Sep-2012 11:50 0
rand764.cudf.log.err 03-Sep-2012 11:50 0
rand764.cudf.log.out 03-Sep-2012 11:50 4601
rand764.cudf.log.runsolver 03-Sep-2012 11:50 27416
rand764.cudf.result.bz2 03-Sep-2012 11:50 6243
rand813.cudf.chk.err 03-Sep-2012 11:50 0
rand813.cudf.log.err 03-Sep-2012 11:50 0
rand813.cudf.log.out 03-Sep-2012 11:50 29085
rand813.cudf.log.runsolver 03-Sep-2012 11:50 71203
rand813.cudf.result.bz2 03-Sep-2012 11:50 7934
rand866.cudf.chk.err 03-Sep-2012 11:50 0
rand866.cudf.log.err 03-Sep-2012 11:50 0
rand866.cudf.log.out 03-Sep-2012 11:50 6511
rand866.cudf.log.runsolver 03-Sep-2012 11:50 61733
rand866.cudf.result.bz2 03-Sep-2012 11:50 6372
rand892.cudf.chk.err 03-Sep-2012 11:50 0
rand892.cudf.log.err 03-Sep-2012 11:50 0
rand892.cudf.log.out 03-Sep-2012 11:50 27308
rand892.cudf.log.runsolver 03-Sep-2012 11:50 68333
rand892.cudf.result.bz2 03-Sep-2012 11:50 7598
rand929.cudf.chk.err 03-Sep-2012 11:50 0
rand929.cudf.log.err 03-Sep-2012 11:50 0
rand929.cudf.log.out 03-Sep-2012 11:50 24034
rand929.cudf.log.runsolver 03-Sep-2012 11:50 68337
rand929.cudf.result.bz2 03-Sep-2012 11:50 7403