From bf572c7c76067c55320a0dba96c08eeb4370f720 Mon Sep 17 00:00:00 2001
From: Diego Manzanas <diego.manzanas.lopez@vanderbilt.edu>
Date: Wed, 10 Jul 2024 22:38:14 -0500
Subject: [PATCH] no need for manuel post install

---
 code/nnv/examples/Submission/VNN_COMP2024/config.yaml      | 2 +-
 .../Submission/VNN_COMP2024/run_vnncomp2024_instance.m     | 7 -------
 2 files changed, 1 insertion(+), 8 deletions(-)

diff --git a/code/nnv/examples/Submission/VNN_COMP2024/config.yaml b/code/nnv/examples/Submission/VNN_COMP2024/config.yaml
index d55b116f3..c58b0f998 100644
--- a/code/nnv/examples/Submission/VNN_COMP2024/config.yaml
+++ b/code/nnv/examples/Submission/VNN_COMP2024/config.yaml
@@ -1,7 +1,7 @@
 name: nnv
 ami: ami-080fce32dc8c15ced
 scripts_dir: code/nnv/examples/Submission/VNN_COMP2024/
-manual_installation_step: True
+manual_installation_step: False
 run_installation_script_as_root: False
 run_post_installation_script_as_root: False
 run_toolkit_as_root: False
diff --git a/code/nnv/examples/Submission/VNN_COMP2024/run_vnncomp2024_instance.m b/code/nnv/examples/Submission/VNN_COMP2024/run_vnncomp2024_instance.m
index 847f787ce..4070018cd 100644
--- a/code/nnv/examples/Submission/VNN_COMP2024/run_vnncomp2024_instance.m
+++ b/code/nnv/examples/Submission/VNN_COMP2024/run_vnncomp2024_instance.m
@@ -76,13 +76,6 @@
             
             reachOptions = reachOptionsList{1};
 
-            if strcmp(reachOptions.reachMethod, 'exact-star')
-                p = gcp('nocreate');
-                if isempty(p)
-                    parpool('Threads');
-                end
-            end
-
             IS = create_input_set(lb, ub, inputSize, needReshape);
         
             % Compute reachability