traverse_dir.sh

#!/bin/bash

#if [[ $# != 2 ]]
if [[ $# != 1 ]]
then
        echo "Usage: $0 [directory]"
        #echo "Usage: $0 [directory] [solver]"
        exit 0
fi

mkdir -p result
#cvc4 dies
solvers=(msat z3 yices btor cvc4)
#parallel "{ time ./solve.py {1} {2}; } &> result/{1}_{2}" ::: $1 ::: ${solvers[*]}
parallel "{ time ./solve.py {1} {2}; } 2> result/{1}_{2}" ::: `find $1 -name '*.smt2'` ::: ${solvers[*]}