Log files for model nand.40-4 and tool configuration modest_from-jani_import_default
[5.5, 5.5, 4.9, 5.4, 5.2]
Log file: modest_from-jani_import_default_nand.40-4_rep1.log
Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration -D -Y --exhaustive
Wallclock time: 5.768 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4964832/tmpe54djmwxmodest_from-jani_import_default_nand.40-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 3999522 states.
Peak memory usage: 397 MB
Analysis results for model.jani
State space exploration
State size: 16 bytes
States: 3999522
Choices: 3999522
Branches: 6288542
Rate: 804895 states/s
Peak memory: 202.99 MB
Final size: 126.47 MB
Size on disk: 21.16 MB
Time (exploration): 5.0 s
Time (merging): 0.5 s
Log file: modest_from-jani_import_default_nand.40-4_rep2.log
Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration -D -Y --exhaustive
Wallclock time: 5.814 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4962391/tmpk4bqdfmfmodest_from-jani_import_default_nand.40-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 3999522 states.
Peak memory usage: 396 MB
Analysis results for model.jani
State space exploration
State size: 16 bytes
States: 3999522
Choices: 3999522
Branches: 6288542
Rate: 802311 states/s
Peak memory: 203.51 MB
Final size: 126.47 MB
Size on disk: 21.16 MB
Time (exploration): 5.0 s
Time (merging): 0.5 s
Log file: modest_from-jani_import_default_nand.40-4_rep3.log
Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration -D -Y --exhaustive
Wallclock time: 5.126 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4962040/tmpkiv2s6_4modest_from-jani_import_default_nand.40-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 3999522 states.
Peak memory usage: 396 MB
Analysis results for model.jani
State space exploration
State size: 16 bytes
States: 3999522
Choices: 3999522
Branches: 6288542
Rate: 907127 states/s
Peak memory: 180.63 MB
Final size: 126.47 MB
Size on disk: 21.16 MB
Time (exploration): 4.4 s
Time (merging): 0.5 s
Log file: modest_from-jani_import_default_nand.40-4_rep4.log
Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration -D -Y --exhaustive
Wallclock time: 5.672 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4961350/tmp3hj31p9nmodest_from-jani_import_default_nand.40-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 3999522 states.
Peak memory usage: 398 MB
Analysis results for model.jani
State space exploration
State size: 16 bytes
States: 3999522
Choices: 3999522
Branches: 6288542
Rate: 817063 states/s
Peak memory: 179.90 MB
Final size: 126.47 MB
Size on disk: 21.16 MB
Time (exploration): 4.9 s
Time (merging): 0.5 s
Log file: modest_from-jani_import_default_nand.40-4_rep5.log
Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration -D -Y --exhaustive
Wallclock time: 5.508 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4961777/tmpvk92qte8modest_from-jani_import_default_nand.40-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 3999522 states.
Peak memory usage: 397 MB
Analysis results for model.jani
State space exploration
State size: 16 bytes
States: 3999522
Choices: 3999522
Branches: 6288542
Rate: 853140 states/s
Peak memory: 183.90 MB
Final size: 126.47 MB
Size on disk: 21.16 MB
Time (exploration): 4.7 s
Time (merging): 0.5 s