Log files for model mapk-cascade.4-30 and tool configuration storm_from-jani_to-drn-xz_sparse
[9.889, 9.877, 7.897, 7.548, 7.421]
Log file: storm_from-jani_to-drn-xz_sparse_mapk-cascade.4-30_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 10.807 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:32:13 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957452/tmp97b5lkp2storm_from-jani_to-drn-xz_sparse_mapk-cascade.4-30_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957452/tmpmg3u9nu4storm_from-jani_to-drn-xz_sparse_mapk-cascade.4-30_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: 0.887s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 99535
Transitions: 910872
Reward Models: time
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1461 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957452/tmpmg3u9nu4storm_from-jani_to-drn-xz_sparse_mapk-cascade.4-30_tmp_outdir_/model.drn.xz'.
Time for model export: 9.889s.
Performance statistics:
* peak memory usage: 167MB
* CPU time: 10.731s
* wallclock time: 10.780s
############################## Output files ##############################
model.drn.xz: Size of output file is 1776240 bytes
Log file: storm_from-jani_to-drn-xz_sparse_mapk-cascade.4-30_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 10.795 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:44:24 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955545/tmpikzmj0w0storm_from-jani_to-drn-xz_sparse_mapk-cascade.4-30_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955545/tmp24_8bzd8storm_from-jani_to-drn-xz_sparse_mapk-cascade.4-30_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: 0.889s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 99535
Transitions: 910872
Reward Models: time
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1461 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955545/tmp24_8bzd8storm_from-jani_to-drn-xz_sparse_mapk-cascade.4-30_tmp_outdir_/model.drn.xz'.
Time for model export: 9.877s.
Performance statistics:
* peak memory usage: 169MB
* CPU time: 10.716s
* wallclock time: 10.770s
############################## Output files ##############################
model.drn.xz: Size of output file is 1776240 bytes
Log file: storm_from-jani_to-drn-xz_sparse_mapk-cascade.4-30_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 8.795 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 00:00:44 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958447/tmpxlnwiq6hstorm_from-jani_to-drn-xz_sparse_mapk-cascade.4-30_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958447/tmpf1z8tsf0storm_from-jani_to-drn-xz_sparse_mapk-cascade.4-30_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: 0.869s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 99535
Transitions: 910872
Reward Models: time
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1461 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958447/tmpf1z8tsf0storm_from-jani_to-drn-xz_sparse_mapk-cascade.4-30_tmp_outdir_/model.drn.xz'.
Time for model export: 7.897s.
Performance statistics:
* peak memory usage: 169MB
* CPU time: 8.725s
* wallclock time: 8.771s
############################## Output files ##############################
model.drn.xz: Size of output file is 1776240 bytes
Log file: storm_from-jani_to-drn-xz_sparse_mapk-cascade.4-30_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 8.470 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:59:01 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958365/tmpjqsqul3wstorm_from-jani_to-drn-xz_sparse_mapk-cascade.4-30_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958365/tmp4h0hetu1storm_from-jani_to-drn-xz_sparse_mapk-cascade.4-30_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: 0.888s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 99535
Transitions: 910872
Reward Models: time
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1461 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958365/tmp4h0hetu1storm_from-jani_to-drn-xz_sparse_mapk-cascade.4-30_tmp_outdir_/model.drn.xz'.
Time for model export: 7.548s.
Performance statistics:
* peak memory usage: 169MB
* CPU time: 8.392s
* wallclock time: 8.441s
############################## Output files ##############################
model.drn.xz: Size of output file is 1776240 bytes
Log file: storm_from-jani_to-drn-xz_sparse_mapk-cascade.4-30_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 8.383 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:54:48 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955954/tmptbfsau1astorm_from-jani_to-drn-xz_sparse_mapk-cascade.4-30_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955954/tmp3kzc7ehpstorm_from-jani_to-drn-xz_sparse_mapk-cascade.4-30_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: 0.890s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 99535
Transitions: 910872
Reward Models: time
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1461 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955954/tmp3kzc7ehpstorm_from-jani_to-drn-xz_sparse_mapk-cascade.4-30_tmp_outdir_/model.drn.xz'.
Time for model export: 7.421s.
Performance statistics:
* peak memory usage: 168MB
* CPU time: 8.256s
* wallclock time: 8.317s
############################## Output files ##############################
model.drn.xz: Size of output file is 1776240 bytes