#!/bin/bash # Run script for SMTInterpol for the STAREXEC cluster java -Xms1536m -Xmx50g -da -dsa -jar smtinterpol.jar -q -o continue-on-error=false -o proof-check-mode "$1" 2>"$2"/error.log