run all benchmarks

CPMpy · May 16, 2024 · b93d2c1 · b93d2c1
1 parent 2718d4f
commit b93d2c1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/benchmarks/run_benchmarks.py b/benchmarks/run_benchmarks.py
@@ -13,7 +13,7 @@
 # set solver to test (suported: ortools)
 solver = 'ortools'
 # solver timeout in seconds
-time_limit = 20
+time_limit = 60
 # set true to only time transformations, and not call the solver
 transonly = False
 
@@ -52,7 +52,7 @@
         os.rename(xmlmodel, xmlmodel[:len(xmlmodel) - len(name)] + 'unsupported\\' + name)
 '''
 print(xmlmodels)
-for xmlmodel in xmlmodels[:2]:
+for xmlmodel in xmlmodels:
     model = None
     def parse():
         parser = ParserXCSP3(xmlmodel)