Log files for model crowds.6-20 and tool configuration storm_from-jani_to-drn-xz_sparse
[227.667, 183.914, 182.706, 182.342, 183.432]
Log file: storm_from-jani_to-drn-xz_sparse_crowds.6-20_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 259.726 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:13:01 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956656/tmp7tzcj6k4storm_from-jani_to-drn-xz_sparse_crowds.6-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956656/tmp6mqdg08rstorm_from-jani_to-drn-xz_sparse_crowds.6-20_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: 32.021s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 10633591
Transitions: 38261191
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 230230 item(s)
* target -> 352935 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956656/tmp6mqdg08rstorm_from-jani_to-drn-xz_sparse_crowds.6-20_tmp_outdir_/model.drn.xz'.
Time for model export: 227.667s.
Performance statistics:
* peak memory usage: 2519MB
* CPU time: 258.064s
* wallclock time: 259.694s
############################## Output files ##############################
model.drn.xz: Size of output file is 23342224 bytes
Log file: storm_from-jani_to-drn-xz_sparse_crowds.6-20_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 214.984 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:30:08 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954956/tmpkcm6c49lstorm_from-jani_to-drn-xz_sparse_crowds.6-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954956/tmpkaz35d9zstorm_from-jani_to-drn-xz_sparse_crowds.6-20_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: 30.580s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 10633591
Transitions: 38261191
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 230230 item(s)
* target -> 352935 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4954956/tmpkaz35d9zstorm_from-jani_to-drn-xz_sparse_crowds.6-20_tmp_outdir_/model.drn.xz'.
Time for model export: 183.914s.
Performance statistics:
* peak memory usage: 2519MB
* CPU time: 213.299s
* wallclock time: 214.501s
############################## Output files ##############################
model.drn.xz: Size of output file is 23342224 bytes
Log file: storm_from-jani_to-drn-xz_sparse_crowds.6-20_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 213.697 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:39:14 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955321/tmp8cjltf46storm_from-jani_to-drn-xz_sparse_crowds.6-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955321/tmpv30djo1_storm_from-jani_to-drn-xz_sparse_crowds.6-20_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: 30.961s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 10633591
Transitions: 38261191
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 230230 item(s)
* target -> 352935 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955321/tmpv30djo1_storm_from-jani_to-drn-xz_sparse_crowds.6-20_tmp_outdir_/model.drn.xz'.
Time for model export: 182.706s.
Performance statistics:
* peak memory usage: 2519MB
* CPU time: 212.520s
* wallclock time: 213.673s
############################## Output files ##############################
model.drn.xz: Size of output file is 23342224 bytes
Log file: storm_from-jani_to-drn-xz_sparse_crowds.6-20_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 213.315 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:06:29 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956437/tmpww4y7v7zstorm_from-jani_to-drn-xz_sparse_crowds.6-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956437/tmp57jl2k6qstorm_from-jani_to-drn-xz_sparse_crowds.6-20_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: 30.935s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 10633591
Transitions: 38261191
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 230230 item(s)
* target -> 352935 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956437/tmp57jl2k6qstorm_from-jani_to-drn-xz_sparse_crowds.6-20_tmp_outdir_/model.drn.xz'.
Time for model export: 182.342s.
Performance statistics:
* peak memory usage: 2519MB
* CPU time: 212.104s
* wallclock time: 213.284s
############################## Output files ##############################
model.drn.xz: Size of output file is 23342224 bytes
Log file: storm_from-jani_to-drn-xz_sparse_crowds.6-20_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 214.024 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:19:19 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956931/tmptp8bcj40storm_from-jani_to-drn-xz_sparse_crowds.6-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956931/tmpe6w1wz04storm_from-jani_to-drn-xz_sparse_crowds.6-20_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: 30.557s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 10633591
Transitions: 38261191
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 230230 item(s)
* target -> 352935 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956931/tmpe6w1wz04storm_from-jani_to-drn-xz_sparse_crowds.6-20_tmp_outdir_/model.drn.xz'.
Time for model export: 183.432s.
Performance statistics:
* peak memory usage: 2519MB
* CPU time: 212.753s
* wallclock time: 213.996s
############################## Output files ##############################
model.drn.xz: Size of output file is 23342224 bytes