Log files for model consensus.4-4 and tool configuration storm_from-umb_check_sparse
[0.006, 0.005, 0.005, 0.006, 0.005]
Log file: storm_from-umb_check_sparse_consensus.4-4_rep1.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.142 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 06:58:26 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4961055/tmpfal0lmvustorm_from-umb_check_sparse_consensus.4-4_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4961055/tmpfal0lmvustorm_from-umb_check_sparse_consensus.4-4_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.006s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 43136
Transitions: 144352
Choices: 115840
Reward Models: none
State Labels: 4 labels
* finished -> 64 item(s)
* deadlock -> 0 item(s)
* agree -> 9170 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "disagree": Pmax=? [F ("finished" & (!"agree"))] ...
Result (for initial states): 0.1560478083
Time for model checking: 0.109s.
Performance statistics:
* peak memory usage: 33MB
* CPU time: 0.114s
* wallclock time: 0.117s
Log file: storm_from-umb_check_sparse_consensus.4-4_rep2.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.119 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:31:45 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4966024/tmp6tphsearstorm_from-umb_check_sparse_consensus.4-4_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4966024/tmp6tphsearstorm_from-umb_check_sparse_consensus.4-4_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.005s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 43136
Transitions: 144352
Choices: 115840
Reward Models: none
State Labels: 4 labels
* finished -> 64 item(s)
* deadlock -> 0 item(s)
* agree -> 9170 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "disagree": Pmax=? [F ("finished" & (!"agree"))] ...
Result (for initial states): 0.1560478083
Time for model checking: 0.093s.
Performance statistics:
* peak memory usage: 33MB
* CPU time: 0.097s
* wallclock time: 0.099s
Log file: storm_from-umb_check_sparse_consensus.4-4_rep3.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.130 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 08:51:33 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4964075/tmpr5o9wdn1storm_from-umb_check_sparse_consensus.4-4_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4964075/tmpr5o9wdn1storm_from-umb_check_sparse_consensus.4-4_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.005s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 43136
Transitions: 144352
Choices: 115840
Reward Models: none
State Labels: 4 labels
* finished -> 64 item(s)
* deadlock -> 0 item(s)
* agree -> 9170 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "disagree": Pmax=? [F ("finished" & (!"agree"))] ...
Result (for initial states): 0.1560478083
Time for model checking: 0.104s.
Performance statistics:
* peak memory usage: 33MB
* CPU time: 0.116s
* wallclock time: 0.111s
Log file: storm_from-umb_check_sparse_consensus.4-4_rep4.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.146 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:34:48 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4962607/tmplzgus8yostorm_from-umb_check_sparse_consensus.4-4_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4962607/tmplzgus8yostorm_from-umb_check_sparse_consensus.4-4_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.006s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 43136
Transitions: 144352
Choices: 115840
Reward Models: none
State Labels: 4 labels
* finished -> 64 item(s)
* deadlock -> 0 item(s)
* agree -> 9170 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "disagree": Pmax=? [F ("finished" & (!"agree"))] ...
Result (for initial states): 0.1560478083
Time for model checking: 0.110s.
Performance statistics:
* peak memory usage: 32MB
* CPU time: 0.117s
* wallclock time: 0.119s
Log file: storm_from-umb_check_sparse_consensus.4-4_rep5.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.123 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:43:48 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4966608/tmp2t6us75pstorm_from-umb_check_sparse_consensus.4-4_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4966608/tmp2t6us75pstorm_from-umb_check_sparse_consensus.4-4_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.005s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 43136
Transitions: 144352
Choices: 115840
Reward Models: none
State Labels: 4 labels
* finished -> 64 item(s)
* deadlock -> 0 item(s)
* agree -> 9170 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "disagree": Pmax=? [F ("finished" & (!"agree"))] ...
Result (for initial states): 0.1560478083
Time for model checking: 0.094s.
Performance statistics:
* peak memory usage: 33MB
* CPU time: 0.101s
* wallclock time: 0.100s