Re: [petsc-dev] examples/benchmarks for weak and strong scaling exercise