#!/bin/awk -f
## Extract profiles from DIMM results files to ASCII format
## Use as: expdimm.awk <results-file>
## Nov 24, 2004
BEGIN{OFMT="%.3f"}
{
    if ( substr($1,1,1) != "#") {
    ut=$4+$5/60+$6/3600 

#      print $1"-"$2"-"$3, $4":"$5":"$6, $10
      print $1"-"$2"-"$3, ut, $10

  }
}