update wp-cache

tests/wp-cache/cache/00676d005e5114744d3bcb661a340266.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0108,
+  "steps": 13 }

tests/wp-cache/cache/12259faaddff848ff3d0d89b5e91ac8f.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.01, "steps": 13 }

tests/wp-cache/cache/22b47855d50363b857cf86574e4ec64d.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0125,
+  "steps": 13 }

tests/wp-cache/cache/2547bce285c4e03a0d5bf38fdf04ab87.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0179,
+  "steps": 34 }

tests/wp-cache/cache/cf332c427ddaeeaca179c1019db6a290.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "timeout", "time": 1. }

tests/wp-cache/cache/e811e0140f15499e432bd46c2f2c0132.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "timeout", "time": 1. }