Log files for model speed-ind.2100 and tool configuration storm_from-jani_to-drn-xz_sparse
[119.89, 94.725, 94.248, 99.789, 102.661]
Log file: storm_from-jani_to-drn-xz_sparse_speed-ind.2100_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 124.913 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:28:59 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954913/tmpcg3pl870storm_from-jani_to-drn-xz_sparse_speed-ind.2100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954913/tmp8_ibj203storm_from-jani_to-drn-xz_sparse_speed-ind.2100_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.009s.
Time for model construction: 4.547s.
--------------------------------------------------------------
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.4954913/tmp8_ibj203storm_from-jani_to-drn-xz_sparse_speed-ind.2100_tmp_outdir_/model.drn.xz'.
Time for model export: 119.890s.
Performance statistics:
* peak memory usage: 675MB
* CPU time: 123.907s
* wallclock time: 124.450s
############################## Output files ##############################
model.drn.xz: Size of output file is 18086684 bytes
Log file: storm_from-jani_to-drn-xz_sparse_speed-ind.2100_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 99.071 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:31:47 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955025/tmpbbb79doistorm_from-jani_to-drn-xz_sparse_speed-ind.2100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955025/tmp6kcu0bzkstorm_from-jani_to-drn-xz_sparse_speed-ind.2100_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.009s.
Time for model construction: 4.303s.
--------------------------------------------------------------
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.4955025/tmp6kcu0bzkstorm_from-jani_to-drn-xz_sparse_speed-ind.2100_tmp_outdir_/model.drn.xz'.
Time for model export: 94.725s.
Performance statistics:
* peak memory usage: 673MB
* CPU time: 98.584s
* wallclock time: 99.039s
############################## Output files ##############################
model.drn.xz: Size of output file is 18086684 bytes
Log file: storm_from-jani_to-drn-xz_sparse_speed-ind.2100_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 98.674 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:02:26 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956254/tmp0g7qpddystorm_from-jani_to-drn-xz_sparse_speed-ind.2100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956254/tmp1wpyujx1storm_from-jani_to-drn-xz_sparse_speed-ind.2100_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.009s.
Time for model construction: 4.380s.
--------------------------------------------------------------
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.4956254/tmp1wpyujx1storm_from-jani_to-drn-xz_sparse_speed-ind.2100_tmp_outdir_/model.drn.xz'.
Time for model export: 94.248s.
Performance statistics:
* peak memory usage: 673MB
* CPU time: 98.207s
* wallclock time: 98.640s
############################## Output files ##############################
model.drn.xz: Size of output file is 18086684 bytes
Log file: storm_from-jani_to-drn-xz_sparse_speed-ind.2100_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 104.403 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:44:25 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955544/tmp6xv7qgg1storm_from-jani_to-drn-xz_sparse_speed-ind.2100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955544/tmp_fsdhh76storm_from-jani_to-drn-xz_sparse_speed-ind.2100_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.009s.
Time for model construction: 4.359s.
--------------------------------------------------------------
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.4955544/tmp_fsdhh76storm_from-jani_to-drn-xz_sparse_speed-ind.2100_tmp_outdir_/model.drn.xz'.
Time for model export: 99.789s.
Performance statistics:
* peak memory usage: 673MB
* CPU time: 103.717s
* wallclock time: 104.161s
############################## Output files ##############################
model.drn.xz: Size of output file is 18086684 bytes
Log file: storm_from-jani_to-drn-xz_sparse_speed-ind.2100_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 107.289 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:38:21 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957636/tmpw6m7pgvdstorm_from-jani_to-drn-xz_sparse_speed-ind.2100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957636/tmp84mq7dvistorm_from-jani_to-drn-xz_sparse_speed-ind.2100_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.009s.
Time for model construction: 4.588s.
--------------------------------------------------------------
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.4957636/tmp84mq7dvistorm_from-jani_to-drn-xz_sparse_speed-ind.2100_tmp_outdir_/model.drn.xz'.
Time for model export: 102.661s.
Performance statistics:
* peak memory usage: 673MB
* CPU time: 106.535s
* wallclock time: 107.261s
############################## Output files ##############################
model.drn.xz: Size of output file is 18086684 bytes