Log files for model nand.40-4 and tool configuration storm_from-jani_to-umb_sparse
[0.088, 0.109, 0.09, 0.093, 0.091]
Log file: storm_from-jani_to-umb_sparse_nand.40-4_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 5.852 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:20:28 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956979/tmpjx8qgy3rstorm_from-jani_to-umb_sparse_nand.40-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956979/tmp2k24ygi3storm_from-jani_to-umb_sparse_nand.40-4_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 5.736s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 3999522
Transitions: 6288542
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 4 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956979/tmp2k24ygi3storm_from-jani_to-umb_sparse_nand.40-4_tmp_outdir_/model.umb'.
Time for model export: 0.088s.
Performance statistics:
* peak memory usage: 320MB
* CPU time: 5.700s
* wallclock time: 5.827s
############################## Output files ##############################
model.umb: Size of output file is 134124032 bytes
Log file: storm_from-jani_to-umb_sparse_nand.40-4_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 6.342 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 00:02:28 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958521/tmpbhabxneystorm_from-jani_to-umb_sparse_nand.40-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958521/tmp9muxy_ytstorm_from-jani_to-umb_sparse_nand.40-4_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 6.198s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 3999522
Transitions: 6288542
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 4 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958521/tmp9muxy_ytstorm_from-jani_to-umb_sparse_nand.40-4_tmp_outdir_/model.umb'.
Time for model export: 0.109s.
Performance statistics:
* peak memory usage: 320MB
* CPU time: 6.173s
* wallclock time: 6.310s
############################## Output files ##############################
model.umb: Size of output file is 134124032 bytes
Log file: storm_from-jani_to-umb_sparse_nand.40-4_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 5.923 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:53:18 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958129/tmpes9d8e4mstorm_from-jani_to-umb_sparse_nand.40-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958129/tmp2bipv4s2storm_from-jani_to-umb_sparse_nand.40-4_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 5.795s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 3999522
Transitions: 6288542
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 4 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958129/tmp2bipv4s2storm_from-jani_to-umb_sparse_nand.40-4_tmp_outdir_/model.umb'.
Time for model export: 0.090s.
Performance statistics:
* peak memory usage: 320MB
* CPU time: 5.782s
* wallclock time: 5.889s
############################## Output files ##############################
model.umb: Size of output file is 134124032 bytes
Log file: storm_from-jani_to-umb_sparse_nand.40-4_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 5.999 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:29:32 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954923/tmpvwvl1aghstorm_from-jani_to-umb_sparse_nand.40-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954923/tmpqb94f6swstorm_from-jani_to-umb_sparse_nand.40-4_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 5.874s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 3999522
Transitions: 6288542
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 4 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4954923/tmpqb94f6swstorm_from-jani_to-umb_sparse_nand.40-4_tmp_outdir_/model.umb'.
Time for model export: 0.093s.
Performance statistics:
* peak memory usage: 320MB
* CPU time: 5.837s
* wallclock time: 5.969s
############################## Output files ##############################
model.umb: Size of output file is 134124032 bytes
Log file: storm_from-jani_to-umb_sparse_nand.40-4_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 6.253 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:27:50 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954858/tmpdlzmi57hstorm_from-jani_to-umb_sparse_nand.40-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954858/tmpi9li3iadstorm_from-jani_to-umb_sparse_nand.40-4_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 5.667s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 3999522
Transitions: 6288542
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 4 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4954858/tmpi9li3iadstorm_from-jani_to-umb_sparse_nand.40-4_tmp_outdir_/model.umb'.
Time for model export: 0.091s.
Performance statistics:
* peak memory usage: 320MB
* CPU time: 5.629s
* wallclock time: 5.762s
############################## Output files ##############################
model.umb: Size of output file is 134124032 bytes