Log files for model egl.10-2 and tool configuration modest_from-jani_to-umb-gz_default
[32.1, 32.7, 32.7, 32.2, 32.8]
Log file: modest_from-jani_to-umb-gz_default_egl.10-2_rep1.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.gz %outdir/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive
Wallclock time: 149.796 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957787/tmpy04saukamodest_from-jani_to-umb-gz_default_egl.10-2_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957787/tmp3tuj1pylmodest_from-jani_to-umb-gz_default_egl.10-2_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4957787/tmp3tuj1pylmodest_from-jani_to-umb-gz_default_egl.10-2_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --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: 8967 MB
Analysis results for model.jani
+ State space exploration
State size: 88 bytes
States: 66060286
Choices: 66060286
Branches: 67108861
Rate: 589408 states/s
Peak memory: 6842.64 MB
Final size: 1528.00 MB
Size on disk: 255.83 MB
Time (exploration): 112.1 s
Time (merging): 5.1 s
+ UMB export
Time: 32.1 s
File size: 194.86 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 204320880 bytes
umbgz.properties.txt: Size of output file is 26 bytes
Log file: modest_from-jani_to-umb-gz_default_egl.10-2_rep2.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.gz %outdir/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive
Wallclock time: 150.644 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957191/tmpcnf3g992modest_from-jani_to-umb-gz_default_egl.10-2_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957191/tmpeiaum0fimodest_from-jani_to-umb-gz_default_egl.10-2_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4957191/tmpeiaum0fimodest_from-jani_to-umb-gz_default_egl.10-2_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --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: 8967 MB
Analysis results for model.jani
+ State space exploration
State size: 88 bytes
States: 66060286
Choices: 66060286
Branches: 67108861
Rate: 587835 states/s
Peak memory: 6842.77 MB
Final size: 1528.00 MB
Size on disk: 255.83 MB
Time (exploration): 112.4 s
Time (merging): 5.2 s
+ UMB export
Time: 32.7 s
File size: 194.86 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 204320911 bytes
umbgz.properties.txt: Size of output file is 26 bytes
Log file: modest_from-jani_to-umb-gz_default_egl.10-2_rep3.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.gz %outdir/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive
Wallclock time: 150.985 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957279/tmpb_zaon2ymodest_from-jani_to-umb-gz_default_egl.10-2_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957279/tmpl37wxi5cmodest_from-jani_to-umb-gz_default_egl.10-2_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4957279/tmpl37wxi5cmodest_from-jani_to-umb-gz_default_egl.10-2_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --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: 8967 MB
Analysis results for model.jani
+ State space exploration
State size: 88 bytes
States: 66060286
Choices: 66060286
Branches: 67108861
Rate: 588290 states/s
Peak memory: 6842.61 MB
Final size: 1528.00 MB
Size on disk: 255.83 MB
Time (exploration): 112.3 s
Time (merging): 5.1 s
+ UMB export
Time: 32.7 s
File size: 194.86 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 204320908 bytes
umbgz.properties.txt: Size of output file is 26 bytes
Log file: modest_from-jani_to-umb-gz_default_egl.10-2_rep4.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.gz %outdir/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive
Wallclock time: 151.502 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957777/tmp4_7poiy5modest_from-jani_to-umb-gz_default_egl.10-2_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957777/tmpf7y9itremodest_from-jani_to-umb-gz_default_egl.10-2_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4957777/tmpf7y9itremodest_from-jani_to-umb-gz_default_egl.10-2_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --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: 8965 MB
Analysis results for model.jani
+ State space exploration
State size: 88 bytes
States: 66060286
Choices: 66060286
Branches: 67108861
Rate: 580985 states/s
Peak memory: 6842.21 MB
Final size: 1528.00 MB
Size on disk: 255.83 MB
Time (exploration): 113.7 s
Time (merging): 5.2 s
+ UMB export
Time: 32.2 s
File size: 194.86 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 204320913 bytes
umbgz.properties.txt: Size of output file is 26 bytes
Log file: modest_from-jani_to-umb-gz_default_egl.10-2_rep5.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.gz %outdir/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive
Wallclock time: 150.394 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956654/tmpdc5mph3jmodest_from-jani_to-umb-gz_default_egl.10-2_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4956654/tmpqjzme6famodest_from-jani_to-umb-gz_default_egl.10-2_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4956654/tmpqjzme6famodest_from-jani_to-umb-gz_default_egl.10-2_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --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: 8966 MB
Analysis results for model.jani
+ State space exploration
State size: 88 bytes
States: 66060286
Choices: 66060286
Branches: 67108861
Rate: 590077 states/s
Peak memory: 6843.84 MB
Final size: 1528.00 MB
Size on disk: 255.83 MB
Time (exploration): 112.0 s
Time (merging): 5.2 s
+ UMB export
Time: 32.8 s
File size: 194.86 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 204320881 bytes
umbgz.properties.txt: Size of output file is 26 bytes