diff --git a/tests/wp-cache/cache/973001fff63e80df9d4235326693e129.json b/tests/wp-cache/cache/973001fff63e80df9d4235326693e129.json
new file mode 100644
index 0000000000000000000000000000000000000000..2076d934e44098a6187ed15455c151bdc1d69796
--- /dev/null
+++ b/tests/wp-cache/cache/973001fff63e80df9d4235326693e129.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.5.3", "verdict": "valid", "time": 0.01195,
+  "steps": 62 }
diff --git a/tests/wp-cache/cache/a07939d8b90372280b59dd5ebe5b73df.json b/tests/wp-cache/cache/a07939d8b90372280b59dd5ebe5b73df.json
new file mode 100644
index 0000000000000000000000000000000000000000..13d7444340ee3f76be2c1d5a1bd6ba981a0f3758
--- /dev/null
+++ b/tests/wp-cache/cache/a07939d8b90372280b59dd5ebe5b73df.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.5.3", "verdict": "valid", "time": 0.018364,
+  "steps": 62 }