#!/bin/tcsh -f

grep "Runtime" details | sed -f sed_runtime
