diff --git a/tests/wp-cache/cache/0d5d436c775389678eab78dfd6f77a60.json b/tests/wp-cache/cache/0d5d436c775389678eab78dfd6f77a60.json
new file mode 100644
index 0000000000000000000000000000000000000000..dc0024c19a0a5f21cb261a9fe5e127ef5d425e78
--- /dev/null
+++ b/tests/wp-cache/cache/0d5d436c775389678eab78dfd6f77a60.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "valid", "time": 0.0113,
+  "steps": 93 }
diff --git a/tests/wp-cache/cache/10d3e5b79621cbbfc760cf03bbec845e.json b/tests/wp-cache/cache/10d3e5b79621cbbfc760cf03bbec845e.json
new file mode 100644
index 0000000000000000000000000000000000000000..82374a4910461a33c9c2d98b45b121d599a2ff70
--- /dev/null
+++ b/tests/wp-cache/cache/10d3e5b79621cbbfc760cf03bbec845e.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "failed" }
diff --git a/tests/wp-cache/cache/1721467e41792d131941f696208c67b7.json b/tests/wp-cache/cache/1721467e41792d131941f696208c67b7.json
new file mode 100644
index 0000000000000000000000000000000000000000..b1d7370c311c9ec4ed73527e366237a1b98f3e61
--- /dev/null
+++ b/tests/wp-cache/cache/1721467e41792d131941f696208c67b7.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0229,
+  "steps": 65 }
diff --git a/tests/wp-cache/cache/176c2c1f8e84d2b28df5ef3f8f28f3d9.json b/tests/wp-cache/cache/176c2c1f8e84d2b28df5ef3f8f28f3d9.json
new file mode 100644
index 0000000000000000000000000000000000000000..e6934614803ef060ade0d2ac71dae73b91bb2bfc
--- /dev/null
+++ b/tests/wp-cache/cache/176c2c1f8e84d2b28df5ef3f8f28f3d9.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/29eb212358527861ccb54cce0e0594b2.json b/tests/wp-cache/cache/29eb212358527861ccb54cce0e0594b2.json
new file mode 100644
index 0000000000000000000000000000000000000000..84bae98be546ed755e60e141e89ea902d6a42f18
--- /dev/null
+++ b/tests/wp-cache/cache/29eb212358527861ccb54cce0e0594b2.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0307,
+  "steps": 70 }
diff --git a/tests/wp-cache/cache/2c939b6df69bfaf8174b7938dfad6d4c.json b/tests/wp-cache/cache/2c939b6df69bfaf8174b7938dfad6d4c.json
new file mode 100644
index 0000000000000000000000000000000000000000..51b3820bf76bb43d7dc7b85da375a32870147398
--- /dev/null
+++ b/tests/wp-cache/cache/2c939b6df69bfaf8174b7938dfad6d4c.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0193,
+  "steps": 24 }
diff --git a/tests/wp-cache/cache/361a0ca558b425ca9704248a54416019.json b/tests/wp-cache/cache/361a0ca558b425ca9704248a54416019.json
new file mode 100644
index 0000000000000000000000000000000000000000..dff17d1d306cc70b11249f5bdf7a770f35a8986e
--- /dev/null
+++ b/tests/wp-cache/cache/361a0ca558b425ca9704248a54416019.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0124,
+  "steps": 22 }
diff --git a/tests/wp-cache/cache/3ccf3fbdaa2cf9a8a89a925de055620f.json b/tests/wp-cache/cache/3ccf3fbdaa2cf9a8a89a925de055620f.json
new file mode 100644
index 0000000000000000000000000000000000000000..c8a4f82fdacebdc8849eba2ee257d43aa2b904a4
--- /dev/null
+++ b/tests/wp-cache/cache/3ccf3fbdaa2cf9a8a89a925de055620f.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "valid", "time": 0.0053,
+  "steps": 32 }
diff --git a/tests/wp-cache/cache/45d9a5a81642e71f19c3644f1b863caa.json b/tests/wp-cache/cache/45d9a5a81642e71f19c3644f1b863caa.json
new file mode 100644
index 0000000000000000000000000000000000000000..34cef31ef9d1f73b580c46c4d6f17b071f24b501
--- /dev/null
+++ b/tests/wp-cache/cache/45d9a5a81642e71f19c3644f1b863caa.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "valid", "time": 0.0046,
+  "steps": 22 }
diff --git a/tests/wp-cache/cache/4620df9d74540388f8c9475dec49254c.json b/tests/wp-cache/cache/4620df9d74540388f8c9475dec49254c.json
new file mode 100644
index 0000000000000000000000000000000000000000..a1d28b020aa9c8b97bec079ae079bcb67ecab21c
--- /dev/null
+++ b/tests/wp-cache/cache/4620df9d74540388f8c9475dec49254c.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/46431598d776ce67378894a68ac5c945.json b/tests/wp-cache/cache/46431598d776ce67378894a68ac5c945.json
new file mode 100644
index 0000000000000000000000000000000000000000..6e1cff8abc4d7a435eb0600ea8ec60f8c0ff8179
--- /dev/null
+++ b/tests/wp-cache/cache/46431598d776ce67378894a68ac5c945.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "valid", "time": 0.0069,
+  "steps": 51 }
diff --git a/tests/wp-cache/cache/4c1b88e19bcd7c5faf89040d2f409e49.json b/tests/wp-cache/cache/4c1b88e19bcd7c5faf89040d2f409e49.json
new file mode 100644
index 0000000000000000000000000000000000000000..831d92f9c0853a83ec081de31ae506cea1d908a5
--- /dev/null
+++ b/tests/wp-cache/cache/4c1b88e19bcd7c5faf89040d2f409e49.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0215,
+  "steps": 70 }
diff --git a/tests/wp-cache/cache/4db93f8850a0c2c9b08acb3331c84f0c.json b/tests/wp-cache/cache/4db93f8850a0c2c9b08acb3331c84f0c.json
new file mode 100644
index 0000000000000000000000000000000000000000..a1d28b020aa9c8b97bec079ae079bcb67ecab21c
--- /dev/null
+++ b/tests/wp-cache/cache/4db93f8850a0c2c9b08acb3331c84f0c.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/57e61ff368d7410abfffb084f69224f6.json b/tests/wp-cache/cache/57e61ff368d7410abfffb084f69224f6.json
new file mode 100644
index 0000000000000000000000000000000000000000..e6934614803ef060ade0d2ac71dae73b91bb2bfc
--- /dev/null
+++ b/tests/wp-cache/cache/57e61ff368d7410abfffb084f69224f6.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/59fc5e590b52779d1ed486f74bca65c6.json b/tests/wp-cache/cache/59fc5e590b52779d1ed486f74bca65c6.json
new file mode 100644
index 0000000000000000000000000000000000000000..a1d28b020aa9c8b97bec079ae079bcb67ecab21c
--- /dev/null
+++ b/tests/wp-cache/cache/59fc5e590b52779d1ed486f74bca65c6.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/5bfd5eb800cabf0063c6bdbaa0baaf1e.json b/tests/wp-cache/cache/5bfd5eb800cabf0063c6bdbaa0baaf1e.json
new file mode 100644
index 0000000000000000000000000000000000000000..4fe537f41a8dd3c480e3ad8d1309bae69e5de190
--- /dev/null
+++ b/tests/wp-cache/cache/5bfd5eb800cabf0063c6bdbaa0baaf1e.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0121,
+  "steps": 24 }
diff --git a/tests/wp-cache/cache/61cbe5e86e8b00f2e0d3fccc3e1919d0.json b/tests/wp-cache/cache/61cbe5e86e8b00f2e0d3fccc3e1919d0.json
new file mode 100644
index 0000000000000000000000000000000000000000..a3b6ce35b47f356525f3252efd6a9d8f25d60d90
--- /dev/null
+++ b/tests/wp-cache/cache/61cbe5e86e8b00f2e0d3fccc3e1919d0.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "valid", "time": 0.0135,
+  "steps": 163 }
diff --git a/tests/wp-cache/cache/64930979a655ecbcf8f086974fdfb4ac.json b/tests/wp-cache/cache/64930979a655ecbcf8f086974fdfb4ac.json
new file mode 100644
index 0000000000000000000000000000000000000000..a75174a182191fdb274a1287691d87d5c204b059
--- /dev/null
+++ b/tests/wp-cache/cache/64930979a655ecbcf8f086974fdfb4ac.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "valid", "time": 0.0073,
+  "steps": 22 }
diff --git a/tests/wp-cache/cache/6e59ef7cec93121a5dab300854741beb.json b/tests/wp-cache/cache/6e59ef7cec93121a5dab300854741beb.json
new file mode 100644
index 0000000000000000000000000000000000000000..c27591baa5843b54f7e578bbff87bcc01704a605
--- /dev/null
+++ b/tests/wp-cache/cache/6e59ef7cec93121a5dab300854741beb.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0129,
+  "steps": 24 }
diff --git a/tests/wp-cache/cache/83a1b2866cee0f28e2db7624aba5bdf5.json b/tests/wp-cache/cache/83a1b2866cee0f28e2db7624aba5bdf5.json
new file mode 100644
index 0000000000000000000000000000000000000000..a1d28b020aa9c8b97bec079ae079bcb67ecab21c
--- /dev/null
+++ b/tests/wp-cache/cache/83a1b2866cee0f28e2db7624aba5bdf5.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/85fdfa625f46c6b43c3744931e52ff0b.json b/tests/wp-cache/cache/85fdfa625f46c6b43c3744931e52ff0b.json
new file mode 100644
index 0000000000000000000000000000000000000000..e381c5fdecab27a0ce13bf6090b2e6f70d25094f
--- /dev/null
+++ b/tests/wp-cache/cache/85fdfa625f46c6b43c3744931e52ff0b.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "valid", "time": 0.0131,
+  "steps": 163 }
diff --git a/tests/wp-cache/cache/a8ee22ab91bb6c79141610b4988e6bfa.json b/tests/wp-cache/cache/a8ee22ab91bb6c79141610b4988e6bfa.json
new file mode 100644
index 0000000000000000000000000000000000000000..a1d28b020aa9c8b97bec079ae079bcb67ecab21c
--- /dev/null
+++ b/tests/wp-cache/cache/a8ee22ab91bb6c79141610b4988e6bfa.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.4.1", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/b15ad1fe3acd4fd6bcf19da638d7b35a.json b/tests/wp-cache/cache/b15ad1fe3acd4fd6bcf19da638d7b35a.json
new file mode 100644
index 0000000000000000000000000000000000000000..e6934614803ef060ade0d2ac71dae73b91bb2bfc
--- /dev/null
+++ b/tests/wp-cache/cache/b15ad1fe3acd4fd6bcf19da638d7b35a.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/c39ee588dbbc5ba19a3b8fd78f568356.json b/tests/wp-cache/cache/c39ee588dbbc5ba19a3b8fd78f568356.json
new file mode 100644
index 0000000000000000000000000000000000000000..6b800ac8e4973184771654e5f5df8192893a69a3
--- /dev/null
+++ b/tests/wp-cache/cache/c39ee588dbbc5ba19a3b8fd78f568356.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0228,
+  "steps": 85 }
diff --git a/tests/wp-cache/cache/d8103823ca9f120463141e3b535285b6.json b/tests/wp-cache/cache/d8103823ca9f120463141e3b535285b6.json
new file mode 100644
index 0000000000000000000000000000000000000000..82374a4910461a33c9c2d98b45b121d599a2ff70
--- /dev/null
+++ b/tests/wp-cache/cache/d8103823ca9f120463141e3b535285b6.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "failed" }
diff --git a/tests/wp-cache/cache/f56b844536a3ab63cea3a3d0e04247eb.json b/tests/wp-cache/cache/f56b844536a3ab63cea3a3d0e04247eb.json
new file mode 100644
index 0000000000000000000000000000000000000000..e6934614803ef060ade0d2ac71dae73b91bb2bfc
--- /dev/null
+++ b/tests/wp-cache/cache/f56b844536a3ab63cea3a3d0e04247eb.json
@@ -0,0 +1 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "timeout", "time": 1. }
diff --git a/tests/wp-cache/cache/fc5393aa42b57c19380713a83b9dfdd4.json b/tests/wp-cache/cache/fc5393aa42b57c19380713a83b9dfdd4.json
new file mode 100644
index 0000000000000000000000000000000000000000..ad0a5e32ad99d5fe26c6f6ea6ddcee706508fbf0
--- /dev/null
+++ b/tests/wp-cache/cache/fc5393aa42b57c19380713a83b9dfdd4.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.013,
+  "steps": 22 }