Log cluster.64-2000-20_modest_from-jani_import

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

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

Peak memory usage: 119 MB
Analysis results for model.jani
State space exploration
State size:         24 bytes
States:             151060
Choices:            151060
Branches:           733216
Rate:               153516 states/s
Peak memory:        82.99 MB
Final size:         12.34 MB
Size on disk:       3.59 MB
Time (exploration): 1.0 s
Time (merging):     0.1 s

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

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

Peak memory usage: 119 MB
Analysis results for model.jani
State space exploration
State size:         24 bytes
States:             151060
Choices:            151060
Branches:           733216
Rate:               156054 states/s
Peak memory:        83.78 MB
Final size:         12.34 MB
Size on disk:       3.59 MB
Time (exploration): 1.0 s
Time (merging):     0.1 s

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

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

Peak memory usage: 118 MB
Analysis results for model.jani
State space exploration
State size:         24 bytes
States:             151060
Choices:            151060
Branches:           733216
Rate:               187652 states/s
Peak memory:        83.54 MB
Final size:         12.34 MB
Size on disk:       3.59 MB
Time (exploration): 0.8 s
Time (merging):     0.1 s

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

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

Peak memory usage: 119 MB
Analysis results for model.jani
State space exploration
State size:         24 bytes
States:             151060
Choices:            151060
Branches:           733216
Rate:               158843 states/s
Peak memory:        83.22 MB
Final size:         12.34 MB
Size on disk:       3.59 MB
Time (exploration): 1.0 s
Time (merging):     0.1 s

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

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

Peak memory usage: 118 MB
Analysis results for model.jani
State space exploration
State size:         24 bytes
States:             151060
Choices:            151060
Branches:           733216
Rate:               188825 states/s
Peak memory:        83.12 MB
Final size:         12.34 MB
Size on disk:       3.59 MB
Time (exploration): 0.8 s
Time (merging):     0.1 s

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