Single-shot solving benchmarks implementation #56
Conversation
rtaupe
left a comment
rtaupe
left a comment
There was a problem hiding this comment.
Please suggest a reorganization of the directory structure in which the current contents of the singleshot_bench directory are in a subdirectory of benchmarks.
And then let's do a peer review of your pull request face-to-face.
Thank you!
…ingleshot_cleaned
rtaupe
left a comment
rtaupe
left a comment
There was a problem hiding this comment.
Please address the below comments and separate the generation of BM instances and the running of the BMs into two separate scripts. Thank you!
benchmarks/singleshot/autorun.py
Outdated
| ELEMENT_TYPES = 4 | ||
| ELEMENT_NAMES = 'ABCD' | ||
|
|
||
| domain_sizes = [19, 33, 51, 65, 84, 98, 116, 130, 149, 163, 181, 195, 214, 228, 246, 260, 279, 293, 311, 325] |
There was a problem hiding this comment.
Please add some documentation
| @@ -0,0 +1,9 @@ | |||
| #include "ooasp.lp". | |||
| #include "ooasp_symmetry.lp". | |||
There was a problem hiding this comment.
For better comparability, please keep #include statements that already exist in ooasp.lp there, and only add includes here that do not exist in the multi-shot version of ooasp.lp
| :- user(ooasp_isa(C,new_object)), | ||
| not ooasp_isa(C,new_object). No newline at end of file |
| @@ -0,0 +1,23 @@ | |||
| % Copyright (c) 2022 Siemens AG Oesterreich | |||
There was a problem hiding this comment.
File not used (?), please remove
Created a subdirectory for single-shot benchmarking with adjusted encodings and automated single-shot benchmarking script.