Log fms.8_modest_from-jani_import

Log file: modest_from-jani_import_default_fms.8_rep1.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 49.028 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4966577/tmp98owu8wwmodest_from-jani_import_default_fms.8_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is a CTMC model.
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 4459455 states.

Peak memory usage: 1326 MB
Analysis results for model.jani
State space exploration
State size:         24 bytes
States:             4459455
Choices:            4459455
Branches:           38533968
Rate:               97842 states/s
Peak memory:        281.07 MB
Final size:         916.00 MB
Size on disk:       183.97 MB
Time (exploration): 45.6 s
Time (merging):     2.9 s

Log file: modest_from-jani_import_default_fms.8_rep2.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 49.390 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4963272/tmpj32xdxlmmodest_from-jani_import_default_fms.8_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is a CTMC model.
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 4459455 states.

Peak memory usage: 1323 MB
Analysis results for model.jani
State space exploration
State size:         24 bytes
States:             4459455
Choices:            4459455
Branches:           38533968
Rate:               97162 states/s
Peak memory:        281.42 MB
Final size:         916.00 MB
Size on disk:       183.97 MB
Time (exploration): 45.9 s
Time (merging):     2.9 s

Log file: modest_from-jani_import_default_fms.8_rep3.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 55.932 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4967107/tmp7q693ha3modest_from-jani_import_default_fms.8_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is a CTMC model.
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 4459455 states.

Peak memory usage: 1326 MB
Analysis results for model.jani
State space exploration
State size:         24 bytes
States:             4459455
Choices:            4459455
Branches:           38533968
Rate:               85507 states/s
Peak memory:        278.67 MB
Final size:         916.00 MB
Size on disk:       183.97 MB
Time (exploration): 52.2 s
Time (merging):     3.1 s

Log file: modest_from-jani_import_default_fms.8_rep4.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 46.547 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4965834/tmpvs_l8h3imodest_from-jani_import_default_fms.8_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is a CTMC model.
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 4459455 states.

Peak memory usage: 1327 MB
Analysis results for model.jani
State space exploration
State size:         24 bytes
States:             4459455
Choices:            4459455
Branches:           38533968
Rate:               102902 states/s
Peak memory:        268.57 MB
Final size:         916.00 MB
Size on disk:       183.97 MB
Time (exploration): 43.4 s
Time (merging):     2.6 s

Log file: modest_from-jani_import_default_fms.8_rep5.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 46.014 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4965807/tmp0ptxdhgzmodest_from-jani_import_default_fms.8_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is a CTMC model.
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 4459455 states.

Peak memory usage: 1326 MB
Analysis results for model.jani
State space exploration
State size:         24 bytes
States:             4459455
Choices:            4459455
Branches:           38533968
Rate:               104376 states/s
Peak memory:        268.22 MB
Final size:         916.00 MB
Size on disk:       183.97 MB
Time (exploration): 42.7 s
Time (merging):     2.7 s

Log files for model fms.8 and tool configuration modest_from-jani_import_default