Log files for model pacman.100 and tool configuration storm_from-jani_to-drn-gz_sparse
[95.145, 95.906, 95.684, 95.037, 95.597]
Log file: storm_from-jani_to-drn-gz_sparse_pacman.100_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 786.532 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:31:14 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955007/tmpdvua1k_6storm_from-jani_to-drn-gz_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955007/tmpr5djsf7jstorm_from-jani_to-drn-gz_sparse_pacman.100_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.027s.
Time for model construction: 690.936s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 79440921
Transitions: 109963876
Choices: 100215175
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 3641587 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955007/tmpr5djsf7jstorm_from-jani_to-drn-gz_sparse_pacman.100_tmp_outdir_/model.drn.gz'.
Time for model export: 95.145s.
Performance statistics:
* peak memory usage: 10616MB
* CPU time: 781.571s
* wallclock time: 786.126s
############################## Output files ##############################
model.drn.gz: Size of output file is 564868453 bytes
Log file: storm_from-jani_to-drn-gz_sparse_pacman.100_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 797.641 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:44:59 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955563/tmprc8mgukestorm_from-jani_to-drn-gz_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955563/tmp7poomd2gstorm_from-jani_to-drn-gz_sparse_pacman.100_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.026s.
Time for model construction: 701.659s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 79440921
Transitions: 109963876
Choices: 100215175
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 3641587 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955563/tmp7poomd2gstorm_from-jani_to-drn-gz_sparse_pacman.100_tmp_outdir_/model.drn.gz'.
Time for model export: 95.906s.
Performance statistics:
* peak memory usage: 10616MB
* CPU time: 791.729s
* wallclock time: 797.610s
############################## Output files ##############################
model.drn.gz: Size of output file is 564868453 bytes
Log file: storm_from-jani_to-drn-gz_sparse_pacman.100_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 798.727 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:54:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958170/tmp6eian0dqstorm_from-jani_to-drn-gz_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958170/tmpxdplkucastorm_from-jani_to-drn-gz_sparse_pacman.100_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.026s.
Time for model construction: 702.970s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 79440921
Transitions: 109963876
Choices: 100215175
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 3641587 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958170/tmpxdplkucastorm_from-jani_to-drn-gz_sparse_pacman.100_tmp_outdir_/model.drn.gz'.
Time for model export: 95.684s.
Performance statistics:
* peak memory usage: 10616MB
* CPU time: 794.103s
* wallclock time: 798.698s
############################## Output files ##############################
model.drn.gz: Size of output file is 564868453 bytes
Log file: storm_from-jani_to-drn-gz_sparse_pacman.100_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 788.253 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:21:02 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957004/tmpof9un7c0storm_from-jani_to-drn-gz_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957004/tmpmjto1k5hstorm_from-jani_to-drn-gz_sparse_pacman.100_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.025s.
Time for model construction: 693.141s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 79440921
Transitions: 109963876
Choices: 100215175
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 3641587 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957004/tmpmjto1k5hstorm_from-jani_to-drn-gz_sparse_pacman.100_tmp_outdir_/model.drn.gz'.
Time for model export: 95.037s.
Performance statistics:
* peak memory usage: 10616MB
* CPU time: 783.724s
* wallclock time: 788.222s
############################## Output files ##############################
model.drn.gz: Size of output file is 564868453 bytes
Log file: storm_from-jani_to-drn-gz_sparse_pacman.100_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 796.814 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.4957723/tmp8xunzebastorm_from-jani_to-drn-gz_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957723/tmpf9xuv5cqstorm_from-jani_to-drn-gz_sparse_pacman.100_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.027s.
Time for model construction: 701.127s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 79440921
Transitions: 109963876
Choices: 100215175
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 3641587 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957723/tmpf9xuv5cqstorm_from-jani_to-drn-gz_sparse_pacman.100_tmp_outdir_/model.drn.gz'.
Time for model export: 95.597s.
Performance statistics:
* peak memory usage: 10616MB
* CPU time: 791.661s
* wallclock time: 796.774s
############################## Output files ##############################
model.drn.gz: Size of output file is 564868453 bytes