From a39c8e88a55a4f1e7db01a67588860d9190dcc25 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 3 Mar 2022 11:32:54 +0100
Subject: [PATCH] [aorai] use WP cache in 'prove' ptest configuration
---
src/plugins/aorai/tests/Aorai_test.ml | 20 ++++++++++++++++++-
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 ++
303 files changed, 487 insertions(+), 2 deletions(-)
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/00dd5a7a3cc432b4df4b013be4b68f13.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/00f24ed21bf3667627af87a7aad2d13e.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/035a236965b94d35d953120e59db5dd3.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/03dbc70a990032105f7c6d5350d17295.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/04499ab5e25024a2d32de361c812e41a.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/04736848b6c66f22bd29c4e629cd41f7.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/051a5ac44372692d1b3409d8ee21bc60.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/054da1e7390cb63f96c8e49a4cda6c90.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/055509ceb46959b31a289021153bf660.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/058e3001d92ae06de3118373ea32e774.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/05da49ed09c4a3bb59cc590bd50fa7d2.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/07458184b7679110821cb4b2d643a9bb.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/07ecc37a49bc085c637afefafe5d6422.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/0802e3e919dbe43c9d16e4cb2f549613.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/08f56d36d378d6573464516b5d1041e8.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/0acd1e4658f68126cf0aea6cc469febb.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/0b6ef7b0d55e2a348f77d14117d9009e.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/0bacc494499b6aa02686d67275f4e8aa.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/0cd34210e1bb8edc8de12791f2e503a6.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/0cf0d00d21753b35593fb0ac24051693.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/0cff66417bd0e455a20ef949236ec4a8.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/0d35de9a156941320fb1ce8386ba8b15.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/0de086d6ceda38f44d1eee0ba79bce59.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/0de7b539a3389ae140513f7af6fd2f5f.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/0fa7745a7996b70d68dcb3814f612793.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/12e2c386d5efd6d1e19abd82f9ebb3ce.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/1303b3ebcea7a73d704895821f3cfc78.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/148451a51c4f74929d536c85c35ba60e.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/14ec1ebfcdcf80cc54e9ee553d31b21e.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/15912e773461b337de92d11787c779b8.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/168439df1200cdbdfe122e2e1af19366.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/1684a67857b5cfdcaa6819d543dd108a.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/16d6429a72c00a770a2bf1294d47ff55.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/1716100bc274e1bd1404c700dd88005f.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/173eebfb64e5fc93a392c2f811dc4514.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/18b6d424f1579e057b1498e9822c7604.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/1951e71ddf233b4559ab873b85d34c37.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/19aaf255fa827ab93d1536b6aafcb9ac.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/1ad378eaacce63df3690b6438cbb9401.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/1c2226e80d6336af15b3fedcc8638ed7.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/1d6462b015d50eea1828baa225e26abd.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/1dc0a38bfa733651922ef4b8809fcd7c.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/1e646eeb23619a4a3c8a39cb8c69bf91.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/2025ace84b8a17266d098ce247e7681e.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/20a3620487b8331dd3c1fb951a5a4288.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/20d1ebef4d608c26bd1bce69ca9bd6c9.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/216163eeac3a7175a63830d50bce3adf.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/216b26e7db2bc43b2324cdbc4a61dafd.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/237a03d457b0c98adef85631d48bb0a7.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/2408ad55267027177267a51bca4cb350.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/24161f0106f7623bad68ef02aa5003d0.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/250587204e2d3b7692cd255a4203ffb3.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/2574fa59afdbfd58548680adc591cd4c.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/25987627da982182b6d519adbf5eccaa.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/2831bbea1809ed9cf5da14c79e164f34.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/2881e4f936ca24499fe4a8b6e035fb10.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/2949f4c3c49832259c89ac0ba32d22f7.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/299b41e52b0f0caed793e2a6da18b1fe.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/2ac1425ad28661eb2837bf563c0bf0ac.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/2c2e7efc1d3030db432a7305b25ea637.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/2c9e3dc5484c0bfbc11de2d3bb359c59.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/2e42c1f5f0328698a4f06d4994e51bb2.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/2f4dfa2b2933bb22b61054fb15ef7cd2.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/3017f292913ccb1045c8cae77027767d.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/3060f1c3a5b1f29bf17ceaefcde1d8dd.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/32482610491ef5a8203b94e6ce48ee00.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/32888dd3e43ec36db6eadf188c7a2193.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/32adbc54a70ff604368ed52502a4135c.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/32c5e7d9a33f6b4c9c306bc4fbfc0f1a.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/32e87e007513835e4e59df36a11c34bd.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/33eaff63c3e6380522e9afa784bcc69e.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/35877d956185d12b3775531e2241c096.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/35b8a60f6c61a8aa4f2690ad495f9848.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/37ad2de0cf39806873bd0d63ce21f625.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/394d8ffc087737c2d96315d5a3c84dcf.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/3b3ae646593d57ec18b5d784e74496da.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/3b9893008f012d957e56672950693269.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/3d37ec0ab64619400afa39321d35f806.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/3d4c28839b26e3c8f8f17db00eba25e5.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/3fa809751c420c48b2891b7324944b61.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/4077de3226256c1f0564a33d52d92151.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/41005309a48519bd59dd2fa23130790e.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/411077bbae4f7bf9fd14802d92927ae7.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/4156fe96206dd10741b77d2759efcb23.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/41db58e15630267a6c8bc625aa2cdd3f.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/430f02582efbb7818e9c600b1501e9ba.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/43ca1595598616a2791f3d317af998cf.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/43dac225eacf5be2e9a81a5773ee1634.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/43f8c5614024a265f29e039c9a12d4c1.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/456513f5d9089d089b843bd066ccab04.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/46703b47a2502c6d2807c3a20e641412.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/47aa2a8c1b887b5f66e8e70b4b93c50d.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/49b7f29916d634da0d154b4ed4685d84.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/4b4b4267006184ae95f2da988019e1cb.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/4c28ae2fe1a919a4f5018a4f112d31fc.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/4d2e99cefcde156fbdf0bb25dafe794b.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/4d42db0ee74f2d6f27cc8bfcad213e1c.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/4eddb631423a19d9744617a90e34bf9f.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/4f6acc51e13d0b6a089475aa42ac5a68.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/5067070c10002b3e8e52996498c66c73.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/54aa7df86394579f82f251de1296c41a.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/5741261b92f8cbca123c59efd3f629c0.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/57de7779a97d152973641bcd3ca90a34.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/59179e9a1be6c6a3d5b235edb0df850d.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/59b7ba27a555b4adcf5bdc1155e25ac5.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/5a3760f3b306c054bd2047ab29d94d8e.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/5a3baadbfca537c2c1ba005f0c791985.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/5a636579fc921da10496e03970170a43.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/5d6e0864130708fc79cdc6c1a25960b6.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/5ef5b276fa1c83200a002649543ad5d2.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/5f2c08f81d69fea805e517578f0d29be.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/5fe0448ddb02001c658232a1630f5a0a.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/63bdca1a54a37e5738dea7f06a8bcc34.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/648e52163e61cbed81b1d4a9bc9e19a3.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/64a4d649b6d3af545f306b8c6b6cd7e4.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/651077594ff5b10d153e30d1cc19ce95.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/65400b3b173958ce3782790b3bf6abf7.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/6618262501a96d8f39e7974c17e2a5d4.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/6661bbdef745badd99a3a70f64dc6f3d.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/686648e388fac1b23439072e33aeb370.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/68f75542bfade62891aa6f15e041ced3.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/69062c4349b216a0dc83e43e7fd81638.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/6b6928df0229e3fec100a2a380ac2a2f.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/6be23743f199c21ebe4046d1a9532e72.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/6cc9aeb6c1786f07f6cbbdee1bc424b2.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/6dfabac95614d97cba22b78240b9e21e.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/6e7779bffdf9c63fce17e6a4bf372951.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/6ed2d97a05b6dd0e4f50f192e4e3fb51.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/7023b03472bff13897a4ebf1f5d3838e.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/70c9927f0a7128bf4fc54826b9d8d6e9.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/70ecd7b5c47991089ee7c0da7681b9d7.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/71d6f994845d620d1a51add7a5388d43.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/71fa2d9bf00680f63a0f273e77dc174d.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/7256fc571b3b4359867a44976656cd6f.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/743338b4afc16b3163c8ce1674e61d80.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/74340661182c58dc53404ba5d17666d2.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/743b3eb22d3432fad8008e1fd907b9b6.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/749d07f7efbbd84a1ece6f265b550b13.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/74edf0868928053d9cd4e52dfbb528c0.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/75b7b2edc41999a0c9b73f1892589df3.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/76c789f1a5c0f8a3a97ffed34e070a19.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/79de54f0199f8bce27e5acd03bff8007.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/79e85d26668cf87dfc61a2c6de4b9688.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/7c2df99a16961c566ee0bad52fcdbdd4.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/7dc5cc04c4789cbe108c7fd03e801e97.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/7df12df4ad86d3c487d0671c01a2a494.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/7e6ed8f89e75051653300e3b3971d836.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/814c8ea67d137deaebf1093ee9f0c8bf.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/82fda68b23e0c32b8e2ad71ac9cfbe7b.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/84b0ad12f2ed4e08b9523b957c019dfa.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/851936d1bd0e92d85a1c2ef68b4b09af.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/85ae9c9ef944879119de11957cac364f.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/8608d4b6c44a683a9a259216765fad11.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/8660d3d386d5a41ff5b16645307ada5f.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/86828a33978772a8190ffa357b62526c.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/86a6d6ce553bf12b5caa360aed595361.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/8710e3f120f55e85b40a44f8683db624.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/8844a4f44a355c8182a2d752cec963ad.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/88d0a37decf6d6d1baee565ef7f345bd.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/8a2bbeb136d065bc6cc72ae8e5a74136.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/8b71a19686f2e4efc35a742b7eec77f0.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/8c18352aea1b9c2fce7303bbabb1949a.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/8c778f27a445493c3f5c0b73906e6d48.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/8dc85773711b93619a0e39015c3ae6f0.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/8e2ace56c12b39e8e2e8531baa733cdd.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/8f7ddc7cf4e4f07a5834e08ba11f20a4.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/8fe9e8439bbc40dc05d0a0946689dd95.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/904b123c6ed5ce9f94e4d7bd76d54eb7.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/919bc20399fb819424454f86482eec75.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/92daff333ab96de4464ae689b226f8ce.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/93cbd3623e7477728faee74256ddc28f.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/9433c6db2b7c6a8a9a2c739faaa4b3c7.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/949e13002589d47db0f7a34b68086374.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/9582ec6cbf24ddf3dc4bbc61592673f0.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/95bd2726d552d53e93bdb3cc3a1b9d22.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/96f5cf1d0cf39a5f42c797242f8ec2ba.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/96ff12e129581937445ace93c09265c3.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/970d6ddef384e0e8be1504df551bf288.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/9817548a5325cb23cf0c5a02adaa0ea2.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/985d6e79eea9b86d3f55694284084336.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/98736c3766376d71616ee82087837bf4.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/98985aca3b0d1ed9407a1607ad0affbd.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/98ca64a26938c018ee9bcd9cc1f69ff9.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/99cfa0b7de18f9a6ff65ac8a73e82d18.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/9add59adc93b9b00c63e5e06473dfc27.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/9b2c9a488dfb0611f0a6db99caf53472.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/9cfcee5183f9e47ec4cd1fa05847b0d8.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/9d6c70b702f5501f8bb4412187fa5c50.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/9de9987c3a48a0dd30def87c7ca3b694.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/9f112aa169320627555725970668ba40.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/a056ffdb3faf626487594da8813ffd60.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/a089bcf9fc6b1b1e4ed24e890a73f6b4.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/a13058b90195aefac4879104bf0c4f72.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/a1adbad428073faedd161c4cef7e79d4.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/a1dffbbe5ba464d2eb8901fee8848559.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/a28da04b89421fffc01a68821310764d.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/a32f9fa97a73b374e1748d476d517e7a.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/a4b123e49cd12c70aa9a655f8d3257ad.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/a4dd8a8aa896be5e660b66579aa4657e.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/a5567938113fcffb9a882c7625e9d6b8.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/a6f04912f197ce528acc7952daa1a031.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/a79c85a8a7901898c4503bf628976c5d.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/a7cc69260e66b2d5f0bcf4bb15ba96bb.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/a96c15b0f51c97bc18265f3b6cc3655d.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/aa311a4a711e9d275f63f5c88cc99f49.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/aaf11c9d6a9cb83f2ed735e27ff591e1.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/ab0fb6d2b709b6b0ed87af49c95728d5.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/adb045fd2a6f4ab7086d1891fa9b47dc.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/adf78cff8c5e5fef6342c9718a2c46cc.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/ae6af0541dea0d6cbbefbc9e99ea0339.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/af1d51d8a2efaf33b7d1753d03c1416c.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/af983bda98eb66e38c99add6d200174b.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/b19a1a37bb345f2eb01be5984aeaf68d.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/b25bebab674f66880fcd69d447157285.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/b3fd09657962d54888465c10a742d121.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/b409b3f5151a423ff13eb87120a22833.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/b46ca171cd89b89874b74ec897b13499.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/b6f23427b597914d8c21452a78fd74b0.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/b75f6896dfb2049bb95cfddf1dfb718c.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/b8a91a19f9f64f9e14d021242bd40984.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/b8d1fbe6ef6896754c5d3faf7516e8d1.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/b906b82ecedb7a877996545ac39954af.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/b991c384d802e17530f683b768b5172e.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/ba2f4af140179f0d493d9b4eb2fa6ef8.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/ba46064be0cb853d14e5864bfc5bed40.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/bbf14a9835da0d8db4ffe73940c0cebc.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/bc882bd4deb8f1a937b528baf42362e1.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/bcb8e2580428dfd75c88a474f54c2665.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/bcd7999b86f16c7c8f8ffd7259e656f6.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/bdfcf82f8454f2297794a63141d26a09.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/be6e1a1bdde06792105ada96fedc70e7.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/bf4faa2c0e36fdb1878f29d37959727d.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/bf6245ac26dcc103ff94f446706dbe1f.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/c0288c0bcdfea02e3f979d31d9b93664.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/c08f96e9e0deacad5c1e146dcb6f7a92.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/c120d717e03e9c38f170c4339ce0c6c5.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/c1efc1307b6d3fef85dd5f160c5bd8f6.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/c316a94bb5c9f8d398a5d004f262dc64.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/c3bce09527d834419151a24cc2ef869e.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/c51ed73f61912dc6e59e35bd1b1dcaaa.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/c52d4f8a4fcc1b4f730a217fcda31602.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/c5f2f8b139c3214e25879a1a30a74dda.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/c9363b9bb8694862c9c794db38e8f021.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/cc3a85c5aef9f3628c5a2fec4dc3578c.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/cd6ac055f7f7f34e5d1441d3618eb607.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/d1087d1c18c142ae0baa66bc8d989793.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/d15af0218bef2140e1ad6d6fff0f4591.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/d2387c71a3cd9557abf83c6c39b359e1.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/d31bf3b161ede36d8eb659b017aaef83.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/d41813da733334bcfd9118deae18da0a.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/d41e8a473e10e3c57c7fe1b9e279f459.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/d66bddc252cb5041874801f3a1077e7f.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/d7ba4fee9457969f2fca194ec37ac481.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/d806fa5f34c63f99ea05af2aa30a3b8d.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/d8475e4192ce3922ebe29df38d497b8d.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/d97dd600a8221311ccf529ce20b3c7c0.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/da6225618d6a10aad7cde58ecada4df5.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/db431f51888dd30874b8b6110b3f8908.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/dc158ee141888909dc58da814a9b099f.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/dcbf913eb2f93ee78964652c1d46b939.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/dddc5d1d12a93b0435794c6e4c625dfd.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/de1f0b7bce9e57bd89616d115eece7e3.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/df69b0e47083e8aa2231c525ce1e315b.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/e0894b54716322bd310e097fb1465956.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/e0e89feaaa44f140aacc0b246f43ae82.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/e23d097a2cfcc202d3d8c635f19acdf1.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/e2971c546374a9c3e22bf77b5e59ece3.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/e33a157542a941e6407aac59ee90bc2f.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/e38f7d80f5f594858032c00d1699a636.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/e44837e2c61da448df283065c3305d10.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/e60ccf9cc1f7a255fd415b5af1c6d0fb.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/e62126309be71eb57da8fe43080e5335.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/e6dac0be9d6d0a58fca8786a71d87142.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/e6e537fb2540731e6b03c13387a4535f.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/e98fe8357f9257677cae6761f55b5d67.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/ea34fa561563524ea1b2c4fa6df0455f.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/ea7ecd4f3f81703c44a5548b695f1494.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/eacfb98962caf88657ba4e12542b051d.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/eb312a7d10ef4705942e41139abd782b.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/ecac3aaccf8f953bc4677d0ec4f3567e.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/ed5448130cfe402350c039198d050496.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/edd80bafce5f5032172b61742c5ea4ef.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/ee57f3159838493638287ae0f924080b.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/efc467d7fe01050bec6a2ba0dbe78ac7.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/f009647b32309dea209f2029c88f04ea.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/f0aeded42964b35ceac2c45f697d8dd9.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/f2304d2c9e0d96f8dc777037236dc2e9.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/f2584e419f14f8fd81a0eac757e3e821.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/f2b3628d99a0021ad29ea65f1f96532b.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/f3f74575ca930a911b0c369430a4f5b3.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/f4cb3230516c17348b8a0674366f812a.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/f68000b6a4bad118001a54d259b3d61f.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/f6c0d7c55bef93fe8c7e5bfd6d394850.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/f7216ca39161aa591184866572afa4c4.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/fa7aff178fd504fa3bcd77daa12cd403.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/fac6969a8e190d527fdce9061c9983e6.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/fae30ac58f3b619ed9381d2b5f49b9f4.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/faedbfabc5322df052c3fed64e6041f7.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/fbe0aea47d72ab7fbb322408f4f76731.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/ff3f502380cbbad6db6d4373f475e8fc.json
create mode 100644 src/plugins/aorai/tests/wp-cache/cache/ffa17c8615d2076425dabbc72fdedf36.json
diff --git a/src/plugins/aorai/tests/Aorai_test.ml b/src/plugins/aorai/tests/Aorai_test.ml
index 661d9750382..76f63102b16 100644
--- a/src/plugins/aorai/tests/Aorai_test.ml
+++ b/src/plugins/aorai/tests/Aorai_test.ml
@@ -29,6 +29,16 @@ 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
@@ -97,7 +107,12 @@ let extend () =
File.pretty_ast ~prj:aorai_prj ~fmt ();
close_out chan;
let selection =
- State_selection.of_list [ InternalWpShare.self; ProveAuxSpec.self ]
+ List.fold_left
+ (fun selection state ->
+ State_selection.union
+ (State_selection.with_codependencies state) selection)
+ State_selection.empty
+ [ InternalWpShare.self; ProveAuxSpec.self; WpCache.self ]
in
Project.copy ~selection my_project;
Project.set_current my_project;
@@ -115,6 +130,9 @@ 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 d4b6b4fda2b..3b7680cddcf 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-prove-aux-spec
+MACRO: PROVE_OPTIONS @AORAI_WP_SHARE@ -aorai-test-wp-cache @PTEST_SUITE_DIR@/../wp-cache -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
new file mode 100644
index 00000000000..149aad64730
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/00dd5a7a3cc432b4df4b013be4b68f13.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/00f24ed21bf3667627af87a7aad2d13e.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..fc856e27388
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/035a236965b94d35d953120e59db5dd3.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/03dbc70a990032105f7c6d5350d17295.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..66a04329d55
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/04499ab5e25024a2d32de361c812e41a.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..9b9dd73cdde
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/04736848b6c66f22bd29c4e629cd41f7.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..6aaabcf12c9
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/051a5ac44372692d1b3409d8ee21bc60.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/054da1e7390cb63f96c8e49a4cda6c90.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..3c39248d15c
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/055509ceb46959b31a289021153bf660.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/058e3001d92ae06de3118373ea32e774.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..470c039db2d
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/05da49ed09c4a3bb59cc590bd50fa7d2.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/07458184b7679110821cb4b2d643a9bb.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/07ecc37a49bc085c637afefafe5d6422.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/0802e3e919dbe43c9d16e4cb2f549613.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/08f56d36d378d6573464516b5d1041e8.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/0acd1e4658f68126cf0aea6cc469febb.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..34d87700248
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/0b6ef7b0d55e2a348f77d14117d9009e.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/0bacc494499b6aa02686d67275f4e8aa.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/0cd34210e1bb8edc8de12791f2e503a6.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..136c8058910
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/0cf0d00d21753b35593fb0ac24051693.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/0cff66417bd0e455a20ef949236ec4a8.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..84ef69924f2
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/0d35de9a156941320fb1ce8386ba8b15.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/0de086d6ceda38f44d1eee0ba79bce59.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/0de7b539a3389ae140513f7af6fd2f5f.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/0fa7745a7996b70d68dcb3814f612793.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/12e2c386d5efd6d1e19abd82f9ebb3ce.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..e9fe551c079
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/1303b3ebcea7a73d704895821f3cfc78.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..5e4f07d4350
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/148451a51c4f74929d536c85c35ba60e.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..3a7ff071cfe
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/14ec1ebfcdcf80cc54e9ee553d31b21e.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..3bbfb6f60e6
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/15912e773461b337de92d11787c779b8.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..14dad2ffdcf
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/168439df1200cdbdfe122e2e1af19366.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/1684a67857b5cfdcaa6819d543dd108a.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/16d6429a72c00a770a2bf1294d47ff55.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/1716100bc274e1bd1404c700dd88005f.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..d557f491ce4
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/173eebfb64e5fc93a392c2f811dc4514.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/18b6d424f1579e057b1498e9822c7604.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/1951e71ddf233b4559ab873b85d34c37.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..8a7fb511a09
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/19aaf255fa827ab93d1536b6aafcb9ac.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..fb20bc44e19
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/1ad378eaacce63df3690b6438cbb9401.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/1c2226e80d6336af15b3fedcc8638ed7.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..a47637a66dc
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/1d6462b015d50eea1828baa225e26abd.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/1dc0a38bfa733651922ef4b8809fcd7c.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/1e646eeb23619a4a3c8a39cb8c69bf91.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1214fd4958e
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/2025ace84b8a17266d098ce247e7681e.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/20a3620487b8331dd3c1fb951a5a4288.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/20d1ebef4d608c26bd1bce69ca9bd6c9.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..b2d32a246e8
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/216163eeac3a7175a63830d50bce3adf.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..0c479d6a298
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/216b26e7db2bc43b2324cdbc4a61dafd.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/237a03d457b0c98adef85631d48bb0a7.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/2408ad55267027177267a51bca4cb350.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/24161f0106f7623bad68ef02aa5003d0.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..0d5529422a5
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/250587204e2d3b7692cd255a4203ffb3.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/2574fa59afdbfd58548680adc591cd4c.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..456da8875c2
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/25987627da982182b6d519adbf5eccaa.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..98b3b31cabb
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/2831bbea1809ed9cf5da14c79e164f34.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..2440d91bf4a
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/2881e4f936ca24499fe4a8b6e035fb10.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/2949f4c3c49832259c89ac0ba32d22f7.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/299b41e52b0f0caed793e2a6da18b1fe.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/2ac1425ad28661eb2837bf563c0bf0ac.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/2c2e7efc1d3030db432a7305b25ea637.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..16d74aa05fb
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/2c9e3dc5484c0bfbc11de2d3bb359c59.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..5e14c911f23
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/2e42c1f5f0328698a4f06d4994e51bb2.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/2f4dfa2b2933bb22b61054fb15ef7cd2.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..38945a7f9cd
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/3017f292913ccb1045c8cae77027767d.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..c8411850f64
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/3060f1c3a5b1f29bf17ceaefcde1d8dd.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..2294df6df0d
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/32482610491ef5a8203b94e6ce48ee00.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..49683d40c85
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/32888dd3e43ec36db6eadf188c7a2193.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..98b3b31cabb
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/32adbc54a70ff604368ed52502a4135c.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/32c5e7d9a33f6b4c9c306bc4fbfc0f1a.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/32e87e007513835e4e59df36a11c34bd.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/33eaff63c3e6380522e9afa784bcc69e.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..6e0edc58cb8
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/35877d956185d12b3775531e2241c096.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..e8ac80c6c71
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/35b8a60f6c61a8aa4f2690ad495f9848.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/37ad2de0cf39806873bd0d63ce21f625.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..395bad85be4
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/394d8ffc087737c2d96315d5a3c84dcf.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..5ab3d82a5d0
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/3b3ae646593d57ec18b5d784e74496da.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..b6e50c781e3
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/3b9893008f012d957e56672950693269.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..c26e096c074
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/3d37ec0ab64619400afa39321d35f806.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..2b6d82c9b25
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/3d4c28839b26e3c8f8f17db00eba25e5.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..a5103534660
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/3fa809751c420c48b2891b7324944b61.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..93a9efa1909
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/4077de3226256c1f0564a33d52d92151.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/41005309a48519bd59dd2fa23130790e.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/411077bbae4f7bf9fd14802d92927ae7.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..7c812d35a6e
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/4156fe96206dd10741b77d2759efcb23.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/41db58e15630267a6c8bc625aa2cdd3f.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..d7caa93d0af
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/430f02582efbb7818e9c600b1501e9ba.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/43ca1595598616a2791f3d317af998cf.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..6cc392b765d
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/43dac225eacf5be2e9a81a5773ee1634.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/43f8c5614024a265f29e039c9a12d4c1.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..42529872477
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/456513f5d9089d089b843bd066ccab04.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/46703b47a2502c6d2807c3a20e641412.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..62a550a2d79
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/47aa2a8c1b887b5f66e8e70b4b93c50d.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..3a3885657e0
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/49b7f29916d634da0d154b4ed4685d84.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..2aaf4d56775
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/4b4b4267006184ae95f2da988019e1cb.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..cf6ff93510d
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/4c28ae2fe1a919a4f5018a4f112d31fc.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/4d2e99cefcde156fbdf0bb25dafe794b.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..7ecffecfd23
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/4d42db0ee74f2d6f27cc8bfcad213e1c.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..836ea70620c
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/4eddb631423a19d9744617a90e34bf9f.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..f662f5e354a
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/4f6acc51e13d0b6a089475aa42ac5a68.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..538d87811f3
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/5067070c10002b3e8e52996498c66c73.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/54aa7df86394579f82f251de1296c41a.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/5741261b92f8cbca123c59efd3f629c0.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..77f8b64a496
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/57de7779a97d152973641bcd3ca90a34.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..f8868789e6c
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/59179e9a1be6c6a3d5b235edb0df850d.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..7fdf8176149
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/59b7ba27a555b4adcf5bdc1155e25ac5.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..05a786c4442
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/5a3760f3b306c054bd2047ab29d94d8e.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/5a3baadbfca537c2c1ba005f0c791985.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..dde6aa52bf8
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/5a636579fc921da10496e03970170a43.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/5d6e0864130708fc79cdc6c1a25960b6.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..7bdf3bc12db
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/5ef5b276fa1c83200a002649543ad5d2.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/5f2c08f81d69fea805e517578f0d29be.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..e29c06c180c
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/5fe0448ddb02001c658232a1630f5a0a.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..c3b5a8ea825
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/63bdca1a54a37e5738dea7f06a8bcc34.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/648e52163e61cbed81b1d4a9bc9e19a3.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/64a4d649b6d3af545f306b8c6b6cd7e4.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/651077594ff5b10d153e30d1cc19ce95.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/65400b3b173958ce3782790b3bf6abf7.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/6618262501a96d8f39e7974c17e2a5d4.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/6661bbdef745badd99a3a70f64dc6f3d.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..a90bf3473a9
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/686648e388fac1b23439072e33aeb370.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..7bb57f7808b
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/68f75542bfade62891aa6f15e041ced3.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/69062c4349b216a0dc83e43e7fd81638.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..a2a52a83dd5
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/6b6928df0229e3fec100a2a380ac2a2f.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..14564db6aa7
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/6be23743f199c21ebe4046d1a9532e72.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..77f8b64a496
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/6cc9aeb6c1786f07f6cbbdee1bc424b2.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..d0ae978cfc8
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/6dfabac95614d97cba22b78240b9e21e.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/6e7779bffdf9c63fce17e6a4bf372951.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/6ed2d97a05b6dd0e4f50f192e4e3fb51.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..72dce852dce
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/7023b03472bff13897a4ebf1f5d3838e.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/70c9927f0a7128bf4fc54826b9d8d6e9.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..f33dafdcb88
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/70ecd7b5c47991089ee7c0da7681b9d7.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/71d6f994845d620d1a51add7a5388d43.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/71fa2d9bf00680f63a0f273e77dc174d.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..9c9e98636db
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/7256fc571b3b4359867a44976656cd6f.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/743338b4afc16b3163c8ce1674e61d80.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/74340661182c58dc53404ba5d17666d2.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..235bbc25e81
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/743b3eb22d3432fad8008e1fd907b9b6.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/749d07f7efbbd84a1ece6f265b550b13.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..93a9efa1909
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/74edf0868928053d9cd4e52dfbb528c0.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..e97c6ad0e36
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/75b7b2edc41999a0c9b73f1892589df3.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/76c789f1a5c0f8a3a97ffed34e070a19.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..34c2e49a340
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/79de54f0199f8bce27e5acd03bff8007.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/79e85d26668cf87dfc61a2c6de4b9688.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..b0f912a85b8
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/7c2df99a16961c566ee0bad52fcdbdd4.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..4b35cae1c76
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/7dc5cc04c4789cbe108c7fd03e801e97.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/7df12df4ad86d3c487d0671c01a2a494.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..bbbcf0b16c6
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/7e6ed8f89e75051653300e3b3971d836.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/814c8ea67d137deaebf1093ee9f0c8bf.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..17cdfe5608d
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/82fda68b23e0c32b8e2ad71ac9cfbe7b.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/84b0ad12f2ed4e08b9523b957c019dfa.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..87021a520d0
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/851936d1bd0e92d85a1c2ef68b4b09af.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/85ae9c9ef944879119de11957cac364f.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..d6f652853df
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/8608d4b6c44a683a9a259216765fad11.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/8660d3d386d5a41ff5b16645307ada5f.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..d70c0b94382
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/86828a33978772a8190ffa357b62526c.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..395bad85be4
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/86a6d6ce553bf12b5caa360aed595361.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..648bf2baa49
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/8710e3f120f55e85b40a44f8683db624.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/8844a4f44a355c8182a2d752cec963ad.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..625315a628a
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/88d0a37decf6d6d1baee565ef7f345bd.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/8a2bbeb136d065bc6cc72ae8e5a74136.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..07935ffc3d1
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/8b71a19686f2e4efc35a742b7eec77f0.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..7bdf3bc12db
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/8c18352aea1b9c2fce7303bbabb1949a.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..16d74aa05fb
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/8c778f27a445493c3f5c0b73906e6d48.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..319754e8b21
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/8dc85773711b93619a0e39015c3ae6f0.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..12e5b67e645
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/8e2ace56c12b39e8e2e8531baa733cdd.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..42bf28b0188
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/8f7ddc7cf4e4f07a5834e08ba11f20a4.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..410025d7e16
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/8fe9e8439bbc40dc05d0a0946689dd95.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..a4c767a3307
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/904b123c6ed5ce9f94e4d7bd76d54eb7.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..bed300f5b54
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/919bc20399fb819424454f86482eec75.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/92daff333ab96de4464ae689b226f8ce.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/93cbd3623e7477728faee74256ddc28f.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..c3b5a8ea825
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/9433c6db2b7c6a8a9a2c739faaa4b3c7.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1e4337aaa87
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/949e13002589d47db0f7a34b68086374.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..76f170be9d6
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/9582ec6cbf24ddf3dc4bbc61592673f0.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..7f9393ac4c2
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/95bd2726d552d53e93bdb3cc3a1b9d22.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/96f5cf1d0cf39a5f42c797242f8ec2ba.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..8d70030107b
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/96ff12e129581937445ace93c09265c3.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/970d6ddef384e0e8be1504df551bf288.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..012ff9cefe5
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/9817548a5325cb23cf0c5a02adaa0ea2.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..8165bb58396
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/985d6e79eea9b86d3f55694284084336.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..0830ecbf6cc
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/98736c3766376d71616ee82087837bf4.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/98985aca3b0d1ed9407a1607ad0affbd.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..2b7faf0d605
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/98ca64a26938c018ee9bcd9cc1f69ff9.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/99cfa0b7de18f9a6ff65ac8a73e82d18.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..781d0a33898
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/9add59adc93b9b00c63e5e06473dfc27.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..8f58534ac3c
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/9b2c9a488dfb0611f0a6db99caf53472.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..d557f491ce4
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/9cfcee5183f9e47ec4cd1fa05847b0d8.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..b2798dd838e
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/9d6c70b702f5501f8bb4412187fa5c50.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/9de9987c3a48a0dd30def87c7ca3b694.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/9f112aa169320627555725970668ba40.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/a056ffdb3faf626487594da8813ffd60.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1df3549e8dc
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/a089bcf9fc6b1b1e4ed24e890a73f6b4.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..e954fe97b67
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/a13058b90195aefac4879104bf0c4f72.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/a1adbad428073faedd161c4cef7e79d4.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/a1dffbbe5ba464d2eb8901fee8848559.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/a28da04b89421fffc01a68821310764d.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/a32f9fa97a73b374e1748d476d517e7a.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/a4b123e49cd12c70aa9a655f8d3257ad.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..10f0fcce4b6
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/a4dd8a8aa896be5e660b66579aa4657e.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..f6c8a55f15b
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/a5567938113fcffb9a882c7625e9d6b8.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..2d82665a57f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/a6f04912f197ce528acc7952daa1a031.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..67903678ea1
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/a79c85a8a7901898c4503bf628976c5d.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/a7cc69260e66b2d5f0bcf4bb15ba96bb.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/a96c15b0f51c97bc18265f3b6cc3655d.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/aa311a4a711e9d275f63f5c88cc99f49.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/aaf11c9d6a9cb83f2ed735e27ff591e1.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/ab0fb6d2b709b6b0ed87af49c95728d5.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..060760309c7
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/adb045fd2a6f4ab7086d1891fa9b47dc.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..fe8201e3eb6
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/adf78cff8c5e5fef6342c9718a2c46cc.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/ae6af0541dea0d6cbbefbc9e99ea0339.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..342f850d71c
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/af1d51d8a2efaf33b7d1753d03c1416c.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..cd152648c6e
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/af983bda98eb66e38c99add6d200174b.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..58623a9d504
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/b19a1a37bb345f2eb01be5984aeaf68d.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/b25bebab674f66880fcd69d447157285.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/b3fd09657962d54888465c10a742d121.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/b409b3f5151a423ff13eb87120a22833.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/b46ca171cd89b89874b74ec897b13499.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..6cd53fa5e4d
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/b6f23427b597914d8c21452a78fd74b0.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..0fc423746a4
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/b75f6896dfb2049bb95cfddf1dfb718c.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..0315ef7ee81
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/b8a91a19f9f64f9e14d021242bd40984.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..70f062dc5d1
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/b8d1fbe6ef6896754c5d3faf7516e8d1.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/b906b82ecedb7a877996545ac39954af.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/b991c384d802e17530f683b768b5172e.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/ba2f4af140179f0d493d9b4eb2fa6ef8.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..92ae19cffb0
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/ba46064be0cb853d14e5864bfc5bed40.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/bbf14a9835da0d8db4ffe73940c0cebc.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..35ee9b59326
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/bc882bd4deb8f1a937b528baf42362e1.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..c6931cfb5ce
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/bcb8e2580428dfd75c88a474f54c2665.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/bcd7999b86f16c7c8f8ffd7259e656f6.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..d0ae978cfc8
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/bdfcf82f8454f2297794a63141d26a09.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..3e72a803a7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/be6e1a1bdde06792105ada96fedc70e7.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/bf4faa2c0e36fdb1878f29d37959727d.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..136c8058910
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/bf6245ac26dcc103ff94f446706dbe1f.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..ee0d66fb0bf
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/c0288c0bcdfea02e3f979d31d9b93664.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/c08f96e9e0deacad5c1e146dcb6f7a92.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..98b3b31cabb
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/c120d717e03e9c38f170c4339ce0c6c5.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..6734674bddf
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/c1efc1307b6d3fef85dd5f160c5bd8f6.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..9af364da397
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/c316a94bb5c9f8d398a5d004f262dc64.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..16f4b7e7f23
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/c3bce09527d834419151a24cc2ef869e.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..658192d646a
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/c51ed73f61912dc6e59e35bd1b1dcaaa.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..f55717c0918
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/c52d4f8a4fcc1b4f730a217fcda31602.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/c5f2f8b139c3214e25879a1a30a74dda.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..d43a804fadc
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/c9363b9bb8694862c9c794db38e8f021.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/cc3a85c5aef9f3628c5a2fec4dc3578c.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/cd6ac055f7f7f34e5d1441d3618eb607.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/d1087d1c18c142ae0baa66bc8d989793.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..6cf3a209049
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/d15af0218bef2140e1ad6d6fff0f4591.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/d2387c71a3cd9557abf83c6c39b359e1.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..369164191de
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/d31bf3b161ede36d8eb659b017aaef83.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/d41813da733334bcfd9118deae18da0a.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..4e33f8be90e
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/d41e8a473e10e3c57c7fe1b9e279f459.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..c895bba5508
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/d66bddc252cb5041874801f3a1077e7f.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/d7ba4fee9457969f2fca194ec37ac481.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..ca1c454a820
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/d806fa5f34c63f99ea05af2aa30a3b8d.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..60acb2e0dcc
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/d8475e4192ce3922ebe29df38d497b8d.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..51c9e718b03
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/d97dd600a8221311ccf529ce20b3c7c0.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..33e4e2405cf
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/da6225618d6a10aad7cde58ecada4df5.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..c5f15db4a4b
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/db431f51888dd30874b8b6110b3f8908.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/dc158ee141888909dc58da814a9b099f.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/dcbf913eb2f93ee78964652c1d46b939.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/dddc5d1d12a93b0435794c6e4c625dfd.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/de1f0b7bce9e57bd89616d115eece7e3.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/df69b0e47083e8aa2231c525ce1e315b.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..36da39de210
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/e0894b54716322bd310e097fb1465956.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..16aa6fe6b26
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/e0e89feaaa44f140aacc0b246f43ae82.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..666767e09c4
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/e23d097a2cfcc202d3d8c635f19acdf1.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..51c9e718b03
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/e2971c546374a9c3e22bf77b5e59ece3.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..d43e4664d26
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/e33a157542a941e6407aac59ee90bc2f.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..ad22c3e0264
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/e38f7d80f5f594858032c00d1699a636.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..f45f34e96cf
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/e44837e2c61da448df283065c3305d10.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/e60ccf9cc1f7a255fd415b5af1c6d0fb.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..9526940ecfa
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/e62126309be71eb57da8fe43080e5335.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/e6dac0be9d6d0a58fca8786a71d87142.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/e6e537fb2540731e6b03c13387a4535f.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..169fe198e4b
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/e98fe8357f9257677cae6761f55b5d67.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/ea34fa561563524ea1b2c4fa6df0455f.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..c74a03c8e14
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/ea7ecd4f3f81703c44a5548b695f1494.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/eacfb98962caf88657ba4e12542b051d.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..347e8b0c838
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/eb312a7d10ef4705942e41139abd782b.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/ecac3aaccf8f953bc4677d0ec4f3567e.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/ed5448130cfe402350c039198d050496.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..81ed35464f1
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/edd80bafce5f5032172b61742c5ea4ef.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..acd78f9b6de
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/ee57f3159838493638287ae0f924080b.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/efc467d7fe01050bec6a2ba0dbe78ac7.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1a1c3d7e231
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/f009647b32309dea209f2029c88f04ea.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..9dd3b79130e
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/f0aeded42964b35ceac2c45f697d8dd9.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..0fc423746a4
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/f2304d2c9e0d96f8dc777037236dc2e9.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/f2584e419f14f8fd81a0eac757e3e821.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..ee6a4eb4e70
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/f2b3628d99a0021ad29ea65f1f96532b.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/f3f74575ca930a911b0c369430a4f5b3.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/f4cb3230516c17348b8a0674366f812a.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..136c8058910
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/f68000b6a4bad118001a54d259b3d61f.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/f6c0d7c55bef93fe8c7e5bfd6d394850.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..82dd07e4e42
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/f7216ca39161aa591184866572afa4c4.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/fa7aff178fd504fa3bcd77daa12cd403.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..f1a5174a90b
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/fac6969a8e190d527fdce9061c9983e6.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..50d6aeee757
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/fae30ac58f3b619ed9381d2b5f49b9f4.json
@@ -0,0 +1,2 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/faedbfabc5322df052c3fed64e6041f7.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/fbe0aea47d72ab7fbb322408f4f76731.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..1772f520b7f
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/ff3f502380cbbad6db6d4373f475e8fc.json
@@ -0,0 +1 @@
+{ "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
new file mode 100644
index 00000000000..b6e50c781e3
--- /dev/null
+++ b/src/plugins/aorai/tests/wp-cache/cache/ffa17c8615d2076425dabbc72fdedf36.json
@@ -0,0 +1,2 @@
+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0239,
+ "steps": 249 }
--
GitLab