Log files for model majority.2100 and tool configuration modest_from-umb_check_default
[428.387, 425.116, 454.401, 479.214, 517.223]
Log file: modest_from-umb_check_default_majority.2100_rep1.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 428.387 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973469/tmpu0y73c0emodest_from-umb_check_default_majority.2100_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973469/tmpu0y73c0emodest_from-umb_check_default_majority.2100_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 100 MB
Analysis results for UMB
+ State space (UMB)
States: 192000
Choices: 192000
Branches: 1961600
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property change_state
Probability: 0.054324193162944165
Bounds: [0.05429919316294412, 0.05434919316294422]
Time: 427.5 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
+ Unif+
Time: 427.5 s
Max. exit rate: 3.222771171745222
Iterations: 1
Final unif. rate: 3.222771171745222
Log file: modest_from-umb_check_default_majority.2100_rep2.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 425.116 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973446/tmpqsrrqholmodest_from-umb_check_default_majority.2100_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973446/tmpqsrrqholmodest_from-umb_check_default_majority.2100_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 99 MB
Analysis results for UMB
+ State space (UMB)
States: 192000
Choices: 192000
Branches: 1961600
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property change_state
Probability: 0.054324193162944165
Bounds: [0.05429919316294412, 0.05434919316294422]
Time: 425.0 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
+ Unif+
Time: 425.0 s
Max. exit rate: 3.222771171745222
Iterations: 1
Final unif. rate: 3.222771171745222
Log file: modest_from-umb_check_default_majority.2100_rep3.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 454.401 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973481/tmp60xtiwjwmodest_from-umb_check_default_majority.2100_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973481/tmp60xtiwjwmodest_from-umb_check_default_majority.2100_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 102 MB
Analysis results for UMB
+ State space (UMB)
States: 192000
Choices: 192000
Branches: 1961600
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property change_state
Probability: 0.054324193162944165
Bounds: [0.05429919316294412, 0.05434919316294422]
Time: 454.3 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
+ Unif+
Time: 454.3 s
Max. exit rate: 3.222771171745222
Iterations: 1
Final unif. rate: 3.222771171745222
Log file: modest_from-umb_check_default_majority.2100_rep4.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 479.214 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973407/tmpwamlwccnmodest_from-umb_check_default_majority.2100_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973407/tmpwamlwccnmodest_from-umb_check_default_majority.2100_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 103 MB
Analysis results for UMB
+ State space (UMB)
States: 192000
Choices: 192000
Branches: 1961600
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property change_state
Probability: 0.054324193162944165
Bounds: [0.05429919316294412, 0.05434919316294422]
Time: 479.1 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
+ Unif+
Time: 479.1 s
Max. exit rate: 3.222771171745222
Iterations: 1
Final unif. rate: 3.222771171745222
Log file: modest_from-umb_check_default_majority.2100_rep5.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 517.223 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973526/tmpv6wrqj4cmodest_from-umb_check_default_majority.2100_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973526/tmpv6wrqj4cmodest_from-umb_check_default_majority.2100_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 102 MB
Analysis results for UMB
+ State space (UMB)
States: 192000
Choices: 192000
Branches: 1961600
Time (decompress): 0.0 s
Time (validate): 0.1 s
Time (load): 0.1 s
+ Property change_state
Probability: 0.054324193162944165
Bounds: [0.05429919316294412, 0.05434919316294422]
Time: 517.0 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
+ Unif+
Time: 516.8 s
Max. exit rate: 3.222771171745222
Iterations: 1
Final unif. rate: 3.222771171745222