Log files for model polling.18-16 and tool configuration storm_from-jani_check_sparse
[47.086, 52.948, 48.27, 55.131, 50.979]
Log file: storm_from-jani_check_sparse_polling.18-16_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 56.074 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:17:35 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4965260/tmpgb0cx53jstorm_from-jani_check_sparse_polling.18-16_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 47.083s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 7077888
Transitions: 69599232
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* serve_s2 -> 131072 item(s)
* serve_s1 -> 131072 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "s1_before_s2": Pmin=? [(!"serve_s2") U "serve_s1"] ...
Result (for initial states): 0.539005252
Time for model checking: 8.956s.
Performance statistics:
* peak memory usage: 5708MB
* CPU time: 55.040s
* wallclock time: 56.047s
Log file: storm_from-jani_check_sparse_polling.18-16_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 61.609 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:18:38 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4965319/tmp1fn95e1ustorm_from-jani_check_sparse_polling.18-16_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 52.944s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 7077888
Transitions: 69599232
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* serve_s2 -> 131072 item(s)
* serve_s1 -> 131072 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "s1_before_s2": Pmin=? [(!"serve_s2") U "serve_s1"] ...
Result (for initial states): 0.539005252
Time for model checking: 8.624s.
Performance statistics:
* peak memory usage: 5706MB
* CPU time: 60.478s
* wallclock time: 61.577s
Log file: storm_from-jani_check_sparse_polling.18-16_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 57.304 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:17:00 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961856/tmpzsw0alfzstorm_from-jani_check_sparse_polling.18-16_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 48.267s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 7077888
Transitions: 69599232
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* serve_s2 -> 131072 item(s)
* serve_s1 -> 131072 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "s1_before_s2": Pmin=? [(!"serve_s2") U "serve_s1"] ...
Result (for initial states): 0.539005252
Time for model checking: 9.004s.
Performance statistics:
* peak memory usage: 5707MB
* CPU time: 56.192s
* wallclock time: 57.279s
Log file: storm_from-jani_check_sparse_polling.18-16_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 65.576 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 08:52:36 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964128/tmpzb27ips4storm_from-jani_check_sparse_polling.18-16_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 55.127s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 7077888
Transitions: 69599232
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* serve_s2 -> 131072 item(s)
* serve_s1 -> 131072 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "s1_before_s2": Pmin=? [(!"serve_s2") U "serve_s1"] ...
Result (for initial states): 0.539005252
Time for model checking: 10.414s.
Performance statistics:
* peak memory usage: 5706MB
* CPU time: 64.255s
* wallclock time: 65.551s
Log file: storm_from-jani_check_sparse_polling.18-16_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 60.448 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:18:38 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961913/tmpmy05rynrstorm_from-jani_check_sparse_polling.18-16_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 50.976s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 7077888
Transitions: 69599232
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* serve_s2 -> 131072 item(s)
* serve_s1 -> 131072 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "s1_before_s2": Pmin=? [(!"serve_s2") U "serve_s1"] ...
Result (for initial states): 0.539005252
Time for model checking: 9.436s.
Performance statistics:
* peak memory usage: 5708MB
* CPU time: 59.208s
* wallclock time: 60.421s