|
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 |
2014-06-15 14:20:00.0 |
disk size |
19.54 MB |
build status |
uploaded built |
|