UPPAAL; RAM or processor capacity for verification

[Hannes11235]

Hello,

I have modelled a system with UPPAAL. This system has around:

• 36 INT variables [0..10]
• 50 BOOL variables
• 9 INT constants
• 1 Time variable
• 6 broadcast channels, with an array [0..5]
• 2 broadcast channels, with an array [0..41]
• 60 Templates, which are interconnected over synchronizations

I have tried to verify some properties, but due to the size of the system, the state explosion problem shows its effects and
the verification took quite long. I let it run over night, for about 17 hours. It got then stuck with >170.000.000 states in the past waiting list. From there on, I had to cancel the verification (see attachment). I assume, that my RAM or processor capacity is not enough. My PC has:

• 11th Gen Intel(R) Core(TM) i7-11850H @ 2.50GHz 2.50 GHz processors
• 31,7 GB RAM

So I have two questions:

• Is here really the capacity of my PC the problem?
• If yes, does anybody has a rough estimation, which capacity would be necessary for those size of system?

I would really appreciate any help (as you might see, that I am a beginner with UPPAAL). Thank you very much!

Regards,
Hannes