diff --git a/src/plugins/aorai/tests/Aorai_test.ml b/src/plugins/aorai/tests/Aorai_test.ml
index 661d97503828b87e72e82c04f716ab97a387577c..76f63102b1684f690bf0952123061c024895160f 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 d4b6b4fda2b33bbecfa86e992ebdd7ab94d8a79b..3b7680cddcfc8b895cbfe439f94eb28b81d22f6e 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 0000000000000000000000000000000000000000..149aad64730e30f513edc3ff206f333ade0c5009
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..fc856e2738822b23f5b14087e4a26c0934e4883b
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..66a04329d552c0c7678e8dc28b453295e19b40c1
--- /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 0000000000000000000000000000000000000000..9b9dd73cdde79232f55d89b0e33a1e8ea11eebe6
--- /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 0000000000000000000000000000000000000000..6aaabcf12c99798a2838a0b6c593a0fad180120e
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..3c39248d15cf0a268a899e96305c25d6d5248aa9
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..470c039db2d40d04bb27606d15503542691d6d45
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..34d877002483e2002e3cd85d42035baebb81c2d3
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..136c80589107023f442528403593e8506a3a23a7
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..84ef69924f267e9b22e1608d8f80b5aedca1a170
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..e9fe551c0793000e25ca959126b0c699f3b81845
--- /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 0000000000000000000000000000000000000000..5e4f07d43501e68054b903224bb5a4ce5a52a3e3
--- /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 0000000000000000000000000000000000000000..3a7ff071cfe39bab99cc60ce7aaeffd0fba8fda0
--- /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 0000000000000000000000000000000000000000..3bbfb6f60e643a841d5a5981ab178110323c5f50
--- /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 0000000000000000000000000000000000000000..14dad2ffdcfb73fb8f8af1c690537f8129354e3d
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..d557f491ce476d1e88281bec3b3e3478f6144a9f
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..8a7fb511a0960d40cdef7da8dc7ef5e633968cd5
--- /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 0000000000000000000000000000000000000000..fb20bc44e19245ef320f5c6e6ea02a515cc4f970
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..a47637a66dcc74161bf1cc32632bc66708f5e158
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1214fd4958e689f6c3d2eaae45477953c2b7a026
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..b2d32a246e83a8ae402384b748e2db85e7559574
--- /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 0000000000000000000000000000000000000000..0c479d6a298cf859b26f94df65c6fad99eb4ff15
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..0d5529422a52a6d7f1e6395611def10997f5457b
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..456da8875c2bc6ca6a31901f40cdb8c474d96ee7
--- /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 0000000000000000000000000000000000000000..98b3b31cabbe9102f256329c96e53215c62952bf
--- /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 0000000000000000000000000000000000000000..2440d91bf4a6929d09ae92f55470e4c804065071
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..16d74aa05fb7085adba575a4bdfc595e8e2044f2
--- /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 0000000000000000000000000000000000000000..5e14c911f23ea27fc086dc7cefeda63a7603463f
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..38945a7f9cd587502f8c17cfcf1c7d1ba699c6af
--- /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 0000000000000000000000000000000000000000..c8411850f64adbaeefe669377ffbed7b4bc313de
--- /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 0000000000000000000000000000000000000000..2294df6df0ddbbd9d4662ed4970b49eb0198bb57
--- /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 0000000000000000000000000000000000000000..49683d40c85bbd4a00032895fa8b771ca0b84967
--- /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 0000000000000000000000000000000000000000..98b3b31cabbe9102f256329c96e53215c62952bf
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..6e0edc58cb81b6c2fb1b61d879c204e8b3a1fed9
--- /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 0000000000000000000000000000000000000000..e8ac80c6c710bcbf41a95c5fc542380f24b0a391
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..395bad85be4e3cdc73a7e77ddbc675323238dd9d
--- /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 0000000000000000000000000000000000000000..5ab3d82a5d0d00c901f3f3c208ea19bd70be09b1
--- /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 0000000000000000000000000000000000000000..b6e50c781e391cbb09e67837be8b1d5b72f89930
--- /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 0000000000000000000000000000000000000000..c26e096c07434d80237545c1b31110282b9ec0c7
--- /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 0000000000000000000000000000000000000000..2b6d82c9b25a3b65bdb0aab23b8763d9f71a1baf
--- /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 0000000000000000000000000000000000000000..a5103534660b2fa931b3a15f89971b04eb94e0f5
--- /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 0000000000000000000000000000000000000000..93a9efa190906b9aac8738987cec3248759f5c58
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..7c812d35a6eff03821cbf1cd5899b11b382b8e56
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..d7caa93d0af166efbb9a1ff55f3ad2d438cc8f31
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..6cc392b765ddac8b750ecd7dd4f0ec3267ee612f
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..425298724772095af1a046ddcc9bcd1e8da694c9
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..62a550a2d79fb3b5b3ea332992abdd1bfd5209dd
--- /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 0000000000000000000000000000000000000000..3a3885657e09337edd9aa4b9ffc35d9b99a38cd3
--- /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 0000000000000000000000000000000000000000..2aaf4d5677529c71dfe975c1f94d86a5f19221f8
--- /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 0000000000000000000000000000000000000000..cf6ff93510d0f2e7c7a247d790c8c70d404241bc
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..7ecffecfd238257a3409c54f9cef72ac868c2cd5
--- /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 0000000000000000000000000000000000000000..836ea70620c2f244fe75ba356231281687999390
--- /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 0000000000000000000000000000000000000000..f662f5e354aa34f60ca5edbc80ab6a85b6897d86
--- /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 0000000000000000000000000000000000000000..538d87811f346409d6a1f2301bb0b8e9a426d4c4
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..77f8b64a4967550a52fd1f8ae0acb92aac4550aa
--- /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 0000000000000000000000000000000000000000..f8868789e6c83364902864095ac04999f6fe9b85
--- /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 0000000000000000000000000000000000000000..7fdf8176149f52cfd06939ce8cce42e4925f9e98
--- /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 0000000000000000000000000000000000000000..05a786c4442fbb04b74dbbfd9f914a0bf3f87ede
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..dde6aa52bf8bbf7e5050859b3b16f043db35617a
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..7bdf3bc12db76f57dc75a1aaf393ad719ab06f5a
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..e29c06c180c25f7e6f2955b9010f484fa478c90b
--- /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 0000000000000000000000000000000000000000..c3b5a8ea825b2f3325cf014bd1dd55b557152026
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..a90bf3473a9dcbc40fafaf36ca5787b07d7129a1
--- /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 0000000000000000000000000000000000000000..7bb57f7808b61e9ce2f4085e1ab0b860fb519bfa
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..a2a52a83dd51535a91712fc1dd1410298b8f6e84
--- /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 0000000000000000000000000000000000000000..14564db6aa7249b90376a5f6c74e58ac02e73555
--- /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 0000000000000000000000000000000000000000..77f8b64a4967550a52fd1f8ae0acb92aac4550aa
--- /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 0000000000000000000000000000000000000000..d0ae978cfc82635ccfb45e3ec2081f1c0efe5703
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..72dce852dcee708ffa826ed9df7c8b1aa2dc5792
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..f33dafdcb882c939670bb4c53da5ee2a83ef14c3
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..9c9e98636db62634e6fdc1568de86952f3c15441
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..235bbc25e81fd496c2044da17c04e9e69fa4949c
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..93a9efa190906b9aac8738987cec3248759f5c58
--- /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 0000000000000000000000000000000000000000..e97c6ad0e36f1d5f70a3b30efca2899c0f628ead
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..34c2e49a3400dcea8d3dacce60fa9fc2d4596fbb
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..b0f912a85b83e8aefb6bedffd5d09e2946116dfa
--- /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 0000000000000000000000000000000000000000..4b35cae1c76303c3cfb1e9760bd2b998314b9600
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..bbbcf0b16c642d306f0dacc40599a9ada8ba37e8
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..17cdfe5608d454430383c429f48b669b8f9c4bcf
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..87021a520d0906e96cc93a9b966d59636ba626d4
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..d6f652853df828930e77efd52076dfda6e8b19a2
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..d70c0b943825822228a1f4d01e7b4da2ce637cea
--- /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 0000000000000000000000000000000000000000..395bad85be4e3cdc73a7e77ddbc675323238dd9d
--- /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 0000000000000000000000000000000000000000..648bf2baa49dfed4f2c1331f8eb281e3e761c098
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..625315a628ac682651d931f29413805bda1e6630
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..07935ffc3d1bc43dbb0b77d75cc46b6e0dc0e641
--- /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 0000000000000000000000000000000000000000..7bdf3bc12db76f57dc75a1aaf393ad719ab06f5a
--- /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 0000000000000000000000000000000000000000..16d74aa05fb7085adba575a4bdfc595e8e2044f2
--- /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 0000000000000000000000000000000000000000..319754e8b21eb5a38261d6195120b3ff6fcbaa9a
--- /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 0000000000000000000000000000000000000000..12e5b67e645fc32e6fb913423295540064ccb185
--- /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 0000000000000000000000000000000000000000..42bf28b01887b6e2587fa922a2aecea24c8819f2
--- /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 0000000000000000000000000000000000000000..410025d7e16f6cbd383905ee9617b9fee0389dfc
--- /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 0000000000000000000000000000000000000000..a4c767a33070dc92a0bc8eab32fdc7203fe51e89
--- /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 0000000000000000000000000000000000000000..bed300f5b546925c1229919394b40e845a1c25d0
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..c3b5a8ea825b2f3325cf014bd1dd55b557152026
--- /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 0000000000000000000000000000000000000000..1e4337aaa87869f8d14bcb8825a0dae15099394c
--- /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 0000000000000000000000000000000000000000..76f170be9d6cea5ad4e4a8ccbbcb3ce041a2d9c8
--- /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 0000000000000000000000000000000000000000..7f9393ac4c218c814908883eb6eba2d009f72ad4
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..8d70030107bbff490f8c0b10229b372bd00e8123
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..012ff9cefe575c07e651afc08aa6177c6de0f837
--- /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 0000000000000000000000000000000000000000..8165bb583960908be459deb5ecd09ee2376daa82
--- /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 0000000000000000000000000000000000000000..0830ecbf6cc2d49ed58c1eb1e92d3b0207c69db8
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..2b7faf0d60551690162db345f884942a71b3e8ec
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..781d0a338985174717cd2df5e50f9d6a8effbc9f
--- /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 0000000000000000000000000000000000000000..8f58534ac3c87d5ee512a47882e7a6993ff4d2b0
--- /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 0000000000000000000000000000000000000000..d557f491ce476d1e88281bec3b3e3478f6144a9f
--- /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 0000000000000000000000000000000000000000..b2798dd838efef690f05ceeddf41572823e5dace
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1df3549e8dc8e6847a4b619b50eda460b459ab19
--- /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 0000000000000000000000000000000000000000..e954fe97b67fb5f2a54fa37cb512a0be883271f4
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..10f0fcce4b617e78e56d4d23cb35488df1d0346e
--- /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 0000000000000000000000000000000000000000..f6c8a55f15bd256cd3be6e7d33229be2b23a4a47
--- /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 0000000000000000000000000000000000000000..2d82665a57f5a1e20b2f8bd42e98fe71a8220be7
--- /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 0000000000000000000000000000000000000000..67903678ea19ae36e386354d02e1c3ee4cecd3a7
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..060760309c72e580cbfcb1afa932593f07e42474
--- /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 0000000000000000000000000000000000000000..fe8201e3eb6e3a9536a597c76a98b26e5bd9973b
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..342f850d71c1c76533e222d931c28478711d84f9
--- /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 0000000000000000000000000000000000000000..cd152648c6e81e64cbf62b086e38bbd07ebf84df
--- /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 0000000000000000000000000000000000000000..58623a9d504bfad1e281b78df7e0e1d7a01f384d
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..6cd53fa5e4dc955a5fd456d12f0bf1374fe48607
--- /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 0000000000000000000000000000000000000000..0fc423746a488f74517ced19a294ea35aa6d420f
--- /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 0000000000000000000000000000000000000000..0315ef7ee8170f9a8115fcaf1175d1c5e9df552e
--- /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 0000000000000000000000000000000000000000..70f062dc5d18d661c10f971d31d70f1ff8e8fb29
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..92ae19cffb0cc1bf23b6400d3c7efe195892a909
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..35ee9b59326d810103e131f5cc397041bc8dd272
--- /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 0000000000000000000000000000000000000000..c6931cfb5cebf99b9a41632db5fbbca107d90135
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..d0ae978cfc82635ccfb45e3ec2081f1c0efe5703
--- /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 0000000000000000000000000000000000000000..3e72a803a7f269abd2cb567be0d3d9c7d554ca00
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..136c80589107023f442528403593e8506a3a23a7
--- /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 0000000000000000000000000000000000000000..ee0d66fb0bf8771819030c600ae8cee9d95d3425
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..98b3b31cabbe9102f256329c96e53215c62952bf
--- /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 0000000000000000000000000000000000000000..6734674bddf06eb8e1599d1416894c6bfafd5895
--- /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 0000000000000000000000000000000000000000..9af364da39764fdad54be3f25709ee710dcb0051
--- /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 0000000000000000000000000000000000000000..16f4b7e7f23179ce2330e74710004767579cdca4
--- /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 0000000000000000000000000000000000000000..658192d646aba8605b1ae102637c9f4c1d5e3405
--- /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 0000000000000000000000000000000000000000..f55717c0918d280ed3cf1a391527eed44f9c6006
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..d43a804fadc53e054b81a81b59156134583f3056
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..6cf3a20904993d7f970f61d957f34652791e941d
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..369164191de1f25e121930a3d970241330c70471
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..4e33f8be90e62761b5934f4a0e8461b5b4a2ce62
--- /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 0000000000000000000000000000000000000000..c895bba550837b30d91092b64137d11f5584ff33
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..ca1c454a8201f98759252148af6f57a8dba8c8ed
--- /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 0000000000000000000000000000000000000000..60acb2e0dcce1dc3b3f7ce1f28ee9efcd028b55b
--- /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 0000000000000000000000000000000000000000..51c9e718b030b375c33bcab7855c51ef3450be6c
--- /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 0000000000000000000000000000000000000000..33e4e2405cf56ae624248ab0dcda1b1dd9507857
--- /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 0000000000000000000000000000000000000000..c5f15db4a4bd34dfb934dc5d04c26af0bd97ec3f
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..36da39de21049a83046c8ee5c6563ffd5d7b1ec0
--- /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 0000000000000000000000000000000000000000..16aa6fe6b26076513bfd831cc4cc2353fd5743f1
--- /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 0000000000000000000000000000000000000000..666767e09c44a03e2bdd8a8f817e4cb3649e2598
--- /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 0000000000000000000000000000000000000000..51c9e718b030b375c33bcab7855c51ef3450be6c
--- /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 0000000000000000000000000000000000000000..d43e4664d269d0fc5b1b91210291d9d0f7f20401
--- /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 0000000000000000000000000000000000000000..ad22c3e02643d93b044e13b6d48b8a4b68dc2a8a
--- /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 0000000000000000000000000000000000000000..f45f34e96cfc07fa9aa483666f8f95ff12146298
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..9526940ecfaac827d93f24d23a5ef731e460ae05
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..169fe198e4bc40f1438cb780e08b8147eb371c41
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..c74a03c8e14dbd067aaeec19ab1eb78e4876d60e
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..347e8b0c838f75ab929d1d380196f77e414e2f12
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..81ed35464f138fc563b4577b9790f9190a385b04
--- /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 0000000000000000000000000000000000000000..acd78f9b6de38c46b4c482f32ff194ed6367ae77
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1a1c3d7e2310ded55098fb62e8638b06489d0143
--- /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 0000000000000000000000000000000000000000..9dd3b79130ed063d4e1395767ebc986a6ac35cda
--- /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 0000000000000000000000000000000000000000..0fc423746a488f74517ced19a294ea35aa6d420f
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..ee6a4eb4e7012a3e67eaaa680d1c5bd4ea5dc189
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..136c80589107023f442528403593e8506a3a23a7
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..82dd07e4e423051c190c4c23faed622e31a05653
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..f1a5174a90b3486491ba8b09b970661db9438f54
--- /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 0000000000000000000000000000000000000000..50d6aeee757747f28ec643e1951b05f618abc54a
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..1772f520b7fd5ad474ac85c914bb466c10f3c422
--- /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 0000000000000000000000000000000000000000..b6e50c781e391cbb09e67837be8b1d5b72f89930
--- /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 }