diff --git a/share/provers-detection-data.conf b/share/provers-detection-data.conf index 20786acc58ca3c367ab1f1e2a41c2b472c5c0eac..b685dafa16efe2a1e6c409da073ea9f59861fcec 100644 --- a/share/provers-detection-data.conf +++ b/share/provers-detection-data.conf @@ -395,7 +395,7 @@ version_ok = "4.5.0" version_old = "4.4.1" version_old = "4.4.0" driver = "z3_440" -command = "%e -smt2 -T:%t000 sat.random_seed=42 nlsat.randomize=false smt.random_seed=42 %f" +command = "%e -smt2 -T:%t sat.random_seed=42 nlsat.randomize=false smt.random_seed=42 %f" command_steps = "%e -smt2 sat.random_seed=42 nlsat.randomize=false smt.random_seed=42 memory_max_alloc_count=%S %f" use_at_auto_level = 1 @@ -415,7 +415,7 @@ version_ok = "4.5.0" version_old = "4.4.1" version_old = "4.4.0" driver = "z3_432" -command = "%e -smt2 -T:%t000 sat.random_seed=42 nlsat.randomize=false smt.random_seed=42 %f" +command = "%e -smt2 -T:%t sat.random_seed=42 nlsat.randomize=false smt.random_seed=42 %f" command_steps = "%e -smt2 sat.random_seed=42 nlsat.randomize=false smt.random_seed=42 memory_max_alloc_count=%S %f" # Z3 4.3.2 does not support option global option -rs anymore.