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
+
+/*
+
+*/
+sup{Q.Q}:Q.y
+
+/*
+
+*/
+inf{Q.Q}:Q.y
+
+/*
+
+*/
+//NO_QUERY
+
+/*
+
+*/
+sup{C.Q}:C.y
+
+/*
+
+*/
+inf{C.Q}:C.y
+
+/*
+
+*/
+sup{P.Q}:P.y
+
+/*
+
+*/
+inf{P.Q}:P.y
+
+/*
+
+*/
+inf{O.Q}:O.y