Log files for model speed-ind.2100 and tool configuration modest_from-umb-xz_import_default
[2.4, 2.4, 2.4, 2.4, 2.4]
Log file: modest_from-umb-xz_import_default_speed-ind.2100_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: 2.567 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4965928/tmphqbgw_21modest_from-umb-xz_import_default_speed-ind.2100_tmp_indir_/modest.model.umb.xz /w0/tmp/slurm_tq429871.4965928/tmphqbgw_21modest_from-umb-xz_import_default_speed-ind.2100_tmp_indir_/modest.umbxz.properties.txt -I UMB --stop-after Exploration -D -Y --exhaustive
Peak memory usage: 189 MB
Analysis results for UMB
State space (UMB)
States: 743424
Choices: 743424
Branches: 9518080
Time (decompress): 2.4 s
Time (validate): 2.4 s
Time (load): 2.4 s
Log file: modest_from-umb-xz_import_default_speed-ind.2100_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: 2.529 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4966873/tmpxuzkz066modest_from-umb-xz_import_default_speed-ind.2100_tmp_indir_/modest.model.umb.xz /w0/tmp/slurm_tq429871.4966873/tmpxuzkz066modest_from-umb-xz_import_default_speed-ind.2100_tmp_indir_/modest.umbxz.properties.txt -I UMB --stop-after Exploration -D -Y --exhaustive
Peak memory usage: 189 MB
Analysis results for UMB
State space (UMB)
States: 743424
Choices: 743424
Branches: 9518080
Time (decompress): 2.4 s
Time (validate): 2.4 s
Time (load): 2.4 s
Log file: modest_from-umb-xz_import_default_speed-ind.2100_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: 2.516 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4964273/tmpc0p57k1umodest_from-umb-xz_import_default_speed-ind.2100_tmp_indir_/modest.model.umb.xz /w0/tmp/slurm_tq429871.4964273/tmpc0p57k1umodest_from-umb-xz_import_default_speed-ind.2100_tmp_indir_/modest.umbxz.properties.txt -I UMB --stop-after Exploration -D -Y --exhaustive
Peak memory usage: 189 MB
Analysis results for UMB
State space (UMB)
States: 743424
Choices: 743424
Branches: 9518080
Time (decompress): 2.3 s
Time (validate): 2.4 s
Time (load): 2.4 s
Log file: modest_from-umb-xz_import_default_speed-ind.2100_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: 2.511 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4963296/tmpc81o17j0modest_from-umb-xz_import_default_speed-ind.2100_tmp_indir_/modest.model.umb.xz /w0/tmp/slurm_tq429871.4963296/tmpc81o17j0modest_from-umb-xz_import_default_speed-ind.2100_tmp_indir_/modest.umbxz.properties.txt -I UMB --stop-after Exploration -D -Y --exhaustive
Peak memory usage: 189 MB
Analysis results for UMB
State space (UMB)
States: 743424
Choices: 743424
Branches: 9518080
Time (decompress): 2.3 s
Time (validate): 2.4 s
Time (load): 2.4 s
Log file: modest_from-umb-xz_import_default_speed-ind.2100_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: 2.530 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4964875/tmpthdl2r_umodest_from-umb-xz_import_default_speed-ind.2100_tmp_indir_/modest.model.umb.xz /w0/tmp/slurm_tq429871.4964875/tmpthdl2r_umodest_from-umb-xz_import_default_speed-ind.2100_tmp_indir_/modest.umbxz.properties.txt -I UMB --stop-after Exploration -D -Y --exhaustive
Peak memory usage: 189 MB
Analysis results for UMB
State space (UMB)
States: 743424
Choices: 743424
Branches: 9518080
Time (decompress): 2.4 s
Time (validate): 2.4 s
Time (load): 2.4 s