Commit cb503c9b authored by Jaime Arias's avatar Jaime Arias
Browse files

fix: parameters for formula generator

parent 9ebd6440
...@@ -106,11 +106,11 @@ if __name__ == '__main__': ...@@ -106,11 +106,11 @@ if __name__ == '__main__':
# Default paths # Default paths
paths = create_default_paths() paths = create_default_paths()
# Timeout: 5 minutes # Timeout: 3 minutes
timeout = 10 timeout = 3
# Formulas to be verified # Formulas to be verified
n_formulas = 200 n_formulas = 100
# Minimum number of states in the generated state space # Minimum number of states in the generated state space
min_states = 1000 min_states = 1000
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment