Log files for model eajs.6-300-13 and tool configuration modest_from-umb_check_default
[0.1, 0.1, 0.1, 0.1, 0.2]
Log file: modest_from-umb_check_default_eajs.6-300-13_rep1.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 2.891 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973556/tmpbwif_cndmodest_from-umb_check_default_eajs.6-300-13_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973556/tmpbwif_cndmodest_from-umb_check_default_eajs.6-300-13_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 698 MB
Analysis results for UMB
+ State space (UMB)
States: 7901694
Choices: 11897412
Branches: 19722777
Time (decompress): 0.0 s
Time (validate): 0.1 s
Time (load): 0.1 s
+ Property ExpUtil
Value: 12.05111082306636
Bounds: [12.05111082306636, infinity)
Time: 2.5 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.6 s
Min. prob. 1 states: 7901694
Time for min. prob. 1 states: 0.0 s
+ Value iteration
Final error: 8.54690416100535E-07
Iterations: 24
Time: 1.8 s
Log file: modest_from-umb_check_default_eajs.6-300-13_rep2.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 3.453 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973518/tmpc7n7lia_modest_from-umb_check_default_eajs.6-300-13_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973518/tmpc7n7lia_modest_from-umb_check_default_eajs.6-300-13_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 699 MB
Analysis results for UMB
+ State space (UMB)
States: 7901694
Choices: 11897412
Branches: 19722777
Time (decompress): 0.0 s
Time (validate): 0.1 s
Time (load): 0.1 s
+ Property ExpUtil
Value: 12.05111082306636
Bounds: [12.05111082306636, infinity)
Time: 3.0 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.7 s
Min. prob. 1 states: 7901694
Time for min. prob. 1 states: 0.0 s
+ Value iteration
Final error: 8.54690416100535E-07
Iterations: 24
Time: 2.2 s
Log file: modest_from-umb_check_default_eajs.6-300-13_rep3.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 3.055 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973448/tmpmbb7yj4pmodest_from-umb_check_default_eajs.6-300-13_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973448/tmpmbb7yj4pmodest_from-umb_check_default_eajs.6-300-13_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 699 MB
Analysis results for UMB
+ State space (UMB)
States: 7901694
Choices: 11897412
Branches: 19722777
Time (decompress): 0.0 s
Time (validate): 0.1 s
Time (load): 0.1 s
+ Property ExpUtil
Value: 12.05111082306636
Bounds: [12.05111082306636, infinity)
Time: 2.6 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.6 s
Min. prob. 1 states: 7901694
Time for min. prob. 1 states: 0.0 s
+ Value iteration
Final error: 8.54690416100535E-07
Iterations: 24
Time: 2.0 s
Log file: modest_from-umb_check_default_eajs.6-300-13_rep4.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 3.430 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973488/tmp1qyflfiemodest_from-umb_check_default_eajs.6-300-13_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973488/tmp1qyflfiemodest_from-umb_check_default_eajs.6-300-13_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 699 MB
Analysis results for UMB
+ State space (UMB)
States: 7901694
Choices: 11897412
Branches: 19722777
Time (decompress): 0.0 s
Time (validate): 0.1 s
Time (load): 0.1 s
+ Property ExpUtil
Value: 12.05111082306636
Bounds: [12.05111082306636, infinity)
Time: 3.0 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.7 s
Min. prob. 1 states: 7901694
Time for min. prob. 1 states: 0.0 s
+ Value iteration
Final error: 8.54690416100535E-07
Iterations: 24
Time: 2.2 s
Log file: modest_from-umb_check_default_eajs.6-300-13_rep5.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 3.490 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973374/tmpl60hocmwmodest_from-umb_check_default_eajs.6-300-13_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973374/tmpl60hocmwmodest_from-umb_check_default_eajs.6-300-13_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 699 MB
Analysis results for UMB
+ State space (UMB)
States: 7901694
Choices: 11897412
Branches: 19722777
Time (decompress): 0.0 s
Time (validate): 0.1 s
Time (load): 0.2 s
+ Property ExpUtil
Value: 12.05111082306636
Bounds: [12.05111082306636, infinity)
Time: 3.0 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.6 s
Min. prob. 1 states: 7901694
Time for min. prob. 1 states: 0.0 s
+ Value iteration
Final error: 8.54690416100535E-07
Iterations: 24
Time: 2.3 s