Log files for model firewire.false-36-800 and tool configuration storm_from-jani_to-umb-xz_sparse
[2.648, 2.912, 2.706, 2.703, 2.961]
Log file: storm_from-jani_to-umb-xz_sparse_firewire.false-36-800_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 3.648 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:44:58 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955566/tmp3jcng_lbstorm_from-jani_to-umb-xz_sparse_firewire.false-36-800_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955566/tmpw9oh6ppvstorm_from-jani_to-umb-xz_sparse_firewire.false-36-800_tmp_outdir_/model.umb.xz umb --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.968s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 212268
Transitions: 481792
Choices: 478756
Reward Models: time
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* done -> 2 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955566/tmpw9oh6ppvstorm_from-jani_to-umb-xz_sparse_firewire.false-36-800_tmp_outdir_/model.umb.xz'.
Time for model export: 2.648s.
Performance statistics:
* peak memory usage: 164MB
* CPU time: 3.592s
* wallclock time: 3.622s
############################## Output files ##############################
model.umb.xz: Size of output file is 439860 bytes
Log file: storm_from-jani_to-umb-xz_sparse_firewire.false-36-800_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 3.965 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 00:02:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958518/tmpmngwmbomstorm_from-jani_to-umb-xz_sparse_firewire.false-36-800_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958518/tmp76bv3h_gstorm_from-jani_to-umb-xz_sparse_firewire.false-36-800_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 1.018s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 212268
Transitions: 481792
Choices: 478756
Reward Models: time
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* done -> 2 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958518/tmp76bv3h_gstorm_from-jani_to-umb-xz_sparse_firewire.false-36-800_tmp_outdir_/model.umb.xz'.
Time for model export: 2.912s.
Performance statistics:
* peak memory usage: 164MB
* CPU time: 3.902s
* wallclock time: 3.937s
############################## Output files ##############################
model.umb.xz: Size of output file is 439844 bytes
Log file: storm_from-jani_to-umb-xz_sparse_firewire.false-36-800_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 3.717 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.4957638/tmpwknps1oqstorm_from-jani_to-umb-xz_sparse_firewire.false-36-800_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957638/tmpr1xi7223storm_from-jani_to-umb-xz_sparse_firewire.false-36-800_tmp_outdir_/model.umb.xz umb --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.978s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 212268
Transitions: 481792
Choices: 478756
Reward Models: time
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* done -> 2 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957638/tmpr1xi7223storm_from-jani_to-umb-xz_sparse_firewire.false-36-800_tmp_outdir_/model.umb.xz'.
Time for model export: 2.706s.
Performance statistics:
* peak memory usage: 164MB
* CPU time: 3.656s
* wallclock time: 3.691s
############################## Output files ##############################
model.umb.xz: Size of output file is 439860 bytes
Log file: storm_from-jani_to-umb-xz_sparse_firewire.false-36-800_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 3.712 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.4957651/tmpcvowum_ustorm_from-jani_to-umb-xz_sparse_firewire.false-36-800_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957651/tmphlayfb2wstorm_from-jani_to-umb-xz_sparse_firewire.false-36-800_tmp_outdir_/model.umb.xz umb --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.974s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 212268
Transitions: 481792
Choices: 478756
Reward Models: time
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* done -> 2 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957651/tmphlayfb2wstorm_from-jani_to-umb-xz_sparse_firewire.false-36-800_tmp_outdir_/model.umb.xz'.
Time for model export: 2.703s.
Performance statistics:
* peak memory usage: 164MB
* CPU time: 3.646s
* wallclock time: 3.683s
############################## Output files ##############################
model.umb.xz: Size of output file is 439860 bytes
Log file: storm_from-jani_to-umb-xz_sparse_firewire.false-36-800_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 3.996 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:19:53 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956957/tmpp7g6q3m3storm_from-jani_to-umb-xz_sparse_firewire.false-36-800_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956957/tmp90254m9xstorm_from-jani_to-umb-xz_sparse_firewire.false-36-800_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 1.005s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 212268
Transitions: 481792
Choices: 478756
Reward Models: time
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* done -> 2 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956957/tmp90254m9xstorm_from-jani_to-umb-xz_sparse_firewire.false-36-800_tmp_outdir_/model.umb.xz'.
Time for model export: 2.961s.
Performance statistics:
* peak memory usage: 164MB
* CPU time: 3.932s
* wallclock time: 3.974s
############################## Output files ##############################
model.umb.xz: Size of output file is 445004 bytes