Log files for model cluster.128-2000-20 and tool configuration modest_from-jani_to-umb-xz_default
[13.9, 14.3, 12.9, 13.0, 14.4]
Log file: modest_from-jani_to-umb-xz_default_cluster.128-2000-20_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: 17.407 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955344/tmpoz7o3v68modest_from-jani_to-umb-xz_default_cluster.128-2000-20_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4955344/tmpd60bj93jmodest_from-jani_to-umb-xz_default_cluster.128-2000-20_tmp_outdir_/model.umb.xz /w0/tmp/slurm_tq429871.4955344/tmpd60bj93jmodest_from-jani_to-umb-xz_default_cluster.128-2000-20_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 597012 states.
Peak memory usage: 284 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 597012
Choices: 597012
Branches: 2908192
Rate: 219490 states/s
Peak memory: 95.77 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: 13.9 s
File size: 4.73 MB
Compression: XZ (Optimal)
############################## Output files ##############################
model.umb.xz: Size of output file is 4963536 bytes
umbxz.properties.txt: Size of output file is 34 bytes
Log file: modest_from-jani_to-umb-xz_default_cluster.128-2000-20_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: 17.533 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957360/tmp_q37i96bmodest_from-jani_to-umb-xz_default_cluster.128-2000-20_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957360/tmpi_aa8mfzmodest_from-jani_to-umb-xz_default_cluster.128-2000-20_tmp_outdir_/model.umb.xz /w0/tmp/slurm_tq429871.4957360/tmpi_aa8mfzmodest_from-jani_to-umb-xz_default_cluster.128-2000-20_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 597012 states.
Peak memory usage: 284 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 597012
Choices: 597012
Branches: 2908192
Rate: 218846 states/s
Peak memory: 96.60 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: 14.3 s
File size: 4.73 MB
Compression: XZ (Optimal)
############################## Output files ##############################
model.umb.xz: Size of output file is 4956436 bytes
umbxz.properties.txt: Size of output file is 34 bytes
Log file: modest_from-jani_to-umb-xz_default_cluster.128-2000-20_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: 16.080 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957587/tmpyk1rixl9modest_from-jani_to-umb-xz_default_cluster.128-2000-20_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957587/tmpaozx1iu2modest_from-jani_to-umb-xz_default_cluster.128-2000-20_tmp_outdir_/model.umb.xz /w0/tmp/slurm_tq429871.4957587/tmpaozx1iu2modest_from-jani_to-umb-xz_default_cluster.128-2000-20_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 597012 states.
Peak memory usage: 285 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 597012
Choices: 597012
Branches: 2908192
Rate: 224104 states/s
Peak memory: 96.56 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: 12.9 s
File size: 4.73 MB
Compression: XZ (Optimal)
############################## Output files ##############################
model.umb.xz: Size of output file is 4961480 bytes
umbxz.properties.txt: Size of output file is 34 bytes
Log file: modest_from-jani_to-umb-xz_default_cluster.128-2000-20_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: 16.097 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956291/tmpsq6p0easmodest_from-jani_to-umb-xz_default_cluster.128-2000-20_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4956291/tmp42rom_iwmodest_from-jani_to-umb-xz_default_cluster.128-2000-20_tmp_outdir_/model.umb.xz /w0/tmp/slurm_tq429871.4956291/tmp42rom_iwmodest_from-jani_to-umb-xz_default_cluster.128-2000-20_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 597012 states.
Peak memory usage: 284 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 597012
Choices: 597012
Branches: 2908192
Rate: 225373 states/s
Peak memory: 96.25 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: 13.0 s
File size: 4.75 MB
Compression: XZ (Optimal)
############################## Output files ##############################
model.umb.xz: Size of output file is 4983016 bytes
umbxz.properties.txt: Size of output file is 34 bytes
Log file: modest_from-jani_to-umb-xz_default_cluster.128-2000-20_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: 17.693 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4954977/tmpguii3ql4modest_from-jani_to-umb-xz_default_cluster.128-2000-20_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4954977/tmp1hs0_62emodest_from-jani_to-umb-xz_default_cluster.128-2000-20_tmp_outdir_/model.umb.xz /w0/tmp/slurm_tq429871.4954977/tmp1hs0_62emodest_from-jani_to-umb-xz_default_cluster.128-2000-20_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 597012 states.
Peak memory usage: 285 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 597012
Choices: 597012
Branches: 2908192
Rate: 222600 states/s
Peak memory: 95.35 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: 14.4 s
File size: 4.76 MB
Compression: XZ (Optimal)
############################## Output files ##############################
model.umb.xz: Size of output file is 4992444 bytes
umbxz.properties.txt: Size of output file is 34 bytes