A model with declarations like
const int a = 0;
const int b = 0;
const int c = 0;
can take up a significant amount of memory as each variable is allocated uniquely - this occurs often with machine-generated models.
This can be observed when doing
"UPPAAL_COMPILE_ONLY=1 ./verifyta <model>"
Such similar constants should be reduced to a single entry in the variable-table - both for integers and double-variables.