Log files for model herman.15 and tool configuration storm_from-jani_to-drn-gz_sparse
[7.141, 7.699, 6.994, 7.804, 7.597]
Log file: storm_from-jani_to-drn-gz_sparse_herman.15_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 40.087 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 00:01:53 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958489/tmpuwc1lwx8storm_from-jani_to-drn-gz_sparse_herman.15_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958489/tmp_c2kr5rpstorm_from-jani_to-drn-gz_sparse_herman.15_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.001s.
Time for model construction: 32.922s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 32768
Transitions: 14348908
Reward Models: steps
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 32768 item(s)
* stable -> 30 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958489/tmp_c2kr5rpstorm_from-jani_to-drn-gz_sparse_herman.15_tmp_outdir_/model.drn.gz'.
Time for model export: 7.141s.
Performance statistics:
* peak memory usage: 850MB
* CPU time: 39.779s
* wallclock time: 40.066s
############################## Output files ##############################
model.drn.gz: Size of output file is 35946792 bytes
Log file: storm_from-jani_to-drn-gz_sparse_herman.15_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 43.036 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:07:41 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956490/tmphdodllasstorm_from-jani_to-drn-gz_sparse_herman.15_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956490/tmp1jf1kk86storm_from-jani_to-drn-gz_sparse_herman.15_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: 35.304s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 32768
Transitions: 14348908
Reward Models: steps
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 32768 item(s)
* stable -> 30 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956490/tmp1jf1kk86storm_from-jani_to-drn-gz_sparse_herman.15_tmp_outdir_/model.drn.gz'.
Time for model export: 7.699s.
Performance statistics:
* peak memory usage: 850MB
* CPU time: 42.685s
* wallclock time: 43.008s
############################## Output files ##############################
model.drn.gz: Size of output file is 35946792 bytes
Log file: storm_from-jani_to-drn-gz_sparse_herman.15_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 39.624 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:04:11 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956310/tmp6dkiraeistorm_from-jani_to-drn-gz_sparse_herman.15_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956310/tmp8dvretwsstorm_from-jani_to-drn-gz_sparse_herman.15_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.001s.
Time for model construction: 32.604s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 32768
Transitions: 14348908
Reward Models: steps
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 32768 item(s)
* stable -> 30 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956310/tmp8dvretwsstorm_from-jani_to-drn-gz_sparse_herman.15_tmp_outdir_/model.drn.gz'.
Time for model export: 6.994s.
Performance statistics:
* peak memory usage: 850MB
* CPU time: 39.293s
* wallclock time: 39.601s
############################## Output files ##############################
model.drn.gz: Size of output file is 35946792 bytes
Log file: storm_from-jani_to-drn-gz_sparse_herman.15_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 44.116 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:34:00 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957520/tmpg0_wpokistorm_from-jani_to-drn-gz_sparse_herman.15_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957520/tmpa3cbx9afstorm_from-jani_to-drn-gz_sparse_herman.15_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.001s.
Time for model construction: 36.284s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 32768
Transitions: 14348908
Reward Models: steps
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 32768 item(s)
* stable -> 30 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957520/tmpa3cbx9afstorm_from-jani_to-drn-gz_sparse_herman.15_tmp_outdir_/model.drn.gz'.
Time for model export: 7.804s.
Performance statistics:
* peak memory usage: 850MB
* CPU time: 43.778s
* wallclock time: 44.092s
############################## Output files ##############################
model.drn.gz: Size of output file is 35946792 bytes
Log file: storm_from-jani_to-drn-gz_sparse_herman.15_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 42.708 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.4957491/tmpmg86frtistorm_from-jani_to-drn-gz_sparse_herman.15_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957491/tmpy4m2mrmwstorm_from-jani_to-drn-gz_sparse_herman.15_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.001s.
Time for model construction: 35.078s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 32768
Transitions: 14348908
Reward Models: steps
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 32768 item(s)
* stable -> 30 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957491/tmpy4m2mrmwstorm_from-jani_to-drn-gz_sparse_herman.15_tmp_outdir_/model.drn.gz'.
Time for model export: 7.597s.
Performance statistics:
* peak memory usage: 850MB
* CPU time: 42.403s
* wallclock time: 42.679s
############################## Output files ##############################
model.drn.gz: Size of output file is 35946792 bytes