killerSudoku/parse.sh

   1 #!/bin/bash
   2 OFILE=result.csv
   3 BEGIN=*"begin iteration"*
   4 EXECTIME=*"Program Execution Time:"*
   5 SATCSOLVTIME=*"SAT Solving time"*
   6 SATTIME=*"Time in Sat Solver:"*
   7
   8 row=""
   9
  10
  11 while IFS='' read -r line || [[ -n "$line" ]]; do
  12         if [[ $line == $EXECTIME ]]; then
  13                 number=$(echo $line|grep -Eo '[+-]?[0-9]+([.][0-9]+)?')
  14                 row+=","$number
  15         fi
  16
  17         if [[ $line == $SATCSOLVTIME ]]; then
  18                 number=$(echo $line|grep -Eo '[+-]?[0-9]+([.][0-9]+)?')
  19                 row+=","$number
  20         fi
  21
  22         if [[ $line == $SATTIME ]]; then
  23                 number=$(echo $line|grep -Eo '[+-]?[0-9]+([.][0-9]+)?')
  24                 row+=","$number
  25         fi
  26
  27 done < "$1"
  28 echo "$2$row" >> $OFILE