From d6d0d3396c9c931548595418bd1002629489e3de Mon Sep 17 00:00:00 2001 From: Roman Andriushchenko Date: Fri, 27 Sep 2024 17:19:48 +0200 Subject: [PATCH] set optimistic value iteration as default method --- paynt/verification/property.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/paynt/verification/property.py b/paynt/verification/property.py index 4b83bcb4..a0523269 100644 --- a/paynt/verification/property.py +++ b/paynt/verification/property.py @@ -50,10 +50,10 @@ def initialize(cls): # se.set_linear_equation_solver_type(stormpy.EquationSolverType.eigen) # se.minmax_solver_environment.method = stormpy.MinMaxMethod.policy_iteration - se.minmax_solver_environment.method = stormpy.MinMaxMethod.value_iteration + # se.minmax_solver_environment.method = stormpy.MinMaxMethod.value_iteration # se.minmax_solver_environment.method = stormpy.MinMaxMethod.sound_value_iteration # se.minmax_solver_environment.method = stormpy.MinMaxMethod.interval_iteration - # se.minmax_solver_environment.method = stormpy.MinMaxMethod.optimistic_value_iteration + se.minmax_solver_environment.method = stormpy.MinMaxMethod.optimistic_value_iteration # se.minmax_solver_environment.method = stormpy.MinMaxMethod.topological @classmethod