-
Notifications
You must be signed in to change notification settings - Fork 49
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #251 from sammsaski/formalise25v2
FormaliSE 2025 AE Submission Fixes
- Loading branch information
Showing
6 changed files
with
365 additions
and
325 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
95 changes: 95 additions & 0 deletions
95
code/nnv/examples/Submission/FORMALISE2025/run_single_sample_vvn.sh
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,95 @@ | ||
#!/bin/bash | ||
|
||
OUTPUT_FILE="test_single_all_samples.txt" | ||
|
||
# Clear the file if it exists | ||
> $OUTPUT_FILE | ||
|
||
echo "Starting test..." | ||
echo "Starting test..." >> $OUTPUT_FILE | ||
|
||
####################### | ||
### ZOOM IN RESULTS ### | ||
####################### | ||
# Zoom In 4f, relax | ||
python src/vvn/verify.py zoom_in relax 1 4 1800 751 >> $OUTPUT_FILE 2>&1 | ||
|
||
# Zoom In 8f, relax | ||
python src/vvn/verify.py zoom_in relax 1 8 1800 751 >> $OUTPUT_FILE 2>&1 | ||
|
||
# Zoom In 16f, relax | ||
python src/vvn/verify.py zoom_in relax 1 16 1800 751 >> $OUTPUT_FILE 2>&1 | ||
|
||
# Zoom In 4f, approx | ||
python src/vvn/verify.py zoom_in approx 1 4 1800 751 >> $OUTPUT_FILE 2>&1 | ||
|
||
# Zoom In 8f, approx | ||
python src/vvn/verify.py zoom_in approx 1 8 1800 751 >> $OUTPUT_FILE 2>&1 | ||
|
||
|
||
######################## | ||
### ZOOM OUT RESULTS ### | ||
######################## | ||
# Zoom Out 4f, relax | ||
python src/vvn/verify.py zoom_out relax 1 4 1800 624 >> $OUTPUT_FILE 2>&1 | ||
|
||
# Zoom Out 8f, relax | ||
python src/vvn/verify.py zoom_out relax 1 8 1800 624 >> $OUTPUT_FILE 2>&1 | ||
|
||
# Zoom Out 16f, relax | ||
python src/vvn/verify.py zoom_out relax 1 16 1800 624 >> $OUTPUT_FILE 2>&1 | ||
|
||
# Zoom Out 4f, approx | ||
python src/vvn/verify.py zoom_out approx 1 4 1800 624 >> $OUTPUT_FILE 2>&1 | ||
|
||
# Zoom Out 8f, approx | ||
python src/vvn/verify.py zoom_out approx 1 8 1800 624 >> $OUTPUT_FILE 2>&1 | ||
|
||
|
||
####################### | ||
#### GTSRB RESULTS #### | ||
####################### | ||
# GTSRB 4f, relax | ||
python src/vvn/verify.py gtsrb relax 1 4 1800 12597 >> $OUTPUT_FILE 2>&1 | ||
|
||
# GTSRB 8f, relax | ||
python src/vvn/verify.py gtsrb relax 1 8 1800 12597 >> $OUTPUT_FILE 2>&1 | ||
|
||
# GTSRB 16f, relax | ||
python src/vvn/verify.py gtsrb relax 1 16 1800 12597 >> $OUTPUT_FILE 2>&1 | ||
|
||
# GTSRB 4f, approx | ||
python src/vvn/verify.py gtsrb approx 1 4 1800 12597 >> $OUTPUT_FILE 2>&1 | ||
|
||
# GTSRB 8f, approx | ||
python src/vvn/verify.py gtsrb approx 1 8 1800 12597 >> $OUTPUT_FILE 2>&1 | ||
|
||
# GTSRB 16f, approx | ||
python src/vvn/verify.py gtsrb approx 1 16 1800 12597 >> $OUTPUT_FILE 2>&1 | ||
|
||
|
||
####################### | ||
### STMNIST RESULTS ### | ||
####################### | ||
# STMNIST 16f, relax | ||
python src/vvn/verify.py stmnist relax 1 16 1800 311 >> $OUTPUT_FILE 2>&1 | ||
|
||
# STMNIST 32f, relax | ||
python src/vvn/verify.py stmnist relax 1 32 1800 311 >> $OUTPUT_FILE 2>&1 | ||
|
||
# STMNIST 64f, relax | ||
python src/vvn/verify.py stmnist relax 1 64 1800 311 >> $OUTPUT_FILE 2>&1 | ||
|
||
# STMNIST 16f, approx | ||
python src/vvn/verify.py stmnist approx 1 16 1800 311 >> $OUTPUT_FILE 2>&1 | ||
|
||
# STMNIST 32f, approx | ||
python src/vvn/verify.py stmnist approx 1 32 1800 311 >> $OUTPUT_FILE 2>&1 | ||
|
||
# STMNIST 64f, approx | ||
python src/vvn/verify.py stmnist approx 1 64 1800 311 >> $OUTPUT_FILE 2>&1 | ||
|
||
|
||
echo -e "\n\n**********************************************" | ||
echo " Test all samples complete. " | ||
echo -e "**********************************************\n\n" |
87 changes: 1 addition & 86 deletions
87
code/nnv/examples/Submission/FORMALISE2025/run_smoketest.sh
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
11 changes: 3 additions & 8 deletions
11
code/nnv/examples/Submission/FORMALISE2025/run_subset_vvn.sh
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,14 +1,9 @@ | ||
#!/bin/bash | ||
# TABLE II (GET ALL VERIFICATION RESULTS) | ||
python src/run.py subset # MNIST Video | ||
python src/run_gtsrb.py subset # GTSRB | ||
python src/run_stmnist.py subset # STMNIST | ||
python src/analysis/make_table2.py | ||
|
||
|
||
# FIGURE 8 (COMPARISON OF AVERAGE RUNTIME) | ||
python src/analysis/make_plots.py | ||
# Reproduce the first row of table 2. | ||
|
||
# TABLE II (GET ALL VERIFICATION RESULTS) | ||
python src/run.py --subset # MNIST Video | ||
|
||
# FIGURE 7 (REACHABLE OUTPUT PLOTS) | ||
python src/generate_output_plots.py |
Oops, something went wrong.