2025-04-28 23:16:10,032 - WARNING - Could not retrieve output file '/chc_verif/__pycache__/__init__.cpython-312.pyc': [Errno 13] Permission denied: '/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_de68e642-0d40-476a-9810-8b1858fa6dcc/chc-comp25-scripts/participants/chc2c-svcomp/chc_verif/__pycache__/__init__.cpython-312.pyc'
2025-04-28 23:16:10,032 - WARNING - Could not retrieve output file '/chc_verif/__pycache__/chc_verif.cpython-312.pyc': [Errno 13] Permission denied: '/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_de68e642-0d40-476a-9810-8b1858fa6dcc/chc-comp25-scripts/participants/chc2c-svcomp/chc_verif/__pycache__/chc_verif.cpython-312.pyc'
2025-04-28 23:16:10,033 - WARNING - Could not retrieve output file '/lib/coveriteam/coveriteam/__pycache__/__init__.cpython-312.pyc': [Errno 13] Permission denied: '/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_de68e642-0d40-476a-9810-8b1858fa6dcc/chc-comp25-scripts/participants/chc2c-svcomp/lib/coveriteam/coveriteam/__pycache__/__init__.cpython-312.pyc'
2025-04-28 23:16:10,033 - WARNING - Could not retrieve output file '/lib/coveriteam/coveriteam/__pycache__/util.cpython-312.pyc': [Errno 13] Permission denied: '/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_de68e642-0d40-476a-9810-8b1858fa6dcc/chc-comp25-scripts/participants/chc2c-svcomp/lib/coveriteam/coveriteam/__pycache__/util.cpython-312.pyc'
2025-04-28 23:16:10,033 - WARNING - Could not retrieve output file '/lib/coveriteam/coveriteam/actors/__pycache__/__init__.cpython-312.pyc': [Errno 13] Permission denied: '/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_de68e642-0d40-476a-9810-8b1858fa6dcc/chc-comp25-scripts/participants/chc2c-svcomp/lib/coveriteam/coveriteam/actors/__pycache__/__init__.cpython-312.pyc'
2025-04-28 23:16:10,034 - WARNING - Could not retrieve output file '/lib/coveriteam/coveriteam/actors/__pycache__/analyzers.cpython-312.pyc': [Errno 13] Permission denied: '/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_de68e642-0d40-476a-9810-8b1858fa6dcc/chc-comp25-scripts/participants/chc2c-svcomp/lib/coveriteam/coveriteam/actors/__pycache__/analyzers.cpython-312.pyc'
2025-04-28 23:16:10,034 - WARNING - Could not retrieve output file '/lib/coveriteam/coveriteam/language/__pycache__/__init__.cpython-312.pyc': [Errno 13] Permission denied: '/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_de68e642-0d40-476a-9810-8b1858fa6dcc/chc-comp25-scripts/participants/chc2c-svcomp/lib/coveriteam/coveriteam/language/__pycache__/__init__.cpython-312.pyc'
2025-04-28 23:16:10,034 - WARNING - Could not retrieve output file '/lib/coveriteam/coveriteam/language/__pycache__/actor.cpython-312.pyc': [Errno 13] Permission denied: '/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_de68e642-0d40-476a-9810-8b1858fa6dcc/chc-comp25-scripts/participants/chc2c-svcomp/lib/coveriteam/coveriteam/language/__pycache__/actor.cpython-312.pyc'
2025-04-28 23:16:10,035 - WARNING - Could not retrieve output file '/lib/coveriteam/coveriteam/language/__pycache__/artifact.cpython-312.pyc': [Errno 13] Permission denied: '/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_de68e642-0d40-476a-9810-8b1858fa6dcc/chc-comp25-scripts/participants/chc2c-svcomp/lib/coveriteam/coveriteam/language/__pycache__/artifact.cpython-312.pyc'
2025-04-28 23:16:10,035 - WARNING - Could not retrieve output file '/lib/coveriteam/coveriteam/language/__pycache__/predmap_join.cpython-312.pyc': [Errno 13] Permission denied: '/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_de68e642-0d40-476a-9810-8b1858fa6dcc/chc-comp25-scripts/participants/chc2c-svcomp/lib/coveriteam/coveriteam/language/__pycache__/predmap_join.cpython-312.pyc'
2025-04-28 23:16:10,035 - WARNING - Could not retrieve output file '/lib/coveriteam/coveriteam/language/__pycache__/witness_join.cpython-312.pyc': [Errno 13] Permission denied: '/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_de68e642-0d40-476a-9810-8b1858fa6dcc/chc-comp25-scripts/participants/chc2c-svcomp/lib/coveriteam/coveriteam/language/__pycache__/witness_join.cpython-312.pyc'
2025-04-28 23:16:10,036 - WARNING - Could not retrieve output file '/lib/coveriteam/coveriteam/language/__pycache__/atomicactor.cpython-312.pyc': [Errno 13] Permission denied: '/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_de68e642-0d40-476a-9810-8b1858fa6dcc/chc-comp25-scripts/participants/chc2c-svcomp/lib/coveriteam/coveriteam/language/__pycache__/atomicactor.cpython-312.pyc'
