Log files for model speed-ind.2100 and tool configuration storm_from-jani_to-drn_sparse
[3.143, 3.136, 3.13, 3.16, 2.933]
Log file: storm_from-jani_to-drn_sparse_speed-ind.2100_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 7.491 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:16:28 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956787/tmp042vtmrzstorm_from-jani_to-drn_sparse_speed-ind.2100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956787/tmp4jnndgnqstorm_from-jani_to-drn_sparse_speed-ind.2100_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.009s.
Time for model construction: 4.307s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 743424
Transitions: 9518080
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 24576 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956787/tmp4jnndgnqstorm_from-jani_to-drn_sparse_speed-ind.2100_tmp_outdir_/model.drn'.
Time for model export: 3.143s.
Performance statistics:
* peak memory usage: 320MB
* CPU time: 7.307s
* wallclock time: 7.463s
############################## Output files ##############################
model.drn: Size of output file is 230333965 bytes
Log file: storm_from-jani_to-drn_sparse_speed-ind.2100_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 7.548 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:58:26 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958346/tmpoc7x269fstorm_from-jani_to-drn_sparse_speed-ind.2100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958346/tmp0bq8ku1rstorm_from-jani_to-drn_sparse_speed-ind.2100_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.008s.
Time for model construction: 4.369s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 743424
Transitions: 9518080
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 24576 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958346/tmp0bq8ku1rstorm_from-jani_to-drn_sparse_speed-ind.2100_tmp_outdir_/model.drn'.
Time for model export: 3.136s.
Performance statistics:
* peak memory usage: 320MB
* CPU time: 7.392s
* wallclock time: 7.517s
############################## Output files ##############################
model.drn: Size of output file is 230333965 bytes
Log file: storm_from-jani_to-drn_sparse_speed-ind.2100_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 7.718 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:37:32 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955252/tmpro7e8rk3storm_from-jani_to-drn_sparse_speed-ind.2100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955252/tmpiitq_1okstorm_from-jani_to-drn_sparse_speed-ind.2100_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.009s.
Time for model construction: 4.553s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 743424
Transitions: 9518080
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 24576 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955252/tmpiitq_1okstorm_from-jani_to-drn_sparse_speed-ind.2100_tmp_outdir_/model.drn'.
Time for model export: 3.130s.
Performance statistics:
* peak memory usage: 320MB
* CPU time: 7.535s
* wallclock time: 7.696s
############################## Output files ##############################
model.drn: Size of output file is 230333965 bytes
Log file: storm_from-jani_to-drn_sparse_speed-ind.2100_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 7.643 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:37:08 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957571/tmptv0cuwzmstorm_from-jani_to-drn_sparse_speed-ind.2100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957571/tmp2g74fwc3storm_from-jani_to-drn_sparse_speed-ind.2100_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.009s.
Time for model construction: 4.447s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 743424
Transitions: 9518080
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 24576 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957571/tmp2g74fwc3storm_from-jani_to-drn_sparse_speed-ind.2100_tmp_outdir_/model.drn'.
Time for model export: 3.160s.
Performance statistics:
* peak memory usage: 319MB
* CPU time: 7.467s
* wallclock time: 7.619s
############################## Output files ##############################
model.drn: Size of output file is 230333965 bytes
Log file: storm_from-jani_to-drn_sparse_speed-ind.2100_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 7.117 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:44:29 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957842/tmpemjuse9jstorm_from-jani_to-drn_sparse_speed-ind.2100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957842/tmpesj3gq3rstorm_from-jani_to-drn_sparse_speed-ind.2100_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.009s.
Time for model construction: 4.143s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 743424
Transitions: 9518080
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 24576 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957842/tmpesj3gq3rstorm_from-jani_to-drn_sparse_speed-ind.2100_tmp_outdir_/model.drn'.
Time for model export: 2.933s.
Performance statistics:
* peak memory usage: 319MB
* CPU time: 6.793s
* wallclock time: 7.092s
############################## Output files ##############################
model.drn: Size of output file is 230333965 bytes