diff --git a/tests/wp-cache/cache/3e62f58a5ed5c63b093795ac2e69fd36.json b/tests/wp-cache/cache/3e62f58a5ed5c63b093795ac2e69fd36.json
new file mode 100644
index 0000000000000000000000000000000000000000..54df8332cdb8689ff769b391fe7be3bb48f1f8e1
--- /dev/null
+++ b/tests/wp-cache/cache/3e62f58a5ed5c63b093795ac2e69fd36.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.009, "steps": 5 }
diff --git a/tests/wp-cache/cache/6e8885fda7c27cf65f2f5a05ec9191a8.json b/tests/wp-cache/cache/6e8885fda7c27cf65f2f5a05ec9191a8.json
new file mode 100644
index 0000000000000000000000000000000000000000..9841580a406902cdb41b4027f6fccc150a36025a
--- /dev/null
+++ b/tests/wp-cache/cache/6e8885fda7c27cf65f2f5a05ec9191a8.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0082,
+  "steps": 5 }
diff --git a/tests/wp-cache/cache/705443f0d1be76f39c173c5b0a5403fa.json b/tests/wp-cache/cache/705443f0d1be76f39c173c5b0a5403fa.json
new file mode 100644
index 0000000000000000000000000000000000000000..64c691569a1dfc8f3f6cceacdcd0c02b4b43fd6a
--- /dev/null
+++ b/tests/wp-cache/cache/705443f0d1be76f39c173c5b0a5403fa.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.009, "steps": 6 }
diff --git a/tests/wp-cache/cache/78059ebef6fab6945f6bb10eea75214d.json b/tests/wp-cache/cache/78059ebef6fab6945f6bb10eea75214d.json
new file mode 100644
index 0000000000000000000000000000000000000000..0beecbf7a3305f3d30ddc1fea9a3d48df0e94147
--- /dev/null
+++ b/tests/wp-cache/cache/78059ebef6fab6945f6bb10eea75214d.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0089,
+  "steps": 7 }
diff --git a/tests/wp-cache/cache/bf2df13b123117abd91305e398c7232b.json b/tests/wp-cache/cache/bf2df13b123117abd91305e398c7232b.json
new file mode 100644
index 0000000000000000000000000000000000000000..4f476a337f168358aee8312e4bfb052bf40abb39
--- /dev/null
+++ b/tests/wp-cache/cache/bf2df13b123117abd91305e398c7232b.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0175,
+  "steps": 39 }
diff --git a/tests/wp-cache/cache/e1d26fa8f4aebd4f28e749ed27425273.json b/tests/wp-cache/cache/e1d26fa8f4aebd4f28e749ed27425273.json
new file mode 100644
index 0000000000000000000000000000000000000000..c26506a65ec2b00ca740c63e3cfcb5c12390a699
--- /dev/null
+++ b/tests/wp-cache/cache/e1d26fa8f4aebd4f28e749ed27425273.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.3", "verdict": "timeout", "time": 2. }