Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
3ed09ecdf00d202e315b6bdd7dfab85231873482 | Apalache | BagBagIn | BoolTrue | True | Passed | |
143cde18c96caf6e4f9502c076a18893497bfbf2 | Apalache | BagBagIn | BoolTrue | False | Passed | |
7091f83aebd93858fba2eccbf6b11ae10dbaa6b7 | Apalache | BagBagIn | BoolFalse | True | Passed | |
7018a9a746b635fdcf0fa69bfabbca22c08c8e1d | Apalache | BagBagIn | BoolFalse | False | Passed | |
5564e274f9680cbf407956d04361a4f337ea5e19 | Apalache | BagBagIn | BoolSet | True | Passed | |
e348d5c844a69bb5dc2ec37dd4cb162319503ca6 | Apalache | BagBagIn | BoolSet | False | Passed | |
833b79106b22f7525f1733886e2e92ddbc9e496b | Apalache | BagBagIn | And | True | Passed | |
518179c800b20eee9aca88bd490459fd0cbc8ac4 | Apalache | BagBagIn | And | False | Passed | |
02d52c5e76c8c66af60036a438afef68ddee7ed5 |
TLC with reduction strategy:
|
BagBagIn | AndMultiLine | True | Passed | |
b29b6c695b83a88987a7d070767b10ff950a28de |
TLC with reduction strategy:
|
BagBagIn | AndMultiLine | False | Passed | |
a363bfa1e4f8464fc6098ff2d7c03e7bfd0f2c27 | Apalache | BagBagIn | Imply | True | Passed | |
d3277213067e39c9b4dbbce7c10a8c0884601ba2 | Apalache | BagBagIn | Imply | False | Passed | |
8ed77716c188ce2af48d077cb084042449538ff5 | Apalache | BagBagIn | Not | True | Passed | |
ede531bd35dba1539850a0c8144fc576e45f0900 | Apalache | BagBagIn | Not | False | Passed | |
4d1f84f21f82d9075fd8ec56e345d0957486dc53 |
TLC with reduction strategy:
|
BagBagIn | Or | True | Passed | |
f9a076ca0125035987754bb0572c6a21b64d2020 |
TLC with reduction strategy:
|
BagBagIn | Or | False | Passed | |
a9ef8e4229e82d3e95c44f8f5445f8678e2d68b3 |
TLC with reduction strategy:
|
BagBagIn | OrMultiLine | True | Passed | |
aba058c311292c2955a7e82a9945a195e8ba0c72 |
TLC with reduction strategy:
|
BagBagIn | OrMultiLine | False | Passed | |
8b787a28400610703f7be977959caaa8af2ce813 | Apalache | BagBagIn | Eq | True | Passed | |
9d4797c9ff549098177c9adef3e038f1cdd6d4da | Apalache | BagBagIn | Eq | False | Passed | |
c46e9e905e69f77b17f91e58d2778e6e6fc3a2d1 | Apalache | BagBagIn | Ne | True | Passed | |
0c4c103371a00c28957a591d840a05581d194cbc | Apalache | BagBagIn | Ne | False | Passed | |
07978bbb3a0b68031b1daf99196ba661154c1880 | Apalache | BagBagIn | Let | True | Passed | |
7cbfe20373528a5717db2be7ae2a890e183a8390 | Apalache | BagBagIn | Let | False | Passed | |
957a6af1154244610fb43fc7583f6ccd0b915fdf | Apalache | BagBagIn | SetEmpty | True | Passed | |
c5ef2999d749330fdd4a6217f6e732213d72ab2a | Apalache | BagBagIn | SetEmpty | False | Passed | |
5a47102a50f6a2b85e3c4fa214b8226d60f81863 | Apalache | BagBagIn | Set0 | True | Passed | |
caf95fd3ebbc088fc3dc1b20a22dcde934f55851 | Apalache | BagBagIn | Set0 | False | Passed | |
3262a04f970ace5e458f55fa4505c82582cb850e | Apalache | BagBagIn | Set1 | True | Passed | |
98f399845c7239eb480caff82f377c7fb98b3cd7 | Apalache | BagBagIn | Set1 | False | Passed | |
d909b1d86207d7d9e112ebd18be28e315a7b0c00 | Apalache | BagBagIn | Set2 | True | Passed | |
fda019148619539e565ce38d30d86dd6789b15b3 | Apalache | BagBagIn | Set2 | False | Passed | |
e7cfb5ab1b34ac2eb8d0d121366129f95b907848 | Apalache | BagBagIn | Fun | True | Passed | |
8889435974bc14c0031643203913f6478644bafd | Apalache | BagBagIn | Fun | False | Passed | |
e4f06c366f747d6c7a566cf49286bebc5f8d35df | Apalache | BagBagIn | In | True | Passed | |
6be8d7d2a9474e354eddf55f963688f3f2bfc387 | Apalache | BagBagIn | In | False | Passed | |
3bca67b07d57f1f9754b14dbdebd8ea8d7ff43cb | Apalache | BagBagIn | NotIn | True | Passed | |
e85b6fbd9f23789fc73666cdbe14d07db79a7366 | Apalache | BagBagIn | NotIn | False | Passed | |
f665a0b1ab700a5b31f777c9a65fa0e8d2efc0a9 | Apalache | BagBagIn | Exists | True | Passed | |
6d7985ce99cab1f9b198f25ecd85cc7d4577850b | Apalache | BagBagIn | Exists | False | Passed | |
e134c33198f6ac694a442fc3707de5def482a564 | Apalache | BagBagIn | Forall | True | Passed | |
5515e226bb870115e9beceb072020c73283ca1ad | Apalache | BagBagIn | Forall | False | Passed | |
9f6e7bf0066cb3f0f601c04771f6b9d088661968 | Apalache | BagBagIn | Choose | True | Passed | |
1c3848c8964456b83e041630854b23d5cfa06447 | Apalache | BagBagIn | Choose | False | Passed | |
05a78610aecd12694c116b13b0b8d73123b9e35c | Apalache | BagBagIn | Record | True | Passed | |
a7e44b92532cef0fd9dd33fb5fa1c2ff7cc8719f | Apalache | BagBagIn | Record | False | Passed | |
32770d1f474fd0824c64793da1fa37eb50f1d970 | Apalache | BagBagIn | Tuple | True | Passed | |
d23649d05f45b5c1bb3440920f7dd129cbd1685c | Apalache | BagBagIn | Tuple | False | Passed | |
fd7d0fc11000c07671dce387f991a92f94da4e8f | Apalache | BagBagIn | TupleEmpty | True | Passed | |
99e9f719fa23590c2e96925435d7bf5ec4563ff2 | Apalache | BagBagIn | TupleEmpty | False | Passed | |
2daffb1b933b69ed250dc989d8b5e6f28a430334 | Apalache | BagBagIn | FunApp | True | Passed | |
75b8eaaac068a75f78e200de325043cd4d4c990c | Apalache | BagBagIn | FunApp | False | Passed | |
ed012e88b17687f77e2e7105a87a8fb378dd9222 | Apalache | BagBagIn | Prime | True | Passed | |
184f7134205893377bfabbe7e6b37029c54d60bf | Apalache | BagBagIn | Prime | False | Passed | |
c0d2daab9b2c47a155f1139ad6f6f321d2e28894 | Apalache | BagBagIn | NumZero | True | Passed | |
caaa663acc679582890ab7fd993b04d9dd514aee | Apalache | BagBagIn | NumZero | False | Passed | |
98e15c81b0c96d8299594645259b090021e56ee2 | Apalache | BagBagIn | NumOne | True | Passed | |
7c6f62ddaabaef79e4bce3921ed7c44d65cddc4f | Apalache | BagBagIn | NumOne | False | Passed | |
bc29ed9b60098e21f424eb3564d57a79df8eb23b | Apalache | BagBagIn | NumMaxInt | True | Passed | |
4e7315e5092fe85ae3a3879cc5a0d3557d74c67b | Apalache | BagBagIn | NumMaxInt | False | Passed | |
6ef160966158b153bdadfdf589545f841a4f496c | Apalache | BagBagIn | NumUnaryMinus | True | Passed | |
469fd873e8772fffef70131ce682ef17473a5af0 | Apalache | BagBagIn | NumUnaryMinus | False | Passed | |
843e1731545f012ef607f1814af94610c5a7bfbc | Apalache | BagBagIn | NumPlus | True | Passed | |
5a7b9864360793947242fed66b983da2b790cbc0 | Apalache | BagBagIn | NumPlus | False | Passed | |
325802c817bb12df3ac166de899acb550141d912 | Apalache | BagBagIn | NumMinus | True | Passed | |
9d813d5856b6beb10a1a2efcb284c56a4f1a3d70 | Apalache | BagBagIn | NumMinus | False | Passed | |
a1a012560794169604194d8d493d7ec963b3126c | Apalache | BagBagIn | NumMul | True | Passed | |
b96f1bf603129ee8e5f7f64e7b9df1d5ee6f4c69 | Apalache | BagBagIn | NumMul | False | Passed | |
bddc41a66baab6212f20f8eccd9c3883f8978a97 | Apalache | BagBagIn | NumDiv | True | Passed | |
01d1d643779723439023c2fcca9133ac97708157 | Apalache | BagBagIn | NumDiv | False | Passed | |
29484ae07ab910e06c07628cc9da18b741f16284 | Apalache | BagBagIn | NumMod | True | Passed | |
53a2438755ee183cd697f752903bbb4747cca825 | Apalache | BagBagIn | NumMod | False | Passed | |
e6dc2bd624bc7a97e701b65b9d8df7ffa7de886b | Apalache | BagBagIn | NumPow | True | Passed | |
89c5cb065596480ed3e12dd3c32937984b44b8cd | Apalache | BagBagIn | NumPow | False | Passed | |
2c0fd16b66001d37dcaa8a1b4f11684e39f4d935 | Apalache | BagBagIn | NumGt | True | Passed | |
d7ce9358fe885c919bdfbcc4d06e50cbf7a2b73d | Apalache | BagBagIn | NumGt | False | Passed | |
211894e25d86e8636243941596656c818d3c371e | Apalache | BagBagIn | NumGe | True | Passed | |
c39d7ce45e0f6c62514d3014ca4dcc28d9e953e0 | Apalache | BagBagIn | NumGe | False | Passed | |
226f2691c8bdf2173aa1a16649dc497c576c1dc8 | Apalache | BagBagIn | NumLt | True | Passed | |
09e1c189fa451f3309dff711a5677df63d441ffd | Apalache | BagBagIn | NumLt | False | Passed | |
6001b3c708512e59a48fc8b2345e189943356cbd | Apalache | BagBagIn | NumLe | True | Passed | |
5099f3cf13eebf9ac6cc545567a93ae1b9b55379 | Apalache | BagBagIn | NumLe | False | Passed | |
daf406dd3186661c733d138c3168787fb2459f7f | Apalache | BagBagIn | DefFun | True | Passed | |
211c9bc8eb8a282ccd1d205ccded06b2d155069b | Apalache | BagBagIn | DefFun | False | Passed | |
d55b10f8b4442fdfe96b35751c5eeb23383a0491 |
TLC with reduction strategy:
|
BagBagIn | LetDefFun | True | Passed | |
7954907619a8d1e220f67b74ce0c70590f0fe9fe |
TLC with reduction strategy:
|
BagBagIn | LetDefFun | False | Passed | |
aa2ac3571b45afc09c93493e6799deb0a9769b63 | Apalache | BagBagIn | DefFunRecursive | True | Passed | |
5beb3d66e3e293a943b550c33aa2333191bbc6c4 | Apalache | BagBagIn | DefFunRecursive | False | Passed | |
f12d01241b05471bbebfc72a5948a4d5285e3fa4 |
TLC with reduction strategy:
|
BagBagIn | LetDefFunRecursive | True | Passed | |
4e073df82f2b3cc9ff83c6368dc6be42fe54a0f6 |
TLC with reduction strategy:
|
BagBagIn | LetDefFunRecursive | False | Passed | |
c1a99303af8da1bb2b7409bafb5e0a6db0e37731 | Apalache | BagBagIn | Def0 | True | Passed | |
51c6808d75d32ad5a5f6e4621ad2b33969472f7e | Apalache | BagBagIn | Def0 | False | Passed | |
99c0885221a34db80353dc044702a99b6bb9be83 |
TLC with reduction strategy:
|
BagBagIn | LetDef0 | True | Passed | |
55f386bb1d78e673eb4bf1acd7e73a8e615fcbc0 |
TLC with reduction strategy:
|
BagBagIn | LetDef0 | False | Passed | |
df22404e838522fa84244dc4c03251f4d73e23f5 | Apalache | BagBagIn | Def1 | True | Passed | |
4ff0936785a5d974dd4b73974be575ad8a2136dc | Apalache | BagBagIn | Def1 | False | Passed | |
cdf344bcef999f7707abb199725963d67b9ee6fb |
TLC with reduction strategy:
|
BagBagIn | LetDef1 | True | Passed | |
21521cc26d2a93d0b5d8c0438cfd1976d3c9dd82 |
TLC with reduction strategy:
|
BagBagIn | LetDef1 | False | Passed | |
74a300f00bb4db378359931a93f53ad14890142e | Apalache | BagBagIn | Def2 | True | Passed | |
62352e796d995a65bff58134c979cb09eab6a574 | Apalache | BagBagIn | Def2 | False | Passed | |
bc5f87e179bec62cf45396044cd4f5d2130afb3c |
TLC with reduction strategy:
|
BagBagIn | LetDef2 | True | Passed | |
1b40049e93063ae59c6e2b8537b0a5dd8201108b |
TLC with reduction strategy:
|
BagBagIn | LetDef2 | False | Passed | |
8afe768d50ddc9898acd56437d98581c99bf6d63 | Apalache | BagBagIn | Def1Recursive | True | Passed | |
bdb2a70d5071deca1c615a5ded2647150b83dddc | Apalache | BagBagIn | Def1Recursive | False | Passed | |
0446326aad8fc6a2c1f116488ab12585bb107c24 |
TLC with reduction strategy:
|
BagBagIn | LetDef1Recursive | True | Passed | |
ca4bd400745385b50298c785d458eafd83b7cb4d |
TLC with reduction strategy:
|
BagBagIn | LetDef1Recursive | False | Passed | |
26df4596c3d5cb0f9928c6df9d54c0f88a2fc7c6 | Apalache | BagBagIn | Extends | True | Passed | |
9c3b8f042db29354d5ef77e0f716390596b19eae | Apalache | BagBagIn | Extends | False | Passed | |
e8928c3fa4d85f04b8775d444077f1f8e0040cfe | Apalache | BagBagIn | ExtendsInDifferentFolder | True | Passed | |
7042902fd03458950a9f4b70bc29244197f8ca08 | Apalache | BagBagIn | ExtendsInDifferentFolder | False | Passed | |
8cb973ba615fb00c667f8346d4fd31a0037507ec | Apalache | BagBagIn | Variable | True | Passed | |
627f2f8433cb61e988d30bac0faf937e7c590966 | Apalache | BagBagIn | Variable | False | Passed | |
17ed8a59b8b9c45e7125b0c5c271705bc3d17a8e | Apalache | BagBagIn | Constant | True | Passed | |
eda87fe58e70bbec5260c1742ad31ff75d1bc67a | Apalache | BagBagIn | Constant | False | Passed | |
2ef7b2b81f4d42fc575c1f26b283d99da8896a81 | Apalache | BagBagIn | ConstantRank1 | True | Passed | |
090288f6f666b42ba5b2965cb24966be0944d25c | Apalache | BagBagIn | ConstantRank1 | False | Passed | |
ca5278e8f6d46c2d7216612302a65e9087758846 | Apalache | BagBagIn | Instance | True | Passed | |
04557dc236d315023dcb3d101deecdfe225dcaa8 | Apalache | BagBagIn | Instance | False | Passed | |
add39047cd9b81141de7c24288b06955b46eb06d | Apalache | BagBagIn | InstanceWith | True | Passed | |
ea197e0220be8319d8eb5481c956aa8cf8252334 | Apalache | BagBagIn | InstanceWith | False | Passed | |
dd56b09b9e257dade229ac2326c2b4e87fa50037 | Apalache | BagBagIn | InstanceNamed | True | Passed | |
b133b1a17474599ea85d511b519df2fdbf336ba9 | Apalache | BagBagIn | InstanceNamed | False | Passed | |
8ab1fc8f12fa42dd48db16088ea002566214c67f | Apalache | BagBagIn | InstanceNamedWith | True | Passed | |
24dad216dcdab88b6120f6323567a31683d4a7ef | Apalache | BagBagIn | InstanceNamedWith | False | Passed | |
75952b0d41cfe06947685ac9e83ac75e9b0ea290 | Apalache | BagBagIn | InstanceInFolder | True | Passed | |
92424e7c0b4f415a236dfc921c7dd383453db990 | Apalache | BagBagIn | InstanceInFolder | False | Passed | |
8098fcb706ffce8ed778b04c65db8dcf302286b1 | Apalache | BagBagIn | InstanceWithInFolder | True | Passed | |
ad48493f829a921eeb70c4c0de515aa6e8c5e997 | Apalache | BagBagIn | InstanceWithInFolder | False | Passed | |
a3994e084f61d97e7163d55bc52d8f936157efa3 | Apalache | BagBagIn | InstanceNamedInFolder | True | Passed | |
cfbd765dbcc5f9f832658210f1918e8907e0c851 | Apalache | BagBagIn | InstanceNamedInFolder | False | Passed | |
bda5293213562215ad619af8a2ca03300beff7c7 | Apalache | BagBagIn | InstanceNamedWithInFolder | True | Passed | |
2458a856284f107d37ea5d7fb9fd4680c39d448c | Apalache | BagBagIn | InstanceNamedWithInFolder | False | Passed | |
c02ff7f21f5b294f491afa2fd730eda00e576e3a | Apalache | BagBagIn | Enabled | True | Passed | |
db575cbd1d2e9d80260ad3f7438b914308c3e573 | Apalache | BagBagIn | Enabled | False | Passed | |
cfcf507393e5f792110ca2657b51dccb10198fd2 | Apalache | BagBagIn | Cross2 | True | Passed | |
e45399d7d9db542f193762c883a4fd85ce4ada9f | Apalache | BagBagIn | Cross2 | False | Passed | |
f1934fe9e426e63def2efb812355b995beda1da3 | Apalache | BagBagIn | Cross3 | True | Passed | |
29f40126ebec693f223896e37dfdf3117130c754 | Apalache | BagBagIn | Cross3 | False | Passed | |
0f9082004bf7e729ee3bc6e4ff910a003bde405e |
TLC with reduction strategy:
|
BagBagIn | FunSet | True | Passed | |
6dadd54f93317fe38d8f3bda23f1fbf046cc7b5b |
TLC with reduction strategy:
|
BagBagIn | FunSet | False | Passed | |
a930220c3b326802908d0a14575614e2f8b6d7c4 |
TLC with reduction strategy:
|
BagBagIn | RecordSet | True | Passed | |
062a35bb458173e82bf8e1b6eb8c45e71e0126f9 |
TLC with reduction strategy:
|
BagBagIn | RecordSet | False | Passed | |
5df62acae3f0b6c3d3033123e9df31aff0e7211d | Apalache | BagBagIn | SetDiff | True | Passed | |
6a7709dcdbf42df34686800812d07b1fddca769d | Apalache | BagBagIn | SetDiff | False | Passed | |
a4e6e992442117fa25f79e0374b3f8c33319f6c7 | Apalache | BagBagIn | SetUnion | True | Passed | |
5ae93dd4dd9664eb7cf2b5f9270f00a9c860e666 | Apalache | BagBagIn | SetUnion | False | Passed | |
4158d41ca92dcecf3b3aca4eaba40735195dd307 | Apalache | BagBagIn | SetIntersect | True | Passed | |
6d5b4b81b119d6f044cf505aad4aafc4cf7fd1d3 | Apalache | BagBagIn | SetIntersect | False | Passed | |
977a39be4f1846f434f2e0bc612c51fcab821770 | Apalache | BagBagIn | SubsetEq | True | Passed | |
e60294d7972a593849e86fd901ca4b1f6f5188bd | Apalache | BagBagIn | SubsetEq | False | Passed | |
fbab098ffa0bcb5e73257331c8fe8ba71147f401 | Apalache | BagBagIn | IfCond | True | Passed | |
0a8cba3fd9888e7c714985d66c8ed5fe4ddb6d6f | Apalache | BagBagIn | IfCond | False | Passed | |
e6d90164e4b32033c73891417dd463c9220700d6 | Apalache | BagBagIn | IfThen | True | Passed | |
22bec79cef5bfb02b5ebad132dde195d7d793b6a | Apalache | BagBagIn | IfThen | False | Passed | |
39f8495d4c5d882d53ac7c243d4ee955642f7748 | Apalache | BagBagIn | IfElse | True | Passed | |
e2a6b1c61c796f167491b086473494dd6b92d531 | Apalache | BagBagIn | IfElse | False | Passed | |
e802afbd177e3aff33a61aeace8aaaab14b0b574 | Apalache | BagBagIn | Subset | True | Passed | |
0e3ad2d68bb594bdd71dfcfe6284426b60d6854f | Apalache | BagBagIn | Subset | False | Passed | |
e1512d4ae9c46a3bbc91e903c1c157dbb7ad6bad | Apalache | BagBagIn | Domain | True | Passed | |
8080925e08c9fa5bfd182a953fc2eaba4a0cadbc | Apalache | BagBagIn | Domain | False | Passed | |
49f5118093c0ffd3b649498a265cc67c887863da | Apalache | BagBagIn | Union | True | Passed | |
e0617e080d8ae8f9d37e4f27f153c200b6d16a1c | Apalache | BagBagIn | Union | False | Passed | |
6cf7bf5d3d5e595ab3c27963de9ca8d39185bc34 | Apalache | BagBagIn | Unchanged | True | Passed | |
d39175f7310a774b6e14ab62bda6bd5f924c024e | Apalache | BagBagIn | Unchanged | False | Passed | |
f85564e659a0036992eee2a5ef0859bf910e9609 | Apalache | BagBagIn | Equivalence | True | Passed | |
61c39b516633337fdc891223f30bfc830a89d2f0 | Apalache | BagBagIn | Equivalence | False | Passed | |
ddabd25c5b86d85709b07aec837174e40e815868 | Apalache | BagBagIn | StringEmpty | True | Passed | |
287a3c59f41cb208468cb06b5aa7acf9f7541398 | Apalache | BagBagIn | StringEmpty | False | Passed | |
10b7cd012d7b478026e23b6e7035130893344272 | Apalache | BagBagIn | String | True | Passed | |
f6a7b10742d9aa03b46af1391f2f9d7d503b686a | Apalache | BagBagIn | String | False | Passed | |
9efae0eed0eecd7f34c9ad12a1118efcda4bf484 | Apalache | BagBagIn | SeqLen | True | Passed | |
eb565612430f9d5ce960957c990c770e1f867c47 | Apalache | BagBagIn | SeqLen | False | Passed | |
71f92575dc6081108edbf4b5efbdb8d6b2c9d185 | Apalache | BagBagIn | SeqConcat | True | Passed | |
8fb1bbf13028b68f66dec204420ad7ffdec7f4f1 | Apalache | BagBagIn | SeqConcat | False | Passed | |
b829c0c562b7461848f3c14e2e6651f4f0c59dbf | Apalache | BagBagIn | SeqSelectSeq | True | Passed | |
561b9c41ebf81222f84797ac5dbdcc98b1485aa5 | Apalache | BagBagIn | SeqSelectSeq | False | Passed | |
58b27f2ef6b71eabad0012e3394bb7d4e5341e34 | Apalache | BagBagIn | SeqSubSeq | True | Passed | |
fdbcb4f4a5b8f0cf0ac49760e8a204556f0c1e69 | Apalache | BagBagIn | SeqSubSeq | False | Passed | |
4fe0e18d941a1bf408a3a42dfacba1614985b67d |
TLC with reduction strategy:
|
BagBagIn | NumRange | True | Passed | |
ecb271c755ed65a90d14459557898f3c622c45d2 |
TLC with reduction strategy:
|
BagBagIn | NumRange | False | Passed | |
4b4a621e6538fc6e8702063bf455d35656ab32b3 |
TLC with reduction strategy:
|
BagBagIn | TlcSingletonFun | True | Passed | |
fbf24e4fa7d91550c2fafdb261731a560a9b86f9 |
TLC with reduction strategy:
|
BagBagIn | TlcSingletonFun | False | Passed | |
dcefd1afd839d96a1173e477b5f1dde091123767 |
TLC with reduction strategy:
|
BagBagIn | TlcExtendFun | True | Passed | |
a2c26289c174438aa81ae1f85b5c64633c2ba11f |
TLC with reduction strategy:
|
BagBagIn | TlcExtendFun | False | Passed | |
d9d437fa283da58a0de2ea8a4a874ff507ed015d |
TLC with reduction strategy:
|
BagBagIn | TlcPermuteFun | True | Passed | |
672a47cb78c47630d31e0b925aa35d5a232e7cae |
TLC with reduction strategy:
|
BagBagIn | TlcPermuteFun | False | Passed | |
c384cdacfab5a840cff06baf22e7296dcd0fd406 |
TLC with reduction strategy:
|
BagBagIn | TlcSortSeq | True | Passed | |
689f501cfac53c2b023c97d8c3608ca5f230e845 |
TLC with reduction strategy:
|
BagBagIn | TlcSortSeq | False | Passed | |
7e48827f4167b955e9b8aab82ea76609847e0d81 |
TLC with reduction strategy:
|
BagBagIn | TlcEval | True | Passed | |
eae35f41bb69f13165c18d72462cc2f192a072eb |
TLC with reduction strategy:
|
BagBagIn | TlcEval | False | Passed | |
5cfc053b2dc4af275b736a0ae2a2ab4e79a5126a | Apalache | BagBagIn | BagBagToSet | True | Passed | |
66910ba0d5682f111c9f472c0749769156222f63 | Apalache | BagBagIn | BagBagToSet | False | Passed | |
9b0ba8cd91370da10487bde5df7818c5b526308b | Apalache | BagBagIn | BagSetToBag | True | Passed | |
dbdf7666a95cf9ddfddf5b410803fafff8b3938b | Apalache | BagBagIn | BagSetToBag | False | Passed | |
a0877d32ed62a039215b9d0cfb645bf394270715 | Apalache | BagBagIn | BagBagIn | True | Passed | |
bf0abc06e55b2c726cff843e566a9c2e75c784eb | Apalache | BagBagIn | BagBagIn | False | Passed | |
6fd5dbf1d93898ea140d54d5b2002b839ea38f70 | Apalache | BagBagIn | BagEmptyBag | True | Passed | |
4fc30df8233685f783fcf44bc5547b064055fe12 | Apalache | BagBagIn | BagEmptyBag | False | Passed | |
70c7a755b1d71f82960470792e9775bf7fde87be | Apalache | BagBagIn | BagAddBag | True | Passed | |
fd517c28e9447c76e59e414f1bb00112fb0e6cda | Apalache | BagBagIn | BagAddBag | False | Passed | |
d58f664ae7121b01ab34a9c54ff21dc643312b25 | Apalache | BagBagIn | BagBagSub | True | Passed | |
f872b2dee36aea099fa9f9e4e2d8bb5ebb29586b | Apalache | BagBagIn | BagBagSub | False | Passed | |
335bfb67a2caaa7a326b42b83210f223bf266ff7 | Apalache | BagBagIn | BagCopiesIn | True | Passed | |
a9fa70648bac5ca6b512659afaba7372d0a31bcc | Apalache | BagBagIn | BagCopiesIn | False | Passed | |
d084e0e755ed8ec63690c95d3cbe8c84a3f2c1ae | Apalache | BagBagIn | BagSubsetEqBag | True | Passed | |
7b9518ace3082a876085762fe23d79312e951cb6 | Apalache | BagBagIn | BagSubsetEqBag | False | Passed | |
8e6c7abf6278b47cf352ceccf18c8a00c056cb0c | Apalache | BagBagIn | BagBagUnion | True | Passed | |
a08d6f899de4549907eb14d810832404a306de53 | Apalache | BagBagIn | BagBagUnion | False | Passed | |
d3c333b64f339f2badc57966d235630335651c5f | Apalache | BagBagIn | BagBagCardinality | True | Passed | |
576b7c85e3f215a48928f7003ddf0bae5b51b471 | Apalache | BagBagIn | BagBagCardinality | False | Passed | |
7845a717d2739117fc44fa4b7589efed6cbc0393 | Apalache | BagBagIn | BagBagOfAll | True | Passed | |
016e88634fcb7ecae75908fbdf38966806acce88 | Apalache | BagBagIn | BagBagOfAll | False | Passed | |
e8e68ce717547fea2d3cfc27b1ac7bcefb3997e5 |
TLC with reduction strategy:
|
BagBagIn | BagSubBag | True | Passed | |
9ef39de64b6f1dbc521221a1dba1f8fea04b6c1a |
TLC with reduction strategy:
|
BagBagIn | BagSubBag | False | Passed | |
0a3fab7c2e7d661ae6a08da562b563b22e56e6a7 |
TLC with reduction strategy:
|
BagBagIn | FiniteSetsIsFiniteSet | True | Passed | |
92a91e75b48a634aef3f9919d215d4402445360c |
TLC with reduction strategy:
|
BagBagIn | FiniteSetsIsFiniteSet | False | Passed | |
a80a8725a8c237830e4f8a813635bd98978b1573 | Apalache | BagBagIn | FiniteSetsCardinality | True | Passed | |
13a215dcf98f1c2117c6d1850a8992b18964a4e2 | Apalache | BagBagIn | FiniteSetsCardinality | False | Passed | |
afa9d2fd28bb33858729d7507e39955368f88e2e | Apalache | BagBagIn | SeqHead | True | Passed | |
b52a06d392c0ebf8e40400b025deb19161e54561 | Apalache | BagBagIn | SeqHead | False | Passed | |
a635d2e91aaf1d6cd0da73d99e288ccb23277834 | Apalache | BagBagIn | SeqTail | True | Passed | |
9ec4ec7e3bc8456edd3ddf0aebfe1e4deb8b7e7a | Apalache | BagBagIn | SeqTail | False | Passed | |
0183267ffeb13fa1c2e3848072a3d5908676713f | Apalache | BagBagIn | SeqAppend | True | Passed | |
7acfe93e547482ec75116e4177b20a4ea4bbd7d5 | Apalache | BagBagIn | SeqAppend | False | Passed |