Log files for model fms.8 and tool configuration storm_from-jani_to-drn-gz_sparse
[36.243, 39.001, 38.88, 38.958, 39.449]
Log file: storm_from-jani_to-drn-gz_sparse_fms.8_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 65.780 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.4958031/tmpt_2jdt6astorm_from-jani_to-drn-gz_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958031/tmp18hiagppstorm_from-jani_to-drn-gz_sparse_fms.8_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: 29.500s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 4459455
Transitions: 38533968
Reward Models: productivity
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958031/tmp18hiagppstorm_from-jani_to-drn-gz_sparse_fms.8_tmp_outdir_/model.drn.gz'.
Time for model export: 36.243s.
Performance statistics:
* peak memory usage: 2432MB
* CPU time: 64.747s
* wallclock time: 65.757s
############################## Output files ##############################
model.drn.gz: Size of output file is 155856977 bytes
Log file: storm_from-jani_to-drn-gz_sparse_fms.8_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 69.750 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:23:54 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957112/tmps2ylrctbstorm_from-jani_to-drn-gz_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957112/tmpnl8m3hjystorm_from-jani_to-drn-gz_sparse_fms.8_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: 30.708s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 4459455
Transitions: 38533968
Reward Models: productivity
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957112/tmpnl8m3hjystorm_from-jani_to-drn-gz_sparse_fms.8_tmp_outdir_/model.drn.gz'.
Time for model export: 39.001s.
Performance statistics:
* peak memory usage: 2432MB
* CPU time: 68.933s
* wallclock time: 69.723s
############################## Output files ##############################
model.drn.gz: Size of output file is 155856977 bytes
Log file: storm_from-jani_to-drn-gz_sparse_fms.8_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 69.539 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:47:20 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957922/tmpd_auzna6storm_from-jani_to-drn-gz_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957922/tmplvbtyqp9storm_from-jani_to-drn-gz_sparse_fms.8_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: 30.617s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 4459455
Transitions: 38533968
Reward Models: productivity
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957922/tmplvbtyqp9storm_from-jani_to-drn-gz_sparse_fms.8_tmp_outdir_/model.drn.gz'.
Time for model export: 38.880s.
Performance statistics:
* peak memory usage: 2434MB
* CPU time: 68.738s
* wallclock time: 69.511s
############################## Output files ##############################
model.drn.gz: Size of output file is 155856977 bytes
Log file: storm_from-jani_to-drn-gz_sparse_fms.8_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 71.213 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:56:10 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958240/tmpkqnmvwjvstorm_from-jani_to-drn-gz_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958240/tmpinugh0d1storm_from-jani_to-drn-gz_sparse_fms.8_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: 32.208s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 4459455
Transitions: 38533968
Reward Models: productivity
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958240/tmpinugh0d1storm_from-jani_to-drn-gz_sparse_fms.8_tmp_outdir_/model.drn.gz'.
Time for model export: 38.958s.
Performance statistics:
* peak memory usage: 2433MB
* CPU time: 70.344s
* wallclock time: 71.180s
############################## Output files ##############################
model.drn.gz: Size of output file is 155856977 bytes
Log file: storm_from-jani_to-drn-gz_sparse_fms.8_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 71.795 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:14:11 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956695/tmpib2gt8z5storm_from-jani_to-drn-gz_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956695/tmpumy694gjstorm_from-jani_to-drn-gz_sparse_fms.8_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: 32.301s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 4459455
Transitions: 38533968
Reward Models: productivity
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956695/tmpumy694gjstorm_from-jani_to-drn-gz_sparse_fms.8_tmp_outdir_/model.drn.gz'.
Time for model export: 39.449s.
Performance statistics:
* peak memory usage: 2434MB
* CPU time: 70.794s
* wallclock time: 71.768s
############################## Output files ##############################
model.drn.gz: Size of output file is 155856977 bytes