Log files for model egl.10-8 and tool configuration storm_from-jani_to-umb-xz_sparse
Log file: storm_from-jani_to-umb-xz_sparse_egl.10-8_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 834.353 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:35:51 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955184/tmpfg7qw657storm_from-jani_to-umb-xz_sparse_egl.10-8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955184/tmpvyoupf5sstorm_from-jani_to-umb-xz_sparse_egl.10-8_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
############################## Output files ##############################
model.umb.xz: File does not exist.
Log file: storm_from-jani_to-umb-xz_sparse_egl.10-8_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 798.077 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:51:35 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958052/tmp3cw_h094storm_from-jani_to-umb-xz_sparse_egl.10-8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958052/tmpm4sicleqstorm_from-jani_to-umb-xz_sparse_egl.10-8_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
############################## Output files ##############################
model.umb.xz: File does not exist.
Log file: storm_from-jani_to-umb-xz_sparse_egl.10-8_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 762.907 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:14:47 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956717/tmpyzpfpsn7storm_from-jani_to-umb-xz_sparse_egl.10-8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956717/tmp250y81hkstorm_from-jani_to-umb-xz_sparse_egl.10-8_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
############################## Output files ##############################
model.umb.xz: File does not exist.
Log file: storm_from-jani_to-umb-xz_sparse_egl.10-8_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 769.915 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:40:23 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955364/tmpovcq3izdstorm_from-jani_to-umb-xz_sparse_egl.10-8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955364/tmppjguv49gstorm_from-jani_to-umb-xz_sparse_egl.10-8_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
############################## Output files ##############################
model.umb.xz: File does not exist.
Log file: storm_from-jani_to-umb-xz_sparse_egl.10-8_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 747.530 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:40:24 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955373/tmpzxgxnlfostorm_from-jani_to-umb-xz_sparse_egl.10-8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955373/tmpw7jc75fxstorm_from-jani_to-umb-xz_sparse_egl.10-8_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
############################## Output files ##############################
model.umb.xz: File does not exist.