Tests by plug feature InstanceNamedWithInFolder; CLI Option: -workers 1

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

Index

Tests by plug feature InstanceNamedWithInFolder; CLI Option: -workers 1