2025-04-28 23:16:00,148 - 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_5ce30d85-9ab7-41ff-b778-4a2946ea399b/chc-comp25-scripts/participants/chc2c-svcomp/chc_verif/__pycache__/__init__.cpython-312.pyc'
2025-04-28 23:16:00,149 - 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_5ce30d85-9ab7-41ff-b778-4a2946ea399b/chc-comp25-scripts/participants/chc2c-svcomp/chc_verif/__pycache__/chc_verif.cpython-312.pyc'
2025-04-28 23:16:00,149 - 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_5ce30d85-9ab7-41ff-b778-4a2946ea399b/chc-comp25-scripts/participants/chc2c-svcomp/lib/coveriteam/coveriteam/__pycache__/__init__.cpython-312.pyc'
2025-04-28 23:16:00,150 - 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_5ce30d85-9ab7-41ff-b778-4a2946ea399b/chc-comp25-scripts/participants/chc2c-svcomp/lib/coveriteam/coveriteam/__pycache__/util.cpython-312.pyc'
2025-04-28 23:16:00,150 - 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_5ce30d85-9ab7-41ff-b778-4a2946ea399b/chc-comp25-scripts/participants/chc2c-svcomp/lib/coveriteam/coveriteam/actors/__pycache__/__init__.cpython-312.pyc'
2025-04-28 23:16:00,150 - 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_5ce30d85-9ab7-41ff-b778-4a2946ea399b/chc-comp25-scripts/participants/chc2c-svcomp/lib/coveriteam/coveriteam/actors/__pycache__/analyzers.cpython-312.pyc'
2025-04-28 23:16:00,151 - 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_5ce30d85-9ab7-41ff-b778-4a2946ea399b/chc-comp25-scripts/participants/chc2c-svcomp/lib/coveriteam/coveriteam/language/__pycache__/__init__.cpython-312.pyc'
2025-04-28 23:16:00,151 - 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_5ce30d85-9ab7-41ff-b778-4a2946ea399b/chc-comp25-scripts/participants/chc2c-svcomp/lib/coveriteam/coveriteam/language/__pycache__/actor.cpython-312.pyc'
2025-04-28 23:16:00,151 - 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_5ce30d85-9ab7-41ff-b778-4a2946ea399b/chc-comp25-scripts/participants/chc2c-svcomp/lib/coveriteam/coveriteam/language/__pycache__/artifact.cpython-312.pyc'
2025-04-28 23:16:00,151 - 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_5ce30d85-9ab7-41ff-b778-4a2946ea399b/chc-comp25-scripts/participants/chc2c-svcomp/lib/coveriteam/coveriteam/language/__pycache__/predmap_join.cpython-312.pyc'
2025-04-28 23:16:00,152 - 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_5ce30d85-9ab7-41ff-b778-4a2946ea399b/chc-comp25-scripts/participants/chc2c-svcomp/lib/coveriteam/coveriteam/language/__pycache__/witness_join.cpython-312.pyc'
2025-04-28 23:16:00,152 - 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_5ce30d85-9ab7-41ff-b778-4a2946ea399b/chc-comp25-scripts/participants/chc2c-svcomp/lib/coveriteam/coveriteam/language/__pycache__/atomicactor.cpython-312.pyc'
