Log files for model egl.10-2 and tool configuration storm_from-jani_to-drn_sparse
[35.325, 35.648, 34.772, 34.81, 34.62]
Log file: storm_from-jani_to-drn_sparse_egl.10-2_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 343.184 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:53:51 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958157/tmpjm7n7jyxstorm_from-jani_to-drn_sparse_egl.10-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958157/tmpmffpuqqmstorm_from-jani_to-drn_sparse_egl.10-2_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
Time for model construction: 307.803s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 66060286
Transitions: 67108861
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* knowB -> 36680703 item(s)
* knowA -> 40865279 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958157/tmpmffpuqqmstorm_from-jani_to-drn_sparse_egl.10-2_tmp_outdir_/model.drn'.
Time for model export: 35.325s.
Performance statistics:
* peak memory usage: 6651MB
* CPU time: 340.157s
* wallclock time: 343.143s
############################## Output files ##############################
model.drn: Size of output file is 3105388208 bytes
Log file: storm_from-jani_to-drn_sparse_egl.10-2_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 355.497 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:00:41 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956178/tmps98na_8mstorm_from-jani_to-drn_sparse_egl.10-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956178/tmp2onuhvuistorm_from-jani_to-drn_sparse_egl.10-2_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
Time for model construction: 319.802s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 66060286
Transitions: 67108861
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* knowB -> 36680703 item(s)
* knowA -> 40865279 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956178/tmp2onuhvuistorm_from-jani_to-drn_sparse_egl.10-2_tmp_outdir_/model.drn'.
Time for model export: 35.648s.
Performance statistics:
* peak memory usage: 6651MB
* CPU time: 351.499s
* wallclock time: 355.465s
############################## Output files ##############################
model.drn: Size of output file is 3105388208 bytes
Log file: storm_from-jani_to-drn_sparse_egl.10-2_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 341.497 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:48:24 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955698/tmpnk8qfkx0storm_from-jani_to-drn_sparse_egl.10-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955698/tmpr5rotxjistorm_from-jani_to-drn_sparse_egl.10-2_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
Time for model construction: 306.680s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 66060286
Transitions: 67108861
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* knowB -> 36680703 item(s)
* knowA -> 40865279 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955698/tmpr5rotxjistorm_from-jani_to-drn_sparse_egl.10-2_tmp_outdir_/model.drn'.
Time for model export: 34.772s.
Performance statistics:
* peak memory usage: 6651MB
* CPU time: 338.395s
* wallclock time: 341.466s
############################## Output files ##############################
model.drn: Size of output file is 3105388208 bytes
Log file: storm_from-jani_to-drn_sparse_egl.10-2_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 342.566 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:52:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955865/tmpnd2f3_v6storm_from-jani_to-drn_sparse_egl.10-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955865/tmpmmsiidpmstorm_from-jani_to-drn_sparse_egl.10-2_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
Time for model construction: 307.061s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 66060286
Transitions: 67108861
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* knowB -> 36680703 item(s)
* knowA -> 40865279 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955865/tmpmmsiidpmstorm_from-jani_to-drn_sparse_egl.10-2_tmp_outdir_/model.drn'.
Time for model export: 34.810s.
Performance statistics:
* peak memory usage: 6650MB
* CPU time: 338.858s
* wallclock time: 341.886s
############################## Output files ##############################
model.drn: Size of output file is 3105388208 bytes
Log file: storm_from-jani_to-drn_sparse_egl.10-2_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 341.224 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 00:02:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958527/tmposyf4s5ostorm_from-jani_to-drn_sparse_egl.10-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958527/tmpy2b3332nstorm_from-jani_to-drn_sparse_egl.10-2_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
Time for model construction: 306.549s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 66060286
Transitions: 67108861
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* knowB -> 36680703 item(s)
* knowA -> 40865279 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958527/tmpy2b3332nstorm_from-jani_to-drn_sparse_egl.10-2_tmp_outdir_/model.drn'.
Time for model export: 34.620s.
Performance statistics:
* peak memory usage: 6651MB
* CPU time: 338.122s
* wallclock time: 341.183s
############################## Output files ##############################
model.drn: Size of output file is 3105388208 bytes