AProVE NIA 2014


attribute value
name AProVE NIA 2014
description The AProVE version that participated at SMTCOMP 2011, with a new start script that allows the Java Virtual Machine to use 20000 MB instead of just 2500 MB for the heap memory.
owner Carsten Fuhs
uploaded Jun 15 2014
disk size 19.54 MB
build status uploaded built
name description
default no description
2011 no description
2021 Adapted script for new /set option print success false/ in input format

actions get anonymous link download