#!/bin/bash ulimit -s unlimited SOLVERDIR="$(dirname "${BASH_SOURCE[0]}" )" "$SOLVERDIR"/stp --threads $(nproc) --SMTLIB2 "$1"