Log files for model pnueli-zuck.10 and tool configuration storm_from-jani_to-drn_sparse
Log file: storm_from-jani_to-drn_sparse_pnueli-zuck.10_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 922.012 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:32:13 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957460/tmpr5mdtfltstorm_from-jani_to-drn_sparse_pnueli-zuck.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957460/tmp8vkfanhvstorm_from-jani_to-drn_sparse_pnueli-zuck.10_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.006s.
############################## Output files ##############################
model.drn: File does not exist.
Log file: storm_from-jani_to-drn_sparse_pnueli-zuck.10_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 932.192 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:36:33 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957550/tmpjmpd5c4bstorm_from-jani_to-drn_sparse_pnueli-zuck.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957550/tmpl71h93mjstorm_from-jani_to-drn_sparse_pnueli-zuck.10_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.006s.
############################## Output files ##############################
model.drn: File does not exist.
Log file: storm_from-jani_to-drn_sparse_pnueli-zuck.10_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 896.430 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:32:48 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957475/tmpk50_zye8storm_from-jani_to-drn_sparse_pnueli-zuck.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957475/tmpk5i8vgo8storm_from-jani_to-drn_sparse_pnueli-zuck.10_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
############################## Output files ##############################
model.drn: File does not exist.
Log file: storm_from-jani_to-drn_sparse_pnueli-zuck.10_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 803.312 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:39:48 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955358/tmplzux01ztstorm_from-jani_to-drn_sparse_pnueli-zuck.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955358/tmpuoei83wwstorm_from-jani_to-drn_sparse_pnueli-zuck.10_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
############################## Output files ##############################
model.drn: File does not exist.
Log file: storm_from-jani_to-drn_sparse_pnueli-zuck.10_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 948.424 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 00:02:28 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958510/tmpdm64wq_estorm_from-jani_to-drn_sparse_pnueli-zuck.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958510/tmpz9cd6wkcstorm_from-jani_to-drn_sparse_pnueli-zuck.10_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.006s.
############################## Output files ##############################
model.drn: File does not exist.