Log files for model resource-gathering.1300-100-100 and tool configuration storm_from-umb_check_sparse

Parsed values
[0.082, 0.075, 0.072, 0.08, 0.077]
Log file: storm_from-umb_check_sparse_resource-gathering.1300-100-100_rep1.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 22.712 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:20:11 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4965384/tmpyq7v2alzstorm_from-umb_check_sparse_resource-gathering.1300-100-100_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4965384/tmpyq7v2alzstorm_from-umb_check_sparse_resource-gathering.1300-100-100_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.082s.

-------------------------------------------------------------- 
Model type: 	MDP (sparse)
States: 	958894
Transitions: 	3325526
Choices: 	3080702
Reward Models:  none
State Labels: 	3 labels
   * success -> 94 item(s)
   * deadlock -> 0 item(s)
   * init -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "prgoldgem": Pmax=? [true U<=1300 "success"] ...
Result (for initial states): 0.6630608525
Time for model checking: 22.603s.

Performance statistics:
  * peak memory usage: 354MB
  * CPU time: 22.570s
  * wallclock time: 22.686s
Log file: storm_from-umb_check_sparse_resource-gathering.1300-100-100_rep2.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 22.315 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:23:11 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4962083/tmp64sgosf7storm_from-umb_check_sparse_resource-gathering.1300-100-100_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4962083/tmp64sgosf7storm_from-umb_check_sparse_resource-gathering.1300-100-100_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.075s.

-------------------------------------------------------------- 
Model type: 	MDP (sparse)
States: 	958894
Transitions: 	3325526
Choices: 	3080702
Reward Models:  none
State Labels: 	3 labels
   * success -> 94 item(s)
   * deadlock -> 0 item(s)
   * init -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "prgoldgem": Pmax=? [true U<=1300 "success"] ...
Result (for initial states): 0.6630608525
Time for model checking: 22.215s.

Performance statistics:
  * peak memory usage: 354MB
  * CPU time: 22.191s
  * wallclock time: 22.292s
Log file: storm_from-umb_check_sparse_resource-gathering.1300-100-100_rep3.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 18.931 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:41:27 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4962894/tmp0fzdfoylstorm_from-umb_check_sparse_resource-gathering.1300-100-100_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4962894/tmp0fzdfoylstorm_from-umb_check_sparse_resource-gathering.1300-100-100_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.072s.

-------------------------------------------------------------- 
Model type: 	MDP (sparse)
States: 	958894
Transitions: 	3325526
Choices: 	3080702
Reward Models:  none
State Labels: 	3 labels
   * success -> 94 item(s)
   * deadlock -> 0 item(s)
   * init -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "prgoldgem": Pmax=? [true U<=1300 "success"] ...
Result (for initial states): 0.6630608525
Time for model checking: 18.836s.

Performance statistics:
  * peak memory usage: 354MB
  * CPU time: 18.819s
  * wallclock time: 18.910s
Log file: storm_from-umb_check_sparse_resource-gathering.1300-100-100_rep4.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 20.105 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:09:53 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4961561/tmprpfwsnoqstorm_from-umb_check_sparse_resource-gathering.1300-100-100_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4961561/tmprpfwsnoqstorm_from-umb_check_sparse_resource-gathering.1300-100-100_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.080s.

-------------------------------------------------------------- 
Model type: 	MDP (sparse)
States: 	958894
Transitions: 	3325526
Choices: 	3080702
Reward Models:  none
State Labels: 	3 labels
   * success -> 94 item(s)
   * deadlock -> 0 item(s)
   * init -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "prgoldgem": Pmax=? [true U<=1300 "success"] ...
Result (for initial states): 0.6630608525
Time for model checking: 19.992s.

Performance statistics:
  * peak memory usage: 354MB
  * CPU time: 19.955s
  * wallclock time: 20.075s
Log file: storm_from-umb_check_sparse_resource-gathering.1300-100-100_rep5.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 19.933 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:54:32 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4967089/tmpxq5qmh5ystorm_from-umb_check_sparse_resource-gathering.1300-100-100_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4967089/tmpxq5qmh5ystorm_from-umb_check_sparse_resource-gathering.1300-100-100_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 0.077s.

-------------------------------------------------------------- 
Model type: 	MDP (sparse)
States: 	958894
Transitions: 	3325526
Choices: 	3080702
Reward Models:  none
State Labels: 	3 labels
   * success -> 94 item(s)
   * deadlock -> 0 item(s)
   * init -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "prgoldgem": Pmax=? [true U<=1300 "success"] ...
Result (for initial states): 0.6630608525
Time for model checking: 19.826s.

Performance statistics:
  * peak memory usage: 354MB
  * CPU time: 19.797s
  * wallclock time: 19.905s