Skip to content
GitLab
Explore
Sign in
Register
Primary navigation
Search or go to…
Project
L
lp_nn_robustness_verification
Manage
Activity
Members
Code
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Model registry
Analyze
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
ludwig10_masters_thesis
lp_nn_robustness_verification
Commits
333f6e5e
Verified
Commit
333f6e5e
authored
2 years ago
by
Björn Ludwig
Browse files
Options
Downloads
Patches
Plain Diff
refactor(solve_instances_in_parallel): change logic to run on more nodes
parent
3228b239
Branches
Branches containing commit
No related tags found
No related merge requests found
Pipeline
#16316
passed
2 years ago
Stage: test
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
src/lp_nn_robustness_verification/examples/solve_instances_in_parallel.py
+5
-5
5 additions, 5 deletions
...ness_verification/examples/solve_instances_in_parallel.py
with
5 additions
and
5 deletions
src/lp_nn_robustness_verification/examples/solve_instances_in_parallel.py
+
5
−
5
View file @
333f6e5e
...
@@ -25,14 +25,14 @@ def solve_and_store_timed_solutions(task_id: int, proc_id: int) -> None:
...
@@ -25,14 +25,14 @@ def solve_and_store_timed_solutions(task_id: int, proc_id: int) -> None:
Parameters
Parameters
----------
----------
task_id : int
task_id : int
parameter to parallelize workload, expected to lie between 0 and
4
each included
parameter to parallelize workload, expected to lie between 0 and
7
each included
proc_id : int
proc_id : int
parameter to parallelize workload, expected to lie between 0 and
3
each included
parameter to parallelize workload, expected to lie between 0 and
1
each included
"""
"""
size_scalers
:
list
[
int
]
=
[
1
,
10
,
100
,
1000
,
2000
]
size_scalers
:
list
[
int
]
=
[
10
,
100
,
1000
,
2000
]
size_scaler
=
size_scalers
[
task_id
]
size_scaler
=
size_scalers
[
task_id
//
2
]
depths
:
list
[
int
]
=
[
1
,
3
,
5
,
8
]
depths
:
list
[
int
]
=
[
1
,
3
,
5
,
8
]
depth
=
depths
[
proc_id
]
depth
=
depths
[
proc_id
+
(
task_id
%
2
)
*
2
]
if
size_scaler
*
11
-
depth
>=
100
:
if
size_scaler
*
11
-
depth
>=
100
:
out_features
=
100
out_features
=
100
elif
size_scaler
*
11
-
depth
<
10
:
elif
size_scaler
*
11
-
depth
<
10
:
...
...
This diff is collapsed.
Click to expand it.
Preview
0%
Loading
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment