Test approx

mldiego · Jul 6, 2024 · 00efabc · 00efabc
1 parent 68ab4a0
commit 00efabc
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/code/nnv/examples/Submission/VNN_COMP2024/run_vnncomp2024_instance.m b/code/nnv/examples/Submission/VNN_COMP2024/run_vnncomp2024_instance.m
@@ -91,12 +91,12 @@
 
 reachOptions = struct;
 reachOptions.lp_solver = "linprog"; % glpk is the worst, gurobi works better for some of the larger benchmarks, linprog faster for simple LPs
-% reachOptions.reachMethod = 'approx-star';
+reachOptions.reachMethod = 'approx-star';
 % reachOptions.device = "gpu";
-reachOptions.reachMethod = 'exact-star';
+% reachOptions.reachMethod = 'exact-star';
 % reachOptions.device = 'cpu';
-numCores = feature('numcores');
-reachOptions.numCores = numCores; % physical cores
+% numCores = feature('numcores');
+% reachOptions.numCores = numCores; % physical cores
 
 
 % Check if property was violated earlier