Log files for model rabin.10 and tool configuration storm_from-jani_to-drn-xz_sparse
Log file: storm_from-jani_to-drn-xz_sparse_rabin.10_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 649.068 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:29:50 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957359/tmp1daxxb8vstorm_from-jani_to-drn-xz_sparse_rabin.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957359/tmpnzdvbl52storm_from-jani_to-drn-xz_sparse_rabin.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_rabin.10_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 651.728 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:56:09 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958237/tmptxxu73ngstorm_from-jani_to-drn-xz_sparse_rabin.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958237/tmpvxn29bzpstorm_from-jani_to-drn-xz_sparse_rabin.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.004s.
############################## Output files ##############################
model.drn.xz: File does not exist.
Log file: storm_from-jani_to-drn-xz_sparse_rabin.10_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 617.719 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:37:32 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955249/tmpfgxlswuystorm_from-jani_to-drn-xz_sparse_rabin.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955249/tmp04t8i5awstorm_from-jani_to-drn-xz_sparse_rabin.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.004s.
############################## Output files ##############################
model.drn.xz: File does not exist.
Log file: storm_from-jani_to-drn-xz_sparse_rabin.10_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 619.700 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:03:36 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956298/tmp6wb40jgistorm_from-jani_to-drn-xz_sparse_rabin.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956298/tmpkuct321jstorm_from-jani_to-drn-xz_sparse_rabin.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.004s.
############################## Output files ##############################
model.drn.xz: File does not exist.
Log file: storm_from-jani_to-drn-xz_sparse_rabin.10_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 618.928 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:30:40 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954970/tmpw92hu2j6storm_from-jani_to-drn-xz_sparse_rabin.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954970/tmpfgoysaf0storm_from-jani_to-drn-xz_sparse_rabin.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.004s.
############################## Output files ##############################
model.drn.xz: File does not exist.