From 6742723f015914ad4e8fd3323471d345065dcb0d Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 3 Mar 2022 14:46:03 +0100
Subject: [PATCH] [aorai] use global wp-cache for caching results
---
src/plugins/aorai/Makefile.in | 19 ++++++++++++++++++-
src/plugins/aorai/tests/Aorai_test.ml | 15 +--------------
src/plugins/aorai/tests/test_config_prove.in | 2 +-
.../00dd5a7a3cc432b4df4b013be4b68f13.json | 2 --
.../00f24ed21bf3667627af87a7aad2d13e.json | 1 -
.../035a236965b94d35d953120e59db5dd3.json | 2 --
.../03dbc70a990032105f7c6d5350d17295.json | 1 -
.../04499ab5e25024a2d32de361c812e41a.json | 2 --
.../04736848b6c66f22bd29c4e629cd41f7.json | 2 --
.../051a5ac44372692d1b3409d8ee21bc60.json | 2 --
.../054da1e7390cb63f96c8e49a4cda6c90.json | 1 -
.../055509ceb46959b31a289021153bf660.json | 2 --
.../058e3001d92ae06de3118373ea32e774.json | 1 -
.../05da49ed09c4a3bb59cc590bd50fa7d2.json | 2 --
.../07458184b7679110821cb4b2d643a9bb.json | 1 -
.../07ecc37a49bc085c637afefafe5d6422.json | 1 -
.../0802e3e919dbe43c9d16e4cb2f549613.json | 1 -
.../08f56d36d378d6573464516b5d1041e8.json | 1 -
.../0acd1e4658f68126cf0aea6cc469febb.json | 1 -
.../0b6ef7b0d55e2a348f77d14117d9009e.json | 2 --
.../0bacc494499b6aa02686d67275f4e8aa.json | 1 -
.../0cd34210e1bb8edc8de12791f2e503a6.json | 1 -
.../0cf0d00d21753b35593fb0ac24051693.json | 2 --
.../0cff66417bd0e455a20ef949236ec4a8.json | 1 -
.../0d35de9a156941320fb1ce8386ba8b15.json | 2 --
.../0de086d6ceda38f44d1eee0ba79bce59.json | 1 -
.../0de7b539a3389ae140513f7af6fd2f5f.json | 1 -
.../0fa7745a7996b70d68dcb3814f612793.json | 1 -
.../12e2c386d5efd6d1e19abd82f9ebb3ce.json | 1 -
.../1303b3ebcea7a73d704895821f3cfc78.json | 2 --
.../148451a51c4f74929d536c85c35ba60e.json | 2 --
.../14ec1ebfcdcf80cc54e9ee553d31b21e.json | 2 --
.../15912e773461b337de92d11787c779b8.json | 2 --
.../168439df1200cdbdfe122e2e1af19366.json | 2 --
.../1684a67857b5cfdcaa6819d543dd108a.json | 1 -
.../16d6429a72c00a770a2bf1294d47ff55.json | 1 -
.../1716100bc274e1bd1404c700dd88005f.json | 1 -
.../173eebfb64e5fc93a392c2f811dc4514.json | 2 --
.../18b6d424f1579e057b1498e9822c7604.json | 1 -
.../1951e71ddf233b4559ab873b85d34c37.json | 1 -
.../19aaf255fa827ab93d1536b6aafcb9ac.json | 2 --
.../1ad378eaacce63df3690b6438cbb9401.json | 2 --
.../1c2226e80d6336af15b3fedcc8638ed7.json | 1 -
.../1d6462b015d50eea1828baa225e26abd.json | 2 --
.../1dc0a38bfa733651922ef4b8809fcd7c.json | 1 -
.../1e646eeb23619a4a3c8a39cb8c69bf91.json | 1 -
.../2025ace84b8a17266d098ce247e7681e.json | 2 --
.../20a3620487b8331dd3c1fb951a5a4288.json | 1 -
.../20d1ebef4d608c26bd1bce69ca9bd6c9.json | 1 -
.../216163eeac3a7175a63830d50bce3adf.json | 2 --
.../216b26e7db2bc43b2324cdbc4a61dafd.json | 2 --
.../237a03d457b0c98adef85631d48bb0a7.json | 1 -
.../2408ad55267027177267a51bca4cb350.json | 1 -
.../24161f0106f7623bad68ef02aa5003d0.json | 1 -
.../250587204e2d3b7692cd255a4203ffb3.json | 2 --
.../2574fa59afdbfd58548680adc591cd4c.json | 1 -
.../25987627da982182b6d519adbf5eccaa.json | 2 --
.../2831bbea1809ed9cf5da14c79e164f34.json | 2 --
.../2881e4f936ca24499fe4a8b6e035fb10.json | 2 --
.../2949f4c3c49832259c89ac0ba32d22f7.json | 1 -
.../299b41e52b0f0caed793e2a6da18b1fe.json | 1 -
.../2ac1425ad28661eb2837bf563c0bf0ac.json | 1 -
.../2c2e7efc1d3030db432a7305b25ea637.json | 1 -
.../2c9e3dc5484c0bfbc11de2d3bb359c59.json | 2 --
.../2e42c1f5f0328698a4f06d4994e51bb2.json | 2 --
.../2f4dfa2b2933bb22b61054fb15ef7cd2.json | 1 -
.../3017f292913ccb1045c8cae77027767d.json | 2 --
.../3060f1c3a5b1f29bf17ceaefcde1d8dd.json | 2 --
.../32482610491ef5a8203b94e6ce48ee00.json | 2 --
.../32888dd3e43ec36db6eadf188c7a2193.json | 2 --
.../32adbc54a70ff604368ed52502a4135c.json | 2 --
.../32c5e7d9a33f6b4c9c306bc4fbfc0f1a.json | 1 -
.../32e87e007513835e4e59df36a11c34bd.json | 1 -
.../33eaff63c3e6380522e9afa784bcc69e.json | 1 -
.../35877d956185d12b3775531e2241c096.json | 2 --
.../35b8a60f6c61a8aa4f2690ad495f9848.json | 2 --
.../37ad2de0cf39806873bd0d63ce21f625.json | 1 -
.../394d8ffc087737c2d96315d5a3c84dcf.json | 2 --
.../3b3ae646593d57ec18b5d784e74496da.json | 2 --
.../3b9893008f012d957e56672950693269.json | 2 --
.../3d37ec0ab64619400afa39321d35f806.json | 2 --
.../3d4c28839b26e3c8f8f17db00eba25e5.json | 2 --
.../3fa809751c420c48b2891b7324944b61.json | 2 --
.../4077de3226256c1f0564a33d52d92151.json | 2 --
.../41005309a48519bd59dd2fa23130790e.json | 1 -
.../411077bbae4f7bf9fd14802d92927ae7.json | 1 -
.../4156fe96206dd10741b77d2759efcb23.json | 2 --
.../41db58e15630267a6c8bc625aa2cdd3f.json | 1 -
.../430f02582efbb7818e9c600b1501e9ba.json | 2 --
.../43ca1595598616a2791f3d317af998cf.json | 1 -
.../43dac225eacf5be2e9a81a5773ee1634.json | 2 --
.../43f8c5614024a265f29e039c9a12d4c1.json | 1 -
.../456513f5d9089d089b843bd066ccab04.json | 2 --
.../46703b47a2502c6d2807c3a20e641412.json | 1 -
.../47aa2a8c1b887b5f66e8e70b4b93c50d.json | 2 --
.../49b7f29916d634da0d154b4ed4685d84.json | 2 --
.../4b4b4267006184ae95f2da988019e1cb.json | 2 --
.../4c28ae2fe1a919a4f5018a4f112d31fc.json | 2 --
.../4d2e99cefcde156fbdf0bb25dafe794b.json | 1 -
.../4d42db0ee74f2d6f27cc8bfcad213e1c.json | 2 --
.../4eddb631423a19d9744617a90e34bf9f.json | 2 --
.../4f6acc51e13d0b6a089475aa42ac5a68.json | 2 --
.../5067070c10002b3e8e52996498c66c73.json | 2 --
.../54aa7df86394579f82f251de1296c41a.json | 1 -
.../5741261b92f8cbca123c59efd3f629c0.json | 1 -
.../57de7779a97d152973641bcd3ca90a34.json | 2 --
.../59179e9a1be6c6a3d5b235edb0df850d.json | 1 -
.../59b7ba27a555b4adcf5bdc1155e25ac5.json | 2 --
.../5a3760f3b306c054bd2047ab29d94d8e.json | 2 --
.../5a3baadbfca537c2c1ba005f0c791985.json | 1 -
.../5a636579fc921da10496e03970170a43.json | 2 --
.../5d6e0864130708fc79cdc6c1a25960b6.json | 1 -
.../5ef5b276fa1c83200a002649543ad5d2.json | 2 --
.../5f2c08f81d69fea805e517578f0d29be.json | 1 -
.../5fe0448ddb02001c658232a1630f5a0a.json | 2 --
.../63bdca1a54a37e5738dea7f06a8bcc34.json | 2 --
.../648e52163e61cbed81b1d4a9bc9e19a3.json | 1 -
.../64a4d649b6d3af545f306b8c6b6cd7e4.json | 1 -
.../651077594ff5b10d153e30d1cc19ce95.json | 1 -
.../65400b3b173958ce3782790b3bf6abf7.json | 1 -
.../6618262501a96d8f39e7974c17e2a5d4.json | 1 -
.../6661bbdef745badd99a3a70f64dc6f3d.json | 1 -
.../686648e388fac1b23439072e33aeb370.json | 2 --
.../68f75542bfade62891aa6f15e041ced3.json | 2 --
.../69062c4349b216a0dc83e43e7fd81638.json | 1 -
.../6b6928df0229e3fec100a2a380ac2a2f.json | 2 --
.../6be23743f199c21ebe4046d1a9532e72.json | 2 --
.../6cc9aeb6c1786f07f6cbbdee1bc424b2.json | 2 --
.../6dfabac95614d97cba22b78240b9e21e.json | 2 --
.../6e7779bffdf9c63fce17e6a4bf372951.json | 1 -
.../6ed2d97a05b6dd0e4f50f192e4e3fb51.json | 1 -
.../7023b03472bff13897a4ebf1f5d3838e.json | 2 --
.../70c9927f0a7128bf4fc54826b9d8d6e9.json | 1 -
.../70ecd7b5c47991089ee7c0da7681b9d7.json | 2 --
.../71d6f994845d620d1a51add7a5388d43.json | 1 -
.../71fa2d9bf00680f63a0f273e77dc174d.json | 1 -
.../7256fc571b3b4359867a44976656cd6f.json | 2 --
.../743338b4afc16b3163c8ce1674e61d80.json | 1 -
.../74340661182c58dc53404ba5d17666d2.json | 1 -
.../743b3eb22d3432fad8008e1fd907b9b6.json | 2 --
.../749d07f7efbbd84a1ece6f265b550b13.json | 1 -
.../74edf0868928053d9cd4e52dfbb528c0.json | 2 --
.../75b7b2edc41999a0c9b73f1892589df3.json | 2 --
.../76c789f1a5c0f8a3a97ffed34e070a19.json | 1 -
.../79de54f0199f8bce27e5acd03bff8007.json | 2 --
.../79e85d26668cf87dfc61a2c6de4b9688.json | 1 -
.../7c2df99a16961c566ee0bad52fcdbdd4.json | 2 --
.../7dc5cc04c4789cbe108c7fd03e801e97.json | 2 --
.../7df12df4ad86d3c487d0671c01a2a494.json | 1 -
.../7e6ed8f89e75051653300e3b3971d836.json | 2 --
.../814c8ea67d137deaebf1093ee9f0c8bf.json | 1 -
.../82fda68b23e0c32b8e2ad71ac9cfbe7b.json | 2 --
.../84b0ad12f2ed4e08b9523b957c019dfa.json | 1 -
.../851936d1bd0e92d85a1c2ef68b4b09af.json | 2 --
.../85ae9c9ef944879119de11957cac364f.json | 1 -
.../8608d4b6c44a683a9a259216765fad11.json | 2 --
.../8660d3d386d5a41ff5b16645307ada5f.json | 1 -
.../86828a33978772a8190ffa357b62526c.json | 2 --
.../86a6d6ce553bf12b5caa360aed595361.json | 2 --
.../8710e3f120f55e85b40a44f8683db624.json | 2 --
.../8844a4f44a355c8182a2d752cec963ad.json | 1 -
.../88d0a37decf6d6d1baee565ef7f345bd.json | 2 --
.../8a2bbeb136d065bc6cc72ae8e5a74136.json | 1 -
.../8b71a19686f2e4efc35a742b7eec77f0.json | 2 --
.../8c18352aea1b9c2fce7303bbabb1949a.json | 2 --
.../8c778f27a445493c3f5c0b73906e6d48.json | 2 --
.../8dc85773711b93619a0e39015c3ae6f0.json | 2 --
.../8e2ace56c12b39e8e2e8531baa733cdd.json | 2 --
.../8f7ddc7cf4e4f07a5834e08ba11f20a4.json | 2 --
.../8fe9e8439bbc40dc05d0a0946689dd95.json | 2 --
.../904b123c6ed5ce9f94e4d7bd76d54eb7.json | 2 --
.../919bc20399fb819424454f86482eec75.json | 2 --
.../92daff333ab96de4464ae689b226f8ce.json | 1 -
.../93cbd3623e7477728faee74256ddc28f.json | 1 -
.../9433c6db2b7c6a8a9a2c739faaa4b3c7.json | 2 --
.../949e13002589d47db0f7a34b68086374.json | 2 --
.../9582ec6cbf24ddf3dc4bbc61592673f0.json | 2 --
.../95bd2726d552d53e93bdb3cc3a1b9d22.json | 2 --
.../96f5cf1d0cf39a5f42c797242f8ec2ba.json | 1 -
.../96ff12e129581937445ace93c09265c3.json | 2 --
.../970d6ddef384e0e8be1504df551bf288.json | 1 -
.../9817548a5325cb23cf0c5a02adaa0ea2.json | 2 --
.../985d6e79eea9b86d3f55694284084336.json | 2 --
.../98736c3766376d71616ee82087837bf4.json | 2 --
.../98985aca3b0d1ed9407a1607ad0affbd.json | 1 -
.../98ca64a26938c018ee9bcd9cc1f69ff9.json | 2 --
.../99cfa0b7de18f9a6ff65ac8a73e82d18.json | 1 -
.../9add59adc93b9b00c63e5e06473dfc27.json | 2 --
.../9b2c9a488dfb0611f0a6db99caf53472.json | 2 --
.../9cfcee5183f9e47ec4cd1fa05847b0d8.json | 2 --
.../9d6c70b702f5501f8bb4412187fa5c50.json | 2 --
.../9de9987c3a48a0dd30def87c7ca3b694.json | 1 -
.../9f112aa169320627555725970668ba40.json | 1 -
.../a056ffdb3faf626487594da8813ffd60.json | 1 -
.../a089bcf9fc6b1b1e4ed24e890a73f6b4.json | 2 --
.../a13058b90195aefac4879104bf0c4f72.json | 2 --
.../a1adbad428073faedd161c4cef7e79d4.json | 1 -
.../a1dffbbe5ba464d2eb8901fee8848559.json | 1 -
.../a28da04b89421fffc01a68821310764d.json | 1 -
.../a32f9fa97a73b374e1748d476d517e7a.json | 1 -
.../a4b123e49cd12c70aa9a655f8d3257ad.json | 1 -
.../a4dd8a8aa896be5e660b66579aa4657e.json | 2 --
.../a5567938113fcffb9a882c7625e9d6b8.json | 2 --
.../a6f04912f197ce528acc7952daa1a031.json | 2 --
.../a79c85a8a7901898c4503bf628976c5d.json | 2 --
.../a7cc69260e66b2d5f0bcf4bb15ba96bb.json | 1 -
.../a96c15b0f51c97bc18265f3b6cc3655d.json | 1 -
.../aa311a4a711e9d275f63f5c88cc99f49.json | 1 -
.../aaf11c9d6a9cb83f2ed735e27ff591e1.json | 1 -
.../ab0fb6d2b709b6b0ed87af49c95728d5.json | 1 -
.../adb045fd2a6f4ab7086d1891fa9b47dc.json | 2 --
.../adf78cff8c5e5fef6342c9718a2c46cc.json | 2 --
.../ae6af0541dea0d6cbbefbc9e99ea0339.json | 1 -
.../af1d51d8a2efaf33b7d1753d03c1416c.json | 2 --
.../af983bda98eb66e38c99add6d200174b.json | 2 --
.../b19a1a37bb345f2eb01be5984aeaf68d.json | 2 --
.../b25bebab674f66880fcd69d447157285.json | 1 -
.../b3fd09657962d54888465c10a742d121.json | 1 -
.../b409b3f5151a423ff13eb87120a22833.json | 1 -
.../b46ca171cd89b89874b74ec897b13499.json | 1 -
.../b6f23427b597914d8c21452a78fd74b0.json | 2 --
.../b75f6896dfb2049bb95cfddf1dfb718c.json | 2 --
.../b8a91a19f9f64f9e14d021242bd40984.json | 2 --
.../b8d1fbe6ef6896754c5d3faf7516e8d1.json | 2 --
.../b906b82ecedb7a877996545ac39954af.json | 1 -
.../b991c384d802e17530f683b768b5172e.json | 1 -
.../ba2f4af140179f0d493d9b4eb2fa6ef8.json | 1 -
.../ba46064be0cb853d14e5864bfc5bed40.json | 2 --
.../bbf14a9835da0d8db4ffe73940c0cebc.json | 1 -
.../bc882bd4deb8f1a937b528baf42362e1.json | 2 --
.../bcb8e2580428dfd75c88a474f54c2665.json | 2 --
.../bcd7999b86f16c7c8f8ffd7259e656f6.json | 1 -
.../bdfcf82f8454f2297794a63141d26a09.json | 2 --
.../be6e1a1bdde06792105ada96fedc70e7.json | 2 --
.../bf4faa2c0e36fdb1878f29d37959727d.json | 1 -
.../bf6245ac26dcc103ff94f446706dbe1f.json | 2 --
.../c0288c0bcdfea02e3f979d31d9b93664.json | 2 --
.../c08f96e9e0deacad5c1e146dcb6f7a92.json | 1 -
.../c120d717e03e9c38f170c4339ce0c6c5.json | 2 --
.../c1efc1307b6d3fef85dd5f160c5bd8f6.json | 2 --
.../c316a94bb5c9f8d398a5d004f262dc64.json | 2 --
.../c3bce09527d834419151a24cc2ef869e.json | 2 --
.../c51ed73f61912dc6e59e35bd1b1dcaaa.json | 2 --
.../c52d4f8a4fcc1b4f730a217fcda31602.json | 2 --
.../c5f2f8b139c3214e25879a1a30a74dda.json | 1 -
.../c9363b9bb8694862c9c794db38e8f021.json | 2 --
.../cc3a85c5aef9f3628c5a2fec4dc3578c.json | 1 -
.../cd6ac055f7f7f34e5d1441d3618eb607.json | 1 -
.../d1087d1c18c142ae0baa66bc8d989793.json | 1 -
.../d15af0218bef2140e1ad6d6fff0f4591.json | 2 --
.../d2387c71a3cd9557abf83c6c39b359e1.json | 1 -
.../d31bf3b161ede36d8eb659b017aaef83.json | 2 --
.../d41813da733334bcfd9118deae18da0a.json | 1 -
.../d41e8a473e10e3c57c7fe1b9e279f459.json | 2 --
.../d66bddc252cb5041874801f3a1077e7f.json | 2 --
.../d7ba4fee9457969f2fca194ec37ac481.json | 1 -
.../d806fa5f34c63f99ea05af2aa30a3b8d.json | 2 --
.../d8475e4192ce3922ebe29df38d497b8d.json | 2 --
.../d97dd600a8221311ccf529ce20b3c7c0.json | 2 --
.../da6225618d6a10aad7cde58ecada4df5.json | 2 --
.../db431f51888dd30874b8b6110b3f8908.json | 2 --
.../dc158ee141888909dc58da814a9b099f.json | 1 -
.../dcbf913eb2f93ee78964652c1d46b939.json | 1 -
.../dddc5d1d12a93b0435794c6e4c625dfd.json | 1 -
.../de1f0b7bce9e57bd89616d115eece7e3.json | 1 -
.../df69b0e47083e8aa2231c525ce1e315b.json | 1 -
.../e0894b54716322bd310e097fb1465956.json | 2 --
.../e0e89feaaa44f140aacc0b246f43ae82.json | 2 --
.../e23d097a2cfcc202d3d8c635f19acdf1.json | 2 --
.../e2971c546374a9c3e22bf77b5e59ece3.json | 2 --
.../e33a157542a941e6407aac59ee90bc2f.json | 2 --
.../e38f7d80f5f594858032c00d1699a636.json | 2 --
.../e44837e2c61da448df283065c3305d10.json | 2 --
.../e60ccf9cc1f7a255fd415b5af1c6d0fb.json | 1 -
.../e62126309be71eb57da8fe43080e5335.json | 2 --
.../e6dac0be9d6d0a58fca8786a71d87142.json | 1 -
.../e6e537fb2540731e6b03c13387a4535f.json | 1 -
.../e98fe8357f9257677cae6761f55b5d67.json | 2 --
.../ea34fa561563524ea1b2c4fa6df0455f.json | 1 -
.../ea7ecd4f3f81703c44a5548b695f1494.json | 2 --
.../eacfb98962caf88657ba4e12542b051d.json | 1 -
.../eb312a7d10ef4705942e41139abd782b.json | 2 --
.../ecac3aaccf8f953bc4677d0ec4f3567e.json | 1 -
.../ed5448130cfe402350c039198d050496.json | 1 -
.../edd80bafce5f5032172b61742c5ea4ef.json | 2 --
.../ee57f3159838493638287ae0f924080b.json | 2 --
.../efc467d7fe01050bec6a2ba0dbe78ac7.json | 1 -
.../f009647b32309dea209f2029c88f04ea.json | 2 --
.../f0aeded42964b35ceac2c45f697d8dd9.json | 2 --
.../f2304d2c9e0d96f8dc777037236dc2e9.json | 2 --
.../f2584e419f14f8fd81a0eac757e3e821.json | 1 -
.../f2b3628d99a0021ad29ea65f1f96532b.json | 2 --
.../f3f74575ca930a911b0c369430a4f5b3.json | 1 -
.../f4cb3230516c17348b8a0674366f812a.json | 1 -
.../f68000b6a4bad118001a54d259b3d61f.json | 2 --
.../f6c0d7c55bef93fe8c7e5bfd6d394850.json | 1 -
.../f7216ca39161aa591184866572afa4c4.json | 2 --
.../fa7aff178fd504fa3bcd77daa12cd403.json | 1 -
.../fac6969a8e190d527fdce9061c9983e6.json | 2 --
.../fae30ac58f3b619ed9381d2b5f49b9f4.json | 2 --
.../faedbfabc5322df052c3fed64e6041f7.json | 1 -
.../fbe0aea47d72ab7fbb322408f4f76731.json | 1 -
.../ff3f502380cbbad6db6d4373f475e8fc.json | 1 -
.../ffa17c8615d2076425dabbc72fdedf36.json | 2 --
304 files changed, 20 insertions(+), 483 deletions(-)
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/00dd5a7a3cc432b4df4b013be4b68f13.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/00f24ed21bf3667627af87a7aad2d13e.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/035a236965b94d35d953120e59db5dd3.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/03dbc70a990032105f7c6d5350d17295.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/04499ab5e25024a2d32de361c812e41a.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/04736848b6c66f22bd29c4e629cd41f7.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/051a5ac44372692d1b3409d8ee21bc60.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/054da1e7390cb63f96c8e49a4cda6c90.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/055509ceb46959b31a289021153bf660.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/058e3001d92ae06de3118373ea32e774.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/05da49ed09c4a3bb59cc590bd50fa7d2.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/07458184b7679110821cb4b2d643a9bb.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/07ecc37a49bc085c637afefafe5d6422.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/0802e3e919dbe43c9d16e4cb2f549613.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/08f56d36d378d6573464516b5d1041e8.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/0acd1e4658f68126cf0aea6cc469febb.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/0b6ef7b0d55e2a348f77d14117d9009e.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/0bacc494499b6aa02686d67275f4e8aa.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/0cd34210e1bb8edc8de12791f2e503a6.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/0cf0d00d21753b35593fb0ac24051693.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/0cff66417bd0e455a20ef949236ec4a8.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/0d35de9a156941320fb1ce8386ba8b15.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/0de086d6ceda38f44d1eee0ba79bce59.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/0de7b539a3389ae140513f7af6fd2f5f.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/0fa7745a7996b70d68dcb3814f612793.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/12e2c386d5efd6d1e19abd82f9ebb3ce.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/1303b3ebcea7a73d704895821f3cfc78.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/148451a51c4f74929d536c85c35ba60e.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/14ec1ebfcdcf80cc54e9ee553d31b21e.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/15912e773461b337de92d11787c779b8.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/168439df1200cdbdfe122e2e1af19366.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/1684a67857b5cfdcaa6819d543dd108a.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/16d6429a72c00a770a2bf1294d47ff55.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/1716100bc274e1bd1404c700dd88005f.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/173eebfb64e5fc93a392c2f811dc4514.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/18b6d424f1579e057b1498e9822c7604.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/1951e71ddf233b4559ab873b85d34c37.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/19aaf255fa827ab93d1536b6aafcb9ac.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/1ad378eaacce63df3690b6438cbb9401.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/1c2226e80d6336af15b3fedcc8638ed7.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/1d6462b015d50eea1828baa225e26abd.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/1dc0a38bfa733651922ef4b8809fcd7c.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/1e646eeb23619a4a3c8a39cb8c69bf91.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/2025ace84b8a17266d098ce247e7681e.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/20a3620487b8331dd3c1fb951a5a4288.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/20d1ebef4d608c26bd1bce69ca9bd6c9.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/216163eeac3a7175a63830d50bce3adf.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/216b26e7db2bc43b2324cdbc4a61dafd.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/237a03d457b0c98adef85631d48bb0a7.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/2408ad55267027177267a51bca4cb350.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/24161f0106f7623bad68ef02aa5003d0.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/250587204e2d3b7692cd255a4203ffb3.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/2574fa59afdbfd58548680adc591cd4c.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/25987627da982182b6d519adbf5eccaa.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/2831bbea1809ed9cf5da14c79e164f34.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/2881e4f936ca24499fe4a8b6e035fb10.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/2949f4c3c49832259c89ac0ba32d22f7.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/299b41e52b0f0caed793e2a6da18b1fe.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/2ac1425ad28661eb2837bf563c0bf0ac.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/2c2e7efc1d3030db432a7305b25ea637.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/2c9e3dc5484c0bfbc11de2d3bb359c59.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/2e42c1f5f0328698a4f06d4994e51bb2.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/2f4dfa2b2933bb22b61054fb15ef7cd2.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/3017f292913ccb1045c8cae77027767d.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/3060f1c3a5b1f29bf17ceaefcde1d8dd.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/32482610491ef5a8203b94e6ce48ee00.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/32888dd3e43ec36db6eadf188c7a2193.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/32adbc54a70ff604368ed52502a4135c.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/32c5e7d9a33f6b4c9c306bc4fbfc0f1a.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/32e87e007513835e4e59df36a11c34bd.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/33eaff63c3e6380522e9afa784bcc69e.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/35877d956185d12b3775531e2241c096.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/35b8a60f6c61a8aa4f2690ad495f9848.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/37ad2de0cf39806873bd0d63ce21f625.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/394d8ffc087737c2d96315d5a3c84dcf.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/3b3ae646593d57ec18b5d784e74496da.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/3b9893008f012d957e56672950693269.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/3d37ec0ab64619400afa39321d35f806.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/3d4c28839b26e3c8f8f17db00eba25e5.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/3fa809751c420c48b2891b7324944b61.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/4077de3226256c1f0564a33d52d92151.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/41005309a48519bd59dd2fa23130790e.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/411077bbae4f7bf9fd14802d92927ae7.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/4156fe96206dd10741b77d2759efcb23.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/41db58e15630267a6c8bc625aa2cdd3f.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/430f02582efbb7818e9c600b1501e9ba.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/43ca1595598616a2791f3d317af998cf.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/43dac225eacf5be2e9a81a5773ee1634.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/43f8c5614024a265f29e039c9a12d4c1.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/456513f5d9089d089b843bd066ccab04.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/46703b47a2502c6d2807c3a20e641412.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/47aa2a8c1b887b5f66e8e70b4b93c50d.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/49b7f29916d634da0d154b4ed4685d84.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/4b4b4267006184ae95f2da988019e1cb.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/4c28ae2fe1a919a4f5018a4f112d31fc.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/4d2e99cefcde156fbdf0bb25dafe794b.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/4d42db0ee74f2d6f27cc8bfcad213e1c.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/4eddb631423a19d9744617a90e34bf9f.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/4f6acc51e13d0b6a089475aa42ac5a68.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/5067070c10002b3e8e52996498c66c73.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/54aa7df86394579f82f251de1296c41a.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/5741261b92f8cbca123c59efd3f629c0.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/57de7779a97d152973641bcd3ca90a34.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/59179e9a1be6c6a3d5b235edb0df850d.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/59b7ba27a555b4adcf5bdc1155e25ac5.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/5a3760f3b306c054bd2047ab29d94d8e.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/5a3baadbfca537c2c1ba005f0c791985.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/5a636579fc921da10496e03970170a43.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/5d6e0864130708fc79cdc6c1a25960b6.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/5ef5b276fa1c83200a002649543ad5d2.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/5f2c08f81d69fea805e517578f0d29be.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/5fe0448ddb02001c658232a1630f5a0a.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/63bdca1a54a37e5738dea7f06a8bcc34.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/648e52163e61cbed81b1d4a9bc9e19a3.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/64a4d649b6d3af545f306b8c6b6cd7e4.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/651077594ff5b10d153e30d1cc19ce95.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/65400b3b173958ce3782790b3bf6abf7.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/6618262501a96d8f39e7974c17e2a5d4.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/6661bbdef745badd99a3a70f64dc6f3d.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/686648e388fac1b23439072e33aeb370.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/68f75542bfade62891aa6f15e041ced3.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/69062c4349b216a0dc83e43e7fd81638.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/6b6928df0229e3fec100a2a380ac2a2f.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/6be23743f199c21ebe4046d1a9532e72.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/6cc9aeb6c1786f07f6cbbdee1bc424b2.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/6dfabac95614d97cba22b78240b9e21e.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/6e7779bffdf9c63fce17e6a4bf372951.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/6ed2d97a05b6dd0e4f50f192e4e3fb51.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/7023b03472bff13897a4ebf1f5d3838e.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/70c9927f0a7128bf4fc54826b9d8d6e9.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/70ecd7b5c47991089ee7c0da7681b9d7.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/71d6f994845d620d1a51add7a5388d43.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/71fa2d9bf00680f63a0f273e77dc174d.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/7256fc571b3b4359867a44976656cd6f.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/743338b4afc16b3163c8ce1674e61d80.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/74340661182c58dc53404ba5d17666d2.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/743b3eb22d3432fad8008e1fd907b9b6.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/749d07f7efbbd84a1ece6f265b550b13.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/74edf0868928053d9cd4e52dfbb528c0.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/75b7b2edc41999a0c9b73f1892589df3.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/76c789f1a5c0f8a3a97ffed34e070a19.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/79de54f0199f8bce27e5acd03bff8007.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/79e85d26668cf87dfc61a2c6de4b9688.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/7c2df99a16961c566ee0bad52fcdbdd4.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/7dc5cc04c4789cbe108c7fd03e801e97.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/7df12df4ad86d3c487d0671c01a2a494.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/7e6ed8f89e75051653300e3b3971d836.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/814c8ea67d137deaebf1093ee9f0c8bf.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/82fda68b23e0c32b8e2ad71ac9cfbe7b.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/84b0ad12f2ed4e08b9523b957c019dfa.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/851936d1bd0e92d85a1c2ef68b4b09af.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/85ae9c9ef944879119de11957cac364f.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/8608d4b6c44a683a9a259216765fad11.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/8660d3d386d5a41ff5b16645307ada5f.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/86828a33978772a8190ffa357b62526c.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/86a6d6ce553bf12b5caa360aed595361.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/8710e3f120f55e85b40a44f8683db624.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/8844a4f44a355c8182a2d752cec963ad.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/88d0a37decf6d6d1baee565ef7f345bd.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/8a2bbeb136d065bc6cc72ae8e5a74136.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/8b71a19686f2e4efc35a742b7eec77f0.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/8c18352aea1b9c2fce7303bbabb1949a.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/8c778f27a445493c3f5c0b73906e6d48.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/8dc85773711b93619a0e39015c3ae6f0.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/8e2ace56c12b39e8e2e8531baa733cdd.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/8f7ddc7cf4e4f07a5834e08ba11f20a4.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/8fe9e8439bbc40dc05d0a0946689dd95.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/904b123c6ed5ce9f94e4d7bd76d54eb7.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/919bc20399fb819424454f86482eec75.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/92daff333ab96de4464ae689b226f8ce.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/93cbd3623e7477728faee74256ddc28f.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/9433c6db2b7c6a8a9a2c739faaa4b3c7.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/949e13002589d47db0f7a34b68086374.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/9582ec6cbf24ddf3dc4bbc61592673f0.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/95bd2726d552d53e93bdb3cc3a1b9d22.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/96f5cf1d0cf39a5f42c797242f8ec2ba.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/96ff12e129581937445ace93c09265c3.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/970d6ddef384e0e8be1504df551bf288.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/9817548a5325cb23cf0c5a02adaa0ea2.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/985d6e79eea9b86d3f55694284084336.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/98736c3766376d71616ee82087837bf4.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/98985aca3b0d1ed9407a1607ad0affbd.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/98ca64a26938c018ee9bcd9cc1f69ff9.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/99cfa0b7de18f9a6ff65ac8a73e82d18.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/9add59adc93b9b00c63e5e06473dfc27.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/9b2c9a488dfb0611f0a6db99caf53472.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/9cfcee5183f9e47ec4cd1fa05847b0d8.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/9d6c70b702f5501f8bb4412187fa5c50.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/9de9987c3a48a0dd30def87c7ca3b694.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/9f112aa169320627555725970668ba40.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/a056ffdb3faf626487594da8813ffd60.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/a089bcf9fc6b1b1e4ed24e890a73f6b4.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/a13058b90195aefac4879104bf0c4f72.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/a1adbad428073faedd161c4cef7e79d4.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/a1dffbbe5ba464d2eb8901fee8848559.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/a28da04b89421fffc01a68821310764d.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/a32f9fa97a73b374e1748d476d517e7a.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/a4b123e49cd12c70aa9a655f8d3257ad.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/a4dd8a8aa896be5e660b66579aa4657e.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/a5567938113fcffb9a882c7625e9d6b8.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/a6f04912f197ce528acc7952daa1a031.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/a79c85a8a7901898c4503bf628976c5d.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/a7cc69260e66b2d5f0bcf4bb15ba96bb.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/a96c15b0f51c97bc18265f3b6cc3655d.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/aa311a4a711e9d275f63f5c88cc99f49.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/aaf11c9d6a9cb83f2ed735e27ff591e1.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/ab0fb6d2b709b6b0ed87af49c95728d5.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/adb045fd2a6f4ab7086d1891fa9b47dc.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/adf78cff8c5e5fef6342c9718a2c46cc.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/ae6af0541dea0d6cbbefbc9e99ea0339.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/af1d51d8a2efaf33b7d1753d03c1416c.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/af983bda98eb66e38c99add6d200174b.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/b19a1a37bb345f2eb01be5984aeaf68d.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/b25bebab674f66880fcd69d447157285.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/b3fd09657962d54888465c10a742d121.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/b409b3f5151a423ff13eb87120a22833.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/b46ca171cd89b89874b74ec897b13499.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/b6f23427b597914d8c21452a78fd74b0.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/b75f6896dfb2049bb95cfddf1dfb718c.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/b8a91a19f9f64f9e14d021242bd40984.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/b8d1fbe6ef6896754c5d3faf7516e8d1.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/b906b82ecedb7a877996545ac39954af.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/b991c384d802e17530f683b768b5172e.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/ba2f4af140179f0d493d9b4eb2fa6ef8.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/ba46064be0cb853d14e5864bfc5bed40.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/bbf14a9835da0d8db4ffe73940c0cebc.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/bc882bd4deb8f1a937b528baf42362e1.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/bcb8e2580428dfd75c88a474f54c2665.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/bcd7999b86f16c7c8f8ffd7259e656f6.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/bdfcf82f8454f2297794a63141d26a09.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/be6e1a1bdde06792105ada96fedc70e7.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/bf4faa2c0e36fdb1878f29d37959727d.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/bf6245ac26dcc103ff94f446706dbe1f.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/c0288c0bcdfea02e3f979d31d9b93664.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/c08f96e9e0deacad5c1e146dcb6f7a92.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/c120d717e03e9c38f170c4339ce0c6c5.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/c1efc1307b6d3fef85dd5f160c5bd8f6.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/c316a94bb5c9f8d398a5d004f262dc64.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/c3bce09527d834419151a24cc2ef869e.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/c51ed73f61912dc6e59e35bd1b1dcaaa.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/c52d4f8a4fcc1b4f730a217fcda31602.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/c5f2f8b139c3214e25879a1a30a74dda.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/c9363b9bb8694862c9c794db38e8f021.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/cc3a85c5aef9f3628c5a2fec4dc3578c.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/cd6ac055f7f7f34e5d1441d3618eb607.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/d1087d1c18c142ae0baa66bc8d989793.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/d15af0218bef2140e1ad6d6fff0f4591.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/d2387c71a3cd9557abf83c6c39b359e1.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/d31bf3b161ede36d8eb659b017aaef83.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/d41813da733334bcfd9118deae18da0a.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/d41e8a473e10e3c57c7fe1b9e279f459.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/d66bddc252cb5041874801f3a1077e7f.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/d7ba4fee9457969f2fca194ec37ac481.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/d806fa5f34c63f99ea05af2aa30a3b8d.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/d8475e4192ce3922ebe29df38d497b8d.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/d97dd600a8221311ccf529ce20b3c7c0.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/da6225618d6a10aad7cde58ecada4df5.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/db431f51888dd30874b8b6110b3f8908.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/dc158ee141888909dc58da814a9b099f.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/dcbf913eb2f93ee78964652c1d46b939.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/dddc5d1d12a93b0435794c6e4c625dfd.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/de1f0b7bce9e57bd89616d115eece7e3.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/df69b0e47083e8aa2231c525ce1e315b.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/e0894b54716322bd310e097fb1465956.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/e0e89feaaa44f140aacc0b246f43ae82.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/e23d097a2cfcc202d3d8c635f19acdf1.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/e2971c546374a9c3e22bf77b5e59ece3.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/e33a157542a941e6407aac59ee90bc2f.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/e38f7d80f5f594858032c00d1699a636.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/e44837e2c61da448df283065c3305d10.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/e60ccf9cc1f7a255fd415b5af1c6d0fb.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/e62126309be71eb57da8fe43080e5335.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/e6dac0be9d6d0a58fca8786a71d87142.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/e6e537fb2540731e6b03c13387a4535f.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/e98fe8357f9257677cae6761f55b5d67.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/ea34fa561563524ea1b2c4fa6df0455f.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/ea7ecd4f3f81703c44a5548b695f1494.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/eacfb98962caf88657ba4e12542b051d.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/eb312a7d10ef4705942e41139abd782b.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/ecac3aaccf8f953bc4677d0ec4f3567e.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/ed5448130cfe402350c039198d050496.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/edd80bafce5f5032172b61742c5ea4ef.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/ee57f3159838493638287ae0f924080b.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/efc467d7fe01050bec6a2ba0dbe78ac7.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/f009647b32309dea209f2029c88f04ea.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/f0aeded42964b35ceac2c45f697d8dd9.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/f2304d2c9e0d96f8dc777037236dc2e9.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/f2584e419f14f8fd81a0eac757e3e821.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/f2b3628d99a0021ad29ea65f1f96532b.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/f3f74575ca930a911b0c369430a4f5b3.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/f4cb3230516c17348b8a0674366f812a.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/f68000b6a4bad118001a54d259b3d61f.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/f6c0d7c55bef93fe8c7e5bfd6d394850.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/f7216ca39161aa591184866572afa4c4.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/fa7aff178fd504fa3bcd77daa12cd403.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/fac6969a8e190d527fdce9061c9983e6.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/fae30ac58f3b619ed9381d2b5f49b9f4.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/faedbfabc5322df052c3fed64e6041f7.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/fbe0aea47d72ab7fbb322408f4f76731.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/ff3f502380cbbad6db6d4373f475e8fc.json
delete mode 100644 src/plugins/aorai/tests/wp-cache/cache/ffa17c8615d2076425dabbc72fdedf36.json
diff --git a/src/plugins/aorai/Makefile.in b/src/plugins/aorai/Makefile.in
index 09c2c11c245..1d7c8de8077 100644
--- a/src/plugins/aorai/Makefile.in
+++ b/src/plugins/aorai/Makefile.in
@@ -117,6 +117,16 @@ CONFIG_STATUS_DIR=.
AORAI_WP_SHARE=
endif
+TEST_DEPENDENCIES:= \
+ $(Aorai_DIR)/tests/Aorai_test.cmxs \
+ $(Aorai_DIR)/tests/Aorai_test.cmo \
+ $(Aorai_DIR)/tests/ya/name_projects.cmxs \
+ $(Aorai_DIR)/tests/ya/name_projects.cmo
+
+Aorai_DEFAULT_TESTS: $(TEST_DEPENDENCIES)
+
+# 'prove' ptests config: ensure ACSL and C instrumentation coincide
+
$(Aorai_DIR)/tests/ptests_config: $(Aorai_DIR)/tests/test_config_prove
$(Aorai_DIR)/tests/test_config_prove: \
@@ -126,7 +136,14 @@ $(Aorai_DIR)/tests/test_config_prove: \
$(SED) -e 's!@AORAI_WP_SHARE@!$(AORAI_WP_SHARE)!' $< > $@
$(CHMOD_RO) $@
-Aorai_DEFAULT_TESTS: $(Aorai_DIR)/tests/Aorai_test.cmxs $(Aorai_DIR)/tests/Aorai_test.cmo $(Aorai_DIR)/tests/ya/name_projects.cmxs $(Aorai_DIR)/tests/ya/name_projects.cmo
+AORAI_WP_CACHE?=$(abspath $(Aorai_DIR)/../wp-cache)
+
+.PHONY: aorai-test-prove
+aorai-test-prove: $(TEST_DEPENDENCIES) $(Aorai_DIR)/tests/test_config_prove
+ FRAMAC_WP_CACHE=update \
+ FRAMAC_WP_CACHEDIR=$(AORAI_WP_CACHE) \
+ PTESTS_OPTS="-config prove" \
+ $(MAKE) Aorai_TESTS
# Regenerating the Makefile on need
diff --git a/src/plugins/aorai/tests/Aorai_test.ml b/src/plugins/aorai/tests/Aorai_test.ml
index 76f63102b16..33c13b5c13a 100644
--- a/src/plugins/aorai/tests/Aorai_test.ml
+++ b/src/plugins/aorai/tests/Aorai_test.ml
@@ -29,16 +29,6 @@ module InternalWpShare =
let file_kind = "wp share directory"
end)
-module WpCache =
- P.Filepath(
- struct
- let option_name = "-aorai-test-wp-cache"
- let help = "use custom session dir for storing cache"
- let arg_name = "dir"
- let existence = Filepath.Must_exist
- let file_kind = "wp session directory"
- end)
-
module ProveAuxSpec =
P.False(
struct
@@ -112,7 +102,7 @@ let extend () =
State_selection.union
(State_selection.with_codependencies state) selection)
State_selection.empty
- [ InternalWpShare.self; ProveAuxSpec.self; WpCache.self ]
+ [ InternalWpShare.self; ProveAuxSpec.self ]
in
Project.copy ~selection my_project;
Project.set_current my_project;
@@ -130,9 +120,6 @@ let extend () =
Wp.Wp_parameters.Split.on();
Wp.Wp_parameters.SplitMax.set 32;
Wp.Wp_parameters.Verbose.set 0;
- if WpCache.is_set () then
- Wp.Wp_parameters.Session.set (WpCache.get());
- Wp.Wp_parameters.Cache.set "update";
Globals.Functions.iter check_auto_func;
end else begin
File.pretty_ast ();
diff --git a/src/plugins/aorai/tests/test_config_prove.in b/src/plugins/aorai/tests/test_config_prove.in
index 3b7680cddcf..d4b6b4fda2b 100644
--- a/src/plugins/aorai/tests/test_config_prove.in
+++ b/src/plugins/aorai/tests/test_config_prove.in
@@ -3,4 +3,4 @@ PLUGIN: aorai eva,from,scope report wp,rtegen
COMMENT: Path to the library from the test file
LIBS: @PTEST_SUITE_DIR@/../Aorai_test
-MACRO: PROVE_OPTIONS @AORAI_WP_SHARE@ -aorai-test-wp-cache @PTEST_SUITE_DIR@/../wp-cache -aorai-test-prove-aux-spec
+MACRO: PROVE_OPTIONS @AORAI_WP_SHARE@ -aorai-test-prove-aux-spec
diff --git a/src/plugins/aorai/tests/wp-cache/cache/00dd5a7a3cc432b4df4b013be4b68f13.json b/src/plugins/aorai/tests/wp-cache/cache/00dd5a7a3cc432b4df4b013be4b68f13.json
deleted file mode 100644
index 149aad64730..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/00dd5a7a3cc432b4df4b013be4b68f13.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0178,
- "steps": 164 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/00f24ed21bf3667627af87a7aad2d13e.json b/src/plugins/aorai/tests/wp-cache/cache/00f24ed21bf3667627af87a7aad2d13e.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/00f24ed21bf3667627af87a7aad2d13e.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/035a236965b94d35d953120e59db5dd3.json b/src/plugins/aorai/tests/wp-cache/cache/035a236965b94d35d953120e59db5dd3.json
deleted file mode 100644
index fc856e27388..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/035a236965b94d35d953120e59db5dd3.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0095,
- "steps": 46 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/03dbc70a990032105f7c6d5350d17295.json b/src/plugins/aorai/tests/wp-cache/cache/03dbc70a990032105f7c6d5350d17295.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/03dbc70a990032105f7c6d5350d17295.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/04499ab5e25024a2d32de361c812e41a.json b/src/plugins/aorai/tests/wp-cache/cache/04499ab5e25024a2d32de361c812e41a.json
deleted file mode 100644
index 66a04329d55..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/04499ab5e25024a2d32de361c812e41a.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.1532,
- "steps": 68 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/04736848b6c66f22bd29c4e629cd41f7.json b/src/plugins/aorai/tests/wp-cache/cache/04736848b6c66f22bd29c4e629cd41f7.json
deleted file mode 100644
index 9b9dd73cdde..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/04736848b6c66f22bd29c4e629cd41f7.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.005,
- "steps": 46 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/051a5ac44372692d1b3409d8ee21bc60.json b/src/plugins/aorai/tests/wp-cache/cache/051a5ac44372692d1b3409d8ee21bc60.json
deleted file mode 100644
index 6aaabcf12c9..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/051a5ac44372692d1b3409d8ee21bc60.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0042,
- "steps": 22 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/054da1e7390cb63f96c8e49a4cda6c90.json b/src/plugins/aorai/tests/wp-cache/cache/054da1e7390cb63f96c8e49a4cda6c90.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/054da1e7390cb63f96c8e49a4cda6c90.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/055509ceb46959b31a289021153bf660.json b/src/plugins/aorai/tests/wp-cache/cache/055509ceb46959b31a289021153bf660.json
deleted file mode 100644
index 3c39248d15c..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/055509ceb46959b31a289021153bf660.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.017,
- "steps": 161 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/058e3001d92ae06de3118373ea32e774.json b/src/plugins/aorai/tests/wp-cache/cache/058e3001d92ae06de3118373ea32e774.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/058e3001d92ae06de3118373ea32e774.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/05da49ed09c4a3bb59cc590bd50fa7d2.json b/src/plugins/aorai/tests/wp-cache/cache/05da49ed09c4a3bb59cc590bd50fa7d2.json
deleted file mode 100644
index 470c039db2d..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/05da49ed09c4a3bb59cc590bd50fa7d2.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0081,
- "steps": 51 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/07458184b7679110821cb4b2d643a9bb.json b/src/plugins/aorai/tests/wp-cache/cache/07458184b7679110821cb4b2d643a9bb.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/07458184b7679110821cb4b2d643a9bb.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/07ecc37a49bc085c637afefafe5d6422.json b/src/plugins/aorai/tests/wp-cache/cache/07ecc37a49bc085c637afefafe5d6422.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/07ecc37a49bc085c637afefafe5d6422.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/0802e3e919dbe43c9d16e4cb2f549613.json b/src/plugins/aorai/tests/wp-cache/cache/0802e3e919dbe43c9d16e4cb2f549613.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/0802e3e919dbe43c9d16e4cb2f549613.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/08f56d36d378d6573464516b5d1041e8.json b/src/plugins/aorai/tests/wp-cache/cache/08f56d36d378d6573464516b5d1041e8.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/08f56d36d378d6573464516b5d1041e8.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/0acd1e4658f68126cf0aea6cc469febb.json b/src/plugins/aorai/tests/wp-cache/cache/0acd1e4658f68126cf0aea6cc469febb.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/0acd1e4658f68126cf0aea6cc469febb.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/0b6ef7b0d55e2a348f77d14117d9009e.json b/src/plugins/aorai/tests/wp-cache/cache/0b6ef7b0d55e2a348f77d14117d9009e.json
deleted file mode 100644
index 34d87700248..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/0b6ef7b0d55e2a348f77d14117d9009e.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0237,
- "steps": 257 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/0bacc494499b6aa02686d67275f4e8aa.json b/src/plugins/aorai/tests/wp-cache/cache/0bacc494499b6aa02686d67275f4e8aa.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/0bacc494499b6aa02686d67275f4e8aa.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/0cd34210e1bb8edc8de12791f2e503a6.json b/src/plugins/aorai/tests/wp-cache/cache/0cd34210e1bb8edc8de12791f2e503a6.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/0cd34210e1bb8edc8de12791f2e503a6.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/0cf0d00d21753b35593fb0ac24051693.json b/src/plugins/aorai/tests/wp-cache/cache/0cf0d00d21753b35593fb0ac24051693.json
deleted file mode 100644
index 136c8058910..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/0cf0d00d21753b35593fb0ac24051693.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0076,
- "steps": 28 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/0cff66417bd0e455a20ef949236ec4a8.json b/src/plugins/aorai/tests/wp-cache/cache/0cff66417bd0e455a20ef949236ec4a8.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/0cff66417bd0e455a20ef949236ec4a8.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/0d35de9a156941320fb1ce8386ba8b15.json b/src/plugins/aorai/tests/wp-cache/cache/0d35de9a156941320fb1ce8386ba8b15.json
deleted file mode 100644
index 84ef69924f2..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/0d35de9a156941320fb1ce8386ba8b15.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0079,
- "steps": 38 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/0de086d6ceda38f44d1eee0ba79bce59.json b/src/plugins/aorai/tests/wp-cache/cache/0de086d6ceda38f44d1eee0ba79bce59.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/0de086d6ceda38f44d1eee0ba79bce59.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/0de7b539a3389ae140513f7af6fd2f5f.json b/src/plugins/aorai/tests/wp-cache/cache/0de7b539a3389ae140513f7af6fd2f5f.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/0de7b539a3389ae140513f7af6fd2f5f.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/0fa7745a7996b70d68dcb3814f612793.json b/src/plugins/aorai/tests/wp-cache/cache/0fa7745a7996b70d68dcb3814f612793.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/0fa7745a7996b70d68dcb3814f612793.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/12e2c386d5efd6d1e19abd82f9ebb3ce.json b/src/plugins/aorai/tests/wp-cache/cache/12e2c386d5efd6d1e19abd82f9ebb3ce.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/12e2c386d5efd6d1e19abd82f9ebb3ce.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/1303b3ebcea7a73d704895821f3cfc78.json b/src/plugins/aorai/tests/wp-cache/cache/1303b3ebcea7a73d704895821f3cfc78.json
deleted file mode 100644
index e9fe551c079..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/1303b3ebcea7a73d704895821f3cfc78.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0134,
- "steps": 74 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/148451a51c4f74929d536c85c35ba60e.json b/src/plugins/aorai/tests/wp-cache/cache/148451a51c4f74929d536c85c35ba60e.json
deleted file mode 100644
index 5e4f07d4350..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/148451a51c4f74929d536c85c35ba60e.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0076,
- "steps": 20 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/14ec1ebfcdcf80cc54e9ee553d31b21e.json b/src/plugins/aorai/tests/wp-cache/cache/14ec1ebfcdcf80cc54e9ee553d31b21e.json
deleted file mode 100644
index 3a7ff071cfe..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/14ec1ebfcdcf80cc54e9ee553d31b21e.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0292,
- "steps": 108 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/15912e773461b337de92d11787c779b8.json b/src/plugins/aorai/tests/wp-cache/cache/15912e773461b337de92d11787c779b8.json
deleted file mode 100644
index 3bbfb6f60e6..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/15912e773461b337de92d11787c779b8.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.2223,
- "steps": 44 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/168439df1200cdbdfe122e2e1af19366.json b/src/plugins/aorai/tests/wp-cache/cache/168439df1200cdbdfe122e2e1af19366.json
deleted file mode 100644
index 14dad2ffdcf..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/168439df1200cdbdfe122e2e1af19366.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0052,
- "steps": 60 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/1684a67857b5cfdcaa6819d543dd108a.json b/src/plugins/aorai/tests/wp-cache/cache/1684a67857b5cfdcaa6819d543dd108a.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/1684a67857b5cfdcaa6819d543dd108a.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/16d6429a72c00a770a2bf1294d47ff55.json b/src/plugins/aorai/tests/wp-cache/cache/16d6429a72c00a770a2bf1294d47ff55.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/16d6429a72c00a770a2bf1294d47ff55.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/1716100bc274e1bd1404c700dd88005f.json b/src/plugins/aorai/tests/wp-cache/cache/1716100bc274e1bd1404c700dd88005f.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/1716100bc274e1bd1404c700dd88005f.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/173eebfb64e5fc93a392c2f811dc4514.json b/src/plugins/aorai/tests/wp-cache/cache/173eebfb64e5fc93a392c2f811dc4514.json
deleted file mode 100644
index d557f491ce4..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/173eebfb64e5fc93a392c2f811dc4514.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0072,
- "steps": 28 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/18b6d424f1579e057b1498e9822c7604.json b/src/plugins/aorai/tests/wp-cache/cache/18b6d424f1579e057b1498e9822c7604.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/18b6d424f1579e057b1498e9822c7604.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/1951e71ddf233b4559ab873b85d34c37.json b/src/plugins/aorai/tests/wp-cache/cache/1951e71ddf233b4559ab873b85d34c37.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/1951e71ddf233b4559ab873b85d34c37.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/19aaf255fa827ab93d1536b6aafcb9ac.json b/src/plugins/aorai/tests/wp-cache/cache/19aaf255fa827ab93d1536b6aafcb9ac.json
deleted file mode 100644
index 8a7fb511a09..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/19aaf255fa827ab93d1536b6aafcb9ac.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.334,
- "steps": 108 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/1ad378eaacce63df3690b6438cbb9401.json b/src/plugins/aorai/tests/wp-cache/cache/1ad378eaacce63df3690b6438cbb9401.json
deleted file mode 100644
index fb20bc44e19..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/1ad378eaacce63df3690b6438cbb9401.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.3342,
- "steps": 46 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/1c2226e80d6336af15b3fedcc8638ed7.json b/src/plugins/aorai/tests/wp-cache/cache/1c2226e80d6336af15b3fedcc8638ed7.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/1c2226e80d6336af15b3fedcc8638ed7.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/1d6462b015d50eea1828baa225e26abd.json b/src/plugins/aorai/tests/wp-cache/cache/1d6462b015d50eea1828baa225e26abd.json
deleted file mode 100644
index a47637a66dc..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/1d6462b015d50eea1828baa225e26abd.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.007,
- "steps": 18 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/1dc0a38bfa733651922ef4b8809fcd7c.json b/src/plugins/aorai/tests/wp-cache/cache/1dc0a38bfa733651922ef4b8809fcd7c.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/1dc0a38bfa733651922ef4b8809fcd7c.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/1e646eeb23619a4a3c8a39cb8c69bf91.json b/src/plugins/aorai/tests/wp-cache/cache/1e646eeb23619a4a3c8a39cb8c69bf91.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/1e646eeb23619a4a3c8a39cb8c69bf91.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/2025ace84b8a17266d098ce247e7681e.json b/src/plugins/aorai/tests/wp-cache/cache/2025ace84b8a17266d098ce247e7681e.json
deleted file mode 100644
index 1214fd4958e..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/2025ace84b8a17266d098ce247e7681e.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.014,
- "steps": 100 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/20a3620487b8331dd3c1fb951a5a4288.json b/src/plugins/aorai/tests/wp-cache/cache/20a3620487b8331dd3c1fb951a5a4288.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/20a3620487b8331dd3c1fb951a5a4288.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/20d1ebef4d608c26bd1bce69ca9bd6c9.json b/src/plugins/aorai/tests/wp-cache/cache/20d1ebef4d608c26bd1bce69ca9bd6c9.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/20d1ebef4d608c26bd1bce69ca9bd6c9.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/216163eeac3a7175a63830d50bce3adf.json b/src/plugins/aorai/tests/wp-cache/cache/216163eeac3a7175a63830d50bce3adf.json
deleted file mode 100644
index b2d32a246e8..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/216163eeac3a7175a63830d50bce3adf.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0072,
- "steps": 22 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/216b26e7db2bc43b2324cdbc4a61dafd.json b/src/plugins/aorai/tests/wp-cache/cache/216b26e7db2bc43b2324cdbc4a61dafd.json
deleted file mode 100644
index 0c479d6a298..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/216b26e7db2bc43b2324cdbc4a61dafd.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0087,
- "steps": 42 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/237a03d457b0c98adef85631d48bb0a7.json b/src/plugins/aorai/tests/wp-cache/cache/237a03d457b0c98adef85631d48bb0a7.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/237a03d457b0c98adef85631d48bb0a7.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/2408ad55267027177267a51bca4cb350.json b/src/plugins/aorai/tests/wp-cache/cache/2408ad55267027177267a51bca4cb350.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/2408ad55267027177267a51bca4cb350.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/24161f0106f7623bad68ef02aa5003d0.json b/src/plugins/aorai/tests/wp-cache/cache/24161f0106f7623bad68ef02aa5003d0.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/24161f0106f7623bad68ef02aa5003d0.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/250587204e2d3b7692cd255a4203ffb3.json b/src/plugins/aorai/tests/wp-cache/cache/250587204e2d3b7692cd255a4203ffb3.json
deleted file mode 100644
index 0d5529422a5..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/250587204e2d3b7692cd255a4203ffb3.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0165,
- "steps": 109 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/2574fa59afdbfd58548680adc591cd4c.json b/src/plugins/aorai/tests/wp-cache/cache/2574fa59afdbfd58548680adc591cd4c.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/2574fa59afdbfd58548680adc591cd4c.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/25987627da982182b6d519adbf5eccaa.json b/src/plugins/aorai/tests/wp-cache/cache/25987627da982182b6d519adbf5eccaa.json
deleted file mode 100644
index 456da8875c2..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/25987627da982182b6d519adbf5eccaa.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0161,
- "steps": 110 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/2831bbea1809ed9cf5da14c79e164f34.json b/src/plugins/aorai/tests/wp-cache/cache/2831bbea1809ed9cf5da14c79e164f34.json
deleted file mode 100644
index 98b3b31cabb..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/2831bbea1809ed9cf5da14c79e164f34.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0071,
- "steps": 10 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/2881e4f936ca24499fe4a8b6e035fb10.json b/src/plugins/aorai/tests/wp-cache/cache/2881e4f936ca24499fe4a8b6e035fb10.json
deleted file mode 100644
index 2440d91bf4a..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/2881e4f936ca24499fe4a8b6e035fb10.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0041,
- "steps": 18 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/2949f4c3c49832259c89ac0ba32d22f7.json b/src/plugins/aorai/tests/wp-cache/cache/2949f4c3c49832259c89ac0ba32d22f7.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/2949f4c3c49832259c89ac0ba32d22f7.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/299b41e52b0f0caed793e2a6da18b1fe.json b/src/plugins/aorai/tests/wp-cache/cache/299b41e52b0f0caed793e2a6da18b1fe.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/299b41e52b0f0caed793e2a6da18b1fe.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/2ac1425ad28661eb2837bf563c0bf0ac.json b/src/plugins/aorai/tests/wp-cache/cache/2ac1425ad28661eb2837bf563c0bf0ac.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/2ac1425ad28661eb2837bf563c0bf0ac.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/2c2e7efc1d3030db432a7305b25ea637.json b/src/plugins/aorai/tests/wp-cache/cache/2c2e7efc1d3030db432a7305b25ea637.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/2c2e7efc1d3030db432a7305b25ea637.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/2c9e3dc5484c0bfbc11de2d3bb359c59.json b/src/plugins/aorai/tests/wp-cache/cache/2c9e3dc5484c0bfbc11de2d3bb359c59.json
deleted file mode 100644
index 16d74aa05fb..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/2c9e3dc5484c0bfbc11de2d3bb359c59.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0072,
- "steps": 26 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/2e42c1f5f0328698a4f06d4994e51bb2.json b/src/plugins/aorai/tests/wp-cache/cache/2e42c1f5f0328698a4f06d4994e51bb2.json
deleted file mode 100644
index 5e14c911f23..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/2e42c1f5f0328698a4f06d4994e51bb2.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0426,
- "steps": 62 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/2f4dfa2b2933bb22b61054fb15ef7cd2.json b/src/plugins/aorai/tests/wp-cache/cache/2f4dfa2b2933bb22b61054fb15ef7cd2.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/2f4dfa2b2933bb22b61054fb15ef7cd2.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/3017f292913ccb1045c8cae77027767d.json b/src/plugins/aorai/tests/wp-cache/cache/3017f292913ccb1045c8cae77027767d.json
deleted file mode 100644
index 38945a7f9cd..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/3017f292913ccb1045c8cae77027767d.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0282,
- "steps": 98 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/3060f1c3a5b1f29bf17ceaefcde1d8dd.json b/src/plugins/aorai/tests/wp-cache/cache/3060f1c3a5b1f29bf17ceaefcde1d8dd.json
deleted file mode 100644
index c8411850f64..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/3060f1c3a5b1f29bf17ceaefcde1d8dd.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0086,
- "steps": 32 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/32482610491ef5a8203b94e6ce48ee00.json b/src/plugins/aorai/tests/wp-cache/cache/32482610491ef5a8203b94e6ce48ee00.json
deleted file mode 100644
index 2294df6df0d..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/32482610491ef5a8203b94e6ce48ee00.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0223,
- "steps": 196 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/32888dd3e43ec36db6eadf188c7a2193.json b/src/plugins/aorai/tests/wp-cache/cache/32888dd3e43ec36db6eadf188c7a2193.json
deleted file mode 100644
index 49683d40c85..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/32888dd3e43ec36db6eadf188c7a2193.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0079,
- "steps": 32 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/32adbc54a70ff604368ed52502a4135c.json b/src/plugins/aorai/tests/wp-cache/cache/32adbc54a70ff604368ed52502a4135c.json
deleted file mode 100644
index 98b3b31cabb..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/32adbc54a70ff604368ed52502a4135c.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0071,
- "steps": 10 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/32c5e7d9a33f6b4c9c306bc4fbfc0f1a.json b/src/plugins/aorai/tests/wp-cache/cache/32c5e7d9a33f6b4c9c306bc4fbfc0f1a.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/32c5e7d9a33f6b4c9c306bc4fbfc0f1a.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/32e87e007513835e4e59df36a11c34bd.json b/src/plugins/aorai/tests/wp-cache/cache/32e87e007513835e4e59df36a11c34bd.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/32e87e007513835e4e59df36a11c34bd.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/33eaff63c3e6380522e9afa784bcc69e.json b/src/plugins/aorai/tests/wp-cache/cache/33eaff63c3e6380522e9afa784bcc69e.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/33eaff63c3e6380522e9afa784bcc69e.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/35877d956185d12b3775531e2241c096.json b/src/plugins/aorai/tests/wp-cache/cache/35877d956185d12b3775531e2241c096.json
deleted file mode 100644
index 6e0edc58cb8..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/35877d956185d12b3775531e2241c096.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0087,
- "steps": 51 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/35b8a60f6c61a8aa4f2690ad495f9848.json b/src/plugins/aorai/tests/wp-cache/cache/35b8a60f6c61a8aa4f2690ad495f9848.json
deleted file mode 100644
index e8ac80c6c71..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/35b8a60f6c61a8aa4f2690ad495f9848.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0056,
- "steps": 36 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/37ad2de0cf39806873bd0d63ce21f625.json b/src/plugins/aorai/tests/wp-cache/cache/37ad2de0cf39806873bd0d63ce21f625.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/37ad2de0cf39806873bd0d63ce21f625.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/394d8ffc087737c2d96315d5a3c84dcf.json b/src/plugins/aorai/tests/wp-cache/cache/394d8ffc087737c2d96315d5a3c84dcf.json
deleted file mode 100644
index 395bad85be4..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/394d8ffc087737c2d96315d5a3c84dcf.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0095,
- "steps": 38 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/3b3ae646593d57ec18b5d784e74496da.json b/src/plugins/aorai/tests/wp-cache/cache/3b3ae646593d57ec18b5d784e74496da.json
deleted file mode 100644
index 5ab3d82a5d0..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/3b3ae646593d57ec18b5d784e74496da.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0073,
- "steps": 32 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/3b9893008f012d957e56672950693269.json b/src/plugins/aorai/tests/wp-cache/cache/3b9893008f012d957e56672950693269.json
deleted file mode 100644
index b6e50c781e3..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/3b9893008f012d957e56672950693269.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0239,
- "steps": 249 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/3d37ec0ab64619400afa39321d35f806.json b/src/plugins/aorai/tests/wp-cache/cache/3d37ec0ab64619400afa39321d35f806.json
deleted file mode 100644
index c26e096c074..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/3d37ec0ab64619400afa39321d35f806.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0142,
- "steps": 74 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/3d4c28839b26e3c8f8f17db00eba25e5.json b/src/plugins/aorai/tests/wp-cache/cache/3d4c28839b26e3c8f8f17db00eba25e5.json
deleted file mode 100644
index 2b6d82c9b25..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/3d4c28839b26e3c8f8f17db00eba25e5.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.007,
- "steps": 24 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/3fa809751c420c48b2891b7324944b61.json b/src/plugins/aorai/tests/wp-cache/cache/3fa809751c420c48b2891b7324944b61.json
deleted file mode 100644
index a5103534660..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/3fa809751c420c48b2891b7324944b61.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0143,
- "steps": 71 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/4077de3226256c1f0564a33d52d92151.json b/src/plugins/aorai/tests/wp-cache/cache/4077de3226256c1f0564a33d52d92151.json
deleted file mode 100644
index 93a9efa1909..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/4077de3226256c1f0564a33d52d92151.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0075,
- "steps": 24 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/41005309a48519bd59dd2fa23130790e.json b/src/plugins/aorai/tests/wp-cache/cache/41005309a48519bd59dd2fa23130790e.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/41005309a48519bd59dd2fa23130790e.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/411077bbae4f7bf9fd14802d92927ae7.json b/src/plugins/aorai/tests/wp-cache/cache/411077bbae4f7bf9fd14802d92927ae7.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/411077bbae4f7bf9fd14802d92927ae7.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/4156fe96206dd10741b77d2759efcb23.json b/src/plugins/aorai/tests/wp-cache/cache/4156fe96206dd10741b77d2759efcb23.json
deleted file mode 100644
index 7c812d35a6e..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/4156fe96206dd10741b77d2759efcb23.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0141,
- "steps": 69 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/41db58e15630267a6c8bc625aa2cdd3f.json b/src/plugins/aorai/tests/wp-cache/cache/41db58e15630267a6c8bc625aa2cdd3f.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/41db58e15630267a6c8bc625aa2cdd3f.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/430f02582efbb7818e9c600b1501e9ba.json b/src/plugins/aorai/tests/wp-cache/cache/430f02582efbb7818e9c600b1501e9ba.json
deleted file mode 100644
index d7caa93d0af..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/430f02582efbb7818e9c600b1501e9ba.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0154,
- "steps": 74 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/43ca1595598616a2791f3d317af998cf.json b/src/plugins/aorai/tests/wp-cache/cache/43ca1595598616a2791f3d317af998cf.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/43ca1595598616a2791f3d317af998cf.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/43dac225eacf5be2e9a81a5773ee1634.json b/src/plugins/aorai/tests/wp-cache/cache/43dac225eacf5be2e9a81a5773ee1634.json
deleted file mode 100644
index 6cc392b765d..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/43dac225eacf5be2e9a81a5773ee1634.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0072,
- "steps": 10 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/43f8c5614024a265f29e039c9a12d4c1.json b/src/plugins/aorai/tests/wp-cache/cache/43f8c5614024a265f29e039c9a12d4c1.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/43f8c5614024a265f29e039c9a12d4c1.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/456513f5d9089d089b843bd066ccab04.json b/src/plugins/aorai/tests/wp-cache/cache/456513f5d9089d089b843bd066ccab04.json
deleted file mode 100644
index 42529872477..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/456513f5d9089d089b843bd066ccab04.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0333,
- "steps": 108 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/46703b47a2502c6d2807c3a20e641412.json b/src/plugins/aorai/tests/wp-cache/cache/46703b47a2502c6d2807c3a20e641412.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/46703b47a2502c6d2807c3a20e641412.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/47aa2a8c1b887b5f66e8e70b4b93c50d.json b/src/plugins/aorai/tests/wp-cache/cache/47aa2a8c1b887b5f66e8e70b4b93c50d.json
deleted file mode 100644
index 62a550a2d79..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/47aa2a8c1b887b5f66e8e70b4b93c50d.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0235,
- "steps": 180 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/49b7f29916d634da0d154b4ed4685d84.json b/src/plugins/aorai/tests/wp-cache/cache/49b7f29916d634da0d154b4ed4685d84.json
deleted file mode 100644
index 3a3885657e0..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/49b7f29916d634da0d154b4ed4685d84.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0224,
- "steps": 183 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/4b4b4267006184ae95f2da988019e1cb.json b/src/plugins/aorai/tests/wp-cache/cache/4b4b4267006184ae95f2da988019e1cb.json
deleted file mode 100644
index 2aaf4d56775..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/4b4b4267006184ae95f2da988019e1cb.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0069,
- "steps": 10 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/4c28ae2fe1a919a4f5018a4f112d31fc.json b/src/plugins/aorai/tests/wp-cache/cache/4c28ae2fe1a919a4f5018a4f112d31fc.json
deleted file mode 100644
index cf6ff93510d..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/4c28ae2fe1a919a4f5018a4f112d31fc.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.3328,
- "steps": 144 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/4d2e99cefcde156fbdf0bb25dafe794b.json b/src/plugins/aorai/tests/wp-cache/cache/4d2e99cefcde156fbdf0bb25dafe794b.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/4d2e99cefcde156fbdf0bb25dafe794b.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/4d42db0ee74f2d6f27cc8bfcad213e1c.json b/src/plugins/aorai/tests/wp-cache/cache/4d42db0ee74f2d6f27cc8bfcad213e1c.json
deleted file mode 100644
index 7ecffecfd23..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/4d42db0ee74f2d6f27cc8bfcad213e1c.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0077,
- "steps": 30 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/4eddb631423a19d9744617a90e34bf9f.json b/src/plugins/aorai/tests/wp-cache/cache/4eddb631423a19d9744617a90e34bf9f.json
deleted file mode 100644
index 836ea70620c..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/4eddb631423a19d9744617a90e34bf9f.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.008,
- "steps": 41 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/4f6acc51e13d0b6a089475aa42ac5a68.json b/src/plugins/aorai/tests/wp-cache/cache/4f6acc51e13d0b6a089475aa42ac5a68.json
deleted file mode 100644
index f662f5e354a..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/4f6acc51e13d0b6a089475aa42ac5a68.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.008,
- "steps": 28 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/5067070c10002b3e8e52996498c66c73.json b/src/plugins/aorai/tests/wp-cache/cache/5067070c10002b3e8e52996498c66c73.json
deleted file mode 100644
index 538d87811f3..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/5067070c10002b3e8e52996498c66c73.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0317,
- "steps": 108 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/54aa7df86394579f82f251de1296c41a.json b/src/plugins/aorai/tests/wp-cache/cache/54aa7df86394579f82f251de1296c41a.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/54aa7df86394579f82f251de1296c41a.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/5741261b92f8cbca123c59efd3f629c0.json b/src/plugins/aorai/tests/wp-cache/cache/5741261b92f8cbca123c59efd3f629c0.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/5741261b92f8cbca123c59efd3f629c0.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/57de7779a97d152973641bcd3ca90a34.json b/src/plugins/aorai/tests/wp-cache/cache/57de7779a97d152973641bcd3ca90a34.json
deleted file mode 100644
index 77f8b64a496..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/57de7779a97d152973641bcd3ca90a34.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0066,
- "steps": 10 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/59179e9a1be6c6a3d5b235edb0df850d.json b/src/plugins/aorai/tests/wp-cache/cache/59179e9a1be6c6a3d5b235edb0df850d.json
deleted file mode 100644
index f8868789e6c..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/59179e9a1be6c6a3d5b235edb0df850d.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.01, "steps": 38 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/59b7ba27a555b4adcf5bdc1155e25ac5.json b/src/plugins/aorai/tests/wp-cache/cache/59b7ba27a555b4adcf5bdc1155e25ac5.json
deleted file mode 100644
index 7fdf8176149..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/59b7ba27a555b4adcf5bdc1155e25ac5.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0073,
- "steps": 46 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/5a3760f3b306c054bd2047ab29d94d8e.json b/src/plugins/aorai/tests/wp-cache/cache/5a3760f3b306c054bd2047ab29d94d8e.json
deleted file mode 100644
index 05a786c4442..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/5a3760f3b306c054bd2047ab29d94d8e.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0172,
- "steps": 141 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/5a3baadbfca537c2c1ba005f0c791985.json b/src/plugins/aorai/tests/wp-cache/cache/5a3baadbfca537c2c1ba005f0c791985.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/5a3baadbfca537c2c1ba005f0c791985.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/5a636579fc921da10496e03970170a43.json b/src/plugins/aorai/tests/wp-cache/cache/5a636579fc921da10496e03970170a43.json
deleted file mode 100644
index dde6aa52bf8..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/5a636579fc921da10496e03970170a43.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0105,
- "steps": 63 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/5d6e0864130708fc79cdc6c1a25960b6.json b/src/plugins/aorai/tests/wp-cache/cache/5d6e0864130708fc79cdc6c1a25960b6.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/5d6e0864130708fc79cdc6c1a25960b6.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/5ef5b276fa1c83200a002649543ad5d2.json b/src/plugins/aorai/tests/wp-cache/cache/5ef5b276fa1c83200a002649543ad5d2.json
deleted file mode 100644
index 7bdf3bc12db..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/5ef5b276fa1c83200a002649543ad5d2.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0071,
- "steps": 22 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/5f2c08f81d69fea805e517578f0d29be.json b/src/plugins/aorai/tests/wp-cache/cache/5f2c08f81d69fea805e517578f0d29be.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/5f2c08f81d69fea805e517578f0d29be.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/5fe0448ddb02001c658232a1630f5a0a.json b/src/plugins/aorai/tests/wp-cache/cache/5fe0448ddb02001c658232a1630f5a0a.json
deleted file mode 100644
index e29c06c180c..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/5fe0448ddb02001c658232a1630f5a0a.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.4938,
- "steps": 289 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/63bdca1a54a37e5738dea7f06a8bcc34.json b/src/plugins/aorai/tests/wp-cache/cache/63bdca1a54a37e5738dea7f06a8bcc34.json
deleted file mode 100644
index c3b5a8ea825..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/63bdca1a54a37e5738dea7f06a8bcc34.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.007,
- "steps": 26 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/648e52163e61cbed81b1d4a9bc9e19a3.json b/src/plugins/aorai/tests/wp-cache/cache/648e52163e61cbed81b1d4a9bc9e19a3.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/648e52163e61cbed81b1d4a9bc9e19a3.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/64a4d649b6d3af545f306b8c6b6cd7e4.json b/src/plugins/aorai/tests/wp-cache/cache/64a4d649b6d3af545f306b8c6b6cd7e4.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/64a4d649b6d3af545f306b8c6b6cd7e4.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/651077594ff5b10d153e30d1cc19ce95.json b/src/plugins/aorai/tests/wp-cache/cache/651077594ff5b10d153e30d1cc19ce95.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/651077594ff5b10d153e30d1cc19ce95.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/65400b3b173958ce3782790b3bf6abf7.json b/src/plugins/aorai/tests/wp-cache/cache/65400b3b173958ce3782790b3bf6abf7.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/65400b3b173958ce3782790b3bf6abf7.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/6618262501a96d8f39e7974c17e2a5d4.json b/src/plugins/aorai/tests/wp-cache/cache/6618262501a96d8f39e7974c17e2a5d4.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/6618262501a96d8f39e7974c17e2a5d4.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/6661bbdef745badd99a3a70f64dc6f3d.json b/src/plugins/aorai/tests/wp-cache/cache/6661bbdef745badd99a3a70f64dc6f3d.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/6661bbdef745badd99a3a70f64dc6f3d.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/686648e388fac1b23439072e33aeb370.json b/src/plugins/aorai/tests/wp-cache/cache/686648e388fac1b23439072e33aeb370.json
deleted file mode 100644
index a90bf3473a9..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/686648e388fac1b23439072e33aeb370.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.1666,
- "steps": 62 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/68f75542bfade62891aa6f15e041ced3.json b/src/plugins/aorai/tests/wp-cache/cache/68f75542bfade62891aa6f15e041ced3.json
deleted file mode 100644
index 7bb57f7808b..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/68f75542bfade62891aa6f15e041ced3.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0077,
- "steps": 16 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/69062c4349b216a0dc83e43e7fd81638.json b/src/plugins/aorai/tests/wp-cache/cache/69062c4349b216a0dc83e43e7fd81638.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/69062c4349b216a0dc83e43e7fd81638.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/6b6928df0229e3fec100a2a380ac2a2f.json b/src/plugins/aorai/tests/wp-cache/cache/6b6928df0229e3fec100a2a380ac2a2f.json
deleted file mode 100644
index a2a52a83dd5..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/6b6928df0229e3fec100a2a380ac2a2f.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0139,
- "steps": 65 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/6be23743f199c21ebe4046d1a9532e72.json b/src/plugins/aorai/tests/wp-cache/cache/6be23743f199c21ebe4046d1a9532e72.json
deleted file mode 100644
index 14564db6aa7..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/6be23743f199c21ebe4046d1a9532e72.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0096,
- "steps": 38 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/6cc9aeb6c1786f07f6cbbdee1bc424b2.json b/src/plugins/aorai/tests/wp-cache/cache/6cc9aeb6c1786f07f6cbbdee1bc424b2.json
deleted file mode 100644
index 77f8b64a496..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/6cc9aeb6c1786f07f6cbbdee1bc424b2.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0066,
- "steps": 10 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/6dfabac95614d97cba22b78240b9e21e.json b/src/plugins/aorai/tests/wp-cache/cache/6dfabac95614d97cba22b78240b9e21e.json
deleted file mode 100644
index d0ae978cfc8..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/6dfabac95614d97cba22b78240b9e21e.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0076,
- "steps": 26 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/6e7779bffdf9c63fce17e6a4bf372951.json b/src/plugins/aorai/tests/wp-cache/cache/6e7779bffdf9c63fce17e6a4bf372951.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/6e7779bffdf9c63fce17e6a4bf372951.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/6ed2d97a05b6dd0e4f50f192e4e3fb51.json b/src/plugins/aorai/tests/wp-cache/cache/6ed2d97a05b6dd0e4f50f192e4e3fb51.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/6ed2d97a05b6dd0e4f50f192e4e3fb51.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/7023b03472bff13897a4ebf1f5d3838e.json b/src/plugins/aorai/tests/wp-cache/cache/7023b03472bff13897a4ebf1f5d3838e.json
deleted file mode 100644
index 72dce852dce..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/7023b03472bff13897a4ebf1f5d3838e.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0198,
- "steps": 141 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/70c9927f0a7128bf4fc54826b9d8d6e9.json b/src/plugins/aorai/tests/wp-cache/cache/70c9927f0a7128bf4fc54826b9d8d6e9.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/70c9927f0a7128bf4fc54826b9d8d6e9.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/70ecd7b5c47991089ee7c0da7681b9d7.json b/src/plugins/aorai/tests/wp-cache/cache/70ecd7b5c47991089ee7c0da7681b9d7.json
deleted file mode 100644
index f33dafdcb88..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/70ecd7b5c47991089ee7c0da7681b9d7.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0091,
- "steps": 24 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/71d6f994845d620d1a51add7a5388d43.json b/src/plugins/aorai/tests/wp-cache/cache/71d6f994845d620d1a51add7a5388d43.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/71d6f994845d620d1a51add7a5388d43.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/71fa2d9bf00680f63a0f273e77dc174d.json b/src/plugins/aorai/tests/wp-cache/cache/71fa2d9bf00680f63a0f273e77dc174d.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/71fa2d9bf00680f63a0f273e77dc174d.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/7256fc571b3b4359867a44976656cd6f.json b/src/plugins/aorai/tests/wp-cache/cache/7256fc571b3b4359867a44976656cd6f.json
deleted file mode 100644
index 9c9e98636db..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/7256fc571b3b4359867a44976656cd6f.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0055,
- "steps": 30 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/743338b4afc16b3163c8ce1674e61d80.json b/src/plugins/aorai/tests/wp-cache/cache/743338b4afc16b3163c8ce1674e61d80.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/743338b4afc16b3163c8ce1674e61d80.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/74340661182c58dc53404ba5d17666d2.json b/src/plugins/aorai/tests/wp-cache/cache/74340661182c58dc53404ba5d17666d2.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/74340661182c58dc53404ba5d17666d2.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/743b3eb22d3432fad8008e1fd907b9b6.json b/src/plugins/aorai/tests/wp-cache/cache/743b3eb22d3432fad8008e1fd907b9b6.json
deleted file mode 100644
index 235bbc25e81..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/743b3eb22d3432fad8008e1fd907b9b6.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0135,
- "steps": 65 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/749d07f7efbbd84a1ece6f265b550b13.json b/src/plugins/aorai/tests/wp-cache/cache/749d07f7efbbd84a1ece6f265b550b13.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/749d07f7efbbd84a1ece6f265b550b13.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/74edf0868928053d9cd4e52dfbb528c0.json b/src/plugins/aorai/tests/wp-cache/cache/74edf0868928053d9cd4e52dfbb528c0.json
deleted file mode 100644
index 93a9efa1909..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/74edf0868928053d9cd4e52dfbb528c0.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0075,
- "steps": 24 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/75b7b2edc41999a0c9b73f1892589df3.json b/src/plugins/aorai/tests/wp-cache/cache/75b7b2edc41999a0c9b73f1892589df3.json
deleted file mode 100644
index e97c6ad0e36..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/75b7b2edc41999a0c9b73f1892589df3.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0096,
- "steps": 67 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/76c789f1a5c0f8a3a97ffed34e070a19.json b/src/plugins/aorai/tests/wp-cache/cache/76c789f1a5c0f8a3a97ffed34e070a19.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/76c789f1a5c0f8a3a97ffed34e070a19.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/79de54f0199f8bce27e5acd03bff8007.json b/src/plugins/aorai/tests/wp-cache/cache/79de54f0199f8bce27e5acd03bff8007.json
deleted file mode 100644
index 34c2e49a340..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/79de54f0199f8bce27e5acd03bff8007.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0225,
- "steps": 54 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/79e85d26668cf87dfc61a2c6de4b9688.json b/src/plugins/aorai/tests/wp-cache/cache/79e85d26668cf87dfc61a2c6de4b9688.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/79e85d26668cf87dfc61a2c6de4b9688.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/7c2df99a16961c566ee0bad52fcdbdd4.json b/src/plugins/aorai/tests/wp-cache/cache/7c2df99a16961c566ee0bad52fcdbdd4.json
deleted file mode 100644
index b0f912a85b8..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/7c2df99a16961c566ee0bad52fcdbdd4.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0343,
- "steps": 40 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/7dc5cc04c4789cbe108c7fd03e801e97.json b/src/plugins/aorai/tests/wp-cache/cache/7dc5cc04c4789cbe108c7fd03e801e97.json
deleted file mode 100644
index 4b35cae1c76..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/7dc5cc04c4789cbe108c7fd03e801e97.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0164,
- "steps": 108 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/7df12df4ad86d3c487d0671c01a2a494.json b/src/plugins/aorai/tests/wp-cache/cache/7df12df4ad86d3c487d0671c01a2a494.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/7df12df4ad86d3c487d0671c01a2a494.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/7e6ed8f89e75051653300e3b3971d836.json b/src/plugins/aorai/tests/wp-cache/cache/7e6ed8f89e75051653300e3b3971d836.json
deleted file mode 100644
index bbbcf0b16c6..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/7e6ed8f89e75051653300e3b3971d836.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0302,
- "steps": 66 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/814c8ea67d137deaebf1093ee9f0c8bf.json b/src/plugins/aorai/tests/wp-cache/cache/814c8ea67d137deaebf1093ee9f0c8bf.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/814c8ea67d137deaebf1093ee9f0c8bf.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/82fda68b23e0c32b8e2ad71ac9cfbe7b.json b/src/plugins/aorai/tests/wp-cache/cache/82fda68b23e0c32b8e2ad71ac9cfbe7b.json
deleted file mode 100644
index 17cdfe5608d..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/82fda68b23e0c32b8e2ad71ac9cfbe7b.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.008,
- "steps": 42 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/84b0ad12f2ed4e08b9523b957c019dfa.json b/src/plugins/aorai/tests/wp-cache/cache/84b0ad12f2ed4e08b9523b957c019dfa.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/84b0ad12f2ed4e08b9523b957c019dfa.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/851936d1bd0e92d85a1c2ef68b4b09af.json b/src/plugins/aorai/tests/wp-cache/cache/851936d1bd0e92d85a1c2ef68b4b09af.json
deleted file mode 100644
index 87021a520d0..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/851936d1bd0e92d85a1c2ef68b4b09af.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0073,
- "steps": 22 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/85ae9c9ef944879119de11957cac364f.json b/src/plugins/aorai/tests/wp-cache/cache/85ae9c9ef944879119de11957cac364f.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/85ae9c9ef944879119de11957cac364f.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/8608d4b6c44a683a9a259216765fad11.json b/src/plugins/aorai/tests/wp-cache/cache/8608d4b6c44a683a9a259216765fad11.json
deleted file mode 100644
index d6f652853df..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/8608d4b6c44a683a9a259216765fad11.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0291,
- "steps": 58 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/8660d3d386d5a41ff5b16645307ada5f.json b/src/plugins/aorai/tests/wp-cache/cache/8660d3d386d5a41ff5b16645307ada5f.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/8660d3d386d5a41ff5b16645307ada5f.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/86828a33978772a8190ffa357b62526c.json b/src/plugins/aorai/tests/wp-cache/cache/86828a33978772a8190ffa357b62526c.json
deleted file mode 100644
index d70c0b94382..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/86828a33978772a8190ffa357b62526c.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0244,
- "steps": 209 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/86a6d6ce553bf12b5caa360aed595361.json b/src/plugins/aorai/tests/wp-cache/cache/86a6d6ce553bf12b5caa360aed595361.json
deleted file mode 100644
index 395bad85be4..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/86a6d6ce553bf12b5caa360aed595361.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0095,
- "steps": 38 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/8710e3f120f55e85b40a44f8683db624.json b/src/plugins/aorai/tests/wp-cache/cache/8710e3f120f55e85b40a44f8683db624.json
deleted file mode 100644
index 648bf2baa49..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/8710e3f120f55e85b40a44f8683db624.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0154,
- "steps": 103 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/8844a4f44a355c8182a2d752cec963ad.json b/src/plugins/aorai/tests/wp-cache/cache/8844a4f44a355c8182a2d752cec963ad.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/8844a4f44a355c8182a2d752cec963ad.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/88d0a37decf6d6d1baee565ef7f345bd.json b/src/plugins/aorai/tests/wp-cache/cache/88d0a37decf6d6d1baee565ef7f345bd.json
deleted file mode 100644
index 625315a628a..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/88d0a37decf6d6d1baee565ef7f345bd.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0102,
- "steps": 78 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/8a2bbeb136d065bc6cc72ae8e5a74136.json b/src/plugins/aorai/tests/wp-cache/cache/8a2bbeb136d065bc6cc72ae8e5a74136.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/8a2bbeb136d065bc6cc72ae8e5a74136.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/8b71a19686f2e4efc35a742b7eec77f0.json b/src/plugins/aorai/tests/wp-cache/cache/8b71a19686f2e4efc35a742b7eec77f0.json
deleted file mode 100644
index 07935ffc3d1..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/8b71a19686f2e4efc35a742b7eec77f0.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0227,
- "steps": 197 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/8c18352aea1b9c2fce7303bbabb1949a.json b/src/plugins/aorai/tests/wp-cache/cache/8c18352aea1b9c2fce7303bbabb1949a.json
deleted file mode 100644
index 7bdf3bc12db..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/8c18352aea1b9c2fce7303bbabb1949a.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0071,
- "steps": 22 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/8c778f27a445493c3f5c0b73906e6d48.json b/src/plugins/aorai/tests/wp-cache/cache/8c778f27a445493c3f5c0b73906e6d48.json
deleted file mode 100644
index 16d74aa05fb..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/8c778f27a445493c3f5c0b73906e6d48.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0072,
- "steps": 26 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/8dc85773711b93619a0e39015c3ae6f0.json b/src/plugins/aorai/tests/wp-cache/cache/8dc85773711b93619a0e39015c3ae6f0.json
deleted file mode 100644
index 319754e8b21..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/8dc85773711b93619a0e39015c3ae6f0.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0143,
- "steps": 100 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/8e2ace56c12b39e8e2e8531baa733cdd.json b/src/plugins/aorai/tests/wp-cache/cache/8e2ace56c12b39e8e2e8531baa733cdd.json
deleted file mode 100644
index 12e5b67e645..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/8e2ace56c12b39e8e2e8531baa733cdd.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0068,
- "steps": 32 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/8f7ddc7cf4e4f07a5834e08ba11f20a4.json b/src/plugins/aorai/tests/wp-cache/cache/8f7ddc7cf4e4f07a5834e08ba11f20a4.json
deleted file mode 100644
index 42bf28b0188..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/8f7ddc7cf4e4f07a5834e08ba11f20a4.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0074,
- "steps": 24 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/8fe9e8439bbc40dc05d0a0946689dd95.json b/src/plugins/aorai/tests/wp-cache/cache/8fe9e8439bbc40dc05d0a0946689dd95.json
deleted file mode 100644
index 410025d7e16..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/8fe9e8439bbc40dc05d0a0946689dd95.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.5062,
- "steps": 290 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/904b123c6ed5ce9f94e4d7bd76d54eb7.json b/src/plugins/aorai/tests/wp-cache/cache/904b123c6ed5ce9f94e4d7bd76d54eb7.json
deleted file mode 100644
index a4c767a3307..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/904b123c6ed5ce9f94e4d7bd76d54eb7.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0091,
- "steps": 40 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/919bc20399fb819424454f86482eec75.json b/src/plugins/aorai/tests/wp-cache/cache/919bc20399fb819424454f86482eec75.json
deleted file mode 100644
index bed300f5b54..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/919bc20399fb819424454f86482eec75.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0093,
- "steps": 63 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/92daff333ab96de4464ae689b226f8ce.json b/src/plugins/aorai/tests/wp-cache/cache/92daff333ab96de4464ae689b226f8ce.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/92daff333ab96de4464ae689b226f8ce.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/93cbd3623e7477728faee74256ddc28f.json b/src/plugins/aorai/tests/wp-cache/cache/93cbd3623e7477728faee74256ddc28f.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/93cbd3623e7477728faee74256ddc28f.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/9433c6db2b7c6a8a9a2c739faaa4b3c7.json b/src/plugins/aorai/tests/wp-cache/cache/9433c6db2b7c6a8a9a2c739faaa4b3c7.json
deleted file mode 100644
index c3b5a8ea825..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/9433c6db2b7c6a8a9a2c739faaa4b3c7.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.007,
- "steps": 26 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/949e13002589d47db0f7a34b68086374.json b/src/plugins/aorai/tests/wp-cache/cache/949e13002589d47db0f7a34b68086374.json
deleted file mode 100644
index 1e4337aaa87..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/949e13002589d47db0f7a34b68086374.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0085,
- "steps": 100 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/9582ec6cbf24ddf3dc4bbc61592673f0.json b/src/plugins/aorai/tests/wp-cache/cache/9582ec6cbf24ddf3dc4bbc61592673f0.json
deleted file mode 100644
index 76f170be9d6..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/9582ec6cbf24ddf3dc4bbc61592673f0.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0081,
- "steps": 18 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/95bd2726d552d53e93bdb3cc3a1b9d22.json b/src/plugins/aorai/tests/wp-cache/cache/95bd2726d552d53e93bdb3cc3a1b9d22.json
deleted file mode 100644
index 7f9393ac4c2..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/95bd2726d552d53e93bdb3cc3a1b9d22.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0177,
- "steps": 144 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/96f5cf1d0cf39a5f42c797242f8ec2ba.json b/src/plugins/aorai/tests/wp-cache/cache/96f5cf1d0cf39a5f42c797242f8ec2ba.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/96f5cf1d0cf39a5f42c797242f8ec2ba.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/96ff12e129581937445ace93c09265c3.json b/src/plugins/aorai/tests/wp-cache/cache/96ff12e129581937445ace93c09265c3.json
deleted file mode 100644
index 8d70030107b..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/96ff12e129581937445ace93c09265c3.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0399,
- "steps": 99 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/970d6ddef384e0e8be1504df551bf288.json b/src/plugins/aorai/tests/wp-cache/cache/970d6ddef384e0e8be1504df551bf288.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/970d6ddef384e0e8be1504df551bf288.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/9817548a5325cb23cf0c5a02adaa0ea2.json b/src/plugins/aorai/tests/wp-cache/cache/9817548a5325cb23cf0c5a02adaa0ea2.json
deleted file mode 100644
index 012ff9cefe5..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/9817548a5325cb23cf0c5a02adaa0ea2.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0184,
- "steps": 38 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/985d6e79eea9b86d3f55694284084336.json b/src/plugins/aorai/tests/wp-cache/cache/985d6e79eea9b86d3f55694284084336.json
deleted file mode 100644
index 8165bb58396..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/985d6e79eea9b86d3f55694284084336.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0078,
- "steps": 28 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/98736c3766376d71616ee82087837bf4.json b/src/plugins/aorai/tests/wp-cache/cache/98736c3766376d71616ee82087837bf4.json
deleted file mode 100644
index 0830ecbf6cc..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/98736c3766376d71616ee82087837bf4.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.4939,
- "steps": 289 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/98985aca3b0d1ed9407a1607ad0affbd.json b/src/plugins/aorai/tests/wp-cache/cache/98985aca3b0d1ed9407a1607ad0affbd.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/98985aca3b0d1ed9407a1607ad0affbd.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/98ca64a26938c018ee9bcd9cc1f69ff9.json b/src/plugins/aorai/tests/wp-cache/cache/98ca64a26938c018ee9bcd9cc1f69ff9.json
deleted file mode 100644
index 2b7faf0d605..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/98ca64a26938c018ee9bcd9cc1f69ff9.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0167,
- "steps": 114 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/99cfa0b7de18f9a6ff65ac8a73e82d18.json b/src/plugins/aorai/tests/wp-cache/cache/99cfa0b7de18f9a6ff65ac8a73e82d18.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/99cfa0b7de18f9a6ff65ac8a73e82d18.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/9add59adc93b9b00c63e5e06473dfc27.json b/src/plugins/aorai/tests/wp-cache/cache/9add59adc93b9b00c63e5e06473dfc27.json
deleted file mode 100644
index 781d0a33898..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/9add59adc93b9b00c63e5e06473dfc27.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0166,
- "steps": 108 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/9b2c9a488dfb0611f0a6db99caf53472.json b/src/plugins/aorai/tests/wp-cache/cache/9b2c9a488dfb0611f0a6db99caf53472.json
deleted file mode 100644
index 8f58534ac3c..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/9b2c9a488dfb0611f0a6db99caf53472.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.008,
- "steps": 22 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/9cfcee5183f9e47ec4cd1fa05847b0d8.json b/src/plugins/aorai/tests/wp-cache/cache/9cfcee5183f9e47ec4cd1fa05847b0d8.json
deleted file mode 100644
index d557f491ce4..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/9cfcee5183f9e47ec4cd1fa05847b0d8.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0072,
- "steps": 28 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/9d6c70b702f5501f8bb4412187fa5c50.json b/src/plugins/aorai/tests/wp-cache/cache/9d6c70b702f5501f8bb4412187fa5c50.json
deleted file mode 100644
index b2798dd838e..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/9d6c70b702f5501f8bb4412187fa5c50.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0078,
- "steps": 32 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/9de9987c3a48a0dd30def87c7ca3b694.json b/src/plugins/aorai/tests/wp-cache/cache/9de9987c3a48a0dd30def87c7ca3b694.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/9de9987c3a48a0dd30def87c7ca3b694.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/9f112aa169320627555725970668ba40.json b/src/plugins/aorai/tests/wp-cache/cache/9f112aa169320627555725970668ba40.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/9f112aa169320627555725970668ba40.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/a056ffdb3faf626487594da8813ffd60.json b/src/plugins/aorai/tests/wp-cache/cache/a056ffdb3faf626487594da8813ffd60.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/a056ffdb3faf626487594da8813ffd60.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/a089bcf9fc6b1b1e4ed24e890a73f6b4.json b/src/plugins/aorai/tests/wp-cache/cache/a089bcf9fc6b1b1e4ed24e890a73f6b4.json
deleted file mode 100644
index 1df3549e8dc..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/a089bcf9fc6b1b1e4ed24e890a73f6b4.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0073,
- "steps": 16 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/a13058b90195aefac4879104bf0c4f72.json b/src/plugins/aorai/tests/wp-cache/cache/a13058b90195aefac4879104bf0c4f72.json
deleted file mode 100644
index e954fe97b67..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/a13058b90195aefac4879104bf0c4f72.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0075,
- "steps": 22 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/a1adbad428073faedd161c4cef7e79d4.json b/src/plugins/aorai/tests/wp-cache/cache/a1adbad428073faedd161c4cef7e79d4.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/a1adbad428073faedd161c4cef7e79d4.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/a1dffbbe5ba464d2eb8901fee8848559.json b/src/plugins/aorai/tests/wp-cache/cache/a1dffbbe5ba464d2eb8901fee8848559.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/a1dffbbe5ba464d2eb8901fee8848559.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/a28da04b89421fffc01a68821310764d.json b/src/plugins/aorai/tests/wp-cache/cache/a28da04b89421fffc01a68821310764d.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/a28da04b89421fffc01a68821310764d.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/a32f9fa97a73b374e1748d476d517e7a.json b/src/plugins/aorai/tests/wp-cache/cache/a32f9fa97a73b374e1748d476d517e7a.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/a32f9fa97a73b374e1748d476d517e7a.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/a4b123e49cd12c70aa9a655f8d3257ad.json b/src/plugins/aorai/tests/wp-cache/cache/a4b123e49cd12c70aa9a655f8d3257ad.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/a4b123e49cd12c70aa9a655f8d3257ad.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/a4dd8a8aa896be5e660b66579aa4657e.json b/src/plugins/aorai/tests/wp-cache/cache/a4dd8a8aa896be5e660b66579aa4657e.json
deleted file mode 100644
index 10f0fcce4b6..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/a4dd8a8aa896be5e660b66579aa4657e.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0113,
- "steps": 95 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/a5567938113fcffb9a882c7625e9d6b8.json b/src/plugins/aorai/tests/wp-cache/cache/a5567938113fcffb9a882c7625e9d6b8.json
deleted file mode 100644
index f6c8a55f15b..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/a5567938113fcffb9a882c7625e9d6b8.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0224,
- "steps": 198 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/a6f04912f197ce528acc7952daa1a031.json b/src/plugins/aorai/tests/wp-cache/cache/a6f04912f197ce528acc7952daa1a031.json
deleted file mode 100644
index 2d82665a57f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/a6f04912f197ce528acc7952daa1a031.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.3049,
- "steps": 77 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/a79c85a8a7901898c4503bf628976c5d.json b/src/plugins/aorai/tests/wp-cache/cache/a79c85a8a7901898c4503bf628976c5d.json
deleted file mode 100644
index 67903678ea1..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/a79c85a8a7901898c4503bf628976c5d.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0156,
- "steps": 111 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/a7cc69260e66b2d5f0bcf4bb15ba96bb.json b/src/plugins/aorai/tests/wp-cache/cache/a7cc69260e66b2d5f0bcf4bb15ba96bb.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/a7cc69260e66b2d5f0bcf4bb15ba96bb.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/a96c15b0f51c97bc18265f3b6cc3655d.json b/src/plugins/aorai/tests/wp-cache/cache/a96c15b0f51c97bc18265f3b6cc3655d.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/a96c15b0f51c97bc18265f3b6cc3655d.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/aa311a4a711e9d275f63f5c88cc99f49.json b/src/plugins/aorai/tests/wp-cache/cache/aa311a4a711e9d275f63f5c88cc99f49.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/aa311a4a711e9d275f63f5c88cc99f49.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/aaf11c9d6a9cb83f2ed735e27ff591e1.json b/src/plugins/aorai/tests/wp-cache/cache/aaf11c9d6a9cb83f2ed735e27ff591e1.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/aaf11c9d6a9cb83f2ed735e27ff591e1.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/ab0fb6d2b709b6b0ed87af49c95728d5.json b/src/plugins/aorai/tests/wp-cache/cache/ab0fb6d2b709b6b0ed87af49c95728d5.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/ab0fb6d2b709b6b0ed87af49c95728d5.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/adb045fd2a6f4ab7086d1891fa9b47dc.json b/src/plugins/aorai/tests/wp-cache/cache/adb045fd2a6f4ab7086d1891fa9b47dc.json
deleted file mode 100644
index 060760309c7..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/adb045fd2a6f4ab7086d1891fa9b47dc.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0106,
- "steps": 90 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/adf78cff8c5e5fef6342c9718a2c46cc.json b/src/plugins/aorai/tests/wp-cache/cache/adf78cff8c5e5fef6342c9718a2c46cc.json
deleted file mode 100644
index fe8201e3eb6..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/adf78cff8c5e5fef6342c9718a2c46cc.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0069,
- "steps": 28 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/ae6af0541dea0d6cbbefbc9e99ea0339.json b/src/plugins/aorai/tests/wp-cache/cache/ae6af0541dea0d6cbbefbc9e99ea0339.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/ae6af0541dea0d6cbbefbc9e99ea0339.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/af1d51d8a2efaf33b7d1753d03c1416c.json b/src/plugins/aorai/tests/wp-cache/cache/af1d51d8a2efaf33b7d1753d03c1416c.json
deleted file mode 100644
index 342f850d71c..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/af1d51d8a2efaf33b7d1753d03c1416c.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0245,
- "steps": 249 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/af983bda98eb66e38c99add6d200174b.json b/src/plugins/aorai/tests/wp-cache/cache/af983bda98eb66e38c99add6d200174b.json
deleted file mode 100644
index cd152648c6e..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/af983bda98eb66e38c99add6d200174b.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0072,
- "steps": 69 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/b19a1a37bb345f2eb01be5984aeaf68d.json b/src/plugins/aorai/tests/wp-cache/cache/b19a1a37bb345f2eb01be5984aeaf68d.json
deleted file mode 100644
index 58623a9d504..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/b19a1a37bb345f2eb01be5984aeaf68d.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.2739,
- "steps": 85 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/b25bebab674f66880fcd69d447157285.json b/src/plugins/aorai/tests/wp-cache/cache/b25bebab674f66880fcd69d447157285.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/b25bebab674f66880fcd69d447157285.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/b3fd09657962d54888465c10a742d121.json b/src/plugins/aorai/tests/wp-cache/cache/b3fd09657962d54888465c10a742d121.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/b3fd09657962d54888465c10a742d121.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/b409b3f5151a423ff13eb87120a22833.json b/src/plugins/aorai/tests/wp-cache/cache/b409b3f5151a423ff13eb87120a22833.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/b409b3f5151a423ff13eb87120a22833.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/b46ca171cd89b89874b74ec897b13499.json b/src/plugins/aorai/tests/wp-cache/cache/b46ca171cd89b89874b74ec897b13499.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/b46ca171cd89b89874b74ec897b13499.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/b6f23427b597914d8c21452a78fd74b0.json b/src/plugins/aorai/tests/wp-cache/cache/b6f23427b597914d8c21452a78fd74b0.json
deleted file mode 100644
index 6cd53fa5e4d..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/b6f23427b597914d8c21452a78fd74b0.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0141,
- "steps": 79 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/b75f6896dfb2049bb95cfddf1dfb718c.json b/src/plugins/aorai/tests/wp-cache/cache/b75f6896dfb2049bb95cfddf1dfb718c.json
deleted file mode 100644
index 0fc423746a4..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/b75f6896dfb2049bb95cfddf1dfb718c.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0073,
- "steps": 28 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/b8a91a19f9f64f9e14d021242bd40984.json b/src/plugins/aorai/tests/wp-cache/cache/b8a91a19f9f64f9e14d021242bd40984.json
deleted file mode 100644
index 0315ef7ee81..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/b8a91a19f9f64f9e14d021242bd40984.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0054,
- "steps": 62 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/b8d1fbe6ef6896754c5d3faf7516e8d1.json b/src/plugins/aorai/tests/wp-cache/cache/b8d1fbe6ef6896754c5d3faf7516e8d1.json
deleted file mode 100644
index 70f062dc5d1..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/b8d1fbe6ef6896754c5d3faf7516e8d1.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0172,
- "steps": 148 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/b906b82ecedb7a877996545ac39954af.json b/src/plugins/aorai/tests/wp-cache/cache/b906b82ecedb7a877996545ac39954af.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/b906b82ecedb7a877996545ac39954af.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/b991c384d802e17530f683b768b5172e.json b/src/plugins/aorai/tests/wp-cache/cache/b991c384d802e17530f683b768b5172e.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/b991c384d802e17530f683b768b5172e.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/ba2f4af140179f0d493d9b4eb2fa6ef8.json b/src/plugins/aorai/tests/wp-cache/cache/ba2f4af140179f0d493d9b4eb2fa6ef8.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/ba2f4af140179f0d493d9b4eb2fa6ef8.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/ba46064be0cb853d14e5864bfc5bed40.json b/src/plugins/aorai/tests/wp-cache/cache/ba46064be0cb853d14e5864bfc5bed40.json
deleted file mode 100644
index 92ae19cffb0..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/ba46064be0cb853d14e5864bfc5bed40.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0785,
- "steps": 42 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/bbf14a9835da0d8db4ffe73940c0cebc.json b/src/plugins/aorai/tests/wp-cache/cache/bbf14a9835da0d8db4ffe73940c0cebc.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/bbf14a9835da0d8db4ffe73940c0cebc.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/bc882bd4deb8f1a937b528baf42362e1.json b/src/plugins/aorai/tests/wp-cache/cache/bc882bd4deb8f1a937b528baf42362e1.json
deleted file mode 100644
index 35ee9b59326..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/bc882bd4deb8f1a937b528baf42362e1.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0169,
- "steps": 56 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/bcb8e2580428dfd75c88a474f54c2665.json b/src/plugins/aorai/tests/wp-cache/cache/bcb8e2580428dfd75c88a474f54c2665.json
deleted file mode 100644
index c6931cfb5ce..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/bcb8e2580428dfd75c88a474f54c2665.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0231,
- "steps": 209 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/bcd7999b86f16c7c8f8ffd7259e656f6.json b/src/plugins/aorai/tests/wp-cache/cache/bcd7999b86f16c7c8f8ffd7259e656f6.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/bcd7999b86f16c7c8f8ffd7259e656f6.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/bdfcf82f8454f2297794a63141d26a09.json b/src/plugins/aorai/tests/wp-cache/cache/bdfcf82f8454f2297794a63141d26a09.json
deleted file mode 100644
index d0ae978cfc8..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/bdfcf82f8454f2297794a63141d26a09.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0076,
- "steps": 26 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/be6e1a1bdde06792105ada96fedc70e7.json b/src/plugins/aorai/tests/wp-cache/cache/be6e1a1bdde06792105ada96fedc70e7.json
deleted file mode 100644
index 3e72a803a7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/be6e1a1bdde06792105ada96fedc70e7.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0341,
- "steps": 400 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/bf4faa2c0e36fdb1878f29d37959727d.json b/src/plugins/aorai/tests/wp-cache/cache/bf4faa2c0e36fdb1878f29d37959727d.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/bf4faa2c0e36fdb1878f29d37959727d.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/bf6245ac26dcc103ff94f446706dbe1f.json b/src/plugins/aorai/tests/wp-cache/cache/bf6245ac26dcc103ff94f446706dbe1f.json
deleted file mode 100644
index 136c8058910..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/bf6245ac26dcc103ff94f446706dbe1f.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0076,
- "steps": 28 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/c0288c0bcdfea02e3f979d31d9b93664.json b/src/plugins/aorai/tests/wp-cache/cache/c0288c0bcdfea02e3f979d31d9b93664.json
deleted file mode 100644
index ee0d66fb0bf..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/c0288c0bcdfea02e3f979d31d9b93664.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0095,
- "steps": 66 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/c08f96e9e0deacad5c1e146dcb6f7a92.json b/src/plugins/aorai/tests/wp-cache/cache/c08f96e9e0deacad5c1e146dcb6f7a92.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/c08f96e9e0deacad5c1e146dcb6f7a92.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/c120d717e03e9c38f170c4339ce0c6c5.json b/src/plugins/aorai/tests/wp-cache/cache/c120d717e03e9c38f170c4339ce0c6c5.json
deleted file mode 100644
index 98b3b31cabb..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/c120d717e03e9c38f170c4339ce0c6c5.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0071,
- "steps": 10 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/c1efc1307b6d3fef85dd5f160c5bd8f6.json b/src/plugins/aorai/tests/wp-cache/cache/c1efc1307b6d3fef85dd5f160c5bd8f6.json
deleted file mode 100644
index 6734674bddf..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/c1efc1307b6d3fef85dd5f160c5bd8f6.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0075,
- "steps": 28 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/c316a94bb5c9f8d398a5d004f262dc64.json b/src/plugins/aorai/tests/wp-cache/cache/c316a94bb5c9f8d398a5d004f262dc64.json
deleted file mode 100644
index 9af364da397..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/c316a94bb5c9f8d398a5d004f262dc64.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0141,
- "steps": 61 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/c3bce09527d834419151a24cc2ef869e.json b/src/plugins/aorai/tests/wp-cache/cache/c3bce09527d834419151a24cc2ef869e.json
deleted file mode 100644
index 16f4b7e7f23..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/c3bce09527d834419151a24cc2ef869e.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0194,
- "steps": 90 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/c51ed73f61912dc6e59e35bd1b1dcaaa.json b/src/plugins/aorai/tests/wp-cache/cache/c51ed73f61912dc6e59e35bd1b1dcaaa.json
deleted file mode 100644
index 658192d646a..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/c51ed73f61912dc6e59e35bd1b1dcaaa.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0399,
- "steps": 69 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/c52d4f8a4fcc1b4f730a217fcda31602.json b/src/plugins/aorai/tests/wp-cache/cache/c52d4f8a4fcc1b4f730a217fcda31602.json
deleted file mode 100644
index f55717c0918..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/c52d4f8a4fcc1b4f730a217fcda31602.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0081,
- "steps": 53 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/c5f2f8b139c3214e25879a1a30a74dda.json b/src/plugins/aorai/tests/wp-cache/cache/c5f2f8b139c3214e25879a1a30a74dda.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/c5f2f8b139c3214e25879a1a30a74dda.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/c9363b9bb8694862c9c794db38e8f021.json b/src/plugins/aorai/tests/wp-cache/cache/c9363b9bb8694862c9c794db38e8f021.json
deleted file mode 100644
index d43a804fadc..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/c9363b9bb8694862c9c794db38e8f021.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0126,
- "steps": 105 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/cc3a85c5aef9f3628c5a2fec4dc3578c.json b/src/plugins/aorai/tests/wp-cache/cache/cc3a85c5aef9f3628c5a2fec4dc3578c.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/cc3a85c5aef9f3628c5a2fec4dc3578c.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/cd6ac055f7f7f34e5d1441d3618eb607.json b/src/plugins/aorai/tests/wp-cache/cache/cd6ac055f7f7f34e5d1441d3618eb607.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/cd6ac055f7f7f34e5d1441d3618eb607.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/d1087d1c18c142ae0baa66bc8d989793.json b/src/plugins/aorai/tests/wp-cache/cache/d1087d1c18c142ae0baa66bc8d989793.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/d1087d1c18c142ae0baa66bc8d989793.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/d15af0218bef2140e1ad6d6fff0f4591.json b/src/plugins/aorai/tests/wp-cache/cache/d15af0218bef2140e1ad6d6fff0f4591.json
deleted file mode 100644
index 6cf3a209049..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/d15af0218bef2140e1ad6d6fff0f4591.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0091,
- "steps": 23 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/d2387c71a3cd9557abf83c6c39b359e1.json b/src/plugins/aorai/tests/wp-cache/cache/d2387c71a3cd9557abf83c6c39b359e1.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/d2387c71a3cd9557abf83c6c39b359e1.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/d31bf3b161ede36d8eb659b017aaef83.json b/src/plugins/aorai/tests/wp-cache/cache/d31bf3b161ede36d8eb659b017aaef83.json
deleted file mode 100644
index 369164191de..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/d31bf3b161ede36d8eb659b017aaef83.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.007,
- "steps": 10 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/d41813da733334bcfd9118deae18da0a.json b/src/plugins/aorai/tests/wp-cache/cache/d41813da733334bcfd9118deae18da0a.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/d41813da733334bcfd9118deae18da0a.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/d41e8a473e10e3c57c7fe1b9e279f459.json b/src/plugins/aorai/tests/wp-cache/cache/d41e8a473e10e3c57c7fe1b9e279f459.json
deleted file mode 100644
index 4e33f8be90e..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/d41e8a473e10e3c57c7fe1b9e279f459.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0074,
- "steps": 28 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/d66bddc252cb5041874801f3a1077e7f.json b/src/plugins/aorai/tests/wp-cache/cache/d66bddc252cb5041874801f3a1077e7f.json
deleted file mode 100644
index c895bba5508..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/d66bddc252cb5041874801f3a1077e7f.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0113,
- "steps": 36 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/d7ba4fee9457969f2fca194ec37ac481.json b/src/plugins/aorai/tests/wp-cache/cache/d7ba4fee9457969f2fca194ec37ac481.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/d7ba4fee9457969f2fca194ec37ac481.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/d806fa5f34c63f99ea05af2aa30a3b8d.json b/src/plugins/aorai/tests/wp-cache/cache/d806fa5f34c63f99ea05af2aa30a3b8d.json
deleted file mode 100644
index ca1c454a820..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/d806fa5f34c63f99ea05af2aa30a3b8d.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0177,
- "steps": 134 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/d8475e4192ce3922ebe29df38d497b8d.json b/src/plugins/aorai/tests/wp-cache/cache/d8475e4192ce3922ebe29df38d497b8d.json
deleted file mode 100644
index 60acb2e0dcc..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/d8475e4192ce3922ebe29df38d497b8d.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0088,
- "steps": 46 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/d97dd600a8221311ccf529ce20b3c7c0.json b/src/plugins/aorai/tests/wp-cache/cache/d97dd600a8221311ccf529ce20b3c7c0.json
deleted file mode 100644
index 51c9e718b03..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/d97dd600a8221311ccf529ce20b3c7c0.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0075,
- "steps": 26 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/da6225618d6a10aad7cde58ecada4df5.json b/src/plugins/aorai/tests/wp-cache/cache/da6225618d6a10aad7cde58ecada4df5.json
deleted file mode 100644
index 33e4e2405cf..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/da6225618d6a10aad7cde58ecada4df5.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0225,
- "steps": 201 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/db431f51888dd30874b8b6110b3f8908.json b/src/plugins/aorai/tests/wp-cache/cache/db431f51888dd30874b8b6110b3f8908.json
deleted file mode 100644
index c5f15db4a4b..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/db431f51888dd30874b8b6110b3f8908.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0078,
- "steps": 18 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/dc158ee141888909dc58da814a9b099f.json b/src/plugins/aorai/tests/wp-cache/cache/dc158ee141888909dc58da814a9b099f.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/dc158ee141888909dc58da814a9b099f.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/dcbf913eb2f93ee78964652c1d46b939.json b/src/plugins/aorai/tests/wp-cache/cache/dcbf913eb2f93ee78964652c1d46b939.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/dcbf913eb2f93ee78964652c1d46b939.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/dddc5d1d12a93b0435794c6e4c625dfd.json b/src/plugins/aorai/tests/wp-cache/cache/dddc5d1d12a93b0435794c6e4c625dfd.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/dddc5d1d12a93b0435794c6e4c625dfd.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/de1f0b7bce9e57bd89616d115eece7e3.json b/src/plugins/aorai/tests/wp-cache/cache/de1f0b7bce9e57bd89616d115eece7e3.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/de1f0b7bce9e57bd89616d115eece7e3.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/df69b0e47083e8aa2231c525ce1e315b.json b/src/plugins/aorai/tests/wp-cache/cache/df69b0e47083e8aa2231c525ce1e315b.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/df69b0e47083e8aa2231c525ce1e315b.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/e0894b54716322bd310e097fb1465956.json b/src/plugins/aorai/tests/wp-cache/cache/e0894b54716322bd310e097fb1465956.json
deleted file mode 100644
index 36da39de210..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/e0894b54716322bd310e097fb1465956.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0074,
- "steps": 10 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/e0e89feaaa44f140aacc0b246f43ae82.json b/src/plugins/aorai/tests/wp-cache/cache/e0e89feaaa44f140aacc0b246f43ae82.json
deleted file mode 100644
index 16aa6fe6b26..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/e0e89feaaa44f140aacc0b246f43ae82.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0107,
- "steps": 79 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/e23d097a2cfcc202d3d8c635f19acdf1.json b/src/plugins/aorai/tests/wp-cache/cache/e23d097a2cfcc202d3d8c635f19acdf1.json
deleted file mode 100644
index 666767e09c4..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/e23d097a2cfcc202d3d8c635f19acdf1.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0078,
- "steps": 26 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/e2971c546374a9c3e22bf77b5e59ece3.json b/src/plugins/aorai/tests/wp-cache/cache/e2971c546374a9c3e22bf77b5e59ece3.json
deleted file mode 100644
index 51c9e718b03..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/e2971c546374a9c3e22bf77b5e59ece3.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0075,
- "steps": 26 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/e33a157542a941e6407aac59ee90bc2f.json b/src/plugins/aorai/tests/wp-cache/cache/e33a157542a941e6407aac59ee90bc2f.json
deleted file mode 100644
index d43e4664d26..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/e33a157542a941e6407aac59ee90bc2f.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0734,
- "steps": 72 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/e38f7d80f5f594858032c00d1699a636.json b/src/plugins/aorai/tests/wp-cache/cache/e38f7d80f5f594858032c00d1699a636.json
deleted file mode 100644
index ad22c3e0264..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/e38f7d80f5f594858032c00d1699a636.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0159,
- "steps": 105 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/e44837e2c61da448df283065c3305d10.json b/src/plugins/aorai/tests/wp-cache/cache/e44837e2c61da448df283065c3305d10.json
deleted file mode 100644
index f45f34e96cf..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/e44837e2c61da448df283065c3305d10.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0147,
- "steps": 69 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/e60ccf9cc1f7a255fd415b5af1c6d0fb.json b/src/plugins/aorai/tests/wp-cache/cache/e60ccf9cc1f7a255fd415b5af1c6d0fb.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/e60ccf9cc1f7a255fd415b5af1c6d0fb.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/e62126309be71eb57da8fe43080e5335.json b/src/plugins/aorai/tests/wp-cache/cache/e62126309be71eb57da8fe43080e5335.json
deleted file mode 100644
index 9526940ecfa..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/e62126309be71eb57da8fe43080e5335.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0076,
- "steps": 22 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/e6dac0be9d6d0a58fca8786a71d87142.json b/src/plugins/aorai/tests/wp-cache/cache/e6dac0be9d6d0a58fca8786a71d87142.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/e6dac0be9d6d0a58fca8786a71d87142.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/e6e537fb2540731e6b03c13387a4535f.json b/src/plugins/aorai/tests/wp-cache/cache/e6e537fb2540731e6b03c13387a4535f.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/e6e537fb2540731e6b03c13387a4535f.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/e98fe8357f9257677cae6761f55b5d67.json b/src/plugins/aorai/tests/wp-cache/cache/e98fe8357f9257677cae6761f55b5d67.json
deleted file mode 100644
index 169fe198e4b..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/e98fe8357f9257677cae6761f55b5d67.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0139,
- "steps": 103 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/ea34fa561563524ea1b2c4fa6df0455f.json b/src/plugins/aorai/tests/wp-cache/cache/ea34fa561563524ea1b2c4fa6df0455f.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/ea34fa561563524ea1b2c4fa6df0455f.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/ea7ecd4f3f81703c44a5548b695f1494.json b/src/plugins/aorai/tests/wp-cache/cache/ea7ecd4f3f81703c44a5548b695f1494.json
deleted file mode 100644
index c74a03c8e14..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/ea7ecd4f3f81703c44a5548b695f1494.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0149,
- "steps": 105 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/eacfb98962caf88657ba4e12542b051d.json b/src/plugins/aorai/tests/wp-cache/cache/eacfb98962caf88657ba4e12542b051d.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/eacfb98962caf88657ba4e12542b051d.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/eb312a7d10ef4705942e41139abd782b.json b/src/plugins/aorai/tests/wp-cache/cache/eb312a7d10ef4705942e41139abd782b.json
deleted file mode 100644
index 347e8b0c838..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/eb312a7d10ef4705942e41139abd782b.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0144,
- "steps": 104 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/ecac3aaccf8f953bc4677d0ec4f3567e.json b/src/plugins/aorai/tests/wp-cache/cache/ecac3aaccf8f953bc4677d0ec4f3567e.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/ecac3aaccf8f953bc4677d0ec4f3567e.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/ed5448130cfe402350c039198d050496.json b/src/plugins/aorai/tests/wp-cache/cache/ed5448130cfe402350c039198d050496.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/ed5448130cfe402350c039198d050496.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/edd80bafce5f5032172b61742c5ea4ef.json b/src/plugins/aorai/tests/wp-cache/cache/edd80bafce5f5032172b61742c5ea4ef.json
deleted file mode 100644
index 81ed35464f1..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/edd80bafce5f5032172b61742c5ea4ef.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0057,
- "steps": 41 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/ee57f3159838493638287ae0f924080b.json b/src/plugins/aorai/tests/wp-cache/cache/ee57f3159838493638287ae0f924080b.json
deleted file mode 100644
index acd78f9b6de..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/ee57f3159838493638287ae0f924080b.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0099,
- "steps": 81 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/efc467d7fe01050bec6a2ba0dbe78ac7.json b/src/plugins/aorai/tests/wp-cache/cache/efc467d7fe01050bec6a2ba0dbe78ac7.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/efc467d7fe01050bec6a2ba0dbe78ac7.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/f009647b32309dea209f2029c88f04ea.json b/src/plugins/aorai/tests/wp-cache/cache/f009647b32309dea209f2029c88f04ea.json
deleted file mode 100644
index 1a1c3d7e231..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/f009647b32309dea209f2029c88f04ea.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0066,
- "steps": 63 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/f0aeded42964b35ceac2c45f697d8dd9.json b/src/plugins/aorai/tests/wp-cache/cache/f0aeded42964b35ceac2c45f697d8dd9.json
deleted file mode 100644
index 9dd3b79130e..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/f0aeded42964b35ceac2c45f697d8dd9.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.022,
- "steps": 196 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/f2304d2c9e0d96f8dc777037236dc2e9.json b/src/plugins/aorai/tests/wp-cache/cache/f2304d2c9e0d96f8dc777037236dc2e9.json
deleted file mode 100644
index 0fc423746a4..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/f2304d2c9e0d96f8dc777037236dc2e9.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0073,
- "steps": 28 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/f2584e419f14f8fd81a0eac757e3e821.json b/src/plugins/aorai/tests/wp-cache/cache/f2584e419f14f8fd81a0eac757e3e821.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/f2584e419f14f8fd81a0eac757e3e821.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/f2b3628d99a0021ad29ea65f1f96532b.json b/src/plugins/aorai/tests/wp-cache/cache/f2b3628d99a0021ad29ea65f1f96532b.json
deleted file mode 100644
index ee6a4eb4e70..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/f2b3628d99a0021ad29ea65f1f96532b.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0033,
- "steps": 72 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/f3f74575ca930a911b0c369430a4f5b3.json b/src/plugins/aorai/tests/wp-cache/cache/f3f74575ca930a911b0c369430a4f5b3.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/f3f74575ca930a911b0c369430a4f5b3.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/f4cb3230516c17348b8a0674366f812a.json b/src/plugins/aorai/tests/wp-cache/cache/f4cb3230516c17348b8a0674366f812a.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/f4cb3230516c17348b8a0674366f812a.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/f68000b6a4bad118001a54d259b3d61f.json b/src/plugins/aorai/tests/wp-cache/cache/f68000b6a4bad118001a54d259b3d61f.json
deleted file mode 100644
index 136c8058910..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/f68000b6a4bad118001a54d259b3d61f.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0076,
- "steps": 28 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/f6c0d7c55bef93fe8c7e5bfd6d394850.json b/src/plugins/aorai/tests/wp-cache/cache/f6c0d7c55bef93fe8c7e5bfd6d394850.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/f6c0d7c55bef93fe8c7e5bfd6d394850.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/f7216ca39161aa591184866572afa4c4.json b/src/plugins/aorai/tests/wp-cache/cache/f7216ca39161aa591184866572afa4c4.json
deleted file mode 100644
index 82dd07e4e42..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/f7216ca39161aa591184866572afa4c4.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0188,
- "steps": 147 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/fa7aff178fd504fa3bcd77daa12cd403.json b/src/plugins/aorai/tests/wp-cache/cache/fa7aff178fd504fa3bcd77daa12cd403.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/fa7aff178fd504fa3bcd77daa12cd403.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/fac6969a8e190d527fdce9061c9983e6.json b/src/plugins/aorai/tests/wp-cache/cache/fac6969a8e190d527fdce9061c9983e6.json
deleted file mode 100644
index f1a5174a90b..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/fac6969a8e190d527fdce9061c9983e6.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0067,
- "steps": 24 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/fae30ac58f3b619ed9381d2b5f49b9f4.json b/src/plugins/aorai/tests/wp-cache/cache/fae30ac58f3b619ed9381d2b5f49b9f4.json
deleted file mode 100644
index 50d6aeee757..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/fae30ac58f3b619ed9381d2b5f49b9f4.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0044,
- "steps": 28 }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/faedbfabc5322df052c3fed64e6041f7.json b/src/plugins/aorai/tests/wp-cache/cache/faedbfabc5322df052c3fed64e6041f7.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/faedbfabc5322df052c3fed64e6041f7.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/fbe0aea47d72ab7fbb322408f4f76731.json b/src/plugins/aorai/tests/wp-cache/cache/fbe0aea47d72ab7fbb322408f4f76731.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/fbe0aea47d72ab7fbb322408f4f76731.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/ff3f502380cbbad6db6d4373f475e8fc.json b/src/plugins/aorai/tests/wp-cache/cache/ff3f502380cbbad6db6d4373f475e8fc.json
deleted file mode 100644
index 1772f520b7f..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/ff3f502380cbbad6db6d4373f475e8fc.json
+++ /dev/null
@@ -1 +0,0 @@
-{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }
diff --git a/src/plugins/aorai/tests/wp-cache/cache/ffa17c8615d2076425dabbc72fdedf36.json b/src/plugins/aorai/tests/wp-cache/cache/ffa17c8615d2076425dabbc72fdedf36.json
deleted file mode 100644
index b6e50c781e3..00000000000
--- a/src/plugins/aorai/tests/wp-cache/cache/ffa17c8615d2076425dabbc72fdedf36.json
+++ /dev/null
@@ -1,2 +0,0 @@
-{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0239,
- "steps": 249 }
--
GitLab