Log files for model consensus.4-4 and tool configuration storm_from-jani_check_sparse
[0.237, 0.271, 0.255, 0.257, 0.226]
Log file: storm_from-jani_check_sparse_consensus.4-4_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 0.237 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:03:56 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964659/tmpqi_s5pm3storm_from-jani_check_sparse_consensus.4-4_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: 0.113s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 43136
Transitions: 144352
Choices: 115840
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* finished -> 64 item(s)
* agree -> 9170 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "disagree": Pmax=? [F ("finished" & (!"agree"))] ...
Result (for initial states): 0.1560478083
Time for model checking: 0.097s.
Performance statistics:
* peak memory usage: 53MB
* CPU time: 0.212s
* wallclock time: 0.214s
Log file: storm_from-jani_check_sparse_consensus.4-4_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 0.271 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:25:25 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962186/tmpj_qxhjvkstorm_from-jani_check_sparse_consensus.4-4_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: 0.126s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 43136
Transitions: 144352
Choices: 115840
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* finished -> 64 item(s)
* agree -> 9170 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "disagree": Pmax=? [F ("finished" & (!"agree"))] ...
Result (for initial states): 0.1560478083
Time for model checking: 0.112s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.237s
* wallclock time: 0.241s
Log file: storm_from-jani_check_sparse_consensus.4-4_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 0.255 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:09:53 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961555/tmp5ipoxi4astorm_from-jani_check_sparse_consensus.4-4_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: 0.119s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 43136
Transitions: 144352
Choices: 115840
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* finished -> 64 item(s)
* agree -> 9170 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "disagree": Pmax=? [F ("finished" & (!"agree"))] ...
Result (for initial states): 0.1560478083
Time for model checking: 0.105s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.218s
* wallclock time: 0.227s
Log file: storm_from-jani_check_sparse_consensus.4-4_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 0.257 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:11:16 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964979/tmp1cwgrk_kstorm_from-jani_check_sparse_consensus.4-4_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: 0.122s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 43136
Transitions: 144352
Choices: 115840
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* finished -> 64 item(s)
* agree -> 9170 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: 54MB
* CPU time: 0.230s
* wallclock time: 0.235s
Log file: storm_from-jani_check_sparse_consensus.4-4_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 0.226 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:06:35 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961414/tmpoj8oc1xistorm_from-jani_check_sparse_consensus.4-4_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: 0.108s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 43136
Transitions: 144352
Choices: 115840
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* finished -> 64 item(s)
* agree -> 9170 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: 54MB
* CPU time: 0.200s
* wallclock time: 0.204s