diff --git a/experiments/drs_cell_signal/run.sh b/experiments/drs_cell_signal/run.sh index 2de5f20..786dc58 100755 --- a/experiments/drs_cell_signal/run.sh +++ b/experiments/drs_cell_signal/run.sh @@ -78,8 +78,8 @@ do echo "TIME LIMIT; marking as finished" touch $stopfile else - echo $result >> $outdir/summary_${bench_identifier}.txt - echo $result | sed 's/;/ /g' >> $outdir/${bench_identifier}.dat + echo "$x ; $y ; $z ; $a ; $exitcode $result" >> $outdir/summary_${bench_identifier}.txt + echo "$x $y $z $a $(echo $result | sed 's/;/ /g')" >> $outdir/${bench_identifier}.dat echo $result fi