Log files for model fms.8 and tool configuration modest_from-jani_to-umb-xz_default
[45364162.0, 45373794.0, 45361794.0, 45367234.0, 45380754.0]
Log file: modest_from-jani_to-umb-xz_default_fms.8_rep1.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.xz %outdir/umbxz.properties.txt --umb-compress XZ --stop-after Exploration -D -Y --exhaustive
Wallclock time: 264.347 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956429/tmp42zasu52modest_from-jani_to-umb-xz_default_fms.8_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4956429/tmpibe76r17modest_from-jani_to-umb-xz_default_fms.8_tmp_outdir_/model.umb.xz /w0/tmp/slurm_tq429871.4956429/tmpibe76r17modest_from-jani_to-umb-xz_default_fms.8_tmp_outdir_/umbxz.properties.txt --umb-compress XZ --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.
Peak memory usage: 1422 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 4459455
Choices: 4459455
Branches: 38533968
Rate: 96123 states/s
Peak memory: 281.43 MB
Final size: 916.00 MB
Size on disk: 183.97 MB
Time (exploration): 46.4 s
Time (merging): 2.8 s
+ UMB export
Time: 214.8 s
File size: 43.26 MB
Compression: XZ (Optimal)
############################## Output files ##############################
model.umb.xz: Size of output file is 45364132 bytes
umbxz.properties.txt: Size of output file is 30 bytes
Log file: modest_from-jani_to-umb-xz_default_fms.8_rep2.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.xz %outdir/umbxz.properties.txt --umb-compress XZ --stop-after Exploration -D -Y --exhaustive
Wallclock time: 265.654 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956153/tmp_gjze43dmodest_from-jani_to-umb-xz_default_fms.8_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4956153/tmprk6qvrlqmodest_from-jani_to-umb-xz_default_fms.8_tmp_outdir_/model.umb.xz /w0/tmp/slurm_tq429871.4956153/tmprk6qvrlqmodest_from-jani_to-umb-xz_default_fms.8_tmp_outdir_/umbxz.properties.txt --umb-compress XZ --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.
Peak memory usage: 1423 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 4459455
Choices: 4459455
Branches: 38533968
Rate: 94775 states/s
Peak memory: 281.28 MB
Final size: 916.00 MB
Size on disk: 183.97 MB
Time (exploration): 47.1 s
Time (merging): 2.9 s
+ UMB export
Time: 215.4 s
File size: 43.27 MB
Compression: XZ (Optimal)
############################## Output files ##############################
model.umb.xz: Size of output file is 45373764 bytes
umbxz.properties.txt: Size of output file is 30 bytes
Log file: modest_from-jani_to-umb-xz_default_fms.8_rep3.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.xz %outdir/umbxz.properties.txt --umb-compress XZ --stop-after Exploration -D -Y --exhaustive
Wallclock time: 255.263 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956684/tmpkrxezk5emodest_from-jani_to-umb-xz_default_fms.8_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4956684/tmpoz2aymidmodest_from-jani_to-umb-xz_default_fms.8_tmp_outdir_/model.umb.xz /w0/tmp/slurm_tq429871.4956684/tmpoz2aymidmodest_from-jani_to-umb-xz_default_fms.8_tmp_outdir_/umbxz.properties.txt --umb-compress XZ --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.
Peak memory usage: 1422 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 4459455
Choices: 4459455
Branches: 38533968
Rate: 97587 states/s
Peak memory: 281.24 MB
Final size: 916.00 MB
Size on disk: 183.97 MB
Time (exploration): 45.7 s
Time (merging): 2.9 s
+ UMB export
Time: 206.3 s
File size: 43.26 MB
Compression: XZ (Optimal)
############################## Output files ##############################
model.umb.xz: Size of output file is 45361764 bytes
umbxz.properties.txt: Size of output file is 30 bytes
Log file: modest_from-jani_to-umb-xz_default_fms.8_rep4.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.xz %outdir/umbxz.properties.txt --umb-compress XZ --stop-after Exploration -D -Y --exhaustive
Wallclock time: 256.318 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956179/tmpz4cvmahdmodest_from-jani_to-umb-xz_default_fms.8_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4956179/tmpq33klg_3modest_from-jani_to-umb-xz_default_fms.8_tmp_outdir_/model.umb.xz /w0/tmp/slurm_tq429871.4956179/tmpq33klg_3modest_from-jani_to-umb-xz_default_fms.8_tmp_outdir_/umbxz.properties.txt --umb-compress XZ --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.
Peak memory usage: 1421 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 4459455
Choices: 4459455
Branches: 38533968
Rate: 97487 states/s
Peak memory: 281.48 MB
Final size: 916.00 MB
Size on disk: 183.97 MB
Time (exploration): 45.8 s
Time (merging): 3.0 s
+ UMB export
Time: 207.3 s
File size: 43.27 MB
Compression: XZ (Optimal)
############################## Output files ##############################
model.umb.xz: Size of output file is 45367204 bytes
umbxz.properties.txt: Size of output file is 30 bytes
Log file: modest_from-jani_to-umb-xz_default_fms.8_rep5.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.xz %outdir/umbxz.properties.txt --umb-compress XZ --stop-after Exploration -D -Y --exhaustive
Wallclock time: 254.857 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956426/tmpwe5asq13modest_from-jani_to-umb-xz_default_fms.8_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4956426/tmphadq8cbpmodest_from-jani_to-umb-xz_default_fms.8_tmp_outdir_/model.umb.xz /w0/tmp/slurm_tq429871.4956426/tmphadq8cbpmodest_from-jani_to-umb-xz_default_fms.8_tmp_outdir_/umbxz.properties.txt --umb-compress XZ --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.
Peak memory usage: 1422 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 4459455
Choices: 4459455
Branches: 38533968
Rate: 97652 states/s
Peak memory: 281.44 MB
Final size: 916.00 MB
Size on disk: 183.97 MB
Time (exploration): 45.7 s
Time (merging): 2.8 s
+ UMB export
Time: 206.1 s
File size: 43.28 MB
Compression: XZ (Optimal)
############################## Output files ##############################
model.umb.xz: Size of output file is 45380724 bytes
umbxz.properties.txt: Size of output file is 30 bytes