Log files for model rabin.10 and tool configuration storm_from-jani_to-drn_sparse
Log file: storm_from-jani_to-drn_sparse_rabin.10_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 584.472 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 00:02:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958525/tmpx3bk53dostorm_from-jani_to-drn_sparse_rabin.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958525/tmpu5c969dhstorm_from-jani_to-drn_sparse_rabin.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.004s.
############################## Output files ##############################
model.drn: File does not exist.
Log file: storm_from-jani_to-drn_sparse_rabin.10_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 620.403 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:44:29 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957847/tmp14_o2mhcstorm_from-jani_to-drn_sparse_rabin.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957847/tmpanr08kplstorm_from-jani_to-drn_sparse_rabin.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.004s.
############################## Output files ##############################
model.drn: File does not exist.
Log file: storm_from-jani_to-drn_sparse_rabin.10_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 568.543 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:04:11 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956307/tmpkgvx6e0ystorm_from-jani_to-drn_sparse_rabin.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956307/tmpeeue6c_ustorm_from-jani_to-drn_sparse_rabin.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.004s.
############################## Output files ##############################
model.drn: File does not exist.
Log file: storm_from-jani_to-drn_sparse_rabin.10_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 617.586 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:26:12 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957211/tmp80cuaph1storm_from-jani_to-drn_sparse_rabin.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957211/tmp27zjbbxtstorm_from-jani_to-drn_sparse_rabin.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.004s.
############################## Output files ##############################
model.drn: File does not exist.
Log file: storm_from-jani_to-drn_sparse_rabin.10_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 649.616 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:19:20 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956940/tmpg0ctkk3cstorm_from-jani_to-drn_sparse_rabin.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956940/tmp7dhk4qo1storm_from-jani_to-drn_sparse_rabin.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.004s.
############################## Output files ##############################
model.drn: File does not exist.