Fix ourtool-graphml LOGDIR in str-cross

Author: sim642

thread-witnesses/st-cross/ourtool-validate-self.xml

@@ -21,9 +21,9 @@
   </rundefinition>
 
   <rundefinition name="ourtool-graphml">
-    <requiredfiles>RESULTSDIR/LOGDIR2/ourtool/${taskdef_name}/witness.yml</requiredfiles>
-    <option name="--witness.yaml.unassume">RESULTSDIR/LOGDIR2/ourtool/${taskdef_name}/witness.yml</option>
-    <option name="--witness.yaml.validate">RESULTSDIR/LOGDIR2/ourtool/${taskdef_name}/witness.yml</option>
+    <requiredfiles>RESULTSDIR/LOGDIR3/ourtool/${taskdef_name}/witness.yml</requiredfiles>
+    <option name="--witness.yaml.unassume">RESULTSDIR/LOGDIR3/ourtool/${taskdef_name}/witness.yml</option>
+    <option name="--witness.yaml.validate">RESULTSDIR/LOGDIR3/ourtool/${taskdef_name}/witness.yml</option>
   </rundefinition>
 
 </benchmark>