original_docstring: returns True if the provided benchmark is supported by the tool and if the given benchmark should appear on the generated benchmark list
docstring: returns True if the provided benchmark is supported by the tool and if the given benchmark should appear on the generated benchmark list
docstring_tokens: returns True if the provided benchmark is supported by the tool and if the given benchmark should appear on the generated benchmark list
code: def is_benchmark_supported(benchmark : Benchmark, trackId):
      """returns True if the provided benchmark is supported by the tool and if the given benchmark should appear on the generated benchmark list"""
  
      if benchmark.is_pta() and benchmark.is_prism():
          # Some PTAs from Prism are not supported because either
          # modest can't apply digital clocks semantic due to open constraints, or
          # modest puts the time as branch-rewards on the models, which are not supported for time-bounded properties
          if benchmark.get_model_short_name() in ["firewire-pta", "zeroconf-pta"]:
              return "time-bounded" not in benchmark.get_property_type()
          else:
              return False
      if benchmark.is_prism_inf() and benchmark.is_ctmc():
          # Storm does not support the CTMCs with infinite state-spaces
          return False
  
      # Time bounded queries on continuous time models can not be solved exactly
      if trackId in ["correct", "floating-point-correct"]:
          if "time-bounded" in benchmark.get_property_type() and (benchmark.is_ma() or benchmark.is_ctmc()):
              return False
      return True
code_tokens: def is_benchmark_supported ( benchmark : Benchmark , trackId ) : if benchmark . is_pta ( ) and benchmark . is_prism ( ) : if benchmark . get_model_short_name ( ) in [ "firewire-pta" , "zeroconf-pta" ] : return "time-bounded" not in benchmark . get_property_type ( ) else : return False if benchmark . is_prism_inf ( ) and benchmark . is_ctmc ( ) : return False if trackId in [ "correct" , "floating-point-correct" ] : if "time-bounded" in benchmark . get_property_type ( ) and ( benchmark . is_ma ( ) or benchmark . is_ctmc ( ) ) : return False return True
short_docstring: returns True if the provided benchmark is supported by the tool and if the given benchmark should appear on the generated benchmark list
short_docstring_tokens: returns True if the provided benchmark is supported by the tool and if the given benchmark should appear on the generated benchmark list
comment: """returns True if the provided benchmark is supported by the tool and if the given benchmark should appear on the generated benchmark list"""$SEP$# Some PTAs from Prism are not supported because either$SEP$# modest can't apply digital clocks semantic due to open constraints, or$SEP$# modest puts the time as branch-rewards on the models, which are not supported for time-bounded properties$SEP$# Storm does not support the CTMCs with infinite state-spaces$SEP$# Time bounded queries on continuous time models can not be solved exactly