diff --git a/tests/wp-cache/cache/037ca0030a34338e8f4f70326e9548a2.json b/tests/wp-cache/cache/037ca0030a34338e8f4f70326e9548a2.json
index ffb25c4ba1ed769df3b84f1d0f9878d0f6555548..7daf0fa36cfb0cdcde00f1083e5946384be2bf5a 100644
--- a/tests/wp-cache/cache/037ca0030a34338e8f4f70326e9548a2.json
+++ b/tests/wp-cache/cache/037ca0030a34338e8f4f70326e9548a2.json
@@ -1,2 +1,2 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0194,
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0068,
   "steps": 14 }
diff --git a/tests/wp-cache/cache/2457e9e3ceffadd99affa2bac5b00701.json b/tests/wp-cache/cache/2457e9e3ceffadd99affa2bac5b00701.json
deleted file mode 100644
index 56c395504289168c539ec44e6877a919ac85adc8..0000000000000000000000000000000000000000
--- a/tests/wp-cache/cache/2457e9e3ceffadd99affa2bac5b00701.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "unknown" }
diff --git a/tests/wp-cache/cache/2f7a37f471889e53309478f7111f2e3b.json b/tests/wp-cache/cache/2f7a37f471889e53309478f7111f2e3b.json
index 8ef448a8d3730ba9b40a011375dc10ea9a40f657..1506a7607f7846a3def98ad0432dbbfc9dece62c 100644
--- a/tests/wp-cache/cache/2f7a37f471889e53309478f7111f2e3b.json
+++ b/tests/wp-cache/cache/2f7a37f471889e53309478f7111f2e3b.json
@@ -1,2 +1,2 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0087,
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0047,
   "steps": 5 }
diff --git a/tests/wp-cache/cache/349453e3fffbad07325f8bf5b3443b23.json b/tests/wp-cache/cache/349453e3fffbad07325f8bf5b3443b23.json
index 30d76e3231464fdb66e346c08d68f4f70cf8975f..99b893ca535b1bc9462cac5d5685e972e38a39e2 100644
--- a/tests/wp-cache/cache/349453e3fffbad07325f8bf5b3443b23.json
+++ b/tests/wp-cache/cache/349453e3fffbad07325f8bf5b3443b23.json
@@ -1,2 +1,2 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0098,
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0047,
   "steps": 4 }
diff --git a/tests/wp-cache/cache/4825227cab959df9b11836e5a86b9400.json b/tests/wp-cache/cache/4825227cab959df9b11836e5a86b9400.json
deleted file mode 100644
index fb01e1e39fd5e5c992231114ea222b05b36be2fa..0000000000000000000000000000000000000000
--- a/tests/wp-cache/cache/4825227cab959df9b11836e5a86b9400.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0065,
-  "steps": 4 }
diff --git a/tests/wp-cache/cache/700a49708dbbfb8a3d11c4175ff16350.json b/tests/wp-cache/cache/700a49708dbbfb8a3d11c4175ff16350.json
deleted file mode 100644
index 7b2b9ee7ac681c3828e77a038e271090f84bc8e4..0000000000000000000000000000000000000000
--- a/tests/wp-cache/cache/700a49708dbbfb8a3d11c4175ff16350.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0131,
-  "steps": 7 }
diff --git a/tests/wp-cache/cache/88256e17ad3e563fabf4a3938c3414a4.json b/tests/wp-cache/cache/88256e17ad3e563fabf4a3938c3414a4.json
index ce94a6ec7175bb17dfef1bf9defcec3c3facb2cf..2fa1b3e84a07950d854bd98a5b8331c8a97d9002 100644
--- a/tests/wp-cache/cache/88256e17ad3e563fabf4a3938c3414a4.json
+++ b/tests/wp-cache/cache/88256e17ad3e563fabf4a3938c3414a4.json
@@ -1,2 +1,2 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0075,
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0027,
   "steps": 7 }
diff --git a/tests/wp-cache/cache/8a114a0d4786d3d300536602a4e51312.json b/tests/wp-cache/cache/8a114a0d4786d3d300536602a4e51312.json
deleted file mode 100644
index 79901d730bcef3e9cb22de329023f0b42e06aaec..0000000000000000000000000000000000000000
--- a/tests/wp-cache/cache/8a114a0d4786d3d300536602a4e51312.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0068,
-  "steps": 5 }
diff --git a/tests/wp-cache/cache/90b7ae9827e313e62f15a4c232815006.json b/tests/wp-cache/cache/90b7ae9827e313e62f15a4c232815006.json
index 3813aaa90d1c325292dcfb7ddaa9ed6fc4351881..01c7264fc7131eba0a38b35d373fd73d4769e692 100644
--- a/tests/wp-cache/cache/90b7ae9827e313e62f15a4c232815006.json
+++ b/tests/wp-cache/cache/90b7ae9827e313e62f15a4c232815006.json
@@ -1,2 +1,2 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0083,
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0038,
   "steps": 6 }
diff --git a/tests/wp-cache/cache/a0bac3df4ce0b56c7de3f42bb7e3fdea.json b/tests/wp-cache/cache/a0bac3df4ce0b56c7de3f42bb7e3fdea.json
deleted file mode 100644
index b8e36e2803fcc35bf7625695f4ebcfc62989c064..0000000000000000000000000000000000000000
--- a/tests/wp-cache/cache/a0bac3df4ce0b56c7de3f42bb7e3fdea.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. }
diff --git a/tests/wp-cache/cache/bbde3b8fa9c480d2796fc88f6c7828a2.json b/tests/wp-cache/cache/bbde3b8fa9c480d2796fc88f6c7828a2.json
deleted file mode 100644
index 5c430d21c441d5273b82c7daef957c6d8f35988e..0000000000000000000000000000000000000000
--- a/tests/wp-cache/cache/bbde3b8fa9c480d2796fc88f6c7828a2.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0024,
-  "steps": 6 }
diff --git a/tests/wp-cache/cache/dbf0fd12923e897b3af199827b5edf2b.json b/tests/wp-cache/cache/dbf0fd12923e897b3af199827b5edf2b.json
deleted file mode 100644
index 8256dcea1bc441f80e5f1bc5ffc9ee590a0285ed..0000000000000000000000000000000000000000
--- a/tests/wp-cache/cache/dbf0fd12923e897b3af199827b5edf2b.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "unknown" }
diff --git a/tests/wp-cache/cache/df1d30bf7323b86cce32a6e8fd4c9f58.json b/tests/wp-cache/cache/df1d30bf7323b86cce32a6e8fd4c9f58.json
deleted file mode 100644
index 05f20b89eb41b9b370a36b7696d41dc6ad87d7b8..0000000000000000000000000000000000000000
--- a/tests/wp-cache/cache/df1d30bf7323b86cce32a6e8fd4c9f58.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0135,
-  "steps": 14 }
diff --git a/tests/wp-cache/cache/0e7fd5a62a27e32132a8aadc6de1bc5e.json b/tests/wp-cache/cache/dfc84361d864aec8ba54ab86ca6f5513.json
similarity index 100%
rename from tests/wp-cache/cache/0e7fd5a62a27e32132a8aadc6de1bc5e.json
rename to tests/wp-cache/cache/dfc84361d864aec8ba54ab86ca6f5513.json
diff --git a/tests/wp-cache/cache/ea611486826c14112cf2d1bc8011a2a8.json b/tests/wp-cache/cache/ea611486826c14112cf2d1bc8011a2a8.json
deleted file mode 100644
index a854dd8b5d93a5e541b4f26d3c368ad37d1f043b..0000000000000000000000000000000000000000
--- a/tests/wp-cache/cache/ea611486826c14112cf2d1bc8011a2a8.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0077,
-  "steps": 3 }