diff --git a/tests/wp-cache/cache/66c74fb33b5da5bf40d915bb908e2b1f.json b/tests/wp-cache/cache/66c74fb33b5da5bf40d915bb908e2b1f.json
new file mode 100644
index 0000000000000000000000000000000000000000..85ed0a9929f2bf6f7f65a6ec643a9c0e26f462ab
--- /dev/null
+++ b/tests/wp-cache/cache/66c74fb33b5da5bf40d915bb908e2b1f.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.2", "verdict": "timeout", "time": 2. }
diff --git a/tests/wp-cache/cache/95f7236a15781335ca41a1850d0f0a9f.json b/tests/wp-cache/cache/95f7236a15781335ca41a1850d0f0a9f.json
new file mode 100644
index 0000000000000000000000000000000000000000..6fefc0b7da54aaa43b9df52bf3dd88ff4998e771
--- /dev/null
+++ b/tests/wp-cache/cache/95f7236a15781335ca41a1850d0f0a9f.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.2", "verdict": "valid", "time": 0.0082,
+  "steps": 38 }