Log files for model speed-ind.2100 and tool configuration modest_from-umb_check_default
[1780.618, 1717.737, 2190.256, 1815.123, 2141.076]
Log file: modest_from-umb_check_default_speed-ind.2100_rep1.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 1780.618 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973404/tmpqoh1x4f6modest_from-umb_check_default_speed-ind.2100_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973404/tmpqoh1x4f6modest_from-umb_check_default_speed-ind.2100_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 245 MB
Analysis results for UMB
+ State space (UMB)
States: 743424
Choices: 743424
Branches: 9518080
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.1 s
+ Property change_state
Probability: 0.042319497978288025
Bounds: [0.042294497978287986, 0.04234449797828806]
Time: 1780.4 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
+ Unif+
Time: 1780.4 s
Max. exit rate: 2.74304977527707
Iterations: 1
Final unif. rate: 2.74304977527707
Log file: modest_from-umb_check_default_speed-ind.2100_rep2.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 1717.737 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973381/tmpe8x6iuyzmodest_from-umb_check_default_speed-ind.2100_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973381/tmpe8x6iuyzmodest_from-umb_check_default_speed-ind.2100_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 245 MB
Analysis results for UMB
+ State space (UMB)
States: 743424
Choices: 743424
Branches: 9518080
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property change_state
Probability: 0.042319497978288025
Bounds: [0.042294497978287986, 0.04234449797828806]
Time: 1717.5 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
+ Unif+
Time: 1717.5 s
Max. exit rate: 2.74304977527707
Iterations: 1
Final unif. rate: 2.74304977527707
Log file: modest_from-umb_check_default_speed-ind.2100_rep3.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 2190.256 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973474/tmp_iqo1klgmodest_from-umb_check_default_speed-ind.2100_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973474/tmp_iqo1klgmodest_from-umb_check_default_speed-ind.2100_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 245 MB
Analysis results for UMB
+ State space (UMB)
States: 743424
Choices: 743424
Branches: 9518080
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.1 s
+ Property change_state
Probability: 0.042319497978288025
Bounds: [0.042294497978287986, 0.04234449797828806]
Time: 2190.1 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
+ Unif+
Time: 2190.0 s
Max. exit rate: 2.74304977527707
Iterations: 1
Final unif. rate: 2.74304977527707
Log file: modest_from-umb_check_default_speed-ind.2100_rep4.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 1815.123 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973370/tmpqal66_kxmodest_from-umb_check_default_speed-ind.2100_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973370/tmpqal66_kxmodest_from-umb_check_default_speed-ind.2100_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 245 MB
Analysis results for UMB
+ State space (UMB)
States: 743424
Choices: 743424
Branches: 9518080
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property change_state
Probability: 0.042319497978288025
Bounds: [0.042294497978287986, 0.04234449797828806]
Time: 1813.7 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
+ Unif+
Time: 1813.6 s
Max. exit rate: 2.74304977527707
Iterations: 1
Final unif. rate: 2.74304977527707
Log file: modest_from-umb_check_default_speed-ind.2100_rep5.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 2141.076 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973502/tmpz3qp3qn4modest_from-umb_check_default_speed-ind.2100_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973502/tmpz3qp3qn4modest_from-umb_check_default_speed-ind.2100_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 245 MB
Analysis results for UMB
+ State space (UMB)
States: 743424
Choices: 743424
Branches: 9518080
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.1 s
+ Property change_state
Probability: 0.042319497978288025
Bounds: [0.042294497978287986, 0.04234449797828806]
Time: 2140.9 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
+ Unif+
Time: 2140.8 s
Max. exit rate: 2.74304977527707
Iterations: 1
Final unif. rate: 2.74304977527707