#!/usr/bin/env bash reduce_path=./reduce exec=./veriT # Testing #reduce_path=/home/hschurr/starExecLike/veriT+raSAT+Reduce/bin/reduce #exec=/home/hschurr/starExecLike/veriT+raSAT+Reduce/bin/veriT problem="$1" $exec --reduce-path=$reduce_path --disable-banner --disable-print-success $problem 2>&1