Working on vnncomp, testing our approach

mldiego · Jul 5, 2024 · faae556 · faae556
1 parent d0f9419
commit faae556
Show file tree

Hide file tree

Showing 1,845 changed files with 18,428,085 additions and 1 deletion.
diff --git a/code/nnv/examples/Submission/VNN_COMP2024/old/results/acas_results_1.txt b/code/nnv/examples/Submission/VNN_COMP2024/old/results/acas_results_1.txt
@@ -0,0 +1 @@
+unsat 
diff --git a/code/nnv/examples/Submission/VNN_COMP2024/old/results/acas_results_10.txt b/code/nnv/examples/Submission/VNN_COMP2024/old/results/acas_results_10.txt
@@ -0,0 +1 @@
+unsat 
diff --git a/code/nnv/examples/Submission/VNN_COMP2024/old/results/acas_results_2.txt b/code/nnv/examples/Submission/VNN_COMP2024/old/results/acas_results_2.txt
@@ -0,0 +1,12 @@
+sat 
+((X_0 0.6070786118507385)
+(X_1 0.001809537410736084)
+(X_2 -0.1066266596317291)
+(X_3 0.4850321412086487)
+(X_4 -0.4867429733276367)
+(Y_0 0.03625358268618584)
+(Y_1 -0.02103896625339985)
+(Y_2 0.02358381822705269)
+(Y_3 -0.01023092214018106)
+(Y_4 0.02452640980482101)
+)
diff --git a/code/nnv/examples/Submission/VNN_COMP2024/old/results/acas_results_3.txt b/code/nnv/examples/Submission/VNN_COMP2024/old/results/acas_results_3.txt
@@ -0,0 +1 @@
+unsat 
diff --git a/code/nnv/examples/Submission/VNN_COMP2024/old/results/acas_results_4.txt b/code/nnv/examples/Submission/VNN_COMP2024/old/results/acas_results_4.txt
@@ -0,0 +1 @@
+unsat 
diff --git a/code/nnv/examples/Submission/VNN_COMP2024/old/results/acas_results_5.txt b/code/nnv/examples/Submission/VNN_COMP2024/old/results/acas_results_5.txt
@@ -0,0 +1 @@
+unsat 
diff --git a/code/nnv/examples/Submission/VNN_COMP2024/old/results/acas_results_6.txt b/code/nnv/examples/Submission/VNN_COMP2024/old/results/acas_results_6.txt
@@ -0,0 +1 @@
+unsat 
diff --git a/code/nnv/examples/Submission/VNN_COMP2024/old/results/acas_results_7.txt b/code/nnv/examples/Submission/VNN_COMP2024/old/results/acas_results_7.txt
@@ -0,0 +1 @@
+unsat 
diff --git a/code/nnv/examples/Submission/VNN_COMP2024/old/results/acas_results_8.txt b/code/nnv/examples/Submission/VNN_COMP2024/old/results/acas_results_8.txt
@@ -0,0 +1 @@
+unsat 
diff --git a/code/nnv/examples/Submission/VNN_COMP2024/old/results/acas_results_9.txt b/code/nnv/examples/Submission/VNN_COMP2024/old/results/acas_results_9.txt
@@ -0,0 +1 @@
+unsat 
diff --git a/code/nnv/examples/Submission/VNN_COMP2024/old/results/cgan_results_1.txt b/code/nnv/examples/Submission/VNN_COMP2024/old/results/cgan_results_1.txt
@@ -0,0 +1,8 @@
+sat 
+((X_0 0.5296014547348022)
+(X_1 -0.982020378112793)
+(X_2 0.641721248626709)
+(X_3 0.999940037727356)
+(X_4 0.9911927580833435)
+(Y_0 0.5439191460609436)
+)
diff --git a/code/nnv/examples/Submission/VNN_COMP2024/old/results/cgan_results_2.txt b/code/nnv/examples/Submission/VNN_COMP2024/old/results/cgan_results_2.txt
@@ -0,0 +1,8 @@
+sat 
+((X_0 0.6679145097732544)
+(X_1 -0.9905437827110291)
+(X_2 0.2753290832042694)
+(X_3 -0.007194055244326591)
+(X_4 0.2265108078718185)
+(Y_0 0.6593757271766663)
+)
diff --git a/code/nnv/examples/Submission/VNN_COMP2024/old/results/cgan_results_3.txt b/code/nnv/examples/Submission/VNN_COMP2024/old/results/cgan_results_3.txt
@@ -0,0 +1 @@
+unsat 
diff --git a/code/nnv/examples/Submission/VNN_COMP2024/old/results/cgan_results_4.txt b/code/nnv/examples/Submission/VNN_COMP2024/old/results/cgan_results_4.txt
@@ -0,0 +1,8 @@
+sat 
+((X_0 0.5703174471855164)
+(X_1 -0.180215984582901)
+(X_2 -0.8163940906524658)
+(X_3 -0.9925921559333801)
+(X_4 -0.03698674216866493)
+(Y_0 0.5832024812698364)
+)
diff --git a/code/nnv/examples/Submission/VNN_COMP2024/old/results/cgan_results_5.txt b/code/nnv/examples/Submission/VNN_COMP2024/old/results/cgan_results_5.txt
@@ -0,0 +1,8 @@
+sat 
+((X_0 0.6493480801582336)
+(X_1 -0.8768606781959534)
+(X_2 -0.9917047023773193)
+(X_3 -0.992373526096344)
+(X_4 0.996238648891449)
+(Y_0 0.6568941473960876)
+)