Delete archcomp files, just point to the RE package from competition

mldiego · Jun 14, 2024 · ae0f860 · ae0f860
1 parent f637233
commit ae0f860
Show file tree

Hide file tree

Showing 136 changed files with 0 additions and 9,002 deletions.
diff --git a/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/ACC/Specifications.txt b/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/ACC/Specifications.txt
diff --git a/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/ACC/controller_5_20.mat b/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/ACC/controller_5_20.mat
diff --git a/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/ACC/controller_5_20.onnx b/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/ACC/controller_5_20.onnx
diff --git a/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/ACC/dynamicsACC.m b/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/ACC/dynamicsACC.m
diff --git a/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/ACC/reach.m b/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/ACC/reach.m
diff --git a/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Airplane/controller_airplane.h5 b/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Airplane/controller_airplane.h5
diff --git a/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Airplane/controller_airplane.mat b/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Airplane/controller_airplane.mat
diff --git a/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Airplane/controller_airplane.nnet b/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Airplane/controller_airplane.nnet
diff --git a/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Airplane/controller_airplane.onnx b/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Airplane/controller_airplane.onnx
diff --git a/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Airplane/dynamics.m b/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Airplane/dynamics.m
diff --git a/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Airplane/reach.m b/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Airplane/reach.m
diff --git a/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Airplane/specifications.txt b/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Airplane/specifications.txt
diff --git a/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Attitude Control/Specifications.txt b/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Attitude Control/Specifications.txt
diff --git a/...les/Submission/ARCH-COMP2024/benchmarks/Attitude Control/attitude_control_3_64_torch.onnx b/...les/Submission/ARCH-COMP2024/benchmarks/Attitude Control/attitude_control_3_64_torch.onnx
diff --git a/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Attitude Control/dynamics.m b/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Attitude Control/dynamics.m
diff --git a/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Attitude Control/model.mat b/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Attitude Control/model.mat
diff --git a/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Attitude Control/model.onnx b/code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Attitude Control/model.onnx