Patch benchexec table

.github/actions/benchexec-report/action.yml

@@ -25,6 +25,7 @@ runs:
             pushd $i
             table-generator -d *xml.bz2
             sed -i 's/\.\.\/svcomp23-witness-benchmarks\//ftsrg\.mit\.bme\.hu\/svcomp23-witness-benchmarks\//g' *.html
+            sed -E 's/[a-zA-Z0-9]+\(\)\.join\(([a-zA-Z0-9]+)\.props\.link,"\.\.\/"\+([a-zA-Z0-9]+)\)/"" + \1\.props\.link + "\.\.\/" + \2/g' -i *.html
             mv *.html index.html
             unzip *.zip
             rm *.zip