Log files for model nand.60-4 and tool configuration storm_from-jani_to-drn_sparse
[11.253, 11.288, 11.91, 11.389, 11.269]
Log file: storm_from-jani_to-drn_sparse_nand.60-4_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 38.190 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:43:54 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957822/tmpw_38xhesstorm_from-jani_to-drn_sparse_nand.60-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957822/tmp86o4u0xcstorm_from-jani_to-drn_sparse_nand.60-4_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 26.899s.
--------------------------------------------------------------
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.4957822/tmp86o4u0xcstorm_from-jani_to-drn_sparse_nand.60-4_tmp_outdir_/model.drn'.
Time for model export: 11.253s.
Performance statistics:
* peak memory usage: 1098MB
* CPU time: 37.505s
* wallclock time: 38.157s
############################## Output files ##############################
model.drn: Size of output file is 1000415021 bytes
Log file: storm_from-jani_to-drn_sparse_nand.60-4_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 40.363 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:41:28 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957729/tmpr33nph83storm_from-jani_to-drn_sparse_nand.60-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957729/tmphke5c31dstorm_from-jani_to-drn_sparse_nand.60-4_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 28.418s.
--------------------------------------------------------------
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.4957729/tmphke5c31dstorm_from-jani_to-drn_sparse_nand.60-4_tmp_outdir_/model.drn'.
Time for model export: 11.288s.
Performance statistics:
* peak memory usage: 1098MB
* CPU time: 38.968s
* wallclock time: 39.711s
############################## Output files ##############################
model.drn: Size of output file is 1000415021 bytes
Log file: storm_from-jani_to-drn_sparse_nand.60-4_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 40.249 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:53:36 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955901/tmp9umazzv9storm_from-jani_to-drn_sparse_nand.60-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955901/tmp1q7i7824storm_from-jani_to-drn_sparse_nand.60-4_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 28.304s.
--------------------------------------------------------------
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.4955901/tmp1q7i7824storm_from-jani_to-drn_sparse_nand.60-4_tmp_outdir_/model.drn'.
Time for model export: 11.910s.
Performance statistics:
* peak memory usage: 1098MB
* CPU time: 39.546s
* wallclock time: 40.218s
############################## Output files ##############################
model.drn: Size of output file is 1000415021 bytes
Log file: storm_from-jani_to-drn_sparse_nand.60-4_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 40.229 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:57:08 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956049/tmpgdcip3x3storm_from-jani_to-drn_sparse_nand.60-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956049/tmphq_b282_storm_from-jani_to-drn_sparse_nand.60-4_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 28.808s.
--------------------------------------------------------------
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.4956049/tmphq_b282_storm_from-jani_to-drn_sparse_nand.60-4_tmp_outdir_/model.drn'.
Time for model export: 11.389s.
Performance statistics:
* peak memory usage: 1098MB
* CPU time: 39.428s
* wallclock time: 40.201s
############################## Output files ##############################
model.drn: Size of output file is 1000415021 bytes
Log file: storm_from-jani_to-drn_sparse_nand.60-4_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 40.209 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:26:53 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957248/tmp2k6mcp0kstorm_from-jani_to-drn_sparse_nand.60-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957248/tmp8ty4snfzstorm_from-jani_to-drn_sparse_nand.60-4_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 28.540s.
--------------------------------------------------------------
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.4957248/tmp8ty4snfzstorm_from-jani_to-drn_sparse_nand.60-4_tmp_outdir_/model.drn'.
Time for model export: 11.269s.
Performance statistics:
* peak memory usage: 1098MB
* CPU time: 39.029s
* wallclock time: 39.815s
############################## Output files ##############################
model.drn: Size of output file is 1000415021 bytes