complexity_full_rewriting

loading
details
attribute current value
name complexity_full_rewriting
description no description
owning solver AProVE 2015
contents
#!/bin/bash
mkdir ./tmp
TMPDIR=./tmp LD_LIBRARY_PATH=.:$LD_LIBRARY_PATH PATH=.:$PATH ../jre/bin/java -ea -Xmx16G -Xms16G -cp ../jre/lib:../lib/aprove_complexity.jar aprove.CommandLineInterface.TrsFullComplexityMain -d 20 -m wst -p plain -t $STAREXEC_WALLCLOCK_LIMIT $1 2> /dev/null
rm -r ./tmp

back to AProVE 2015