':/home/tudattr/Documents/Arbeit/Uni-DuE_NCS_SHK/04_-_Projekte/27-p4-experiment-setup
a:/home/tudattr/Documents/Arbeit/Uni-DuE_NCS_SHK/04_-_Projekte
s:/home/tudattr/Pictures/Screenshots
u:/home/tudattr/.genesis/Documents/Uni/Studium
e:/home/tudattr/.genesis/Documents/Uni/Studium/2023_Sommersemester/ethfuzz
r:/home/tudattr/.genesis/Documents/Uni/Studium/2023_Sommersemester/ethfuzz-evaluation/eval_ityfuzz/contracts/VeriSmart-benchmarks
m:/run/media/tudattr