Log files for model fms.8 and tool configuration storm_from-jani_to-drn-xz_sparse
[648.981, 588.928, 442.862, 440.126, 440.097]
Log file: storm_from-jani_to-drn-xz_sparse_fms.8_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 681.270 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:26:13 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957210/tmp_9yy7agsstorm_from-jani_to-drn-xz_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957210/tmp4o9aurrustorm_from-jani_to-drn-xz_sparse_fms.8_tmp_outdir_/model.drn.xz drn --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 32.164s.
--------------------------------------------------------------
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.4957210/tmp4o9aurrustorm_from-jani_to-drn-xz_sparse_fms.8_tmp_outdir_/model.drn.xz'.
Time for model export: 648.981s.
Performance statistics:
* peak memory usage: 2501MB
* CPU time: 677.737s
* wallclock time: 681.161s
############################## Output files ##############################
model.drn.xz: Size of output file is 72628740 bytes
Log file: storm_from-jani_to-drn-xz_sparse_fms.8_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 621.233 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:41:28 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957718/tmp9_7m0s3fstorm_from-jani_to-drn-xz_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957718/tmp2d2q86hrstorm_from-jani_to-drn-xz_sparse_fms.8_tmp_outdir_/model.drn.xz drn --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 32.246s.
--------------------------------------------------------------
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.4957718/tmp2d2q86hrstorm_from-jani_to-drn-xz_sparse_fms.8_tmp_outdir_/model.drn.xz'.
Time for model export: 588.928s.
Performance statistics:
* peak memory usage: 2501MB
* CPU time: 618.493s
* wallclock time: 621.189s
############################## Output files ##############################
model.drn.xz: Size of output file is 72628740 bytes
Log file: storm_from-jani_to-drn-xz_sparse_fms.8_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 473.458 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:53:01 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955875/tmpjtny322ustorm_from-jani_to-drn-xz_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955875/tmpcqe7rmaxstorm_from-jani_to-drn-xz_sparse_fms.8_tmp_outdir_/model.drn.xz drn --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 30.550s.
--------------------------------------------------------------
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.4955875/tmpcqe7rmaxstorm_from-jani_to-drn-xz_sparse_fms.8_tmp_outdir_/model.drn.xz'.
Time for model export: 442.862s.
Performance statistics:
* peak memory usage: 2501MB
* CPU time: 471.391s
* wallclock time: 473.426s
############################## Output files ##############################
model.drn.xz: Size of output file is 72628740 bytes
Log file: storm_from-jani_to-drn-xz_sparse_fms.8_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 471.244 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:10:40 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956591/tmp1ovdj2f7storm_from-jani_to-drn-xz_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956591/tmp0yiaudgjstorm_from-jani_to-drn-xz_sparse_fms.8_tmp_outdir_/model.drn.xz drn --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 31.077s.
--------------------------------------------------------------
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.4956591/tmp0yiaudgjstorm_from-jani_to-drn-xz_sparse_fms.8_tmp_outdir_/model.drn.xz'.
Time for model export: 440.126s.
Performance statistics:
* peak memory usage: 2501MB
* CPU time: 469.031s
* wallclock time: 471.217s
############################## Output files ##############################
model.drn.xz: Size of output file is 72628740 bytes
Log file: storm_from-jani_to-drn-xz_sparse_fms.8_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 470.826 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:53:52 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958150/tmpn1dlr80ostorm_from-jani_to-drn-xz_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958150/tmpzvis81ejstorm_from-jani_to-drn-xz_sparse_fms.8_tmp_outdir_/model.drn.xz drn --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 30.681s.
--------------------------------------------------------------
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.4958150/tmpzvis81ejstorm_from-jani_to-drn-xz_sparse_fms.8_tmp_outdir_/model.drn.xz'.
Time for model export: 440.097s.
Performance statistics:
* peak memory usage: 2501MB
* CPU time: 468.805s
* wallclock time: 470.792s
############################## Output files ##############################
model.drn.xz: Size of output file is 72628740 bytes