Log files for model pnueli-zuck.10 and tool configuration storm_from-jani_to-drn-xz_sparse
Log file: storm_from-jani_to-drn-xz_sparse_pnueli-zuck.10_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 890.018 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:47:16 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955649/tmppobvgwpmstorm_from-jani_to-drn-xz_sparse_pnueli-zuck.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955649/tmp4c_r8fozstorm_from-jani_to-drn-xz_sparse_pnueli-zuck.10_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.005s.
############################## Output files ##############################
model.drn.xz: File does not exist.
Log file: storm_from-jani_to-drn-xz_sparse_pnueli-zuck.10_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 832.412 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:03:00 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956266/tmpxzofqpwdstorm_from-jani_to-drn-xz_sparse_pnueli-zuck.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956266/tmpf0u5q2b1storm_from-jani_to-drn-xz_sparse_pnueli-zuck.10_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.005s.
############################## Output files ##############################
model.drn.xz: File does not exist.
Log file: storm_from-jani_to-drn-xz_sparse_pnueli-zuck.10_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 923.698 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:28:04 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957295/tmpidli0ix9storm_from-jani_to-drn-xz_sparse_pnueli-zuck.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957295/tmp0hmltd24storm_from-jani_to-drn-xz_sparse_pnueli-zuck.10_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.006s.
############################## Output files ##############################
model.drn.xz: File does not exist.
Log file: storm_from-jani_to-drn-xz_sparse_pnueli-zuck.10_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 926.704 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:26:51 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957239/tmpn28sy6xwstorm_from-jani_to-drn-xz_sparse_pnueli-zuck.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957239/tmp5vrggza2storm_from-jani_to-drn-xz_sparse_pnueli-zuck.10_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.005s.
############################## Output files ##############################
model.drn.xz: File does not exist.
Log file: storm_from-jani_to-drn-xz_sparse_pnueli-zuck.10_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 938.653 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:35:50 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955179/tmpe4p5in8ustorm_from-jani_to-drn-xz_sparse_pnueli-zuck.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955179/tmp32f7spi0storm_from-jani_to-drn-xz_sparse_pnueli-zuck.10_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.006s.
############################## Output files ##############################
model.drn.xz: File does not exist.