From 58cd89be6709ee4971a919f2b384e586ccd683b7 Mon Sep 17 00:00:00 2001 From: Diego Manzanas Date: Thu, 11 Jul 2024 15:34:47 -0500 Subject: [PATCH] maybe? --- .../examples/Submission/VNN_COMP2024/execute.py | 14 +++++++------- .../VNN_COMP2024/run_vnncomp2024_instance.m | 1 + 2 files changed, 8 insertions(+), 7 deletions(-) diff --git a/code/nnv/examples/Submission/VNN_COMP2024/execute.py b/code/nnv/examples/Submission/VNN_COMP2024/execute.py index 1382eae3b..2b8c11b66 100644 --- 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 index 4bfffe20c..5be3fbfff 100644 --- 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")