Log files for model zeroconf.1000-8-false and tool configuration storm_from-jani_to-drn-xz_sparse
[48.409, 48.635, 63.227, 58.382, 60.547]
Log file: storm_from-jani_to-drn-xz_sparse_zeroconf.1000-8-false_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 53.980 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.4955500/tmpgl6iqa5nstorm_from-jani_to-drn-xz_sparse_zeroconf.1000-8-false_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955500/tmpuxu6f1s0storm_from-jani_to-drn-xz_sparse_zeroconf.1000-8-false_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.002s.
Time for model construction: 5.542s.
--------------------------------------------------------------
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.4955500/tmpuxu6f1s0storm_from-jani_to-drn-xz_sparse_zeroconf.1000-8-false_tmp_outdir_/model.drn.xz'.
Time for model export: 48.409s.
Performance statistics:
* peak memory usage: 533MB
* CPU time: 53.646s
* wallclock time: 53.956s
############################## Output files ##############################
model.drn.xz: Size of output file is 9646932 bytes
Log file: storm_from-jani_to-drn-xz_sparse_zeroconf.1000-8-false_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 54.311 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:18:11 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956896/tmputwfbb5astorm_from-jani_to-drn-xz_sparse_zeroconf.1000-8-false_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956896/tmpuqaqakpnstorm_from-jani_to-drn-xz_sparse_zeroconf.1000-8-false_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.002s.
Time for model construction: 5.639s.
--------------------------------------------------------------
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.4956896/tmpuqaqakpnstorm_from-jani_to-drn-xz_sparse_zeroconf.1000-8-false_tmp_outdir_/model.drn.xz'.
Time for model export: 48.635s.
Performance statistics:
* peak memory usage: 533MB
* CPU time: 54.026s
* wallclock time: 54.280s
############################## Output files ##############################
model.drn.xz: Size of output file is 9646932 bytes
Log file: storm_from-jani_to-drn-xz_sparse_zeroconf.1000-8-false_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 69.341 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:33:24 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957500/tmp1g0mi0_astorm_from-jani_to-drn-xz_sparse_zeroconf.1000-8-false_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957500/tmpcrb2r0q_storm_from-jani_to-drn-xz_sparse_zeroconf.1000-8-false_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.002s.
Time for model construction: 6.078s.
--------------------------------------------------------------
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.4957500/tmpcrb2r0q_storm_from-jani_to-drn-xz_sparse_zeroconf.1000-8-false_tmp_outdir_/model.drn.xz'.
Time for model export: 63.227s.
Performance statistics:
* peak memory usage: 533MB
* CPU time: 68.982s
* wallclock time: 69.313s
############################## Output files ##############################
model.drn.xz: Size of output file is 9646932 bytes
Log file: storm_from-jani_to-drn-xz_sparse_zeroconf.1000-8-false_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 64.211 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:14:47 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956727/tmpq3atcboastorm_from-jani_to-drn-xz_sparse_zeroconf.1000-8-false_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956727/tmpu5abru00storm_from-jani_to-drn-xz_sparse_zeroconf.1000-8-false_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.002s.
Time for model construction: 5.793s.
--------------------------------------------------------------
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.4956727/tmpu5abru00storm_from-jani_to-drn-xz_sparse_zeroconf.1000-8-false_tmp_outdir_/model.drn.xz'.
Time for model export: 58.382s.
Performance statistics:
* peak memory usage: 533MB
* CPU time: 63.863s
* wallclock time: 64.181s
############################## Output files ##############################
model.drn.xz: Size of output file is 9646932 bytes
Log file: storm_from-jani_to-drn-xz_sparse_zeroconf.1000-8-false_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 66.913 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:28:24 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954882/tmpynbn9gsdstorm_from-jani_to-drn-xz_sparse_zeroconf.1000-8-false_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954882/tmpruvpuf7rstorm_from-jani_to-drn-xz_sparse_zeroconf.1000-8-false_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: 5.883s.
--------------------------------------------------------------
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.4954882/tmpruvpuf7rstorm_from-jani_to-drn-xz_sparse_zeroconf.1000-8-false_tmp_outdir_/model.drn.xz'.
Time for model export: 60.547s.
Performance statistics:
* peak memory usage: 532MB
* CPU time: 66.140s
* wallclock time: 66.438s
############################## Output files ##############################
model.drn.xz: Size of output file is 9646932 bytes