Log files for model eajs.5-250-11 and tool configuration modest_from-umb_check_default
[1.211, 2.797, 1.069, 1.092, 1.938]
Log file: modest_from-umb_check_default_eajs.5-250-11_rep1.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 1.211 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973382/tmpgxwh5nrpmodest_from-umb_check_default_eajs.5-250-11_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973382/tmpgxwh5nrpmodest_from-umb_check_default_eajs.5-250-11_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 273 MB
Analysis results for UMB
+ State space (UMB)
States: 3049471
Choices: 4256193
Branches: 6977654
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.1 s
+ Property ExpUtil
Value: 10.032940688434891
Bounds: [10.032940688434891, infinity)
Time: 0.8 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.2 s
Min. prob. 1 states: 3049471
Time for min. prob. 1 states: 0.0 s
+ Value iteration
Final error: 4.466131883374015E-08
Iterations: 22
Time: 0.6 s
Log file: modest_from-umb_check_default_eajs.5-250-11_rep2.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 2.797 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973452/tmpu5lup6_mmodest_from-umb_check_default_eajs.5-250-11_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973452/tmpu5lup6_mmodest_from-umb_check_default_eajs.5-250-11_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 273 MB
Analysis results for UMB
+ State space (UMB)
States: 3049471
Choices: 4256193
Branches: 6977654
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.1 s
+ Property ExpUtil
Value: 10.032940688434891
Bounds: [10.032940688434891, infinity)
Time: 1.0 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.2 s
Min. prob. 1 states: 3049471
Time for min. prob. 1 states: 0.0 s
+ Value iteration
Final error: 4.466131883374015E-08
Iterations: 22
Time: 0.7 s
Log file: modest_from-umb_check_default_eajs.5-250-11_rep3.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 1.069 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973430/tmpt8k9d2k9modest_from-umb_check_default_eajs.5-250-11_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973430/tmpt8k9d2k9modest_from-umb_check_default_eajs.5-250-11_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 273 MB
Analysis results for UMB
+ State space (UMB)
States: 3049471
Choices: 4256193
Branches: 6977654
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property ExpUtil
Value: 10.032940688434891
Bounds: [10.032940688434891, infinity)
Time: 0.8 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.2 s
Min. prob. 1 states: 3049471
Time for min. prob. 1 states: 0.0 s
+ Value iteration
Final error: 4.466131883374015E-08
Iterations: 22
Time: 0.6 s
Log file: modest_from-umb_check_default_eajs.5-250-11_rep4.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 1.092 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973457/tmpp8jb9kj_modest_from-umb_check_default_eajs.5-250-11_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973457/tmpp8jb9kj_modest_from-umb_check_default_eajs.5-250-11_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 273 MB
Analysis results for UMB
+ State space (UMB)
States: 3049471
Choices: 4256193
Branches: 6977654
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property ExpUtil
Value: 10.032940688434891
Bounds: [10.032940688434891, infinity)
Time: 0.9 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.2 s
Min. prob. 1 states: 3049471
Time for min. prob. 1 states: 0.0 s
+ Value iteration
Final error: 4.466131883374015E-08
Iterations: 22
Time: 0.6 s
Log file: modest_from-umb_check_default_eajs.5-250-11_rep5.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 1.938 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973595/tmpfmk24qa9modest_from-umb_check_default_eajs.5-250-11_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973595/tmpfmk24qa9modest_from-umb_check_default_eajs.5-250-11_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 272 MB
Analysis results for UMB
+ State space (UMB)
States: 3049471
Choices: 4256193
Branches: 6977654
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.1 s
+ Property ExpUtil
Value: 10.032940688434891
Bounds: [10.032940688434891, infinity)
Time: 1.0 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.2 s
Min. prob. 1 states: 3049471
Time for min. prob. 1 states: 0.0 s
+ Value iteration
Final error: 4.466131883374015E-08
Iterations: 22
Time: 0.7 s