Log resource-gathering.1300-100-100_modest_from-jani_import

Log file: modest_from-jani_import_default_resource-gathering.1300-100-100_rep1.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 4.035 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4964600/tmpqfazhjaimodest_from-jani_import_default_resource-gathering.1300-100-100_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is an MDP model.
model.jani: info: Need 16 bytes per state.
model.jani: info: Explored 948693 states.

Peak memory usage: 221 MB
Analysis results for model.jani
State space exploration
State size:         16 bytes
States:             948693
Choices:            3050099
Branches:           3294923
Rate:               369141 states/s
Peak memory:        66.66 MB
Final size:         73.55 MB
Size on disk:       8.67 MB
Time (exploration): 2.6 s
Time (merging):     0.3 s

Log file: modest_from-jani_import_default_resource-gathering.1300-100-100_rep2.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 3.505 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4961299/tmptidvibklmodest_from-jani_import_default_resource-gathering.1300-100-100_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is an MDP model.
model.jani: info: Need 16 bytes per state.
model.jani: info: Explored 948693 states.

Peak memory usage: 220 MB
Analysis results for model.jani
State space exploration
State size:         16 bytes
States:             948693
Choices:            3050099
Branches:           3294923
Rate:               317927 states/s
Peak memory:        66.66 MB
Final size:         73.55 MB
Size on disk:       8.67 MB
Time (exploration): 3.0 s
Time (merging):     0.3 s

Log file: modest_from-jani_import_default_resource-gathering.1300-100-100_rep3.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 3.122 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4961888/tmpimbxr93vmodest_from-jani_import_default_resource-gathering.1300-100-100_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is an MDP model.
model.jani: info: Need 16 bytes per state.
model.jani: info: Explored 948693 states.

Peak memory usage: 219 MB
Analysis results for model.jani
State space exploration
State size:         16 bytes
States:             948693
Choices:            3050099
Branches:           3294923
Rate:               357054 states/s
Peak memory:        66.66 MB
Final size:         73.55 MB
Size on disk:       8.67 MB
Time (exploration): 2.7 s
Time (merging):     0.3 s

Log file: modest_from-jani_import_default_resource-gathering.1300-100-100_rep4.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 3.554 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4964310/tmperyls_m0modest_from-jani_import_default_resource-gathering.1300-100-100_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is an MDP model.
model.jani: info: Need 16 bytes per state.
model.jani: info: Explored 948693 states.

Peak memory usage: 220 MB
Analysis results for model.jani
State space exploration
State size:         16 bytes
States:             948693
Choices:            3050099
Branches:           3294923
Rate:               311762 states/s
Peak memory:        66.66 MB
Final size:         73.55 MB
Size on disk:       8.67 MB
Time (exploration): 3.1 s
Time (merging):     0.3 s

Log file: modest_from-jani_import_default_resource-gathering.1300-100-100_rep5.log

Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 3.691 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4966128/tmp_h1lqjzzmodest_from-jani_import_default_resource-gathering.1300-100-100_tmp_indir_/model.jani --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is an MDP model.
model.jani: info: Need 16 bytes per state.
model.jani: info: Explored 948693 states.

Peak memory usage: 221 MB
Analysis results for model.jani
State space exploration
State size:         16 bytes
States:             948693
Choices:            3050099
Branches:           3294923
Rate:               300124 states/s
Peak memory:        66.66 MB
Final size:         73.55 MB
Size on disk:       8.67 MB
Time (exploration): 3.2 s
Time (merging):     0.3 s

Log files for model resource-gathering.1300-100-100 and tool configuration modest_from-jani_import_default