UPPAAL version 3.2 Beta 4 (3.1.64), Jun 2001 -- verifyta.
Copyright (c) 1995 - 2001, Uppsala University and Aalborg University.
All rights reserved.
Options for the verification:
  Diagnostic trace is OFF
  Search order is depth first
  Using aggressive space optimisation
  Compact datastructures is OFF
  Using cheap inclusion checker.
  Past list size is 17609
  Active/inactive clock detection enabled.
  Convex hull approximation used.
Property 1 (line 1) is satisfied.
Exit [0]
19.71 user, 0.11 system, 20.23 elapsed -- Max VSize = 12568KB, Max RSS = 12192KB