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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
922ec52d6ea0325269c419ede9dde568ce6c5e56	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceInFolder	OneLineComment	True	Passed	Model Under Test Equivalent Model
bf2a33e7975ee9b03dc0ef61dfef19f03139743d	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceInFolder	OneLineComment	False	Passed	Model Under Test Equivalent Model
7159b837102fbca6795c4485403c7c3bbd304fb4	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceInFolder	MultiLineComment	True	Passed	Model Under Test Equivalent Model
867c1511636cda2bcbf23df5818c5f43bb498971	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceInFolder	MultiLineComment	False	Passed	Model Under Test Equivalent Model
334a1f9612999cbc6c0763511a6acec432ffafd2	Apalache	InstanceInFolder	BoolTrue	True	Passed	Model Under Test Equivalent Model
20205a0baaf6084e075de063bf0bbfc3676cbd34	Apalache	InstanceInFolder	BoolTrue	False	Passed	Model Under Test Equivalent Model
abb641246dd96583ee4b1b8e1554acb8b4e0a0f7	Apalache	InstanceInFolder	BoolFalse	True	Passed	Model Under Test Equivalent Model
79bb0f956be1aa700db7cb4f6ff93d4f6e7c2d85	Apalache	InstanceInFolder	BoolFalse	False	Passed	Model Under Test Equivalent Model
cf40daf6ff811808f44e6bd41c0c72ddf6e2796e	Apalache	InstanceInFolder	BoolSet	True	Passed	Model Under Test Equivalent Model
52a5256922babbacfd5582fa8ce5c1f7d093f51d	Apalache	InstanceInFolder	BoolSet	False	Passed	Model Under Test Equivalent Model
f7dfbaf641e34d157093728b952278226e1bc7c6	Apalache	InstanceInFolder	And	True	Passed	Model Under Test Equivalent Model
a9592b8ae8a7d432ae69bfb5587f9e67bdad6de1	Apalache	InstanceInFolder	And	False	Passed	Model Under Test Equivalent Model
a17fb9778936e38f2ea845bd44e0e45c2449a8c7	TLC with reduction strategy: Plug Feature: /\ A /\ B == (A /\ B)	InstanceInFolder	AndMultiLine	True	Passed	Model Under Test Equivalent Model
caf2a8ab9f82cb5d7799cea45b75a9649045ab55	TLC with reduction strategy: Plug Feature: /\ A /\ B == (A /\ B)	InstanceInFolder	AndMultiLine	False	Passed	Model Under Test Equivalent Model
b58328f7badbec6c59c552f75c41b8e85e5a4f9f	Apalache	InstanceInFolder	Imply	True	Passed	Model Under Test Equivalent Model
147626c86be024716b2ace38208a6b8e36395a23	Apalache	InstanceInFolder	Imply	False	Passed	Model Under Test Equivalent Model
ef78c6d965452504ac9256dc36d5099507539abb	Apalache	InstanceInFolder	Not	True	Passed	Model Under Test Equivalent Model
3682c3592928e700f3a1c2e9f6a03fb91407fa35	Apalache	InstanceInFolder	Not	False	Passed	Model Under Test Equivalent Model
56f7f0be8402995b3fdcb62b612b87a48eed20bf	TLC with reduction strategy: Plug Feature: A \/ B == ~(~A /\ ~B)	InstanceInFolder	Or	True	Passed	Model Under Test Equivalent Model
78764cdf421a83cf950740695b6bc102586970f4	TLC with reduction strategy: Plug Feature: A \/ B == ~(~A /\ ~B)	InstanceInFolder	Or	False	Passed	Model Under Test Equivalent Model
c2dd0ba253868e730069a5128440fe487166c04e	TLC with reduction strategy: Plug Feature: \/ A \/ B == (A \/ B)	InstanceInFolder	OrMultiLine	True	Passed	Model Under Test Equivalent Model
611b650936b84901a08213c023001a11a944802b	TLC with reduction strategy: Plug Feature: \/ A \/ B == (A \/ B)	InstanceInFolder	OrMultiLine	False	Passed	Model Under Test Equivalent Model
2ee7cdeb1b9ec8e59bfe7f0c7e4b1bd9e41bbab9	Apalache	InstanceInFolder	AndProp	True	Passed	Model Under Test Equivalent Model
936fbef93d84c5a808d913effe9bf4ddc45568a4	Apalache	InstanceInFolder	AndProp	False	Passed	Model Under Test Equivalent Model
1b4216a7ab5daffc73083539173cfca30daf33a2	Apalache	InstanceInFolder	Boxed	True	Passed	Model Under Test Equivalent Model
bbe3bb113211b03733be16a4f65b7deef3a0eb85	Apalache	InstanceInFolder	Boxed	False	Passed	Model Under Test Equivalent Model
d3785c9298b15d3897929ca93ea716fcb0f3f613	Apalache	InstanceInFolder	Eq	True	Passed	Model Under Test Equivalent Model
b253492b514a7f114e6eb1138ac0a25f83386955	Apalache	InstanceInFolder	Eq	False	Passed	Model Under Test Equivalent Model
cc8a621e10ce660ec5e5af5964aeed6907e98d33	Apalache	InstanceInFolder	Ne	True	Passed	Model Under Test Equivalent Model
a2a9a38e5692922f8bf5768626af8cf1ba8a94bd	Apalache	InstanceInFolder	Ne	False	Passed	Model Under Test Equivalent Model
008cdf52840f46610f01114867f4cccd95264b8d	Apalache	InstanceInFolder	Let	True	Passed	Model Under Test Equivalent Model
079aee035a9296706d36672e7a1ab75bf43a336a	Apalache	InstanceInFolder	Let	False	Passed	Model Under Test Equivalent Model
e2fd7a0d783095445643319dc21fac7e5a9fae79	Apalache	InstanceInFolder	SetEmpty	True	Passed	Model Under Test Equivalent Model
8c2bf1338dca5b0b51757802461ccbb2284c1129	Apalache	InstanceInFolder	SetEmpty	False	Passed	Model Under Test Equivalent Model
544ce0daaf75c17dc0e95fa47f603f928a35a842	Apalache	InstanceInFolder	Set0	True	Passed	Model Under Test Equivalent Model
6d0452982ec02bb1f0fa54c7e918dd1c78042c4b	Apalache	InstanceInFolder	Set0	False	Passed	Model Under Test Equivalent Model
d530b7523dcef07c40b0856d5ae3708ccf68957b	Apalache	InstanceInFolder	Set1	True	Passed	Model Under Test Equivalent Model
f6259814710d2f2b9864e0e44d0aff6d5833cae5	Apalache	InstanceInFolder	Set1	False	Passed	Model Under Test Equivalent Model
7e1d7c034fd8f18d99a44c8805bafae727191738	Apalache	InstanceInFolder	Set2	True	Passed	Model Under Test Equivalent Model
2fc9a304668272d4939053bfd885a534e2de3410	Apalache	InstanceInFolder	Set2	False	Passed	Model Under Test Equivalent Model
b43525574f31feffedc7ac6f4acb9184119caa4b	Apalache	InstanceInFolder	Fun	True	Passed	Model Under Test Equivalent Model
e80f0cdc255b90cfa31a4a914efb5d821d944124	Apalache	InstanceInFolder	Fun	False	Passed	Model Under Test Equivalent Model
08c0a3cef343a293bd5eb808323c8ed6c442250f	Apalache	InstanceInFolder	In	True	Passed	Model Under Test Equivalent Model
17b4bc90e6523eb871546b558b687b327054e523	Apalache	InstanceInFolder	In	False	Passed	Model Under Test Equivalent Model
89605595254f402e5b414f630d9c18c8c1771528	Apalache	InstanceInFolder	NotIn	True	Passed	Model Under Test Equivalent Model
fc6685871f0baf832664a216cbaaa57cffbf6ec0	Apalache	InstanceInFolder	NotIn	False	Passed	Model Under Test Equivalent Model
c70d4ad27dfe62690f4051e7302bfc4529423f2f	Apalache	InstanceInFolder	Exists	True	Passed	Model Under Test Equivalent Model
8bf16afa4a6d7857b1e2bbc1157c3fd07467762a	Apalache	InstanceInFolder	Exists	False	Passed	Model Under Test Equivalent Model
e53ebca5d7070c9b0f7f666da0e812580e916d89	Apalache	InstanceInFolder	Forall	True	Passed	Model Under Test Equivalent Model
a6351ecbb06e2e8020b827e06ab070d9725fbc10	Apalache	InstanceInFolder	Forall	False	Passed	Model Under Test Equivalent Model
e6b2a317baacebf1175d4e426ed9746056c021b0	Apalache	InstanceInFolder	Choose	True	Passed	Model Under Test Equivalent Model
d431545b1b5c3be2eb7e8644b118d651b0df3bda	Apalache	InstanceInFolder	Choose	False	Passed	Model Under Test Equivalent Model
d93c4a592cfc4943b25582d0a804e33e7ef15f2f	Apalache	InstanceInFolder	Record	True	Passed	Model Under Test Equivalent Model
70323bb015ae2cf6490d38e84588f1b79192eeaa	Apalache	InstanceInFolder	Record	False	Passed	Model Under Test Equivalent Model
2431773419eb5298564a3ce394849af95977237c	Apalache	InstanceInFolder	Tuple	True	Passed	Model Under Test Equivalent Model
126ea2be895323044a5332878f3846d425b13b05	Apalache	InstanceInFolder	Tuple	False	Passed	Model Under Test Equivalent Model
aedb93fccecef095d3799887b4a1a46c70b4796b	Apalache	InstanceInFolder	TupleEmpty	True	Passed	Model Under Test Equivalent Model
5377dd4f6b21bb422b30abfdb8cb02eb64c241a7	Apalache	InstanceInFolder	TupleEmpty	False	Passed	Model Under Test Equivalent Model
04eef732ca3ff126c030f21ec67d03170b253960	Apalache	InstanceInFolder	FunApp	True	Passed	Model Under Test Equivalent Model
c2e58424e8d152d735c6989f53fbd40a028978a2	Apalache	InstanceInFolder	FunApp	False	Passed	Model Under Test Equivalent Model
ffac7bec91bdb29c27c89ebea4007a885951c63a	Apalache	InstanceInFolder	Prime	True	Passed	Model Under Test Equivalent Model
ccec58ec6ff2b6943011327dae8fb5cbb4515912	Apalache	InstanceInFolder	Prime	False	Passed	Model Under Test Equivalent Model
74a3954793737d3b2a26892a40f64e0515cadbe1	Apalache	InstanceInFolder	NumZero	True	Passed	Model Under Test Equivalent Model
ba004ebe7afd4e5d0603136e015dcec914c51e84	Apalache	InstanceInFolder	NumZero	False	Passed	Model Under Test Equivalent Model
acae0111cb6160ee3460e2cd15fe52c30fe72dc3	Apalache	InstanceInFolder	NumOne	True	Passed	Model Under Test Equivalent Model
91982d08380fe6e1314c1faffaf3eb93ce43b429	Apalache	InstanceInFolder	NumOne	False	Passed	Model Under Test Equivalent Model
dffe99cfd67ba83f7b937bd135aa2a0b6c001352	Apalache	InstanceInFolder	NumMaxInt	True	Passed	Model Under Test Equivalent Model
e14fc0292fbdfb1f3dc25c4252506899ebad48cc	Apalache	InstanceInFolder	NumMaxInt	False	Passed	Model Under Test Equivalent Model
0989193610cd329dc5f6fdad89a057506adc6cea	Apalache	InstanceInFolder	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
15aab8fae882e0b082d24a5ea25e91c54c03ea64	Apalache	InstanceInFolder	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
dc2f019c275a0ef2da841c72a55f564d76bc4436	Apalache	InstanceInFolder	NumPlus	True	Passed	Model Under Test Equivalent Model
063aeae443d37c23fc89381841010ac4369df203	Apalache	InstanceInFolder	NumPlus	False	Passed	Model Under Test Equivalent Model
21b13e4cc8b6a5d9289fdcfc807794b461cc8b84	Apalache	InstanceInFolder	NumMinus	True	Passed	Model Under Test Equivalent Model
2dd88af4c7781e539db5e221d4df52ac78df2156	Apalache	InstanceInFolder	NumMinus	False	Passed	Model Under Test Equivalent Model
d3a572faf60cc6590cba3c3d2ae882c5a03308f1	Apalache	InstanceInFolder	NumMul	True	Passed	Model Under Test Equivalent Model
e69b3cff95778b8132f8a921c9268bf77760269f	Apalache	InstanceInFolder	NumMul	False	Passed	Model Under Test Equivalent Model
b5a1cd51a87e68607bb5657aba3c827aaedb47ea	Apalache	InstanceInFolder	NumDiv	True	Passed	Model Under Test Equivalent Model
9f39fd0d32dae78903f27e759dc7957d9825f34f	Apalache	InstanceInFolder	NumDiv	False	Passed	Model Under Test Equivalent Model
728e7a0287a66275a12fb0027d9f74f9c055ad41	Apalache	InstanceInFolder	NumMod	True	Passed	Model Under Test Equivalent Model
40ac3004e17668f64f62791fad82ce5f39fc8295	Apalache	InstanceInFolder	NumMod	False	Passed	Model Under Test Equivalent Model
1a27dce38ae63f6e737aecb3aa99ac899a0101c3	Apalache	InstanceInFolder	NumPow	True	Passed	Model Under Test Equivalent Model
fe6f0d1ed3195bdcad1eee30741b0c7ffa25ce79	Apalache	InstanceInFolder	NumPow	False	Passed	Model Under Test Equivalent Model
a3e0369e340fb41961cd343b9f1e8e90d4fec0af	Apalache	InstanceInFolder	NumGt	True	Passed	Model Under Test Equivalent Model
f1c3811ae172aea8f25889f50f6912a482ca2f65	Apalache	InstanceInFolder	NumGt	False	Passed	Model Under Test Equivalent Model
33976043ddefc3d1569647682eea0d0e21029b5e	Apalache	InstanceInFolder	NumGe	True	Passed	Model Under Test Equivalent Model
aadc2cafea357ccf7509bf16144872bda66886ca	Apalache	InstanceInFolder	NumGe	False	Passed	Model Under Test Equivalent Model
aaa8d562faead62a4b6ed4b51b3337e77a323cb7	Apalache	InstanceInFolder	NumLt	True	Passed	Model Under Test Equivalent Model
38421bb832d91998c69d283fee258bb0539cd46a	Apalache	InstanceInFolder	NumLt	False	Passed	Model Under Test Equivalent Model
5d8e0006504fed70c0626965531901bb565980cf	Apalache	InstanceInFolder	NumLe	True	Passed	Model Under Test Equivalent Model
7927af66887d5b641c2a8223e0327851ab28b055	Apalache	InstanceInFolder	NumLe	False	Passed	Model Under Test Equivalent Model
438289990fbfbe4f8d55b3eebf52c5641f865a75	Apalache	InstanceInFolder	DefFun	True	Passed	Model Under Test Equivalent Model
964ab89130741b9419999b62c270a9d892d9b38b	Apalache	InstanceInFolder	DefFun	False	Passed	Model Under Test Equivalent Model
2151b9e0102ab0825197243573a884f8fd989e57	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceInFolder	LetDefFun	True	Passed	Model Under Test Equivalent Model
111e5032680129fa886256ac093d3707edd1b699	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceInFolder	LetDefFun	False	Passed	Model Under Test Equivalent Model
2d54bafbc8e0f1bbca27a6b2d9feb538d99d01e0	Apalache	InstanceInFolder	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
90c8b2833502c8492349e0685ef86ad7887dee84	Apalache	InstanceInFolder	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
9051fe203558075a6cffd4d4139d06105223c422	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceInFolder	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
562dd93d04bb7136061cd2367c573d1afca523fe	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceInFolder	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
50f30a512d5d24b8b8e802f2486210c79383fcaf	Apalache	InstanceInFolder	Def0	True	Passed	Model Under Test Equivalent Model
817f84f12fb86580428d7dae0cd14d67399109af	Apalache	InstanceInFolder	Def0	False	Passed	Model Under Test Equivalent Model
dbbd5aa455dd3113658a1f840f6a9f63bd66058a	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceInFolder	LetDef0	True	Passed	Model Under Test Equivalent Model
0d861eacdc50e3f6737ed7bb2d39dcd94128182b	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceInFolder	LetDef0	False	Passed	Model Under Test Equivalent Model
015de582b26beb30fd5ab90498482f8b9616e8f2	Apalache	InstanceInFolder	Def1	True	Passed	Model Under Test Equivalent Model
6cce7ecc91d6cefdd8f2c274aa0659171eb9463d	Apalache	InstanceInFolder	Def1	False	Passed	Model Under Test Equivalent Model
7ff454255f046682e32dd17a0a61d95822a38a98	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceInFolder	LetDef1	True	Passed	Model Under Test Equivalent Model
6dfcc12fcc08fd59b882e74addd726a5c19e3375	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceInFolder	LetDef1	False	Passed	Model Under Test Equivalent Model
fea179969cd69f005f246e093f3e342c63a4c73d	Apalache	InstanceInFolder	Def2	True	Passed	Model Under Test Equivalent Model
6b928684f5bb023c1a49f929e66a30ce51e2e625	Apalache	InstanceInFolder	Def2	False	Passed	Model Under Test Equivalent Model
9841c5438ae62b2148803dc0fb189b79d13f267a	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceInFolder	LetDef2	True	Passed	Model Under Test Equivalent Model
7180b45f52c0252bf4457c23cda90391f1c6f21d	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceInFolder	LetDef2	False	Passed	Model Under Test Equivalent Model
c29f540c5b52c7c24122ca3912be2e948098ea61	Apalache	InstanceInFolder	Def1Recursive	True	Passed	Model Under Test Equivalent Model
51af4589c6f3d685d8dc19887f2050e3732d1912	Apalache	InstanceInFolder	Def1Recursive	False	Passed	Model Under Test Equivalent Model
33fe408f60711c162e7553f532fc0262a01f93d4	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceInFolder	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
cfd367d52df11dde4f5d2bdca87ae18a57d5b49a	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceInFolder	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
d2236251ed23ca0de6014631aa6a5a7c7cfab79d	Apalache	InstanceInFolder	Extends	True	Passed	Model Under Test Equivalent Model
65497c5f33bffe003bdd05e1edea72638dfa4bf4	Apalache	InstanceInFolder	Extends	False	Passed	Model Under Test Equivalent Model
b7434ece150ab5dc59fc60b40523e76854b45e43	Apalache	InstanceInFolder	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
2f27e2211558e879424313bd8d91cbeb36f76a23	Apalache	InstanceInFolder	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
6330bb7b92c87d4b56f8aa407fa3f7119b28a215	Apalache	InstanceInFolder	Variable	True	Passed	Model Under Test Equivalent Model
d254195fada4e02fab97a81584f57ba3b1b55773	Apalache	InstanceInFolder	Variable	False	Passed	Model Under Test Equivalent Model
4eec80d032f6c382c980ad19f3513a6a5b9cfcd3	Apalache	InstanceInFolder	Constant	True	Passed	Model Under Test Equivalent Model
4995a4c6f4c20804115c8b920bac8ead6ecea3a6	Apalache	InstanceInFolder	Constant	False	Passed	Model Under Test Equivalent Model
387966100fefdb5bf4006d867c622e03f383bf88	Apalache	InstanceInFolder	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
5c1835f028b9fa941e33feacdeef49dc53455c98	Apalache	InstanceInFolder	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
6b91705ef0c93b655d4e95ad5679757ccc0bc061	Apalache	InstanceInFolder	ConstantRank1	True	Passed	Model Under Test Equivalent Model
8a583d1737abeaac5d330f9eb39b09fe452d7035	Apalache	InstanceInFolder	ConstantRank1	False	Passed	Model Under Test Equivalent Model
8a2973644adbc4e56aa29a8c8de99b3e2c280836	Apalache	InstanceInFolder	Instance	True	Passed	Model Under Test Equivalent Model
6df75af6d8ddb5c03fee0e956cb13d8911ba1999	Apalache	InstanceInFolder	Instance	False	Passed	Model Under Test Equivalent Model
60ca816ffbb03b73614562d0c6892ff3b9095c7a	Apalache	InstanceInFolder	InstanceWith	True	Passed	Model Under Test Equivalent Model
9db47bb99cb2e55a7152cca2e5e910add1c08f76	Apalache	InstanceInFolder	InstanceWith	False	Passed	Model Under Test Equivalent Model
eacfac5e311a9f8e33f93b612bcabb0c273a795b	Apalache	InstanceInFolder	InstanceNamed	True	Passed	Model Under Test Equivalent Model
0f137a71aff7f08177e068ff6c322e122b75f2a6	Apalache	InstanceInFolder	InstanceNamed	False	Passed	Model Under Test Equivalent Model
c33b7adb2d2800680b9882b8be2381f562078838	Apalache	InstanceInFolder	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
f7bed57b7c855c3f1b0f325ba8718965e49a1acc	Apalache	InstanceInFolder	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
a84f5a6a1752668502518a0a72f171844132faa4	Apalache	InstanceInFolder	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
070d784963341829ad532c570971ce1aa39281fe	Apalache	InstanceInFolder	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
21a0a93ff52c252946bf72152ee10551a372805c	Apalache	InstanceInFolder	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
c976046066de3e84b06a7b9e38d0ceeb459f99b1	Apalache	InstanceInFolder	InstanceWithInFolder	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
63f4248f61d4d963fd75c31c59c0fffaa1d9352f	Apalache	InstanceInFolder	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
1c4a53adfcc7131c4fd009f8199de38ed9d3ed99	Apalache	InstanceInFolder	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
a3e61b816f5b4401ee396b7739cc11f147d4997e	Apalache	InstanceInFolder	Enabled	True	Passed	Model Under Test Equivalent Model
42d3aa0b8391f5fbd0d129a1b3818d93599d1ecc	Apalache	InstanceInFolder	Enabled	False	Passed	Model Under Test Equivalent Model
75b8f0ea65d99ef5bd9dec97a2c49d7478c7a906	Apalache	InstanceInFolder	Cross2	True	Passed	Model Under Test Equivalent Model
9f312d448ef43f7a0ae905adcb528a64b1a46232	Apalache	InstanceInFolder	Cross2	False	Passed	Model Under Test Equivalent Model
2f60359512ab0835ea61802cf0bebf7faaac8d62	Apalache	InstanceInFolder	Cross3	True	Passed	Model Under Test Equivalent Model
805a94ae3dc9f5f2ffe3f35983c947ef83dab602	Apalache	InstanceInFolder	Cross3	False	Passed	Model Under Test Equivalent Model
9462e4eec608fec88d251d7f6b947ed206b990a3	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))	InstanceInFolder	FunSet	True	Passed	Model Under Test Equivalent Model
131f26a6ce08965021563cb5bc7d8a9cf5993eae	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))	InstanceInFolder	FunSet	False	Passed	Model Under Test Equivalent Model
dbe397d802c15a7c5471c38735222595e325e4b1	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)	InstanceInFolder	RecordSet	True	Passed	Model Under Test Equivalent Model
abfbdc5b5f4f8dddd5e7d93a655390ab0ef5ee68	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)	InstanceInFolder	RecordSet	False	Passed	Model Under Test Equivalent Model
176b80b48366385e550a1744af58a7730ede8fe4	Apalache	InstanceInFolder	SetDiff	True	Passed	Model Under Test Equivalent Model
e89df92d86875cb0dc0b34e35cbc3d960435e697	Apalache	InstanceInFolder	SetDiff	False	Passed	Model Under Test Equivalent Model
79f430e7b4f4f02033afbc500401e5169c01e0af	Apalache	InstanceInFolder	SetUnion	True	Passed	Model Under Test Equivalent Model
a56d7eaad55544d1522eb33260a369a775daed93	Apalache	InstanceInFolder	SetUnion	False	Passed	Model Under Test Equivalent Model
294108a5f339dca4c333565fae0804bc92cd18bb	Apalache	InstanceInFolder	SetIntersect	True	Passed	Model Under Test Equivalent Model
571082f237b620f57b958b50a21f689d7594704e	Apalache	InstanceInFolder	SetIntersect	False	Passed	Model Under Test Equivalent Model
5858b6f285e5c81c7dec7e384e6c5548178c6bcd	Apalache	InstanceInFolder	SubsetEq	True	Passed	Model Under Test Equivalent Model
7c996a6b003b2a4837bc28e06f7c4a36236e2643	Apalache	InstanceInFolder	SubsetEq	False	Passed	Model Under Test Equivalent Model
fa3a54fbf833a45fb31828c41b942a7063ab304b	Apalache	InstanceInFolder	IfCond	True	Passed	Model Under Test Equivalent Model
d5bbd75716e641a328b9de64f533855641d411dd	Apalache	InstanceInFolder	IfCond	False	Passed	Model Under Test Equivalent Model
74f864efc9652263ae1986b1c2fadf92c9457efa	Apalache	InstanceInFolder	IfThen	True	Passed	Model Under Test Equivalent Model
bd517185f7850c8119c0a99c030035b0b1215c3c	Apalache	InstanceInFolder	IfThen	False	Passed	Model Under Test Equivalent Model
a2fa7843c1c6b5e46b833bcf785dcc15c464ddbe	Apalache	InstanceInFolder	IfElse	True	Passed	Model Under Test Equivalent Model
a26a3eab388fb1e96b462b45a3439021aaf7da5f	Apalache	InstanceInFolder	IfElse	False	Passed	Model Under Test Equivalent Model
3a8eb4835409eb41f7251892a4b57bb03854f59d	Apalache	InstanceInFolder	Subset	True	Passed	Model Under Test Equivalent Model
5e1e76170a6430ae1007e337c7423de32f2049af	Apalache	InstanceInFolder	Subset	False	Passed	Model Under Test Equivalent Model
30c304b8cb4370a4f8fd360971e13cbd0bf94485	Apalache	InstanceInFolder	Domain	True	Passed	Model Under Test Equivalent Model
d1da00e40babfb61ff82d5da65482becc5a4e026	Apalache	InstanceInFolder	Domain	False	Passed	Model Under Test Equivalent Model
c7b8bb4f7c1ed6f5aefef8375babbe6e75bf5c33	Apalache	InstanceInFolder	Union	True	Passed	Model Under Test Equivalent Model
5ece1711331c98d2892b3cee635b9c45bac37332	Apalache	InstanceInFolder	Union	False	Passed	Model Under Test Equivalent Model
f62f8417f3767375779066958a716e90cc1d0faa	Apalache	InstanceInFolder	Unchanged	True	Passed	Model Under Test Equivalent Model
3cb2d14e4bae1f656ac55eea22a28bbca45a477d	Apalache	InstanceInFolder	Unchanged	False	Passed	Model Under Test Equivalent Model
1e952599eaa594f91ea896f70275c57f996d27c7	Apalache	InstanceInFolder	Equivalence	True	Passed	Model Under Test Equivalent Model
155a158ea79cee41f674f6bb80ace1547b44f82d	Apalache	InstanceInFolder	Equivalence	False	Passed	Model Under Test Equivalent Model
2bc84bff5b7d0711319ef8bda93a93e74d25e16a	Apalache	InstanceInFolder	StringEmpty	True	Passed	Model Under Test Equivalent Model
bc72ecb96b9fdd2d1b4b5df454c0627a1b52067d	Apalache	InstanceInFolder	StringEmpty	False	Passed	Model Under Test Equivalent Model
d880b7a3ff5380d9ac34dd66adb35e131242639b	Apalache	InstanceInFolder	String	True	Passed	Model Under Test Equivalent Model
7673f33431f72fdb64efee5ffe79ff5715d591e9	Apalache	InstanceInFolder	String	False	Passed	Model Under Test Equivalent Model
e1f7ab4eeaf94ca9f4236baf23f21066cf4552a6	Apalache	InstanceInFolder	SeqLen	True	Passed	Model Under Test Equivalent Model
10a44c3109f7c331ed287f40f3a7cfa8a1a5c94e	Apalache	InstanceInFolder	SeqLen	False	Passed	Model Under Test Equivalent Model
da964dcb620149d5697ca4a639e4b4bcc4a921dd	Apalache	InstanceInFolder	SeqConcat	True	Passed	Model Under Test Equivalent Model
98ce98c68d4a350aec939915b3b5ebb5d02a2572	Apalache	InstanceInFolder	SeqConcat	False	Passed	Model Under Test Equivalent Model
d60911eaedb70cc62ff04023826436f900010c69	Apalache	InstanceInFolder	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
28b2c0244f2587a542dd46253bfd279d266847e4	Apalache	InstanceInFolder	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
9a8f47a5b8261c726d127968542091498ae11eeb	Apalache	InstanceInFolder	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
6b4df7fc82eca27806835e8edca20eab621de31a	Apalache	InstanceInFolder	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
35d80e87173cd13650fd7bd3e3ade47445e95767	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	InstanceInFolder	NumRange	True	Passed	Model Under Test Equivalent Model
c9e30e39c5d23d424ec342a4e1e153ccf885dad4	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	InstanceInFolder	NumRange	False	Passed	Model Under Test Equivalent Model
70a43eb0b8597ecbcd3a1f23ec539aaad547089d	TLC with reduction strategy: Plug Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	InstanceInFolder	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
cc223aa82f3a56ac100cce2a60d21c0387e57179	TLC with reduction strategy: Plug Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	InstanceInFolder	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
fe50b1f70dc11eda52b1c8862032f7d1ef264b2d	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]]	InstanceInFolder	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
7f0de71eba0cf4ee98f6b0e6eb50952ebfa6a6ed	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]]	InstanceInFolder	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
baff342eb51267a8862757793f89a3a2ad604a96	TLC with reduction strategy: Plug Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	InstanceInFolder	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
065c74d1084a61103048025a1899c8d718a24ded	TLC with reduction strategy: Plug Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	InstanceInFolder	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
dca82e8571e7c9a5576598454db3ab0c1e0e4085	TLC with reduction strategy: Plug Feature: SortSeq(S) is reduced to equivalent sort implementation	InstanceInFolder	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
cdb429ec2af5cbf2b7c7d8bd2c666b03345831a1	TLC with reduction strategy: Plug Feature: SortSeq(S) is reduced to equivalent sort implementation	InstanceInFolder	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
9c989f251eb9e661666daf8eeff60ef66a8ae3e3	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	InstanceInFolder	TlcEval	True	Passed	Model Under Test Equivalent Model
a46f085f90f28c93923a2f1e96b1081a7a6bb062	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	InstanceInFolder	TlcEval	False	Passed	Model Under Test Equivalent Model
3de983acb472e93b2f8c3254b53e8353d2d6e182	Apalache	InstanceInFolder	BagBagToSet	True	Passed	Model Under Test Equivalent Model
87d99493773790f44c38fcbad7ac0f8404ab4096	Apalache	InstanceInFolder	BagBagToSet	False	Passed	Model Under Test Equivalent Model
8b7b87b67e23f0b340311224c9d96deaf785bd12	Apalache	InstanceInFolder	BagSetToBag	True	Passed	Model Under Test Equivalent Model
b187b9f91551de4a8def8044682af91399c1e48f	Apalache	InstanceInFolder	BagSetToBag	False	Passed	Model Under Test Equivalent Model
ba68835407bb8935746a6507b4625526816abba4	Apalache	InstanceInFolder	BagBagIn	True	Passed	Model Under Test Equivalent Model
75db41974ad46c6d7c1d6a1395da8c4d9aee2cb0	Apalache	InstanceInFolder	BagBagIn	False	Passed	Model Under Test Equivalent Model
c7d605450f7fb8c4690b8439f2aa6549e0dddab1	Apalache	InstanceInFolder	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
38cd5843e0ee0ef6a1030f2687dfebea54dab5e8	Apalache	InstanceInFolder	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
36ad4750b9334476600647d3181fdb32d3a66b32	Apalache	InstanceInFolder	BagAddBag	True	Passed	Model Under Test Equivalent Model
47ddcb7e45677ab79b72ffdd9eafae858efe24b6	Apalache	InstanceInFolder	BagAddBag	False	Passed	Model Under Test Equivalent Model
f53fc2a88e7c1f5f6d6ec7d0a8122863bd04cd0e	Apalache	InstanceInFolder	BagBagSub	True	Passed	Model Under Test Equivalent Model
cc0ee4f5074d89ca79b132192ae13f0cc9c6a4b1	Apalache	InstanceInFolder	BagBagSub	False	Passed	Model Under Test Equivalent Model
4ef46eb1e686231b1e6dc0516cda7fd8d97e016f	Apalache	InstanceInFolder	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
eb95a4ca1a0240f967ded8bc86302809dfbb2dfe	Apalache	InstanceInFolder	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
8d10128bd52c4232add9803d145ccaadbec1cbc9	Apalache	InstanceInFolder	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
f374b23b66b3c26068d2e56c195d55a29c6cce24	Apalache	InstanceInFolder	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
b828c514262af2cd2fcd56f06c9716cd62935071	Apalache	InstanceInFolder	BagBagUnion	True	Passed	Model Under Test Equivalent Model
9f10910a31657321b0ca2591b61e1cc9f1404aae	Apalache	InstanceInFolder	BagBagUnion	False	Passed	Model Under Test Equivalent Model
ed5cd936078858475e08d5016e90788d2ef06313	Apalache	InstanceInFolder	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
d1bdd00ae7e810a0f684232aabadfa569618b0eb	Apalache	InstanceInFolder	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
32daa0cfd7b17f0d3e4e753462ec3ce4980186e6	Apalache	InstanceInFolder	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
2dcaa4c2d8f2272f5b65fb4c2f31713f07c772a9	Apalache	InstanceInFolder	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
e89c0ba5b937744f355d169d8856c7a2789a43ee	TLC with reduction strategy: Plug Feature: SubBag(B) is reduced to equivalent SubBagR implementation	InstanceInFolder	BagSubBag	True	Passed	Model Under Test Equivalent Model
dd0d08a70c1e35217c5c8903976a23606ecf158b	TLC with reduction strategy: Plug Feature: SubBag(B) is reduced to equivalent SubBagR implementation	InstanceInFolder	BagSubBag	False	Passed	Model Under Test Equivalent Model
748147525eec33b9a2982216ea344be560fbd5a8	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)	InstanceInFolder	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
8209605c6a0d166c0733fb7f7e4ab1abd3f63aff	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)	InstanceInFolder	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
f5137ee197b1ed51ae22fc562c1bc3d9ea59dd3c	Apalache	InstanceInFolder	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
4a56bc29154fc94507f958d50bd18b2c6c607ccb	Apalache	InstanceInFolder	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
b26f0b7118652e1074dc9ae6821aa9b7da135b35	Apalache	InstanceInFolder	SeqHead	True	Passed	Model Under Test Equivalent Model
26706a902001d40a11734f0b75c77a7468b256f3	Apalache	InstanceInFolder	SeqHead	False	Passed	Model Under Test Equivalent Model
76b3b4b2a32a146556edf6e69582d5dcf14cd634	Apalache	InstanceInFolder	SeqTail	True	Passed	Model Under Test Equivalent Model
d6ef66fd8673139110e458b0995b5263ef7d6ac0	Apalache	InstanceInFolder	SeqTail	False	Passed	Model Under Test Equivalent Model
f9afe6527c1d40eb44d95614cebed4a3875c297d	Apalache	InstanceInFolder	SeqAppend	True	Passed	Model Under Test Equivalent Model
96299d34d30b7391d5928bb5d543a4231d0efc9a	Apalache	InstanceInFolder	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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