Log files for model rabin.10 and tool configuration storm_from-jani_to-umb_sparse
Log file: storm_from-jani_to-umb_sparse_rabin.10_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 657.376 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:02:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956237/tmpjmj9jvm4storm_from-jani_to-umb_sparse_rabin.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956237/tmp3ke2yggbstorm_from-jani_to-umb_sparse_rabin.10_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.051s.
############################## Output files ##############################
model.umb: File does not exist.
Log file: storm_from-jani_to-umb_sparse_rabin.10_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 647.934 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:56:44 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958269/tmpkszcghf1storm_from-jani_to-umb_sparse_rabin.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958269/tmpcmqk6tfystorm_from-jani_to-umb_sparse_rabin.10_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
############################## Output files ##############################
model.umb: File does not exist.
Log file: storm_from-jani_to-umb_sparse_rabin.10_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 618.677 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:36:57 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955238/tmpil6ml5dvstorm_from-jani_to-umb_sparse_rabin.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955238/tmpj47j7_wzstorm_from-jani_to-umb_sparse_rabin.10_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
############################## Output files ##############################
model.umb: File does not exist.
Log file: storm_from-jani_to-umb_sparse_rabin.10_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 640.808 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:28:23 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954880/tmp6utr1odpstorm_from-jani_to-umb_sparse_rabin.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954880/tmpxrtt5wlostorm_from-jani_to-umb_sparse_rabin.10_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
############################## Output files ##############################
model.umb: File does not exist.
Log file: storm_from-jani_to-umb_sparse_rabin.10_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 645.941 seconds
Return code: -9
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:40:24 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955375/tmpgkx_444mstorm_from-jani_to-umb_sparse_rabin.10_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955375/tmp300pna_wstorm_from-jani_to-umb_sparse_rabin.10_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
############################## Output files ##############################
model.umb: File does not exist.