Log files for model wlan.4-0 and tool configuration storm_from-jani_to-drn_sparse
[0.253, 0.257, 0.256, 0.252, 0.255]
Log file: storm_from-jani_to-drn_sparse_wlan.4-0_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 1.344 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:20:28 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956977/tmpd6t5cdh_storm_from-jani_to-drn_sparse_wlan.4-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956977/tmp586o8621storm_from-jani_to-drn_sparse_wlan.4-0_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 1.057s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 345000
Transitions: 762252
Choices: 440206
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956977/tmp586o8621storm_from-jani_to-drn_sparse_wlan.4-0_tmp_outdir_/model.drn'.
Time for model export: 0.253s.
Performance statistics:
* peak memory usage: 72MB
* CPU time: 1.294s
* wallclock time: 1.318s
############################## Output files ##############################
model.drn: Size of output file is 20146925 bytes
Log file: storm_from-jani_to-drn_sparse_wlan.4-0_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 1.398 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:46:42 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955633/tmpn58fy8jistorm_from-jani_to-drn_sparse_wlan.4-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955633/tmpdz20rn1tstorm_from-jani_to-drn_sparse_wlan.4-0_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 1.102s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 345000
Transitions: 762252
Choices: 440206
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955633/tmpdz20rn1tstorm_from-jani_to-drn_sparse_wlan.4-0_tmp_outdir_/model.drn'.
Time for model export: 0.257s.
Performance statistics:
* peak memory usage: 73MB
* CPU time: 1.346s
* wallclock time: 1.367s
############################## Output files ##############################
model.drn: Size of output file is 20146925 bytes
Log file: storm_from-jani_to-drn_sparse_wlan.4-0_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 1.311 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:05:21 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956361/tmp58n06x3tstorm_from-jani_to-drn_sparse_wlan.4-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956361/tmptqpcbp_1storm_from-jani_to-drn_sparse_wlan.4-0_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 1.024s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 345000
Transitions: 762252
Choices: 440206
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956361/tmptqpcbp_1storm_from-jani_to-drn_sparse_wlan.4-0_tmp_outdir_/model.drn'.
Time for model export: 0.256s.
Performance statistics:
* peak memory usage: 72MB
* CPU time: 1.266s
* wallclock time: 1.287s
############################## Output files ##############################
model.drn: Size of output file is 20146925 bytes
Log file: storm_from-jani_to-drn_sparse_wlan.4-0_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 1.296 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:25:38 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957198/tmph26tvl7astorm_from-jani_to-drn_sparse_wlan.4-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957198/tmp58q3d5mostorm_from-jani_to-drn_sparse_wlan.4-0_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 1.007s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 345000
Transitions: 762252
Choices: 440206
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957198/tmp58q3d5mostorm_from-jani_to-drn_sparse_wlan.4-0_tmp_outdir_/model.drn'.
Time for model export: 0.252s.
Performance statistics:
* peak memory usage: 72MB
* CPU time: 1.246s
* wallclock time: 1.266s
############################## Output files ##############################
model.drn: Size of output file is 20146925 bytes
Log file: storm_from-jani_to-drn_sparse_wlan.4-0_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 1.366 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:06:29 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956440/tmpg9vdosnastorm_from-jani_to-drn_sparse_wlan.4-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956440/tmp1m64bjlgstorm_from-jani_to-drn_sparse_wlan.4-0_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 1.080s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 345000
Transitions: 762252
Choices: 440206
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956440/tmp1m64bjlgstorm_from-jani_to-drn_sparse_wlan.4-0_tmp_outdir_/model.drn'.
Time for model export: 0.255s.
Performance statistics:
* peak memory usage: 72MB
* CPU time: 1.329s
* wallclock time: 1.343s
############################## Output files ##############################
model.drn: Size of output file is 20146925 bytes