Log files for model kanban.5 and tool configuration modest_from-jani_import_default
[25.6, 26.5, 22.7, 26.1, 25.8]
Log file: modest_from-jani_import_default_kanban.5_rep1.log
Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration -D -Y --exhaustive
Wallclock time: 25.994 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4962784/tmpbbyuo20tmodest_from-jani_import_default_kanban.5_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 2546432 states.
Peak memory usage: 853 MB
Analysis results for model.jani
State space exploration
State size: 24 bytes
States: 2546432
Choices: 2546432
Branches: 24460016
Rate: 106283 states/s
Peak memory: 190.30 MB
Final size: 579.27 MB
Size on disk: 108.15 MB
Time (exploration): 24.0 s
Time (merging): 1.6 s
Log file: modest_from-jani_import_default_kanban.5_rep2.log
Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration -D -Y --exhaustive
Wallclock time: 26.934 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4962589/tmp5xzq0cjzmodest_from-jani_import_default_kanban.5_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 2546432 states.
Peak memory usage: 854 MB
Analysis results for model.jani
State space exploration
State size: 24 bytes
States: 2546432
Choices: 2546432
Branches: 24460016
Rate: 102774 states/s
Peak memory: 199.60 MB
Final size: 579.27 MB
Size on disk: 108.15 MB
Time (exploration): 24.8 s
Time (merging): 1.7 s
Log file: modest_from-jani_import_default_kanban.5_rep3.log
Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration -D -Y --exhaustive
Wallclock time: 23.154 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4962124/tmppwe4wqq8modest_from-jani_import_default_kanban.5_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 2546432 states.
Peak memory usage: 854 MB
Analysis results for model.jani
State space exploration
State size: 24 bytes
States: 2546432
Choices: 2546432
Branches: 24460016
Rate: 119500 states/s
Peak memory: 199.19 MB
Final size: 579.27 MB
Size on disk: 108.15 MB
Time (exploration): 21.3 s
Time (merging): 1.4 s
Log file: modest_from-jani_import_default_kanban.5_rep4.log
Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration -D -Y --exhaustive
Wallclock time: 26.607 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4962807/tmpnqkrykqkmodest_from-jani_import_default_kanban.5_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 2546432 states.
Peak memory usage: 854 MB
Analysis results for model.jani
State space exploration
State size: 24 bytes
States: 2546432
Choices: 2546432
Branches: 24460016
Rate: 103877 states/s
Peak memory: 199.23 MB
Final size: 579.27 MB
Size on disk: 108.15 MB
Time (exploration): 24.5 s
Time (merging): 1.6 s
Log file: modest_from-jani_import_default_kanban.5_rep5.log
Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration -D -Y --exhaustive
Wallclock time: 26.267 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4965919/tmp1snt3cl7modest_from-jani_import_default_kanban.5_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 2546432 states.
Peak memory usage: 854 MB
Analysis results for model.jani
State space exploration
State size: 24 bytes
States: 2546432
Choices: 2546432
Branches: 24460016
Rate: 105259 states/s
Peak memory: 191.93 MB
Final size: 579.27 MB
Size on disk: 108.15 MB
Time (exploration): 24.2 s
Time (merging): 1.6 s