-
Notifications
You must be signed in to change notification settings - Fork 0
/
generate-plots-tacas2024.sh
executable file
·52 lines (40 loc) · 3.46 KB
/
generate-plots-tacas2024.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
#!/usr/bin/env bash
./generate-summary-model-checker-tacas2024.sh > plots/tacas2024-summary-generated.csv
less plots/tacas2024-summary-generated.csv | grep "gen-locations" | grep "Q-20" > plots/tacas2024-gen-locations-q20.csv
less plots/tacas2024-summary-generated.csv | grep "gen-locations" | grep "Q-30" > plots/tacas2024-gen-locations-q30.csv
less plots/tacas2024-summary-generated.csv | grep "gen-locations" | grep "Q-40" > plots/tacas2024-gen-locations-q40.csv
less plots/tacas2024-summary-generated.csv | grep "gen-locations" | grep "Q-50" > plots/tacas2024-gen-locations-q50.csv
less plots/tacas2024-summary-generated.csv | grep "gen-locations" | grep "Q-60" > plots/tacas2024-gen-locations-q60.csv
less plots/tacas2024-summary-generated.csv | grep "gen-actions" | grep "A-4" | egrep -v "A-44" > plots/tacas2024-gen-actions-a4.csv
less plots/tacas2024-summary-generated.csv | grep "gen-actions" | grep "A-14" > plots/tacas2024-gen-actions-a14.csv
less plots/tacas2024-summary-generated.csv | grep "gen-actions" | grep "A-24" > plots/tacas2024-gen-actions-a24.csv
less plots/tacas2024-summary-generated.csv | grep "gen-actions" | grep "A-34" > plots/tacas2024-gen-actions-a34.csv
less plots/tacas2024-summary-generated.csv | grep "gen-actions" | grep "A-44" > plots/tacas2024-gen-actions-a44.csv
less plots/tacas2024-summary-generated.csv | grep "gen-registers" | egrep -v "noopt" | grep "R-0.20" > plots/tacas2024-gen-registers-r020.csv
less plots/tacas2024-summary-generated.csv | grep "gen-registers" | egrep -v "noopt" | grep "R-0.40" > plots/tacas2024-gen-registers-r040.csv
less plots/tacas2024-summary-generated.csv | grep "gen-registers" | egrep -v "noopt" | grep "R-0.60" > plots/tacas2024-gen-registers-r060.csv
less plots/tacas2024-summary-generated.csv | grep "gen-registers" | egrep -v "noopt" | grep "R-0.80" > plots/tacas2024-gen-registers-r080.csv
less plots/tacas2024-summary-generated.csv | grep "gen-registers" | egrep -v "noopt" | grep "R-1.00" > plots/tacas2024-gen-registers-r100.csv
less plots/tacas2024-summary-generated.csv | grep "gen-registers-noopt" | grep "R-0.20" > plots/tacas2024-gen-registers-n-r020.csv
less plots/tacas2024-summary-generated.csv | grep "gen-registers-noopt" | grep "R-0.40" > plots/tacas2024-gen-registers-n-r040.csv
less plots/tacas2024-summary-generated.csv | grep "gen-registers-noopt" | grep "R-0.60" > plots/tacas2024-gen-registers-n-r060.csv
less plots/tacas2024-summary-generated.csv | grep "gen-registers-noopt" | grep "R-0.80" > plots/tacas2024-gen-registers-n-r080.csv
less plots/tacas2024-summary-generated.csv | grep "gen-registers-noopt" | grep "R-1.00" > plots/tacas2024-gen-registers-n-r100.csv
head -n 1 plots/tacas2024-summary-generated.csv > plots/dtls-models-mc.csv
less plots/tacas2024-summary-generated.csv | grep "dtls-baseline-eq" | egrep -v "noopt" >> plots/dtls-models-mc.csv
head -n 1 plots/tacas2024-summary-generated.csv > plots/dtls-models-mc-noopt.csv
less plots/tacas2024-summary-generated.csv | grep "dtls-baseline-eq-noopt" >> plots/dtls-models-mc-noopt.csv
cd plots
latexmk -pdf boxplot-gen-locations.tex
latexmk -pdf boxplot-gen-actions.tex
latexmk -pdf boxplot-gen-registers.tex
latexmk -pdf boxplot-gen-registers-noopt.tex
latexmk -pdf plot-gen-transitions.tex
latexmk -pdf plot-gen-counterexamples.tex
latexmk -pdf plot-gen-registers.tex
latexmk -pdf plot-gen-registers-noopt.tex
latexmk -pdf plot-dtls-resets.tex
latexmk -pdf plot-dtls-resets-noopt.tex
latexmk -pdf plot-dtls-counterexamples.tex
latexmk -pdf plot-dtls-wct.tex
cd ..