Trusted, Bureaucrats
1,382
edits
Changes
Jump to navigation
Jump to search
relax_single relax_multi --time -s Relax_disp -t $LOG ; set RUNTIME=`cat $LOG | awk '$1 ~ /^\./{print $0}' | awk '{ sum+=$2} END {print sum}' ` ;#echo $RUNTIME >> $LOG ;echo $RUNTIME
set LOG=single.log ;
relax_single --time -s Relax_disp -t $LOG ;
set RUNTIME=`cat $LOG | awk '$1 ~ /^\./{print $0}' | awk '{ sum+=$2} END {print sum}' ` ;#echo $RUNTIME >> $LOG ;echo $RUNTIME
set LOG=multi.log ;
</source>
