Log files for model csma.4-2 and tool configuration modest_from-umb-xz_import_default
[0.2, 0.2, 0.2, 0.2, 0.2]
Log file: modest_from-umb-xz_import_default_csma.4-2_rep1.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb.xz %indir/modest.umbxz.properties.txt -I UMB --stop-after Exploration -D -Y --exhaustive
Wallclock time: 0.335 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4964168/tmphczuofq7modest_from-umb-xz_import_default_csma.4-2_tmp_indir_/modest.model.umb.xz /w0/tmp/slurm_tq429871.4964168/tmphczuofq7modest_from-umb-xz_import_default_csma.4-2_tmp_indir_/modest.umbxz.properties.txt -I UMB --stop-after Exploration -D -Y --exhaustive
Peak memory usage: 65 MB
Analysis results for UMB
State space (UMB)
States: 761962
Choices: 825504
Branches: 1327068
Time (decompress): 0.2 s
Time (validate): 0.2 s
Time (load): 0.2 s
Log file: modest_from-umb-xz_import_default_csma.4-2_rep2.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb.xz %indir/modest.umbxz.properties.txt -I UMB --stop-after Exploration -D -Y --exhaustive
Wallclock time: 0.289 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4961715/tmpqbwntj90modest_from-umb-xz_import_default_csma.4-2_tmp_indir_/modest.model.umb.xz /w0/tmp/slurm_tq429871.4961715/tmpqbwntj90modest_from-umb-xz_import_default_csma.4-2_tmp_indir_/modest.umbxz.properties.txt -I UMB --stop-after Exploration -D -Y --exhaustive
Peak memory usage: 65 MB
Analysis results for UMB
State space (UMB)
States: 761962
Choices: 825504
Branches: 1327068
Time (decompress): 0.2 s
Time (validate): 0.2 s
Time (load): 0.2 s
Log file: modest_from-umb-xz_import_default_csma.4-2_rep3.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb.xz %indir/modest.umbxz.properties.txt -I UMB --stop-after Exploration -D -Y --exhaustive
Wallclock time: 0.344 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4963080/tmp_28u2xwumodest_from-umb-xz_import_default_csma.4-2_tmp_indir_/modest.model.umb.xz /w0/tmp/slurm_tq429871.4963080/tmp_28u2xwumodest_from-umb-xz_import_default_csma.4-2_tmp_indir_/modest.umbxz.properties.txt -I UMB --stop-after Exploration -D -Y --exhaustive
Peak memory usage: 65 MB
Analysis results for UMB
State space (UMB)
States: 761962
Choices: 825504
Branches: 1327068
Time (decompress): 0.2 s
Time (validate): 0.2 s
Time (load): 0.2 s
Log file: modest_from-umb-xz_import_default_csma.4-2_rep4.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb.xz %indir/modest.umbxz.properties.txt -I UMB --stop-after Exploration -D -Y --exhaustive
Wallclock time: 0.333 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4964108/tmpezy402p1modest_from-umb-xz_import_default_csma.4-2_tmp_indir_/modest.model.umb.xz /w0/tmp/slurm_tq429871.4964108/tmpezy402p1modest_from-umb-xz_import_default_csma.4-2_tmp_indir_/modest.umbxz.properties.txt -I UMB --stop-after Exploration -D -Y --exhaustive
Peak memory usage: 65 MB
Analysis results for UMB
State space (UMB)
States: 761962
Choices: 825504
Branches: 1327068
Time (decompress): 0.2 s
Time (validate): 0.2 s
Time (load): 0.2 s
Log file: modest_from-umb-xz_import_default_csma.4-2_rep5.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb.xz %indir/modest.umbxz.properties.txt -I UMB --stop-after Exploration -D -Y --exhaustive
Wallclock time: 0.296 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4967104/tmpu05js9aamodest_from-umb-xz_import_default_csma.4-2_tmp_indir_/modest.model.umb.xz /w0/tmp/slurm_tq429871.4967104/tmpu05js9aamodest_from-umb-xz_import_default_csma.4-2_tmp_indir_/modest.umbxz.properties.txt -I UMB --stop-after Exploration -D -Y --exhaustive
Peak memory usage: 65 MB
Analysis results for UMB
State space (UMB)
States: 761962
Choices: 825504
Branches: 1327068
Time (decompress): 0.2 s
Time (validate): 0.2 s
Time (load): 0.2 s