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 conservative space optimisation Compact datastructures is OFF Using cheap inclusion checker. Past list size is 17609 Convex hull approximation used. Property 1 (line 2) is satisfied. Exit [0] 21.60 user, 0.10 system, 22.31 elapsed -- Max VSize = 13816KB, Max RSS = 13440KB