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

Parsed values
[4.144, 3.549, 3.9019999999999997, 3.9419999999999997, 4.098]
Log file: storm_from-jani_check_sparse_wlan.5-0_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 4.340 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

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

Time for model input parsing: 0.006s.

Time for model construction: 4.138s.

-------------------------------------------------------------- 
Model type: 	MDP (sparse)
States: 	1295218
Transitions: 	2929960
Choices: 	1646074
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.168s.

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

Date: Tue Oct 13 07:03:18 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961268/tmp4hglld0wstorm_from-jani_check_sparse_wlan.5-0_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 0.005s.

Time for model construction: 3.544s.

-------------------------------------------------------------- 
Model type: 	MDP (sparse)
States: 	1295218
Transitions: 	2929960
Choices: 	1646074
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.150s.

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

Date: Tue Oct 13 09:14:58 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4965139/tmpjrluw552storm_from-jani_check_sparse_wlan.5-0_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 0.006s.

Time for model construction: 3.896s.

-------------------------------------------------------------- 
Model type: 	MDP (sparse)
States: 	1295218
Transitions: 	2929960
Choices: 	1646074
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.163s.

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

Date: Tue Oct 13 08:59:11 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964384/tmpxu7lniwfstorm_from-jani_check_sparse_wlan.5-0_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 0.006s.

Time for model construction: 3.936s.

-------------------------------------------------------------- 
Model type: 	MDP (sparse)
States: 	1295218
Transitions: 	2929960
Choices: 	1646074
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.161s.

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

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

Time for model input parsing: 0.006s.

Time for model construction: 4.092s.

-------------------------------------------------------------- 
Model type: 	MDP (sparse)
States: 	1295218
Transitions: 	2929960
Choices: 	1646074
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.164s.

Performance statistics:
  * peak memory usage: 222MB
  * CPU time: 4.222s
  * wallclock time: 4.266s