gmvFile
    << "probtime  " << runTime.timeName() << nl
    << "endgmv" << nl;