Merge pull request #2 from guykatzz/master

updating
NeuralNetworkVerification · Sep 11, 2019 · 9f7999e · 9f7999e
2 parents 107f3f2 + 9dfc2f8
commit 9f7999e
Show file tree

Hide file tree

Showing 61 changed files with 583 additions and 232 deletions.
diff --git a/Rules.mk b/Rules.mk
@@ -2,6 +2,11 @@
 # Utilities
 #
 
+GIT_HASH=`git rev-parse HEAD`
+GIT_BRANCH=`git rev-parse --abbrev-ref HEAD`
+MARABOU_VERSION=1.0.+
+export VERSION_FLAGS=-DGIT_HASH=\"$(GIT_HASH)\" -DGIT_BRANCH=\"$(GIT_BRANCH)\" -DMARABOU_VERSION=\"$(MARABOU_VERSION)\"
+
 UNAME_S := $(shell uname -s)
 ifeq ($(UNAME_S),Linux)
 	COMPILER = g++
@@ -55,6 +60,9 @@ CFLAGS += \
 	-Wno-deprecated \
 	-std=c++0x \
 
+CFLAGS += \
+	$(VERSION_FLAGS) \
+
 %.obj: %.cpp
 	@echo "CC\t" $@
 	@$(COMPILE) -c -o $@ $< $(CFLAGS) $(addprefix -I, $(LOCAL_INCLUDES))

diff --git a/maraboupy/MarabouNetwork.py b/maraboupy/MarabouNetwork.py
@@ -245,7 +245,6 @@ def evaluateWithMarabou(self, inputValues, filename="evaluateWithMarabou.log", t
         Returns:
             outputValues: (np array) representing output of network
         """
-        print("Evaluating with Marabou\n")
         inputVars = self.inputVars # list of numpy arrays
         outputVars = self.outputVars
 

diff --git a/maraboupy/MarabouNetworkTF.py b/maraboupy/MarabouNetworkTF.py
@@ -528,7 +528,6 @@ def evaluateWithoutMarabou(self, inputValues):
         Returns:
             outputValues: (np array) representing output of network
         """
-        print("Evaluating without Marabou")
         inputValuesReshaped = []
         for j in range(len(self.inputOps)):
             inputOp = self.inputOps[j]

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_1_1.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_1_1.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 5.40062e-02,-2.61092e+00,-1.80027e-01,2.42194e-01,1.41407e-01,
 -1.12374e+00,2.63619e-02,-9.17929e-03,5.56230e-02,-3.27635e-01,
 1.96019e-01,2.42159e-01,6.38452e-01,-4.78265e-01,1.42577e-01,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_1_2.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_1_2.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 -3.01079e-01,7.25774e-03,-4.39164e-03,-1.12522e+00,-3.53854e-01,
 -1.31083e+00,6.87557e-02,2.41783e-01,-1.84057e-01,-2.64582e-01,
 7.14218e-02,1.48561e+00,2.20024e-01,3.88434e-01,-1.25734e-01,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_1_3.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_1_3.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 -2.06269e-01,-4.85561e-02,-1.30061e-02,-3.66034e-01,-3.30736e-01,
 9.88522e-01,1.15803e-03,-2.75160e-05,-2.98118e-04,-1.90740e-03,
 -1.13278e-02,-3.95710e-03,1.79798e-02,1.25019e-02,1.45017e-03,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_1_4.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_1_4.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 -3.95018e-02,-1.41847e+00,1.47517e+00,1.35736e-01,3.89717e-02,
 1.20216e-02,1.99366e-01,-2.16711e-01,-3.53016e-02,3.16366e-01,
 5.65330e-02,-2.25589e-01,3.80374e-01,-3.77091e-02,4.40564e-01,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_1_5.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_1_5.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 8.40894e-01,-2.85268e-02,4.08581e-02,-3.00944e-01,-5.67237e-01,
 -5.32651e-01,6.48152e-03,7.78808e-03,-1.54037e-01,1.05616e-01,
 -2.89033e-02,7.02812e-03,3.23454e-03,-4.82995e-04,1.85547e-03,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_1_6.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_1_6.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 7.57265e-02,3.90525e-01,5.36794e-01,3.72584e-01,-4.62552e-02,
 3.47555e-02,1.67795e-01,-6.24365e-02,3.34343e-01,-4.30940e-01,
 2.89983e-01,-4.14354e-02,-5.45657e-02,1.98848e-01,-1.89019e-02,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_1_7.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_1_7.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 5.61853e-02,-7.04491e-01,-6.16750e-02,2.48669e-02,1.23074e-01,
 -1.34788e-01,5.12771e-01,-5.70423e-01,8.71640e-02,-1.68019e-01,
 4.55649e-02,-5.92839e-01,6.41062e-01,6.28748e-02,3.36001e-02,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_1_8.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_1_8.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 3.65426e-02,-2.36703e-02,-2.02514e-01,2.83006e-01,-4.28196e-01,
 -1.40374e+00,-2.07866e-01,-4.64453e-02,1.86252e-01,-1.50778e-01,
 1.02267e-02,-1.41777e-01,1.63488e-01,-4.29141e-02,2.31116e-02,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_1_9.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_1_9.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 -7.91752e-02,-8.05586e-01,-2.31979e-02,6.49247e-01,-3.97765e-01,
 8.31648e-02,-5.36296e-03,-1.06399e-02,2.75283e-01,-1.11862e+00,
 -1.21543e-02,-2.25282e-02,3.07771e-03,1.73961e-01,-9.89381e-01,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_2_1.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_2_1.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 2.42586e-02,2.15358e-01,-1.67512e+00,4.89392e-02,-2.14581e-02,
 -2.10531e+00,-5.91078e-02,-1.55554e-02,5.63950e-04,7.29671e-03,
 -3.35044e-02,-2.17469e-01,6.59780e-01,2.78623e-01,-1.67258e+00,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_2_2.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_2_2.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 -5.60045e-01,-2.65343e-03,4.12602e-03,-8.78058e-01,-4.32316e-01,
 -2.78686e-02,-5.49838e-01,-7.56031e-01,3.46820e-01,-3.24285e-03,
 -4.93063e-01,-6.59816e-02,-6.98257e-01,3.99013e-02,1.18675e-01,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_2_3.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_2_3.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 -2.05536e-02,2.47547e-01,-2.21620e-01,-1.46965e+00,-5.21872e-01,
 7.10832e-01,4.46766e-02,2.10378e-01,6.32681e-02,-1.36324e-01,
 -2.82998e-02,4.91106e-03,1.68893e+00,6.56829e-02,-4.54055e-02,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_2_4.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_2_4.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 1.38742e-02,-6.82284e-03,-1.78422e-03,6.06939e-03,-7.71071e-04,
 -1.28134e-02,-4.57407e-01,4.67988e-01,-1.00724e+00,2.59735e-01,
 -1.87531e-01,4.17980e-01,3.07211e-01,8.73464e-02,-1.54665e-01,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_2_5.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_2_5.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 2.83707e-03,2.27467e-01,-2.19606e-01,-7.92775e-01,-1.89068e-01,
 2.44679e-02,9.04070e-01,-5.33681e-01,-1.16771e+00,2.15750e-01,
 -5.05898e-03,-1.36416e-02,1.04976e-02,-8.67981e-02,-4.22191e-01,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_2_6.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_2_6.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 -8.95784e-01,-1.02832e-01,1.24089e-01,-2.40706e-01,-8.41967e-02,
 1.10094e-02,9.14232e-01,-9.88422e-01,9.93494e-03,1.00107e-01,
 2.13975e-03,1.46461e-01,1.52106e-02,6.54574e-02,-1.25424e-03,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_2_7.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_2_7.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 1.88976e+00,2.38041e-03,-1.97384e-04,-5.07401e-03,1.90423e-03,
 -1.03009e-02,-2.78372e-02,4.11775e-03,4.95105e-01,-5.20682e-01,
 6.30226e-02,-8.64847e-01,-6.89373e-01,4.96987e-01,-2.19611e-01,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_2_8.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_2_8.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 7.02720e-02,-1.30968e-02,1.44202e-02,2.54317e-01,9.73880e-02,
 1.65398e-02,5.36952e-03,2.37793e-03,5.81580e-04,7.45396e-03,
 -8.77223e-02,5.63593e-03,2.35022e-02,-6.59756e-01,6.52460e-01,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_2_9.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_2_9.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 3.17590e-02,-1.73163e+00,-8.74419e-02,2.46198e-01,1.70159e-01,
 2.04788e-01,1.54263e+00,-1.44915e-01,3.42657e-01,-4.20385e-01,
 -7.20303e-03,-6.60776e-02,-1.34737e-02,-1.02165e-03,-1.92418e+00,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_3_1.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_3_1.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 -1.54717e+00,-5.63299e-01,-1.86708e-01,-1.24843e-01,1.19485e-01,
 -6.36590e-01,2.12620e-02,-2.28467e-04,-1.06322e+00,-5.43965e-01,
 3.88207e-02,1.01602e+00,2.85465e-02,4.07280e-01,-3.63910e-01,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_3_2.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_3_2.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 8.76627e-03,-1.95839e-01,-7.68201e-01,-3.16726e-01,2.16877e-01,
 -2.97393e-02,8.70108e-01,-2.37032e-01,-4.03549e-01,-4.34696e-01,
 2.14951e-02,-7.85835e-02,1.21503e-01,7.93447e-01,-9.26096e-01,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_3_3.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_3_3.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 -2.23088e-01,1.30501e+00,-1.30661e+00,8.28063e-02,3.05915e-02,
 1.95194e-02,4.64652e-01,5.15122e-01,-4.66643e-01,1.92038e-01,
 3.30779e-02,-1.61683e-01,1.66124e-01,-1.89192e-01,-1.30924e+00,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_3_4.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_3_4.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 -2.85632e-01,8.94263e-02,-5.16107e-01,-9.74158e-02,-1.09213e+00,
 -6.89667e-03,6.66934e-01,-7.14973e-01,-1.09392e-02,-9.65101e-01,
 -8.43390e-03,-2.11889e-03,-1.06011e-02,3.02827e-03,2.29541e-03,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_3_5.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_3_5.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 2.64212e-02,2.48956e-01,-2.17518e-01,-3.58912e-01,-5.16275e-01,
 -1.87964e-01,3.56845e-01,-1.66767e-01,-1.66822e+00,3.79045e-01,
 -1.16806e-01,1.08638e-01,8.86795e-01,-7.01773e-02,3.42205e-02,

diff --git a/resources/nnet/acasxu/ACASXU_experimental_v2a_3_6.nnet b/resources/nnet/acasxu/ACASXU_experimental_v2a_3_6.nnet
@@ -4,10 +4,10 @@
 7,5,5,50,
 5,50,50,50,50,50,50,5,
 0,
-0.0,-3.141593,-3.141593,100.0,0.0,0.0,-3.0,
-60760.0,3.141593,3.141593,1200.0,1200.0,100.0,3.0,
-1.9791091e+04,0.0,0.0,650.0,600.0,35.1111111,0.0,7.5188840201005975,
-60261.0,6.28318530718,6.28318530718,1100.0,1200.0,100.0,6.0,373.94992,
+0.0,-3.141593,-3.141593,100.0,0.0,
+60760.0,3.141593,3.141593,1200.0,1200.0,
+1.9791091e+04,0.0,0.0,650.0,600.0,7.5188840201005975,
+60261.0,6.28318530718,6.28318530718,1100.0,1200.0,373.94992,
 1.40207e-01,-3.85229e-01,-3.16845e-01,1.69229e-01,7.45343e-02,
 -3.79120e-02,-7.49023e-01,-4.70807e-01,2.85368e-01,-1.06546e-01,
 4.35244e-03,-4.53834e-01,-1.10460e-01,-3.18205e-01,1.90098e-01,