Log files for model kanban.5 and tool configuration storm_from-jani_check_sparse
[23.858, 26.26, 23.559, 25.409, 23.801]
Log file: storm_from-jani_check_sparse_kanban.5_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 23.858 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:11:17 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964998/tmpr_ybacyastorm_from-jani_check_sparse_kanban.5_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: 14.630s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 2546432
Transitions: 24460016
Reward Models: throughput
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "throughput": R{"throughput"}min=? [LRA] ...
Result (for initial states): 0.307124777
Time for model checking: 9.192s.
Performance statistics:
* peak memory usage: 2936MB
* CPU time: 23.228s
* wallclock time: 23.829s
Log file: storm_from-jani_check_sparse_kanban.5_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 26.260 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:21:56 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962055/tmpuiazukrfstorm_from-jani_check_sparse_kanban.5_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: 15.822s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 2546432
Transitions: 24460016
Reward Models: throughput
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "throughput": R{"throughput"}min=? [LRA] ...
Result (for initial states): 0.307124777
Time for model checking: 10.393s.
Performance statistics:
* peak memory usage: 2937MB
* CPU time: 25.517s
* wallclock time: 26.224s
Log file: storm_from-jani_check_sparse_kanban.5_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 23.559 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:10:46 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964960/tmp6mz3p_6pstorm_from-jani_check_sparse_kanban.5_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: 14.557s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 2546432
Transitions: 24460016
Reward Models: throughput
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "throughput": R{"throughput"}min=? [LRA] ...
Result (for initial states): 0.307124777
Time for model checking: 8.965s.
Performance statistics:
* peak memory usage: 2936MB
* CPU time: 22.940s
* wallclock time: 23.529s
Log file: storm_from-jani_check_sparse_kanban.5_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 25.409 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:07:07 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964811/tmpawgdco1bstorm_from-jani_check_sparse_kanban.5_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: 15.436s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 2546432
Transitions: 24460016
Reward Models: throughput
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "throughput": R{"throughput"}min=? [LRA] ...
Result (for initial states): 0.307124777
Time for model checking: 9.914s.
Performance statistics:
* peak memory usage: 2936MB
* CPU time: 24.723s
* wallclock time: 25.358s
Log file: storm_from-jani_check_sparse_kanban.5_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 23.801 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:21:57 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962045/tmpcut5dil4storm_from-jani_check_sparse_kanban.5_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: 14.677s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 2546432
Transitions: 24460016
Reward Models: throughput
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "throughput": R{"throughput"}min=? [LRA] ...
Result (for initial states): 0.307124777
Time for model checking: 9.082s.
Performance statistics:
* peak memory usage: 2937MB
* CPU time: 23.156s
* wallclock time: 23.767s