Log files for model firewire.false-36-800 and tool configuration storm_from-jani_to-drn-xz_sparse
[7.154, 7.85, 9.086, 7.062, 7.033]
Log file: storm_from-jani_to-drn-xz_sparse_firewire.false-36-800_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 8.170 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:43:14 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955488/tmpwiy2rdlqstorm_from-jani_to-drn-xz_sparse_firewire.false-36-800_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955488/tmpstn9azamstorm_from-jani_to-drn-xz_sparse_firewire.false-36-800_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.985s.
--------------------------------------------------------------
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.4955488/tmpstn9azamstorm_from-jani_to-drn-xz_sparse_firewire.false-36-800_tmp_outdir_/model.drn.xz'.
Time for model export: 7.154s.
Performance statistics:
* peak memory usage: 168MB
* CPU time: 8.105s
* wallclock time: 8.145s
############################## Output files ##############################
model.drn.xz: Size of output file is 628812 bytes
Log file: storm_from-jani_to-drn-xz_sparse_firewire.false-36-800_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 8.893 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:57:08 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956041/tmpf7sqalnbstorm_from-jani_to-drn-xz_sparse_firewire.false-36-800_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956041/tmpgv9uzqq_storm_from-jani_to-drn-xz_sparse_firewire.false-36-800_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: 1.007s.
--------------------------------------------------------------
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.4956041/tmpgv9uzqq_storm_from-jani_to-drn-xz_sparse_firewire.false-36-800_tmp_outdir_/model.drn.xz'.
Time for model export: 7.850s.
Performance statistics:
* peak memory usage: 168MB
* CPU time: 8.817s
* wallclock time: 8.864s
############################## Output files ##############################
model.drn.xz: Size of output file is 628812 bytes
Log file: storm_from-jani_to-drn-xz_sparse_firewire.false-36-800_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 10.100 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:57:44 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956073/tmptsx9wd1fstorm_from-jani_to-drn-xz_sparse_firewire.false-36-800_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956073/tmp053qo1jzstorm_from-jani_to-drn-xz_sparse_firewire.false-36-800_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.979s.
--------------------------------------------------------------
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.4956073/tmp053qo1jzstorm_from-jani_to-drn-xz_sparse_firewire.false-36-800_tmp_outdir_/model.drn.xz'.
Time for model export: 9.086s.
Performance statistics:
* peak memory usage: 168MB
* CPU time: 10.014s
* wallclock time: 10.072s
############################## Output files ##############################
model.drn.xz: Size of output file is 628812 bytes
Log file: storm_from-jani_to-drn-xz_sparse_firewire.false-36-800_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 8.099 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:59:00 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958358/tmpwecrtv9gstorm_from-jani_to-drn-xz_sparse_firewire.false-36-800_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958358/tmphwxs2t9nstorm_from-jani_to-drn-xz_sparse_firewire.false-36-800_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: 1.002s.
--------------------------------------------------------------
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.4958358/tmphwxs2t9nstorm_from-jani_to-drn-xz_sparse_firewire.false-36-800_tmp_outdir_/model.drn.xz'.
Time for model export: 7.062s.
Performance statistics:
* peak memory usage: 168MB
* CPU time: 8.022s
* wallclock time: 8.071s
############################## Output files ##############################
model.drn.xz: Size of output file is 628812 bytes
Log file: storm_from-jani_to-drn-xz_sparse_firewire.false-36-800_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 8.122 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.4956374/tmpxtwme_rastorm_from-jani_to-drn-xz_sparse_firewire.false-36-800_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956374/tmpw8tdd624storm_from-jani_to-drn-xz_sparse_firewire.false-36-800_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: 1.014s.
--------------------------------------------------------------
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.4956374/tmpw8tdd624storm_from-jani_to-drn-xz_sparse_firewire.false-36-800_tmp_outdir_/model.drn.xz'.
Time for model export: 7.033s.
Performance statistics:
* peak memory usage: 168MB
* CPU time: 7.972s
* wallclock time: 8.054s
############################## Output files ##############################
model.drn.xz: Size of output file is 628812 bytes