Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
d968c08e71857f8be7339efc36cbbe6033844c5e | Apalache | And | InstanceNamedWithInFolder | True | Passed | |
8832c213404995a98a9989ccd37e26da8540d4d0 | Apalache | And | InstanceNamedWithInFolder | False | Passed | |
703f0c257ba37f4d70142115f8029952c24d0228 |
TLC with reduction strategy:
|
AndMultiLine | InstanceNamedWithInFolder | True | Passed | |
758351a528f92a2b056bab227ec3fc6818534282 |
TLC with reduction strategy:
|
AndMultiLine | InstanceNamedWithInFolder | False | Passed | |
13742a3850c1198806101d6fa2d46474cea59ee1 | Apalache | Imply | InstanceNamedWithInFolder | True | Passed | |
07de0713799db83152827857f5ae62e8d2fc8384 | Apalache | Imply | InstanceNamedWithInFolder | False | Passed | |
afb631b6f4cb4d7ece57b8851670d3d95aaffaf8 | Apalache | Not | InstanceNamedWithInFolder | True | Passed | |
4d6b020537dc8708774495fa228e2f3d5bc1ab0d | Apalache | Not | InstanceNamedWithInFolder | False | Passed | |
4b6df82311c3e717d993ff10373c7ec4583bee93 |
TLC with reduction strategy:
|
Or | InstanceNamedWithInFolder | True | Passed | |
fad0c81afb3afd56d84c91b3184d4ff749294edc |
TLC with reduction strategy:
|
Or | InstanceNamedWithInFolder | False | Passed | |
93980caf1643ba378d14fd4f3b54c3094b4e7e6b |
TLC with reduction strategy:
|
OrMultiLine | InstanceNamedWithInFolder | True | Passed | |
7438674fc9c578dd708330a32485bac10b22a41b |
TLC with reduction strategy:
|
OrMultiLine | InstanceNamedWithInFolder | False | Passed | |
891f099613a1a38ee50bfb305a1c131da5d7800a | Apalache | AndProp | InstanceNamedWithInFolder | True | Passed | |
2d30e5c5c6fdb339bd9169f5f981d6f708aa2ae9 | Apalache | AndProp | InstanceNamedWithInFolder | False | Passed | |
b0fe40fde623c9d9c4419ea152d80d18e8883ad4 | Apalache | Boxed | InstanceNamedWithInFolder | True | Passed | |
267f9c2cd2323c791702349101d27532af780d7f | Apalache | Boxed | InstanceNamedWithInFolder | False | Passed | |
361d956656479473db2dc99dc6539fbba8c2ead2 | Apalache | Eq | InstanceNamedWithInFolder | True | Passed | |
394a1f244d58180b378f0056fbf91b44372f6f4f | Apalache | Eq | InstanceNamedWithInFolder | False | Passed | |
1403658220fa0e3357a36856ae858a8690c328c4 | Apalache | Ne | InstanceNamedWithInFolder | True | Passed | |
d7bc0df3e50c3eee70fff86f942e888c9806876d | Apalache | Ne | InstanceNamedWithInFolder | False | Passed | |
214f3996be096f0dda0ca0212849da496504af88 | Apalache | Let | InstanceNamedWithInFolder | True | Passed | |
ae8a3cc2ceadd2d07567787649edba23bfdddfa3 | Apalache | Let | InstanceNamedWithInFolder | False | Passed | |
d799035ffde5aff0d4e24d1266506cbba7311146 | Apalache | Set0 | InstanceNamedWithInFolder | True | Passed | |
0d13bc8f96f213b52cf633b4077a953556effed2 | Apalache | Set0 | InstanceNamedWithInFolder | False | Passed | |
e4341c3c62fa74ac747a05a7f44be79ab2700a58 | Apalache | Set1 | InstanceNamedWithInFolder | True | Passed | |
974163270f17bbda7acc21661e3925ad3eb2ed0f | Apalache | Set1 | InstanceNamedWithInFolder | False | Passed | |
1866cc8069401f9f6cee854bbad97c490cb1c0cd | Apalache | Set2 | InstanceNamedWithInFolder | True | Passed | |
7843c28d532559c531cb544bf5491b6197d8e202 | Apalache | Set2 | InstanceNamedWithInFolder | False | Passed | |
7141b1537ff6c4541188914a652e8a2feb9ee009 | Apalache | Fun | InstanceNamedWithInFolder | True | Passed | |
78fc9569aa55a31df9345c2c0003ab5f6c945e97 | Apalache | Fun | InstanceNamedWithInFolder | False | Passed | |
ed2bc7282556564473617088ddec6a0676a33c6e | Apalache | In | InstanceNamedWithInFolder | True | Passed | |
fda960a2e62fa6088b07ff85e20e544c65db2d1a | Apalache | In | InstanceNamedWithInFolder | False | Passed | |
ec3df896671d6385f9d7ed82bfd506225ee54f33 | Apalache | NotIn | InstanceNamedWithInFolder | True | Passed | |
0f87fc462e2a5383a72cf32d13c84ccd3fcb719d | Apalache | NotIn | InstanceNamedWithInFolder | False | Passed | |
26186d7c39d260e1ebb11d07a35077ba3b62f4b1 | Apalache | Exists | InstanceNamedWithInFolder | True | Passed | |
30be5ae6d2881e0e0faebe4b0ebce721aa2d637c | Apalache | Exists | InstanceNamedWithInFolder | False | Passed | |
badf219896d0b63396969788e0d18c91fdebdc92 | Apalache | Forall | InstanceNamedWithInFolder | True | Passed | |
427c6a4c233dedd461eaa27556a2fbf958b14a1b | Apalache | Forall | InstanceNamedWithInFolder | False | Passed | |
e20b9f2b416f28e3c9bce29cad360a25abf83152 | Apalache | Choose | InstanceNamedWithInFolder | True | Passed | |
d9d36961d3b02fc83787835685dd20f9e143d7f9 | Apalache | Choose | InstanceNamedWithInFolder | False | Passed | |
b8ce34bc8634ae70e5aa90fef8cf9bd9c68e3105 | Apalache | Record | InstanceNamedWithInFolder | True | Passed | |
731b9c4336a5e3e75bb9bc8d3a63c58c7119d32d | Apalache | Record | InstanceNamedWithInFolder | False | Passed | |
a31cfc8235c921b5a345e3b7daa0589d9983dc89 | Apalache | Tuple | InstanceNamedWithInFolder | True | Passed | |
becf1209fec9507150f782ba9c95417f4985a998 | Apalache | Tuple | InstanceNamedWithInFolder | False | Passed | |
15521c437ffd67983a723eab82604e767a1f7399 | Apalache | FunApp | InstanceNamedWithInFolder | True | Passed | |
ae31652aa3f2b75af9b1e54919a0f0b0bfccdaf6 | Apalache | FunApp | InstanceNamedWithInFolder | False | Passed | |
a90ebc4b05d6400a56280fac4411f8b83d4c5626 | Apalache | Except0 | InstanceNamedWithInFolder | True | Passed | |
a8176914d7c8fe3b23aaa43d979bc11f63969f36 | Apalache | Except0 | InstanceNamedWithInFolder | False | Passed | |
2a12083c64837f36921160035d2cd679cf85ac66 | Apalache | Except1Fun | InstanceNamedWithInFolder | True | Passed | |
e024cc8c3539af2278052850ac9210ad866d9cbb | Apalache | Except1Fun | InstanceNamedWithInFolder | False | Passed | |
95928e27f94c094eb9b7440843b8e43033b4b28b |
TLC with reduction strategy:
|
Except1FunWithAt | InstanceNamedWithInFolder | True | Passed | |
597564e5f29a5ee3e945149f5e9ec9b05320d082 |
TLC with reduction strategy:
|
Except1FunWithAt | InstanceNamedWithInFolder | False | Passed | |
c539548b1671d3b9bc12c8d0c3592629f2ec4413 | Apalache | Except1Rec | InstanceNamedWithInFolder | True | Passed | |
ed2f00374d7ab38fcc4b629e73ed2c2fd5977e7b | Apalache | Except1Rec | InstanceNamedWithInFolder | False | Passed | |
a5c3995d0069ad6f71c9e03983ff23b68d4ad77d |
TLC with reduction strategy:
|
Except1RecWithAt | InstanceNamedWithInFolder | True | Passed | |
cbbef3ac2b224013c00f80c4021cb9fa9d43fb19 |
TLC with reduction strategy:
|
Except1RecWithAt | InstanceNamedWithInFolder | False | Passed | |
393eaea9237520171d75beddc68a24fd58609a7e | Apalache | Except2Fun | InstanceNamedWithInFolder | True | Passed | |
6761bb0a6369fed68964350d134c9d3cb4867f3c | Apalache | Except2Fun | InstanceNamedWithInFolder | False | Passed | |
7e662f52026231747462934d60e3117032d24c82 | Apalache | Except2FunTuple | InstanceNamedWithInFolder | True | Passed | |
f7a55e2a666ef4220d9fd291ad2c591e16d7b54f | Apalache | Except2FunTuple | InstanceNamedWithInFolder | False | Passed | |
b8edbe607797bda53f421d97b5a8145bb32ef006 | Apalache | Prime | InstanceNamedWithInFolder | True | Passed | |
2bba8a5f6c3ab487b66269605d2c7ae3c89725bc | Apalache | Prime | InstanceNamedWithInFolder | False | Passed | |
3bf00c96f006ec3961db2543eaa1960cd2f60440 | Apalache | NumUnaryMinus | InstanceNamedWithInFolder | True | Passed | |
66f5d46b38f5b32983c23f1afd036aa3cd162cc8 | Apalache | NumUnaryMinus | InstanceNamedWithInFolder | False | Passed | |
1739e89b6d9ea3e03c06edca429758323719d783 | Apalache | NumPlus | InstanceNamedWithInFolder | True | Passed | |
6289d16f21fb3f989befd49fbe497f0022b3df18 | Apalache | NumPlus | InstanceNamedWithInFolder | False | Passed | |
347fa86a6d74b0471e17a3f40cab60ef1d41627c | Apalache | NumMinus | InstanceNamedWithInFolder | True | Passed | |
44b389205460063f726fc0eb5a38ffe4c634bd5b | Apalache | NumMinus | InstanceNamedWithInFolder | False | Passed | |
b3000d340fe9e689178326518657fa7f1b2c85a4 | Apalache | NumMul | InstanceNamedWithInFolder | True | Passed | |
829a098331fff4a18bb28f67b75d571e30334884 | Apalache | NumMul | InstanceNamedWithInFolder | False | Passed | |
cc8a5234a722aacbd7882ac0965dd439e1dab526 | Apalache | NumDiv | InstanceNamedWithInFolder | True | Passed | |
3d445a61bcdb55ef97e089f9486cd992e90b0155 | Apalache | NumDiv | InstanceNamedWithInFolder | False | Passed | |
bf56cb660dcebad7a31f3fe97f6432cf67c42e92 | Apalache | NumMod | InstanceNamedWithInFolder | True | Passed | |
f0a82b702c7acee514958317a730b594bdf516d1 | Apalache | NumMod | InstanceNamedWithInFolder | False | Passed | |
b275651657430582c7a8f7d51a117778606d17ba | Apalache | NumPow | InstanceNamedWithInFolder | True | Passed | |
ccbcff1b29f22b174e62c7a2d4cbc57a42151970 | Apalache | NumPow | InstanceNamedWithInFolder | False | Passed | |
7764fdba1d4ca4830d62fc3300f2b5ec6e154312 | Apalache | NumGt | InstanceNamedWithInFolder | True | Passed | |
e275f25c9eb24a6a750abd14291649b8e29e0cc3 | Apalache | NumGt | InstanceNamedWithInFolder | False | Passed | |
0c5261ec20b5b0608506e906c4812c33c0c22f7b | Apalache | NumGe | InstanceNamedWithInFolder | True | Passed | |
9d016585559be50b0760a1f75868a5efcf9a602c | Apalache | NumGe | InstanceNamedWithInFolder | False | Passed | |
66441b9a4843a7e531870444f5b44fc89a3907c3 | Apalache | NumLt | InstanceNamedWithInFolder | True | Passed | |
dfeef7f3a6bd6dac6c07a34c699e5ca957a2a851 | Apalache | NumLt | InstanceNamedWithInFolder | False | Passed | |
cf205564eef3732e9f4be2ab7b6b44de88919daf | Apalache | NumLe | InstanceNamedWithInFolder | True | Passed | |
eac2d3096eb0262d26fde963cde1db67b0297f64 | Apalache | NumLe | InstanceNamedWithInFolder | False | Passed | |
86911060b80f7a5b1cb635967f749e3eb6c1c148 | Apalache | DefFun | InstanceNamedWithInFolder | True | Passed | |
4630f68317bcbd23bfdf79f452adf93daf9a5f41 | Apalache | DefFun | InstanceNamedWithInFolder | False | Passed | |
a47b83ef0278f896de98cfffa016fe79b51dc3a4 |
TLC with reduction strategy:
|
LetDefFun | InstanceNamedWithInFolder | True | Passed | |
0f8e69b2ca94bb368efa59140851f49b919560ca |
TLC with reduction strategy:
|
LetDefFun | InstanceNamedWithInFolder | False | Passed | |
6552501a540f4af8b846f6129f63da962331870f | Apalache | DefFunRecursive | InstanceNamedWithInFolder | True | Passed | |
781f3ca0440fd257a531ce1bdb396450b4befcf6 | Apalache | DefFunRecursive | InstanceNamedWithInFolder | False | Passed | |
88ffc75a8d8057289ae897a2ec56e2ae7cd922d8 |
TLC with reduction strategy:
|
LetDefFunRecursive | InstanceNamedWithInFolder | True | Passed | |
96bfe33fc38b18511d5b6dc8bd2ee8a2ad0c1efe |
TLC with reduction strategy:
|
LetDefFunRecursive | InstanceNamedWithInFolder | False | Passed | |
91dfac4ee57be3bb22454cbf369b531efb90b1d9 | Apalache | Def0 | InstanceNamedWithInFolder | True | Passed | |
0cafaf0e208459bef4c97be233a1e7e82a96a17f | Apalache | Def0 | InstanceNamedWithInFolder | False | Passed | |
0313b6ce0e7899e1a9dedaaad97c4bbec76afbeb |
TLC with reduction strategy:
|
LetDef0 | InstanceNamedWithInFolder | True | Passed | |
7194bdd9ae2406eb8c6d4ead222b6dc42b9b73f6 |
TLC with reduction strategy:
|
LetDef0 | InstanceNamedWithInFolder | False | Passed | |
2ccde5feda1337be9e83557c93ca86408883d72d | Apalache | Def1 | InstanceNamedWithInFolder | True | Passed | |
47b5bc8d89308244479804671625f239f709760d | Apalache | Def1 | InstanceNamedWithInFolder | False | Passed | |
217a1cbb873c79302d54b784b4522a4c33c974d0 |
TLC with reduction strategy:
|
LetDef1 | InstanceNamedWithInFolder | True | Passed | |
c66bb37b7ef75cc7ce8f8da2baee0cccf19aba83 |
TLC with reduction strategy:
|
LetDef1 | InstanceNamedWithInFolder | False | Passed | |
07eb2e0cd6c7994fc29b65a72ab1175036adb035 | Apalache | Def2 | InstanceNamedWithInFolder | True | Passed | |
915202f38b696f86946f0b61b42288f8b6f4a83d | Apalache | Def2 | InstanceNamedWithInFolder | False | Passed | |
5c814f88a2ccc6a7e68181d36820412718ca08f3 |
TLC with reduction strategy:
|
LetDef2 | InstanceNamedWithInFolder | True | Passed | |
c8dc246365c6725ab30b79dc52bb00f3cdac0ac1 |
TLC with reduction strategy:
|
LetDef2 | InstanceNamedWithInFolder | False | Passed | |
9f7d1a90dec5d11299705f59293ceaed674b23a6 | Apalache | Def1Recursive | InstanceNamedWithInFolder | True | Passed | |
74855f265003c08c7f805ce4988cddb1238d4974 | Apalache | Def1Recursive | InstanceNamedWithInFolder | False | Passed | |
22a86ef1c46d56f4c3e61d80208f4b68720b489a |
TLC with reduction strategy:
|
LetDef1Recursive | InstanceNamedWithInFolder | True | Passed | |
863dcd8a42b04bac34f4947e4688675ab478d59c |
TLC with reduction strategy:
|
LetDef1Recursive | InstanceNamedWithInFolder | False | Passed | |
582d4a67e868e233c7801af15753aa47e5bd4e90 | Apalache | Extends | InstanceNamedWithInFolder | True | Passed | |
f62b248d9d7f2eff3ad9164b8bff6da589e53d49 | Apalache | Extends | InstanceNamedWithInFolder | False | Passed | |
8aeccdcbc1712847981c427f302e18e0c3e05fd8 | Apalache | ExtendsInDifferentFolder | InstanceNamedWithInFolder | True | Passed | |
00cfdd6d8ae80eb65a9e914059960fb2ba620ada | Apalache | ExtendsInDifferentFolder | InstanceNamedWithInFolder | False | Passed | |
6229c54f24a829138aa84a95c52f65f96c9b92d3 | Apalache | Variable | InstanceNamedWithInFolder | True | Passed | |
e9e3348090f409f7b9777abf4af1b289dd46db85 | Apalache | Variable | InstanceNamedWithInFolder | False | Passed | |
9c25c7199dea49c7fa0eeda93d72368d78a1278e |
TLC with reduction strategy:
|
VariableViewExclude | InstanceNamedWithInFolder | True | Passed | |
3bbac0ab59bebbb579533a51c76fae3b3e60c188 |
TLC with reduction strategy:
|
VariableViewExclude | InstanceNamedWithInFolder | False | Passed | |
8c24eb12313b3b1386cdbf4cfc17e57885d22fa7 | Apalache | Constant | InstanceNamedWithInFolder | True | Passed | |
a9f39d770f2f55ea6d1e101ee4dec032796d5d91 | Apalache | Constant | InstanceNamedWithInFolder | False | Passed | |
6f269942f6d5f85fb7773590cbe54b451da13e64 | Apalache | ConstantRank1 | InstanceNamedWithInFolder | True | Passed | |
8559ea61511115893495b8a8d2c5482077e58480 | Apalache | ConstantRank1 | InstanceNamedWithInFolder | False | Passed | |
7015d96abe28b4e7366273da278def5aa92c5d4f | Apalache | Instance | InstanceNamedWithInFolder | True | Passed | |
c6fb8daa095eb3153f63b0b068069e2b6291d674 | Apalache | Instance | InstanceNamedWithInFolder | False | Passed | |
52668e094e5e3eb24b0b297b868d2d2ca0369917 | Apalache | InstanceWith | InstanceNamedWithInFolder | True | Passed | |
5732f918a0752af9b9e6a870158b6de7e0acbe8e | Apalache | InstanceWith | InstanceNamedWithInFolder | False | Passed | |
777ce5ea67f83110e58836a3287878b18c5b7069 | Apalache | InstanceNamed | InstanceNamedWithInFolder | True | Passed | |
ef2296b5ed1ccef843a9ba30ad258a843d13147a | Apalache | InstanceNamed | InstanceNamedWithInFolder | False | Passed | |
bff94c8ea147bc23d6cc30208fa02885f27baeff | Apalache | InstanceNamedWith | InstanceNamedWithInFolder | True | Passed | |
3318b8caa4320ff6ad9f1cdb585acd70e4ba1af7 | Apalache | InstanceNamedWith | InstanceNamedWithInFolder | False | Passed | |
63f4248f61d4d963fd75c31c59c0fffaa1d9352f | Apalache | InstanceInFolder | InstanceNamedWithInFolder | True | Passed | |
1c4a53adfcc7131c4fd009f8199de38ed9d3ed99 | Apalache | InstanceInFolder | InstanceNamedWithInFolder | False | Passed | |
911b959439a34a0971ccf15d61157d50564c638d | Apalache | InstanceWithInFolder | InstanceNamedWithInFolder | True | Passed | |
95bbe0457984bdce130f0595b96c01d92661c9fa | Apalache | InstanceWithInFolder | InstanceNamedWithInFolder | False | Passed | |
bb9f21d1cf3343f9ab0614baa4d3fed70e6a6398 | Apalache | InstanceNamedInFolder | InstanceNamedWithInFolder | True | Passed | |
50ff97fccdd57f9da6c5359c87f7ea8aae94afb6 | Apalache | InstanceNamedInFolder | InstanceNamedWithInFolder | False | Passed | |
4bc8412a36fe196fb270cc56fd19b664eadb7922 | Apalache | InstanceNamedWithInFolder | InstanceNamedWithInFolder | True | Passed | |
4b120dbacb6ea66a3f576179eea1d21af07a3d3d | Apalache | InstanceNamedWithInFolder | InstanceNamedWithInFolder | False | Passed | |
dfe99a51549323cdb072195a019664929f912f2f | Apalache | Enabled | InstanceNamedWithInFolder | True | Passed | |
b1d3637d385cbf7708dd9fcce22261deaa4ebfcf | Apalache | Enabled | InstanceNamedWithInFolder | False | Passed | |
c1ce983b9051e8ad53d279cbf840461fede0b36f | Apalache | Assume | InstanceNamedWithInFolder | True | Passed | |
5cf737cb97e02ef4fbc5c00048ce2073a3777305 | Apalache | Assume | InstanceNamedWithInFolder | False | Passed | |
dbbece57ffb031c1918239ec2a7b03ddbee74259 | Apalache | AssumeNamed | InstanceNamedWithInFolder | True | Passed | |
78d10776f2215827ac781b2bdead2865cd3cd1f2 | Apalache | AssumeNamed | InstanceNamedWithInFolder | False | Passed | |
2617267928950c16d62404c430b31040da9002c4 | Apalache | Lambda | InstanceNamedWithInFolder | True | Passed | |
defe866cb13c185d3a26a0b76cc0556beb17f9ae | Apalache | Lambda | InstanceNamedWithInFolder | False | Passed | |
ae2ae7277f82b3dd12fa702a5191b30d2f7ccb42 | Apalache | Cross2 | InstanceNamedWithInFolder | True | Passed | |
831de61374e4c507bd073d37dd4b5c270ba9731b | Apalache | Cross2 | InstanceNamedWithInFolder | False | Passed | |
042b1ee7ddd715bdcbd61463abba3d0702bd962a | Apalache | Cross3 | InstanceNamedWithInFolder | True | Passed | |
82ecc3bbd9ad48aeed31930f2f49cc9530a561e9 | Apalache | Cross3 | InstanceNamedWithInFolder | False | Passed | |
f276f5bd29ac11b1f8c231bb591038c3fe7cbc8d |
TLC with reduction strategy:
|
FunSet | InstanceNamedWithInFolder | True | Passed | |
72c91c249deb5cb80961bfc72dc7b49b8b8d3a74 |
TLC with reduction strategy:
|
FunSet | InstanceNamedWithInFolder | False | Passed | |
b11e1cd22efa62ade07ebe3056cee4e6c593a322 |
TLC with reduction strategy:
|
RecordSet | InstanceNamedWithInFolder | True | Passed | |
e4b4533243e513c2c17b5d606dbada870925c014 |
TLC with reduction strategy:
|
RecordSet | InstanceNamedWithInFolder | False | Passed | |
679f7d5ac3be6564f59c30ae495d89588a5c48ac | Apalache | SetDiff | InstanceNamedWithInFolder | True | Passed | |
31f481e899ad64fc8a604190321cc1b2cac08315 | Apalache | SetDiff | InstanceNamedWithInFolder | False | Passed | |
37d9add65a8d5e12eec2da6127018cd210bc872d | Apalache | SetUnion | InstanceNamedWithInFolder | True | Passed | |
b73713dd10947fee0fd2c17654d02337268c7d61 | Apalache | SetUnion | InstanceNamedWithInFolder | False | Passed | |
91e4f5022a66b76ed73d9a1b2248e213630c2deb | Apalache | SetIntersect | InstanceNamedWithInFolder | True | Passed | |
92367ac426f7339033615de1d7584b8e43c9fbee | Apalache | SetIntersect | InstanceNamedWithInFolder | False | Passed | |
eabd42589898d3cf7cd6fa04543bb9d01e3efa45 | Apalache | SubsetEq | InstanceNamedWithInFolder | True | Passed | |
fd9bd760a5e18d1c76392d85c590a00f8c29a3cb | Apalache | SubsetEq | InstanceNamedWithInFolder | False | Passed | |
06cd57a3317051c2512b32e2e1d76d56f22a5049 | Apalache | IfCond | InstanceNamedWithInFolder | True | Passed | |
22f935635593fa986123a1bea902fe74981c510d | Apalache | IfCond | InstanceNamedWithInFolder | False | Passed | |
7dfae994be4073877c67f12b3c0dd9857ef41f13 | Apalache | IfThen | InstanceNamedWithInFolder | True | Passed | |
7c0965980d84aa60af4eded30398bb4f82e2a635 | Apalache | IfThen | InstanceNamedWithInFolder | False | Passed | |
998d9e6b7e343785ca44bed9b18f9afb0bf4608b | Apalache | IfElse | InstanceNamedWithInFolder | True | Passed | |
e81119c2ceefdf8ce2847b818adffb4435fdceb1 | Apalache | IfElse | InstanceNamedWithInFolder | False | Passed | |
dc81f92751a76e5b539bf667cdcee7a9f60361db | Apalache | Subset | InstanceNamedWithInFolder | True | Passed | |
5f6ec5e0af09cfadc7cab054c42f517bd5282de8 | Apalache | Subset | InstanceNamedWithInFolder | False | Passed | |
c179b4325969d9f56406306c31da64a50f1a6d25 | Apalache | Domain | InstanceNamedWithInFolder | True | Passed | |
4b02842e7b7a28c8256f55c405e5c8920f2a22bd | Apalache | Domain | InstanceNamedWithInFolder | False | Passed | |
2be354829895a975a3c3d09d231ee4ab15c86743 | Apalache | Union | InstanceNamedWithInFolder | True | Passed | |
dd6c8a1bcc96913650dc1e0c047636fb24d2f437 | Apalache | Union | InstanceNamedWithInFolder | False | Passed | |
3dd60b73c76ce3c1956b86530fa9cb9d1912ca44 | Apalache | Unchanged | InstanceNamedWithInFolder | True | Passed | |
dce637e7838bc6c6bfc32df67437264f8acea86a | Apalache | Unchanged | InstanceNamedWithInFolder | False | Passed | |
341fdfac386fa5075b887cbd99aa7ee915f6f9ef | Apalache | Equivalence | InstanceNamedWithInFolder | True | Passed | |
3e02a585c8882e1cac2ed27f423d719a93f79106 | Apalache | Equivalence | InstanceNamedWithInFolder | False | Passed | |
2e01cc0793da1fb560440470ddf9b012f62e2e78 | Apalache | SeqLen | InstanceNamedWithInFolder | True | Passed | |
a6c4cdadfc5569c6ef0826eb68fde12df6f30f5d | Apalache | SeqLen | InstanceNamedWithInFolder | False | Passed | |
b800ca05a5b71c11feb6707b377104a721d18903 | Apalache | SeqConcat | InstanceNamedWithInFolder | True | Passed | |
f2cc5c35269ff3dcec7a45ba78ddccb7c6c35804 | Apalache | SeqConcat | InstanceNamedWithInFolder | False | Passed | |
a395326bb0630f1d1b8c04914018aea299eba6d3 | Apalache | SeqSeq | InstanceNamedWithInFolder | True | Passed | |
b651d9ca114d822ff26c9d9e2d070515f43adb87 | Apalache | SeqSeq | InstanceNamedWithInFolder | False | Passed | |
9e6e78bcd5a4a95bee5113ff3e0427bd3e7fefea | Apalache | SeqSelectSeq | InstanceNamedWithInFolder | True | Passed | |
278a17df44df0baa6b579e4972cd1a108e29b750 | Apalache | SeqSelectSeq | InstanceNamedWithInFolder | False | Passed | |
9baf57751678527fc8209e583dd384442c5b57ca | Apalache | SeqSubSeq | InstanceNamedWithInFolder | True | Passed | |
f4aa53be0486ad32811fd89144efa17cf07f2060 | Apalache | SeqSubSeq | InstanceNamedWithInFolder | False | Passed | |
b743b0ca451ce23e36830fdcf6541a4a2688391c |
TLC with reduction strategy:
|
NumRange | InstanceNamedWithInFolder | True | Passed | |
806ee843dbaaedf4e180ceb229fc65c1596b8502 |
TLC with reduction strategy:
|
NumRange | InstanceNamedWithInFolder | False | Passed | |
f7248deb81fe2a93468470966e7dc46cbf0d84a6 |
TLC with reduction strategy:
|
TlcSingletonFun | InstanceNamedWithInFolder | True | Passed | |
223f647a310f6d5277d60e0952a0ff48d2567b62 |
TLC with reduction strategy:
|
TlcSingletonFun | InstanceNamedWithInFolder | False | Passed | |
4ba885f3c4c82b324276bf02eca0b071727a644a |
TLC with reduction strategy:
|
TlcExtendFun | InstanceNamedWithInFolder | True | Passed | |
dabbefc9f12edc7dcd82d02e122e5ddf3e52aa4b |
TLC with reduction strategy:
|
TlcExtendFun | InstanceNamedWithInFolder | False | Passed | |
8faddf1a8a389e2d34b25d5b871b34a154fb5882 |
TLC with reduction strategy:
|
TlcPermuteFun | InstanceNamedWithInFolder | True | Passed | |
d58e56b01e8a555703195db4d7af62498ef7065c |
TLC with reduction strategy:
|
TlcPermuteFun | InstanceNamedWithInFolder | False | Passed | |
7510228c08b13490698d9fbaedd58255f72c8133 |
TLC with reduction strategy:
|
TlcSortSeq | InstanceNamedWithInFolder | True | Passed | |
42a0f2b5f3838907521045526fdaa47a1326cda5 |
TLC with reduction strategy:
|
TlcSortSeq | InstanceNamedWithInFolder | False | Passed | |
087c97aa7b3a0c8acd5f9e6bdc42b6d04d74d5b2 |
TLC with reduction strategy:
|
TlcEval | InstanceNamedWithInFolder | True | Passed | |
2bed4b02ed69eccc14491a9eb98c2c8589be3718 |
TLC with reduction strategy:
|
TlcEval | InstanceNamedWithInFolder | False | Passed | |
7f74e37bc36a2a5d6cef3e3241c37af052ff2ce1 | Apalache | BagBagToSet | InstanceNamedWithInFolder | True | Passed | |
9945014a367ea3f4fa876bce9a5ab999c5b1ff49 | Apalache | BagBagToSet | InstanceNamedWithInFolder | False | Passed | |
259dd23df6b85037f93fb70d79b6b4a2904853b4 | Apalache | BagSetToBag | InstanceNamedWithInFolder | True | Passed | |
79dfb6e0e11db3ada5c44e4cedeb5a704bef4867 | Apalache | BagSetToBag | InstanceNamedWithInFolder | False | Passed | |
bda5293213562215ad619af8a2ca03300beff7c7 | Apalache | BagBagIn | InstanceNamedWithInFolder | True | Passed | |
2458a856284f107d37ea5d7fb9fd4680c39d448c | Apalache | BagBagIn | InstanceNamedWithInFolder | False | Passed | |
5b77c03759f5867f52f12a40ea29e27e991368d8 | Apalache | BagAddBag | InstanceNamedWithInFolder | True | Passed | |
ebebd20b51fd4261d38dc67a3393899e3941b8ca | Apalache | BagAddBag | InstanceNamedWithInFolder | False | Passed | |
8e0e415346e6ea1802f7cb07a5e5d4b5108ec16f | Apalache | BagBagSub | InstanceNamedWithInFolder | True | Passed | |
3e3fd6552693f90c44547533eace8feaec3dcf74 | Apalache | BagBagSub | InstanceNamedWithInFolder | False | Passed | |
d66eb2e507d4de435f4d110be3fbbc397955ec76 | Apalache | BagCopiesIn | InstanceNamedWithInFolder | True | Passed | |
94a5371e66834fe55cfaae4e8b30903a150e1b8d | Apalache | BagCopiesIn | InstanceNamedWithInFolder | False | Passed | |
4d08c045902d68a1134ab9e3bd6952b4e758a431 | Apalache | BagSubsetEqBag | InstanceNamedWithInFolder | True | Passed | |
4059ea2f763741ae209b95ed66a4cf537879ca78 | Apalache | BagSubsetEqBag | InstanceNamedWithInFolder | False | Passed | |
de6b127a6e947a0e3004e7b32aabdf35d7224ac0 | Apalache | BagBagUnion | InstanceNamedWithInFolder | True | Passed | |
daa6b65f29ec8ab2df309ed188f77ab15150dd09 | Apalache | BagBagUnion | InstanceNamedWithInFolder | False | Passed | |
16b9b8666a5a3a29fcc85ed4a9297574245df670 | Apalache | BagBagCardinality | InstanceNamedWithInFolder | True | Passed | |
9aedb6e621116c39e190e110c848eb8a87688d93 | Apalache | BagBagCardinality | InstanceNamedWithInFolder | False | Passed | |
0056c530901a021c21391ec4b1bc1cfa9ef56019 | Apalache | BagBagOfAll | InstanceNamedWithInFolder | True | Passed | |
489d6be49fcc928e2b766574d97a84f749efce77 | Apalache | BagBagOfAll | InstanceNamedWithInFolder | False | Passed | |
9fddf1d939519405503afa84a36694fccfb6e4d0 |
TLC with reduction strategy:
|
BagSubBag | InstanceNamedWithInFolder | True | Passed | |
3eb0f10cc637545eae52afb52f144a078f072115 |
TLC with reduction strategy:
|
BagSubBag | InstanceNamedWithInFolder | False | Passed | |
feac366d61d602ccd1622f1ed5ebfc9a4cb54764 |
TLC with reduction strategy:
|
FiniteSetsIsFiniteSet | InstanceNamedWithInFolder | True | Passed | |
0688644db827fc49d8e77bf52040168d1026b769 |
TLC with reduction strategy:
|
FiniteSetsIsFiniteSet | InstanceNamedWithInFolder | False | Passed | |
5c9a25cce09da582a32bf1f441f6c769e74c2922 | Apalache | FiniteSetsCardinality | InstanceNamedWithInFolder | True | Passed | |
82168db365758a032a722276e9b66a1dbfbebf62 | Apalache | FiniteSetsCardinality | InstanceNamedWithInFolder | False | Passed | |
c377e5fd0bba5832050d9fb2f4d7dd96067c0142 | Apalache | SeqHead | InstanceNamedWithInFolder | True | Passed | |
2f78f9fb012063d40651b6007430071f9cff58e6 | Apalache | SeqHead | InstanceNamedWithInFolder | False | Passed | |
c9bfd2d32e3f424ee9d7176b48e0c7344992cc66 | Apalache | SeqTail | InstanceNamedWithInFolder | True | Passed | |
d6149cadcbf94c90f8a9fd8823332eb54c94f0fb | Apalache | SeqTail | InstanceNamedWithInFolder | False | Passed | |
3e7df518834483b7edfe25cc485ff24f29e4769c | Apalache | SeqAppend | InstanceNamedWithInFolder | True | Passed | |
3883fcd70c564fc2edf7b0fd3bf6fa8ef26ae1ca | Apalache | SeqAppend | InstanceNamedWithInFolder | False | Passed |