default

#!/bin/bash

# Run script for SMTInterpol for the STAREXEC cluster

if [ "$#" -gt 1 ]; then
  # ignore bogus parameters given by starexec
  set -- "$1"
fi

java -Xms1536m -Xmx$((STAREXEC_MAX_MEM/3))m -da -dsa -XX:-UseGCOverheadLimit -jar smtinterpol.jar -q -o continue-on-error=false "$@" 2>/dev/null