Log files for model cluster.128-2000-20 and tool configuration modest_from-jani_to-umb-gz_default
[0.5, 0.5, 0.6, 0.5, 0.6]
Log file: modest_from-jani_to-umb-gz_default_cluster.128-2000-20_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: 3.734 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955401/tmpv5i7l9x9modest_from-jani_to-umb-gz_default_cluster.128-2000-20_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4955401/tmpd2mofc2ymodest_from-jani_to-umb-gz_default_cluster.128-2000-20_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4955401/tmpd2mofc2ymodest_from-jani_to-umb-gz_default_cluster.128-2000-20_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --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 597012 states.
Peak memory usage: 192 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 597012
Choices: 597012
Branches: 2908192
Rate: 223852 states/s
Peak memory: 96.43 MB
Final size: 48.93 MB
Size on disk: 14.50 MB
Time (exploration): 2.7 s
Time (merging): 0.3 s
+ UMB export
Time: 0.5 s
File size: 9.77 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 10247304 bytes
umbgz.properties.txt: Size of output file is 34 bytes
Log file: modest_from-jani_to-umb-gz_default_cluster.128-2000-20_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: 3.703 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955537/tmpr15qsz4dmodest_from-jani_to-umb-gz_default_cluster.128-2000-20_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4955537/tmpe3oi__mimodest_from-jani_to-umb-gz_default_cluster.128-2000-20_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4955537/tmpe3oi__mimodest_from-jani_to-umb-gz_default_cluster.128-2000-20_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --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 597012 states.
Peak memory usage: 191 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 597012
Choices: 597012
Branches: 2908192
Rate: 224020 states/s
Peak memory: 96.24 MB
Final size: 48.93 MB
Size on disk: 14.50 MB
Time (exploration): 2.7 s
Time (merging): 0.3 s
+ UMB export
Time: 0.5 s
File size: 9.77 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 10247305 bytes
umbgz.properties.txt: Size of output file is 34 bytes
Log file: modest_from-jani_to-umb-gz_default_cluster.128-2000-20_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: 3.905 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4958224/tmp_81av7w3modest_from-jani_to-umb-gz_default_cluster.128-2000-20_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4958224/tmp8w3irsktmodest_from-jani_to-umb-gz_default_cluster.128-2000-20_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4958224/tmp8w3irsktmodest_from-jani_to-umb-gz_default_cluster.128-2000-20_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --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 597012 states.
Peak memory usage: 191 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 597012
Choices: 597012
Branches: 2908192
Rate: 212233 states/s
Peak memory: 96.28 MB
Final size: 48.93 MB
Size on disk: 14.50 MB
Time (exploration): 2.8 s
Time (merging): 0.3 s
+ UMB export
Time: 0.6 s
File size: 9.77 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 10247306 bytes
umbgz.properties.txt: Size of output file is 34 bytes
Log file: modest_from-jani_to-umb-gz_default_cluster.128-2000-20_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: 3.839 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956633/tmp51g3i8mqmodest_from-jani_to-umb-gz_default_cluster.128-2000-20_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4956633/tmpjr4mx5rsmodest_from-jani_to-umb-gz_default_cluster.128-2000-20_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4956633/tmpjr4mx5rsmodest_from-jani_to-umb-gz_default_cluster.128-2000-20_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --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 597012 states.
Peak memory usage: 191 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 597012
Choices: 597012
Branches: 2908192
Rate: 217332 states/s
Peak memory: 95.64 MB
Final size: 48.93 MB
Size on disk: 14.50 MB
Time (exploration): 2.8 s
Time (merging): 0.3 s
+ UMB export
Time: 0.5 s
File size: 9.77 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 10247446 bytes
umbgz.properties.txt: Size of output file is 34 bytes
Log file: modest_from-jani_to-umb-gz_default_cluster.128-2000-20_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: 3.815 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957496/tmpktg6kwosmodest_from-jani_to-umb-gz_default_cluster.128-2000-20_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957496/tmpjzmvc9shmodest_from-jani_to-umb-gz_default_cluster.128-2000-20_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4957496/tmpjzmvc9shmodest_from-jani_to-umb-gz_default_cluster.128-2000-20_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --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 597012 states.
Peak memory usage: 191 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 597012
Choices: 597012
Branches: 2908192
Rate: 217888 states/s
Peak memory: 96.43 MB
Final size: 48.93 MB
Size on disk: 14.50 MB
Time (exploration): 2.8 s
Time (merging): 0.3 s
+ UMB export
Time: 0.6 s
File size: 9.77 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 10247306 bytes
umbgz.properties.txt: Size of output file is 34 bytes