Log files for model fms.8 and tool configuration modest_from-jani_to-aut_default

Parsed values
[7.4, 7.6, 7.2, 7.1, 7.3]
Log file: modest_from-jani_to-aut_default_fms.8_rep1.log
Command(s):
../bin/modest mcsta %indir/model.jani --statespace %outdir/model.aut AUT --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 58.578 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957215/tmp63karakvmodest_from-jani_to-aut_default_fms.8_tmp_indir_/model.jani --statespace /w0/tmp/slurm_tq429871.4957215/tmpc4dbdt81modest_from-jani_to-aut_default_fms.8_tmp_outdir_/model.aut AUT --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 4459455 states.
model.jani: info: Exported state space to file "/w0/tmp/slurm_tq429871.4957215/tmpc4dbdt81modest_from-jani_to-aut_default_fms.8_tmp_outdir_/model.aut".

Peak memory usage: 1323 MB
Analysis results for model.jani

+ State space exploration
  State size:         24 bytes
  States:             4459455
  Choices:            4459455
  Branches:           38533968
  Rate:               93696 states/s
  Peak memory:        280.97 MB
  Final size:         916.00 MB
  Size on disk:       183.97 MB
  Time (exploration): 47.6 s
  Time (merging):     2.9 s

+ Export to AUT
  Time:      7.4 s
  File size: 1248.56 MB


############################## Output files ##############################
model.aut:	Size of output file is 1309210445 bytes
Log file: modest_from-jani_to-aut_default_fms.8_rep2.log
Command(s):
../bin/modest mcsta %indir/model.jani --statespace %outdir/model.aut AUT --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 59.087 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956092/tmps72bvem0modest_from-jani_to-aut_default_fms.8_tmp_indir_/model.jani --statespace /w0/tmp/slurm_tq429871.4956092/tmp3lppy66fmodest_from-jani_to-aut_default_fms.8_tmp_outdir_/model.aut AUT --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 4459455 states.
model.jani: info: Exported state space to file "/w0/tmp/slurm_tq429871.4956092/tmp3lppy66fmodest_from-jani_to-aut_default_fms.8_tmp_outdir_/model.aut".

Peak memory usage: 1326 MB
Analysis results for model.jani

+ State space exploration
  State size:         24 bytes
  States:             4459455
  Choices:            4459455
  Branches:           38533968
  Rate:               92681 states/s
  Peak memory:        280.99 MB
  Final size:         916.00 MB
  Size on disk:       183.97 MB
  Time (exploration): 48.1 s
  Time (merging):     3.0 s

+ Export to AUT
  Time:      7.6 s
  File size: 1248.56 MB


############################## Output files ##############################
model.aut:	Size of output file is 1309210445 bytes
Log file: modest_from-jani_to-aut_default_fms.8_rep3.log
Command(s):
../bin/modest mcsta %indir/model.jani --statespace %outdir/model.aut AUT --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 56.642 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4954873/tmp213sxrhtmodest_from-jani_to-aut_default_fms.8_tmp_indir_/model.jani --statespace /w0/tmp/slurm_tq429871.4954873/tmprxe_diidmodest_from-jani_to-aut_default_fms.8_tmp_outdir_/model.aut AUT --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 4459455 states.
model.jani: info: Exported state space to file "/w0/tmp/slurm_tq429871.4954873/tmprxe_diidmodest_from-jani_to-aut_default_fms.8_tmp_outdir_/model.aut".

Peak memory usage: 1327 MB
Analysis results for model.jani

+ State space exploration
  State size:         24 bytes
  States:             4459455
  Choices:            4459455
  Branches:           38533968
  Rate:               97317 states/s
  Peak memory:        279.75 MB
  Final size:         916.00 MB
  Size on disk:       183.97 MB
  Time (exploration): 45.8 s
  Time (merging):     2.9 s

+ Export to AUT
  Time:      7.2 s
  File size: 1248.56 MB


############################## Output files ##############################
model.aut:	Size of output file is 1309210445 bytes
Log file: modest_from-jani_to-aut_default_fms.8_rep4.log
Command(s):
../bin/modest mcsta %indir/model.jani --statespace %outdir/model.aut AUT --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 57.051 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956102/tmpsvysffmdmodest_from-jani_to-aut_default_fms.8_tmp_indir_/model.jani --statespace /w0/tmp/slurm_tq429871.4956102/tmpmv0axpi8modest_from-jani_to-aut_default_fms.8_tmp_outdir_/model.aut AUT --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 4459455 states.
model.jani: info: Exported state space to file "/w0/tmp/slurm_tq429871.4956102/tmpmv0axpi8modest_from-jani_to-aut_default_fms.8_tmp_outdir_/model.aut".

Peak memory usage: 1326 MB
Analysis results for model.jani

+ State space exploration
  State size:         24 bytes
  States:             4459455
  Choices:            4459455
  Branches:           38533968
  Rate:               97720 states/s
  Peak memory:        280.35 MB
  Final size:         916.00 MB
  Size on disk:       183.97 MB
  Time (exploration): 45.6 s
  Time (merging):     2.8 s

+ Export to AUT
  Time:      7.1 s
  File size: 1248.56 MB


############################## Output files ##############################
model.aut:	Size of output file is 1309210445 bytes
Log file: modest_from-jani_to-aut_default_fms.8_rep5.log
Command(s):
../bin/modest mcsta %indir/model.jani --statespace %outdir/model.aut AUT --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 57.912 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957023/tmpn12uwz4ymodest_from-jani_to-aut_default_fms.8_tmp_indir_/model.jani --statespace /w0/tmp/slurm_tq429871.4957023/tmp80omnjmhmodest_from-jani_to-aut_default_fms.8_tmp_outdir_/model.aut AUT --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 4459455 states.
model.jani: info: Exported state space to file "/w0/tmp/slurm_tq429871.4957023/tmp80omnjmhmodest_from-jani_to-aut_default_fms.8_tmp_outdir_/model.aut".

Peak memory usage: 1326 MB
Analysis results for model.jani

+ State space exploration
  State size:         24 bytes
  States:             4459455
  Choices:            4459455
  Branches:           38533968
  Rate:               94709 states/s
  Peak memory:        280.61 MB
  Final size:         916.00 MB
  Size on disk:       183.97 MB
  Time (exploration): 47.1 s
  Time (merging):     2.9 s

+ Export to AUT
  Time:      7.3 s
  File size: 1248.56 MB


############################## Output files ##############################
model.aut:	Size of output file is 1309210445 bytes