Log files for model oscillators.8-10-0.1-1-0.1-1.0 and tool configuration modest_from-jani_to-umb-gz_default
[ERR, ERR, ERR, ERR, ERR]
Log file: modest_from-jani_to-umb-gz_default_oscillators.8-10-0.1-1-0.1-1.0_rep1.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.gz %outdir/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive
Wallclock time: 47.176 seconds
Return code: -6
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4954941/tmp0j3em3aqmodest_from-jani_to-umb-gz_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4954941/tmp_55bm9l5modest_from-jani_to-umb-gz_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4954941/tmp_55bm9l5modest_from-jani_to-umb-gz_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is a DTMC model.
##############################Output to stderr##############################
Unhandled exception. System.Runtime.InteropServices.COMException (0x80131198): No logical space left to create more user strings. (0x80131198)
at System.Reflection.Emit.RuntimeModuleBuilder.g____PInvoke|26_0(QCallModule __module_native, UInt16* __str_native, Int32 __length_native)
at System.Reflection.Emit.RuntimeModuleBuilder.g____PInvoke|26_0(QCallModule __module_native, UInt16* __str_native, Int32 __length_native)
at System.Reflection.Emit.RuntimeModuleBuilder.GetStringMetadataToken(String stringConstant)
at System.Reflection.Emit.RuntimeILGenerator.Emit(OpCode opcode, String str)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_3.b__4(Int32 assignmentIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_2.b__3(Int32 targetIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_1.b__2(Int32 edgeIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_0.b__1(Int32 locationIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.CreateJump(TypeBuilder tb)
at Modest.Exploration.Compiled.CompiledAutomaton.Compile(Dictionary`2 edgeLabelMapping)
at Modest.Exploration.Compiled.NetworkCompiler.CompileNetwork(NetworkCompilationState compilationState, Expression[] expressions, Expression[] timeConstraints)
at Modest.Exploration.NetworkCompilerHelper.Compile(AutomataNetwork automataNetwork, ExplorationConfiguration config, Expression[] expressions, Expression[] timeConstraints, Dictionary`2 clockBounds, HashSet`1 extraSymbolicVariables, StateProjection[] projections, OperationState operationState, String extraStatusString)
at Modest.ModelChecking.ModelCheckingAnalysisEngine.ModelCheck(IModel model, CompilationParameters compilationParams, Object parametersObj, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.ModelCheckingAnalysisEngine.Analyze(AnalysisParams analysisParameters, IModel[] models, Int32 index, Boolean isLast, Boolean useDtmcSemantics, Boolean isContinuousTimeMarkovModel, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.AnalysisEngine`1.Analyze(AP analysisParameters, IModel model, Int32 index, Boolean isLast, IExperiment[] modelParameters, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.AnalysisEngine`1.Analyze(IParameterObject analysisParameters, IModel[] models, IExperiment[][] experiments, OperationState operationState, IErrorHandler errors)
at Modest.Executable.ModelChecker.Run(IParameterObject parameterObj, Stopwatch time, IOutputHandler outputHandler, CancellationToken cancellationToken)
at Modest.Executable.Program.Main(String[] args)
############################## Output files ##############################
model.umb.gz: File does not exist.
umbgz.properties.txt: File does not exist.
Log file: modest_from-jani_to-umb-gz_default_oscillators.8-10-0.1-1-0.1-1.0_rep2.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.gz %outdir/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive
Wallclock time: 41.886 seconds
Return code: -6
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957715/tmpeoxd1qq2modest_from-jani_to-umb-gz_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957715/tmpax4s5gngmodest_from-jani_to-umb-gz_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4957715/tmpax4s5gngmodest_from-jani_to-umb-gz_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is a DTMC model.
##############################Output to stderr##############################
Unhandled exception. System.Runtime.InteropServices.COMException (0x80131198): No logical space left to create more user strings. (0x80131198)
at System.Reflection.Emit.RuntimeModuleBuilder.g____PInvoke|26_0(QCallModule __module_native, UInt16* __str_native, Int32 __length_native)
at System.Reflection.Emit.RuntimeModuleBuilder.g____PInvoke|26_0(QCallModule __module_native, UInt16* __str_native, Int32 __length_native)
at System.Reflection.Emit.RuntimeModuleBuilder.GetStringMetadataToken(String stringConstant)
at System.Reflection.Emit.RuntimeILGenerator.Emit(OpCode opcode, String str)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_3.b__4(Int32 assignmentIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_2.b__3(Int32 targetIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_1.b__2(Int32 edgeIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_0.b__1(Int32 locationIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.CreateJump(TypeBuilder tb)
at Modest.Exploration.Compiled.CompiledAutomaton.Compile(Dictionary`2 edgeLabelMapping)
at Modest.Exploration.Compiled.NetworkCompiler.CompileNetwork(NetworkCompilationState compilationState, Expression[] expressions, Expression[] timeConstraints)
at Modest.Exploration.NetworkCompilerHelper.Compile(AutomataNetwork automataNetwork, ExplorationConfiguration config, Expression[] expressions, Expression[] timeConstraints, Dictionary`2 clockBounds, HashSet`1 extraSymbolicVariables, StateProjection[] projections, OperationState operationState, String extraStatusString)
at Modest.ModelChecking.ModelCheckingAnalysisEngine.ModelCheck(IModel model, CompilationParameters compilationParams, Object parametersObj, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.ModelCheckingAnalysisEngine.Analyze(AnalysisParams analysisParameters, IModel[] models, Int32 index, Boolean isLast, Boolean useDtmcSemantics, Boolean isContinuousTimeMarkovModel, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.AnalysisEngine`1.Analyze(AP analysisParameters, IModel model, Int32 index, Boolean isLast, IExperiment[] modelParameters, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.AnalysisEngine`1.Analyze(IParameterObject analysisParameters, IModel[] models, IExperiment[][] experiments, OperationState operationState, IErrorHandler errors)
at Modest.Executable.ModelChecker.Run(IParameterObject parameterObj, Stopwatch time, IOutputHandler outputHandler, CancellationToken cancellationToken)
at Modest.Executable.Program.Main(String[] args)
############################## Output files ##############################
model.umb.gz: File does not exist.
umbgz.properties.txt: File does not exist.
Log file: modest_from-jani_to-umb-gz_default_oscillators.8-10-0.1-1-0.1-1.0_rep3.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.gz %outdir/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive
Wallclock time: 40.849 seconds
Return code: -6
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955677/tmp64f7_k9_modest_from-jani_to-umb-gz_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4955677/tmpig695ny1modest_from-jani_to-umb-gz_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4955677/tmpig695ny1modest_from-jani_to-umb-gz_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is a DTMC model.
##############################Output to stderr##############################
Unhandled exception. System.Runtime.InteropServices.COMException (0x80131198): No logical space left to create more user strings. (0x80131198)
at System.Reflection.Emit.RuntimeModuleBuilder.g____PInvoke|26_0(QCallModule __module_native, UInt16* __str_native, Int32 __length_native)
at System.Reflection.Emit.RuntimeModuleBuilder.g____PInvoke|26_0(QCallModule __module_native, UInt16* __str_native, Int32 __length_native)
at System.Reflection.Emit.RuntimeModuleBuilder.GetStringMetadataToken(String stringConstant)
at System.Reflection.Emit.RuntimeILGenerator.Emit(OpCode opcode, String str)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_3.b__4(Int32 assignmentIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_2.b__3(Int32 targetIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_1.b__2(Int32 edgeIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_0.b__1(Int32 locationIndex)
at Modest.Exploration.Compiled.CompiledAutomaton.CreateJump(TypeBuilder tb)
at Modest.Exploration.Compiled.CompiledAutomaton.Compile(Dictionary`2 edgeLabelMapping)
at Modest.Exploration.Compiled.NetworkCompiler.CompileNetwork(NetworkCompilationState compilationState, Expression[] expressions, Expression[] timeConstraints)
at Modest.Exploration.NetworkCompilerHelper.Compile(AutomataNetwork automataNetwork, ExplorationConfiguration config, Expression[] expressions, Expression[] timeConstraints, Dictionary`2 clockBounds, HashSet`1 extraSymbolicVariables, StateProjection[] projections, OperationState operationState, String extraStatusString)
at Modest.ModelChecking.ModelCheckingAnalysisEngine.ModelCheck(IModel model, CompilationParameters compilationParams, Object parametersObj, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.ModelCheckingAnalysisEngine.Analyze(AnalysisParams analysisParameters, IModel[] models, Int32 index, Boolean isLast, Boolean useDtmcSemantics, Boolean isContinuousTimeMarkovModel, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.AnalysisEngine`1.Analyze(AP analysisParameters, IModel model, Int32 index, Boolean isLast, IExperiment[] modelParameters, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.AnalysisEngine`1.Analyze(IParameterObject analysisParameters, IModel[] models, IExperiment[][] experiments, OperationState operationState, IErrorHandler errors)
at Modest.Executable.ModelChecker.Run(IParameterObject parameterObj, Stopwatch time, IOutputHandler outputHandler, CancellationToken cancellationToken)
at Modest.Executable.Program.Main(String[] args)
############################## Output files ##############################
model.umb.gz: File does not exist.
umbgz.properties.txt: File does not exist.
Log file: modest_from-jani_to-umb-gz_default_oscillators.8-10-0.1-1-0.1-1.0_rep4.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.gz %outdir/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive
Wallclock time: 42.443 seconds
Return code: -6
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957221/tmpldn6dighmodest_from-jani_to-umb-gz_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957221/tmpdixbjwgimodest_from-jani_to-umb-gz_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4957221/tmpdixbjwgimodest_from-jani_to-umb-gz_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is a DTMC model.
##############################Output to stderr##############################
Unhandled exception. System.Runtime.InteropServices.COMException (0x80131198): No logical space left to create more user strings. (0x80131198)
at System.Reflection.Emit.RuntimeModuleBuilder.g____PInvoke|26_0(QCallModule __module_native, UInt16* __str_native, Int32 __length_native)
at System.Reflection.Emit.RuntimeModuleBuilder.g____PInvoke|26_0(QCallModule __module_native, UInt16* __str_native, Int32 __length_native)
at System.Reflection.Emit.RuntimeModuleBuilder.GetStringMetadataToken(String stringConstant)
at System.Reflection.Emit.RuntimeILGenerator.Emit(OpCode opcode, String str)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_3.b__4(Int32 assignmentIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_2.b__3(Int32 targetIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_1.b__2(Int32 edgeIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_0.b__1(Int32 locationIndex)
at Modest.Exploration.Compiled.CompiledAutomaton.CreateJump(TypeBuilder tb)
at Modest.Exploration.Compiled.CompiledAutomaton.Compile(Dictionary`2 edgeLabelMapping)
at Modest.Exploration.Compiled.NetworkCompiler.CompileNetwork(NetworkCompilationState compilationState, Expression[] expressions, Expression[] timeConstraints)
at Modest.Exploration.NetworkCompilerHelper.Compile(AutomataNetwork automataNetwork, ExplorationConfiguration config, Expression[] expressions, Expression[] timeConstraints, Dictionary`2 clockBounds, HashSet`1 extraSymbolicVariables, StateProjection[] projections, OperationState operationState, String extraStatusString)
at Modest.ModelChecking.ModelCheckingAnalysisEngine.ModelCheck(IModel model, CompilationParameters compilationParams, Object parametersObj, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.ModelCheckingAnalysisEngine.Analyze(AnalysisParams analysisParameters, IModel[] models, Int32 index, Boolean isLast, Boolean useDtmcSemantics, Boolean isContinuousTimeMarkovModel, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.AnalysisEngine`1.Analyze(AP analysisParameters, IModel model, Int32 index, Boolean isLast, IExperiment[] modelParameters, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.AnalysisEngine`1.Analyze(IParameterObject analysisParameters, IModel[] models, IExperiment[][] experiments, OperationState operationState, IErrorHandler errors)
at Modest.Executable.ModelChecker.Run(IParameterObject parameterObj, Stopwatch time, IOutputHandler outputHandler, CancellationToken cancellationToken)
at Modest.Executable.Program.Main(String[] args)
############################## Output files ##############################
model.umb.gz: File does not exist.
umbgz.properties.txt: File does not exist.
Log file: modest_from-jani_to-umb-gz_default_oscillators.8-10-0.1-1-0.1-1.0_rep5.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.gz %outdir/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive
Wallclock time: 38.192 seconds
Return code: -6
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955630/tmp2js3ka46modest_from-jani_to-umb-gz_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4955630/tmpns52ka0nmodest_from-jani_to-umb-gz_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4955630/tmpns52ka0nmodest_from-jani_to-umb-gz_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is a DTMC model.
##############################Output to stderr##############################
Unhandled exception. System.Runtime.InteropServices.COMException (0x80131198): No logical space left to create more user strings. (0x80131198)
at System.Reflection.Emit.RuntimeModuleBuilder.g____PInvoke|26_0(QCallModule __module_native, UInt16* __str_native, Int32 __length_native)
at System.Reflection.Emit.RuntimeModuleBuilder.g____PInvoke|26_0(QCallModule __module_native, UInt16* __str_native, Int32 __length_native)
at System.Reflection.Emit.RuntimeModuleBuilder.GetStringMetadataToken(String stringConstant)
at System.Reflection.Emit.RuntimeILGenerator.Emit(OpCode opcode, String str)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_3.b__4(Int32 assignmentIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_2.b__3(Int32 targetIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_1.b__2(Int32 edgeIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_0.b__1(Int32 locationIndex)
at Modest.Exploration.Compiled.CompiledAutomaton.CreateJump(TypeBuilder tb)
at Modest.Exploration.Compiled.CompiledAutomaton.Compile(Dictionary`2 edgeLabelMapping)
at Modest.Exploration.Compiled.NetworkCompiler.CompileNetwork(NetworkCompilationState compilationState, Expression[] expressions, Expression[] timeConstraints)
at Modest.Exploration.NetworkCompilerHelper.Compile(AutomataNetwork automataNetwork, ExplorationConfiguration config, Expression[] expressions, Expression[] timeConstraints, Dictionary`2 clockBounds, HashSet`1 extraSymbolicVariables, StateProjection[] projections, OperationState operationState, String extraStatusString)
at Modest.ModelChecking.ModelCheckingAnalysisEngine.ModelCheck(IModel model, CompilationParameters compilationParams, Object parametersObj, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.ModelCheckingAnalysisEngine.Analyze(AnalysisParams analysisParameters, IModel[] models, Int32 index, Boolean isLast, Boolean useDtmcSemantics, Boolean isContinuousTimeMarkovModel, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.AnalysisEngine`1.Analyze(AP analysisParameters, IModel model, Int32 index, Boolean isLast, IExperiment[] modelParameters, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.AnalysisEngine`1.Analyze(IParameterObject analysisParameters, IModel[] models, IExperiment[][] experiments, OperationState operationState, IErrorHandler errors)
at Modest.Executable.ModelChecker.Run(IParameterObject parameterObj, Stopwatch time, IOutputHandler outputHandler, CancellationToken cancellationToken)
at Modest.Executable.Program.Main(String[] args)
############################## Output files ##############################
model.umb.gz: File does not exist.
umbgz.properties.txt: File does not exist.