Fix duplicated path in VMCAI25 artifact description

Author: sim642

docs/artifact-descriptions/vmcai25.md

@@ -195,7 +195,7 @@ The evaluation results that form the basis for the experimental data in the pape
 The witnesses generated by Goblint that formed the basis for this evaluation can be found in `~/witness-generation/paper-evaluation/`.
 See below for detailed info to reproduce the tables and figures of the paper.
 
-The file `~/witness-validation/paper-evaluation/~/witness-validation/paper-evaluation/` contains an HTML overview page generated by the BenchExec benchmarking tool, which displays individual results, quantile and scatter plots. Through the filtering sidebar (top right corner), detailed analyses can be made.
+The file `~/witness-validation/paper-evaluation/` contains an HTML overview page generated by the BenchExec benchmarking tool, which displays individual results, quantile and scatter plots. Through the filtering sidebar (top right corner), detailed analyses can be made.
 
 The table contains the following configurations :