Log files for model wlan.4-0 and tool configuration storm_from-umb_check_sparse

Parsed values
[0.02, 0.022, 0.025, 0.019, 0.02]
Log file: storm_from-umb_check_sparse_wlan.4-0_rep1.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.091 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:46:26 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4963135/tmpc083x8c8storm_from-umb_check_sparse_wlan.4-0_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4963135/tmpc083x8c8storm_from-umb_check_sparse_wlan.4-0_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.020s.

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

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

Time for model checking: 0.044s.

Performance statistics:
  * peak memory usage: 61MB
  * CPU time: 0.058s
  * wallclock time: 0.066s
Log file: storm_from-umb_check_sparse_wlan.4-0_rep2.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.101 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:12:22 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4965038/tmpvnxpf9spstorm_from-umb_check_sparse_wlan.4-0_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4965038/tmpvnxpf9spstorm_from-umb_check_sparse_wlan.4-0_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.022s.

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

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

Time for model checking: 0.044s.

Performance statistics:
  * peak memory usage: 61MB
  * CPU time: 0.059s
  * wallclock time: 0.068s
Log file: storm_from-umb_check_sparse_wlan.4-0_rep3.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.103 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:38:07 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4962758/tmp0hdlp8rgstorm_from-umb_check_sparse_wlan.4-0_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4962758/tmp0hdlp8rgstorm_from-umb_check_sparse_wlan.4-0_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.025s.

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

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

Time for model checking: 0.048s.

Performance statistics:
  * peak memory usage: 61MB
  * CPU time: 0.059s
  * wallclock time: 0.075s
Log file: storm_from-umb_check_sparse_wlan.4-0_rep4.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.079 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:17:00 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4961857/tmpb9geaowmstorm_from-umb_check_sparse_wlan.4-0_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4961857/tmpb9geaowmstorm_from-umb_check_sparse_wlan.4-0_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.019s.

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

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

Time for model checking: 0.039s.

Performance statistics:
  * peak memory usage: 61MB
  * CPU time: 0.047s
  * wallclock time: 0.059s
Log file: storm_from-umb_check_sparse_wlan.4-0_rep5.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.083 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 08:56:34 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4964253/tmp12ew4hyestorm_from-umb_check_sparse_wlan.4-0_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4964253/tmp12ew4hyestorm_from-umb_check_sparse_wlan.4-0_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.020s.

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

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

Time for model checking: 0.036s.

Performance statistics:
  * peak memory usage: 61MB
  * CPU time: 0.043s
  * wallclock time: 0.058s