[wp] Removes old cache entries

src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/938944c0eb3b8153f9975cf9df58b1e3.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "unknown" }

src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/98d3ad4d3d19397488a568e130e4a373.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "unknown" }

src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/9d85780d2569a36247e3e4a2c7960244.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. }

src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/9dd332bb66f12035d8679f1bfe937510.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "unknown" }

src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/a3f6368cb0806f34fc5eb60b1a8eb93c.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "unknown" }

src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/ace0e229b99ba4827691371a58a81204.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. }

src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/af0d67d49865f04c3f4d3216185761aa.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "unknown" }

src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/ce787053deb7473ae1656c67852a16db.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "unknown" }

src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/d0bcf57829c78e344070c1106612dc8b.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "unknown" }

src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/d0dea0f9c40c22c7cf95a7ce83f51a3c.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. }

src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/d543dec067259b4ba816ad79e9be5b57.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "unknown" }

src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/d656511a5fe16b7b52bc7ce928656687.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. }

src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/d7a062a09dde68021c1bbec999efc80a.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.1426,
-  "steps": 11 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/eee0ba12fe324670f9250c4d50d2b3c0.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "unknown" }

src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/f59c3690e813371dbfc90ef1c574d362.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0082,
-  "steps": 15 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/fbb3088e2b317a17bfb09f485fab1a28.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "unknown" }

src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/fde9205db7f447e0889ad2dc702b1d17.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. }

src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memvar.0.session/cache/2e52caad3f8b8552be7c703a245947cf.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "unknown" }

src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memvar.0.session/cache/3031ad00f971861aae099806997c8413.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0034,
-  "steps": 5 }

src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memvar.0.session/cache/5c2a44e757abacde26f5081aeeb8cd42.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "steps": 7 }