Log files for model csma.4-2 and tool configuration modest_from-jani_to-umb-xz_default
[1451398.0, 1509382.0, 1455786.0, 1510166.0, 1497310.0]
Log file: modest_from-jani_to-umb-xz_default_csma.4-2_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: 8.649 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955093/tmpnq2clxw8modest_from-jani_to-umb-xz_default_csma.4-2_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4955093/tmp9t60twuxmodest_from-jani_to-umb-xz_default_csma.4-2_tmp_outdir_/model.umb.xz /w0/tmp/slurm_tq429871.4955093/tmp9t60twuxmodest_from-jani_to-umb-xz_default_csma.4-2_tmp_outdir_/umbxz.properties.txt --umb-compress XZ --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is an MDP model.
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 761962 states.
Peak memory usage: 267 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 761962
Choices: 825504
Branches: 1327068
Rate: 414110 states/s
Peak memory: 76.27 MB
Final size: 26.55 MB
Size on disk: 4.37 MB
Time (exploration): 1.9 s
Time (merging): 0.1 s
+ UMB export
Time: 6.4 s
File size: 1.38 MB
Compression: XZ (Optimal)
############################## Output files ##############################
model.umb.xz: Size of output file is 1451360 bytes
umbxz.properties.txt: Size of output file is 38 bytes
Log file: modest_from-jani_to-umb-xz_default_csma.4-2_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: 9.213 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956775/tmprvynnq35modest_from-jani_to-umb-xz_default_csma.4-2_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4956775/tmp8fs2hfwgmodest_from-jani_to-umb-xz_default_csma.4-2_tmp_outdir_/model.umb.xz /w0/tmp/slurm_tq429871.4956775/tmp8fs2hfwgmodest_from-jani_to-umb-xz_default_csma.4-2_tmp_outdir_/umbxz.properties.txt --umb-compress XZ --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is an MDP model.
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 761962 states.
Peak memory usage: 265 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 761962
Choices: 825504
Branches: 1327068
Rate: 394186 states/s
Peak memory: 76.27 MB
Final size: 26.55 MB
Size on disk: 4.37 MB
Time (exploration): 2.0 s
Time (merging): 0.1 s
+ UMB export
Time: 6.9 s
File size: 1.44 MB
Compression: XZ (Optimal)
############################## Output files ##############################
model.umb.xz: Size of output file is 1509344 bytes
umbxz.properties.txt: Size of output file is 38 bytes
Log file: modest_from-jani_to-umb-xz_default_csma.4-2_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: 9.172 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956959/tmpiesxt6z_modest_from-jani_to-umb-xz_default_csma.4-2_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4956959/tmp1r2icbv1modest_from-jani_to-umb-xz_default_csma.4-2_tmp_outdir_/model.umb.xz /w0/tmp/slurm_tq429871.4956959/tmp1r2icbv1modest_from-jani_to-umb-xz_default_csma.4-2_tmp_outdir_/umbxz.properties.txt --umb-compress XZ --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is an MDP model.
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 761962 states.
Peak memory usage: 265 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 761962
Choices: 825504
Branches: 1327068
Rate: 410540 states/s
Peak memory: 76.27 MB
Final size: 26.55 MB
Size on disk: 4.37 MB
Time (exploration): 1.9 s
Time (merging): 0.2 s
+ UMB export
Time: 6.9 s
File size: 1.39 MB
Compression: XZ (Optimal)
############################## Output files ##############################
model.umb.xz: Size of output file is 1455748 bytes
umbxz.properties.txt: Size of output file is 38 bytes
Log file: modest_from-jani_to-umb-xz_default_csma.4-2_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: 8.406 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4958453/tmpkh1f_u8hmodest_from-jani_to-umb-xz_default_csma.4-2_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4958453/tmpjv0whyd1modest_from-jani_to-umb-xz_default_csma.4-2_tmp_outdir_/model.umb.xz /w0/tmp/slurm_tq429871.4958453/tmpjv0whyd1modest_from-jani_to-umb-xz_default_csma.4-2_tmp_outdir_/umbxz.properties.txt --umb-compress XZ --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is an MDP model.
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 761962 states.
Peak memory usage: 265 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 761962
Choices: 825504
Branches: 1327068
Rate: 429516 states/s
Peak memory: 76.27 MB
Final size: 26.55 MB
Size on disk: 4.37 MB
Time (exploration): 1.8 s
Time (merging): 0.1 s
+ UMB export
Time: 6.2 s
File size: 1.44 MB
Compression: XZ (Optimal)
############################## Output files ##############################
model.umb.xz: Size of output file is 1510128 bytes
umbxz.properties.txt: Size of output file is 38 bytes
Log file: modest_from-jani_to-umb-xz_default_csma.4-2_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: 8.389 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956642/tmpoa79yjgbmodest_from-jani_to-umb-xz_default_csma.4-2_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4956642/tmp1u0pvcqvmodest_from-jani_to-umb-xz_default_csma.4-2_tmp_outdir_/model.umb.xz /w0/tmp/slurm_tq429871.4956642/tmp1u0pvcqvmodest_from-jani_to-umb-xz_default_csma.4-2_tmp_outdir_/umbxz.properties.txt --umb-compress XZ --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is an MDP model.
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 761962 states.
Peak memory usage: 265 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 761962
Choices: 825504
Branches: 1327068
Rate: 424019 states/s
Peak memory: 76.27 MB
Final size: 26.55 MB
Size on disk: 4.37 MB
Time (exploration): 1.8 s
Time (merging): 0.1 s
+ UMB export
Time: 6.2 s
File size: 1.43 MB
Compression: XZ (Optimal)
############################## Output files ##############################
model.umb.xz: Size of output file is 1497272 bytes
umbxz.properties.txt: Size of output file is 38 bytes