Log files for model pnueli-zuck.10 and tool configuration storm_from-jani_check_sparse

Parsed values
[MO, MO, MO, MO, MO]
Log file: storm_from-jani_check_sparse_pnueli-zuck.10_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 892.501 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:00:34 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961156/tmpx6_ip9gxstorm_from-jani_check_sparse_pnueli-zuck.10_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 0.006s.
Log file: storm_from-jani_check_sparse_pnueli-zuck.10_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 924.375 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:08:16 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961492/tmphs5h__whstorm_from-jani_check_sparse_pnueli-zuck.10_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 0.005s.
Log file: storm_from-jani_check_sparse_pnueli-zuck.10_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 823.791 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:13:41 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961732/tmpbm11ivz1storm_from-jani_check_sparse_pnueli-zuck.10_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 0.006s.
Log file: storm_from-jani_check_sparse_pnueli-zuck.10_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 925.418 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:44:21 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4966641/tmpbpf3jycfstorm_from-jani_check_sparse_pnueli-zuck.10_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 0.006s.
Log file: storm_from-jani_check_sparse_pnueli-zuck.10_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 826.565 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:16:33 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4965212/tmpb1jsncbystorm_from-jani_check_sparse_pnueli-zuck.10_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 0.005s.