chore: try solver setup

morpho-org · Mar 25, 2024 · 9dfc176 · 9dfc176
1 parent 398c553
commit 9dfc176
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/certora/confs/DistinctIdentifiers.conf b/certora/confs/DistinctIdentifiers.conf
@@ -7,12 +7,13 @@
     "loop_iter": "2",
     "optimistic_loop": true,
     "prover_args": [
-        "-solvers [z3:lia2,cvc5:nonlinNoDio,cvc4:nonlin,yices:def,z3:arith2]",
+        "-solvers [z3:def{randomSeed=1},z3:def{randomSeed=2},z3:def{randomSeed=3},z3:def{randomSeed=4},z3:def{randomSeed=5},z3:def{randomSeed=6},z3:def{randomSeed=7},z3:lia2]",
         "-depth 3",
         "-mediumTimeout 20",
         "-timeout 2000",
     ],
     "rule_sanity": "basic",
+    "cache": "none",
     "server": "production",
     "msg": "MetaMorpho Distinct Identifiers"
 }