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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
2175e213c637d973b4c95ee8abf5cff5ee67e9b6	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamedWith	OneLineComment	True	Passed	Model Under Test Equivalent Model
ef707e2689b5de0039bfdce022c60214a18c2ed6	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamedWith	OneLineComment	False	Passed	Model Under Test Equivalent Model
d1a51daff6ffb1b0036d9aa44391ffd286dbd170	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamedWith	MultiLineComment	True	Passed	Model Under Test Equivalent Model
eb53ebc8bfd864c3867fad1e605a5615f10d4a07	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamedWith	MultiLineComment	False	Passed	Model Under Test Equivalent Model
7b9665dc17de1692ca94ade6dca8e327353e883f	Apalache	InstanceNamedWith	BoolTrue	True	Passed	Model Under Test Equivalent Model
7c339496ea8de87b0e9f449e814d23b81215a07d	Apalache	InstanceNamedWith	BoolTrue	False	Passed	Model Under Test Equivalent Model
90fd9daab81221afee6ce88c42448621ec9afb45	Apalache	InstanceNamedWith	BoolFalse	True	Passed	Model Under Test Equivalent Model
4e97856939057fc81a11c6e4e811523e016df94c	Apalache	InstanceNamedWith	BoolFalse	False	Passed	Model Under Test Equivalent Model
69f4d4b9299187cd57e553c1460607f91c17279f	Apalache	InstanceNamedWith	BoolSet	True	Passed	Model Under Test Equivalent Model
792d36c57a9d84e09b4a5dbc671c62b155ea9bce	Apalache	InstanceNamedWith	BoolSet	False	Passed	Model Under Test Equivalent Model
3dcf9d70aa78a456cbb182efd7f781ab96e66a16	Apalache	InstanceNamedWith	And	True	Passed	Model Under Test Equivalent Model
e3668795bee711dbb38f57c3ed4dada9423a4f0b	Apalache	InstanceNamedWith	And	False	Passed	Model Under Test Equivalent Model
338d734f058be0c044f76920936f2bb11b544a3c	TLC with reduction strategy: Plug Feature: /\ A /\ B == (A /\ B)	InstanceNamedWith	AndMultiLine	True	Passed	Model Under Test Equivalent Model
8f82178cb44c611d9846c3ba2a4e61d5a771491e	TLC with reduction strategy: Plug Feature: /\ A /\ B == (A /\ B)	InstanceNamedWith	AndMultiLine	False	Passed	Model Under Test Equivalent Model
2cba73f192c872a612f74513a91a2294c9ecd92a	Apalache	InstanceNamedWith	Imply	True	Passed	Model Under Test Equivalent Model
d40be38bef8b8555eb8c56628f077e051073286b	Apalache	InstanceNamedWith	Imply	False	Passed	Model Under Test Equivalent Model
15cb67f320745cb2e12f265a278c2240075bdaa7	Apalache	InstanceNamedWith	Not	True	Passed	Model Under Test Equivalent Model
c08e9332bad9631a39d7eb597c1009acf6709e4b	Apalache	InstanceNamedWith	Not	False	Passed	Model Under Test Equivalent Model
510ac217b0383eb143bf47371f7c0b57373dd2d6	TLC with reduction strategy: Plug Feature: A \/ B == ~(~A /\ ~B)	InstanceNamedWith	Or	True	Passed	Model Under Test Equivalent Model
5ab736b82def45e4f28886d13ba670e3aad119a4	TLC with reduction strategy: Plug Feature: A \/ B == ~(~A /\ ~B)	InstanceNamedWith	Or	False	Passed	Model Under Test Equivalent Model
a47144b036c3c372c63e714fa5450f2fc8cc3143	TLC with reduction strategy: Plug Feature: \/ A \/ B == (A \/ B)	InstanceNamedWith	OrMultiLine	True	Passed	Model Under Test Equivalent Model
0ae7bb0ae61b5b49b3a1718d247759ecf7cf4739	TLC with reduction strategy: Plug Feature: \/ A \/ B == (A \/ B)	InstanceNamedWith	OrMultiLine	False	Passed	Model Under Test Equivalent Model
fed6cd56c2bc75a3b3cdd797d23332627122c7b3	Apalache	InstanceNamedWith	AndProp	True	Passed	Model Under Test Equivalent Model
3b9371658b780b75a725ad1787cca013e32565b2	Apalache	InstanceNamedWith	AndProp	False	Passed	Model Under Test Equivalent Model
f294dd7429cf496f3ff00cab841b7f48328ff3bf	Apalache	InstanceNamedWith	Boxed	True	Passed	Model Under Test Equivalent Model
47736123732736417ced77fc1faa5bd42998bf68	Apalache	InstanceNamedWith	Boxed	False	Passed	Model Under Test Equivalent Model
96b31aaef89376c49040e26dfaaf2b2d4c080138	Apalache	InstanceNamedWith	Eq	True	Passed	Model Under Test Equivalent Model
e3bf24f50d625e8fc19bd2a3d379360ed0fc5aff	Apalache	InstanceNamedWith	Eq	False	Passed	Model Under Test Equivalent Model
0cc9237d0a747170131a2dd3e0e2dfcd310c789d	Apalache	InstanceNamedWith	Ne	True	Passed	Model Under Test Equivalent Model
06b6239912a4d2c199b269de6f6119eadb58b163	Apalache	InstanceNamedWith	Ne	False	Passed	Model Under Test Equivalent Model
d0f76ae1d20a09d2a6bdbba9128d812f4ea1e8cb	Apalache	InstanceNamedWith	Let	True	Passed	Model Under Test Equivalent Model
7f86b88c3eca00bea8715e457cf70a5605afecd3	Apalache	InstanceNamedWith	Let	False	Passed	Model Under Test Equivalent Model
4bac77b0e08918a543be6258f43a8ccd9c9f9a4a	Apalache	InstanceNamedWith	SetEmpty	True	Passed	Model Under Test Equivalent Model
cb28fa1a2d5c6d5bb3c67991b65c894b076ca2e7	Apalache	InstanceNamedWith	SetEmpty	False	Passed	Model Under Test Equivalent Model
50a9ad68ceac9a0f4fed7425360f0c8823b48337	Apalache	InstanceNamedWith	Set0	True	Passed	Model Under Test Equivalent Model
9a4800d129b7c2ac92cf9d01046a764932aff5b5	Apalache	InstanceNamedWith	Set0	False	Passed	Model Under Test Equivalent Model
66f025eadec97bf2c8f5aeca57eab0ac0bbb9e31	Apalache	InstanceNamedWith	Set1	True	Passed	Model Under Test Equivalent Model
4a1af04168017cce8826e5ffde0598ebd33440f6	Apalache	InstanceNamedWith	Set1	False	Passed	Model Under Test Equivalent Model
1c83206a98d2a96d71867992901db5e8068fd1e7	Apalache	InstanceNamedWith	Set2	True	Passed	Model Under Test Equivalent Model
911fb60d2fbdacd15da4ce239975cea6cb312ee6	Apalache	InstanceNamedWith	Set2	False	Passed	Model Under Test Equivalent Model
770f35e0cab390f9d961aeeebe830813265372e8	Apalache	InstanceNamedWith	Fun	True	Passed	Model Under Test Equivalent Model
d8fd86eece7e91559ccd572a5b9adadd18e1fc0e	Apalache	InstanceNamedWith	Fun	False	Passed	Model Under Test Equivalent Model
819879b7357b026d839599f318896c744b532b47	Apalache	InstanceNamedWith	In	True	Passed	Model Under Test Equivalent Model
b67688d59f7302e5ae7816682700cf3f9cf34bb9	Apalache	InstanceNamedWith	In	False	Passed	Model Under Test Equivalent Model
80e57d253aa2b9e19142fee4ae786026e08a1df8	Apalache	InstanceNamedWith	NotIn	True	Passed	Model Under Test Equivalent Model
56eabd7af7327468a67b2e548c0291ce0ddef95f	Apalache	InstanceNamedWith	NotIn	False	Passed	Model Under Test Equivalent Model
62588c3466e7a792b2e3906a2a41c005e33e157b	Apalache	InstanceNamedWith	Exists	True	Passed	Model Under Test Equivalent Model
af2937ecba65c762c622052403fe711749df6a2a	Apalache	InstanceNamedWith	Exists	False	Passed	Model Under Test Equivalent Model
4798756c2c1f2103bc857aca1e20f29bfbef7409	Apalache	InstanceNamedWith	Forall	True	Passed	Model Under Test Equivalent Model
d3a56be2ab304976e57eb2d3a62e453b31ccc895	Apalache	InstanceNamedWith	Forall	False	Passed	Model Under Test Equivalent Model
b20df7a67384cc53885de51a3630b1bafbb7e0a5	Apalache	InstanceNamedWith	Choose	True	Passed	Model Under Test Equivalent Model
2a5292a3edb413d3d35ddd5ace74a483fbd7de66	Apalache	InstanceNamedWith	Choose	False	Passed	Model Under Test Equivalent Model
235dd8085b7249001e537f20d53251c5867ddc85	Apalache	InstanceNamedWith	Record	True	Passed	Model Under Test Equivalent Model
3a09a8b0d2f509ee67c7a2eb95fa6ea355b3515e	Apalache	InstanceNamedWith	Record	False	Passed	Model Under Test Equivalent Model
4e0180089da1d8655fb9c4ddb0ee6a3e840eb3c0	Apalache	InstanceNamedWith	Tuple	True	Passed	Model Under Test Equivalent Model
2711dd3886d6fe368359ac458eb4e23bb40b589c	Apalache	InstanceNamedWith	Tuple	False	Passed	Model Under Test Equivalent Model
9cf4cf676a308016161fe2e020860325fb88863f	Apalache	InstanceNamedWith	TupleEmpty	True	Passed	Model Under Test Equivalent Model
7c5a45a69073e336fef59d8a53022d28c1230603	Apalache	InstanceNamedWith	TupleEmpty	False	Passed	Model Under Test Equivalent Model
c57f4b77031d05d2c0fb3772ecd2be017097ca7c	Apalache	InstanceNamedWith	FunApp	True	Passed	Model Under Test Equivalent Model
209db169dafa30e228c61c32ac503829e10ff61c	Apalache	InstanceNamedWith	FunApp	False	Passed	Model Under Test Equivalent Model
f7ff1f8e21396f7a0f2074d94ca24df9d3600d81	Apalache	InstanceNamedWith	Prime	True	Passed	Model Under Test Equivalent Model
86f5bba37a03621c89697c871cc7b6bece598405	Apalache	InstanceNamedWith	Prime	False	Passed	Model Under Test Equivalent Model
4984992df531440f5d71dcefb2b4e99a054a27b8	Apalache	InstanceNamedWith	NumZero	True	Passed	Model Under Test Equivalent Model
a19e64ba23301a430ec5eee3d71e244b027627cb	Apalache	InstanceNamedWith	NumZero	False	Passed	Model Under Test Equivalent Model
689f3d1fe19ccce5a8a6a60def467c021d128aea	Apalache	InstanceNamedWith	NumOne	True	Passed	Model Under Test Equivalent Model
b96bc5fec2053e81bed5ad836790d01a48f4ba72	Apalache	InstanceNamedWith	NumOne	False	Passed	Model Under Test Equivalent Model
46261a11c61a167d0d7fc109da609cd14f059b46	Apalache	InstanceNamedWith	NumMaxInt	True	Passed	Model Under Test Equivalent Model
8889d39494b9cef04d0db3038958dfd81fbdcc84	Apalache	InstanceNamedWith	NumMaxInt	False	Passed	Model Under Test Equivalent Model
f6694bccf2adea076e06fdfbbec2027087edebf5	Apalache	InstanceNamedWith	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
58ca36553023afe777d0c53806df71f1c6a2d013	Apalache	InstanceNamedWith	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
cb10561f52cb9165303b3eee85786b864f524fa0	Apalache	InstanceNamedWith	NumPlus	True	Passed	Model Under Test Equivalent Model
04918cdb37c04e5314370985e7db99d98104d939	Apalache	InstanceNamedWith	NumPlus	False	Passed	Model Under Test Equivalent Model
4c25e55eed52c0f5632b2e1d99662c14bf720b28	Apalache	InstanceNamedWith	NumMinus	True	Passed	Model Under Test Equivalent Model
7637a52ebe5f74ad3f70f8797698f22f798fd265	Apalache	InstanceNamedWith	NumMinus	False	Passed	Model Under Test Equivalent Model
d23d51c2926c5150edb1426b2209dbf186979599	Apalache	InstanceNamedWith	NumMul	True	Passed	Model Under Test Equivalent Model
243a8358cb8fe090d6d67512137556cd20438ffe	Apalache	InstanceNamedWith	NumMul	False	Passed	Model Under Test Equivalent Model
199cdca14e8d5e957bc892a47a46ba080c4a5844	Apalache	InstanceNamedWith	NumDiv	True	Passed	Model Under Test Equivalent Model
7b24af00f22b8a73a7b7e3a2f7a0cca0f4fe1dd7	Apalache	InstanceNamedWith	NumDiv	False	Passed	Model Under Test Equivalent Model
58b45ae15d96a4b67d1417bb3a845bf748258501	Apalache	InstanceNamedWith	NumMod	True	Passed	Model Under Test Equivalent Model
b4488815dc9060a05c493332fc2485220f5cc735	Apalache	InstanceNamedWith	NumMod	False	Passed	Model Under Test Equivalent Model
0aee87ea09893aa4db426bd56e18672c5ca95499	Apalache	InstanceNamedWith	NumPow	True	Passed	Model Under Test Equivalent Model
a62b379b24aa0f7cf9875a277017e3a00ca48f7e	Apalache	InstanceNamedWith	NumPow	False	Passed	Model Under Test Equivalent Model
f8e07817f138dd7e15e9a396e137f2c46802ece3	Apalache	InstanceNamedWith	NumGt	True	Passed	Model Under Test Equivalent Model
538e1f3bc3cdbf18404182bda0576f0f2f29a3f9	Apalache	InstanceNamedWith	NumGt	False	Passed	Model Under Test Equivalent Model
2d59359875b54ab5b011751291ad51a84cd9df71	Apalache	InstanceNamedWith	NumGe	True	Passed	Model Under Test Equivalent Model
40bda6d44932330341d7d406d52e718538bc6e83	Apalache	InstanceNamedWith	NumGe	False	Passed	Model Under Test Equivalent Model
3864fc8e03419a8702a5277f3f3194ded89656cf	Apalache	InstanceNamedWith	NumLt	True	Passed	Model Under Test Equivalent Model
12120cc3c318f9e8476354b0730eb38a19476a22	Apalache	InstanceNamedWith	NumLt	False	Passed	Model Under Test Equivalent Model
0b7952bc2bc48063f75097af849da268311f9fac	Apalache	InstanceNamedWith	NumLe	True	Passed	Model Under Test Equivalent Model
688ebbaa118d10f4100c4496b391294da5bf918e	Apalache	InstanceNamedWith	NumLe	False	Passed	Model Under Test Equivalent Model
c9eb4669dd1610332805d1e9046b162ec8df7280	Apalache	InstanceNamedWith	DefFun	True	Passed	Model Under Test Equivalent Model
b9086c8573ebb2f8b086502dbd97caedb4d86f99	Apalache	InstanceNamedWith	DefFun	False	Passed	Model Under Test Equivalent Model
888884fd97c4334772d5a15d94032c8429e9a1d9	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedWith	LetDefFun	True	Passed	Model Under Test Equivalent Model
ec311ff81e68538385d52823e3532d24477bb8ab	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedWith	LetDefFun	False	Passed	Model Under Test Equivalent Model
0926b73218dfd4924a79f8c700d5a00bc74ef306	Apalache	InstanceNamedWith	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
b4b5ed9f45c091d1417c01c04316a0c8e121da90	Apalache	InstanceNamedWith	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
bba6bb7bf24f4b0a812f13b92bed9e321bc8c8dc	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedWith	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
7e7193f104208fccb18c1091f9c99cd9e3c26e7c	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedWith	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
a975a0055bdab7e48bd600bbaf8a9679d97ca6da	Apalache	InstanceNamedWith	Def0	True	Passed	Model Under Test Equivalent Model
170e32449cc1ae2b6c9837b8e923840002ae5a09	Apalache	InstanceNamedWith	Def0	False	Passed	Model Under Test Equivalent Model
35a9360c08d27f327121eb0954f08c2510603e98	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedWith	LetDef0	True	Passed	Model Under Test Equivalent Model
639227a5fdd37a662b9aa661bd8beebc9981c753	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedWith	LetDef0	False	Passed	Model Under Test Equivalent Model
5e00256fea95fa5597ef751a70b65580acece839	Apalache	InstanceNamedWith	Def1	True	Passed	Model Under Test Equivalent Model
573b4c5d7e52f81e2cb908f27a15e6f9600c12d3	Apalache	InstanceNamedWith	Def1	False	Passed	Model Under Test Equivalent Model
49711bc59bdefde897a514cfa538c3e479dfe185	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedWith	LetDef1	True	Passed	Model Under Test Equivalent Model
e86910417c3f5ac35e6683fea753c4aa04ea5e37	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedWith	LetDef1	False	Passed	Model Under Test Equivalent Model
3a84b7f3cf91ac144f880abb18f8a6d6a40976b1	Apalache	InstanceNamedWith	Def2	True	Passed	Model Under Test Equivalent Model
ea7c2932ee998ec99dbd44f226e29d9684ed3738	Apalache	InstanceNamedWith	Def2	False	Passed	Model Under Test Equivalent Model
462c6cd99f26166cac56445434a4c6d45851f777	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedWith	LetDef2	True	Passed	Model Under Test Equivalent Model
47e641cd0bd90f400501006bc3572f23dec9f40b	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedWith	LetDef2	False	Passed	Model Under Test Equivalent Model
d04a66e0b59754f8ff1edba9c0bfe3be2e9b8210	Apalache	InstanceNamedWith	Def1Recursive	True	Passed	Model Under Test Equivalent Model
a5892fcc4e413fb4c173dd35d6cbf747c2f02b82	Apalache	InstanceNamedWith	Def1Recursive	False	Passed	Model Under Test Equivalent Model
1e8e3b7ced04cb386a7912a2ddd5f3d099fb26bd	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedWith	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
07cafb8839364d84a246f7b8ffa71e96c625847d	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedWith	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
f7a4cce69af3546ee80899558769ac1821bc9a95	Apalache	InstanceNamedWith	Extends	True	Passed	Model Under Test Equivalent Model
6bad38d208a34582c1dcfbfac5fa836560345c06	Apalache	InstanceNamedWith	Extends	False	Passed	Model Under Test Equivalent Model
dc33d7145b59dcfc6c93574a3afc556430641adb	Apalache	InstanceNamedWith	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
35f78df623bc91adcc34286f09e7743b4f6d2233	Apalache	InstanceNamedWith	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
339011018c1ec95554fdfe30f93dc81362ab2acc	Apalache	InstanceNamedWith	Variable	True	Passed	Model Under Test Equivalent Model
c5cdd066933d6305c8a651f9c33510e4c21b9651	Apalache	InstanceNamedWith	Variable	False	Passed	Model Under Test Equivalent Model
de45ffe501d3b592785265a6b9bab260e1659ca0	Apalache	InstanceNamedWith	Constant	True	Passed	Model Under Test Equivalent Model
0ab2ba161fe8388d38811f25fedc8678f0ae7b3a	Apalache	InstanceNamedWith	Constant	False	Passed	Model Under Test Equivalent Model
5939873c1f112b267150485f3ced324f61575cb2	Apalache	InstanceNamedWith	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
db01ca10a8c087c6fcbf0506f4054972b7491109	Apalache	InstanceNamedWith	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
70d428c652e52bc2e3f7671ec2d24ed1795c2533	Apalache	InstanceNamedWith	ConstantRank1	True	Passed	Model Under Test Equivalent Model
b446ec0e40a7c9c2ac503e6661d5a3a0bb241c36	Apalache	InstanceNamedWith	ConstantRank1	False	Passed	Model Under Test Equivalent Model
75db12168d94726300874039a78c7f3996a1cc60	Apalache	InstanceNamedWith	Instance	True	Passed	Model Under Test Equivalent Model
e4ec17df66efa06414ec85ff0642b19552c848ff	Apalache	InstanceNamedWith	Instance	False	Passed	Model Under Test Equivalent Model
6c040dab865f76e0a4c02a08cc0c831bba49d5b7	Apalache	InstanceNamedWith	InstanceWith	True	Passed	Model Under Test Equivalent Model
df16ecaa06a3a60e2546a841a814fa3cd249650f	Apalache	InstanceNamedWith	InstanceWith	False	Passed	Model Under Test Equivalent Model
63b20de38025a31eab2124e5663984998a7c6358	Apalache	InstanceNamedWith	InstanceNamed	True	Passed	Model Under Test Equivalent Model
afde42bb15983bda87ce6e60849b16c7acdef95f	Apalache	InstanceNamedWith	InstanceNamed	False	Passed	Model Under Test Equivalent Model
7d9d3f928ab6b0bde7dde996a828c77a7b9cacf5	Apalache	InstanceNamedWith	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
f32da3ef926e6848a5fbc0538f81072a41802d25	Apalache	InstanceNamedWith	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
943b53ca306ca753970e2660243b51c645c326b2	Apalache	InstanceNamedWith	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
279cb42e503ddafd6bc4271cb726b296f48be430	Apalache	InstanceNamedWith	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
0e45582814ca713b9ed427bd131aa7f4afe634c3	Apalache	InstanceNamedWith	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
fa8c6637c788553627ea11fa08aae501aa36f3e9	Apalache	InstanceNamedWith	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
862d9ae867afb9586a92a536b3f8a36875989ee0	Apalache	InstanceNamedWith	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
7414c301fab0d0cfcdc80126af06631cca052d8f	Apalache	InstanceNamedWith	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
bff94c8ea147bc23d6cc30208fa02885f27baeff	Apalache	InstanceNamedWith	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
3318b8caa4320ff6ad9f1cdb585acd70e4ba1af7	Apalache	InstanceNamedWith	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
bbaf942607d72f9e2b1feadd6a2e27161164f7ad	Apalache	InstanceNamedWith	Enabled	True	Passed	Model Under Test Equivalent Model
ac49b960429ffec15de730b5caab5a8a8b428a6c	Apalache	InstanceNamedWith	Enabled	False	Passed	Model Under Test Equivalent Model
a5446564b8ceab35aa7c8cb6988fb2be70d0f464	Apalache	InstanceNamedWith	Cross2	True	Passed	Model Under Test Equivalent Model
17ba020249c1ecdb9268970e185faad4160b18cd	Apalache	InstanceNamedWith	Cross2	False	Passed	Model Under Test Equivalent Model
28555449c7a8c4ef110bcb680e990149968753b0	Apalache	InstanceNamedWith	Cross3	True	Passed	Model Under Test Equivalent Model
e4243e6dcc3676dee512440abf88543cd637a044	Apalache	InstanceNamedWith	Cross3	False	Passed	Model Under Test Equivalent Model
d3ee96022c7ff6fe8926917399e5f44146ac009f	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))	InstanceNamedWith	FunSet	True	Passed	Model Under Test Equivalent Model
b282106c363e2abf754c76a7318fcb22b5d62dad	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))	InstanceNamedWith	FunSet	False	Passed	Model Under Test Equivalent Model
190de50c1488fd1873c697b98a1191c4a4798432	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)	InstanceNamedWith	RecordSet	True	Passed	Model Under Test Equivalent Model
717af47f4c11c18894786bfa1c6cf0065fa37972	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)	InstanceNamedWith	RecordSet	False	Passed	Model Under Test Equivalent Model
06e2b65f19b7f84c56aa9761566874fd988d8ed9	Apalache	InstanceNamedWith	SetDiff	True	Passed	Model Under Test Equivalent Model
b03de1682907f03d225c54f3cdf5507ba766958c	Apalache	InstanceNamedWith	SetDiff	False	Passed	Model Under Test Equivalent Model
6359b364fed95fc3236b5ef2b28c33441b2b46c5	Apalache	InstanceNamedWith	SetUnion	True	Passed	Model Under Test Equivalent Model
de630c6d2661781275f4356fd6a48f1d5e92a2cf	Apalache	InstanceNamedWith	SetUnion	False	Passed	Model Under Test Equivalent Model
0d77500fd58e041775e92b6d7a64e25910fb8ce7	Apalache	InstanceNamedWith	SetIntersect	True	Passed	Model Under Test Equivalent Model
29c7edeec134a386aea132cdeb1a981b3c84b468	Apalache	InstanceNamedWith	SetIntersect	False	Passed	Model Under Test Equivalent Model
69bc46b6bd2a4f71a46f36989edb258419c2ffed	Apalache	InstanceNamedWith	SubsetEq	True	Passed	Model Under Test Equivalent Model
abd4937179dda3adf507d83962ced00642a2cac4	Apalache	InstanceNamedWith	SubsetEq	False	Passed	Model Under Test Equivalent Model
9ce22a60fd4b79965d207fce0e9b71d6d6dc9d9d	Apalache	InstanceNamedWith	IfCond	True	Passed	Model Under Test Equivalent Model
4271ae2981ac257995b7a53e182466ddb2e220d2	Apalache	InstanceNamedWith	IfCond	False	Passed	Model Under Test Equivalent Model
c1cef71264629776e3c055817394cfb246f2820e	Apalache	InstanceNamedWith	IfThen	True	Passed	Model Under Test Equivalent Model
d018a9105a781ba25e53fbf2a49995d42a224caa	Apalache	InstanceNamedWith	IfThen	False	Passed	Model Under Test Equivalent Model
ee963c1ea7de935ee82dbb85152b0f0dec29c083	Apalache	InstanceNamedWith	IfElse	True	Passed	Model Under Test Equivalent Model
a26c68af20478a2b35f25eb456cb429d1f200360	Apalache	InstanceNamedWith	IfElse	False	Passed	Model Under Test Equivalent Model
935c0fc858bbe3875238ae677e516fe055085f49	Apalache	InstanceNamedWith	Subset	True	Passed	Model Under Test Equivalent Model
dd1395acd76eaa5f1ca36c66ad1e6e35bf245852	Apalache	InstanceNamedWith	Subset	False	Passed	Model Under Test Equivalent Model
0d4b183bea392f2948abd464e5a11b97f53b69b1	Apalache	InstanceNamedWith	Domain	True	Passed	Model Under Test Equivalent Model
e4450f2805cfbda869684580a6f18f91b3713597	Apalache	InstanceNamedWith	Domain	False	Passed	Model Under Test Equivalent Model
86d4331b03129fb8800c65a658e428388a15e0c0	Apalache	InstanceNamedWith	Union	True	Passed	Model Under Test Equivalent Model
b0d22741a6db52e872fbe31a6b64a48ef4ea5b93	Apalache	InstanceNamedWith	Union	False	Passed	Model Under Test Equivalent Model
c6c9abd6c8db709fcf6041c99139f42c03648066	Apalache	InstanceNamedWith	Unchanged	True	Passed	Model Under Test Equivalent Model
dd8caee81b8ae98040c7f3e3bfd7d742379b83d6	Apalache	InstanceNamedWith	Unchanged	False	Passed	Model Under Test Equivalent Model
65f51ec134e90cde23a9ca0133c7f3f14e7e3fb9	Apalache	InstanceNamedWith	Equivalence	True	Passed	Model Under Test Equivalent Model
819fdac304a35d88b89b622c36d9af1f981e443c	Apalache	InstanceNamedWith	Equivalence	False	Passed	Model Under Test Equivalent Model
3b4ccc99f2d305724fc8bcc3267f6189f815f0e0	Apalache	InstanceNamedWith	StringEmpty	True	Passed	Model Under Test Equivalent Model
fd638e0f0e9dfa9ac8cae5b41aad622c325fdf89	Apalache	InstanceNamedWith	StringEmpty	False	Passed	Model Under Test Equivalent Model
d2ca65f08a4874aaefb096291294e392c06adfea	Apalache	InstanceNamedWith	String	True	Passed	Model Under Test Equivalent Model
01b282d82a7ef153206784db171a0bb9aaab3898	Apalache	InstanceNamedWith	String	False	Passed	Model Under Test Equivalent Model
bca86727abe40e6a808817641cde4c1983d05445	Apalache	InstanceNamedWith	SeqLen	True	Passed	Model Under Test Equivalent Model
d40194c692f425e6c1553892b417c38e5b08ee1c	Apalache	InstanceNamedWith	SeqLen	False	Passed	Model Under Test Equivalent Model
7fde190ef03c16012fb85fb0c19b9773b22c5cb7	Apalache	InstanceNamedWith	SeqConcat	True	Passed	Model Under Test Equivalent Model
63669592386164305ed67efd389ef5d6f3f9e9ad	Apalache	InstanceNamedWith	SeqConcat	False	Passed	Model Under Test Equivalent Model
c7f3de89765e2b9d97586e642833aad78097c6c3	Apalache	InstanceNamedWith	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
0fce704c2593cf29714d7c3c179c2357e5df8444	Apalache	InstanceNamedWith	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
bf3a166e023ed8326d1e35eb1300ae8f44e70e0b	Apalache	InstanceNamedWith	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
c84d6c5031583051a7a1058efdb6bf6d98be36e5	Apalache	InstanceNamedWith	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
d009f6c23e47572585b08245b3431b695ee3308b	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	InstanceNamedWith	NumRange	True	Passed	Model Under Test Equivalent Model
2175f3e7e067d17f8bda5b0bd4b9c3e518cc501c	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	InstanceNamedWith	NumRange	False	Passed	Model Under Test Equivalent Model
d1b1192fc5d4a57ea94be68d50cd6fb5ada970b4	TLC with reduction strategy: Plug Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	InstanceNamedWith	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
29faaf87a2ae4149de526ffd75b46fdf9dda4c6b	TLC with reduction strategy: Plug Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	InstanceNamedWith	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
d515391af49b46e2eab0240813660541ea716b3d	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]]	InstanceNamedWith	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
69599d3d497edcfe18edb4e5a9227e65ee536321	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]]	InstanceNamedWith	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
9aca63d55bbfa21f728197aabfd0c35878595100	TLC with reduction strategy: Plug Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	InstanceNamedWith	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
2c02b629557d8bcc80746700bd995204cfc89a98	TLC with reduction strategy: Plug Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	InstanceNamedWith	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
ab5e62bbd0721f329f11e914d4f21d50e6ca2bcc	TLC with reduction strategy: Plug Feature: SortSeq(S) is reduced to equivalent sort implementation	InstanceNamedWith	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
625d1209296f9e08a861af44069d7967bae2bc81	TLC with reduction strategy: Plug Feature: SortSeq(S) is reduced to equivalent sort implementation	InstanceNamedWith	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
7f142a19f03db6ad22d74d135413a82ce1ab37cd	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	InstanceNamedWith	TlcEval	True	Passed	Model Under Test Equivalent Model
a5229d93fc6c9ad5afd218ef4f4513640d5bbf0a	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	InstanceNamedWith	TlcEval	False	Passed	Model Under Test Equivalent Model
4d63be378ef90d318cae1d746c37c540aa900b8a	Apalache	InstanceNamedWith	BagBagToSet	True	Passed	Model Under Test Equivalent Model
b3d35ba6f95a51b2187e07225ee28dc202f63e02	Apalache	InstanceNamedWith	BagBagToSet	False	Passed	Model Under Test Equivalent Model
b850c992eb1d3952a280a749fe87ee36f2fad8e3	Apalache	InstanceNamedWith	BagSetToBag	True	Passed	Model Under Test Equivalent Model
779d60a2b9cb29f45df9ccc8e5275248304600ba	Apalache	InstanceNamedWith	BagSetToBag	False	Passed	Model Under Test Equivalent Model
a53716a2b2a953f2bb549964ac1da13a9ad7a038	Apalache	InstanceNamedWith	BagBagIn	True	Passed	Model Under Test Equivalent Model
9e881b3dea17e9106e761fea80305b60f41233c3	Apalache	InstanceNamedWith	BagBagIn	False	Passed	Model Under Test Equivalent Model
b1f2548758df17e02efea9fcc4e376a6c646564c	Apalache	InstanceNamedWith	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
93c12ccdc3ccbec85d8908122e6351b599c8f070	Apalache	InstanceNamedWith	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
bf53a0789a5f44ab36660a2b4a4a71d1c0484f3f	Apalache	InstanceNamedWith	BagAddBag	True	Passed	Model Under Test Equivalent Model
156eb8dd5afe4abbfa3c5d13a7109663fc49313f	Apalache	InstanceNamedWith	BagAddBag	False	Passed	Model Under Test Equivalent Model
bb822b8227660e9d489605d2b56545168372d42b	Apalache	InstanceNamedWith	BagBagSub	True	Passed	Model Under Test Equivalent Model
4b8f3110f1c959b141bce488d8107173d51e3d2e	Apalache	InstanceNamedWith	BagBagSub	False	Passed	Model Under Test Equivalent Model
9dd04fdc59c50e20955dbe0738e4a66cf3c8761a	Apalache	InstanceNamedWith	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
dfed379bed297e5f212a37a271f66140a6cd34dc	Apalache	InstanceNamedWith	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
488e2dc79b2662774ece2f263915499236783394	Apalache	InstanceNamedWith	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
98fc0a660b575b268fe4e697e96932293d42d678	Apalache	InstanceNamedWith	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
54f6c1254a38b61c5ad71e9ee15691f16435c3e0	Apalache	InstanceNamedWith	BagBagUnion	True	Passed	Model Under Test Equivalent Model
db9a057e06f505c1a12ede36a40204a3e1f51cd5	Apalache	InstanceNamedWith	BagBagUnion	False	Passed	Model Under Test Equivalent Model
4b431d6c28d3a04f966a3478304eb5f28044ab79	Apalache	InstanceNamedWith	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
f3d7dc6863a0dd16dc524d43f2ebb16bcc25d9eb	Apalache	InstanceNamedWith	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
88c15c1fb5ed9b02129205adfe02e6a3f8f8c41c	Apalache	InstanceNamedWith	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
3fa2710625ae53a22b02c71019ee548179d0d240	Apalache	InstanceNamedWith	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
b5dcb3524ec87ac979b19d5ffc6b90de089c5f1a	TLC with reduction strategy: Plug Feature: SubBag(B) is reduced to equivalent SubBagR implementation	InstanceNamedWith	BagSubBag	True	Passed	Model Under Test Equivalent Model
d9d3b1a116e9f7c58f76bb06034682fdc2e8033c	TLC with reduction strategy: Plug Feature: SubBag(B) is reduced to equivalent SubBagR implementation	InstanceNamedWith	BagSubBag	False	Passed	Model Under Test Equivalent Model
99b53787fb0ed508d03f31db27ba6c1f4b26e3df	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)	InstanceNamedWith	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
4e82d59d5c48f3743217e75ef57102f5cb884d5d	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)	InstanceNamedWith	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
f369e29165a9064734817958120a37e5cafe0d96	Apalache	InstanceNamedWith	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
e3020d38c878a64345599864056048577204a30b	Apalache	InstanceNamedWith	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
89e5ad9e48ef8f73b6871f88a28f9ee07156e23d	Apalache	InstanceNamedWith	SeqHead	True	Passed	Model Under Test Equivalent Model
746f0b502f708d2558a3f83a5919536b36b77004	Apalache	InstanceNamedWith	SeqHead	False	Passed	Model Under Test Equivalent Model
3ddbd61c8b3bc7d676cc2141bc2eddd13c0d8390	Apalache	InstanceNamedWith	SeqTail	True	Passed	Model Under Test Equivalent Model
ca3b9428035e7b8affa0fa4f0a060b18ccb1d12e	Apalache	InstanceNamedWith	SeqTail	False	Passed	Model Under Test Equivalent Model
453f23e47c5b21d0bc4e1f044fd774ee106be7d6	Apalache	InstanceNamedWith	SeqAppend	True	Passed	Model Under Test Equivalent Model
952db76d7afc2e6de30771ec557102471380dcd8	Apalache	InstanceNamedWith	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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