Log files for model firewire.false-36-800 and tool configuration modest_from-umb_check_default

Parsed values
[5.825, 5.552, 6.898, 5.108, 4.731]
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