Log files for model consensus.6-2 and tool configuration storm_from-jani_check_sparse
[3.9299999999999997, 4.515, 4.083, 4.056, 4.423]
Log file: storm_from-jani_check_sparse_consensus.6-2_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 6.210 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:36:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962687/tmpxw_2t3ylstorm_from-jani_check_sparse_consensus.6-2_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 3.929s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1258240
Transitions: 6236736
Choices: 5008128
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* finished -> 384 item(s)
* agree -> 114258 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "disagree": Pmax=? [F ("finished" & (!"agree"))] ...
Result (for initial states): 0.3636232291
Time for model checking: 2.254s.
Performance statistics:
* peak memory usage: 472MB
* CPU time: 6.108s
* wallclock time: 6.188s
Log file: storm_from-jani_check_sparse_consensus.6-2_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 6.979 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:52:54 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4967007/tmpzzv3w6sastorm_from-jani_check_sparse_consensus.6-2_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 4.513s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1258240
Transitions: 6236736
Choices: 5008128
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* finished -> 384 item(s)
* agree -> 114258 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "disagree": Pmax=? [F ("finished" & (!"agree"))] ...
Result (for initial states): 0.3636232291
Time for model checking: 2.433s.
Performance statistics:
* peak memory usage: 472MB
* CPU time: 6.855s
* wallclock time: 6.952s
Log file: storm_from-jani_check_sparse_consensus.6-2_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 6.339 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:39:05 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4966393/tmp1gftwrjistorm_from-jani_check_sparse_consensus.6-2_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 4.081s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1258240
Transitions: 6236736
Choices: 5008128
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* finished -> 384 item(s)
* agree -> 114258 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "disagree": Pmax=? [F ("finished" & (!"agree"))] ...
Result (for initial states): 0.3636232291
Time for model checking: 2.219s.
Performance statistics:
* peak memory usage: 471MB
* CPU time: 6.224s
* wallclock time: 6.305s
Log file: storm_from-jani_check_sparse_consensus.6-2_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 6.261 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:59:20 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4967318/tmp05906zpsstorm_from-jani_check_sparse_consensus.6-2_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 4.055s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1258240
Transitions: 6236736
Choices: 5008128
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* finished -> 384 item(s)
* agree -> 114258 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "disagree": Pmax=? [F ("finished" & (!"agree"))] ...
Result (for initial states): 0.3636232291
Time for model checking: 2.168s.
Performance statistics:
* peak memory usage: 471MB
* CPU time: 6.155s
* wallclock time: 6.228s
Log file: storm_from-jani_check_sparse_consensus.6-2_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 6.910 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:43:17 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4966569/tmpjp58_4qystorm_from-jani_check_sparse_consensus.6-2_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 4.421s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1258240
Transitions: 6236736
Choices: 5008128
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* finished -> 384 item(s)
* agree -> 114258 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "disagree": Pmax=? [F ("finished" & (!"agree"))] ...
Result (for initial states): 0.3636232291
Time for model checking: 2.461s.
Performance statistics:
* peak memory usage: 471MB
* CPU time: 6.792s
* wallclock time: 6.887s