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