2:  #include <petscsys.h>
  3:  #include <petsctime.h>

  5: int main(int argc,char **argv)
  6: {
  7:   PetscLogDouble x,y;
  8:   PetscInt       i;

 11:   PetscInitialize(&argc,&argv,0,0);if (ierr) return ierr;
 12:   /* To take care of paging effects */
 13:   PetscTime(&y);

 15:   for (i=0; i<2; i++) {
 16:     PetscTime(&x);
 17:     PetscTime(&y);
 18:     PetscTime(&y);
 19:     PetscTime(&y);
 20:     PetscTime(&y);
 21:     PetscTime(&y);
 22:     PetscTime(&y);
 23:     PetscTime(&y);
 24:     PetscTime(&y);
 25:     PetscTime(&y);
 26:     PetscTime(&y);
 27:     fprintf(stdout,"%-15s : %e sec\n","PetscTime",(y-x)/10.0);
 28:   }

 30:   PetscFinalize();
 31:   return ierr;
 32: }