Log files for model pacman.100 and tool configuration storm_from-jani_to-drn-xz_sparse
[1253.209, 1034.231, 1262.389, 1271.925, 1248.011]
Log file: storm_from-jani_to-drn-xz_sparse_pacman.100_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 1953.173 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:00:41 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956176/tmpn3mzmy6ostorm_from-jani_to-drn-xz_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956176/tmpaix0o7_fstorm_from-jani_to-drn-xz_sparse_pacman.100_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.025s.
Time for model construction: 699.886s.
--------------------------------------------------------------
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.4956176/tmpaix0o7_fstorm_from-jani_to-drn-xz_sparse_pacman.100_tmp_outdir_/model.drn.xz'.
Time for model export: 1253.209s.
Performance statistics:
* peak memory usage: 10680MB
* CPU time: 1942.226s
* wallclock time: 1953.139s
############################## Output files ##############################
model.drn.xz: Size of output file is 214048996 bytes
Log file: storm_from-jani_to-drn-xz_sparse_pacman.100_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 1729.002 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:33:59 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957518/tmp0is61ctestorm_from-jani_to-drn-xz_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957518/tmpvu4p549tstorm_from-jani_to-drn-xz_sparse_pacman.100_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.027s.
Time for model construction: 694.693s.
--------------------------------------------------------------
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.4957518/tmpvu4p549tstorm_from-jani_to-drn-xz_sparse_pacman.100_tmp_outdir_/model.drn.xz'.
Time for model export: 1034.231s.
Performance statistics:
* peak memory usage: 10680MB
* CPU time: 1720.813s
* wallclock time: 1728.968s
############################## Output files ##############################
model.drn.xz: Size of output file is 214048996 bytes
Log file: storm_from-jani_to-drn-xz_sparse_pacman.100_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 1966.255 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:46:07 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955599/tmpo5xuelzkstorm_from-jani_to-drn-xz_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955599/tmp9k_ssbsostorm_from-jani_to-drn-xz_sparse_pacman.100_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.028s.
Time for model construction: 703.789s.
--------------------------------------------------------------
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.4955599/tmp9k_ssbsostorm_from-jani_to-drn-xz_sparse_pacman.100_tmp_outdir_/model.drn.xz'.
Time for model export: 1262.389s.
Performance statistics:
* peak memory usage: 10679MB
* CPU time: 1956.159s
* wallclock time: 1966.227s
############################## Output files ##############################
model.drn.xz: Size of output file is 214048996 bytes
Log file: storm_from-jani_to-drn-xz_sparse_pacman.100_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 1962.056 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:19:54 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956965/tmp3o7966s_storm_from-jani_to-drn-xz_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956965/tmpc2isgr55storm_from-jani_to-drn-xz_sparse_pacman.100_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.027s.
Time for model construction: 689.844s.
--------------------------------------------------------------
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.4956965/tmpc2isgr55storm_from-jani_to-drn-xz_sparse_pacman.100_tmp_outdir_/model.drn.xz'.
Time for model export: 1271.925s.
Performance statistics:
* peak memory usage: 10680MB
* CPU time: 1952.507s
* wallclock time: 1961.815s
############################## Output files ##############################
model.drn.xz: Size of output file is 214048996 bytes
Log file: storm_from-jani_to-drn-xz_sparse_pacman.100_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 1947.406 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:57:43 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956070/tmpcuecgdxostorm_from-jani_to-drn-xz_sparse_pacman.100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956070/tmpvkdz9lvkstorm_from-jani_to-drn-xz_sparse_pacman.100_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.026s.
Time for model construction: 699.322s.
--------------------------------------------------------------
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.4956070/tmpvkdz9lvkstorm_from-jani_to-drn-xz_sparse_pacman.100_tmp_outdir_/model.drn.xz'.
Time for model export: 1248.011s.
Performance statistics:
* peak memory usage: 10680MB
* CPU time: 1937.898s
* wallclock time: 1947.377s
############################## Output files ##############################
model.drn.xz: Size of output file is 214048996 bytes