default

loading
details
attribute current value
name default
description no description
owning solver SMTInterpol-2.5-19-g0d39cdee
contents
#!/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/2))m -da -dsa -XX:-UseGCOverheadLimit -jar smtinterpol.jar -q -o continue-on-error=false "$@"

back to SMTInterpol-2.5-19-g0d39cdee