Log files for model cluster.128-2000-20 and tool configuration modest_from-jani_to-aut_default
[79333426.0, 79333426.0, 79333426.0, 79333426.0, 79333426.0]
Log file: modest_from-jani_to-aut_default_cluster.128-2000-20_rep1.log
Command(s):
../bin/modest mcsta %indir/model.jani --statespace %outdir/model.aut AUT --stop-after Exploration -D -Y --exhaustive
Wallclock time: 3.962 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956018/tmp01jxehl9modest_from-jani_to-aut_default_cluster.128-2000-20_tmp_indir_/model.jani --statespace /w0/tmp/slurm_tq429871.4956018/tmpwx8i1b8dmodest_from-jani_to-aut_default_cluster.128-2000-20_tmp_outdir_/model.aut AUT --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is a CTMC model.
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 597012 states.
model.jani: info: Exported state space to file "/w0/tmp/slurm_tq429871.4956018/tmpwx8i1b8dmodest_from-jani_to-aut_default_cluster.128-2000-20_tmp_outdir_/model.aut".
Peak memory usage: 189 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 597012
Choices: 597012
Branches: 2908192
Rate: 219651 states/s
Peak memory: 96.85 MB
Final size: 48.93 MB
Size on disk: 14.50 MB
Time (exploration): 2.7 s
Time (merging): 0.3 s
+ Export to AUT
Time: 0.7 s
File size: 75.66 MB
############################## Output files ##############################
model.aut: Size of output file is 79333426 bytes
Log file: modest_from-jani_to-aut_default_cluster.128-2000-20_rep2.log
Command(s):
../bin/modest mcsta %indir/model.jani --statespace %outdir/model.aut AUT --stop-after Exploration -D -Y --exhaustive
Wallclock time: 3.964 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955424/tmpkmpr56igmodest_from-jani_to-aut_default_cluster.128-2000-20_tmp_indir_/model.jani --statespace /w0/tmp/slurm_tq429871.4955424/tmphfdp_nnwmodest_from-jani_to-aut_default_cluster.128-2000-20_tmp_outdir_/model.aut AUT --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is a CTMC model.
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 597012 states.
model.jani: info: Exported state space to file "/w0/tmp/slurm_tq429871.4955424/tmphfdp_nnwmodest_from-jani_to-aut_default_cluster.128-2000-20_tmp_outdir_/model.aut".
Peak memory usage: 189 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 597012
Choices: 597012
Branches: 2908192
Rate: 223433 states/s
Peak memory: 96.44 MB
Final size: 48.93 MB
Size on disk: 14.50 MB
Time (exploration): 2.7 s
Time (merging): 0.3 s
+ Export to AUT
Time: 0.8 s
File size: 75.66 MB
############################## Output files ##############################
model.aut: Size of output file is 79333426 bytes
Log file: modest_from-jani_to-aut_default_cluster.128-2000-20_rep3.log
Command(s):
../bin/modest mcsta %indir/model.jani --statespace %outdir/model.aut AUT --stop-after Exploration -D -Y --exhaustive
Wallclock time: 3.543 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956913/tmpdg7fc_n8modest_from-jani_to-aut_default_cluster.128-2000-20_tmp_indir_/model.jani --statespace /w0/tmp/slurm_tq429871.4956913/tmpo8u4cm0omodest_from-jani_to-aut_default_cluster.128-2000-20_tmp_outdir_/model.aut AUT --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is a CTMC model.
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 597012 states.
model.jani: info: Exported state space to file "/w0/tmp/slurm_tq429871.4956913/tmpo8u4cm0omodest_from-jani_to-aut_default_cluster.128-2000-20_tmp_outdir_/model.aut".
Peak memory usage: 189 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 597012
Choices: 597012
Branches: 2908192
Rate: 247415 states/s
Peak memory: 95.56 MB
Final size: 48.93 MB
Size on disk: 14.50 MB
Time (exploration): 2.4 s
Time (merging): 0.3 s
+ Export to AUT
Time: 0.7 s
File size: 75.66 MB
############################## Output files ##############################
model.aut: Size of output file is 79333426 bytes
Log file: modest_from-jani_to-aut_default_cluster.128-2000-20_rep4.log
Command(s):
../bin/modest mcsta %indir/model.jani --statespace %outdir/model.aut AUT --stop-after Exploration -D -Y --exhaustive
Wallclock time: 4.080 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956603/tmpbkk5kdw7modest_from-jani_to-aut_default_cluster.128-2000-20_tmp_indir_/model.jani --statespace /w0/tmp/slurm_tq429871.4956603/tmpht8zl9fwmodest_from-jani_to-aut_default_cluster.128-2000-20_tmp_outdir_/model.aut AUT --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is a CTMC model.
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 597012 states.
model.jani: info: Exported state space to file "/w0/tmp/slurm_tq429871.4956603/tmpht8zl9fwmodest_from-jani_to-aut_default_cluster.128-2000-20_tmp_outdir_/model.aut".
Peak memory usage: 189 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 597012
Choices: 597012
Branches: 2908192
Rate: 214367 states/s
Peak memory: 96.04 MB
Final size: 48.93 MB
Size on disk: 14.50 MB
Time (exploration): 2.8 s
Time (merging): 0.3 s
+ Export to AUT
Time: 0.8 s
File size: 75.66 MB
############################## Output files ##############################
model.aut: Size of output file is 79333426 bytes
Log file: modest_from-jani_to-aut_default_cluster.128-2000-20_rep5.log
Command(s):
../bin/modest mcsta %indir/model.jani --statespace %outdir/model.aut AUT --stop-after Exploration -D -Y --exhaustive
Wallclock time: 3.545 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957913/tmpm3n3vg_dmodest_from-jani_to-aut_default_cluster.128-2000-20_tmp_indir_/model.jani --statespace /w0/tmp/slurm_tq429871.4957913/tmpaubejrormodest_from-jani_to-aut_default_cluster.128-2000-20_tmp_outdir_/model.aut AUT --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is a CTMC model.
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 597012 states.
model.jani: info: Exported state space to file "/w0/tmp/slurm_tq429871.4957913/tmpaubejrormodest_from-jani_to-aut_default_cluster.128-2000-20_tmp_outdir_/model.aut".
Peak memory usage: 189 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 597012
Choices: 597012
Branches: 2908192
Rate: 246495 states/s
Peak memory: 95.15 MB
Final size: 48.93 MB
Size on disk: 14.50 MB
Time (exploration): 2.4 s
Time (merging): 0.3 s
+ Export to AUT
Time: 0.7 s
File size: 75.66 MB
############################## Output files ##############################
model.aut: Size of output file is 79333426 bytes