Index of /misc2012/solutions/full/aspcud-full-1.7/dist-upgrade/upgrade/easy/
../
rand18.cudf.chk.err 03-Sep-2012 12:20 0
rand18.cudf.log.err 03-Sep-2012 12:20 0
rand18.cudf.log.out 03-Sep-2012 12:20 1265
rand18.cudf.log.runsolver 03-Sep-2012 12:20 11194
rand18.cudf.result.bz2 03-Sep-2012 12:20 3346
rand213.cudf.chk.err 03-Sep-2012 12:20 0
rand213.cudf.log.err 03-Sep-2012 12:20 0
rand213.cudf.log.out 03-Sep-2012 12:20 1236
rand213.cudf.log.runsolver 03-Sep-2012 12:20 10484
rand213.cudf.result.bz2 03-Sep-2012 12:20 2377
rand261.cudf.chk.err 03-Sep-2012 12:20 0
rand261.cudf.log.err 03-Sep-2012 12:20 0
rand261.cudf.log.out 03-Sep-2012 12:20 1265
rand261.cudf.log.runsolver 03-Sep-2012 12:20 10514
rand261.cudf.result.bz2 03-Sep-2012 12:20 3633
rand268.cudf.chk.err 03-Sep-2012 12:20 0
rand268.cudf.log.err 03-Sep-2012 12:20 0
rand268.cudf.log.out 03-Sep-2012 12:20 1264
rand268.cudf.log.runsolver 03-Sep-2012 12:20 9938
rand268.cudf.result.bz2 03-Sep-2012 12:20 2810
rand307.cudf.chk.err 03-Sep-2012 12:20 0
rand307.cudf.log.err 03-Sep-2012 12:20 0
rand307.cudf.log.out 03-Sep-2012 12:20 1268
rand307.cudf.log.runsolver 03-Sep-2012 12:20 11478
rand307.cudf.result.bz2 03-Sep-2012 12:20 4036
rand308.cudf.chk.err 03-Sep-2012 12:20 0
rand308.cudf.log.err 03-Sep-2012 12:20 0
rand308.cudf.log.out 03-Sep-2012 12:20 1237
rand308.cudf.log.runsolver 03-Sep-2012 12:20 8942
rand308.cudf.result.bz2 03-Sep-2012 12:20 4460
rand377.cudf.chk.err 03-Sep-2012 12:20 0
rand377.cudf.log.err 03-Sep-2012 12:20 0
rand377.cudf.log.out 03-Sep-2012 12:20 1267
rand377.cudf.log.runsolver 03-Sep-2012 12:20 11502
rand377.cudf.result.bz2 03-Sep-2012 12:20 3230
rand381.cudf.chk.err 03-Sep-2012 12:20 0
rand381.cudf.log.err 03-Sep-2012 12:20 0
rand381.cudf.log.out 03-Sep-2012 12:20 1233
rand381.cudf.log.runsolver 03-Sep-2012 12:20 12741
rand381.cudf.result.bz2 03-Sep-2012 12:20 1987
rand393.cudf.chk.err 03-Sep-2012 12:20 0
rand393.cudf.log.err 03-Sep-2012 12:20 0
rand393.cudf.log.out 03-Sep-2012 12:20 1265
rand393.cudf.log.runsolver 03-Sep-2012 12:20 12431
rand393.cudf.result.bz2 03-Sep-2012 12:20 2678
rand414.cudf.chk.err 03-Sep-2012 12:20 0
rand414.cudf.log.err 03-Sep-2012 12:20 0
rand414.cudf.log.out 03-Sep-2012 12:20 1264
rand414.cudf.log.runsolver 03-Sep-2012 12:20 8377
rand414.cudf.result.bz2 03-Sep-2012 12:20 3908
rand507.cudf.chk.err 03-Sep-2012 12:20 0
rand507.cudf.log.err 03-Sep-2012 12:20 0
rand507.cudf.log.out 03-Sep-2012 12:20 1275
rand507.cudf.log.runsolver 03-Sep-2012 12:20 18375
rand507.cudf.result.bz2 03-Sep-2012 12:20 3274
rand583.cudf.chk.err 03-Sep-2012 12:20 0
rand583.cudf.log.err 03-Sep-2012 12:20 0
rand583.cudf.log.out 03-Sep-2012 12:20 1236
rand583.cudf.log.runsolver 03-Sep-2012 12:20 13425
rand583.cudf.result.bz2 03-Sep-2012 12:20 2632
rand653.cudf.chk.err 03-Sep-2012 12:20 0
rand653.cudf.log.err 03-Sep-2012 12:20 0
rand653.cudf.log.out 03-Sep-2012 12:20 1348
rand653.cudf.log.runsolver 03-Sep-2012 12:20 17284
rand653.cudf.result.bz2 03-Sep-2012 12:20 5736
rand695.cudf.chk.err 03-Sep-2012 12:20 0
rand695.cudf.log.err 03-Sep-2012 12:20 0
rand695.cudf.log.out 03-Sep-2012 12:20 1265
rand695.cudf.log.runsolver 03-Sep-2012 12:20 11703
rand695.cudf.result.bz2 03-Sep-2012 12:20 3570
rand736.cudf.chk.err 03-Sep-2012 12:20 0
rand736.cudf.log.err 03-Sep-2012 12:20 0
rand736.cudf.log.out 03-Sep-2012 12:20 1265
rand736.cudf.log.runsolver 03-Sep-2012 12:20 13283
rand736.cudf.result.bz2 03-Sep-2012 12:20 3617
rand764.cudf.chk.err 03-Sep-2012 12:20 0
rand764.cudf.log.err 03-Sep-2012 12:20 0
rand764.cudf.log.out 03-Sep-2012 12:20 1263
rand764.cudf.log.runsolver 03-Sep-2012 12:20 11499
rand764.cudf.result.bz2 03-Sep-2012 12:20 2664
rand813.cudf.chk.err 03-Sep-2012 12:20 0
rand813.cudf.log.err 03-Sep-2012 12:20 0
rand813.cudf.log.out 03-Sep-2012 12:20 1237
rand813.cudf.log.runsolver 03-Sep-2012 12:20 12760
rand813.cudf.result.bz2 03-Sep-2012 12:20 3524
rand866.cudf.chk.err 03-Sep-2012 12:20 0
rand866.cudf.log.err 03-Sep-2012 12:20 0
rand866.cudf.log.out 03-Sep-2012 12:20 1264
rand866.cudf.log.runsolver 03-Sep-2012 12:20 12056
rand866.cudf.result.bz2 03-Sep-2012 12:20 2408
rand892.cudf.chk.err 03-Sep-2012 12:20 0
rand892.cudf.log.err 03-Sep-2012 12:20 0
rand892.cudf.log.out 03-Sep-2012 12:20 1236
rand892.cudf.log.runsolver 03-Sep-2012 12:20 8319
rand892.cudf.result.bz2 03-Sep-2012 12:20 4139
rand929.cudf.chk.err 03-Sep-2012 12:20 0
rand929.cudf.log.err 03-Sep-2012 12:20 0
rand929.cudf.log.out 03-Sep-2012 12:20 1273
rand929.cudf.log.runsolver 03-Sep-2012 12:20 14282
rand929.cudf.result.bz2 03-Sep-2012 12:20 4034