default

loading
details
attribute current value
name default
description no description
owning solver smtinterpol-2.5-1112-gea2ea8e2
contents
#!/bin/bash
# Run script for SMTInterpol for the STAREXEC cluster
java -Xms1536m -Xmx50g -da -dsa -jar smtinterpol.jar -q -o continue-on-error=false -o proof-check-mode "$1" 2>"$2"/error.log

back to smtinterpol-2.5-1112-gea2ea8e2