Log files for model haddad-monmege.100-0.7 and tool configuration modest_from-jani_to-umb_default
[0.0, 0.0, 0.0, 0.0, 0.0]
Log file: modest_from-jani_to-umb_default_haddad-monmege.100-0.7_rep1.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb %outdir/umb.properties.txt --stop-after Exploration -D -Y --exhaustive
Wallclock time: 0.220 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955697/tmpnvq49rggmodest_from-jani_to-umb_default_haddad-monmege.100-0.7_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4955697/tmp5y4hhi0nmodest_from-jani_to-umb_default_haddad-monmege.100-0.7_tmp_outdir_/model.umb /w0/tmp/slurm_tq429871.4955697/tmp5y4hhi0nmodest_from-jani_to-umb_default_haddad-monmege.100-0.7_tmp_outdir_/umb.properties.txt --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.02 MB
Compression: None
############################## Output files ##############################
model.umb: Size of output file is 21504 bytes
umb.properties.txt: Size of output file is 25 bytes
Log file: modest_from-jani_to-umb_default_haddad-monmege.100-0.7_rep2.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb %outdir/umb.properties.txt --stop-after Exploration -D -Y --exhaustive
Wallclock time: 0.681 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955980/tmpw4k0rlqwmodest_from-jani_to-umb_default_haddad-monmege.100-0.7_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4955980/tmp8xwfgtuqmodest_from-jani_to-umb_default_haddad-monmege.100-0.7_tmp_outdir_/model.umb /w0/tmp/slurm_tq429871.4955980/tmp8xwfgtuqmodest_from-jani_to-umb_default_haddad-monmege.100-0.7_tmp_outdir_/umb.properties.txt --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: 4188 states/s
Peak memory: 15.33 MB
Final size: 0.01 MB
Size on disk: 0.00 MB
Time (exploration): 0.1 s
Time (merging): 0.0 s
+ UMB export
Time: 0.0 s
File size: 0.02 MB
Compression: None
############################## Output files ##############################
model.umb: Size of output file is 21504 bytes
umb.properties.txt: Size of output file is 25 bytes
Log file: modest_from-jani_to-umb_default_haddad-monmege.100-0.7_rep3.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb %outdir/umb.properties.txt --stop-after Exploration -D -Y --exhaustive
Wallclock time: 0.358 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955055/tmpkxkz5_66modest_from-jani_to-umb_default_haddad-monmege.100-0.7_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4955055/tmp9i2rk5s3modest_from-jani_to-umb_default_haddad-monmege.100-0.7_tmp_outdir_/model.umb /w0/tmp/slurm_tq429871.4955055/tmp9i2rk5s3modest_from-jani_to-umb_default_haddad-monmege.100-0.7_tmp_outdir_/umb.properties.txt --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: 7444 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.02 MB
Compression: None
############################## Output files ##############################
model.umb: Size of output file is 21504 bytes
umb.properties.txt: Size of output file is 25 bytes
Log file: modest_from-jani_to-umb_default_haddad-monmege.100-0.7_rep4.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb %outdir/umb.properties.txt --stop-after Exploration -D -Y --exhaustive
Wallclock time: 0.233 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956498/tmpu9bziyocmodest_from-jani_to-umb_default_haddad-monmege.100-0.7_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4956498/tmpovquhy3omodest_from-jani_to-umb_default_haddad-monmege.100-0.7_tmp_outdir_/model.umb /w0/tmp/slurm_tq429871.4956498/tmpovquhy3omodest_from-jani_to-umb_default_haddad-monmege.100-0.7_tmp_outdir_/umb.properties.txt --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.02 MB
Compression: None
############################## Output files ##############################
model.umb: Size of output file is 21504 bytes
umb.properties.txt: Size of output file is 25 bytes
Log file: modest_from-jani_to-umb_default_haddad-monmege.100-0.7_rep5.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb %outdir/umb.properties.txt --stop-after Exploration -D -Y --exhaustive
Wallclock time: 0.246 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956939/tmpcl730zeimodest_from-jani_to-umb_default_haddad-monmege.100-0.7_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4956939/tmp49sab6apmodest_from-jani_to-umb_default_haddad-monmege.100-0.7_tmp_outdir_/model.umb /w0/tmp/slurm_tq429871.4956939/tmp49sab6apmodest_from-jani_to-umb_default_haddad-monmege.100-0.7_tmp_outdir_/umb.properties.txt --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.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.02 MB
Compression: None
############################## Output files ##############################
model.umb: Size of output file is 21504 bytes
umb.properties.txt: Size of output file is 25 bytes