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.