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 breadth first Using no 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 2) is MAYBE satisfied. Exit [0] 5.53 user, 0.07 system, 5.72 elapsed -- Max VSize = 9672KB, Max RSS = 9296KB