Log files for model firewire.false-36-800 and tool configuration storm_from-jani_to-drn_sparse
[0.267, 0.266, 0.256, 0.269, 0.244]
Log file: storm_from-jani_to-drn_sparse_firewire.false-36-800_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 1.277 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:30:40 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954972/tmphulspof2storm_from-jani_to-drn_sparse_firewire.false-36-800_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954972/tmp2qsxbe0cstorm_from-jani_to-drn_sparse_firewire.false-36-800_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: 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.4954972/tmp2qsxbe0cstorm_from-jani_to-drn_sparse_firewire.false-36-800_tmp_outdir_/model.drn'.
Time for model export: 0.267s.
Performance statistics:
* peak memory usage: 62MB
* CPU time: 1.234s
* wallclock time: 1.251s
############################## Output files ##############################
model.drn: Size of output file is 16104702 bytes
Log file: storm_from-jani_to-drn_sparse_firewire.false-36-800_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 1.301 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:23:19 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957092/tmpihhs226estorm_from-jani_to-drn_sparse_firewire.false-36-800_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957092/tmp2ajwxjyzstorm_from-jani_to-drn_sparse_firewire.false-36-800_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: 0.999s.
--------------------------------------------------------------
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.4957092/tmp2ajwxjyzstorm_from-jani_to-drn_sparse_firewire.false-36-800_tmp_outdir_/model.drn'.
Time for model export: 0.266s.
Performance statistics:
* peak memory usage: 62MB
* CPU time: 1.261s
* wallclock time: 1.271s
############################## Output files ##############################
model.drn: Size of output file is 16104702 bytes
Log file: storm_from-jani_to-drn_sparse_firewire.false-36-800_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 1.228 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:54:26 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958180/tmp1vihcjwastorm_from-jani_to-drn_sparse_firewire.false-36-800_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958180/tmpqax_nlerstorm_from-jani_to-drn_sparse_firewire.false-36-800_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 0.938s.
--------------------------------------------------------------
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.4958180/tmpqax_nlerstorm_from-jani_to-drn_sparse_firewire.false-36-800_tmp_outdir_/model.drn'.
Time for model export: 0.256s.
Performance statistics:
* peak memory usage: 62MB
* CPU time: 1.191s
* wallclock time: 1.200s
############################## Output files ##############################
model.drn: Size of output file is 16104702 bytes
Log file: storm_from-jani_to-drn_sparse_firewire.false-36-800_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 1.298 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:59:36 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958377/tmpbyjs6k52storm_from-jani_to-drn_sparse_firewire.false-36-800_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958377/tmpyum0sdelstorm_from-jani_to-drn_sparse_firewire.false-36-800_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: 1.000s.
--------------------------------------------------------------
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.4958377/tmpyum0sdelstorm_from-jani_to-drn_sparse_firewire.false-36-800_tmp_outdir_/model.drn'.
Time for model export: 0.269s.
Performance statistics:
* peak memory usage: 62MB
* CPU time: 1.250s
* wallclock time: 1.276s
############################## Output files ##############################
model.drn: Size of output file is 16104702 bytes
Log file: storm_from-jani_to-drn_sparse_firewire.false-36-800_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 1.169 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:02:26 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956246/tmp58va83i5storm_from-jani_to-drn_sparse_firewire.false-36-800_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956246/tmpbp6a6gmnstorm_from-jani_to-drn_sparse_firewire.false-36-800_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 0.892s.
--------------------------------------------------------------
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.4956246/tmpbp6a6gmnstorm_from-jani_to-drn_sparse_firewire.false-36-800_tmp_outdir_/model.drn'.
Time for model export: 0.244s.
Performance statistics:
* peak memory usage: 62MB
* CPU time: 1.130s
* wallclock time: 1.141s
############################## Output files ##############################
model.drn: Size of output file is 16104702 bytes