Log cluster.128-2000-20_modest_from-jani_import

Log file: modest_from-jani_import_default_cluster.128-2000-20_rep1.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 2.761 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4962939/tmpkv6hfk6fmodest_from-jani_import_default_cluster.128-2000-20_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 597012 states.

Peak memory usage: 190 MB
Analysis results for model.jani
State space exploration
State size:         24 bytes
States:             597012
Choices:            597012
Branches:           2908192
Rate:               258559 states/s
Peak memory:        96.23 MB
Final size:         48.93 MB
Size on disk:       14.50 MB
Time (exploration): 2.3 s
Time (merging):     0.3 s

Log file: modest_from-jani_import_default_cluster.128-2000-20_rep2.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 3.114 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4966405/tmpdrxwiznemodest_from-jani_import_default_cluster.128-2000-20_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 597012 states.

Peak memory usage: 189 MB
Analysis results for model.jani
State space exploration
State size:         24 bytes
States:             597012
Choices:            597012
Branches:           2908192
Rate:               228916 states/s
Peak memory:        96.63 MB
Final size:         48.93 MB
Size on disk:       14.50 MB
Time (exploration): 2.6 s
Time (merging):     0.3 s

Log file: modest_from-jani_import_default_cluster.128-2000-20_rep3.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 3.156 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4965121/tmpb5jy0syymodest_from-jani_import_default_cluster.128-2000-20_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 597012 states.

Peak memory usage: 189 MB
Analysis results for model.jani
State space exploration
State size:         24 bytes
States:             597012
Choices:            597012
Branches:           2908192
Rate:               224104 states/s
Peak memory:        96.83 MB
Final size:         48.93 MB
Size on disk:       14.50 MB
Time (exploration): 2.7 s
Time (merging):     0.3 s

Log file: modest_from-jani_import_default_cluster.128-2000-20_rep4.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 3.128 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4965518/tmpliu1kb1pmodest_from-jani_import_default_cluster.128-2000-20_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 597012 states.

Peak memory usage: 188 MB
Analysis results for model.jani
State space exploration
State size:         24 bytes
States:             597012
Choices:            597012
Branches:           2908192
Rate:               226227 states/s
Peak memory:        96.24 MB
Final size:         48.93 MB
Size on disk:       14.50 MB
Time (exploration): 2.7 s
Time (merging):     0.3 s

Log file: modest_from-jani_import_default_cluster.128-2000-20_rep5.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 2.726 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4962874/tmpa8_yuk57modest_from-jani_import_default_cluster.128-2000-20_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 597012 states.

Peak memory usage: 189 MB
Analysis results for model.jani
State space exploration
State size:         24 bytes
States:             597012
Choices:            597012
Branches:           2908192
Rate:               263931 states/s
Peak memory:        95.16 MB
Final size:         48.93 MB
Size on disk:       14.50 MB
Time (exploration): 2.3 s
Time (merging):     0.2 s

Log files for model cluster.128-2000-20 and tool configuration modest_from-jani_import_default