The models in the URL exhibit the following error:
$verifytga LeaderElection_v5.xml LeaderElection_v5-crash.q
Options for the verification:
Generating no trace
Search order is breadth first (UPPAAL), automatic (TIGA)
Using conservative space optimisation
Seed is 1274946564
State space representation uses minimal constraint systems
Verifying property 1 at line 5
terminate called after throwing an instance of 'Bug'
what(): stepBack failed due to inconsistent blocking.
The error occurs at the post-processing step on the strategies.