Log files for model resource-gathering.1300-100-100 and tool configuration storm_from-umb_check_sparse
[22.712, 22.315, 18.931, 20.105, 19.933]
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