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 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 MAYBE satisfied. Exit [0] 5.28 user, 0.03 system, 5.63 elapsed -- Max VSize = 5952KB, Max RSS = 5576KB