Log files for model rabin.10 and tool configuration storm_from-umb_check_sparse

Parsed values
[, , , , ]
Log file: storm_from-umb_check_sparse_rabin.10_rep1.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.027 seconds
Return code: 1
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:48:32 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4963245/tmpfre5_vglstorm_from-umb_check_sparse_rabin.10_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4963245/tmpfre5_vglstorm_from-umb_check_sparse_rabin.10_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

ERROR (UmbImport.cpp:259): The given path '"/w0/tmp/slurm_tq429871.4963245/tmpfre5_vglstorm_from-umb_check_sparse_rabin.10_tmp_indir_/storm.model.umb"' does not exist.
ERROR (storm-cli.cpp:49): An exception caused Storm to terminate. The message of the exception is: FileIoException: The given path '"/w0/tmp/slurm_tq429871.4963245/tmpfre5_vglstorm_from-umb_check_sparse_rabin.10_tmp_indir_/storm.model.umb"' does not exist.
Log file: storm_from-umb_check_sparse_rabin.10_rep2.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.157 seconds
Return code: 1
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:49:37 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4966847/tmpsnoxm9frstorm_from-umb_check_sparse_rabin.10_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4966847/tmpsnoxm9frstorm_from-umb_check_sparse_rabin.10_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

ERROR (UmbImport.cpp:259): The given path '"/w0/tmp/slurm_tq429871.4966847/tmpsnoxm9frstorm_from-umb_check_sparse_rabin.10_tmp_indir_/storm.model.umb"' does not exist.
ERROR (storm-cli.cpp:49): An exception caused Storm to terminate. The message of the exception is: FileIoException: The given path '"/w0/tmp/slurm_tq429871.4966847/tmpsnoxm9frstorm_from-umb_check_sparse_rabin.10_tmp_indir_/storm.model.umb"' does not exist.
Log file: storm_from-umb_check_sparse_rabin.10_rep3.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.027 seconds
Return code: 1
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:58:17 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4967262/tmp7r3xmjijstorm_from-umb_check_sparse_rabin.10_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4967262/tmp7r3xmjijstorm_from-umb_check_sparse_rabin.10_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

ERROR (UmbImport.cpp:259): The given path '"/w0/tmp/slurm_tq429871.4967262/tmp7r3xmjijstorm_from-umb_check_sparse_rabin.10_tmp_indir_/storm.model.umb"' does not exist.
ERROR (storm-cli.cpp:49): An exception caused Storm to terminate. The message of the exception is: FileIoException: The given path '"/w0/tmp/slurm_tq429871.4967262/tmp7r3xmjijstorm_from-umb_check_sparse_rabin.10_tmp_indir_/storm.model.umb"' does not exist.
Log file: storm_from-umb_check_sparse_rabin.10_rep4.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.024 seconds
Return code: 1
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:12:35 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4961677/tmpbz9rj92gstorm_from-umb_check_sparse_rabin.10_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4961677/tmpbz9rj92gstorm_from-umb_check_sparse_rabin.10_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

ERROR (UmbImport.cpp:259): The given path '"/w0/tmp/slurm_tq429871.4961677/tmpbz9rj92gstorm_from-umb_check_sparse_rabin.10_tmp_indir_/storm.model.umb"' does not exist.
ERROR (storm-cli.cpp:49): An exception caused Storm to terminate. The message of the exception is: FileIoException: The given path '"/w0/tmp/slurm_tq429871.4961677/tmpbz9rj92gstorm_from-umb_check_sparse_rabin.10_tmp_indir_/storm.model.umb"' does not exist.
Log file: storm_from-umb_check_sparse_rabin.10_rep5.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.257 seconds
Return code: 1
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:29:53 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4965935/tmpsobucj__storm_from-umb_check_sparse_rabin.10_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4965935/tmpsobucj__storm_from-umb_check_sparse_rabin.10_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

ERROR (UmbImport.cpp:259): The given path '"/w0/tmp/slurm_tq429871.4965935/tmpsobucj__storm_from-umb_check_sparse_rabin.10_tmp_indir_/storm.model.umb"' does not exist.
ERROR (storm-cli.cpp:49): An exception caused Storm to terminate. The message of the exception is: FileIoException: The given path '"/w0/tmp/slurm_tq429871.4965935/tmpsobucj__storm_from-umb_check_sparse_rabin.10_tmp_indir_/storm.model.umb"' does not exist.