update a few things

2023-05-23 14:48:12 +01:00
parent a444024eaa
commit 3f78ecc671
10 changed files with 290 additions and 55 deletions
@@ -1,7 +1,3 @@
-parallel/minnthreads = 5
-parallel/maxnthreads = 10
+#limits/gap = 0.005

-limits/solutions = -1
-limits/gap = 0
-
-limits/time = 20000
+#limits/time = 100