Log files for model pnueli-zuck.5 and tool configuration storm_from-jani_to-drn-gz_sparse
[2.334, 2.348, 2.41, 2.347, 2.383]
Log file: storm_from-jani_to-drn-gz_sparse_pnueli-zuck.5_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 4.467 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:31:49 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955031/tmp_mad31jqstorm_from-jani_to-drn-gz_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955031/tmpp2869g3nstorm_from-jani_to-drn-gz_sparse_pnueli-zuck.5_tmp_outdir_/model.drn.gz drn --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.939s.
--------------------------------------------------------------
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.4955031/tmpp2869g3nstorm_from-jani_to-drn-gz_sparse_pnueli-zuck.5_tmp_outdir_/model.drn.gz'.
Time for model export: 2.334s.
Performance statistics:
* peak memory usage: 246MB
* CPU time: 4.225s
* wallclock time: 4.280s
############################## Output files ##############################
model.drn.gz: Size of output file is 8958475 bytes
Log file: storm_from-jani_to-drn-gz_sparse_pnueli-zuck.5_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 4.382 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 00:00:10 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958404/tmpx1achpaxstorm_from-jani_to-drn-gz_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958404/tmptfl86iy5storm_from-jani_to-drn-gz_sparse_pnueli-zuck.5_tmp_outdir_/model.drn.gz drn --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.998s.
--------------------------------------------------------------
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.4958404/tmptfl86iy5storm_from-jani_to-drn-gz_sparse_pnueli-zuck.5_tmp_outdir_/model.drn.gz'.
Time for model export: 2.348s.
Performance statistics:
* peak memory usage: 247MB
* CPU time: 4.294s
* wallclock time: 4.353s
############################## Output files ##############################
model.drn.gz: Size of output file is 8958475 bytes
Log file: storm_from-jani_to-drn-gz_sparse_pnueli-zuck.5_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 4.499 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:53:18 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958130/tmpnnmysat4storm_from-jani_to-drn-gz_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958130/tmpg7brt66bstorm_from-jani_to-drn-gz_sparse_pnueli-zuck.5_tmp_outdir_/model.drn.gz drn --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.044s.
--------------------------------------------------------------
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.4958130/tmpg7brt66bstorm_from-jani_to-drn-gz_sparse_pnueli-zuck.5_tmp_outdir_/model.drn.gz'.
Time for model export: 2.410s.
Performance statistics:
* peak memory usage: 246MB
* CPU time: 4.407s
* wallclock time: 4.460s
############################## Output files ##############################
model.drn.gz: Size of output file is 8958475 bytes
Log file: storm_from-jani_to-drn-gz_sparse_pnueli-zuck.5_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 4.326 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:10:05 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956580/tmpoll_w0gsstorm_from-jani_to-drn-gz_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956580/tmpt5f7b3lfstorm_from-jani_to-drn-gz_sparse_pnueli-zuck.5_tmp_outdir_/model.drn.gz drn --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.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.4956580/tmpt5f7b3lfstorm_from-jani_to-drn-gz_sparse_pnueli-zuck.5_tmp_outdir_/model.drn.gz'.
Time for model export: 2.347s.
Performance statistics:
* peak memory usage: 246MB
* CPU time: 4.238s
* wallclock time: 4.297s
############################## Output files ##############################
model.drn.gz: Size of output file is 8958475 bytes
Log file: storm_from-jani_to-drn-gz_sparse_pnueli-zuck.5_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 4.493 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.4955637/tmp_bbw07b9storm_from-jani_to-drn-gz_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955637/tmpb7tidnbpstorm_from-jani_to-drn-gz_sparse_pnueli-zuck.5_tmp_outdir_/model.drn.gz drn --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.075s.
--------------------------------------------------------------
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.4955637/tmpb7tidnbpstorm_from-jani_to-drn-gz_sparse_pnueli-zuck.5_tmp_outdir_/model.drn.gz'.
Time for model export: 2.383s.
Performance statistics:
* peak memory usage: 246MB
* CPU time: 4.379s
* wallclock time: 4.465s
############################## Output files ##############################
model.drn.gz: Size of output file is 8958475 bytes