diff --git a/tests/wp-cache/cache/00676d005e5114744d3bcb661a340266.json b/tests/wp-cache/cache/00676d005e5114744d3bcb661a340266.json
new file mode 100644
index 0000000000000000000000000000000000000000..b6559e480e3ce63af115aa2b4fc1693a89be099b
--- /dev/null
+++ b/tests/wp-cache/cache/00676d005e5114744d3bcb661a340266.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0108,
+  "steps": 13 }
diff --git a/tests/wp-cache/cache/12259faaddff848ff3d0d89b5e91ac8f.json b/tests/wp-cache/cache/12259faaddff848ff3d0d89b5e91ac8f.json
new file mode 100644
index 0000000000000000000000000000000000000000..a55377ae152deec71e402977849cb44da5def0c1
--- /dev/null
+++ b/tests/wp-cache/cache/12259faaddff848ff3d0d89b5e91ac8f.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.01, "steps": 13 }
diff --git a/tests/wp-cache/cache/22b47855d50363b857cf86574e4ec64d.json b/tests/wp-cache/cache/22b47855d50363b857cf86574e4ec64d.json
new file mode 100644
index 0000000000000000000000000000000000000000..fd3bd372d13707fe07df3eb30597fda7f264a636
--- /dev/null
+++ b/tests/wp-cache/cache/22b47855d50363b857cf86574e4ec64d.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0125,
+  "steps": 13 }
diff --git a/tests/wp-cache/cache/2547bce285c4e03a0d5bf38fdf04ab87.json b/tests/wp-cache/cache/2547bce285c4e03a0d5bf38fdf04ab87.json
new file mode 100644
index 0000000000000000000000000000000000000000..6a021e7f23cf307dfd7b9b08fff507bfe007aaf2
--- /dev/null
+++ b/tests/wp-cache/cache/2547bce285c4e03a0d5bf38fdf04ab87.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0179,
+  "steps": 34 }
diff --git a/tests/wp-cache/cache/cf332c427ddaeeaca179c1019db6a290.json b/tests/wp-cache/cache/cf332c427ddaeeaca179c1019db6a290.json
new file mode 100644
index 0000000000000000000000000000000000000000..e6934614803ef060ade0d2ac71dae73b91bb2bfc
--- /dev/null
+++ b/tests/wp-cache/cache/cf332c427ddaeeaca179c1019db6a290.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/e811e0140f15499e432bd46c2f2c0132.json b/tests/wp-cache/cache/e811e0140f15499e432bd46c2f2c0132.json
new file mode 100644
index 0000000000000000000000000000000000000000..e6934614803ef060ade0d2ac71dae73b91bb2bfc
--- /dev/null
+++ b/tests/wp-cache/cache/e811e0140f15499e432bd46c2f2c0132.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "timeout", "time": 1. }