Log pacman.60_modest_from-jani_import

Log file: modest_from-jani_import_default_pacman.60_rep1.log

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




model.jani:model: info: model is an MDP model.
model.jani:variables[1]: info: Expanding variable "pMove" into 3 locations in automaton "arbiter".
model.jani: info: Need 16 bytes per state.
model.jani: info: Explored 38786521 states.

Peak memory usage: 3256 MB
Analysis results for model.jani
State space exploration
State size:         16 bytes
States:             38786521
Choices:            48926255
Branches:           53648196
Rate:               367596 states/s
Peak memory:        1683.08 MB
Final size:         1191.88 MB
Size on disk:       194.60 MB
Time (exploration): 105.5 s
Time (merging):     3.6 s

Log file: modest_from-jani_import_default_pacman.60_rep2.log

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




model.jani:model: info: model is an MDP model.
model.jani:variables[1]: info: Expanding variable "pMove" into 3 locations in automaton "arbiter".
model.jani: info: Need 16 bytes per state.
model.jani: info: Explored 38786521 states.

Peak memory usage: 3257 MB
Analysis results for model.jani
State space exploration
State size:         16 bytes
States:             38786521
Choices:            48926255
Branches:           53648196
Rate:               367554 states/s
Peak memory:        1683.66 MB
Final size:         1191.88 MB
Size on disk:       194.60 MB
Time (exploration): 105.6 s
Time (merging):     3.6 s

Log file: modest_from-jani_import_default_pacman.60_rep3.log

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




model.jani:model: info: model is an MDP model.
model.jani:variables[1]: info: Expanding variable "pMove" into 3 locations in automaton "arbiter".
model.jani: info: Need 16 bytes per state.
model.jani: info: Explored 38786521 states.

Peak memory usage: 3257 MB
Analysis results for model.jani
State space exploration
State size:         16 bytes
States:             38786521
Choices:            48926255
Branches:           53648196
Rate:               309120 states/s
Peak memory:        1683.38 MB
Final size:         1191.88 MB
Size on disk:       194.60 MB
Time (exploration): 125.5 s
Time (merging):     4.4 s

Log file: modest_from-jani_import_default_pacman.60_rep4.log

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




model.jani:model: info: model is an MDP model.
model.jani:variables[1]: info: Expanding variable "pMove" into 3 locations in automaton "arbiter".
model.jani: info: Need 16 bytes per state.
model.jani: info: Explored 38786521 states.

Peak memory usage: 3257 MB
Analysis results for model.jani
State space exploration
State size:         16 bytes
States:             38786521
Choices:            48926255
Branches:           53648196
Rate:               337921 states/s
Peak memory:        1683.84 MB
Final size:         1191.88 MB
Size on disk:       194.60 MB
Time (exploration): 114.8 s
Time (merging):     4.0 s

Log file: modest_from-jani_import_default_pacman.60_rep5.log

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




model.jani:model: info: model is an MDP model.
model.jani:variables[1]: info: Expanding variable "pMove" into 3 locations in automaton "arbiter".
model.jani: info: Need 16 bytes per state.
model.jani: info: Explored 38786521 states.

Peak memory usage: 3260 MB
Analysis results for model.jani
State space exploration
State size:         16 bytes
States:             38786521
Choices:            48926255
Branches:           53648196
Rate:               387122 states/s
Peak memory:        1598.39 MB
Final size:         1191.88 MB
Size on disk:       194.60 MB
Time (exploration): 100.2 s
Time (merging):     3.3 s

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