Log files for model zeroconf.1000-8-false and tool configuration storm_from-umb_check_sparse

Parsed values
[0.097, 0.107, 0.106, 0.107, 0.101]
Log file: storm_from-umb_check_sparse_zeroconf.1000-8-false_rep1.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.955 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:00:13 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4964443/tmpzsa82ythstorm_from-umb_check_sparse_zeroconf.1000-8-false_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4964443/tmpzsa82ythstorm_from-umb_check_sparse_zeroconf.1000-8-false_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.097s.

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

Model checking property "correct_max": Pmax=? [F "target"] ...
Result (for initial states): 4.801413635e-08
Time for model checking: 0.834s.

Performance statistics:
  * peak memory usage: 478MB
  * CPU time: 0.843s
  * wallclock time: 0.933s
Log file: storm_from-umb_check_sparse_zeroconf.1000-8-false_rep2.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 1.062 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:11:47 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4965002/tmpy_ol69ugstorm_from-umb_check_sparse_zeroconf.1000-8-false_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4965002/tmpy_ol69ugstorm_from-umb_check_sparse_zeroconf.1000-8-false_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.107s.

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

Model checking property "correct_max": Pmax=? [F "target"] ...
Result (for initial states): 4.801413635e-08
Time for model checking: 0.931s.

Performance statistics:
  * peak memory usage: 478MB
  * CPU time: 0.964s
  * wallclock time: 1.040s
Log file: storm_from-umb_check_sparse_zeroconf.1000-8-false_rep3.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.908 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:28:44 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4962330/tmp1vuce1zgstorm_from-umb_check_sparse_zeroconf.1000-8-false_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4962330/tmp1vuce1zgstorm_from-umb_check_sparse_zeroconf.1000-8-false_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.106s.

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

Model checking property "correct_max": Pmax=? [F "target"] ...
Result (for initial states): 4.801413635e-08
Time for model checking: 0.775s.

Performance statistics:
  * peak memory usage: 478MB
  * CPU time: 0.811s
  * wallclock time: 0.884s
Log file: storm_from-umb_check_sparse_zeroconf.1000-8-false_rep4.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.930 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:06:02 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4961400/tmpodo52to4storm_from-umb_check_sparse_zeroconf.1000-8-false_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4961400/tmpodo52to4storm_from-umb_check_sparse_zeroconf.1000-8-false_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.107s.

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

Model checking property "correct_max": Pmax=? [F "target"] ...
Result (for initial states): 4.801413635e-08
Time for model checking: 0.800s.

Performance statistics:
  * peak memory usage: 478MB
  * CPU time: 0.819s
  * wallclock time: 0.909s
Log file: storm_from-umb_check_sparse_zeroconf.1000-8-false_rep5.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.943 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:24:18 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4962132/tmpekw_fordstorm_from-umb_check_sparse_zeroconf.1000-8-false_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4962132/tmpekw_fordstorm_from-umb_check_sparse_zeroconf.1000-8-false_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.101s.

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

Model checking property "correct_max": Pmax=? [F "target"] ...
Result (for initial states): 4.801413635e-08
Time for model checking: 0.821s.

Performance statistics:
  * peak memory usage: 478MB
  * CPU time: 0.840s
  * wallclock time: 0.924s