Log files for model zeroconf.1000-8-false and tool configuration storm_from-jani_to-drn_sparse
[1.513, 1.405, 1.509, 1.48, 1.486]
Log file: storm_from-jani_to-drn_sparse_zeroconf.1000-8-false_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 7.318 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:47:55 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957930/tmpdwmg0iazstorm_from-jani_to-drn_sparse_zeroconf.1000-8-false_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957930/tmpe4qn_61lstorm_from-jani_to-drn_sparse_zeroconf.1000-8-false_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: 5.772s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1870338
Transitions: 4245554
Choices: 3443961
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 16523 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957930/tmpe4qn_61lstorm_from-jani_to-drn_sparse_zeroconf.1000-8-false_tmp_outdir_/model.drn'.
Time for model export: 1.513s.
Performance statistics:
* peak memory usage: 298MB
* CPU time: 7.162s
* wallclock time: 7.291s
############################## Output files ##############################
model.drn: Size of output file is 119818000 bytes
Log file: storm_from-jani_to-drn_sparse_zeroconf.1000-8-false_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 6.780 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:58:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958336/tmp5v5vsw21storm_from-jani_to-drn_sparse_zeroconf.1000-8-false_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958336/tmpwxzgo7pnstorm_from-jani_to-drn_sparse_zeroconf.1000-8-false_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: 5.346s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1870338
Transitions: 4245554
Choices: 3443961
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 16523 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958336/tmpwxzgo7pnstorm_from-jani_to-drn_sparse_zeroconf.1000-8-false_tmp_outdir_/model.drn'.
Time for model export: 1.405s.
Performance statistics:
* peak memory usage: 298MB
* CPU time: 6.654s
* wallclock time: 6.756s
############################## Output files ##############################
model.drn: Size of output file is 119818000 bytes
Log file: storm_from-jani_to-drn_sparse_zeroconf.1000-8-false_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 7.075 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:19:54 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956962/tmpcenbkifhstorm_from-jani_to-drn_sparse_zeroconf.1000-8-false_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956962/tmptdujnuyistorm_from-jani_to-drn_sparse_zeroconf.1000-8-false_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: 5.532s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1870338
Transitions: 4245554
Choices: 3443961
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 16523 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956962/tmptdujnuyistorm_from-jani_to-drn_sparse_zeroconf.1000-8-false_tmp_outdir_/model.drn'.
Time for model export: 1.509s.
Performance statistics:
* peak memory usage: 298MB
* CPU time: 6.946s
* wallclock time: 7.046s
############################## Output files ##############################
model.drn: Size of output file is 119818000 bytes
Log file: storm_from-jani_to-drn_sparse_zeroconf.1000-8-false_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 7.255 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:54:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958185/tmp3i_l8eikstorm_from-jani_to-drn_sparse_zeroconf.1000-8-false_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958185/tmp669l7h99storm_from-jani_to-drn_sparse_zeroconf.1000-8-false_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: 5.734s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1870338
Transitions: 4245554
Choices: 3443961
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 16523 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958185/tmp669l7h99storm_from-jani_to-drn_sparse_zeroconf.1000-8-false_tmp_outdir_/model.drn'.
Time for model export: 1.480s.
Performance statistics:
* peak memory usage: 298MB
* CPU time: 7.118s
* wallclock time: 7.220s
############################## Output files ##############################
model.drn: Size of output file is 119818000 bytes
Log file: storm_from-jani_to-drn_sparse_zeroconf.1000-8-false_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 7.196 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:35:15 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955159/tmpn6jx7866storm_from-jani_to-drn_sparse_zeroconf.1000-8-false_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955159/tmpldnegnknstorm_from-jani_to-drn_sparse_zeroconf.1000-8-false_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: 5.676s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1870338
Transitions: 4245554
Choices: 3443961
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 16523 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955159/tmpldnegnknstorm_from-jani_to-drn_sparse_zeroconf.1000-8-false_tmp_outdir_/model.drn'.
Time for model export: 1.486s.
Performance statistics:
* peak memory usage: 298MB
* CPU time: 7.064s
* wallclock time: 7.168s
############################## Output files ##############################
model.drn: Size of output file is 119818000 bytes