Tests by case feature ExtendsInDifferentFolder; CLI Option: -workers 1

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
519629b015308cc5166b2086b9773eebd9b919e3	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	ExtendsInDifferentFolder	OneLineComment	True	Passed	Model Under Test Equivalent Model
8c2f9034828a3b257c19338e3c16bb03bc1930f7	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	ExtendsInDifferentFolder	OneLineComment	False	Passed	Model Under Test Equivalent Model
43cedbc9f0c5715b3f20fca2b447273f72b46810	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	ExtendsInDifferentFolder	MultiLineComment	True	Passed	Model Under Test Equivalent Model
a8e52f26fb9862c212a8c7e84604439f67496972	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	ExtendsInDifferentFolder	MultiLineComment	False	Passed	Model Under Test Equivalent Model
0cb4bd52971e5b48276cfde15d5f5c459c06b20e	Apalache	ExtendsInDifferentFolder	BoolTrue	True	Passed	Model Under Test Equivalent Model
b8e7a5b8be2735e0499ab2296a358765a84a2583	Apalache	ExtendsInDifferentFolder	BoolTrue	False	Passed	Model Under Test Equivalent Model
04bb17a875692fcd1a81dab68a2b7c3fc7e4c2ee	Apalache	ExtendsInDifferentFolder	BoolFalse	True	Passed	Model Under Test Equivalent Model
7465240dacf24a456795ca5262eafc86fbe1b6a8	Apalache	ExtendsInDifferentFolder	BoolFalse	False	Passed	Model Under Test Equivalent Model
a360340b88dfe0c4cf4b388b9484b0acbe60cb03	Apalache	ExtendsInDifferentFolder	BoolSet	True	Passed	Model Under Test Equivalent Model
7a3eead8cc427b032fcc5ca1393790941cf3c1b4	Apalache	ExtendsInDifferentFolder	BoolSet	False	Passed	Model Under Test Equivalent Model
d3b3f79f167b08a644f4b1b16c39eddb32a2aca9	Apalache	ExtendsInDifferentFolder	And	True	Passed	Model Under Test Equivalent Model
dea2e4768614d078018e8c99e54ec8b62c492509	Apalache	ExtendsInDifferentFolder	And	False	Passed	Model Under Test Equivalent Model
68dd73eedd2022f05e3eee279cf7619dc0f00262	TLC with reduction strategy: Plug Feature: /\ A /\ B == (A /\ B)	ExtendsInDifferentFolder	AndMultiLine	True	Passed	Model Under Test Equivalent Model
f49a6692352a33c4d1f7e95be39c279061af6fe4	TLC with reduction strategy: Plug Feature: /\ A /\ B == (A /\ B)	ExtendsInDifferentFolder	AndMultiLine	False	Passed	Model Under Test Equivalent Model
334d5780be64727294c40de9296d5bf97b8d9025	Apalache	ExtendsInDifferentFolder	Imply	True	Passed	Model Under Test Equivalent Model
18f11109e3e7d09647164234eb3cf83cf8603eec	Apalache	ExtendsInDifferentFolder	Imply	False	Passed	Model Under Test Equivalent Model
36795d84082b110d2d5ef5e31052c5b015f83001	Apalache	ExtendsInDifferentFolder	Not	True	Passed	Model Under Test Equivalent Model
f8620fd3e104761dca0c388693a4007d03e2ed52	Apalache	ExtendsInDifferentFolder	Not	False	Passed	Model Under Test Equivalent Model
6fd32b43a83b4751cd76c670313203fbd6be3d9a	TLC with reduction strategy: Plug Feature: A \/ B == ~(~A /\ ~B)	ExtendsInDifferentFolder	Or	True	Passed	Model Under Test Equivalent Model
5091ba380972c10aabcd1920c7420f2e43b5f593	TLC with reduction strategy: Plug Feature: A \/ B == ~(~A /\ ~B)	ExtendsInDifferentFolder	Or	False	Passed	Model Under Test Equivalent Model
f90da70dc8e558703255328cfd0bd3c997a4d378	TLC with reduction strategy: Plug Feature: \/ A \/ B == (A \/ B)	ExtendsInDifferentFolder	OrMultiLine	True	Passed	Model Under Test Equivalent Model
5a901a6a7fa64123d6edb101a1e93d5b31013b12	TLC with reduction strategy: Plug Feature: \/ A \/ B == (A \/ B)	ExtendsInDifferentFolder	OrMultiLine	False	Passed	Model Under Test Equivalent Model
894f1e78aa499a1ae5e9beb04e938fb8783fba15	Apalache	ExtendsInDifferentFolder	AndProp	True	Passed	Model Under Test Equivalent Model
e31ef3bc0995699455c9531f9ff89f8af0d28711	Apalache	ExtendsInDifferentFolder	AndProp	False	Passed	Model Under Test Equivalent Model
07cf92a69ba15065f723f0fe3f6e22b82140e87b	Apalache	ExtendsInDifferentFolder	Boxed	True	Passed	Model Under Test Equivalent Model
902c9a9f621293aca17d082f4ad123ad2878bab7	Apalache	ExtendsInDifferentFolder	Boxed	False	Passed	Model Under Test Equivalent Model
af905c6b639f5353adf7010c967dbff35380e984	Apalache	ExtendsInDifferentFolder	Eq	True	Passed	Model Under Test Equivalent Model
2da77d5d1bbdeb1c4524ca6a18d1cdf78637fb40	Apalache	ExtendsInDifferentFolder	Eq	False	Passed	Model Under Test Equivalent Model
500b9907a175ea1deff8d814e21f1879d62202a4	Apalache	ExtendsInDifferentFolder	Ne	True	Passed	Model Under Test Equivalent Model
524a10f21ad9a9b6ed3d6026997abeed44d22434	Apalache	ExtendsInDifferentFolder	Ne	False	Passed	Model Under Test Equivalent Model
7e61d152b6fc0e37026289a8e1f4a518d43ad142	Apalache	ExtendsInDifferentFolder	Let	True	Passed	Model Under Test Equivalent Model
984b0f6d191de4a21f7323d9a234c135898550b8	Apalache	ExtendsInDifferentFolder	Let	False	Passed	Model Under Test Equivalent Model
12ca17d41cab22147ac6641349112426fd741399	Apalache	ExtendsInDifferentFolder	SetEmpty	True	Passed	Model Under Test Equivalent Model
44fefc13e08b5cf48a8d502ea6a88df162992043	Apalache	ExtendsInDifferentFolder	SetEmpty	False	Passed	Model Under Test Equivalent Model
091459321091746587a278aa57da309396916887	Apalache	ExtendsInDifferentFolder	Set0	True	Passed	Model Under Test Equivalent Model
e1802a19373b7c9235a41096a3bbff79613cd203	Apalache	ExtendsInDifferentFolder	Set0	False	Passed	Model Under Test Equivalent Model
59743986e6f8b08ef898a8abbee872434dd95ebd	Apalache	ExtendsInDifferentFolder	Set1	True	Passed	Model Under Test Equivalent Model
c1ef4186a6658a337685f6b113700bf87fd7618b	Apalache	ExtendsInDifferentFolder	Set1	False	Passed	Model Under Test Equivalent Model
0f17a273ee052b69c823599bd700dc8a8a9e5175	Apalache	ExtendsInDifferentFolder	Set2	True	Passed	Model Under Test Equivalent Model
29538b60e766a86e5002cad51e06e1679d700f9b	Apalache	ExtendsInDifferentFolder	Set2	False	Passed	Model Under Test Equivalent Model
79b0e36326e478c68a8ee22a6699839586f187f5	Apalache	ExtendsInDifferentFolder	Fun	True	Passed	Model Under Test Equivalent Model
78d109de7398f6c5f72458b965f6b7456ba15cc6	Apalache	ExtendsInDifferentFolder	Fun	False	Passed	Model Under Test Equivalent Model
76c8fe40fcf1a7dbd58e223516b0bffd55818c97	Apalache	ExtendsInDifferentFolder	In	True	Passed	Model Under Test Equivalent Model
aafbbe3100184fa74a97be5be39fde35a2613ea0	Apalache	ExtendsInDifferentFolder	In	False	Passed	Model Under Test Equivalent Model
3b600c3e6ebeb2ea31a6d7aaf0a4f60e6a7952c0	Apalache	ExtendsInDifferentFolder	NotIn	True	Passed	Model Under Test Equivalent Model
e1eff0568441b8bb6a184df17826f1f4f064f9a5	Apalache	ExtendsInDifferentFolder	NotIn	False	Passed	Model Under Test Equivalent Model
9af42c39df03466c933f987c58bb5403d9921e5a	Apalache	ExtendsInDifferentFolder	Exists	True	Passed	Model Under Test Equivalent Model
d3218685c0f422df16f2bbba86a6e8bb49d2295c	Apalache	ExtendsInDifferentFolder	Exists	False	Passed	Model Under Test Equivalent Model
359331bb8cda5daff760647c02079609f2544780	Apalache	ExtendsInDifferentFolder	Forall	True	Passed	Model Under Test Equivalent Model
8f185d70b6bfcbed01e03f63795967b17e62d911	Apalache	ExtendsInDifferentFolder	Forall	False	Passed	Model Under Test Equivalent Model
71f5243f59dc9e39929b78480e92c782f1792586	Apalache	ExtendsInDifferentFolder	Choose	True	Passed	Model Under Test Equivalent Model
8de830c0966e63e950b461cefc16d27a46e7aa85	Apalache	ExtendsInDifferentFolder	Choose	False	Passed	Model Under Test Equivalent Model
e87b2aae24a5d08e9933779ed40cab58194e38ef	Apalache	ExtendsInDifferentFolder	Record	True	Passed	Model Under Test Equivalent Model
1ad615f08b328f014df7dea46eeb748a0c48daf4	Apalache	ExtendsInDifferentFolder	Record	False	Passed	Model Under Test Equivalent Model
4e191f185c18278b4e153d87d0e665cd294e3731	Apalache	ExtendsInDifferentFolder	Tuple	True	Passed	Model Under Test Equivalent Model
5d69a69f5cf9851a2352d8c61fe981bfe4b8cf22	Apalache	ExtendsInDifferentFolder	Tuple	False	Passed	Model Under Test Equivalent Model
6263942d6dd82178bb59fb458c90518e1a64910a	Apalache	ExtendsInDifferentFolder	TupleEmpty	True	Passed	Model Under Test Equivalent Model
c91d3a46f2f38e3bc470ad2e556e0bf00ebd4ae4	Apalache	ExtendsInDifferentFolder	TupleEmpty	False	Passed	Model Under Test Equivalent Model
b39d7d406b3b51b3a67403df8ccda29ade0fe540	Apalache	ExtendsInDifferentFolder	FunApp	True	Passed	Model Under Test Equivalent Model
390afb91e260510de5fabbfd255faa7fc8a04ad6	Apalache	ExtendsInDifferentFolder	FunApp	False	Passed	Model Under Test Equivalent Model
2bafe1e31d63680a5f8e38bedc8bcfe66959092e	Apalache	ExtendsInDifferentFolder	Prime	True	Passed	Model Under Test Equivalent Model
2cc695f10165951f7f0cc5a058461ec9802840fe	Apalache	ExtendsInDifferentFolder	Prime	False	Passed	Model Under Test Equivalent Model
33b41e2f6673df0cdbb9b3fa87fff62fbe47c316	Apalache	ExtendsInDifferentFolder	NumZero	True	Passed	Model Under Test Equivalent Model
399bc2d4820d9a7ac4439ef84518b3499b742dd1	Apalache	ExtendsInDifferentFolder	NumZero	False	Passed	Model Under Test Equivalent Model
66fb9e92f20ff5220ef0bd9b44bb37464d6b5ae8	Apalache	ExtendsInDifferentFolder	NumOne	True	Passed	Model Under Test Equivalent Model
f567c26a0ab102773069fc4ececf519444d7d47c	Apalache	ExtendsInDifferentFolder	NumOne	False	Passed	Model Under Test Equivalent Model
2e8206bd580ccf39920127e997182ef404b95797	Apalache	ExtendsInDifferentFolder	NumMaxInt	True	Passed	Model Under Test Equivalent Model
29a448b2e63b5494e9b7106a45b48aa275fd69e7	Apalache	ExtendsInDifferentFolder	NumMaxInt	False	Passed	Model Under Test Equivalent Model
877e8e6875b9b55827538c1aec8f528b4b0093e1	Apalache	ExtendsInDifferentFolder	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
2607c8c15d303ce322c5b1a30d8f48960ca18bc2	Apalache	ExtendsInDifferentFolder	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
4bdaca8ebc4357c8cba5c32e854b9275a1cd1f32	Apalache	ExtendsInDifferentFolder	NumPlus	True	Passed	Model Under Test Equivalent Model
e9005a3056d49a9301b1f419ff0ac763dbd2a8a1	Apalache	ExtendsInDifferentFolder	NumPlus	False	Passed	Model Under Test Equivalent Model
6a8825f190c8cc3986be579535ec6ed034e7f5ee	Apalache	ExtendsInDifferentFolder	NumMinus	True	Passed	Model Under Test Equivalent Model
78b74e8ef507e8bde8c9942ad08c0844ee2abf42	Apalache	ExtendsInDifferentFolder	NumMinus	False	Passed	Model Under Test Equivalent Model
87fe08c5f0e2a2d4259463ad1345779c060b4518	Apalache	ExtendsInDifferentFolder	NumMul	True	Passed	Model Under Test Equivalent Model
1e949acb446cf7107d73eba904e3084698ee0a23	Apalache	ExtendsInDifferentFolder	NumMul	False	Passed	Model Under Test Equivalent Model
a1eaf8e90aa8f2df6c0ee5f69923a1ec40e3f12e	Apalache	ExtendsInDifferentFolder	NumDiv	True	Passed	Model Under Test Equivalent Model
b3965759e000ac1667f82a88ab6505f96f1ca9d0	Apalache	ExtendsInDifferentFolder	NumDiv	False	Passed	Model Under Test Equivalent Model
7f7949f0fcd6e641419a5de55caf186b06a3f917	Apalache	ExtendsInDifferentFolder	NumMod	True	Passed	Model Under Test Equivalent Model
6e1cf4e02cd8933380fa91bc2c84e802b6bbf979	Apalache	ExtendsInDifferentFolder	NumMod	False	Passed	Model Under Test Equivalent Model
8e5b16d65fc0259d8cb03a0b0f92becbe6092fe2	Apalache	ExtendsInDifferentFolder	NumPow	True	Passed	Model Under Test Equivalent Model
1a31c4a28e8edc787b4bda80b6c9b9ce1eea78a4	Apalache	ExtendsInDifferentFolder	NumPow	False	Passed	Model Under Test Equivalent Model
d85caca565169ea162da4f2a772b46cdf501b965	Apalache	ExtendsInDifferentFolder	NumGt	True	Passed	Model Under Test Equivalent Model
34c11ea13f87bacdd1a7e43971fa16463f551212	Apalache	ExtendsInDifferentFolder	NumGt	False	Passed	Model Under Test Equivalent Model
10ac6798b0d19f94e39b2fbac873cebdd2164292	Apalache	ExtendsInDifferentFolder	NumGe	True	Passed	Model Under Test Equivalent Model
44823ac32e8b481415b435172c23836d4e3e7b41	Apalache	ExtendsInDifferentFolder	NumGe	False	Passed	Model Under Test Equivalent Model
48b316791553fa5b849dc07e096f5e5d35ed4ff6	Apalache	ExtendsInDifferentFolder	NumLt	True	Passed	Model Under Test Equivalent Model
4403477b9dcff1cbd033ff034e705146ba4437c9	Apalache	ExtendsInDifferentFolder	NumLt	False	Passed	Model Under Test Equivalent Model
1257d495c9ebb99ee3fa2c8144d0a3f690839952	Apalache	ExtendsInDifferentFolder	NumLe	True	Passed	Model Under Test Equivalent Model
bb3c6bd22c8a097f45f43a32118d4f747ef70f5a	Apalache	ExtendsInDifferentFolder	NumLe	False	Passed	Model Under Test Equivalent Model
195d999a805964b27e32939d2a72d44c9da17dcc	Apalache	ExtendsInDifferentFolder	DefFun	True	Passed	Model Under Test Equivalent Model
9c02e1cc9a6c5e9a1d8ebc248b8208d62a7cc253	Apalache	ExtendsInDifferentFolder	DefFun	False	Passed	Model Under Test Equivalent Model
c7ecba7dbd5db4320cb3ec78d23f22fca75eed9a	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	ExtendsInDifferentFolder	LetDefFun	True	Passed	Model Under Test Equivalent Model
2383762e2d7e25acce3397921df82756c70f0ebd	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	ExtendsInDifferentFolder	LetDefFun	False	Passed	Model Under Test Equivalent Model
f9fdbed333aa1b66b38e07c1afc4b9c9a53bbc2c	Apalache	ExtendsInDifferentFolder	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
b6470f228672a3b00f302c7036bf735b75fef320	Apalache	ExtendsInDifferentFolder	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
046907d05f746f48a8f8a3e6233907d13efc82f1	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	ExtendsInDifferentFolder	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
0b162934175db191ab2325328ca89c188c53ba64	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	ExtendsInDifferentFolder	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
a00c942bfd8871e82cafab243feb8ef1cf0d9b28	Apalache	ExtendsInDifferentFolder	Def0	True	Passed	Model Under Test Equivalent Model
201bc1527f3f8a569cff275c383c54c94e72424a	Apalache	ExtendsInDifferentFolder	Def0	False	Passed	Model Under Test Equivalent Model
8bc8f9a22e3302ba03e0a88934b4be19f4c8cad9	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	ExtendsInDifferentFolder	LetDef0	True	Passed	Model Under Test Equivalent Model
89edb21aa6d41b12d836db3bfcc5b7a791e4bf6f	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	ExtendsInDifferentFolder	LetDef0	False	Passed	Model Under Test Equivalent Model
34bdaba291533c9c7526c0ca2d91fcb51e028ee6	Apalache	ExtendsInDifferentFolder	Def1	True	Passed	Model Under Test Equivalent Model
6e6a040e7d92d8b4afb9a449fb1fa6f54660db30	Apalache	ExtendsInDifferentFolder	Def1	False	Passed	Model Under Test Equivalent Model
0173113d7f007321c9f252e6deb1b90dfab8c536	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	ExtendsInDifferentFolder	LetDef1	True	Passed	Model Under Test Equivalent Model
a7f4c160df59ec20fc43e1847e417c665c3259ba	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	ExtendsInDifferentFolder	LetDef1	False	Passed	Model Under Test Equivalent Model
2ddfbf6efda9a6f5a4cc93aa652b3c55fd868343	Apalache	ExtendsInDifferentFolder	Def2	True	Passed	Model Under Test Equivalent Model
4835880620cc9414523dd88354adf7208fa20e40	Apalache	ExtendsInDifferentFolder	Def2	False	Passed	Model Under Test Equivalent Model
7ddaeb3c4e2a4248249d36cc107367ce4500bd6d	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	ExtendsInDifferentFolder	LetDef2	True	Passed	Model Under Test Equivalent Model
466f79eca76f1db640ea720dda68399e352a3fd3	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	ExtendsInDifferentFolder	LetDef2	False	Passed	Model Under Test Equivalent Model
a54dc940f3da46ad8edc0fa8321ddfa26c9663bb	Apalache	ExtendsInDifferentFolder	Def1Recursive	True	Passed	Model Under Test Equivalent Model
744487f4b6b9192fd2b0425a91eb2705f1728a0f	Apalache	ExtendsInDifferentFolder	Def1Recursive	False	Passed	Model Under Test Equivalent Model
b28b73ae2d01fcbaee9572d3560bb1cd842b005b	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	ExtendsInDifferentFolder	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
868321215a0b18803441ddfafbc48f49cc0a86ae	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	ExtendsInDifferentFolder	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
c9079e84aa934d8e0744fd8eb92b00c4be46e221	Apalache	ExtendsInDifferentFolder	Extends	True	Passed	Model Under Test Equivalent Model
b35e1c772868f07ee542542b9a61b3e5575cbe30	Apalache	ExtendsInDifferentFolder	Extends	False	Passed	Model Under Test Equivalent Model
5dbece7f377569549670ec6e0d1f0f4a7b603cd9	Apalache	ExtendsInDifferentFolder	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
def0325d17a79f29fe6e7292332056bcaa5ea973	Apalache	ExtendsInDifferentFolder	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
e82ab8735331939c161afd11a67a10da21c218ad	Apalache	ExtendsInDifferentFolder	Variable	True	Passed	Model Under Test Equivalent Model
d5b7c54479f81bdaea8dda63335abac3871918f0	Apalache	ExtendsInDifferentFolder	Variable	False	Passed	Model Under Test Equivalent Model
c7f79cd6b134fe0e8d8996f3be050f785a7e137f	Apalache	ExtendsInDifferentFolder	Constant	True	Passed	Model Under Test Equivalent Model
d584d8caca04d9841e3129cb6568dda3e41d8629	Apalache	ExtendsInDifferentFolder	Constant	False	Passed	Model Under Test Equivalent Model
409bac117052339daa984fc39bb93cf829d3e407	Apalache	ExtendsInDifferentFolder	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
a8ea86833bd2366fd1acff736d1baa97e2425724	Apalache	ExtendsInDifferentFolder	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
27358d9780170f973dc7db97f747145e7cd18cdb	Apalache	ExtendsInDifferentFolder	ConstantRank1	True	Passed	Model Under Test Equivalent Model
fad6d146ff5b54fd80185386104f6c2f274bd78e	Apalache	ExtendsInDifferentFolder	ConstantRank1	False	Passed	Model Under Test Equivalent Model
9fd2fce31cd622f87f3176d1dafbe58b8adab8ae	Apalache	ExtendsInDifferentFolder	Instance	True	Passed	Model Under Test Equivalent Model
e21aacf36284603a1752da3942a6eb3a9ad240a0	Apalache	ExtendsInDifferentFolder	Instance	False	Passed	Model Under Test Equivalent Model
92e9722c0e14a8faca5c8f40e164db986bc90002	Apalache	ExtendsInDifferentFolder	InstanceWith	True	Passed	Model Under Test Equivalent Model
96958953ecbd678712ae118c161e09b5c8253f82	Apalache	ExtendsInDifferentFolder	InstanceWith	False	Passed	Model Under Test Equivalent Model
7301f0c608b58ec663c4fcff2801007a49219572	Apalache	ExtendsInDifferentFolder	InstanceNamed	True	Passed	Model Under Test Equivalent Model
8cd05c9afbb37ef380d2f0b5dc08135671e8dfdf	Apalache	ExtendsInDifferentFolder	InstanceNamed	False	Passed	Model Under Test Equivalent Model
9835a259ce8415a9148cff24fe16b5c3859a5fdc	Apalache	ExtendsInDifferentFolder	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
6f894d604f4e35cfb59001add4536613c75d2907	Apalache	ExtendsInDifferentFolder	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
2bfc0972cdada79046d19a91936531f086c00636	Apalache	ExtendsInDifferentFolder	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
2b404732eb4376664c4b44b93dff27f04e6ae4f1	Apalache	ExtendsInDifferentFolder	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
318288b9bc398066e1db56e1456cf9561decdb3e	Apalache	ExtendsInDifferentFolder	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
e5021e7aef29a59cf71dc8621f310eaf4429c617	Apalache	ExtendsInDifferentFolder	InstanceWithInFolder	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
8aeccdcbc1712847981c427f302e18e0c3e05fd8	Apalache	ExtendsInDifferentFolder	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
00cfdd6d8ae80eb65a9e914059960fb2ba620ada	Apalache	ExtendsInDifferentFolder	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
7b2025c0f44c125cb04ece0ea790cba752d7c9f8	Apalache	ExtendsInDifferentFolder	Enabled	True	Passed	Model Under Test Equivalent Model
12fab41c42ead1cce4cadcd8b7ae92be6041fd23	Apalache	ExtendsInDifferentFolder	Enabled	False	Passed	Model Under Test Equivalent Model
134dc5e0aab4756de0ea60e4a66552bc9792934e	Apalache	ExtendsInDifferentFolder	Cross2	True	Passed	Model Under Test Equivalent Model
b4cee79def0070d951e476313f9607a826050b13	Apalache	ExtendsInDifferentFolder	Cross2	False	Passed	Model Under Test Equivalent Model
62b84679a60ad13b8dde32e94c042998b6505094	Apalache	ExtendsInDifferentFolder	Cross3	True	Passed	Model Under Test Equivalent Model
470f18145eb2a9d4800d2d00256006307562420a	Apalache	ExtendsInDifferentFolder	Cross3	False	Passed	Model Under Test Equivalent Model
c3f49b50f59496fd441156bf01dd2e6706ad652a	TLC with reduction strategy: Plug 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))	ExtendsInDifferentFolder	FunSet	True	Passed	Model Under Test Equivalent Model
514fa90521d4c2fd1f023bfd37e9cb5073e60fe9	TLC with reduction strategy: Plug 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))	ExtendsInDifferentFolder	FunSet	False	Passed	Model Under Test Equivalent Model
f4725dc52ca31881bf4e89e74c116a8b38e4e7f8	TLC with reduction strategy: Plug 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)	ExtendsInDifferentFolder	RecordSet	True	Passed	Model Under Test Equivalent Model
d83a8834ab7adf6f72fb863c82d5cea77db4c9c4	TLC with reduction strategy: Plug 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)	ExtendsInDifferentFolder	RecordSet	False	Passed	Model Under Test Equivalent Model
9fa7f7cc027a4ba902aa342598a6d80cc80a1863	Apalache	ExtendsInDifferentFolder	SetDiff	True	Passed	Model Under Test Equivalent Model
2b02ed3fdf6efd741f915b0dd3b3a791b1dc7c4a	Apalache	ExtendsInDifferentFolder	SetDiff	False	Passed	Model Under Test Equivalent Model
c8bc92c2a0ffd0ed3bbb72df3881b6e840b9ef49	Apalache	ExtendsInDifferentFolder	SetUnion	True	Passed	Model Under Test Equivalent Model
66d7d82ae4b2f7bcb97d3fe74e815b5445185fef	Apalache	ExtendsInDifferentFolder	SetUnion	False	Passed	Model Under Test Equivalent Model
a18e0b205d0e0816696db3757b73eafec021968f	Apalache	ExtendsInDifferentFolder	SetIntersect	True	Passed	Model Under Test Equivalent Model
3cbfe41713b2dc3d9750e28a7a7be972d3195394	Apalache	ExtendsInDifferentFolder	SetIntersect	False	Passed	Model Under Test Equivalent Model
60a6fd79c5553e2a8353717c2fd2f5f67d914e8c	Apalache	ExtendsInDifferentFolder	SubsetEq	True	Passed	Model Under Test Equivalent Model
62972b8fb0f490b2acd9e588523e0fa71ee1c43f	Apalache	ExtendsInDifferentFolder	SubsetEq	False	Passed	Model Under Test Equivalent Model
a206734f2d31ca90ca5877b05fd09cf20267ff0c	Apalache	ExtendsInDifferentFolder	IfCond	True	Passed	Model Under Test Equivalent Model
e61bc79adee43733b694ba0596886a9a6cb9efdc	Apalache	ExtendsInDifferentFolder	IfCond	False	Passed	Model Under Test Equivalent Model
2845019886a9791e3590238bab83eafcb7766d57	Apalache	ExtendsInDifferentFolder	IfThen	True	Passed	Model Under Test Equivalent Model
38b51393f1e3a315ae248ae89f504131492c2b05	Apalache	ExtendsInDifferentFolder	IfThen	False	Passed	Model Under Test Equivalent Model
14c47131c84bf507b883fa9ca6014a9cefcb5896	Apalache	ExtendsInDifferentFolder	IfElse	True	Passed	Model Under Test Equivalent Model
8272ff548a05c8fb17ff8ceefc4e213b40c08482	Apalache	ExtendsInDifferentFolder	IfElse	False	Passed	Model Under Test Equivalent Model
f96ea086322e8d91ad3856710a717adc0d250787	Apalache	ExtendsInDifferentFolder	Subset	True	Passed	Model Under Test Equivalent Model
15519bc2812d9aee3d24b1f9ddb2c27d9e715e7e	Apalache	ExtendsInDifferentFolder	Subset	False	Passed	Model Under Test Equivalent Model
180d0227a282f0f90f275151dd076dd9e09e155a	Apalache	ExtendsInDifferentFolder	Domain	True	Passed	Model Under Test Equivalent Model
01a07f3239587c55557d652da34cde7cd63c0d6c	Apalache	ExtendsInDifferentFolder	Domain	False	Passed	Model Under Test Equivalent Model
2155588cec6bf8c48fa66cea8d3955440179f6f9	Apalache	ExtendsInDifferentFolder	Union	True	Passed	Model Under Test Equivalent Model
19f10a69e5f60893005f55d0e60cb90d8101310d	Apalache	ExtendsInDifferentFolder	Union	False	Passed	Model Under Test Equivalent Model
f6cee01f84d06193eac9d993c97d663c5b8ff0ab	Apalache	ExtendsInDifferentFolder	Unchanged	True	Passed	Model Under Test Equivalent Model
bb96f492348ec0b11863ce8b62d8821c33d49902	Apalache	ExtendsInDifferentFolder	Unchanged	False	Passed	Model Under Test Equivalent Model
758bdfa648e0ada1258024fc5aaec6e7855785b0	Apalache	ExtendsInDifferentFolder	Equivalence	True	Passed	Model Under Test Equivalent Model
0c34f18748010a49fe5798c57c3764cb152bc1f3	Apalache	ExtendsInDifferentFolder	Equivalence	False	Passed	Model Under Test Equivalent Model
9a262f61bb064ace2060cf260a9e162af2d65b09	Apalache	ExtendsInDifferentFolder	StringEmpty	True	Passed	Model Under Test Equivalent Model
bc25e2764f6947b0ff00dbef5eb21e3536c15f3f	Apalache	ExtendsInDifferentFolder	StringEmpty	False	Passed	Model Under Test Equivalent Model
fec32b8bc1ebc60337ddba10fb4a3413935dee6e	Apalache	ExtendsInDifferentFolder	String	True	Passed	Model Under Test Equivalent Model
47b5ea669295eebbec31700bb571c14c47c6de85	Apalache	ExtendsInDifferentFolder	String	False	Passed	Model Under Test Equivalent Model
af6d9215acac98809d4b9bf0257eed434c33a083	Apalache	ExtendsInDifferentFolder	SeqLen	True	Passed	Model Under Test Equivalent Model
20a52c0facef200479d41b36d885a341529c78d5	Apalache	ExtendsInDifferentFolder	SeqLen	False	Passed	Model Under Test Equivalent Model
76f9d71948d76d1266846e8572544aa25d3c373a	Apalache	ExtendsInDifferentFolder	SeqConcat	True	Passed	Model Under Test Equivalent Model
884e8dff2e764ef73eb5dcca470fa84aea9f24cb	Apalache	ExtendsInDifferentFolder	SeqConcat	False	Passed	Model Under Test Equivalent Model
c0604fc4dd0fe6c39b58534d4c625b3cb7cbfd6e	Apalache	ExtendsInDifferentFolder	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
b53ca58f7ee42a74fd321a87dfd9326088d01907	Apalache	ExtendsInDifferentFolder	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
2ff025f7cd66580e61e7d1af437010be37cc7c69	Apalache	ExtendsInDifferentFolder	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
95dd7c0fe9718842248ff15c004f2de2f09b1243	Apalache	ExtendsInDifferentFolder	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
a8afc95d23f0c65fa6aef0fff7f8a5f9c7e4aa7e	TLC with reduction strategy: Plug 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	ExtendsInDifferentFolder	NumRange	True	Passed	Model Under Test Equivalent Model
c1acb0aa3b8290eb435cc192fa69b671847e1d37	TLC with reduction strategy: Plug 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	ExtendsInDifferentFolder	NumRange	False	Passed	Model Under Test Equivalent Model
0efb64779381747bfe4349fd5f18d6205ceec347	TLC with reduction strategy: Plug Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	ExtendsInDifferentFolder	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
3bdb61f79e26c3c6cd6b5c650432fd9884990464	TLC with reduction strategy: Plug Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	ExtendsInDifferentFolder	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
0890ed3c016b5458eb5c414627d72d1e2c90f4a4	TLC with reduction strategy: Plug 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]]	ExtendsInDifferentFolder	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
27fb4c6ea59eb15b48bc343ec9ac7cca3b6b5ca9	TLC with reduction strategy: Plug 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]]	ExtendsInDifferentFolder	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
02262e74c6c22b0dde460abe8f03dabfa0f72d0f	TLC with reduction strategy: Plug Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	ExtendsInDifferentFolder	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
0623a670591c3f1fe7f65610d8f5b9af2fe76978	TLC with reduction strategy: Plug Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	ExtendsInDifferentFolder	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
f0ca7f3906ade6cd54f5c2490ef70949ff56d4ed	TLC with reduction strategy: Plug Feature: SortSeq(S) is reduced to equivalent sort implementation	ExtendsInDifferentFolder	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
9034970ef90bbe19394c3dba47289f95b5daca68	TLC with reduction strategy: Plug Feature: SortSeq(S) is reduced to equivalent sort implementation	ExtendsInDifferentFolder	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
71a1e5952ce7d403426d354e5e0ffb5f7dde9ef9	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	ExtendsInDifferentFolder	TlcEval	True	Passed	Model Under Test Equivalent Model
3047704abde7895ae4441411f8ef290fe7d308d9	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	ExtendsInDifferentFolder	TlcEval	False	Passed	Model Under Test Equivalent Model
048325b7be7d7c1078b912d22d80ab20d0c3c053	Apalache	ExtendsInDifferentFolder	BagBagToSet	True	Passed	Model Under Test Equivalent Model
469cd410a6cfd2f7c425048388588a92c9c71693	Apalache	ExtendsInDifferentFolder	BagBagToSet	False	Passed	Model Under Test Equivalent Model
62de3527a21a0897f22b287d362c7fd4b627cad6	Apalache	ExtendsInDifferentFolder	BagSetToBag	True	Passed	Model Under Test Equivalent Model
27df71bc0934418cdd85758cb21db988d8d48c14	Apalache	ExtendsInDifferentFolder	BagSetToBag	False	Passed	Model Under Test Equivalent Model
0d9fc11e5d0d083921ce5623f62b9760bf719ccd	Apalache	ExtendsInDifferentFolder	BagBagIn	True	Passed	Model Under Test Equivalent Model
d82ee577704a6c9ecb8e8c2c790a911949a05e43	Apalache	ExtendsInDifferentFolder	BagBagIn	False	Passed	Model Under Test Equivalent Model
043ebd17647aa4807cfd5333ac91d4d02343962f	Apalache	ExtendsInDifferentFolder	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
3be33f4f3dae32151fbe770d85fe977f438d7fe3	Apalache	ExtendsInDifferentFolder	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
984ff48d14db02f27af01c18cc20c0858dbe5341	Apalache	ExtendsInDifferentFolder	BagAddBag	True	Passed	Model Under Test Equivalent Model
046d93251a7b403da0ceca8a1564983d11865f61	Apalache	ExtendsInDifferentFolder	BagAddBag	False	Passed	Model Under Test Equivalent Model
efe2c04a7c069e404647cfceb10fa7579037c12c	Apalache	ExtendsInDifferentFolder	BagBagSub	True	Passed	Model Under Test Equivalent Model
b1f3f576ba7c220472ec9b2d6d9e6c654b01d300	Apalache	ExtendsInDifferentFolder	BagBagSub	False	Passed	Model Under Test Equivalent Model
9b87b6cd1f98975f975d6c2d5750a3751312e0dd	Apalache	ExtendsInDifferentFolder	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
a6f8aba1afa96e6a041c7f608c15f8e7f8460a58	Apalache	ExtendsInDifferentFolder	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
5e0c1807c8bca86151125bdbdbbd7f2ed2a7124e	Apalache	ExtendsInDifferentFolder	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
ef9d858269c9a7af1ed4fd95fcc8032b813aa9a4	Apalache	ExtendsInDifferentFolder	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
0d45fc707f7b78d7324ed671d96f9c4e48ba68ca	Apalache	ExtendsInDifferentFolder	BagBagUnion	True	Passed	Model Under Test Equivalent Model
68b6c71ad9a36d6e596688c4eb07652b3ae78b75	Apalache	ExtendsInDifferentFolder	BagBagUnion	False	Passed	Model Under Test Equivalent Model
126b633a8e012a4011dce9a96f72bb5ec8ae9d57	Apalache	ExtendsInDifferentFolder	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
8d185a3848235313f72732cc2670c31e35064a73	Apalache	ExtendsInDifferentFolder	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
b1ed8a74b191176043878d5ca59e44da5e721ac1	Apalache	ExtendsInDifferentFolder	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
62e8868294c998ae1b79b920a9a0e6e8d5e09e22	Apalache	ExtendsInDifferentFolder	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
7b0d881225e62c0cba18f0a247acd2031bb88981	TLC with reduction strategy: Plug Feature: SubBag(B) is reduced to equivalent SubBagR implementation	ExtendsInDifferentFolder	BagSubBag	True	Passed	Model Under Test Equivalent Model
fa0784721787b4f99641a7c5d73c61ecf4d8b498	TLC with reduction strategy: Plug Feature: SubBag(B) is reduced to equivalent SubBagR implementation	ExtendsInDifferentFolder	BagSubBag	False	Passed	Model Under Test Equivalent Model
901fa2889e6c27f2e25cbdced1ea19429dc30fde	TLC with reduction strategy: Plug Feature: IsFiniteSet(B) is reduced to either TRUE or FALSE, depending on type information (finite and infinite sets have different types)	ExtendsInDifferentFolder	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
b5b39066c361a6c71de229703597379a8580cd28	TLC with reduction strategy: Plug Feature: IsFiniteSet(B) is reduced to either TRUE or FALSE, depending on type information (finite and infinite sets have different types)	ExtendsInDifferentFolder	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
9ed836776ea139f42b7464f755b30874b35d1e55	Apalache	ExtendsInDifferentFolder	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
4549a526bc037232c75ec9917446608a4c31a041	Apalache	ExtendsInDifferentFolder	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
1d5da3ef8faafa97a96c9ada4bf2eead83f92de8	Apalache	ExtendsInDifferentFolder	SeqHead	True	Passed	Model Under Test Equivalent Model
ad8cfaebe2cfa704d67192eab917ccbd7448d24e	Apalache	ExtendsInDifferentFolder	SeqHead	False	Passed	Model Under Test Equivalent Model
3be0059883d6795496029c2da83caff7c241eee9	Apalache	ExtendsInDifferentFolder	SeqTail	True	Passed	Model Under Test Equivalent Model
c3fa9eb21f0ec7a99a99a4df258e84d783a0e661	Apalache	ExtendsInDifferentFolder	SeqTail	False	Passed	Model Under Test Equivalent Model
7b0fc082a3e1d896e55d6da02f3bee1c15c00db6	Apalache	ExtendsInDifferentFolder	SeqAppend	True	Passed	Model Under Test Equivalent Model
c4712223e8c8b5646f4d59e316439f54dbe0233d	Apalache	ExtendsInDifferentFolder	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

Tests by case feature ExtendsInDifferentFolder; CLI Option: -workers 1