diff options
Diffstat (limited to 'archiver')
| -rwxr-xr-x | archiver | 37 |
1 files changed, 13 insertions, 24 deletions
@@ -17,38 +17,29 @@ main() { exit 1 fi - aggregate_files + if [[ -f "$RESULTS_PATH/data.csv" ]]; then + rm "$RESULTS_PATH/data.csv" + fi + + aggregate_files > "$RESULTS_PATH/data.csv" } aggregate_files() { - OUTPUT="" - HEADER_INSERTED=false - - while IFS= read -r -d '' ENTRY - do - if [ $HEADER_INSERTED == true ]; then - FILE=$(tail -n +2 "$ENTRY") - else - FILE=$(cat "$ENTRY") - fi - - OUTPUT+="$FILE\n" - HEADER_INSERTED=true - done < <(find "$RESULTS_PATH" -maxdepth 1 -name '*.csv' ! -name 'data.csv' -type f -print0) - - HEADER=$(echo -e "$OUTPUT" | head -n 1) - ALL_ROWS=$(echo -e "$OUTPUT" | tail -n +2 | sort -t$'\t' -k6,6 -n) - STRATS=$(echo -e "$ALL_ROWS" | awk -F '\t' '{print $5}' | sort | uniq) + ALL_ROWS=$(awk FNR-1 "$RESULTS_PATH"/*.csv 2>/dev/null | sort -t$'\t' -k6,6 -n) + STRATS=$(echo "$ALL_ROWS" | awk -F '\t' '{print $5}' | sort | uniq) OUTPUT="" while read -r STRAT; do [ -z "$STRAT" ] && continue - ROWS=$(echo -e "$ALL_ROWS" | grep -P "\t$STRAT\t") + ROWS=$(echo "$ALL_ROWS" | grep -P "\t$STRAT\t") OUTPUT+="$ROWS\n" done <<< "$STRATS" - OUTPUT=$(echo -e "$HEADER\n$OUTPUT" | head -n -1) - echo -e "$OUTPUT" > "$RESULTS_PATH/data.csv" + echo -e "$(header)\n$OUTPUT" | head -n-1 +} + +header() { + echo -e "model\tquery\tsolved\tresult\tstrategy\ttime\tdate\ttime-limit\tmemory\texit-code\tformula\ttimed-out\terror-msg\tdiscoveredStates\texploredStates\texpandedStates\tmaxTokens\tsearchTime" } help() { @@ -57,8 +48,6 @@ usage: $0 RESULTS-DIR Aggregate data from search stragey benchmark -Options: - -h, --help Show this message EOF } |