Log egl.10-2_modest_from-jani_import

Log file: modest_from-jani_import_default_egl.10-2_rep1.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 103.628 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4967082/tmp0ueohi7emodest_from-jani_import_default_egl.10-2_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is a DTMC model.
model.jani: info: Need 88 bytes per state.
model.jani: info: Explored 66060286 states.

Peak memory usage: 8958 MB
Analysis results for model.jani
State space exploration
State size:         88 bytes
States:             66060286
Choices:            66060286
Branches:           67108861
Rate:               674408 states/s
Peak memory:        6842.25 MB
Final size:         1528.00 MB
Size on disk:       255.83 MB
Time (exploration): 98.0 s
Time (merging):     4.6 s

Log file: modest_from-jani_import_default_egl.10-2_rep2.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 115.894 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4964349/tmpxummwl31modest_from-jani_import_default_egl.10-2_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is a DTMC model.
model.jani: info: Need 88 bytes per state.
model.jani: info: Explored 66060286 states.

Peak memory usage: 8958 MB
Analysis results for model.jani
State space exploration
State size:         88 bytes
States:             66060286
Choices:            66060286
Branches:           67108861
Rate:               601982 states/s
Peak memory:        6842.82 MB
Final size:         1528.00 MB
Size on disk:       255.83 MB
Time (exploration): 109.8 s
Time (merging):     5.1 s

Log file: modest_from-jani_import_default_egl.10-2_rep3.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 101.088 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4961999/tmpos3yzqmsmodest_from-jani_import_default_egl.10-2_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is a DTMC model.
model.jani: info: Need 88 bytes per state.
model.jani: info: Explored 66060286 states.

Peak memory usage: 8957 MB
Analysis results for model.jani
State space exploration
State size:         88 bytes
States:             66060286
Choices:            66060286
Branches:           67108861
Rate:               692601 states/s
Peak memory:        6842.17 MB
Final size:         1528.00 MB
Size on disk:       255.83 MB
Time (exploration): 95.4 s
Time (merging):     4.6 s

Log file: modest_from-jani_import_default_egl.10-2_rep4.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 121.064 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4967121/tmpzcmizws0modest_from-jani_import_default_egl.10-2_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is a DTMC model.
model.jani: info: Need 88 bytes per state.
model.jani: info: Explored 66060286 states.

Peak memory usage: 8956 MB
Analysis results for model.jani
State space exploration
State size:         88 bytes
States:             66060286
Choices:            66060286
Branches:           67108861
Rate:               574857 states/s
Peak memory:        6842.27 MB
Final size:         1528.00 MB
Size on disk:       255.83 MB
Time (exploration): 114.9 s
Time (merging):     5.0 s

Log file: modest_from-jani_import_default_egl.10-2_rep5.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 116.676 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4963287/tmpn6hn5sb5modest_from-jani_import_default_egl.10-2_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is a DTMC model.
model.jani: info: Need 88 bytes per state.
model.jani: info: Explored 66060286 states.

Peak memory usage: 8958 MB
Analysis results for model.jani
State space exploration
State size:         88 bytes
States:             66060286
Choices:            66060286
Branches:           67108861
Rate:               598692 states/s
Peak memory:        6842.79 MB
Final size:         1528.00 MB
Size on disk:       255.83 MB
Time (exploration): 110.4 s
Time (merging):     5.2 s

Log files for model egl.10-2 and tool configuration modest_from-jani_import_default