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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
9444f76333fa58aff0c93acb0cbf9733a74d5c02	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceWithInFolder	OneLineComment	True	Passed	Model Under Test Equivalent Model
08e4810042c598033b23459fabf12968a7ac9339	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceWithInFolder	OneLineComment	False	Passed	Model Under Test Equivalent Model
b3c1f53a2bec466c4bf1c1853dc16cdbf27c5cbd	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceWithInFolder	MultiLineComment	True	Passed	Model Under Test Equivalent Model
8e0329e05ad395927b9880ea0108ad1a67a26687	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceWithInFolder	MultiLineComment	False	Passed	Model Under Test Equivalent Model
2dbbb63aa78cf5414472b943a5a0e0b8cf9c87c1	Apalache	InstanceWithInFolder	BoolTrue	True	Passed	Model Under Test Equivalent Model
efb994dfbd0059d697c3c63cc633acd52c85a547	Apalache	InstanceWithInFolder	BoolTrue	False	Passed	Model Under Test Equivalent Model
b405e4fc2afdeb43f3b73a58f8439400df47cc0c	Apalache	InstanceWithInFolder	BoolFalse	True	Passed	Model Under Test Equivalent Model
28136f720547b9d50e55f88ab6e08277eac30df9	Apalache	InstanceWithInFolder	BoolFalse	False	Passed	Model Under Test Equivalent Model
e7d5f402292ba09fba077541144dcf0fb4f34366	Apalache	InstanceWithInFolder	BoolSet	True	Passed	Model Under Test Equivalent Model
f806e545bfa468d8aedc77c713d8537fb6ad0d2e	Apalache	InstanceWithInFolder	BoolSet	False	Passed	Model Under Test Equivalent Model
4594ecc1f579613a486dfeb6c8c6c4fd884214b7	Apalache	InstanceWithInFolder	And	True	Passed	Model Under Test Equivalent Model
168fadddb450a713a51ffb8709837ce895de5e18	Apalache	InstanceWithInFolder	And	False	Passed	Model Under Test Equivalent Model
4d678f45408d78238b20044541acf1af3ea4d2fd	TLC with reduction strategy: Plug Feature: /\ A /\ B == (A /\ B)	InstanceWithInFolder	AndMultiLine	True	Passed	Model Under Test Equivalent Model
94d7a2a72e25fe3768dee2ddd8e473c6062bbdfc	TLC with reduction strategy: Plug Feature: /\ A /\ B == (A /\ B)	InstanceWithInFolder	AndMultiLine	False	Passed	Model Under Test Equivalent Model
9331e89fe06774151ab80d4ac80dbdbacdc23ec1	Apalache	InstanceWithInFolder	Imply	True	Passed	Model Under Test Equivalent Model
e9013fcbe2a16a9ca9f9fea14686581ce74b367b	Apalache	InstanceWithInFolder	Imply	False	Passed	Model Under Test Equivalent Model
30e999fc4ac4c361ca9bcd8f9c32ca1ea88f5199	Apalache	InstanceWithInFolder	Not	True	Passed	Model Under Test Equivalent Model
12ca80172623e499ef080e0c847a6b7233c1fcaf	Apalache	InstanceWithInFolder	Not	False	Passed	Model Under Test Equivalent Model
a7fc64128cc0b182b448666cbef178a169628475	TLC with reduction strategy: Plug Feature: A \/ B == ~(~A /\ ~B)	InstanceWithInFolder	Or	True	Passed	Model Under Test Equivalent Model
2df3687599696385c407bdf4b87723a5ebba3075	TLC with reduction strategy: Plug Feature: A \/ B == ~(~A /\ ~B)	InstanceWithInFolder	Or	False	Passed	Model Under Test Equivalent Model
8b5aa4097fecbd0bcec3c17873b4e511cbcc197a	TLC with reduction strategy: Plug Feature: \/ A \/ B == (A \/ B)	InstanceWithInFolder	OrMultiLine	True	Passed	Model Under Test Equivalent Model
529cfda56647f0263ece2dfc243c38e1e56527e7	TLC with reduction strategy: Plug Feature: \/ A \/ B == (A \/ B)	InstanceWithInFolder	OrMultiLine	False	Passed	Model Under Test Equivalent Model
17e835c2fa03a58d6e2b7ea7b167c126fdf1b378	Apalache	InstanceWithInFolder	AndProp	True	Passed	Model Under Test Equivalent Model
28ae3462624cf39f369d4f2d487a4043dd2bd3a0	Apalache	InstanceWithInFolder	AndProp	False	Passed	Model Under Test Equivalent Model
bfc48051fcd7e92a679b97f22e8573f01604d8fe	Apalache	InstanceWithInFolder	Boxed	True	Passed	Model Under Test Equivalent Model
56d09189ef479c722e4a752c75b036ff6b84ef07	Apalache	InstanceWithInFolder	Boxed	False	Passed	Model Under Test Equivalent Model
e6c9589ed43347ff0e4d413067a9019ce20b98d0	Apalache	InstanceWithInFolder	Eq	True	Passed	Model Under Test Equivalent Model
b360cbdb7314def9c12004614c0e73b46410cdf1	Apalache	InstanceWithInFolder	Eq	False	Passed	Model Under Test Equivalent Model
af947531995c16e9604915e6534b7ee9af5ae250	Apalache	InstanceWithInFolder	Ne	True	Passed	Model Under Test Equivalent Model
04ffa0545a59222008fd2a277aed4c28c4991ef4	Apalache	InstanceWithInFolder	Ne	False	Passed	Model Under Test Equivalent Model
d88ffea98598a259623984522f03f9f146a35405	Apalache	InstanceWithInFolder	Let	True	Passed	Model Under Test Equivalent Model
a9f258632468250efdfa4e66bf49e8a208760fa3	Apalache	InstanceWithInFolder	Let	False	Passed	Model Under Test Equivalent Model
2c09d1c8f6b3b5bd00ad58b1865e5c839e9008d2	Apalache	InstanceWithInFolder	SetEmpty	True	Passed	Model Under Test Equivalent Model
b71796cab6d47eccf544afbc04f266fea1c3cbb1	Apalache	InstanceWithInFolder	SetEmpty	False	Passed	Model Under Test Equivalent Model
187d9d5bfbb043055bd5bfde04555d048fb335cd	Apalache	InstanceWithInFolder	Set0	True	Passed	Model Under Test Equivalent Model
f14e18909fc592cc8dd39871e894601a1ce1a962	Apalache	InstanceWithInFolder	Set0	False	Passed	Model Under Test Equivalent Model
24aa595971a30ae486e2360a128ebea2641bd919	Apalache	InstanceWithInFolder	Set1	True	Passed	Model Under Test Equivalent Model
731e153e8a8806ce6a5a020cbda3beddd96b9cbd	Apalache	InstanceWithInFolder	Set1	False	Passed	Model Under Test Equivalent Model
9958cb29f87aa4021a4fc44ce17f4f3636c93d2a	Apalache	InstanceWithInFolder	Set2	True	Passed	Model Under Test Equivalent Model
bdd8058ebfea47f92b595f941b351708caec66e3	Apalache	InstanceWithInFolder	Set2	False	Passed	Model Under Test Equivalent Model
ca5506103024406d16ff3d46b591aa60875b08da	Apalache	InstanceWithInFolder	Fun	True	Passed	Model Under Test Equivalent Model
7633d3af6ccaa50f6275a3fc9dfe74fc8b79ebe6	Apalache	InstanceWithInFolder	Fun	False	Passed	Model Under Test Equivalent Model
0f3b96564806556be4bc7ba75844b4c9a52f1d8f	Apalache	InstanceWithInFolder	In	True	Passed	Model Under Test Equivalent Model
95dd7265bb6c171f74ce9a9a5112c07cdd6759c2	Apalache	InstanceWithInFolder	In	False	Passed	Model Under Test Equivalent Model
67950e9ebafa70d4d2e6533799ed56624651d222	Apalache	InstanceWithInFolder	NotIn	True	Passed	Model Under Test Equivalent Model
d2040ab34d875c572910d2a6ee53ccc0dbb798f4	Apalache	InstanceWithInFolder	NotIn	False	Passed	Model Under Test Equivalent Model
34d187b19eb18e6f7e14cd16014eb9809236e3d4	Apalache	InstanceWithInFolder	Exists	True	Passed	Model Under Test Equivalent Model
ca5bec5bc2e25dbe655519da0e89ea5a25d96f3e	Apalache	InstanceWithInFolder	Exists	False	Passed	Model Under Test Equivalent Model
44a104a27fe2c389e641aedaa6f02cbd82fd4d37	Apalache	InstanceWithInFolder	Forall	True	Passed	Model Under Test Equivalent Model
d5c61d9a038505317fbbbd48d01b99276a83a918	Apalache	InstanceWithInFolder	Forall	False	Passed	Model Under Test Equivalent Model
bb95aed80b354ac2e95a2712c5d4b61f85064f12	Apalache	InstanceWithInFolder	Choose	True	Passed	Model Under Test Equivalent Model
24bdc2aa98208b90ffc2aa811833bbb98ae87b32	Apalache	InstanceWithInFolder	Choose	False	Passed	Model Under Test Equivalent Model
3e0f5bc9be96f4e87aca82d37cc4740f79afd75f	Apalache	InstanceWithInFolder	Record	True	Passed	Model Under Test Equivalent Model
55f60d1c3cd079aa3abf41673f4202fc047926ad	Apalache	InstanceWithInFolder	Record	False	Passed	Model Under Test Equivalent Model
f9dac157fa4f64eed69dd4d7055efa7c5b3b3a4b	Apalache	InstanceWithInFolder	Tuple	True	Passed	Model Under Test Equivalent Model
819db7e0acf96cc550b95eb22e4f0129ec40ea35	Apalache	InstanceWithInFolder	Tuple	False	Passed	Model Under Test Equivalent Model
d374d362e26246e359a410d5e512ff9b54169d86	Apalache	InstanceWithInFolder	TupleEmpty	True	Passed	Model Under Test Equivalent Model
3330539dc1ff2112709a31621956e469df99aa80	Apalache	InstanceWithInFolder	TupleEmpty	False	Passed	Model Under Test Equivalent Model
e735aecad907abce60044e6a051c46f3ff8e5eaa	Apalache	InstanceWithInFolder	FunApp	True	Passed	Model Under Test Equivalent Model
c0dd5e3634db13824cf1cd1e3f6b557cc246f33c	Apalache	InstanceWithInFolder	FunApp	False	Passed	Model Under Test Equivalent Model
8ac5c67e0cdc3b45c0f0985ac38e0b45ff4d18b6	Apalache	InstanceWithInFolder	Prime	True	Passed	Model Under Test Equivalent Model
118a8474bc18f05251cac016df2552be3f50e4c3	Apalache	InstanceWithInFolder	Prime	False	Passed	Model Under Test Equivalent Model
abdd3ba1d6f848b8fdd59eebf7cf30c2d24c350c	Apalache	InstanceWithInFolder	NumZero	True	Passed	Model Under Test Equivalent Model
10995d57a9ab1e4045e222e71e90b1f69fb97cb8	Apalache	InstanceWithInFolder	NumZero	False	Passed	Model Under Test Equivalent Model
9690b986b94129dd5e0f05172166c9038e7cb0a7	Apalache	InstanceWithInFolder	NumOne	True	Passed	Model Under Test Equivalent Model
c4c87b3b721132f2f5d69002dbf411c2425cf6fc	Apalache	InstanceWithInFolder	NumOne	False	Passed	Model Under Test Equivalent Model
824f57e05555b7edd0875aabd7fcb02436eed655	Apalache	InstanceWithInFolder	NumMaxInt	True	Passed	Model Under Test Equivalent Model
67ebb894a7fbbffe7b7caf6726838e04f79b3024	Apalache	InstanceWithInFolder	NumMaxInt	False	Passed	Model Under Test Equivalent Model
f4c813870f7870677625c176b3872a7fb34e3e3e	Apalache	InstanceWithInFolder	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
4d76341c248a9efddaeeba2af07eb06f3ec3c68c	Apalache	InstanceWithInFolder	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
6ce78dcd415db39a57ce2ee86fffd0dd27d35cca	Apalache	InstanceWithInFolder	NumPlus	True	Passed	Model Under Test Equivalent Model
73aaef301b8b9056d793a524c87442251be58f72	Apalache	InstanceWithInFolder	NumPlus	False	Passed	Model Under Test Equivalent Model
5e6c8ac64b2bcf55bceb6ebe5f8db204e4eb70a0	Apalache	InstanceWithInFolder	NumMinus	True	Passed	Model Under Test Equivalent Model
fae894160ee7982851af4e21286d473cd41d26ab	Apalache	InstanceWithInFolder	NumMinus	False	Passed	Model Under Test Equivalent Model
403c3338c40b7a0da37046efb6a16fd56c5bcfb4	Apalache	InstanceWithInFolder	NumMul	True	Passed	Model Under Test Equivalent Model
953d4f572725dac689586302799d84c5c2b1a598	Apalache	InstanceWithInFolder	NumMul	False	Passed	Model Under Test Equivalent Model
857349f014503ecd78d131d433184f894c66ea37	Apalache	InstanceWithInFolder	NumDiv	True	Passed	Model Under Test Equivalent Model
f3e8ea3b0b79c163d45bb3f16839756e2212c530	Apalache	InstanceWithInFolder	NumDiv	False	Passed	Model Under Test Equivalent Model
2b6b6f6dab87b861bb38f044a30acdbd7dd8b367	Apalache	InstanceWithInFolder	NumMod	True	Passed	Model Under Test Equivalent Model
41b6078f0ca59955aca0ac89aec4ab7f2b91af6b	Apalache	InstanceWithInFolder	NumMod	False	Passed	Model Under Test Equivalent Model
b627ebff9031cd0699e346fe223c88f8472c3000	Apalache	InstanceWithInFolder	NumPow	True	Passed	Model Under Test Equivalent Model
8d0601db5aee1d7d7f7bb62f8680c51820e1b5f0	Apalache	InstanceWithInFolder	NumPow	False	Passed	Model Under Test Equivalent Model
56118527e8b2727cc5c24ea1a11170d79709ecf3	Apalache	InstanceWithInFolder	NumGt	True	Passed	Model Under Test Equivalent Model
1b9eeda02e9cb4ad4d90b09ce3471094736852b4	Apalache	InstanceWithInFolder	NumGt	False	Passed	Model Under Test Equivalent Model
086a15188091e8535a4e1fc9bb3231366b2b8eb0	Apalache	InstanceWithInFolder	NumGe	True	Passed	Model Under Test Equivalent Model
96cb079d80829eb3b887a4d8d1b82f53cc97bfc4	Apalache	InstanceWithInFolder	NumGe	False	Passed	Model Under Test Equivalent Model
91b07687362d90b46f3be073894b18c001289b42	Apalache	InstanceWithInFolder	NumLt	True	Passed	Model Under Test Equivalent Model
8ba57388d319e0ebebd8446b7330b14d5f8743af	Apalache	InstanceWithInFolder	NumLt	False	Passed	Model Under Test Equivalent Model
9c05af101b5f9aea390ae5abda74bd570b2a142c	Apalache	InstanceWithInFolder	NumLe	True	Passed	Model Under Test Equivalent Model
1551954543c43d58e6ee5c097434824625a5d55e	Apalache	InstanceWithInFolder	NumLe	False	Passed	Model Under Test Equivalent Model
7a5ee769a04ff1037c4b060e4925bbdaddae9925	Apalache	InstanceWithInFolder	DefFun	True	Passed	Model Under Test Equivalent Model
aace6649524483d6b1bc72b9615031777b0b9fe5	Apalache	InstanceWithInFolder	DefFun	False	Passed	Model Under Test Equivalent Model
46d26f581784f33b5b8d0f42b71080b036007561	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceWithInFolder	LetDefFun	True	Passed	Model Under Test Equivalent Model
00644087cd3385048e5d9cdd163689a2db54f277	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceWithInFolder	LetDefFun	False	Passed	Model Under Test Equivalent Model
4b64a99be6e9a1404aa99cf8f23151c4db85517b	Apalache	InstanceWithInFolder	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
294848b6a47dfa42b2720c474363957badfe39aa	Apalache	InstanceWithInFolder	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
f01b0082f2f0d8dece1b9436249beb7edddf010a	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceWithInFolder	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
0953e82f983f46ad52fbd562916a486c064344fe	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceWithInFolder	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
dd981588df0200619cdddaf0a4ffb537f19154fe	Apalache	InstanceWithInFolder	Def0	True	Passed	Model Under Test Equivalent Model
0a9844c2db7d02def490b7e24be17ce0fbb4258b	Apalache	InstanceWithInFolder	Def0	False	Passed	Model Under Test Equivalent Model
3acb384344aa20cf963493caa7dc072ebc0b669e	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceWithInFolder	LetDef0	True	Passed	Model Under Test Equivalent Model
d9214530ce35b2a62cb7314fc2c52885d50afc03	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceWithInFolder	LetDef0	False	Passed	Model Under Test Equivalent Model
89f5dae9a00812b4958c9c070ab0e0f35407e9a6	Apalache	InstanceWithInFolder	Def1	True	Passed	Model Under Test Equivalent Model
877dc18efd77392c2a40b912744ee7357f4dc6f6	Apalache	InstanceWithInFolder	Def1	False	Passed	Model Under Test Equivalent Model
c74f5989a7d408cca9f4f85d119387791ace0cb5	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceWithInFolder	LetDef1	True	Passed	Model Under Test Equivalent Model
5d784d379ff7f239315f1e22d9d2250b989e5b1c	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceWithInFolder	LetDef1	False	Passed	Model Under Test Equivalent Model
dc018d4d893ef729ed2ae0143303af256202eedb	Apalache	InstanceWithInFolder	Def2	True	Passed	Model Under Test Equivalent Model
000f1769f8301f37ed9af589c935fca660287fe2	Apalache	InstanceWithInFolder	Def2	False	Passed	Model Under Test Equivalent Model
5d5292144f07addc15728c1928bb73b0e79d703a	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceWithInFolder	LetDef2	True	Passed	Model Under Test Equivalent Model
c7309ef8cc64e5b5a488e43922b9821eb9aecc97	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceWithInFolder	LetDef2	False	Passed	Model Under Test Equivalent Model
94b61768f52fa17dafdd6d230829db5f2109d100	Apalache	InstanceWithInFolder	Def1Recursive	True	Passed	Model Under Test Equivalent Model
baf904b3cc8385abef2d5f8f0c94e0e1ae527694	Apalache	InstanceWithInFolder	Def1Recursive	False	Passed	Model Under Test Equivalent Model
de3115f5e77f1b92bdcf0640bb2c7e99a2096fdd	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceWithInFolder	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
f9a3250815e177b9889c0d3ef4d76fb41c9efdd9	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceWithInFolder	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
dda6b25116e066ef65a2bf69da964829a0530865	Apalache	InstanceWithInFolder	Extends	True	Passed	Model Under Test Equivalent Model
b65b5b58c3e586834b20fa49eeec0107ce4fc9b0	Apalache	InstanceWithInFolder	Extends	False	Passed	Model Under Test Equivalent Model
6c075976b71296e9e17a460197f53b5169056400	Apalache	InstanceWithInFolder	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
63b2a3ec5572443d2c434dc04f2886333319db18	Apalache	InstanceWithInFolder	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
54f07302b55b58106bfdecb0a39b4c49218d9e10	Apalache	InstanceWithInFolder	Variable	True	Passed	Model Under Test Equivalent Model
946e7babca7445beab891982d1ff304f1b049239	Apalache	InstanceWithInFolder	Variable	False	Passed	Model Under Test Equivalent Model
9ee7c7d13e1cb840f588a0f93949fee5d9a152c8	Apalache	InstanceWithInFolder	Constant	True	Passed	Model Under Test Equivalent Model
2be063591fe01a2913e50d53a7a1a8d8abb9ab73	Apalache	InstanceWithInFolder	Constant	False	Passed	Model Under Test Equivalent Model
8f352165da7d44c346f893aeaa8985398aca8848	Apalache	InstanceWithInFolder	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
69b1f60dcf3d4842820e6343a36cd170e60dcb66	Apalache	InstanceWithInFolder	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
c81a07108d00dcf72c4b0ada9232aece1191e9f7	Apalache	InstanceWithInFolder	ConstantRank1	True	Passed	Model Under Test Equivalent Model
6512aec031c7d955441e969387eea9f1fb7bf91f	Apalache	InstanceWithInFolder	ConstantRank1	False	Passed	Model Under Test Equivalent Model
ba0342cd028ff192a64acce5976a5a546cd2cc76	Apalache	InstanceWithInFolder	Instance	True	Passed	Model Under Test Equivalent Model
1719de79ba40c6ca09f0a5cf276f4621442b47a5	Apalache	InstanceWithInFolder	Instance	False	Passed	Model Under Test Equivalent Model
74d2041055f880b1d9b817a37f5fb1fb50d2523e	Apalache	InstanceWithInFolder	InstanceWith	True	Passed	Model Under Test Equivalent Model
b18898451802897233fecae2b40867ff2b57648a	Apalache	InstanceWithInFolder	InstanceWith	False	Passed	Model Under Test Equivalent Model
26e681bcee94481dad0d1ec1b35c324052a2bbad	Apalache	InstanceWithInFolder	InstanceNamed	True	Passed	Model Under Test Equivalent Model
02087af64eaecaddff5a8404349e9a14554a2f73	Apalache	InstanceWithInFolder	InstanceNamed	False	Passed	Model Under Test Equivalent Model
84323cf5e2935f2817554cf725a654ba9eafaf92	Apalache	InstanceWithInFolder	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
3892035bd67a02e0d4d90980c1637058b66ec583	Apalache	InstanceWithInFolder	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
b31fb73199ab7b134d8a6be5b8c868c7e3edb5f1	Apalache	InstanceWithInFolder	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
9071c47e366d4829bb7b48cd9640a828cf592479	Apalache	InstanceWithInFolder	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
9ea95d34c83753cbd9af3a15e3ffa36370ab3f50	Apalache	InstanceWithInFolder	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
c246b4a32611b5d2f8d1330cbc48fe7ce55af0d1	Apalache	InstanceWithInFolder	InstanceWithInFolder	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
911b959439a34a0971ccf15d61157d50564c638d	Apalache	InstanceWithInFolder	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
95bbe0457984bdce130f0595b96c01d92661c9fa	Apalache	InstanceWithInFolder	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
d1c098750bb8ca0a9367b59ceedb8dfbe66d5fda	Apalache	InstanceWithInFolder	Enabled	True	Passed	Model Under Test Equivalent Model
0b7b1d28a6134156320c2fc149b4f7f8a8b9e927	Apalache	InstanceWithInFolder	Enabled	False	Passed	Model Under Test Equivalent Model
4bd82f646a09c5d7d7221d8f0241233842535ed3	Apalache	InstanceWithInFolder	Cross2	True	Passed	Model Under Test Equivalent Model
c6f28de34d20614750e3b15ea48ac3362bed77c7	Apalache	InstanceWithInFolder	Cross2	False	Passed	Model Under Test Equivalent Model
bf438dc4350263bc39ed0850901c1e5616624a15	Apalache	InstanceWithInFolder	Cross3	True	Passed	Model Under Test Equivalent Model
f0f2ce48dbf548222f7ed57ba53724db6b14190a	Apalache	InstanceWithInFolder	Cross3	False	Passed	Model Under Test Equivalent Model
865a9f7fc502a711f860adf34a221ed37c3cc97d	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))	InstanceWithInFolder	FunSet	True	Passed	Model Under Test Equivalent Model
b6d9d15fc3e47280901c26516a3e697f5163bae4	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))	InstanceWithInFolder	FunSet	False	Passed	Model Under Test Equivalent Model
8dab1333c508d2a745d2f433d80c97764ba2e149	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)	InstanceWithInFolder	RecordSet	True	Passed	Model Under Test Equivalent Model
12009768d815033d9a7724e1583144aaff9b613c	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)	InstanceWithInFolder	RecordSet	False	Passed	Model Under Test Equivalent Model
a48e33f45d4c8db611fce11e0a4754029042d7e8	Apalache	InstanceWithInFolder	SetDiff	True	Passed	Model Under Test Equivalent Model
50cde519693bcb89c3daf04335cd176a386f14e0	Apalache	InstanceWithInFolder	SetDiff	False	Passed	Model Under Test Equivalent Model
0fd6f770f38edfafb6bdb900aed468fe11dd113b	Apalache	InstanceWithInFolder	SetUnion	True	Passed	Model Under Test Equivalent Model
0be7a7b8fba46af1c6fef5ca8d0cebc096f53fd5	Apalache	InstanceWithInFolder	SetUnion	False	Passed	Model Under Test Equivalent Model
df6467ee3c217b2b004d33f61bcd363da7deb57a	Apalache	InstanceWithInFolder	SetIntersect	True	Passed	Model Under Test Equivalent Model
5d5b8c2d293becda49256cfb73156f1b42502468	Apalache	InstanceWithInFolder	SetIntersect	False	Passed	Model Under Test Equivalent Model
cd44d2732f3f92ab78514992f2bb9ca48ee0fee9	Apalache	InstanceWithInFolder	SubsetEq	True	Passed	Model Under Test Equivalent Model
09f922de8eafac7ae30768c1638ceea58da22da6	Apalache	InstanceWithInFolder	SubsetEq	False	Passed	Model Under Test Equivalent Model
c8a8c82e16a85e9dc19a2fa8f3501014c115e9c6	Apalache	InstanceWithInFolder	IfCond	True	Passed	Model Under Test Equivalent Model
ec3360a58b609cf83eea6f73db57c2f2a683cc79	Apalache	InstanceWithInFolder	IfCond	False	Passed	Model Under Test Equivalent Model
cd6dd8d811c90d6e686129efdf26f7fa13d54af5	Apalache	InstanceWithInFolder	IfThen	True	Passed	Model Under Test Equivalent Model
3f6a879eae5165643a7b8d503cb92f614e20e8e7	Apalache	InstanceWithInFolder	IfThen	False	Passed	Model Under Test Equivalent Model
21afab4cc531ee16bfbd9f3fe50b4559009f2f8f	Apalache	InstanceWithInFolder	IfElse	True	Passed	Model Under Test Equivalent Model
fb7e34c91152709c0731ad4faa3e494a714a7da0	Apalache	InstanceWithInFolder	IfElse	False	Passed	Model Under Test Equivalent Model
28b9c846e7565636460f0c0358b5536d3967ab3b	Apalache	InstanceWithInFolder	Subset	True	Passed	Model Under Test Equivalent Model
e8fbd810e87fc2560ecb57a2bf040f4298553130	Apalache	InstanceWithInFolder	Subset	False	Passed	Model Under Test Equivalent Model
cfaf30d502b77fb0f22e274ababef38999bad201	Apalache	InstanceWithInFolder	Domain	True	Passed	Model Under Test Equivalent Model
3b9ba2ebce367996519fe30559e526f3205b87bb	Apalache	InstanceWithInFolder	Domain	False	Passed	Model Under Test Equivalent Model
041d43147a869e2b73053f3adc87750b7d945c67	Apalache	InstanceWithInFolder	Union	True	Passed	Model Under Test Equivalent Model
38b89e11c293c1eda040664a3972fd95bc27493a	Apalache	InstanceWithInFolder	Union	False	Passed	Model Under Test Equivalent Model
42b946785b50672d4a345e47d5c25421b3282a16	Apalache	InstanceWithInFolder	Unchanged	True	Passed	Model Under Test Equivalent Model
ca81bc09593e4f505a0102309191b948437ae9c4	Apalache	InstanceWithInFolder	Unchanged	False	Passed	Model Under Test Equivalent Model
e062d891e3c0ad030e94e6ccffb763851db79212	Apalache	InstanceWithInFolder	Equivalence	True	Passed	Model Under Test Equivalent Model
a7433cf689a7fe2c3d85035720fea0337b9cf145	Apalache	InstanceWithInFolder	Equivalence	False	Passed	Model Under Test Equivalent Model
94bb69151416f4540fcbce8ee73b5b4bd12928fd	Apalache	InstanceWithInFolder	StringEmpty	True	Passed	Model Under Test Equivalent Model
d782e4c3adb5e2425589fc65d48066ed7f045464	Apalache	InstanceWithInFolder	StringEmpty	False	Passed	Model Under Test Equivalent Model
aad4b07b8e3e51562b659dc5b86c292a5f4cd3e5	Apalache	InstanceWithInFolder	String	True	Passed	Model Under Test Equivalent Model
6287635b3fce79599338f0f0c4dee35c0d5f7d71	Apalache	InstanceWithInFolder	String	False	Passed	Model Under Test Equivalent Model
5996825c864bdb04d4c7d71ec245f1f7c88dda47	Apalache	InstanceWithInFolder	SeqLen	True	Passed	Model Under Test Equivalent Model
c95b2d6e3d8dd148dbc942b953e53eae881c68c6	Apalache	InstanceWithInFolder	SeqLen	False	Passed	Model Under Test Equivalent Model
79219f50b4241471aa7a275639a97f62f6f2f5dc	Apalache	InstanceWithInFolder	SeqConcat	True	Passed	Model Under Test Equivalent Model
a6736eb9a16c4b86cbc15a0960ee7141f878979b	Apalache	InstanceWithInFolder	SeqConcat	False	Passed	Model Under Test Equivalent Model
39d144a8de99713c7a8c8cac3c9b8a3a0177fc8f	Apalache	InstanceWithInFolder	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
c5a8a4378e8dfb51c89618414ad877fcf1d86860	Apalache	InstanceWithInFolder	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
c3ce5eaa8c28fb1ebf929c6efcdb9a111dc09bda	Apalache	InstanceWithInFolder	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
0ce0d71672c2b8a81235d866da19bb2194da4393	Apalache	InstanceWithInFolder	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
46a176ce9d94835c4978e6b4cae472e4ce203af5	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	InstanceWithInFolder	NumRange	True	Passed	Model Under Test Equivalent Model
59fe011f427d9d4e9913199a498409192fdebf9b	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	InstanceWithInFolder	NumRange	False	Passed	Model Under Test Equivalent Model
cca58c87c828f08f0a35a77056882d1dc19577eb	TLC with reduction strategy: Plug Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	InstanceWithInFolder	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
d60f96c0f7695ab038a9e23c4f112139fd39d04a	TLC with reduction strategy: Plug Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	InstanceWithInFolder	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
948f0bb0d2880613af01cde81cad18b7866f9ade	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]]	InstanceWithInFolder	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
f0dea2f10029b95e06860c4e48f3dd6d46c5635c	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]]	InstanceWithInFolder	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
a8d6ae39eb1d436ceef3946ff255d5b32228506a	TLC with reduction strategy: Plug Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	InstanceWithInFolder	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
4a897b8e5790cab012737acb7e200cc1f043dbe7	TLC with reduction strategy: Plug Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	InstanceWithInFolder	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
69f75b269cbaae63c8ea3ad45045906f3c76aecc	TLC with reduction strategy: Plug Feature: SortSeq(S) is reduced to equivalent sort implementation	InstanceWithInFolder	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
3f8f4f0f0ffe9fa3aa45e357b36082bbfb92837a	TLC with reduction strategy: Plug Feature: SortSeq(S) is reduced to equivalent sort implementation	InstanceWithInFolder	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
0d1540ba54c3e81a8d072a7932664fc55750a708	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	InstanceWithInFolder	TlcEval	True	Passed	Model Under Test Equivalent Model
a626d9034d7798b5f34076a1a7818342e0d77f15	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	InstanceWithInFolder	TlcEval	False	Passed	Model Under Test Equivalent Model
51f8a7267f22d390b93fdaa211ad46e66908d40a	Apalache	InstanceWithInFolder	BagBagToSet	True	Passed	Model Under Test Equivalent Model
40439ba21894c2bdd4df6e69fc7303eac3c26d8f	Apalache	InstanceWithInFolder	BagBagToSet	False	Passed	Model Under Test Equivalent Model
07fc127091710368d997e1b3f9739fb365466174	Apalache	InstanceWithInFolder	BagSetToBag	True	Passed	Model Under Test Equivalent Model
5c29e138e7fe4a690a731f8d13e083f9eebc3910	Apalache	InstanceWithInFolder	BagSetToBag	False	Passed	Model Under Test Equivalent Model
633ab4ef135a048c7d08880437ab8f9c68a449ca	Apalache	InstanceWithInFolder	BagBagIn	True	Passed	Model Under Test Equivalent Model
f7084a6206306752e84e82314ba464db6737ed3f	Apalache	InstanceWithInFolder	BagBagIn	False	Passed	Model Under Test Equivalent Model
4369b13b4fabea14332bffea13f7577e11ae9659	Apalache	InstanceWithInFolder	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
88ba5e65e21e6b71a49f5932c007a711b45dd798	Apalache	InstanceWithInFolder	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
88acbd0a5f54e3d7e67e9817b089fad930e81ef0	Apalache	InstanceWithInFolder	BagAddBag	True	Passed	Model Under Test Equivalent Model
8c345af952e5da3e2b0a4617ac97e061c8b723a9	Apalache	InstanceWithInFolder	BagAddBag	False	Passed	Model Under Test Equivalent Model
42b70f7c1bbfc58e3108f42288d3846afa0e482b	Apalache	InstanceWithInFolder	BagBagSub	True	Passed	Model Under Test Equivalent Model
879fa43ac6c5d46463fffeb0298e4846cf2a5da5	Apalache	InstanceWithInFolder	BagBagSub	False	Passed	Model Under Test Equivalent Model
f850685db6ae66c8714c936c25ed0c37c9750e9b	Apalache	InstanceWithInFolder	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
55035f0b953cd44c9a1f14fefb920c090f79369c	Apalache	InstanceWithInFolder	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
df87dbf2baa409fd544a443dd258278448374873	Apalache	InstanceWithInFolder	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
834d569d11754cedf254d60cabe7a3a4ec0fded3	Apalache	InstanceWithInFolder	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
b1cafd6767ac43d64fe99147dfd23f4e4eabf0d6	Apalache	InstanceWithInFolder	BagBagUnion	True	Passed	Model Under Test Equivalent Model
24e148e7e507d301df883a1b706c936fda71655d	Apalache	InstanceWithInFolder	BagBagUnion	False	Passed	Model Under Test Equivalent Model
e5a2cf5769d86d9771e8d14bbad415c3a684fe58	Apalache	InstanceWithInFolder	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
05156e423c23c7792e35dbfee56327f18f03418c	Apalache	InstanceWithInFolder	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
c4aedab465bae333e1d59b4c9814bbf158e144bc	Apalache	InstanceWithInFolder	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
051ddfc0bc58beb968e66ee58da0b0f8351ce68e	Apalache	InstanceWithInFolder	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
3ec723f343392285ba3adb344b185f1e6d2fab97	TLC with reduction strategy: Plug Feature: SubBag(B) is reduced to equivalent SubBagR implementation	InstanceWithInFolder	BagSubBag	True	Passed	Model Under Test Equivalent Model
6395ed423052be4b865915bb5fdd4072768b6f16	TLC with reduction strategy: Plug Feature: SubBag(B) is reduced to equivalent SubBagR implementation	InstanceWithInFolder	BagSubBag	False	Passed	Model Under Test Equivalent Model
75355816d73cacc4dda42e00da1cb56b526d8126	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)	InstanceWithInFolder	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
8454ebeb894590e8ef1a1a45d1426f60ce0666a1	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)	InstanceWithInFolder	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
899b56338d1b6560f4973315ce58690ab1f86e91	Apalache	InstanceWithInFolder	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
55ab321ea253a405dfc4f2700a5e20ec0fb1179a	Apalache	InstanceWithInFolder	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
8ccdc6c19854a621f6885c9fd96289af6f1ee39f	Apalache	InstanceWithInFolder	SeqHead	True	Passed	Model Under Test Equivalent Model
a6694a4329397d55b970cc063d97d6af29d8a21b	Apalache	InstanceWithInFolder	SeqHead	False	Passed	Model Under Test Equivalent Model
a8f86df3a98eff6b9f0f94a3b07dbae4818bcb74	Apalache	InstanceWithInFolder	SeqTail	True	Passed	Model Under Test Equivalent Model
5264a62e7b44a37d53ce9d186c65528307ad5260	Apalache	InstanceWithInFolder	SeqTail	False	Passed	Model Under Test Equivalent Model
3ea7ab8d784b970fa113bdd87f074d91d4729e30	Apalache	InstanceWithInFolder	SeqAppend	True	Passed	Model Under Test Equivalent Model
e88fe0cbbbcfd8dd95f83f366e9bc138039f60f5	Apalache	InstanceWithInFolder	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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