Log files for model mapk-cascade.4-30 and tool configuration modest_from-umb_check_default
[1.508, 1.407, 1.838, 1.848, 2.814]
Log file: modest_from-umb_check_default_mapk-cascade.4-30_rep1.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 1.508 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973531/tmpl1f7nki1modest_from-umb_check_default_mapk-cascade.4-30_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973531/tmpl1f7nki1modest_from-umb_check_default_mapk-cascade.4-30_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 57 MB
Analysis results for UMB
+ State space (UMB)
States: 99535
Choices: 99535
Branches: 910872
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property activated_time
Value: 40.6739607295415
Bounds: [40.6739607295415, infinity)
Time: 1.4 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
Min. prob. 1 states: 99535
Time for min. prob. 1 states: 0.0 s
+ Value iteration
Final error: 9.881731107657563E-07
Iterations: 730
Time: 1.4 s
Log file: modest_from-umb_check_default_mapk-cascade.4-30_rep2.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 1.407 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973510/tmp1hb2gcvvmodest_from-umb_check_default_mapk-cascade.4-30_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973510/tmp1hb2gcvvmodest_from-umb_check_default_mapk-cascade.4-30_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 57 MB
Analysis results for UMB
+ State space (UMB)
States: 99535
Choices: 99535
Branches: 910872
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property activated_time
Value: 40.6739607295415
Bounds: [40.6739607295415, infinity)
Time: 1.3 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
Min. prob. 1 states: 99535
Time for min. prob. 1 states: 0.0 s
+ Value iteration
Final error: 9.881731107657563E-07
Iterations: 730
Time: 1.3 s
Log file: modest_from-umb_check_default_mapk-cascade.4-30_rep3.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 1.838 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973435/tmp9vbyhhv6modest_from-umb_check_default_mapk-cascade.4-30_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973435/tmp9vbyhhv6modest_from-umb_check_default_mapk-cascade.4-30_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 57 MB
Analysis results for UMB
+ State space (UMB)
States: 99535
Choices: 99535
Branches: 910872
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property activated_time
Value: 40.6739607295415
Bounds: [40.6739607295415, infinity)
Time: 1.7 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
Min. prob. 1 states: 99535
Time for min. prob. 1 states: 0.0 s
+ Value iteration
Final error: 9.881731107657563E-07
Iterations: 730
Time: 1.7 s
Log file: modest_from-umb_check_default_mapk-cascade.4-30_rep4.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 1.848 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973398/tmpfi6819lxmodest_from-umb_check_default_mapk-cascade.4-30_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973398/tmpfi6819lxmodest_from-umb_check_default_mapk-cascade.4-30_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 57 MB
Analysis results for UMB
+ State space (UMB)
States: 99535
Choices: 99535
Branches: 910872
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property activated_time
Value: 40.6739607295415
Bounds: [40.6739607295415, infinity)
Time: 1.7 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
Min. prob. 1 states: 99535
Time for min. prob. 1 states: 0.0 s
+ Value iteration
Final error: 9.881731107657563E-07
Iterations: 730
Time: 1.7 s
Log file: modest_from-umb_check_default_mapk-cascade.4-30_rep5.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 2.814 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973416/tmplth5jfrdmodest_from-umb_check_default_mapk-cascade.4-30_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973416/tmplth5jfrdmodest_from-umb_check_default_mapk-cascade.4-30_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 55 MB
Analysis results for UMB
+ State space (UMB)
States: 99535
Choices: 99535
Branches: 910872
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property activated_time
Value: 40.6739607295415
Bounds: [40.6739607295415, infinity)
Time: 1.3 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
Min. prob. 1 states: 99535
Time for min. prob. 1 states: 0.0 s
+ Value iteration
Final error: 9.881731107657563E-07
Iterations: 730
Time: 1.3 s