Log files for model nand.60-4 and tool configuration storm_from-jani_to-umb-xz_sparse
[99.727, 99.032, 99.688, 112.361, 109.206]
Log file: storm_from-jani_to-umb-xz_sparse_nand.60-4_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 126.722 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:59:01 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958368/tmp8k0z7svystorm_from-jani_to-umb-xz_sparse_nand.60-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958368/tmpwoza100hstorm_from-jani_to-umb-xz_sparse_nand.60-4_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 26.954s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 18826082
Transitions: 29772212
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 6 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958368/tmpwoza100hstorm_from-jani_to-umb-xz_sparse_nand.60-4_tmp_outdir_/model.umb.xz'.
Time for model export: 99.727s.
Performance statistics:
* peak memory usage: 1342MB
* CPU time: 126.000s
* wallclock time: 126.685s
############################## Output files ##############################
model.umb.xz: Size of output file is 15275720 bytes
Log file: storm_from-jani_to-umb-xz_sparse_nand.60-4_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 125.759 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:43:18 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957801/tmporj_qfkhstorm_from-jani_to-umb-xz_sparse_nand.60-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957801/tmpnwc6mn1fstorm_from-jani_to-umb-xz_sparse_nand.60-4_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 26.697s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 18826082
Transitions: 29772212
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 6 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957801/tmpnwc6mn1fstorm_from-jani_to-umb-xz_sparse_nand.60-4_tmp_outdir_/model.umb.xz'.
Time for model export: 99.032s.
Performance statistics:
* peak memory usage: 1342MB
* CPU time: 125.087s
* wallclock time: 125.734s
############################## Output files ##############################
model.umb.xz: Size of output file is 15294156 bytes
Log file: storm_from-jani_to-umb-xz_sparse_nand.60-4_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 126.477 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:27:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957263/tmptrkwk3arstorm_from-jani_to-umb-xz_sparse_nand.60-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957263/tmp_ugo8z17storm_from-jani_to-umb-xz_sparse_nand.60-4_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 26.751s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 18826082
Transitions: 29772212
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 6 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957263/tmp_ugo8z17storm_from-jani_to-umb-xz_sparse_nand.60-4_tmp_outdir_/model.umb.xz'.
Time for model export: 99.688s.
Performance statistics:
* peak memory usage: 1342MB
* CPU time: 125.654s
* wallclock time: 126.443s
############################## Output files ##############################
model.umb.xz: Size of output file is 15294156 bytes
Log file: storm_from-jani_to-umb-xz_sparse_nand.60-4_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 143.091 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:32:48 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957487/tmp42dyvoxcstorm_from-jani_to-umb-xz_sparse_nand.60-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957487/tmpiuiqejaxstorm_from-jani_to-umb-xz_sparse_nand.60-4_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 30.692s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 18826082
Transitions: 29772212
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 6 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957487/tmpiuiqejaxstorm_from-jani_to-umb-xz_sparse_nand.60-4_tmp_outdir_/model.umb.xz'.
Time for model export: 112.361s.
Performance statistics:
* peak memory usage: 1342MB
* CPU time: 142.127s
* wallclock time: 143.057s
############################## Output files ##############################
model.umb.xz: Size of output file is 15155660 bytes
Log file: storm_from-jani_to-umb-xz_sparse_nand.60-4_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 137.597 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:18:46 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956907/tmpjgo7lqg3storm_from-jani_to-umb-xz_sparse_nand.60-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956907/tmpjtnsyk43storm_from-jani_to-umb-xz_sparse_nand.60-4_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 28.357s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 18826082
Transitions: 29772212
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 6 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956907/tmpjtnsyk43storm_from-jani_to-umb-xz_sparse_nand.60-4_tmp_outdir_/model.umb.xz'.
Time for model export: 109.206s.
Performance statistics:
* peak memory usage: 1342MB
* CPU time: 136.745s
* wallclock time: 137.566s
############################## Output files ##############################
model.umb.xz: Size of output file is 15326948 bytes