Log files for model cluster.128-2000-20 and tool configuration modest_from-jani_check_default

Parsed values
[TO, TO, TO, TO, TO]
Log file: modest_from-jani_check_default_cluster.128-2000-20_rep1.log
Command(s):
../bin/modest mcsta %indir/model.jani  -D -Y --exhaustive
Wallclock time: 7200.009 seconds
Return code: None (timeout)
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4966286/tmp341ifsmmmodest_from-jani_check_default_cluster.128-2000-20_tmp_indir_/model.jani -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.
Log file: modest_from-jani_check_default_cluster.128-2000-20_rep2.log
Command(s):
../bin/modest mcsta %indir/model.jani  -D -Y --exhaustive
Wallclock time: 7200.007 seconds
Return code: None (timeout)
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4961871/tmps0fmq6ucmodest_from-jani_check_default_cluster.128-2000-20_tmp_indir_/model.jani -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.
Log file: modest_from-jani_check_default_cluster.128-2000-20_rep3.log
Command(s):
../bin/modest mcsta %indir/model.jani  -D -Y --exhaustive
Wallclock time: 7200.008 seconds
Return code: None (timeout)
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4966597/tmp81ba8ylwmodest_from-jani_check_default_cluster.128-2000-20_tmp_indir_/model.jani -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.
Log file: modest_from-jani_check_default_cluster.128-2000-20_rep4.log
Command(s):
../bin/modest mcsta %indir/model.jani  -D -Y --exhaustive
Wallclock time: 7200.008 seconds
Return code: None (timeout)
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4962724/tmp9gd9qswumodest_from-jani_check_default_cluster.128-2000-20_tmp_indir_/model.jani -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.
Log file: modest_from-jani_check_default_cluster.128-2000-20_rep5.log
Command(s):
../bin/modest mcsta %indir/model.jani  -D -Y --exhaustive
Wallclock time: 7200.010 seconds
Return code: None (timeout)
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4962641/tmphk2lprt1modest_from-jani_check_default_cluster.128-2000-20_tmp_indir_/model.jani -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.