diff --git a/results/contracts/mutants/DutchSaleMockUtils/1/FVR/diff_result_GT.json b/results/contracts/mutants/DutchSaleMockUtils/1/FVR/diff_result_GT.json
new file mode 100644
index 00000000000..4c0837a3ca3
--- /dev/null
+++ b/results/contracts/mutants/DutchSaleMockUtils/1/FVR/diff_result_GT.json
@@ -0,0 +1,5 @@
+{
+    "number_of_edits": 1,
+    "timing": 4.968523263931274,
+    "edit_script": "<actions>\n  <update-node tree=\"visibility: public [83,89]\" label=\"external\" />\n</actions>\n"
+}
\ No newline at end of file
diff --git a/results/contracts/mutants/DutchSaleMockUtils/1/FVR/diff_result_difft.json b/results/contracts/mutants/DutchSaleMockUtils/1/FVR/diff_result_difft.json
new file mode 100644
index 00000000000..762c6ec1527
--- /dev/null
+++ b/results/contracts/mutants/DutchSaleMockUtils/1/FVR/diff_result_difft.json
@@ -0,0 +1,32 @@
+{
+    "number_of_changes": 1,
+    "timing": 0.06620430946350098,
+    "diff_chunks": [
+        [
+            {
+                "lhs": {
+                    "line_number": 4,
+                    "changes": [
+                        {
+                            "start": 26,
+                            "end": 32,
+                            "content": "public",
+                            "highlight": "keyword"
+                        }
+                    ]
+                },
+                "rhs": {
+                    "line_number": 4,
+                    "changes": [
+                        {
+                            "start": 26,
+                            "end": 34,
+                            "content": "external",
+                            "highlight": "keyword"
+                        }
+                    ]
+                }
+            }
+        ]
+    ]
+}
\ No newline at end of file