Log files for model haddad-monmege.100-0.7 and tool configuration storm_from-umb_check_sparse

Parsed values
[0.0, 0.0, 0.001, 0.0, 0.0]
Log file: storm_from-umb_check_sparse_haddad-monmege.100-0.7_rep1.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.025 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.4961402/tmp8wjgiqi5storm_from-umb_check_sparse_haddad-monmege.100-0.7_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4961402/tmp8wjgiqi5storm_from-umb_check_sparse_haddad-monmege.100-0.7_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.000s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	201
Transitions: 	400
Reward Models:  none
State Labels: 	3 labels
   * deadlock -> 0 item(s)
   * Target -> 1 item(s)
   * init -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "target": P=? [F "Target"] ...
Result (for initial states): 0.5
Time for model checking: 0.000s.

Performance statistics:
  * peak memory usage: 20MB
  * CPU time: 0.005s
  * wallclock time: 0.002s
Log file: storm_from-umb_check_sparse_haddad-monmege.100-0.7_rep2.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.021 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:14:14 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4961738/tmpb4attwfzstorm_from-umb_check_sparse_haddad-monmege.100-0.7_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4961738/tmpb4attwfzstorm_from-umb_check_sparse_haddad-monmege.100-0.7_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.000s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	201
Transitions: 	400
Reward Models:  none
State Labels: 	3 labels
   * deadlock -> 0 item(s)
   * Target -> 1 item(s)
   * init -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "target": P=? [F "Target"] ...
Result (for initial states): 0.5
Time for model checking: 0.000s.

Performance statistics:
  * peak memory usage: 20MB
  * CPU time: 0.007s
  * wallclock time: 0.001s
Log file: storm_from-umb_check_sparse_haddad-monmege.100-0.7_rep3.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.031 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:41:12 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4966489/tmp3m2h27c0storm_from-umb_check_sparse_haddad-monmege.100-0.7_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4966489/tmp3m2h27c0storm_from-umb_check_sparse_haddad-monmege.100-0.7_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.001s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	201
Transitions: 	400
Reward Models:  none
State Labels: 	3 labels
   * deadlock -> 0 item(s)
   * Target -> 1 item(s)
   * init -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "target": P=? [F "Target"] ...
Result (for initial states): 0.5
Time for model checking: 0.000s.

Performance statistics:
  * peak memory usage: 20MB
  * CPU time: 0.011s
  * wallclock time: 0.003s
Log file: storm_from-umb_check_sparse_haddad-monmege.100-0.7_rep4.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.026 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:14:25 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4965117/tmp71jbb8u2storm_from-umb_check_sparse_haddad-monmege.100-0.7_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4965117/tmp71jbb8u2storm_from-umb_check_sparse_haddad-monmege.100-0.7_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.000s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	201
Transitions: 	400
Reward Models:  none
State Labels: 	3 labels
   * deadlock -> 0 item(s)
   * Target -> 1 item(s)
   * init -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "target": P=? [F "Target"] ...
Result (for initial states): 0.5
Time for model checking: 0.000s.

Performance statistics:
  * peak memory usage: 21MB
  * CPU time: 0.010s
  * wallclock time: 0.002s
Log file: storm_from-umb_check_sparse_haddad-monmege.100-0.7_rep5.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.024 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:06:35 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4961411/tmpk34rc1nustorm_from-umb_check_sparse_haddad-monmege.100-0.7_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4961411/tmpk34rc1nustorm_from-umb_check_sparse_haddad-monmege.100-0.7_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.000s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	201
Transitions: 	400
Reward Models:  none
State Labels: 	3 labels
   * deadlock -> 0 item(s)
   * Target -> 1 item(s)
   * init -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "target": P=? [F "Target"] ...
Result (for initial states): 0.5
Time for model checking: 0.000s.

Performance statistics:
  * peak memory usage: 20MB
  * CPU time: 0.003s
  * wallclock time: 0.002s