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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
a2fa1f9dee7a095768580b6657dbff49a4fa4eb4	Apalache	And	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
00f088d0c34a92cff6ff47cf05d960c4a5aab0d9	Apalache	And	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
5c22d7c27e5b05256a57cfa00ddf93d7259d0a39	TLC with reduction strategy: Case Feature: /\ A /\ B == (A /\ B)	AndMultiLine	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
7c05f1fd69fbe64cca4babb8c4130f7beaa22567	TLC with reduction strategy: Case Feature: /\ A /\ B == (A /\ B)	AndMultiLine	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
d62ca68eaaaf555f4657f757c2f3f2fd3f0ec9ef	Apalache	Imply	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
89c3a48d934426710bc1653dc920f5a14c4a915c	Apalache	Imply	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
cb54af746045b1ac0de7d690cd70b017a00ee4ad	Apalache	Not	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
d731fd65279bdee79c5e5be7ae5ddc7a7f704092	Apalache	Not	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
1c220b2ddf71363e215001f93b04b1f76ccf4794	TLC with reduction strategy: Case Feature: A \/ B == ~(~A /\ ~B)	Or	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
fbe6d0bf5f9c25d97944a5f92305599a89c1d9b4	TLC with reduction strategy: Case Feature: A \/ B == ~(~A /\ ~B)	Or	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
3aaf44a7cb6b35e42a006537325a38dbedccae7a	TLC with reduction strategy: Case Feature: \/ A \/ B == (A \/ B)	OrMultiLine	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
59f89ba922c32b0a23b4f954a9463b60bb1df3f6	TLC with reduction strategy: Case Feature: \/ A \/ B == (A \/ B)	OrMultiLine	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
933c42af2dc621554379f77a7ac1c1e92e441c0a	Apalache	AndProp	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
f3a8e354daa8c8f86ca4bd519c10c79a134c01fc	Apalache	AndProp	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
63ee3898e0d4bb3e2debd0ab0f26d024c61ac2ce	Apalache	Boxed	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
62b7d69d096561b5466040c86ca880930b68fe1c	Apalache	Boxed	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
e6570fe675585dbe8f6aa0622f33b74b80a08b65	Apalache	Eq	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
519516d7bb5515ee4e5ce37127a7cddce6e34a48	Apalache	Eq	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
a060d1dd17e75dce9907238fcbf19cad9cb7d035	Apalache	Ne	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
00f2f76b2f79e00d85bdf557fc53fb3d24a14cc7	Apalache	Ne	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
7da0785415a64b079154fcaa81dba41c72dd7dd6	Apalache	Let	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
e0a8f20d84f463e058f2ba69e11d36f3d275759f	Apalache	Let	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
6e5752f58543bd754d6f9463ed233565a520cb20	Apalache	Set0	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
94f6330d12423d9ff08b5037e1df6e6250576675	Apalache	Set0	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
d08f4749a905e67a235f83750e33660fd72f97de	Apalache	Set1	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
36219d0ee3f99c4bb37e7388428c73712e677369	Apalache	Set1	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
69cf15acd277db2d252c734c54b78aca1223f56a	Apalache	Set2	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
f301d7318174bb1af21e7d39a652700bba59a4c8	Apalache	Set2	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
e8bde74a50bdd2b2d95c6b3677536b11e5a9c86e	Apalache	Fun	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
d018e98f86470b4dadb4445037710930c8abe660	Apalache	Fun	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
1ee65defdefc4a29413be4e23c990915240da35f	Apalache	In	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
86bcf07188dac4032cf01105882bfba02646de04	Apalache	In	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
f6f67e41119b94237959e4470692bb370ec597a6	Apalache	NotIn	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
517b95e4f003b2c73007fffd160f67e5de556c52	Apalache	NotIn	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
a52c9a7136b164fa9507b07a97a613c9d2311d7b	Apalache	Exists	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
a2ca75617130a0d4784c7788cb8c890742e05a31	Apalache	Exists	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
6865948a54f9b2fa15434865d6b988f628571792	Apalache	Forall	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
3e34fbee1769a2666794f9900bdb3ec15050a0b0	Apalache	Forall	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
7b75e84931fa7a5caf2aa4ed10ba5bd1618b46a6	Apalache	Choose	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
c4635c92bdacd5440c6169c32891425e93cc9fc0	Apalache	Choose	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
9a76550e37d4474d1ceb1a20427a47d0b65a9164	Apalache	Record	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
eea5c1f4b0c5828c86234e73512a4634fc44a492	Apalache	Record	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
883ca002727863217797431dfef859101f820db4	Apalache	Tuple	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
ac1a3f8f0189fd960fa26af042e8cd391349d826	Apalache	Tuple	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
16970c3193a8d97db22c54fbd1090fbcbcf22e84	Apalache	FunApp	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
5c00c97791ab4babf8b337fbc2c2179a9d67604d	Apalache	FunApp	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
8c1cbe16603124f885d52c2342d1031fe74ccc64	Apalache	Except0	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
b6f693cc45cf4144ebd72498d78a730e0cd69878	Apalache	Except0	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
d2f51b34043415671e312b95fee6cb461199acb9	Apalache	Except1Fun	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
624c4663f01c93971c29bf82028679bb8eaa2708	Apalache	Except1Fun	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
3a9bebf5866699b303da204bd4ac48345cdf6ed1	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
5cef341bde50df34a1bf13f985da17af86f769c8	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
e22d6263c3ccf3ef41f46e32e91a13835ffcb5e8	Apalache	Except1Rec	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
73e1bf9d040d847b2bb0c1e63050ff1fa870457a	Apalache	Except1Rec	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
37d315cdfdf8092f09c84ad69e8d58c873a0cf1c	TLC with reduction strategy: Case Feature: @ is reduced to F.arg	Except1RecWithAt	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
fafc7fc029a9d66386a252564e3cd523434f1287	TLC with reduction strategy: Case Feature: @ is reduced to F.arg	Except1RecWithAt	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
4034e6fd23ad18ec688ecc27358b63d7954d5313	Apalache	Except2Fun	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
591c2f3aafc7e83293560e95d54affa75de8ecb5	Apalache	Except2Fun	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
b7bcbe27a2e49bcc9b5477ee0e5b9efa3f31b92c	Apalache	Except2FunTuple	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
6d17fa871c7d69b90f1907071386c8b28cd0dd7f	Apalache	Except2FunTuple	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
a75584e4d07b70511f85ff1669f771e7a47ad99b	Apalache	Prime	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
18162e5d05606836ecc1e493185e7932f2396ca8	Apalache	Prime	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
ce22de35df0493f5ad5cdf86d3c7271dd1ec860f	Apalache	NumUnaryMinus	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
17a51b36d6d0f56f427d1f6bfbeb374da892eba7	Apalache	NumUnaryMinus	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
910277c2d9e104bffd469e9394dba0c88e12d6bb	Apalache	NumPlus	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
cecadb223fa3357669c1022d90ba476c2ca12584	Apalache	NumPlus	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
5b83f4ffe90fc4841908bd41610269e86309bd16	Apalache	NumMinus	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
79d0f6b6b3c96ec5e0a9f116abdc8086a0072a20	Apalache	NumMinus	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
333a15ff2ca0e0fe9d9652e33f60ec901b436cd6	Apalache	NumMul	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
093a8f049076bc04d3ea49b4bf8e4182400d2ddf	Apalache	NumMul	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
abbaa55f5e1bbd240d3a0c50e02d94ab4de73836	Apalache	NumDiv	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
122c2f014651805dc75b69594d9d088e92d34e62	Apalache	NumDiv	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
b41a4388687a8f080f9d58ebbea67d60e49a19da	Apalache	NumMod	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
a268dfcc39c073c75fe1edafc8206027a313c870	Apalache	NumMod	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
00f85b42447c448e1c11c06c9cd331fe9fcb0f99	Apalache	NumPow	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
82f6ef5009009ffb8216c74d9a89b838859fc0d9	Apalache	NumPow	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
3093c8190e2713f7d245f23cde3740a00111362e	Apalache	NumGt	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
faa693a4a59795d76079196f595f03cdff0bad59	Apalache	NumGt	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
2fe0c48fda8a1b6f8874f7a69e6ea54fa51f5f40	Apalache	NumGe	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
caea92aba8194d5d111a6cb2c0f3cfe40d0ec893	Apalache	NumGe	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
80194ab12c10a051863bb7fa6a46145eec70053d	Apalache	NumLt	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
ff50c465ecb681c21ed22d41598d097454d54225	Apalache	NumLt	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
85615f411e7cb6ba394d81ac002b3db7578e939d	Apalache	NumLe	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
b91f65f9702874aeb9871732363e0ec155dd0b06	Apalache	NumLe	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
f6c966bd3e6f77d6ffaa35c39d4af1a83d0244f5	Apalache	DefFun	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
5518c98b492f4778b663eb3905d5c354f0bb75bc	Apalache	DefFun	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
20fb39ed052b98955ce829ceef7dd8324a7e3d49	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFun	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
d21b930603545b9dc825f2340b4c1bd367874906	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFun	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
19f760bd22fd05bab54394ade779af2207ceedc6	Apalache	DefFunRecursive	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
b5bd2b43ec6a5ca1711722f917f4bd3bb6ea7dfb	Apalache	DefFunRecursive	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
7464c896e1f0775716617fb343b18e0f000ec538	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunRecursive	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
b5eb8714ec57987c03a7e1a35b08af66e6f57df9	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunRecursive	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
ce606b160f92fab74347de81c093014cf6d6be15	Apalache	Def0	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
534c67ed63d0ccd36960a31e4373a3fd0767c672	Apalache	Def0	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
3db89303443aff456269ef301d1f71dc5c6fa76f	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef0	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
c441a15f08133c3cbdeb3a965b9778651fa97733	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef0	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
f5a3a872b73853eafc2bad9008429d87be6adaf6	Apalache	Def1	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
deaa409ab2291597399b568808d0166c5c915dfb	Apalache	Def1	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
6fc40b8198097a4f8c1e382e87e7138ab0557b80	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
a04095c2edd083dcad4542759e38539c1c27e0fc	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
46eaf6b3a202ea4b36c8e84dce6a50b387a1fcad	Apalache	Def2	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
8a5fe19240758ae8a4430fd39ce5d71ef41dde42	Apalache	Def2	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
97a0977fdc20b8f6aeef21c52c4cddb9c2174db5	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef2	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
85b7d5be1ed1d9e8fb0d5b4638b2115a06d899d2	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef2	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
1fbffaf5bf27ce475916d160d84bcc27e13a3fa9	Apalache	Def1Recursive	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
69184d1656bf56f525acdfe14474b88c680737ed	Apalache	Def1Recursive	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
8971f8b5e0f6164d00df84b82a32981dc36cd572	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1Recursive	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
4ba3ea3718242345d3bd9395f72904a08ba6e1ee	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1Recursive	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
8eb175cc1c46a360c47da0d91fe8783a8dbb1a72	Apalache	Extends	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
aa7188334e1c581ddb6cda7d78274be201436fa0	Apalache	Extends	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
69862af802a4760b201a1a89e08e3174557cf72d	Apalache	ExtendsInDifferentFolder	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
3233c1fe040e52ad3f4806fadee3bfad36b34365	Apalache	ExtendsInDifferentFolder	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
5228955950ad7b7d64880a77071fedb32f85d63a	Apalache	Variable	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
8e2217d332f1c856464325ea84e65c68ecd432f6	Apalache	Variable	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
d4056e061ded874e9ed0dc14dccff9804a825ea1	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
e4f6fe543c43c13e0f5bf5244882e6f7877a49e5	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
a4b33743c9b3a276cf393a20be879b6228d765f4	Apalache	Constant	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
08f5d6497a1283f5f9bf71240e149bb4fb3b5315	Apalache	Constant	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
4c1e688953ae50e8ae495f427b8bfea9f483537c	Apalache	ConstantRank1	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
ebe7fdf1ad154548a476fd9730d2131f6d92d6ac	Apalache	ConstantRank1	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
13b933f7727cff585074b9d2d7ec81874f679fa0	Apalache	Instance	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
96057f008686ceb89f9171b6a071c1c0893ca6f8	Apalache	Instance	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
d82139ac59f7ccdd957ab930d0421325f862bec1	Apalache	InstanceWith	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
fd37b7894ebe686fc59e310dbbf64738d401588b	Apalache	InstanceWith	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
89e570659501aa8cb57f7127ae26d552ce2f6809	Apalache	InstanceNamed	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
b53bfb11418e822cede5087ddeddc4d81745f911	Apalache	InstanceNamed	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
862d9ae867afb9586a92a536b3f8a36875989ee0	Apalache	InstanceNamedWith	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
7414c301fab0d0cfcdc80126af06631cca052d8f	Apalache	InstanceNamedWith	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
139d872e0b2da63fe5d106f866f7124e860865fa	Apalache	InstanceInFolder	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
bec97bef345f128f210a3281600d38e6764733cb	Apalache	InstanceInFolder	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
1d802340e1ff7b016bcbc97156bc317bef77156c	Apalache	InstanceWithInFolder	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
830462e4a1c85762b7c36ffa7de6ac387906321a	Apalache	InstanceWithInFolder	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
a9db11be4a8a49d41cfe29d7d82938baf03c997a	Apalache	InstanceNamedInFolder	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
2e114a4e72f70a878fcc831bf268790500428783	Apalache	InstanceNamedInFolder	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
722abf6583e89eae31911edc5f4d33ec9f7449bf	Apalache	InstanceNamedWithInFolder	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
d9c402aafab23248fb7576080538d1c7e860ea05	Apalache	InstanceNamedWithInFolder	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
87546aab3da518ce814f20c52f5dc6727ad9a23c	Apalache	Enabled	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
e6af96dcb2bc1a9b3a233cb237d87c049fa179c0	Apalache	Enabled	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
478c093cc444db03766bd9683c72c4b37818bfa8	Apalache	Assume	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
d9896e178a3cd3a1372eab5e85a15d49733a3c27	Apalache	Assume	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
9200376afe67ece037a7f40cd6f5f29aa9128fbc	Apalache	AssumeNamed	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
27fe7af780aeef5a8078506ffe93f6527da2d02d	Apalache	AssumeNamed	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
94497c0355235c8197c6da0cfab8aef61a77e181	Apalache	Lambda	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
e8902f2d8f017fc8d229fe28efac46821fb09f4b	Apalache	Lambda	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
126b467d946c3528e2f7df2ad95b2bc336adacd0	Apalache	Cross2	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
14f858bfbdf4d369182ebc226b611299cb980d92	Apalache	Cross2	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
248862f67f839c0222f2e135b6a519b22eb93fa9	Apalache	Cross3	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
33e02f0bb1b69656145088c5bcae7baa611c1201	Apalache	Cross3	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
9fb3034fa787c25729094f4d27b068c2b2949403	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	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
cca52e0eb55058f47478090a299107198092edb8	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	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
2a78f5c93ae205f16579964f1d0fa74e24d22f34	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	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
f0ec43339a3712cf40d18ba72e8ea252a313ae52	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	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
ffb7a9483c7b9fb73dc524eb3f1ea8ac721d15dc	Apalache	SetDiff	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
48d9dc792d0447bc724731e6aac383867d9fb591	Apalache	SetDiff	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
fd742262c975013a0d7d34f53f966ccad0c71a9b	Apalache	SetUnion	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
4a6affe1c83eb1b51bf105db6095d599066e90ad	Apalache	SetUnion	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
6db1d2334068fad695625f91fcaba762f5b5790b	Apalache	SetIntersect	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
f48e8ce418a9c238e363b78bcd864a78bc6b0a73	Apalache	SetIntersect	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
30531a0d02e194347bdef82891cd8a26cb838c27	Apalache	SubsetEq	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
29543c91f40b11ea1819a4f78ec5265e74f11aa4	Apalache	SubsetEq	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
d80ffe5112e747ecfdd570249fcf4e911f66cc0c	Apalache	IfCond	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
a250f7117529bbc6f7828d2263714473c15a55c7	Apalache	IfCond	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
1b24447137c1305999d52d86acb43f4f82e958bc	Apalache	IfThen	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
651c3d1c558df6c7516bf1486824025653e0d77d	Apalache	IfThen	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
0aaaab4e546c29ea33a135740eaeaa5594eaaee3	Apalache	IfElse	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
4c5be966d64a5c1376c598acae57e64c2215acb6	Apalache	IfElse	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
d0d0b88049ba9583c17a2662b2a54c6b67f192cf	Apalache	Subset	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
7895dded7fc2fadf5823a2a60356ca8455fba9cd	Apalache	Subset	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
1810493b7d3a2f519fd1c33c182d12b2d6cfa9d5	Apalache	Domain	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
0482a43d65009d80ddffac7336520a95771012d0	Apalache	Domain	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
bfbfe17f6e690354e0aa25ea90cf0889f46a95df	Apalache	Union	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
6759005afde8761ea05bee23d6b341039c9c6176	Apalache	Union	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
c19dc41d78579d186596b7f8a2b04d2336a217e7	Apalache	Unchanged	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
0480a205b35ca368c2a8608737d616fe3886ecdf	Apalache	Unchanged	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
19b06f75923194a344cfef7310d9461c785fa4bb	Apalache	Equivalence	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
f9c03dd2b586210e602ffba3ab790f03a6a0f6b2	Apalache	Equivalence	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
388c6d5e4c01d51b0d654b91227a1b29e87a1e75	Apalache	SeqLen	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
7debfba02aa477d227ccea4fadb018272cb131a3	Apalache	SeqLen	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
d0b73ad2609ed05b18acc1d93058edc16d339e75	Apalache	SeqConcat	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
70d2283a6de41b6a567a38c5ece9fab4ecffc956	Apalache	SeqConcat	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
13127238d8e30502f707075d659890393053850b	Apalache	SeqSeq	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
06ed2f2708e43784b11d65113ab65d7a888e46d2	Apalache	SeqSeq	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
849d683b221918a4a71894981fc7bd68de81927c	Apalache	SeqSelectSeq	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
17471b597cd263b8aa0e81e1a0600da1d2df7c85	Apalache	SeqSelectSeq	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
14eaddbb9883289036064f8a9b3ac0fe654d0fb5	Apalache	SeqSubSeq	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
f7048deb67a78881ace9d2f0f19912f0f8111365	Apalache	SeqSubSeq	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
4add645da9a18435c457dd45f3736a59d42a46f0	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	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
02122cbaa95dc00b28def2f64b3cd51c9b35f504	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	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
06670321afe5d41decd9999e1e095692981e67dd	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	TlcSingletonFun	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
446484dabb639e6d0fd858e8037435d6d58bc945	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	TlcSingletonFun	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
1d6346b9b563aa84deaf2b7346e5d6184da25917	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	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
df70456e9135810e5fe94f6a0ec681b6bb560511	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	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
676b95351a3ba8ce5efce9e7d6f1578e72ae91bd	TLC with reduction strategy: Case Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	TlcPermuteFun	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
f247b6866cbbcddcb1febdfe3562f527a19ca8f6	TLC with reduction strategy: Case Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	TlcPermuteFun	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
aeed01d5e1149e74d64c5f5993f3499f14476582	TLC with reduction strategy: Case Feature: SortSeq(S) is reduced to equivalent sort implementation	TlcSortSeq	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
34d9dc0da5affd058346d4d91834a0cfe92e2b88	TLC with reduction strategy: Case Feature: SortSeq(S) is reduced to equivalent sort implementation	TlcSortSeq	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
76f598e4b9711954435f427838b7f3aa0a7424d7	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr	TlcEval	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
14acf19fedce64a1dd9f2a5c07cdb33cf3a096c1	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr	TlcEval	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
4e0da020bb2613ef88bd95004a8c7696dfaa3f94	Apalache	BagBagToSet	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
c902e1ac6a587e0517221db350436460f5bbd5e5	Apalache	BagBagToSet	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
991dece5c85560b7ff4a53bf258cce5173d083bd	Apalache	BagSetToBag	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
45fa8d228c48f24f7f4d59ca0c9f88b1d0c5b65f	Apalache	BagSetToBag	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
a3994e084f61d97e7163d55bc52d8f936157efa3	Apalache	BagBagIn	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
cfbd765dbcc5f9f832658210f1918e8907e0c851	Apalache	BagBagIn	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
2df88d2ac37b93534b833e47754c6891eeb2c519	Apalache	BagAddBag	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
be93071874b6eb4343142e09cb0de25c0b2560c2	Apalache	BagAddBag	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
1ea2cfe7f1562e4bb48ef29902bc7c2a74b255f6	Apalache	BagBagSub	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
4262fd316a53e4c1d866c0133f51ffd3eba58832	Apalache	BagBagSub	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
94e36b8c69a016cfb114107a9120548c6b973f28	Apalache	BagCopiesIn	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
9e7e95d49fccd285dff3ab93c72cb3c164662a09	Apalache	BagCopiesIn	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
5e3f68aa92c7ae6862137a07779b85e308395605	Apalache	BagSubsetEqBag	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
f3b320de8cc620065b1f4565100d65e86e217afd	Apalache	BagSubsetEqBag	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
d0d7549fb45bfebdb9750f6b9ccd1ddcc01b5db7	Apalache	BagBagUnion	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
2ea312a0b7f355ab6ffe411be021ec91ce5786a0	Apalache	BagBagUnion	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
20fd494e7a14d75f9c5d17b8b816fcb861112a56	Apalache	BagBagCardinality	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
79753f9a8307fae817f2a4788957ec85b9f47944	Apalache	BagBagCardinality	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
8b151a0343ed1eeb48194e98da3cdd35e1ce9ceb	Apalache	BagBagOfAll	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
aa7e1749e1699ae1dcfe43159acfed9d48140101	Apalache	BagBagOfAll	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
9d7031b0c6bfca728d68c1a10d51e35849994ebd	TLC with reduction strategy: Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation	BagSubBag	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
b962eeb9e242ebe07f14ef8b6b7beae955b0bab9	TLC with reduction strategy: Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation	BagSubBag	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
4ed3c50d4af7ad0ee737ffc3b37e6b9f581d5a03	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	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
f8dd919a64fb3531bd2e1c4fff5164767c31fc95	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	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
9c2c7ce5bbaf2facb8da2d0b9263ce1e01ff4dec	Apalache	FiniteSetsCardinality	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
17d6937a8d334269379c287913ff7d929634bc1b	Apalache	FiniteSetsCardinality	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
528e470b3c1d9f899adb0673e8cf8b210ca7d204	Apalache	SeqHead	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
54674a26ff449d1c9691455e638936bc805858f4	Apalache	SeqHead	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
a97abab267bfbca4fb60097e0a979265b752d083	Apalache	SeqTail	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
60e3819a5055596c9822cc6379924d9bf5df62d1	Apalache	SeqTail	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
063471d83e77fa5c5a0bb0815d9779f7bf46bc41	Apalache	SeqAppend	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
25c9eef6e26e70fd0c0bd69c570c389cfaa11ee1	Apalache	SeqAppend	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model

Index

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