#!/bin/sh

rm -rf time.txt spawn.txt steal1.txt steal2.txt abort.txt fail.txt

grep application output-* /dev/null >> time.txt
grep SPAWN output-* /dev/null >> spawn.txt
grep "STEAL_STATS 1" output-* /dev/null >> steal1.txt
grep "STEAL_STATS 2" output-* /dev/null >> steal2.txt
grep "ABORT_STATS" output-* /dev/null >> abort.txt

grep -L application output-*  >> fail.txt
grep -l "GAVE WRONG RESULT" output-* >> fail.txt
