Log files for model pnueli-zuck.5 and tool configuration storm_from-jani_to-drn-xz_sparse
[26.254, 28.822, 26.114, 25.918, 31.308]
Log file: storm_from-jani_to-drn-xz_sparse_pnueli-zuck.5_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 28.217 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.4956052/tmpxs3x9p51storm_from-jani_to-drn-xz_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956052/tmp4ugbj4xkstorm_from-jani_to-drn-xz_sparse_pnueli-zuck.5_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: 1.931s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 397435
Transitions: 2492035
Choices: 2323315
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 10000 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956052/tmp4ugbj4xkstorm_from-jani_to-drn-xz_sparse_pnueli-zuck.5_tmp_outdir_/model.drn.xz'.
Time for model export: 26.254s.
Performance statistics:
* peak memory usage: 313MB
* CPU time: 28.074s
* wallclock time: 28.192s
############################## Output files ##############################
model.drn.xz: Size of output file is 4011488 bytes
Log file: storm_from-jani_to-drn-xz_sparse_pnueli-zuck.5_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 30.737 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.4958131/tmpl4_xw02fstorm_from-jani_to-drn-xz_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958131/tmpgusddzvpstorm_from-jani_to-drn-xz_sparse_pnueli-zuck.5_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: 1.886s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 397435
Transitions: 2492035
Choices: 2323315
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 10000 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958131/tmpgusddzvpstorm_from-jani_to-drn-xz_sparse_pnueli-zuck.5_tmp_outdir_/model.drn.xz'.
Time for model export: 28.822s.
Performance statistics:
* peak memory usage: 314MB
* CPU time: 30.568s
* wallclock time: 30.714s
############################## Output files ##############################
model.drn.xz: Size of output file is 4011488 bytes
Log file: storm_from-jani_to-drn-xz_sparse_pnueli-zuck.5_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 28.112 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:10:04 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956570/tmpp96bue2cstorm_from-jani_to-drn-xz_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956570/tmpeyvvfvi7storm_from-jani_to-drn-xz_sparse_pnueli-zuck.5_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: 1.957s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 397435
Transitions: 2492035
Choices: 2323315
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 10000 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956570/tmpeyvvfvi7storm_from-jani_to-drn-xz_sparse_pnueli-zuck.5_tmp_outdir_/model.drn.xz'.
Time for model export: 26.114s.
Performance statistics:
* peak memory usage: 313MB
* CPU time: 27.945s
* wallclock time: 28.078s
############################## Output files ##############################
model.drn.xz: Size of output file is 4011488 bytes
Log file: storm_from-jani_to-drn-xz_sparse_pnueli-zuck.5_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 27.888 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:58:54 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956117/tmp_d50o7klstorm_from-jani_to-drn-xz_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956117/tmpvwbdbxw0storm_from-jani_to-drn-xz_sparse_pnueli-zuck.5_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: 1.932s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 397435
Transitions: 2492035
Choices: 2323315
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 10000 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956117/tmpvwbdbxw0storm_from-jani_to-drn-xz_sparse_pnueli-zuck.5_tmp_outdir_/model.drn.xz'.
Time for model export: 25.918s.
Performance statistics:
* peak memory usage: 313MB
* CPU time: 27.735s
* wallclock time: 27.857s
############################## Output files ##############################
model.drn.xz: Size of output file is 4011488 bytes
Log file: storm_from-jani_to-drn-xz_sparse_pnueli-zuck.5_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 33.481 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:49:33 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955748/tmp0dwki_wjstorm_from-jani_to-drn-xz_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955748/tmpt1b21fndstorm_from-jani_to-drn-xz_sparse_pnueli-zuck.5_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: 2.135s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 397435
Transitions: 2492035
Choices: 2323315
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 10000 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955748/tmpt1b21fndstorm_from-jani_to-drn-xz_sparse_pnueli-zuck.5_tmp_outdir_/model.drn.xz'.
Time for model export: 31.308s.
Performance statistics:
* peak memory usage: 313MB
* CPU time: 33.258s
* wallclock time: 33.450s
############################## Output files ##############################
model.drn.xz: Size of output file is 4011488 bytes