[petsc-users] PETSc option

[John Mousel]

If you are running the code, please set the option "-random_seed 1". This
seems to strongly affect the robustness of the PETSc solver.

John