.

2023-01-24 21:47:18 +00:00
parent 0179ed410a
commit a444024eaa
2 changed files with 5 additions and 4 deletions
@@ -2,5 +2,6 @@ parallel/minnthreads = 5
 parallel/maxnthreads = 10

 limits/solutions = -1
+limits/gap = 0

-limits/time = 345600
+limits/time = 20000