PETSc TS examples