Skip to content

Commit 1665ee7

Browse files
committed
doc: note about runner ressources
1 parent 2540d04 commit 1665ee7

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

README.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,9 @@ bash benchmark/runner.sh pelletier 3 no-sel
1717
bash benchmark/plotter.sh
1818
```
1919

20+
The runner benchmarks the problem set with 16 threads and a memory limit of 1GB per thread.
21+
These default settings are only directly editable through the global variables within `benchmark/runner.py`.
22+
2023
## Problem Sets
2124
### Simple TPTP Examples
2225
Copied from the Test Problems section of <https://tptp.org/UserDocs/QuickGuide/>:

0 commit comments

Comments
 (0)