Log files for model firewire.false-36-800 and tool configuration modest_from-umb_check_default
[0.0, 0.0, 0.0, 0.0, 0.0]
Log file: modest_from-umb_check_default_firewire.false-36-800_rep1.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 5.825 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973411/tmpqpj8srdlmodest_from-umb_check_default_firewire.false-36-800_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973411/tmpqpj8srdlmodest_from-umb_check_default_firewire.false-36-800_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 64 MB
Analysis results for UMB
+ State space (UMB)
States: 212268
Choices: 478756
Branches: 481792
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property deadline
Probability: 0.939453125
Bounds: [0.939453125, 1]
CDF: { (0, 0), ..., (202, 0), (203, 0.5), ..., (323, 0.5), (324, 0.625), ..., (405, 0.625), (406, 0.75), ..., (444, 0.75), (445, 0.78125), ..., (526, 0.78125), (527, 0.84375), ..., (565, 0.84375), (566, 0.8515625), ..., (608, 0.8515625), (609, 0.8828125), ..., (647, 0.8828125), (648, 0.90625), ..., (686, 0.90625), (687, 0.908203125), ..., (729, 0.908203125), (730, 0.931640625), ..., (768, 0.931640625), (769, 0.939453125), ..., (800, 0.939453125) }
Time: 5.7 s
+ Value iteration
Final error: 0
Iterations: 2374
Time: 5.7 s
Log file: modest_from-umb_check_default_firewire.false-36-800_rep2.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 5.552 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973451/tmpyg0fh8a1modest_from-umb_check_default_firewire.false-36-800_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973451/tmpyg0fh8a1modest_from-umb_check_default_firewire.false-36-800_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 64 MB
Analysis results for UMB
+ State space (UMB)
States: 212268
Choices: 478756
Branches: 481792
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property deadline
Probability: 0.939453125
Bounds: [0.939453125, 1]
CDF: { (0, 0), ..., (202, 0), (203, 0.5), ..., (323, 0.5), (324, 0.625), ..., (405, 0.625), (406, 0.75), ..., (444, 0.75), (445, 0.78125), ..., (526, 0.78125), (527, 0.84375), ..., (565, 0.84375), (566, 0.8515625), ..., (608, 0.8515625), (609, 0.8828125), ..., (647, 0.8828125), (648, 0.90625), ..., (686, 0.90625), (687, 0.908203125), ..., (729, 0.908203125), (730, 0.931640625), ..., (768, 0.931640625), (769, 0.939453125), ..., (800, 0.939453125) }
Time: 5.4 s
+ Value iteration
Final error: 0
Iterations: 2374
Time: 5.4 s
Log file: modest_from-umb_check_default_firewire.false-36-800_rep3.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 6.898 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973402/tmpq9_qod0qmodest_from-umb_check_default_firewire.false-36-800_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973402/tmpq9_qod0qmodest_from-umb_check_default_firewire.false-36-800_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 63 MB
Analysis results for UMB
+ State space (UMB)
States: 212268
Choices: 478756
Branches: 481792
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property deadline
Probability: 0.939453125
Bounds: [0.939453125, 1]
CDF: { (0, 0), ..., (202, 0), (203, 0.5), ..., (323, 0.5), (324, 0.625), ..., (405, 0.625), (406, 0.75), ..., (444, 0.75), (445, 0.78125), ..., (526, 0.78125), (527, 0.84375), ..., (565, 0.84375), (566, 0.8515625), ..., (608, 0.8515625), (609, 0.8828125), ..., (647, 0.8828125), (648, 0.90625), ..., (686, 0.90625), (687, 0.908203125), ..., (729, 0.908203125), (730, 0.931640625), ..., (768, 0.931640625), (769, 0.939453125), ..., (800, 0.939453125) }
Time: 5.5 s
+ Value iteration
Final error: 0
Iterations: 2374
Time: 5.5 s
Log file: modest_from-umb_check_default_firewire.false-36-800_rep4.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 5.108 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973447/tmp718f3qk9modest_from-umb_check_default_firewire.false-36-800_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973447/tmp718f3qk9modest_from-umb_check_default_firewire.false-36-800_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 65 MB
Analysis results for UMB
+ State space (UMB)
States: 212268
Choices: 478756
Branches: 481792
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property deadline
Probability: 0.939453125
Bounds: [0.939453125, 1]
CDF: { (0, 0), ..., (202, 0), (203, 0.5), ..., (323, 0.5), (324, 0.625), ..., (405, 0.625), (406, 0.75), ..., (444, 0.75), (445, 0.78125), ..., (526, 0.78125), (527, 0.84375), ..., (565, 0.84375), (566, 0.8515625), ..., (608, 0.8515625), (609, 0.8828125), ..., (647, 0.8828125), (648, 0.90625), ..., (686, 0.90625), (687, 0.908203125), ..., (729, 0.908203125), (730, 0.931640625), ..., (768, 0.931640625), (769, 0.939453125), ..., (800, 0.939453125) }
Time: 5.0 s
+ Value iteration
Final error: 0
Iterations: 2374
Time: 5.0 s
Log file: modest_from-umb_check_default_firewire.false-36-800_rep5.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 4.731 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973534/tmpwr4xd75fmodest_from-umb_check_default_firewire.false-36-800_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973534/tmpwr4xd75fmodest_from-umb_check_default_firewire.false-36-800_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 64 MB
Analysis results for UMB
+ State space (UMB)
States: 212268
Choices: 478756
Branches: 481792
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property deadline
Probability: 0.939453125
Bounds: [0.939453125, 1]
CDF: { (0, 0), ..., (202, 0), (203, 0.5), ..., (323, 0.5), (324, 0.625), ..., (405, 0.625), (406, 0.75), ..., (444, 0.75), (445, 0.78125), ..., (526, 0.78125), (527, 0.84375), ..., (565, 0.84375), (566, 0.8515625), ..., (608, 0.8515625), (609, 0.8828125), ..., (647, 0.8828125), (648, 0.90625), ..., (686, 0.90625), (687, 0.908203125), ..., (729, 0.908203125), (730, 0.931640625), ..., (768, 0.931640625), (769, 0.939453125), ..., (800, 0.939453125) }
Time: 4.6 s
+ Value iteration
Final error: 0
Iterations: 2374
Time: 4.6 s