default

details

attribute	current value
name	default
description	no description
owning solver	smtinterpol-2.5-514

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-514