Log files for model haddad-monmege.100-0.7 and tool configuration modest_from-jani_to-umb-gz_default
[1877.0, 1874.0, 1880.0, 1879.0, 1889.0]
Log file: modest_from-jani_to-umb-gz_default_haddad-monmege.100-0.7_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: 0.223 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956216/tmp0rny0w7lmodest_from-jani_to-umb-gz_default_haddad-monmege.100-0.7_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4956216/tmplh_u8riemodest_from-jani_to-umb-gz_default_haddad-monmege.100-0.7_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4956216/tmplh_u8riemodest_from-jani_to-umb-gz_default_haddad-monmege.100-0.7_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 2 bytes per state.
model.jani: info: Explored 201 states.
Peak memory usage: 47 MB
Analysis results for model.jani
+ State space exploration
State size: 2 bytes
States: 201
Choices: 201
Branches: 400
Rate: 7731 states/s
Peak memory: 15.33 MB
Final size: 0.01 MB
Size on disk: 0.00 MB
Time (exploration): 0.0 s
Time (merging): 0.0 s
+ UMB export
Time: 0.0 s
File size: 0.00 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 1852 bytes
umbgz.properties.txt: Size of output file is 25 bytes
Log file: modest_from-jani_to-umb-gz_default_haddad-monmege.100-0.7_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: 0.337 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955210/tmptkxk1a4vmodest_from-jani_to-umb-gz_default_haddad-monmege.100-0.7_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4955210/tmp1rcpa4ypmodest_from-jani_to-umb-gz_default_haddad-monmege.100-0.7_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4955210/tmp1rcpa4ypmodest_from-jani_to-umb-gz_default_haddad-monmege.100-0.7_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 2 bytes per state.
model.jani: info: Explored 201 states.
Peak memory usage: 47 MB
Analysis results for model.jani
+ State space exploration
State size: 2 bytes
States: 201
Choices: 201
Branches: 400
Rate: 6931 states/s
Peak memory: 15.33 MB
Final size: 0.01 MB
Size on disk: 0.00 MB
Time (exploration): 0.0 s
Time (merging): 0.0 s
+ UMB export
Time: 0.0 s
File size: 0.00 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 1849 bytes
umbgz.properties.txt: Size of output file is 25 bytes
Log file: modest_from-jani_to-umb-gz_default_haddad-monmege.100-0.7_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: 0.226 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956059/tmpbkvdt59_modest_from-jani_to-umb-gz_default_haddad-monmege.100-0.7_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4956059/tmplr0h0p5fmodest_from-jani_to-umb-gz_default_haddad-monmege.100-0.7_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4956059/tmplr0h0p5fmodest_from-jani_to-umb-gz_default_haddad-monmege.100-0.7_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 2 bytes per state.
model.jani: info: Explored 201 states.
Peak memory usage: 47 MB
Analysis results for model.jani
+ State space exploration
State size: 2 bytes
States: 201
Choices: 201
Branches: 400
Rate: 8375 states/s
Peak memory: 15.33 MB
Final size: 0.01 MB
Size on disk: 0.00 MB
Time (exploration): 0.0 s
Time (merging): 0.0 s
+ UMB export
Time: 0.0 s
File size: 0.00 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 1855 bytes
umbgz.properties.txt: Size of output file is 25 bytes
Log file: modest_from-jani_to-umb-gz_default_haddad-monmege.100-0.7_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: 0.234 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957328/tmpbm9f5eshmodest_from-jani_to-umb-gz_default_haddad-monmege.100-0.7_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957328/tmplrrntl19modest_from-jani_to-umb-gz_default_haddad-monmege.100-0.7_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4957328/tmplrrntl19modest_from-jani_to-umb-gz_default_haddad-monmege.100-0.7_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 2 bytes per state.
model.jani: info: Explored 201 states.
Peak memory usage: 47 MB
Analysis results for model.jani
+ State space exploration
State size: 2 bytes
States: 201
Choices: 201
Branches: 400
Rate: 8040 states/s
Peak memory: 15.33 MB
Final size: 0.01 MB
Size on disk: 0.00 MB
Time (exploration): 0.0 s
Time (merging): 0.0 s
+ UMB export
Time: 0.0 s
File size: 0.00 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 1854 bytes
umbgz.properties.txt: Size of output file is 25 bytes
Log file: modest_from-jani_to-umb-gz_default_haddad-monmege.100-0.7_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: 0.227 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955318/tmpfvparv96modest_from-jani_to-umb-gz_default_haddad-monmege.100-0.7_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4955318/tmphpubr92lmodest_from-jani_to-umb-gz_default_haddad-monmege.100-0.7_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4955318/tmphpubr92lmodest_from-jani_to-umb-gz_default_haddad-monmege.100-0.7_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 2 bytes per state.
model.jani: info: Explored 201 states.
Peak memory usage: 47 MB
Analysis results for model.jani
+ State space exploration
State size: 2 bytes
States: 201
Choices: 201
Branches: 400
Rate: 7731 states/s
Peak memory: 15.32 MB
Final size: 0.01 MB
Size on disk: 0.00 MB
Time (exploration): 0.0 s
Time (merging): 0.0 s
+ UMB export
Time: 0.0 s
File size: 0.00 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 1864 bytes
umbgz.properties.txt: Size of output file is 25 bytes