Log nand.60-4_modest_from-jani_import

Log file: modest_from-jani_import_default_nand.60-4_rep1.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 22.060 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4961787/tmpxf34r6q_modest_from-jani_import_default_nand.60-4_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is a DTMC model.
model.jani:variables[1]: info: Expanding variable "s" into 5 locations in automaton "multiplex".
model.jani: info: Need 16 bytes per state.
model.jani: info: Explored 18826082 states.

Peak memory usage: 1648 MB
Analysis results for model.jani
State space exploration
State size:         16 bytes
States:             18826082
Choices:            18826082
Branches:           29772212
Rate:               953461 states/s
Peak memory:        793.86 MB
Final size:         597.92 MB
Size on disk:       100.44 MB
Time (exploration): 19.8 s
Time (merging):     1.9 s

Log file: modest_from-jani_import_default_nand.60-4_rep2.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 25.308 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4962906/tmpme9j6lq8modest_from-jani_import_default_nand.60-4_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is a DTMC model.
model.jani:variables[1]: info: Expanding variable "s" into 5 locations in automaton "multiplex".
model.jani: info: Need 16 bytes per state.
model.jani: info: Explored 18826082 states.

Peak memory usage: 1649 MB
Analysis results for model.jani
State space exploration
State size:         16 bytes
States:             18826082
Choices:            18826082
Branches:           29772212
Rate:               833861 states/s
Peak memory:        792.11 MB
Final size:         597.92 MB
Size on disk:       100.44 MB
Time (exploration): 22.6 s
Time (merging):     2.2 s

Log file: modest_from-jani_import_default_nand.60-4_rep3.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 25.600 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4966032/tmp4xnmsv0rmodest_from-jani_import_default_nand.60-4_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is a DTMC model.
model.jani:variables[1]: info: Expanding variable "s" into 5 locations in automaton "multiplex".
model.jani: info: Need 16 bytes per state.
model.jani: info: Explored 18826082 states.

Peak memory usage: 1649 MB
Analysis results for model.jani
State space exploration
State size:         16 bytes
States:             18826082
Choices:            18826082
Branches:           29772212
Rate:               822531 states/s
Peak memory:        792.61 MB
Final size:         597.92 MB
Size on disk:       100.44 MB
Time (exploration): 22.9 s
Time (merging):     2.2 s

Log file: modest_from-jani_import_default_nand.60-4_rep4.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 25.019 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4966761/tmp2x5zmzs2modest_from-jani_import_default_nand.60-4_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is a DTMC model.
model.jani:variables[1]: info: Expanding variable "s" into 5 locations in automaton "multiplex".
model.jani: info: Need 16 bytes per state.
model.jani: info: Explored 18826082 states.

Peak memory usage: 1649 MB
Analysis results for model.jani
State space exploration
State size:         16 bytes
States:             18826082
Choices:            18826082
Branches:           29772212
Rate:               840525 states/s
Peak memory:        794.28 MB
Final size:         597.92 MB
Size on disk:       100.44 MB
Time (exploration): 22.4 s
Time (merging):     2.1 s

Log file: modest_from-jani_import_default_nand.60-4_rep5.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 21.703 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4964362/tmp745dy9o_modest_from-jani_import_default_nand.60-4_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is a DTMC model.
model.jani:variables[1]: info: Expanding variable "s" into 5 locations in automaton "multiplex".
model.jani: info: Need 16 bytes per state.
model.jani: info: Explored 18826082 states.

Peak memory usage: 1649 MB
Analysis results for model.jani
State space exploration
State size:         16 bytes
States:             18826082
Choices:            18826082
Branches:           29772212
Rate:               970467 states/s
Peak memory:        793.82 MB
Final size:         597.92 MB
Size on disk:       100.44 MB
Time (exploration): 19.4 s
Time (merging):     1.9 s

Log files for model nand.60-4 and tool configuration modest_from-jani_import_default