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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
72a3ddfb48cd7b57d0c2915e9764747360f29fbf	Apalache	Eq	BagBagToSet	True	Passed	Model Under Test Equivalent Model
0401badf294c9f38ddedf19c52b18778d5e1aeaf	Apalache	Eq	BagBagToSet	False	Passed	Model Under Test Equivalent Model
2fbb65837527657ba04b04c5a1cd533cfbe50608	Apalache	Ne	BagBagToSet	True	Passed	Model Under Test Equivalent Model
08c3f5fc93cb972c598ba84a93a2fd5423ad456a	Apalache	Ne	BagBagToSet	False	Passed	Model Under Test Equivalent Model
fd05cb04bea487348e130f4b4163afb36e6eefb6	Apalache	Let	BagBagToSet	True	Passed	Model Under Test Equivalent Model
f38735307a11f553857b97e7d18083111e06abe5	Apalache	Let	BagBagToSet	False	Passed	Model Under Test Equivalent Model
4aeadc295d4952203a2e76ae54bf07275b291a34	Apalache	Set0	BagBagToSet	True	Passed	Model Under Test Equivalent Model
ade24372c3109ab7e1fc9b90b81a4b9172d89d79	Apalache	Set0	BagBagToSet	False	Passed	Model Under Test Equivalent Model
18ed82790176261d8cbf5cfc48811f550a12a66d	Apalache	Set1	BagBagToSet	True	Passed	Model Under Test Equivalent Model
d3f9d4754def95a942da66c31054130689b52111	Apalache	Set1	BagBagToSet	False	Passed	Model Under Test Equivalent Model
8ba806ccd19599d7a45d00df1ec584c3dbd4319e	Apalache	Set2	BagBagToSet	True	Passed	Model Under Test Equivalent Model
b90177e6a9b68c0e1e33de2685097bf246a58d71	Apalache	Set2	BagBagToSet	False	Passed	Model Under Test Equivalent Model
e27b0431f00eecb53bc56ed2955236064628a02a	Apalache	Fun	BagBagToSet	True	Passed	Model Under Test Equivalent Model
a54a5d63a95b0ebe62db9561be43cd3033ebfe38	Apalache	Fun	BagBagToSet	False	Passed	Model Under Test Equivalent Model
49146980793a80d2bb912565e30d01468ebee9c4	Apalache	In	BagBagToSet	True	Passed	Model Under Test Equivalent Model
2c70ae8ce9e92c139b6e3e861c8f7adfd6d4adaa	Apalache	In	BagBagToSet	False	Passed	Model Under Test Equivalent Model
b2cfc4b04160a702dbb7032b73b58ab8f2c0b842	Apalache	NotIn	BagBagToSet	True	Passed	Model Under Test Equivalent Model
52d53a6284798cbfbf15169ad69ecb9687864252	Apalache	NotIn	BagBagToSet	False	Passed	Model Under Test Equivalent Model
ad7de9898e0cef251b9d91e252029e3c7a86b988	Apalache	Record	BagBagToSet	True	Passed	Model Under Test Equivalent Model
ed459bd022331e4c60bb01580ee583eb3a0b5128	Apalache	Record	BagBagToSet	False	Passed	Model Under Test Equivalent Model
962dc626dc54ac42b063a955d5d4a8e9b250d41a	Apalache	Tuple	BagBagToSet	True	Passed	Model Under Test Equivalent Model
b2d3b95c0a4fd0e460b15372485ea57f6bc01919	Apalache	Tuple	BagBagToSet	False	Passed	Model Under Test Equivalent Model
344c5a9a8c4fed087a97a7dfe0e55c904b2422ef	Apalache	FunApp	BagBagToSet	True	Passed	Model Under Test Equivalent Model
61fbbac5bb17f7aa4af1d0cbccbded4c21abc5d0	Apalache	FunApp	BagBagToSet	False	Passed	Model Under Test Equivalent Model
dff652ff8ace80b84d6a45e2369d9719f95ad891	Apalache	Except1Fun	BagBagToSet	True	Passed	Model Under Test Equivalent Model
5952d091047bb0b5a5a6bc0cac98bec277eaab78	Apalache	Except1Fun	BagBagToSet	False	Passed	Model Under Test Equivalent Model
639a9287a40f9aed0ad9c179ebe556db0d1592a9	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagBagToSet	True	Passed	Model Under Test Equivalent Model
bbea3e64f168c72d8781d0c44a0e070a935c19d0	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagBagToSet	False	Passed	Model Under Test Equivalent Model
3b1a80fcbe696045116b6afb75b2cbc42124853f	Apalache	Except1Rec	BagBagToSet	True	Passed	Model Under Test Equivalent Model
7415a2d03763346c90418f2313bbab00d1ed47b9	Apalache	Except1Rec	BagBagToSet	False	Passed	Model Under Test Equivalent Model
6f5f5d57eadd56333fe31a1cd20b182e819ff1cc	TLC with reduction strategy: Case Feature: @ is reduced to F.arg	Except1RecWithAt	BagBagToSet	True	Passed	Model Under Test Equivalent Model
9248c4759e7d82f3b460ec16ee8792204a49edb3	TLC with reduction strategy: Case Feature: @ is reduced to F.arg	Except1RecWithAt	BagBagToSet	False	Passed	Model Under Test Equivalent Model
bec26bcc74b29f29cbbc5c4b644a6e475d68f177	Apalache	Except2Fun	BagBagToSet	True	Passed	Model Under Test Equivalent Model
52ce1182015d294bf1d924dd6fc032deea868339	Apalache	Except2Fun	BagBagToSet	False	Passed	Model Under Test Equivalent Model
531b9731d85561ef27506581561a1aad50b4b01a	Apalache	Prime	BagBagToSet	True	Passed	Model Under Test Equivalent Model
bda7e58e5c3353897de70cd914ed60ea02f9124d	Apalache	Prime	BagBagToSet	False	Passed	Model Under Test Equivalent Model
87d6f79a8b30b489b35685deb5019a971af94121	Apalache	DefFun	BagBagToSet	True	Passed	Model Under Test Equivalent Model
0ae16da1a558cec90451f8a65696f0a700ef2a7a	Apalache	DefFun	BagBagToSet	False	Passed	Model Under Test Equivalent Model
4f25234ca9c4f58899ee76e5608e90556949a64c	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFun	BagBagToSet	True	Passed	Model Under Test Equivalent Model
30bda84894e04d0bc4f79dc0822b4be24823bd15	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFun	BagBagToSet	False	Passed	Model Under Test Equivalent Model
c69223b1e3a66b0fc333586a3b48abd6e2a00219	Apalache	DefFunRecursive	BagBagToSet	True	Passed	Model Under Test Equivalent Model
6f0ddc58754535e4c41f3fc742e813c89f822944	Apalache	DefFunRecursive	BagBagToSet	False	Passed	Model Under Test Equivalent Model
1302d9fdc6b08f3f1c1f3db20612e8ccb1136ecf	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunRecursive	BagBagToSet	True	Passed	Model Under Test Equivalent Model
6330ff032a8b5746e5ec45c3e0a936ce5cfdcd67	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunRecursive	BagBagToSet	False	Passed	Model Under Test Equivalent Model
e4d77460a362516ad23761539898df3761dbf5da	Apalache	Def0	BagBagToSet	True	Passed	Model Under Test Equivalent Model
890d6e8f66e6e82ef519590470841b5a4f760fea	Apalache	Def0	BagBagToSet	False	Passed	Model Under Test Equivalent Model
dab65c582f4efb842b1710ed3d1123621b5f6102	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef0	BagBagToSet	True	Passed	Model Under Test Equivalent Model
5ae7839784af7a588a0b3f6b053dd7c04dc95d62	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef0	BagBagToSet	False	Passed	Model Under Test Equivalent Model
b9611b5f31c3dd8b5dd163fcdafa9e709f9f2b1b	Apalache	Def1	BagBagToSet	True	Passed	Model Under Test Equivalent Model
31d851321039d3b7a3167b2b1ba74e0e2c3b4360	Apalache	Def1	BagBagToSet	False	Passed	Model Under Test Equivalent Model
5f0294d254973d152c4b431e2b3beaf4d58f6cb9	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1	BagBagToSet	True	Passed	Model Under Test Equivalent Model
0970a196ae86933c98b9316c5e89827ac3719fb4	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1	BagBagToSet	False	Passed	Model Under Test Equivalent Model
54729ecfd9404f0e9dd464e2dd135381ad57f909	Apalache	Def2	BagBagToSet	True	Passed	Model Under Test Equivalent Model
0080b33a1a5101043e300c68e14e5eadf0d01823	Apalache	Def2	BagBagToSet	False	Passed	Model Under Test Equivalent Model
c54ce5c6d5092916a0af079370db2ca05609ac86	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef2	BagBagToSet	True	Passed	Model Under Test Equivalent Model
7cb46146c92f520b3c94723d98c4301d62e60266	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef2	BagBagToSet	False	Passed	Model Under Test Equivalent Model
df8d95dfca95377dab11c414eef973ac9f56108b	Apalache	Def1Recursive	BagBagToSet	True	Passed	Model Under Test Equivalent Model
63d10da56c302536a7eff89125c028d80f9e9482	Apalache	Def1Recursive	BagBagToSet	False	Passed	Model Under Test Equivalent Model
5c7cdd1115d929c21d1697b3e159fb368f190602	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1Recursive	BagBagToSet	True	Passed	Model Under Test Equivalent Model
058b383ee3fb77f9380d5dd63c072a3b9eda7b0d	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1Recursive	BagBagToSet	False	Passed	Model Under Test Equivalent Model
a02232e451e0f9461cb22178e4fe28f75c41e761	Apalache	Extends	BagBagToSet	True	Passed	Model Under Test Equivalent Model
6f8834d165e6b457d484feeb5dcfff26a1b6c552	Apalache	Extends	BagBagToSet	False	Passed	Model Under Test Equivalent Model
048325b7be7d7c1078b912d22d80ab20d0c3c053	Apalache	ExtendsInDifferentFolder	BagBagToSet	True	Passed	Model Under Test Equivalent Model
469cd410a6cfd2f7c425048388588a92c9c71693	Apalache	ExtendsInDifferentFolder	BagBagToSet	False	Passed	Model Under Test Equivalent Model
c10d007c75edd273aea8a8ddf2c6571f1d7ff804	Apalache	Variable	BagBagToSet	True	Passed	Model Under Test Equivalent Model
954d3cd0d6e140e4d1997c4213ecd7a8f8eba241	Apalache	Variable	BagBagToSet	False	Passed	Model Under Test Equivalent Model
ccb37b97beae01ccee4ec743d230eb27adb82f88	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagBagToSet	True	Passed	Model Under Test Equivalent Model
fffe12f1846cebf4c5e9050c9fce3263c3cd48dc	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BagBagToSet	False	Passed	Model Under Test Equivalent Model
5c38a8efdd67537b339ada1cf7ebae103e9110ae	Apalache	Constant	BagBagToSet	True	Passed	Model Under Test Equivalent Model
3d9d27eb0d5aebab5ef89c69e64895097e365f76	Apalache	Constant	BagBagToSet	False	Passed	Model Under Test Equivalent Model
6eab65d49ede7d3d42bbe6db99dbf846cee3802e	Apalache	ConstantRank1	BagBagToSet	True	Passed	Model Under Test Equivalent Model
0ff353ad8365ef64b1fedf495b429d7b69a887af	Apalache	ConstantRank1	BagBagToSet	False	Passed	Model Under Test Equivalent Model
5d7d53156524931ab57c8036fb023da29951ca34	Apalache	Instance	BagBagToSet	True	Passed	Model Under Test Equivalent Model
975ee89c81bcb34ab36b47204d3a5f1102bfb810	Apalache	Instance	BagBagToSet	False	Passed	Model Under Test Equivalent Model
ad1add32aa010fb26b044a4c9d56ad8e8e6c6517	Apalache	InstanceWith	BagBagToSet	True	Passed	Model Under Test Equivalent Model
4552cc49558993314d32ec9b138ed43b298dda6b	Apalache	InstanceWith	BagBagToSet	False	Passed	Model Under Test Equivalent Model
ed117fb4e196b2af8e475599b5ae0c3cbc62df87	Apalache	InstanceNamed	BagBagToSet	True	Passed	Model Under Test Equivalent Model
6a45c23994d32c0460eae3f17fa85809829ccb23	Apalache	InstanceNamed	BagBagToSet	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
3de983acb472e93b2f8c3254b53e8353d2d6e182	Apalache	InstanceInFolder	BagBagToSet	True	Passed	Model Under Test Equivalent Model
87d99493773790f44c38fcbad7ac0f8404ab4096	Apalache	InstanceInFolder	BagBagToSet	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
30bb7749412ddc057839ff21819ac314567b0022	Apalache	InstanceNamedInFolder	BagBagToSet	True	Passed	Model Under Test Equivalent Model
5881151876c9f1022fc6c4bbc08415eada7660f0	Apalache	InstanceNamedInFolder	BagBagToSet	False	Passed	Model Under Test Equivalent Model
aaca363cce4eb116a34e4ba4ed7e25f69622b1b4	Apalache	InstanceNamedWithInFolder	BagBagToSet	True	Passed	Model Under Test Equivalent Model
9db2bd221dfecbbabb228e03228cc5bd73d96ff7	Apalache	InstanceNamedWithInFolder	BagBagToSet	False	Passed	Model Under Test Equivalent Model
8356e3f4413058fe1c27b744540907f455e2ac2d	Apalache	Lambda	BagBagToSet	True	Passed	Model Under Test Equivalent Model
bac3ac78de6e0a2c72f66e7e499be62a616a8c0b	Apalache	Lambda	BagBagToSet	False	Passed	Model Under Test Equivalent Model
328051c68648e70dfe0b36654112b497e3dadc29	Apalache	Cross2	BagBagToSet	True	Passed	Model Under Test Equivalent Model
d58770a08e954b35a436e0c0a03f28db0f7a2866	Apalache	Cross2	BagBagToSet	False	Passed	Model Under Test Equivalent Model
7e8627931caf5946f624867ee2843c1dd828ad79	Apalache	Cross3	BagBagToSet	True	Passed	Model Under Test Equivalent Model
cb95b92d5fefb643fe07be5acd949c0194b9fcc9	Apalache	Cross3	BagBagToSet	False	Passed	Model Under Test Equivalent Model
bd82cdb45f40332c68a03a5a82fa14f21b5579ad	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	BagBagToSet	True	Passed	Model Under Test Equivalent Model
6c1ec6517e37e2c7ffdebde20f23925bda1debd7	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	BagBagToSet	False	Passed	Model Under Test Equivalent Model
10cd0b1762a9f49dde4131fc4fdbb2ae9a50caf2	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	BagBagToSet	True	Passed	Model Under Test Equivalent Model
c1ecc4b03a9a898d6249da266e93fbd72191f2d2	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	BagBagToSet	False	Passed	Model Under Test Equivalent Model
b3de66a1e0021966d27c211247cee7b6e8a98090	Apalache	SetDiff	BagBagToSet	True	Passed	Model Under Test Equivalent Model
9797f09c7f7ad2066e3461d8b8489e916e1e7dca	Apalache	SetDiff	BagBagToSet	False	Passed	Model Under Test Equivalent Model
1faf3e30f07c1ea91c9cdeca4e5a94a0a71da2fe	Apalache	SetUnion	BagBagToSet	True	Passed	Model Under Test Equivalent Model
6287eb60272ff7fc6b32127edc96f1f6d4fe3c73	Apalache	SetUnion	BagBagToSet	False	Passed	Model Under Test Equivalent Model
bac90a0ca40c4ee61a5087283f7f5f5b87b3010f	Apalache	SetIntersect	BagBagToSet	True	Passed	Model Under Test Equivalent Model
56d8c2b38441e7690da1f0cf3f1ead6c49d63d89	Apalache	SetIntersect	BagBagToSet	False	Passed	Model Under Test Equivalent Model
1c8e86fd3cad88a70f6b1cddfa07d19da514a13d	Apalache	SubsetEq	BagBagToSet	True	Passed	Model Under Test Equivalent Model
c28f87f30d44b9e124154fa8e24b2bdb55fe7607	Apalache	SubsetEq	BagBagToSet	False	Passed	Model Under Test Equivalent Model
58e6aa6283932bf9fd69ce0fad8cecba3f0a7c7d	Apalache	IfThen	BagBagToSet	True	Passed	Model Under Test Equivalent Model
cf942e0d47ef33bbe48cc0e9c2943d953dcd8c0e	Apalache	IfThen	BagBagToSet	False	Passed	Model Under Test Equivalent Model
a3265e7df24dbd6a11b6ea398a8d5b08b876497b	Apalache	IfElse	BagBagToSet	True	Passed	Model Under Test Equivalent Model
1d9914411b80f01a3a6ca3f924584eeb8a00c253	Apalache	IfElse	BagBagToSet	False	Passed	Model Under Test Equivalent Model
0117d385b83c1f9ef9021cf0b3d1305ed5e37923	Apalache	Subset	BagBagToSet	True	Passed	Model Under Test Equivalent Model
8cb1ab9cce73991553892d73f35377df21637959	Apalache	Subset	BagBagToSet	False	Passed	Model Under Test Equivalent Model
b432a5fe2d123f27b81230d5cee1b5e2c164d38a	Apalache	Union	BagBagToSet	True	Passed	Model Under Test Equivalent Model
44a0d13cce3b5de230c93e7d9fb51cbcc514f8bb	Apalache	Union	BagBagToSet	False	Passed	Model Under Test Equivalent Model
3b49dc2d739367f860892233979bf45a9f1306f9	Apalache	Unchanged	BagBagToSet	True	Passed	Model Under Test Equivalent Model
070952983d9d3dd2e5878f33d919812c0e575ff9	Apalache	Unchanged	BagBagToSet	False	Passed	Model Under Test Equivalent Model
fc411d8960a917ff61b8979ad1e6d3f9b8232222	Apalache	SeqSeq	BagBagToSet	True	Passed	Model Under Test Equivalent Model
1a2755b4b30e4af8e838265aaf8d9bcfac51991f	Apalache	SeqSeq	BagBagToSet	False	Passed	Model Under Test Equivalent Model
f3c00713b56e9465274e6e1b7c6efa440c82dba9	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	TlcSingletonFun	BagBagToSet	True	Passed	Model Under Test Equivalent Model
8405ff94e2713eddf6102507725259c41d56f338	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	TlcSingletonFun	BagBagToSet	False	Passed	Model Under Test Equivalent Model
fcc91c01b7fb0c52d701758b52449049228192a6	TLC with reduction strategy: Case Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	TlcPermuteFun	BagBagToSet	True	Passed	Model Under Test Equivalent Model
42da04f6eb76d04bb7b05f23ac67f0225290c86c	TLC with reduction strategy: Case Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	TlcPermuteFun	BagBagToSet	False	Passed	Model Under Test Equivalent Model
be447bfb66628e0440817257da51036e1dfd1ed7	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr	TlcEval	BagBagToSet	True	Passed	Model Under Test Equivalent Model
a23fe5c9bc78e86d20609ae9fb35c3cf48c5deec	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr	TlcEval	BagBagToSet	False	Passed	Model Under Test Equivalent Model
3c53f32945b8f1f7a2c5861d2ec7757303cc7c9b	Apalache	BagSetToBag	BagBagToSet	True	Passed	Model Under Test Equivalent Model
121368295ef14b7b45a9019b93fe864e9e4609b2	Apalache	BagSetToBag	BagBagToSet	False	Passed	Model Under Test Equivalent Model
5cfc053b2dc4af275b736a0ae2a2ab4e79a5126a	Apalache	BagBagIn	BagBagToSet	True	Passed	Model Under Test Equivalent Model
66910ba0d5682f111c9f472c0749769156222f63	Apalache	BagBagIn	BagBagToSet	False	Passed	Model Under Test Equivalent Model
37618e89283d54113165153e66ab03f00e7e5d61	Apalache	BagCopiesIn	BagBagToSet	True	Passed	Model Under Test Equivalent Model
aacc8f3142c0fbd8e70fec6b0ac8caced655a656	Apalache	BagCopiesIn	BagBagToSet	False	Passed	Model Under Test Equivalent Model
255e9f2fa1a535d6b32bbe8e294b1cc5614cf47d	Apalache	BagBagUnion	BagBagToSet	True	Passed	Model Under Test Equivalent Model
82672da237fc0ee29459832baf3379662e067a33	Apalache	BagBagUnion	BagBagToSet	False	Passed	Model Under Test Equivalent Model
4f97410cb623653ff9c6fadb7f8b13c5bbe0dfe6	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	BagBagToSet	True	Passed	Model Under Test Equivalent Model
fa4823b8d8a8ca15453c4c53ae5acacfcc0a3fe4	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	BagBagToSet	False	Passed	Model Under Test Equivalent Model
1f24178b2e6b898729a83df6cb7fae5d085f726a	Apalache	FiniteSetsCardinality	BagBagToSet	True	Passed	Model Under Test Equivalent Model
295194f49f16839ebf544b4d6a67f64205af139a	Apalache	FiniteSetsCardinality	BagBagToSet	False	Passed	Model Under Test Equivalent Model
b4347febee14a2a35a53bfe16f52db9312cebb70	Apalache	SeqAppend	BagBagToSet	True	Passed	Model Under Test Equivalent Model
df52c47a7a7850e6471c342e03b7aff6a4dd0329	Apalache	SeqAppend	BagBagToSet	False	Passed	Model Under Test Equivalent Model

Index

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