Log files for model csma.3-4 and tool configuration modest_from-jani_import_default
[2.8000000000000003, 2.8000000000000003, 2.5, 2.9000000000000004, 2.8000000000000003]
Log file: modest_from-jani_import_default_csma.3-4_rep1.log
Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration -D -Y --exhaustive
Wallclock time: 3.109 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4962098/tmpm4appelumodest_from-jani_import_default_csma.3-4_tmp_indir_/model.jani --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 1460287 states.
Peak memory usage: 233 MB
Analysis results for model.jani
State space exploration
State size: 24 bytes
States: 1460287
Choices: 1471059
Branches: 2396727
Rate: 562948 states/s
Peak memory: 141.64 MB
Final size: 47.79 MB
Size on disk: 7.94 MB
Time (exploration): 2.6 s
Time (merging): 0.2 s
Log file: modest_from-jani_import_default_csma.3-4_rep2.log
Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration -D -Y --exhaustive
Wallclock time: 3.117 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4961110/tmp2538fdcxmodest_from-jani_import_default_csma.3-4_tmp_indir_/model.jani --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 1460287 states.
Peak memory usage: 234 MB
Analysis results for model.jani
State space exploration
State size: 24 bytes
States: 1460287
Choices: 1471059
Branches: 2396727
Rate: 558214 states/s
Peak memory: 141.76 MB
Final size: 47.79 MB
Size on disk: 7.94 MB
Time (exploration): 2.6 s
Time (merging): 0.2 s
Log file: modest_from-jani_import_default_csma.3-4_rep3.log
Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration -D -Y --exhaustive
Wallclock time: 2.712 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4965847/tmpb2uuzf47modest_from-jani_import_default_csma.3-4_tmp_indir_/model.jani --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 1460287 states.
Peak memory usage: 233 MB
Analysis results for model.jani
State space exploration
State size: 24 bytes
States: 1460287
Choices: 1471059
Branches: 2396727
Rate: 647290 states/s
Peak memory: 141.58 MB
Final size: 47.79 MB
Size on disk: 7.94 MB
Time (exploration): 2.3 s
Time (merging): 0.2 s
Log file: modest_from-jani_import_default_csma.3-4_rep4.log
Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration -D -Y --exhaustive
Wallclock time: 3.162 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4961861/tmpmi_vkw0smodest_from-jani_import_default_csma.3-4_tmp_indir_/model.jani --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 1460287 states.
Peak memory usage: 234 MB
Analysis results for model.jani
State space exploration
State size: 24 bytes
States: 1460287
Choices: 1471059
Branches: 2396727
Rate: 547950 states/s
Peak memory: 141.64 MB
Final size: 47.79 MB
Size on disk: 7.94 MB
Time (exploration): 2.7 s
Time (merging): 0.2 s
Log file: modest_from-jani_import_default_csma.3-4_rep5.log
Command(s):
../bin/modest mcsta %indir/model.jani --stop-after Exploration -D -Y --exhaustive
Wallclock time: 3.124 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4961027/tmpngr0_un7modest_from-jani_import_default_csma.3-4_tmp_indir_/model.jani --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 1460287 states.
Peak memory usage: 233 MB
Analysis results for model.jani
State space exploration
State size: 24 bytes
States: 1460287
Choices: 1471059
Branches: 2396727
Rate: 559283 states/s
Peak memory: 141.54 MB
Final size: 47.79 MB
Size on disk: 7.94 MB
Time (exploration): 2.6 s
Time (merging): 0.2 s