Log files for model wlan.6-0 and tool configuration storm_from-jani_check_sparse

Parsed values
[16.796, 15.116, 17.033, 16.247, 14.589]
Log file: storm_from-jani_check_sparse_wlan.6-0_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 16.796 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:33:43 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962560/tmpuyc24wk9storm_from-jani_check_sparse_wlan.6-0_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 0.008s.

Time for model construction: 16.014s.

-------------------------------------------------------------- 
Model type: 	MDP (sparse)
States: 	5007548
Transitions: 	11475748
Choices: 	6350470
Reward Models:  none
State Labels: 	3 labels
   * init -> 1 item(s)
   * deadlock -> 0 item(s)
   * target -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "sent": Pmin>=1 [F "target"] ...
Result (for initial states): true

Time for model checking: 0.739s.

Performance statistics:
  * peak memory usage: 711MB
  * CPU time: 16.568s
  * wallclock time: 16.766s
Log file: storm_from-jani_check_sparse_wlan.6-0_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 15.116 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:57:12 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4967220/tmpok09v_eystorm_from-jani_check_sparse_wlan.6-0_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 0.007s.

Time for model construction: 14.310s.

-------------------------------------------------------------- 
Model type: 	MDP (sparse)
States: 	5007548
Transitions: 	11475748
Choices: 	6350470
Reward Models:  none
State Labels: 	3 labels
   * init -> 1 item(s)
   * deadlock -> 0 item(s)
   * target -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "sent": Pmin>=1 [F "target"] ...
Result (for initial states): true

Time for model checking: 0.765s.

Performance statistics:
  * peak memory usage: 711MB
  * CPU time: 14.910s
  * wallclock time: 15.088s
Log file: storm_from-jani_check_sparse_wlan.6-0_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 17.033 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:08:49 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961509/tmpl3efxwgdstorm_from-jani_check_sparse_wlan.6-0_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 0.009s.

Time for model construction: 16.261s.

-------------------------------------------------------------- 
Model type: 	MDP (sparse)
States: 	5007548
Transitions: 	11475748
Choices: 	6350470
Reward Models:  none
State Labels: 	3 labels
   * init -> 1 item(s)
   * deadlock -> 0 item(s)
   * target -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "sent": Pmin>=1 [F "target"] ...
Result (for initial states): true

Time for model checking: 0.730s.

Performance statistics:
  * peak memory usage: 711MB
  * CPU time: 16.805s
  * wallclock time: 17.005s
Log file: storm_from-jani_check_sparse_wlan.6-0_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 16.247 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:15:59 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4965193/tmpv18b183ystorm_from-jani_check_sparse_wlan.6-0_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 0.008s.

Time for model construction: 15.434s.

-------------------------------------------------------------- 
Model type: 	MDP (sparse)
States: 	5007548
Transitions: 	11475748
Choices: 	6350470
Reward Models:  none
State Labels: 	3 labels
   * init -> 1 item(s)
   * deadlock -> 0 item(s)
   * target -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "sent": Pmin>=1 [F "target"] ...
Result (for initial states): true

Time for model checking: 0.773s.

Performance statistics:
  * peak memory usage: 711MB
  * CPU time: 16.044s
  * wallclock time: 16.220s
Log file: storm_from-jani_check_sparse_wlan.6-0_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 14.589 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:34:22 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4966173/tmpfpualxyzstorm_from-jani_check_sparse_wlan.6-0_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 0.008s.

Time for model construction: 13.861s.

-------------------------------------------------------------- 
Model type: 	MDP (sparse)
States: 	5007548
Transitions: 	11475748
Choices: 	6350470
Reward Models:  none
State Labels: 	3 labels
   * init -> 1 item(s)
   * deadlock -> 0 item(s)
   * target -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "sent": Pmin>=1 [F "target"] ...
Result (for initial states): true

Time for model checking: 0.689s.

Performance statistics:
  * peak memory usage: 710MB
  * CPU time: 14.417s
  * wallclock time: 14.563s