Log files for model pnueli-zuck.5 and tool configuration storm_from-jani_to-umb-gz_sparse
[2.006, 2.46, 2.332, 2.339, 2.333]
Log file: storm_from-jani_to-umb-gz_sparse_pnueli-zuck.5_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 3.713 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:44:24 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955541/tmp74tz4o82storm_from-jani_to-umb-gz_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955541/tmpjx_5mt__storm_from-jani_to-umb-gz_sparse_pnueli-zuck.5_tmp_outdir_/model.umb.gz umb --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 1.684s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 397435
Transitions: 2492035
Choices: 2323315
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 10000 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955541/tmpjx_5mt__storm_from-jani_to-umb-gz_sparse_pnueli-zuck.5_tmp_outdir_/model.umb.gz'.
Time for model export: 2.006s.
Performance statistics:
* peak memory usage: 165MB
* CPU time: 3.664s
* wallclock time: 3.695s
############################## Output files ##############################
model.umb.gz: Size of output file is 9334830 bytes
Log file: storm_from-jani_to-umb-gz_sparse_pnueli-zuck.5_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 4.653 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:32:48 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957479/tmpuu7uuvyystorm_from-jani_to-umb-gz_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957479/tmp0gtdduyustorm_from-jani_to-umb-gz_sparse_pnueli-zuck.5_tmp_outdir_/model.umb.gz umb --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 2.152s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 397435
Transitions: 2492035
Choices: 2323315
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 10000 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957479/tmp0gtdduyustorm_from-jani_to-umb-gz_sparse_pnueli-zuck.5_tmp_outdir_/model.umb.gz'.
Time for model export: 2.460s.
Performance statistics:
* peak memory usage: 165MB
* CPU time: 4.581s
* wallclock time: 4.618s
############################## Output files ##############################
model.umb.gz: Size of output file is 9334841 bytes
Log file: storm_from-jani_to-umb-gz_sparse_pnueli-zuck.5_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 4.526 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:12:25 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956627/tmpv6qgp3tystorm_from-jani_to-umb-gz_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956627/tmpqz8v4cjqstorm_from-jani_to-umb-gz_sparse_pnueli-zuck.5_tmp_outdir_/model.umb.gz umb --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 2.156s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 397435
Transitions: 2492035
Choices: 2323315
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 10000 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956627/tmpqz8v4cjqstorm_from-jani_to-umb-gz_sparse_pnueli-zuck.5_tmp_outdir_/model.umb.gz'.
Time for model export: 2.332s.
Performance statistics:
* peak memory usage: 166MB
* CPU time: 4.440s
* wallclock time: 4.493s
############################## Output files ##############################
model.umb.gz: Size of output file is 9334830 bytes
Log file: storm_from-jani_to-umb-gz_sparse_pnueli-zuck.5_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 4.335 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:46:42 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955631/tmp2vry0ri6storm_from-jani_to-umb-gz_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955631/tmp4z24663ostorm_from-jani_to-umb-gz_sparse_pnueli-zuck.5_tmp_outdir_/model.umb.gz umb --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 1.948s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 397435
Transitions: 2492035
Choices: 2323315
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 10000 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955631/tmp4z24663ostorm_from-jani_to-umb-gz_sparse_pnueli-zuck.5_tmp_outdir_/model.umb.gz'.
Time for model export: 2.339s.
Performance statistics:
* peak memory usage: 165MB
* CPU time: 4.253s
* wallclock time: 4.294s
############################## Output files ##############################
model.umb.gz: Size of output file is 9334830 bytes
Log file: storm_from-jani_to-umb-gz_sparse_pnueli-zuck.5_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 4.401 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:51:00 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958023/tmpafavxa8ystorm_from-jani_to-umb-gz_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958023/tmpml9l8r9wstorm_from-jani_to-umb-gz_sparse_pnueli-zuck.5_tmp_outdir_/model.umb.gz umb --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 2.040s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 397435
Transitions: 2492035
Choices: 2323315
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 10000 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958023/tmpml9l8r9wstorm_from-jani_to-umb-gz_sparse_pnueli-zuck.5_tmp_outdir_/model.umb.gz'.
Time for model export: 2.333s.
Performance statistics:
* peak memory usage: 165MB
* CPU time: 4.342s
* wallclock time: 4.378s
############################## Output files ##############################
model.umb.gz: Size of output file is 9334830 bytes