Log files for model consensus.6-2 and tool configuration storm_from-umb_check_sparse
[0.147, 0.141, 0.14, 0.147, 0.141]
Log file: storm_from-umb_check_sparse_consensus.6-2_rep1.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 2.682 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:16:34 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4965207/tmpseic1sd_storm_from-umb_check_sparse_consensus.6-2_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4965207/tmpseic1sd_storm_from-umb_check_sparse_consensus.6-2_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.147s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1258240
Transitions: 6236736
Choices: 5008128
Reward Models: none
State Labels: 4 labels
* finished -> 384 item(s)
* deadlock -> 0 item(s)
* agree -> 114258 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "disagree": Pmax=? [F ("finished" & (!"agree"))] ...
Result (for initial states): 0.3636232291
Time for model checking: 2.506s.
Performance statistics:
* peak memory usage: 445MB
* CPU time: 2.557s
* wallclock time: 2.655s
Log file: storm_from-umb_check_sparse_consensus.6-2_rep2.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 2.560 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:39:06 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4966391/tmp0a43a_3mstorm_from-umb_check_sparse_consensus.6-2_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4966391/tmp0a43a_3mstorm_from-umb_check_sparse_consensus.6-2_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.141s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1258240
Transitions: 6236736
Choices: 5008128
Reward Models: none
State Labels: 4 labels
* finished -> 384 item(s)
* deadlock -> 0 item(s)
* agree -> 114258 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "disagree": Pmax=? [F ("finished" & (!"agree"))] ...
Result (for initial states): 0.3636232291
Time for model checking: 2.392s.
Performance statistics:
* peak memory usage: 446MB
* CPU time: 2.446s
* wallclock time: 2.536s
Log file: storm_from-umb_check_sparse_consensus.6-2_rep3.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 2.543 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:46:24 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4963127/tmpdaiy86vqstorm_from-umb_check_sparse_consensus.6-2_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4963127/tmpdaiy86vqstorm_from-umb_check_sparse_consensus.6-2_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.140s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1258240
Transitions: 6236736
Choices: 5008128
Reward Models: none
State Labels: 4 labels
* finished -> 384 item(s)
* deadlock -> 0 item(s)
* agree -> 114258 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "disagree": Pmax=? [F ("finished" & (!"agree"))] ...
Result (for initial states): 0.3636232291
Time for model checking: 2.376s.
Performance statistics:
* peak memory usage: 445MB
* CPU time: 2.423s
* wallclock time: 2.518s
Log file: storm_from-umb_check_sparse_consensus.6-2_rep4.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 2.912 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:19:09 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4965340/tmpj7nrw4okstorm_from-umb_check_sparse_consensus.6-2_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4965340/tmpj7nrw4okstorm_from-umb_check_sparse_consensus.6-2_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.147s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1258240
Transitions: 6236736
Choices: 5008128
Reward Models: none
State Labels: 4 labels
* finished -> 384 item(s)
* deadlock -> 0 item(s)
* agree -> 114258 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "disagree": Pmax=? [F ("finished" & (!"agree"))] ...
Result (for initial states): 0.3636232291
Time for model checking: 2.733s.
Performance statistics:
* peak memory usage: 445MB
* CPU time: 2.790s
* wallclock time: 2.883s
Log file: storm_from-umb_check_sparse_consensus.6-2_rep5.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 2.569 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:21:57 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4962047/tmpvwlc69udstorm_from-umb_check_sparse_consensus.6-2_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4962047/tmpvwlc69udstorm_from-umb_check_sparse_consensus.6-2_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.141s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1258240
Transitions: 6236736
Choices: 5008128
Reward Models: none
State Labels: 4 labels
* finished -> 384 item(s)
* deadlock -> 0 item(s)
* agree -> 114258 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "disagree": Pmax=? [F ("finished" & (!"agree"))] ...
Result (for initial states): 0.3636232291
Time for model checking: 2.396s.
Performance statistics:
* peak memory usage: 445MB
* CPU time: 2.445s
* wallclock time: 2.539s