Upload new file

+//This file was generated from (Academic) UPPAAL 4.1.18 (rev. 5444), November 2013
+
+/*
+
+*/
+sup{F.Q}:F.y
+
+/*
+
+*/
+inf{F.Q}:F.y
+
+/*
+
+*/
+//NO_QUERY
+
+/*
+
+*/
+sup{H.Q}:H.y
+
+/*
+
+*/
+inf{H.Q}:H.y
+
+/*
+
+*/
+sup{M.Q}:M.y
+
+/*
+
+*/
+inf{M.Q}:M.y