Update specifications.txt

benchmarks/Airplane/specifications.txt

@@ -3,20 +3,21 @@ Initial states:
 x1 = 0
 x2 = 0
 x3 = 0
-x4 = 0
-x5 = 0
-x6 = 0
+x4 = [0.0, 1.0]
+x5 = [0.0, 1.0]
+x6 = [0.0, 1.0]
 x7 = [0.0, 1.0]
 x8 = [0.0, 1.0]
 x9 = [0.0, 1.0]
-x10 = [0.0, 1.0]
-x11 = [0.0, 1.0]
-x12 = [0.0, 1.0]
+x10 = 0
+x11 = 0
+x12 = 0
 
-t = 20 seconds
+t = 20 control steps = 2 seconds
+control step = 0.1
 
 Property:
 
-x2 should be in [−0.5, 0.5] and x10,x11,x12 should be in [-1.0,1.0]
+x2 should be in [−0.5, 0.5] and x7,x8,x9 should be in [-1.0,1.0]
 
-Refer to this for more details: https://github.com/amaleki2/benchmark_closedloop_verification/blob/master/AINNC_benchmark.pdf
+Refer to this for more details: https://github.com/amaleki2/benchmark_closedloop_verification/blob/master/AINNC_benchmark.pdf