Upload new file

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