Log files for model herman.15 and tool configuration storm_from-umb_check_sparse

Parsed values
[0.191, 0.195, 0.179, 0.182, 0.302]
Log file: storm_from-umb_check_sparse_herman.15_rep1.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.941 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.4964442/tmphqbks7c9storm_from-umb_check_sparse_herman.15_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4964442/tmphqbks7c9storm_from-umb_check_sparse_herman.15_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.191s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	32768
Transitions: 	14348908
Reward Models:  steps
State Labels: 	3 labels
   * stable -> 30 item(s)
   * deadlock -> 0 item(s)
   * init -> 32768 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "steps": R=? [F "stable"] ...
Result (for initial states): 33.33333416
Time for model checking: 0.728s.

Performance statistics:
  * peak memory usage: 728MB
  * CPU time: 0.770s
  * wallclock time: 0.921s
Log file: storm_from-umb_check_sparse_herman.15_rep2.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.958 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:17:34 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4961873/tmptqwwdh3cstorm_from-umb_check_sparse_herman.15_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4961873/tmptqwwdh3cstorm_from-umb_check_sparse_herman.15_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.195s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	32768
Transitions: 	14348908
Reward Models:  steps
State Labels: 	3 labels
   * stable -> 30 item(s)
   * deadlock -> 0 item(s)
   * init -> 32768 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "steps": R=? [F "stable"] ...
Result (for initial states): 33.33333416
Time for model checking: 0.735s.

Performance statistics:
  * peak memory usage: 729MB
  * CPU time: 0.778s
  * wallclock time: 0.933s
Log file: storm_from-umb_check_sparse_herman.15_rep3.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.888 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:21:56 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4962052/tmpj66n4fxastorm_from-umb_check_sparse_herman.15_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4962052/tmpj66n4fxastorm_from-umb_check_sparse_herman.15_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.179s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	32768
Transitions: 	14348908
Reward Models:  steps
State Labels: 	3 labels
   * stable -> 30 item(s)
   * deadlock -> 0 item(s)
   * init -> 32768 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "steps": R=? [F "stable"] ...
Result (for initial states): 33.33333416
Time for model checking: 0.687s.

Performance statistics:
  * peak memory usage: 728MB
  * CPU time: 0.730s
  * wallclock time: 0.868s
Log file: storm_from-umb_check_sparse_herman.15_rep4.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.890 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:05:30 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4964726/tmpjhytdb3astorm_from-umb_check_sparse_herman.15_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4964726/tmpjhytdb3astorm_from-umb_check_sparse_herman.15_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.182s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	32768
Transitions: 	14348908
Reward Models:  steps
State Labels: 	3 labels
   * stable -> 30 item(s)
   * deadlock -> 0 item(s)
   * init -> 32768 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "steps": R=? [F "stable"] ...
Result (for initial states): 33.33333416
Time for model checking: 0.684s.

Performance statistics:
  * peak memory usage: 727MB
  * CPU time: 0.733s
  * wallclock time: 0.868s
Log file: storm_from-umb_check_sparse_herman.15_rep5.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 1.081 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:13:06 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4961694/tmpgb8s9mqystorm_from-umb_check_sparse_herman.15_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4961694/tmpgb8s9mqystorm_from-umb_check_sparse_herman.15_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.302s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	32768
Transitions: 	14348908
Reward Models:  steps
State Labels: 	3 labels
   * stable -> 30 item(s)
   * deadlock -> 0 item(s)
   * init -> 32768 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "steps": R=? [F "stable"] ...
Result (for initial states): 33.33333416
Time for model checking: 0.748s.

Performance statistics:
  * peak memory usage: 726MB
  * CPU time: 0.691s
  * wallclock time: 1.059s