Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
Hans Vrapi
Storm-bn
Commits
a96b10e7
Commit
a96b10e7
authored
May 16, 2022
by
Hans Vrapi
Browse files
rename directory
parent
fd7a1efa
Changes
7
Hide whitespace changes
Inline
Side-by-side
parameter_space_partitioning/README.md
View file @
a96b10e7
...
...
@@ -23,8 +23,8 @@
## alarm-red-green-plots
-
contains all data relevant to construct the 2D and 3D graphs for alarm
## generated_
plot
s
-
contains all the generated plots (also included in the paper)
## generated_
file
s
-
contains all the generated plots (also included in the paper)
and the PLA table for win95pts
## output
-
contains the output data for the specific threshhold values (e.g. 0.3 for hailfinder)
...
...
parameter_space_partitioning/table.csv
→
parameter_space_partitioning/
generated_files/PLA_
table.csv
View file @
a96b10e7
File moved
parameter_space_partitioning/generated_
plot
s/alarm_pla_graph_2D.pdf
→
parameter_space_partitioning/generated_
file
s/alarm_pla_graph_2D.pdf
View file @
a96b10e7
No preview for this file type
parameter_space_partitioning/generated_
plot
s/alarm_pla_graph_3D.pdf
→
parameter_space_partitioning/generated_
file
s/alarm_pla_graph_3D.pdf
View file @
a96b10e7
No preview for this file type
parameter_space_partitioning/generated_
plot
s/pla_plot.pdf
→
parameter_space_partitioning/generated_
file
s/pla_plot.pdf
View file @
a96b10e7
No preview for this file type
parameter_space_partitioning/perform_parameter_space_partitioning.sh
View file @
a96b10e7
...
...
@@ -5,7 +5,7 @@ flag=$1
#create 2D plot
python3 scripts/create_2D_graph.py
$flag
cd
generated_
plot
s
cd
generated_
file
s
pdflatex
--enable-write18
--extra-mem-top
=
100000000
--synctex
=
1 ../alarm-red-green-plots/2D/alarm_pla_graph_2D.tex
rm
alarm_pla_graph_2D.aux
rm
alarm_pla_graph_2D.log
...
...
@@ -14,7 +14,7 @@ cd ..
#create 3D plot
python3 scripts/create_3D_graph.py
$flag
cd
generated_
plot
s
cd
generated_
file
s
pdflatex
--enable-write18
--extra-mem-top
=
100000000
--synctex
=
1 ../alarm-red-green-plots/3D/alarm_pla_graph_3D.tex
rm
alarm_pla_graph_3D.aux
rm
alarm_pla_graph_3D.log
...
...
@@ -23,7 +23,7 @@ cd ..
#run experiments for the networks 'win95pts', 'hailfinder', 'hepar2'
python3 scripts/run_pla_experiments.py
$flag
cd
generated_
plot
s
cd
generated_
file
s
pdflatex ../scripts/pla_plot.tex
rm
pla_plot.aux
rm
pla_plot.log
...
...
parameter_space_partitioning/scripts/make_pla_table.py
View file @
a96b10e7
...
...
@@ -19,7 +19,7 @@ def make_pla_table():
mem
=
mem
.
replace
(
'
\n
'
,
''
)
df
=
pd
.
DataFrame
([[
coverage
,
sat
,
unsat
,
unknown
,
regions
,
time
,
mem
]],
columns
=
[
'coverage'
,
'accepting(%)'
,
'rejecting(%)'
,
'unknown(%)'
,
'#regions'
,
'time'
,
'mem'
])
data
=
pd
.
concat
([
data
,
df
],
ignore_index
=
True
)
data
.
to_csv
(
'table.csv'
,
index
=
False
)
data
.
to_csv
(
'
generated_files/PLA_
table.csv'
,
index
=
False
)
print
(
data
.
tail
(
16
))
if
__name__
==
"__main__"
:
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment