Log files for model eajs.5-250-11 and tool configuration storm_from-jani_to-drn_sparse
[3.414, 3.441, 3.424, 3.397, 3.429]
Log file: storm_from-jani_to-drn_sparse_eajs.5-250-11_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 24.209 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:12:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956626/tmp9se_k8y5storm_from-jani_to-drn_sparse_eajs.5-250-11_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956626/tmpyccl3zz2storm_from-jani_to-drn_sparse_eajs.5-250-11_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 20.747s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 3049471
Transitions: 6977654
Choices: 4256193
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 13476 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956626/tmpyccl3zz2storm_from-jani_to-drn_sparse_eajs.5-250-11_tmp_outdir_/model.drn'.
Time for model export: 3.414s.
Performance statistics:
* peak memory usage: 327MB
* CPU time: 23.940s
* wallclock time: 24.177s
############################## Output files ##############################
model.drn: Size of output file is 267804121 bytes
Log file: storm_from-jani_to-drn_sparse_eajs.5-250-11_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 23.640 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.4955883/tmpgfhgeqgwstorm_from-jani_to-drn_sparse_eajs.5-250-11_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955883/tmpjezrs_bnstorm_from-jani_to-drn_sparse_eajs.5-250-11_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 20.159s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 3049471
Transitions: 6977654
Choices: 4256193
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 13476 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955883/tmpjezrs_bnstorm_from-jani_to-drn_sparse_eajs.5-250-11_tmp_outdir_/model.drn'.
Time for model export: 3.441s.
Performance statistics:
* peak memory usage: 327MB
* CPU time: 23.371s
* wallclock time: 23.614s
############################## Output files ##############################
model.drn: Size of output file is 267804121 bytes
Log file: storm_from-jani_to-drn_sparse_eajs.5-250-11_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 23.994 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:41:33 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955416/tmpdwgitp28storm_from-jani_to-drn_sparse_eajs.5-250-11_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955416/tmp_v5rm22astorm_from-jani_to-drn_sparse_eajs.5-250-11_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 20.473s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 3049471
Transitions: 6977654
Choices: 4256193
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 13476 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955416/tmp_v5rm22astorm_from-jani_to-drn_sparse_eajs.5-250-11_tmp_outdir_/model.drn'.
Time for model export: 3.424s.
Performance statistics:
* peak memory usage: 327MB
* CPU time: 23.686s
* wallclock time: 23.912s
############################## Output files ##############################
model.drn: Size of output file is 267804121 bytes
Log file: storm_from-jani_to-drn_sparse_eajs.5-250-11_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 23.660 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:29:49 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957364/tmpzz_bjs67storm_from-jani_to-drn_sparse_eajs.5-250-11_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957364/tmp1vwbtr0rstorm_from-jani_to-drn_sparse_eajs.5-250-11_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 20.225s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 3049471
Transitions: 6977654
Choices: 4256193
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 13476 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957364/tmp1vwbtr0rstorm_from-jani_to-drn_sparse_eajs.5-250-11_tmp_outdir_/model.drn'.
Time for model export: 3.397s.
Performance statistics:
* peak memory usage: 327MB
* CPU time: 23.420s
* wallclock time: 23.636s
############################## Output files ##############################
model.drn: Size of output file is 267804121 bytes
Log file: storm_from-jani_to-drn_sparse_eajs.5-250-11_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 23.682 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:15:22 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956749/tmpl7wjvvmrstorm_from-jani_to-drn_sparse_eajs.5-250-11_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956749/tmp_y0a61gestorm_from-jani_to-drn_sparse_eajs.5-250-11_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 20.209s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 3049471
Transitions: 6977654
Choices: 4256193
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 13476 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956749/tmp_y0a61gestorm_from-jani_to-drn_sparse_eajs.5-250-11_tmp_outdir_/model.drn'.
Time for model export: 3.429s.
Performance statistics:
* peak memory usage: 327MB
* CPU time: 23.406s
* wallclock time: 23.652s
############################## Output files ##############################
model.drn: Size of output file is 267804121 bytes