diff --git a/tests/wp-cache/cache/0c8fb0f06d61ec099aac05ae2c74b694.json b/tests/wp-cache/cache/0c8fb0f06d61ec099aac05ae2c74b694.json
new file mode 100644
index 0000000000000000000000000000000000000000..31ef491bd7cfaffb17ebd4a57a508a9463600a3b
--- /dev/null
+++ b/tests/wp-cache/cache/0c8fb0f06d61ec099aac05ae2c74b694.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0035,
+  "steps": 22 }
diff --git a/tests/wp-cache/cache/36c2f07e1e21777d95ff0514a7e57e49.json b/tests/wp-cache/cache/36c2f07e1e21777d95ff0514a7e57e49.json
new file mode 100644
index 0000000000000000000000000000000000000000..e6934614803ef060ade0d2ac71dae73b91bb2bfc
--- /dev/null
+++ b/tests/wp-cache/cache/36c2f07e1e21777d95ff0514a7e57e49.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/74897fcc7f8dbaa13236da778a144d6f.json b/tests/wp-cache/cache/74897fcc7f8dbaa13236da778a144d6f.json
new file mode 100644
index 0000000000000000000000000000000000000000..2ad26bc96958769241ac9761948cf9ed9d75113d
--- /dev/null
+++ b/tests/wp-cache/cache/74897fcc7f8dbaa13236da778a144d6f.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.007,
+  "steps": 22 }
diff --git a/tests/wp-cache/cache/a752daddc9413c6ff7a6c283d3141694.json b/tests/wp-cache/cache/a752daddc9413c6ff7a6c283d3141694.json
new file mode 100644
index 0000000000000000000000000000000000000000..b4d5e5f8d3da82b569cd773131bf199aff047148
--- /dev/null
+++ b/tests/wp-cache/cache/a752daddc9413c6ff7a6c283d3141694.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0053,
+  "steps": 22 }