Log files for model pacman.60 and tool configuration modest_from-umb_check_default

Parsed values
[2.31, 2.581, 2.378, 2.3, 2.394]
Log file: modest_from-umb_check_default_pacman.60_rep1.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt  -D -Y --exhaustive
Wallclock time: 2.310 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973472/tmpexf4wsi0modest_from-umb_check_default_pacman.60_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973472/tmpexf4wsi0modest_from-umb_check_default_pacman.60_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive




Peak memory usage: 1820 MB
Analysis results for UMB

+ State space (UMB)
  States:            38786521
  Choices:           48926255
  Branches:          53648196
  Time (decompress): 0.0 s
  Time (validate):   0.2 s
  Time (load):       0.3 s

+ Property crash
  Probability: 0.5511074970678997
  Bounds:      [0.5511074970678997, 0.5511074970678997]
  Time:        1.3 s

  + Value iteration
    Final error: 0
    Iterations:  2
    Time:        1.2 s
Log file: modest_from-umb_check_default_pacman.60_rep2.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt  -D -Y --exhaustive
Wallclock time: 2.581 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973450/tmpsptsoj8ymodest_from-umb_check_default_pacman.60_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973450/tmpsptsoj8ymodest_from-umb_check_default_pacman.60_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive




Peak memory usage: 1821 MB
Analysis results for UMB

+ State space (UMB)
  States:            38786521
  Choices:           48926255
  Branches:          53648196
  Time (decompress): 0.0 s
  Time (validate):   0.3 s
  Time (load):       0.4 s

+ Property crash
  Probability: 0.5511074970678997
  Bounds:      [0.5511074970678997, 0.5511074970678997]
  Time:        1.5 s

  + Value iteration
    Final error: 0
    Iterations:  2
    Time:        1.4 s
Log file: modest_from-umb_check_default_pacman.60_rep3.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt  -D -Y --exhaustive
Wallclock time: 2.378 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973418/tmpbvnia5tnmodest_from-umb_check_default_pacman.60_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973418/tmpbvnia5tnmodest_from-umb_check_default_pacman.60_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive




Peak memory usage: 1821 MB
Analysis results for UMB

+ State space (UMB)
  States:            38786521
  Choices:           48926255
  Branches:          53648196
  Time (decompress): 0.0 s
  Time (validate):   0.2 s
  Time (load):       0.3 s

+ Property crash
  Probability: 0.5511074970678997
  Bounds:      [0.5511074970678997, 0.5511074970678997]
  Time:        1.4 s

  + Value iteration
    Final error: 0
    Iterations:  2
    Time:        1.2 s
Log file: modest_from-umb_check_default_pacman.60_rep4.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt  -D -Y --exhaustive
Wallclock time: 2.300 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973551/tmpymfmmfjimodest_from-umb_check_default_pacman.60_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973551/tmpymfmmfjimodest_from-umb_check_default_pacman.60_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive




Peak memory usage: 1821 MB
Analysis results for UMB

+ State space (UMB)
  States:            38786521
  Choices:           48926255
  Branches:          53648196
  Time (decompress): 0.0 s
  Time (validate):   0.2 s
  Time (load):       0.3 s

+ Property crash
  Probability: 0.5511074970678997
  Bounds:      [0.5511074970678997, 0.5511074970678997]
  Time:        1.3 s

  + Value iteration
    Final error: 0
    Iterations:  2
    Time:        1.2 s
Log file: modest_from-umb_check_default_pacman.60_rep5.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt  -D -Y --exhaustive
Wallclock time: 2.394 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973554/tmp9ws83srymodest_from-umb_check_default_pacman.60_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973554/tmp9ws83srymodest_from-umb_check_default_pacman.60_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive




Peak memory usage: 1821 MB
Analysis results for UMB

+ State space (UMB)
  States:            38786521
  Choices:           48926255
  Branches:          53648196
  Time (decompress): 0.0 s
  Time (validate):   0.2 s
  Time (load):       0.3 s

+ Property crash
  Probability: 0.5511074970678997
  Bounds:      [0.5511074970678997, 0.5511074970678997]
  Time:        1.4 s

  + Value iteration
    Final error: 0
    Iterations:  2
    Time:        1.3 s