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