Log files for model pnueli-zuck.5 and tool configuration storm_from-jani_to-umb-xz_sparse
[13.352, 16.16, 13.697, 15.484, 13.655]
Log file: storm_from-jani_to-umb-xz_sparse_pnueli-zuck.5_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 15.353 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:13:37 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956663/tmpaxir79t2storm_from-jani_to-umb-xz_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956663/tmp8pp74gysstorm_from-jani_to-umb-xz_sparse_pnueli-zuck.5_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 1.944s.
--------------------------------------------------------------
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.4956663/tmp8pp74gysstorm_from-jani_to-umb-xz_sparse_pnueli-zuck.5_tmp_outdir_/model.umb.xz'.
Time for model export: 13.352s.
Performance statistics:
* peak memory usage: 254MB
* CPU time: 15.220s
* wallclock time: 15.303s
############################## Output files ##############################
model.umb.xz: Size of output file is 3487044 bytes
Log file: storm_from-jani_to-umb-xz_sparse_pnueli-zuck.5_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 18.326 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:33:59 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957519/tmpp99767bpstorm_from-jani_to-umb-xz_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957519/tmpaop8s3f9storm_from-jani_to-umb-xz_sparse_pnueli-zuck.5_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 2.128s.
--------------------------------------------------------------
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.4957519/tmpaop8s3f9storm_from-jani_to-umb-xz_sparse_pnueli-zuck.5_tmp_outdir_/model.umb.xz'.
Time for model export: 16.160s.
Performance statistics:
* peak memory usage: 255MB
* CPU time: 18.159s
* wallclock time: 18.294s
############################## Output files ##############################
model.umb.xz: Size of output file is 3486028 bytes
Log file: storm_from-jani_to-umb-xz_sparse_pnueli-zuck.5_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 15.679 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:54:10 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955916/tmpk97rzujlstorm_from-jani_to-umb-xz_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955916/tmpy09yxg71storm_from-jani_to-umb-xz_sparse_pnueli-zuck.5_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 1.953s.
--------------------------------------------------------------
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.4955916/tmpy09yxg71storm_from-jani_to-umb-xz_sparse_pnueli-zuck.5_tmp_outdir_/model.umb.xz'.
Time for model export: 13.697s.
Performance statistics:
* peak memory usage: 254MB
* CPU time: 15.565s
* wallclock time: 15.656s
############################## Output files ##############################
model.umb.xz: Size of output file is 3484248 bytes
Log file: storm_from-jani_to-umb-xz_sparse_pnueli-zuck.5_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 17.555 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:55:35 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958231/tmpvqz4akp2storm_from-jani_to-umb-xz_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958231/tmpvg_e0xymstorm_from-jani_to-umb-xz_sparse_pnueli-zuck.5_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 2.031s.
--------------------------------------------------------------
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.4958231/tmpvg_e0xymstorm_from-jani_to-umb-xz_sparse_pnueli-zuck.5_tmp_outdir_/model.umb.xz'.
Time for model export: 15.484s.
Performance statistics:
* peak memory usage: 254MB
* CPU time: 17.405s
* wallclock time: 17.522s
############################## Output files ##############################
model.umb.xz: Size of output file is 3488500 bytes
Log file: storm_from-jani_to-umb-xz_sparse_pnueli-zuck.5_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 15.663 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.4958033/tmpbfgw2jvfstorm_from-jani_to-umb-xz_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958033/tmphp91xreustorm_from-jani_to-umb-xz_sparse_pnueli-zuck.5_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 1.971s.
--------------------------------------------------------------
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.4958033/tmphp91xreustorm_from-jani_to-umb-xz_sparse_pnueli-zuck.5_tmp_outdir_/model.umb.xz'.
Time for model export: 13.655s.
Performance statistics:
* peak memory usage: 255MB
* CPU time: 15.542s
* wallclock time: 15.633s
############################## Output files ##############################
model.umb.xz: Size of output file is 3486096 bytes