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

Parsed values
[3.331, 3.385, 3.858, 3.818, 3.88]
Log file: storm_from-jani_check_sparse_resource-gathering.1300-100-100_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 22.373 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:06:01 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961391/tmp0rqz2f0lstorm_from-jani_check_sparse_resource-gathering.1300-100-100_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 0.001s.

Time for model construction: 3.330s.

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

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

Performance statistics:
  * peak memory usage: 391MB
  * CPU time: 22.273s
  * wallclock time: 22.351s
Log file: storm_from-jani_check_sparse_resource-gathering.1300-100-100_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 25.059 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 08:51:02 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964036/tmpumvsh1atstorm_from-jani_check_sparse_resource-gathering.1300-100-100_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 0.002s.

Time for model construction: 3.383s.

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

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

Performance statistics:
  * peak memory usage: 391MB
  * CPU time: 24.923s
  * wallclock time: 25.028s
Log file: storm_from-jani_check_sparse_resource-gathering.1300-100-100_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 24.980 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:11:49 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4965010/tmpk2px0ec4storm_from-jani_check_sparse_resource-gathering.1300-100-100_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 0.001s.

Time for model construction: 3.857s.

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

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

Performance statistics:
  * peak memory usage: 392MB
  * CPU time: 24.807s
  * wallclock time: 24.955s
Log file: storm_from-jani_check_sparse_resource-gathering.1300-100-100_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 24.039 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:06:03 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961405/tmp52wxz9bwstorm_from-jani_check_sparse_resource-gathering.1300-100-100_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 0.001s.

Time for model construction: 3.817s.

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

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

Performance statistics:
  * peak memory usage: 392MB
  * CPU time: 23.588s
  * wallclock time: 23.839s
Log file: storm_from-jani_check_sparse_resource-gathering.1300-100-100_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 29.955 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:02:23 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964588/tmpyh0706_xstorm_from-jani_check_sparse_resource-gathering.1300-100-100_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 0.001s.

Time for model construction: 3.879s.

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

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

Performance statistics:
  * peak memory usage: 391MB
  * CPU time: 29.745s
  * wallclock time: 29.931s