.

2023-01-23 14:37:09 +00:00
parent aaa10d5fb8
commit 0179ed410a
8 changed files with 961 additions and 32 deletions
@@ -0,0 +1,6 @@
+parallel/minnthreads = 5
+parallel/maxnthreads = 10
+
+limits/solutions = -1
+
+limits/time = 345600