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

Parsed values
[, , , , ]
Log file: storm_from-umb_check_sparse_pnueli-zuck.10_rep1.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 09:29:39 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4965924/tmph8k1cf79storm_from-umb_check_sparse_pnueli-zuck.10_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4965924/tmph8k1cf79storm_from-umb_check_sparse_pnueli-zuck.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.4965924/tmph8k1cf79storm_from-umb_check_sparse_pnueli-zuck.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.4965924/tmph8k1cf79storm_from-umb_check_sparse_pnueli-zuck.10_tmp_indir_/storm.model.umb"' does not exist.
Log file: storm_from-umb_check_sparse_pnueli-zuck.10_rep2.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.023 seconds
Return code: 1
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 08:58:39 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4964354/tmp55rd6nubstorm_from-umb_check_sparse_pnueli-zuck.10_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4964354/tmp55rd6nubstorm_from-umb_check_sparse_pnueli-zuck.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.4964354/tmp55rd6nubstorm_from-umb_check_sparse_pnueli-zuck.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.4964354/tmp55rd6nubstorm_from-umb_check_sparse_pnueli-zuck.10_tmp_indir_/storm.model.umb"' does not exist.
Log file: storm_from-umb_check_sparse_pnueli-zuck.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 07:46:24 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4963128/tmpqxyjt9y7storm_from-umb_check_sparse_pnueli-zuck.10_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4963128/tmpqxyjt9y7storm_from-umb_check_sparse_pnueli-zuck.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.4963128/tmpqxyjt9y7storm_from-umb_check_sparse_pnueli-zuck.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.4963128/tmpqxyjt9y7storm_from-umb_check_sparse_pnueli-zuck.10_tmp_indir_/storm.model.umb"' does not exist.
Log file: storm_from-umb_check_sparse_pnueli-zuck.10_rep4.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.022 seconds
Return code: 1
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:47:01 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4966790/tmpks0fd09tstorm_from-umb_check_sparse_pnueli-zuck.10_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4966790/tmpks0fd09tstorm_from-umb_check_sparse_pnueli-zuck.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.4966790/tmpks0fd09tstorm_from-umb_check_sparse_pnueli-zuck.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.4966790/tmpks0fd09tstorm_from-umb_check_sparse_pnueli-zuck.10_tmp_indir_/storm.model.umb"' does not exist.
Log file: storm_from-umb_check_sparse_pnueli-zuck.10_rep5.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.026 seconds
Return code: 1
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:09:21 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4961542/tmptyywksc5storm_from-umb_check_sparse_pnueli-zuck.10_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4961542/tmptyywksc5storm_from-umb_check_sparse_pnueli-zuck.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.4961542/tmptyywksc5storm_from-umb_check_sparse_pnueli-zuck.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.4961542/tmptyywksc5storm_from-umb_check_sparse_pnueli-zuck.10_tmp_indir_/storm.model.umb"' does not exist.