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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
f28dad383edc1e93affb4e0947630b3e440e49ea	Apalache	Eq	SetEmpty	True	Passed	Model Under Test Equivalent Model
3cca914cd39ebfc678a7df136f94fc06c20b63f4	Apalache	Eq	SetEmpty	False	Passed	Model Under Test Equivalent Model
0b25a15c5d4f00ddd0a243e077963ced452bc88c	Apalache	Ne	SetEmpty	True	Passed	Model Under Test Equivalent Model
7edd74719335669221de709ba8771163e84794d5	Apalache	Ne	SetEmpty	False	Passed	Model Under Test Equivalent Model
67130891bccc937c05d79e9b669aa0369a3b5ada	Apalache	Let	SetEmpty	True	Passed	Model Under Test Equivalent Model
634a4485f6e784c5e5e1453fb3b0f08e150f3e83	Apalache	Let	SetEmpty	False	Passed	Model Under Test Equivalent Model
fc1663c544eb16df514919ace9baefda83dec23d	Apalache	Set0	SetEmpty	True	Passed	Model Under Test Equivalent Model
bfebbac5b90d2f307a24fefdef3d406fc45bad38	Apalache	Set0	SetEmpty	False	Passed	Model Under Test Equivalent Model
1d7e8991364cff283d4ff425197abe0a9c76bf3c	Apalache	Set1	SetEmpty	True	Passed	Model Under Test Equivalent Model
bdee9024dabcee512a9165d2d43656c48e4a7172	Apalache	Set1	SetEmpty	False	Passed	Model Under Test Equivalent Model
99f69e968f378d777007b7e8a1f8c06759a108af	Apalache	Set2	SetEmpty	True	Passed	Model Under Test Equivalent Model
8350d6b68338817685dadc9177339a7262189fd6	Apalache	Set2	SetEmpty	False	Passed	Model Under Test Equivalent Model
baabf694b173dacedb4a8a3ad6c2462054488776	Apalache	Fun	SetEmpty	True	Passed	Model Under Test Equivalent Model
bf604ebc968e94f3834ec634cdd18fd972201a78	Apalache	Fun	SetEmpty	False	Passed	Model Under Test Equivalent Model
9f9f23dc34a3921902962a318d676f2b007611ff	Apalache	In	SetEmpty	True	Passed	Model Under Test Equivalent Model
8efbcf19769fe049e32d6cef01cc305891bba58d	Apalache	In	SetEmpty	False	Passed	Model Under Test Equivalent Model
52dd2559f586f9063474205d5bdaebac3a403fbf	Apalache	NotIn	SetEmpty	True	Passed	Model Under Test Equivalent Model
258ae9742a778193d683be2f6f8152ff7abdbf1a	Apalache	NotIn	SetEmpty	False	Passed	Model Under Test Equivalent Model
e0a29517fcc0d1f34ed8b58d05b9c54820f72908	Apalache	Record	SetEmpty	True	Passed	Model Under Test Equivalent Model
0c4868f13dd67a7ed91755c00f101918e6958f67	Apalache	Record	SetEmpty	False	Passed	Model Under Test Equivalent Model
a06d3509b3042b12f484ad8773ca68a9a3955487	Apalache	Tuple	SetEmpty	True	Passed	Model Under Test Equivalent Model
df2fe4b17e749b9b183caf04a37288bf8eb2a60b	Apalache	Tuple	SetEmpty	False	Passed	Model Under Test Equivalent Model
04f490b5ce4456c9e5558e5e5bc171b19c51da5d	Apalache	FunApp	SetEmpty	True	Passed	Model Under Test Equivalent Model
220911ba87fb47f88c59367369f1e60fc3d9c0a8	Apalache	FunApp	SetEmpty	False	Passed	Model Under Test Equivalent Model
acc9529531df61de46e735c2991336606093a1ed	Apalache	Except1Fun	SetEmpty	True	Passed	Model Under Test Equivalent Model
7716a7e7730472705df34755afd80083cfc4bf66	Apalache	Except1Fun	SetEmpty	False	Passed	Model Under Test Equivalent Model
df76104565f5fff0b9ef3727b19173942f3f4001	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SetEmpty	True	Passed	Model Under Test Equivalent Model
101525d49f82beaa6dfcd6d7ebfa00344dbccdf7	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SetEmpty	False	Passed	Model Under Test Equivalent Model
46e554d844ccf8a731cf78bc40eccaf20da7fba0	Apalache	Except1Rec	SetEmpty	True	Passed	Model Under Test Equivalent Model
1a24eae1b8530c3a9af8ea8261c88edd63dfe58b	Apalache	Except1Rec	SetEmpty	False	Passed	Model Under Test Equivalent Model
c0dfea64b0e844360a3df54dc9e91f851705ae23	TLC with reduction strategy: Case Feature: @ is reduced to F.arg	Except1RecWithAt	SetEmpty	True	Passed	Model Under Test Equivalent Model
c4a168146a2c3694b3254672237f474479313639	TLC with reduction strategy: Case Feature: @ is reduced to F.arg	Except1RecWithAt	SetEmpty	False	Passed	Model Under Test Equivalent Model
8ce56bedb8e684866b039a93426f4cde37f567df	Apalache	Except2Fun	SetEmpty	True	Passed	Model Under Test Equivalent Model
7ebea55c5d2813dfd7887b8c6272e2bf44db2bdf	Apalache	Except2Fun	SetEmpty	False	Passed	Model Under Test Equivalent Model
c252b95de3cc991676c2c5e300b93993bcadbe44	Apalache	Prime	SetEmpty	True	Passed	Model Under Test Equivalent Model
a5ffae47bab27ff59c0db6e19a458279c1b597a1	Apalache	Prime	SetEmpty	False	Passed	Model Under Test Equivalent Model
80ea62efaa5ad3345c987d98e94afaa74a57a11f	Apalache	DefFun	SetEmpty	True	Passed	Model Under Test Equivalent Model
2d2c9e8d2a87e5528a36b819990681e058c0adb9	Apalache	DefFun	SetEmpty	False	Passed	Model Under Test Equivalent Model
3f78e571d57354fe6ed003bdf649a72315014b6d	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFun	SetEmpty	True	Passed	Model Under Test Equivalent Model
22c92320291ba7b9d005792b5d13d9641b8514f0	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFun	SetEmpty	False	Passed	Model Under Test Equivalent Model
2cba95ee14bcb7a3003f7a82ce514d5263e44345	Apalache	DefFunRecursive	SetEmpty	True	Passed	Model Under Test Equivalent Model
fc8f0109bd6a08a81fc7eedb41d7c999c2aa7a4a	Apalache	DefFunRecursive	SetEmpty	False	Passed	Model Under Test Equivalent Model
87b50a44f5339e5159b82e85702a5a746e5b74d2	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunRecursive	SetEmpty	True	Passed	Model Under Test Equivalent Model
9136af6beaad0ddce818731de74124f3fa340966	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunRecursive	SetEmpty	False	Passed	Model Under Test Equivalent Model
55253a7c47481993e9f1138665595c49ed401f3d	Apalache	Def0	SetEmpty	True	Passed	Model Under Test Equivalent Model
1d8d6f5714ccc87fcb0f2dd09bd3f656a73cbd53	Apalache	Def0	SetEmpty	False	Passed	Model Under Test Equivalent Model
42fc26662c7efd33195d6792853c4297d93ef011	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef0	SetEmpty	True	Passed	Model Under Test Equivalent Model
fe09c44128f5e57502bb2472fe5e9cf3b7d991ac	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef0	SetEmpty	False	Passed	Model Under Test Equivalent Model
7f368df6855ac7d8e28ab699c020c95072ed8899	Apalache	Def1	SetEmpty	True	Passed	Model Under Test Equivalent Model
6003cf967d2ca652cea374a5ea60f7160e3c32b9	Apalache	Def1	SetEmpty	False	Passed	Model Under Test Equivalent Model
63fae67ec6e9b7da20cae58deb30b100d2b82d26	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1	SetEmpty	True	Passed	Model Under Test Equivalent Model
ca621011c8acde57eb9a60fc9616015b1ff51fe8	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1	SetEmpty	False	Passed	Model Under Test Equivalent Model
56cb4368213ccda4cd5c09c7de873b958dfa50fa	Apalache	Def2	SetEmpty	True	Passed	Model Under Test Equivalent Model
cd13ba34e6e39bdadd93a0f5887bcfee65b6e73f	Apalache	Def2	SetEmpty	False	Passed	Model Under Test Equivalent Model
22f0a4f2c7139754fb08a16f09af3c027240136e	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef2	SetEmpty	True	Passed	Model Under Test Equivalent Model
cd10b748b5581a076cfa9fc6b5e96ce85f07874d	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef2	SetEmpty	False	Passed	Model Under Test Equivalent Model
235150a026234021497e0f56e62fbe56ea4025c2	Apalache	Def1Recursive	SetEmpty	True	Passed	Model Under Test Equivalent Model
00832a6e0756c644432878905a51f4b6011fcde6	Apalache	Def1Recursive	SetEmpty	False	Passed	Model Under Test Equivalent Model
294d8cc5a8b19ccd5a1ddd4229f77d8344744ebd	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1Recursive	SetEmpty	True	Passed	Model Under Test Equivalent Model
14ee63949a6e939a56702ad5506e55d06cbb506c	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1Recursive	SetEmpty	False	Passed	Model Under Test Equivalent Model
d60604a88533b03a164accb7f4a3854172a03c91	Apalache	Extends	SetEmpty	True	Passed	Model Under Test Equivalent Model
011f0e65ab518576a6b02d4468348d0299828cb8	Apalache	Extends	SetEmpty	False	Passed	Model Under Test Equivalent Model
12ca17d41cab22147ac6641349112426fd741399	Apalache	ExtendsInDifferentFolder	SetEmpty	True	Passed	Model Under Test Equivalent Model
44fefc13e08b5cf48a8d502ea6a88df162992043	Apalache	ExtendsInDifferentFolder	SetEmpty	False	Passed	Model Under Test Equivalent Model
d9239e55a07f9227671cff71420cf2aa5a3deaac	Apalache	Variable	SetEmpty	True	Passed	Model Under Test Equivalent Model
0cdcc18708ee947921a2e27517b01955fa381fa5	Apalache	Variable	SetEmpty	False	Passed	Model Under Test Equivalent Model
c34a98c2853d0553b1610a2444606ef3f8caafd2	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SetEmpty	True	Passed	Model Under Test Equivalent Model
e9e98beef1ae228bed654bf9cf7b0f58b4d6a0a5	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SetEmpty	False	Passed	Model Under Test Equivalent Model
93fcae04b17c6e853b1a2ae8ecf0add0aa3fd19f	Apalache	Constant	SetEmpty	True	Passed	Model Under Test Equivalent Model
1442e0cab4d15696675502c665cfab2224fcdd82	Apalache	Constant	SetEmpty	False	Passed	Model Under Test Equivalent Model
4a11b3d8e3fd4a58aaf63dfb6f30676b2ab935a4	Apalache	ConstantRank1	SetEmpty	True	Passed	Model Under Test Equivalent Model
bb6cfca72e3a038eb2a47b50f4379901f00ec36f	Apalache	ConstantRank1	SetEmpty	False	Passed	Model Under Test Equivalent Model
122388c35d3e08453b4905bd970f92b0593014c6	Apalache	Instance	SetEmpty	True	Passed	Model Under Test Equivalent Model
67b2914504a928f43a6db02806e97fa40e036fe1	Apalache	Instance	SetEmpty	False	Passed	Model Under Test Equivalent Model
5bcd7ff09eebe8e6d404a3907413654af487140e	Apalache	InstanceWith	SetEmpty	True	Passed	Model Under Test Equivalent Model
73431edcacf62694ea0f956258d219cee8faf641	Apalache	InstanceWith	SetEmpty	False	Passed	Model Under Test Equivalent Model
d3fa9d03627fd01b3e6b1ca1d2c445c493c7f0d2	Apalache	InstanceNamed	SetEmpty	True	Passed	Model Under Test Equivalent Model
c12b999bb7b90246d284b4c043216cbb61674070	Apalache	InstanceNamed	SetEmpty	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
e2fd7a0d783095445643319dc21fac7e5a9fae79	Apalache	InstanceInFolder	SetEmpty	True	Passed	Model Under Test Equivalent Model
8c2bf1338dca5b0b51757802461ccbb2284c1129	Apalache	InstanceInFolder	SetEmpty	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
32141f0595f7a39eba886f6f22a7b5b7a05feacb	Apalache	InstanceNamedInFolder	SetEmpty	True	Passed	Model Under Test Equivalent Model
30a5e83a3ee52f559771e9d8ed6b2c34a087e8bb	Apalache	InstanceNamedInFolder	SetEmpty	False	Passed	Model Under Test Equivalent Model
7c6698e168bed6cc0827877efa4568a0838b0075	Apalache	InstanceNamedWithInFolder	SetEmpty	True	Passed	Model Under Test Equivalent Model
e952dcbbdd1297ecbf52f83226b8907259823d24	Apalache	InstanceNamedWithInFolder	SetEmpty	False	Passed	Model Under Test Equivalent Model
d049425cd6bb270ca61ac3036abd179e62176759	Apalache	Lambda	SetEmpty	True	Passed	Model Under Test Equivalent Model
b68078ed13fd785ba530c0d7322fd8a146a1fe5b	Apalache	Lambda	SetEmpty	False	Passed	Model Under Test Equivalent Model
5925fdb7e8e9731ef5739685ae875d444b6b5a9f	Apalache	Cross2	SetEmpty	True	Passed	Model Under Test Equivalent Model
d563a53f1a0fed8cc90f1155f2e336484807e9bb	Apalache	Cross2	SetEmpty	False	Passed	Model Under Test Equivalent Model
58befa3d2d2c15771cb043a6050374892e9fa962	Apalache	Cross3	SetEmpty	True	Passed	Model Under Test Equivalent Model
f2f8001fdda4ea7657c23b34f5e510a6f58ecbbb	Apalache	Cross3	SetEmpty	False	Passed	Model Under Test Equivalent Model
26f22553354a0e693a7539582be2c350eea6e490	TLC with reduction strategy: Case Feature: For finite R replace [D -> R] with explicit function set enumeration; for infinite R replace (f \in [D -> R]) with conjunction (DOMAIN f = D /\ (\A x \in D : f[x] \in R))	FunSet	SetEmpty	True	Passed	Model Under Test Equivalent Model
5233b6c47452131302ebbb328b6de3322bb11458	TLC with reduction strategy: Case Feature: For finite R replace [D -> R] with explicit function set enumeration; for infinite R replace (f \in [D -> R]) with conjunction (DOMAIN f = D /\ (\A x \in D : f[x] \in R))	FunSet	SetEmpty	False	Passed	Model Under Test Equivalent Model
b9f3d8f8898c25244e2ae9e6e000749f1273e8cf	TLC with reduction strategy: Case Feature: For finite R replace [field : R] with explicit function set enumeration; for infinite R replace (f \in [field : R]) with conjunction (DOMAIN f = {'field'} /\ f['field'] \in R)	RecordSet	SetEmpty	True	Passed	Model Under Test Equivalent Model
e15d9441dedd060555d7692d72dbbd67779e633c	TLC with reduction strategy: Case Feature: For finite R replace [field : R] with explicit function set enumeration; for infinite R replace (f \in [field : R]) with conjunction (DOMAIN f = {'field'} /\ f['field'] \in R)	RecordSet	SetEmpty	False	Passed	Model Under Test Equivalent Model
bb8ad8da01655c3203b1e8e00c477fb2332bac8e	Apalache	SetDiff	SetEmpty	True	Passed	Model Under Test Equivalent Model
1af53ce965a0fdbe314dc9840799afe6f61c3983	Apalache	SetDiff	SetEmpty	False	Passed	Model Under Test Equivalent Model
f41ba3173ab09448f0058fcc84666b557be10faf	Apalache	SetUnion	SetEmpty	True	Passed	Model Under Test Equivalent Model
2bb14b084306a184860d3ebfb05ac28aab9ae783	Apalache	SetUnion	SetEmpty	False	Passed	Model Under Test Equivalent Model
4c49e9b7fcc4339d22bb928060cc77cd14f606a0	Apalache	SetIntersect	SetEmpty	True	Passed	Model Under Test Equivalent Model
b375551b9ce798c575aaf7bc1b1988672fc3c0fe	Apalache	SetIntersect	SetEmpty	False	Passed	Model Under Test Equivalent Model
ac8bd261d27fe9e3f2210843a1234810a1090ff7	Apalache	SubsetEq	SetEmpty	True	Passed	Model Under Test Equivalent Model
f288603a08ad5e1b16a18cb114bd04322a8e8aff	Apalache	SubsetEq	SetEmpty	False	Passed	Model Under Test Equivalent Model
b65e8326de71d88dabdedb2ae772abbb175e4e88	Apalache	IfThen	SetEmpty	True	Passed	Model Under Test Equivalent Model
e3edf2331f8772790d563819e8e0402b2fdc1aa8	Apalache	IfThen	SetEmpty	False	Passed	Model Under Test Equivalent Model
af8038bf22c97b3a725570074cee0d0ac46d05a6	Apalache	IfElse	SetEmpty	True	Passed	Model Under Test Equivalent Model
f515cc689cbe7174398f515805e4aecc664c76b8	Apalache	IfElse	SetEmpty	False	Passed	Model Under Test Equivalent Model
834f594fe9bdabcab1a8c5dc1de5f98e2ee3c652	Apalache	Subset	SetEmpty	True	Passed	Model Under Test Equivalent Model
58e981aef4ee1e0bd0b4040033d8f0a0fdbef1fc	Apalache	Subset	SetEmpty	False	Passed	Model Under Test Equivalent Model
9a99955739db9b3d9d1f2d17adb2c73835719c71	Apalache	Union	SetEmpty	True	Passed	Model Under Test Equivalent Model
0cdb81004951eaff3091ce94fb9563c6f08ac294	Apalache	Union	SetEmpty	False	Passed	Model Under Test Equivalent Model
9c1dccd591dcadf61b5f110032f7b00daaf2b7dc	Apalache	Unchanged	SetEmpty	True	Passed	Model Under Test Equivalent Model
eb878da153699e74ad48a31e8f654e437d06d538	Apalache	Unchanged	SetEmpty	False	Passed	Model Under Test Equivalent Model
3ed12ca388e79012b240d1f010b3742b43ee5a32	Apalache	SeqSeq	SetEmpty	True	Passed	Model Under Test Equivalent Model
7b068aab3f0e111a205063c88c07c0419cae79f1	Apalache	SeqSeq	SetEmpty	False	Passed	Model Under Test Equivalent Model
8b1eeb19883a9026284a40d27176c42647ec8a41	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	TlcSingletonFun	SetEmpty	True	Passed	Model Under Test Equivalent Model
5e4499d2407b33be80f24c7e80ae68a0e589aea4	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	TlcSingletonFun	SetEmpty	False	Passed	Model Under Test Equivalent Model
197001680529a23f81f538165c93c36df82b4e96	TLC with reduction strategy: Case Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	TlcPermuteFun	SetEmpty	True	Passed	Model Under Test Equivalent Model
aa94100730caae26f12f3dbe63bf57dbfb558506	TLC with reduction strategy: Case Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	TlcPermuteFun	SetEmpty	False	Passed	Model Under Test Equivalent Model
edb82c1105efc07e263284c6fdbee962f67ca4a5	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr	TlcEval	SetEmpty	True	Passed	Model Under Test Equivalent Model
ef777d9cea30563049c9def07ccbf31fdb2f29c0	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr	TlcEval	SetEmpty	False	Passed	Model Under Test Equivalent Model
b27d623df45f42f2023f2b8b1aae6108f7f0d915	Apalache	BagSetToBag	SetEmpty	True	Passed	Model Under Test Equivalent Model
c0e91072b5ac7196a6c00b0106bcf08fb8fcd5ff	Apalache	BagSetToBag	SetEmpty	False	Passed	Model Under Test Equivalent Model
957a6af1154244610fb43fc7583f6ccd0b915fdf	Apalache	BagBagIn	SetEmpty	True	Passed	Model Under Test Equivalent Model
c5ef2999d749330fdd4a6217f6e732213d72ab2a	Apalache	BagBagIn	SetEmpty	False	Passed	Model Under Test Equivalent Model
43bd0b074131a28f5cb4e0f1fc8d0dfe2afaf75f	Apalache	BagCopiesIn	SetEmpty	True	Passed	Model Under Test Equivalent Model
327a2ff10154688d2a89144e3f3cfc5e810dfa54	Apalache	BagCopiesIn	SetEmpty	False	Passed	Model Under Test Equivalent Model
8ccfd85832fd0a87f02bdbff692ce0952ed1fc7e	Apalache	BagBagUnion	SetEmpty	True	Passed	Model Under Test Equivalent Model
55fc1e1f436a6e9089e4bb26d4872cf0bfd014f9	Apalache	BagBagUnion	SetEmpty	False	Passed	Model Under Test Equivalent Model
e6346cfb2957113187edb9f22f86634b5a207b11	TLC with reduction strategy: Case Feature: IsFiniteSet(B) is reduced to either TRUE or FALSE, depending on type information (finite and infinite sets have different types)	FiniteSetsIsFiniteSet	SetEmpty	True	Passed	Model Under Test Equivalent Model
244c3ebad5c482f8d68bc414fe3f9ebdc35784e3	TLC with reduction strategy: Case Feature: IsFiniteSet(B) is reduced to either TRUE or FALSE, depending on type information (finite and infinite sets have different types)	FiniteSetsIsFiniteSet	SetEmpty	False	Passed	Model Under Test Equivalent Model
351718d5c706ae72bb4d566c2b1f239405b27dfc	Apalache	FiniteSetsCardinality	SetEmpty	True	Passed	Model Under Test Equivalent Model
32a1c4913917a939446558194cab7db6abac7cc6	Apalache	FiniteSetsCardinality	SetEmpty	False	Passed	Model Under Test Equivalent Model
9fb43ef3205087d11e89e9fd7ca9f23d20eae790	Apalache	SeqAppend	SetEmpty	True	Passed	Model Under Test Equivalent Model
e02b7924c9676f417c8569e182b9a25d8c152734	Apalache	SeqAppend	SetEmpty	False	Passed	Model Under Test Equivalent Model

Index

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