Log embedded.8-12_modest_from-jani_import

Log file: modest_from-jani_import_default_embedded.8-12_rep1.log

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




model.jani:model: info: model is a CTMC model.
model.jani: info: Need 16 bytes per state.
model.jani: info: Explored 8548 states.

Peak memory usage: 59 MB
Analysis results for model.jani
State space exploration
State size:         16 bytes
States:             8548
Choices:            8548
Branches:           36041
Rate:               70066 states/s
Peak memory:        41.03 MB
Final size:         0.62 MB
Size on disk:       0.14 MB
Time (exploration): 0.1 s
Time (merging):     0.0 s

Log file: modest_from-jani_import_default_embedded.8-12_rep2.log

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




model.jani:model: info: model is a CTMC model.
model.jani: info: Need 16 bytes per state.
model.jani: info: Explored 8548 states.

Peak memory usage: 59 MB
Analysis results for model.jani
State space exploration
State size:         16 bytes
States:             8548
Choices:            8548
Branches:           36041
Rate:               73060 states/s
Peak memory:        41.03 MB
Final size:         0.62 MB
Size on disk:       0.14 MB
Time (exploration): 0.1 s
Time (merging):     0.0 s

Log file: modest_from-jani_import_default_embedded.8-12_rep3.log

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




model.jani:model: info: model is a CTMC model.
model.jani: info: Need 16 bytes per state.
model.jani: info: Explored 8548 states.

Peak memory usage: 59 MB
Analysis results for model.jani
State space exploration
State size:         16 bytes
States:             8548
Choices:            8548
Branches:           36041
Rate:               66781 states/s
Peak memory:        41.03 MB
Final size:         0.62 MB
Size on disk:       0.14 MB
Time (exploration): 0.1 s
Time (merging):     0.0 s

Log file: modest_from-jani_import_default_embedded.8-12_rep4.log

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




model.jani:model: info: model is a CTMC model.
model.jani: info: Need 16 bytes per state.
model.jani: info: Explored 8548 states.

Peak memory usage: 59 MB
Analysis results for model.jani
State space exploration
State size:         16 bytes
States:             8548
Choices:            8548
Branches:           36041
Rate:               70645 states/s
Peak memory:        41.03 MB
Final size:         0.62 MB
Size on disk:       0.14 MB
Time (exploration): 0.1 s
Time (merging):     0.0 s

Log file: modest_from-jani_import_default_embedded.8-12_rep5.log

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




model.jani:model: info: model is a CTMC model.
model.jani: info: Need 16 bytes per state.
model.jani: info: Explored 8548 states.

Peak memory usage: 59 MB
Analysis results for model.jani
State space exploration
State size:         16 bytes
States:             8548
Choices:            8548
Branches:           36041
Rate:               73060 states/s
Peak memory:        41.03 MB
Final size:         0.62 MB
Size on disk:       0.14 MB
Time (exploration): 0.1 s
Time (merging):     0.0 s

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