maybe?

mldiego · Jul 11, 2024 · 58cd89b · 58cd89b
1 parent 66c0377
commit 58cd89b
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 7 deletions.
diff --git a/code/nnv/examples/Submission/VNN_COMP2024/execute.py b/code/nnv/examples/Submission/VNN_COMP2024/execute.py
@@ -54,7 +54,7 @@ def run_instance(category, onnx, vnnlib, timeout, outputlocation) -> None:
     timeout = float(timeout)
     print('Trying to get the results without specified timeout')
 
-    [status, total_time] = future.result()
+    #[status, total_time] = future.result()
 
     # try: 
     #     [status, total_time] = future.result(timeout=float(timeout))
@@ -65,13 +65,13 @@ def run_instance(category, onnx, vnnlib, timeout, outputlocation) -> None:
     #     total_time = timeout
     #     status = 3
 
-    future.cancel()
-    eng.quit() 
+    #future.cancel()
+    #eng.quit() 
 
-    if status == 3:
-        resultfile = outputlocation
-        with open(resultfile, 'w') as f:
-            f.write('timeout')
+    # if status == 3:
+    #     resultfile = outputlocation
+    #     with open(resultfile, 'w') as f:
+    #         f.write('timeout')
     # All the other results are written from matlab
 
 

diff --git a/code/nnv/examples/Submission/VNN_COMP2024/run_vnncomp2024_instance.m b/code/nnv/examples/Submission/VNN_COMP2024/run_vnncomp2024_instance.m
@@ -488,6 +488,7 @@
         reachOptionsList{1} = reachOptions;
         reachOptions = struct;
         reachOptions.reachMethod = 'exact-star'; % default parameters
+        reachOptions.numCores = numCores;
         reachOptionsList{2} = reachOptions;
 
     elseif contains(category, "cora")