Change reachability options for some

Author: mldiego

code/nnv/examples/Submission/VNN_COMP2024/run_vnncomp2024_instance.m

@@ -384,26 +384,37 @@
         else
             error("We don't have those");
         end
+        reachOptions.reachMethod = 'relax-star-area';
+        reachOptions.relaxFactor = 0.8;
+        reachOptionsList{1} = reachOptions;
         reachOptions = struct;
         reachOptions.reachMethod = 'approx-star'; % default parameters
-        reachOptionsList{1} = reachOptions;
+        reachOptionsList{2} = reachOptions;
 
     elseif contains(category, "vggnet16")
         % vgg16: onnx to matlab
         net = importNetworkFromONNX(onnx); % flattenlayer
         nnvnet = "";
         needReshape = 1;
-        reachOptions = struct;
-        reachOptions.reachMethod = 'approx-star'; % default parameters
+        reachOptions.reachMethod = 'relax-star-area';
+        reachOptions.relaxFactor = 0.9;
         reachOptionsList{1} = reachOptions;
+        reachOptions = struct;
+        reachOptions.reachMethod = 'relax-star-area';
+        reachOptions.relaxFactor = 0.5;
+        reachOptionsList{2} = reachOptions;
 
     elseif contains(category, "tllverify")
         % tllverify: onnx to nnv
         net = importNetworkFromONNX(onnx,"InputDataFormats", "BC", 'OutputDataFormats',"BC");
         nnvnet = matlab2nnv(net);
         reachOptions = struct;
-        reachOptions.reachMethod = 'approx-star'; % default parameters
+        reachOptions.reachMethod = 'relax-star-area';
+        reachOptions.relaxFactor = 0.9;
         reachOptionsList{1} = reachOptions;
+        reachOptions = struct;
+        reachOptions.reachMethod = 'approx-star'; % default parameters
+        reachOptionsList{2} = reachOptions;
 
     elseif contains(category, "vit")
         % vit: onnx to matlab
@@ -459,10 +470,10 @@
         needReshape = 1;
         reachOptions = struct;
         reachOptions.reachMethod = 'relax-star-area';
-        reachOptions.relaxFactor = 0.5;
+        reachOptions.relaxFactor = 0.9;
         reachOptionsList{1} = reachOptions;
-        reachOptions = struct;
-        reachOptions.reachMethod = 'approx-star'; % default parameters
+        reachOptions.reachMethod = 'relax-star-area';
+        reachOptions.relaxFactor = 0.5;
         reachOptionsList{2} = reachOptions;
 
     elseif contains(category, "tinyimagenet")