Log haddad-monmege.100-0.7_modest_from-jani_import

Log file: modest_from-jani_import_default_haddad-monmege.100-0.7_rep1.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 0.204 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4962334/tmp2lxi0udkmodest_from-jani_import_default_haddad-monmege.100-0.7_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is a DTMC model.
model.jani: info: Need 2 bytes per state.
model.jani: info: Explored 201 states.

Peak memory usage: 44 MB
Analysis results for model.jani
State space exploration
State size:         2 bytes
States:             201
Choices:            201
Branches:           400
Rate:               8040 states/s
Peak memory:        15.33 MB
Final size:         0.01 MB
Size on disk:       0.00 MB
Time (exploration): 0.0 s
Time (merging):     0.0 s

Log file: modest_from-jani_import_default_haddad-monmege.100-0.7_rep2.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 0.179 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4961785/tmp0zgsashymodest_from-jani_import_default_haddad-monmege.100-0.7_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is a DTMC model.
model.jani: info: Need 2 bytes per state.
model.jani: info: Explored 201 states.

Peak memory usage: 44 MB
Analysis results for model.jani
State space exploration
State size:         2 bytes
States:             201
Choices:            201
Branches:           400
Rate:               9571 states/s
Peak memory:        15.33 MB
Final size:         0.01 MB
Size on disk:       0.00 MB
Time (exploration): 0.0 s
Time (merging):     0.0 s

Log file: modest_from-jani_import_default_haddad-monmege.100-0.7_rep3.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 0.229 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4962451/tmp76nzti9amodest_from-jani_import_default_haddad-monmege.100-0.7_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is a DTMC model.
model.jani: info: Need 2 bytes per state.
model.jani: info: Explored 201 states.

Peak memory usage: 44 MB
Analysis results for model.jani
State space exploration
State size:         2 bytes
States:             201
Choices:            201
Branches:           400
Rate:               6700 states/s
Peak memory:        15.33 MB
Final size:         0.01 MB
Size on disk:       0.00 MB
Time (exploration): 0.0 s
Time (merging):     0.0 s

Log file: modest_from-jani_import_default_haddad-monmege.100-0.7_rep4.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 0.184 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4962152/tmph3f999jwmodest_from-jani_import_default_haddad-monmege.100-0.7_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is a DTMC model.
model.jani: info: Need 2 bytes per state.
model.jani: info: Explored 201 states.

Peak memory usage: 44 MB
Analysis results for model.jani
State space exploration
State size:         2 bytes
States:             201
Choices:            201
Branches:           400
Rate:               9136 states/s
Peak memory:        15.32 MB
Final size:         0.01 MB
Size on disk:       0.00 MB
Time (exploration): 0.0 s
Time (merging):     0.0 s

Log file: modest_from-jani_import_default_haddad-monmege.100-0.7_rep5.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 0.203 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4961372/tmpvebie512modest_from-jani_import_default_haddad-monmege.100-0.7_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is a DTMC model.
model.jani: info: Need 2 bytes per state.
model.jani: info: Explored 201 states.

Peak memory usage: 44 MB
Analysis results for model.jani
State space exploration
State size:         2 bytes
States:             201
Choices:            201
Branches:           400
Rate:               7731 states/s
Peak memory:        15.33 MB
Final size:         0.01 MB
Size on disk:       0.00 MB
Time (exploration): 0.0 s
Time (merging):     0.0 s

Log files for model haddad-monmege.100-0.7 and tool configuration modest_from-jani_import_default