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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
81a63d0a1f4151d765b29bb507a81dc9184993b9	Apalache	Eq	SetIntersect	True	Passed	Model Under Test Equivalent Model
e3e31586b91422608f06bc5bcaff84cea217db4d	Apalache	Eq	SetIntersect	False	Passed	Model Under Test Equivalent Model
6407c399e2d57c2c1826017b9ed33f3b66218f14	Apalache	Ne	SetIntersect	True	Passed	Model Under Test Equivalent Model
9b53b0840843b2f716f2e69031b9e7b9c8ab91f9	Apalache	Ne	SetIntersect	False	Passed	Model Under Test Equivalent Model
28d1c4162783c360e91f48f20aee7d0ce018307f	Apalache	Let	SetIntersect	True	Passed	Model Under Test Equivalent Model
b4934d844e731b2f23a01fceb7f1368732ea83f6	Apalache	Let	SetIntersect	False	Passed	Model Under Test Equivalent Model
a4ac1f50bbaaec1571fa045527da333e11459760	Apalache	Set0	SetIntersect	True	Passed	Model Under Test Equivalent Model
a16209419f85ae6f7eccc29834e8c6b0d4eedbb8	Apalache	Set0	SetIntersect	False	Passed	Model Under Test Equivalent Model
c557394b0e18b05966090fd789dc3e5bfa802468	Apalache	Set1	SetIntersect	True	Passed	Model Under Test Equivalent Model
e0104becf2ab42e507ecc0b4c8f33a95d563c663	Apalache	Set1	SetIntersect	False	Passed	Model Under Test Equivalent Model
6bdd483831240eea328fb6525ebb08944e473753	Apalache	Set2	SetIntersect	True	Passed	Model Under Test Equivalent Model
59295e8f4c3f775d3068ece1dc81d4ba6497cda5	Apalache	Set2	SetIntersect	False	Passed	Model Under Test Equivalent Model
d48ac5a74c9483a4e9f031191da80f6dad025bc5	Apalache	Fun	SetIntersect	True	Passed	Model Under Test Equivalent Model
24d380ea425658837a1adf2fe1958116321b6afe	Apalache	Fun	SetIntersect	False	Passed	Model Under Test Equivalent Model
945012cf97fc05f68df74034acbc1373d92036f0	Apalache	In	SetIntersect	True	Passed	Model Under Test Equivalent Model
ec31348acd9d2607f5a82f289b79186ba5b70f45	Apalache	In	SetIntersect	False	Passed	Model Under Test Equivalent Model
7dc1c63df80c05c3b8e56914a28119ab3a4f681d	Apalache	NotIn	SetIntersect	True	Passed	Model Under Test Equivalent Model
2bcf97f213e5ee379da55b63baa5efecd73a0c2e	Apalache	NotIn	SetIntersect	False	Passed	Model Under Test Equivalent Model
da48d56e3aa4b5dfc1271a2a282944352d471388	Apalache	Record	SetIntersect	True	Passed	Model Under Test Equivalent Model
8b0c6e29a5b53dd00a7306ec854926a859f55228	Apalache	Record	SetIntersect	False	Passed	Model Under Test Equivalent Model
e884015cf6ef598ef87a4f12c9958726897b9d4b	Apalache	Tuple	SetIntersect	True	Passed	Model Under Test Equivalent Model
208dd502184bb7e39f56e4fc065ec0b4c7ea6213	Apalache	Tuple	SetIntersect	False	Passed	Model Under Test Equivalent Model
c83b74bd83c1e9e3f0a9e19f48cb84dd032a80a5	Apalache	FunApp	SetIntersect	True	Passed	Model Under Test Equivalent Model
b01f1feb8ec91c9fdb7a77ae11637abe43d98965	Apalache	FunApp	SetIntersect	False	Passed	Model Under Test Equivalent Model
57dfd5a87e38c42efa2f3d781d12bc1af327d0b5	Apalache	Except1Fun	SetIntersect	True	Passed	Model Under Test Equivalent Model
1723fec30176402ab51a20eb6be6902b2721c1e2	Apalache	Except1Fun	SetIntersect	False	Passed	Model Under Test Equivalent Model
580ce9705627e5aaaa4323ef57766cd64ff4bdf6	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SetIntersect	True	Passed	Model Under Test Equivalent Model
429202f8af8420bbbc4a412c4736a4f7f6b34a34	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SetIntersect	False	Passed	Model Under Test Equivalent Model
e39c1275a6bc5952facda2d2b04639cf548b5d4b	Apalache	Except1Rec	SetIntersect	True	Passed	Model Under Test Equivalent Model
ab1e61bbc89f4bb156799437c4e274b8683a8291	Apalache	Except1Rec	SetIntersect	False	Passed	Model Under Test Equivalent Model
ee7482bc2657de78a504537c047b163473bf16fb	TLC with reduction strategy: Case Feature: @ is reduced to F.arg	Except1RecWithAt	SetIntersect	True	Passed	Model Under Test Equivalent Model
079c429c076aea433f584e9ecd702b050ab22dd8	TLC with reduction strategy: Case Feature: @ is reduced to F.arg	Except1RecWithAt	SetIntersect	False	Passed	Model Under Test Equivalent Model
f218f575dbcce9fcbf048b0c35368ff96092b104	Apalache	Except2Fun	SetIntersect	True	Passed	Model Under Test Equivalent Model
2600bca9fde494fea79e69916e08ef38be098840	Apalache	Except2Fun	SetIntersect	False	Passed	Model Under Test Equivalent Model
7fe00311e52d25da166407ba7c4ea7182ea543a8	Apalache	Prime	SetIntersect	True	Passed	Model Under Test Equivalent Model
926baf20ffea86a8794de89ff61279843968eccb	Apalache	Prime	SetIntersect	False	Passed	Model Under Test Equivalent Model
cc0ef04245ef4ad65384aee078280cda729c7804	Apalache	DefFun	SetIntersect	True	Passed	Model Under Test Equivalent Model
b80dc7a121ecbbbc1409144ea65aa7f265ea2d4e	Apalache	DefFun	SetIntersect	False	Passed	Model Under Test Equivalent Model
c95a719eadadab199056417ab262f8e7687934e7	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFun	SetIntersect	True	Passed	Model Under Test Equivalent Model
e9e04ab8c672057124980f3a2e85c5d7ddefd1e3	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFun	SetIntersect	False	Passed	Model Under Test Equivalent Model
efe24a66f45ac5191860ee2f4bcd51772d727970	Apalache	DefFunRecursive	SetIntersect	True	Passed	Model Under Test Equivalent Model
c7509ee34609e9c6de2d42a98e3ebf76d707a229	Apalache	DefFunRecursive	SetIntersect	False	Passed	Model Under Test Equivalent Model
659e7e609d6d7b60e3d06fbc5933f4bed1123ca7	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunRecursive	SetIntersect	True	Passed	Model Under Test Equivalent Model
4e2887604beadd6d40e3f52b445396635ff512d8	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunRecursive	SetIntersect	False	Passed	Model Under Test Equivalent Model
b5ec427bb9d27855eb5f48e2823296dc6d634909	Apalache	Def0	SetIntersect	True	Passed	Model Under Test Equivalent Model
39b4cc44d55dfb9ab1b0e957a35df85093636dd2	Apalache	Def0	SetIntersect	False	Passed	Model Under Test Equivalent Model
b6585a94c5927d5b19007b865f3f34851111e654	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef0	SetIntersect	True	Passed	Model Under Test Equivalent Model
6e448b781071199722e7a42b3416e46d12477e12	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef0	SetIntersect	False	Passed	Model Under Test Equivalent Model
3a937651f7121892d709b95774a48fd1694fab7b	Apalache	Def1	SetIntersect	True	Passed	Model Under Test Equivalent Model
8d70b289578361fae57486179d39a4c653fb93c0	Apalache	Def1	SetIntersect	False	Passed	Model Under Test Equivalent Model
e48b7e6a64d98a2b9018c344a83fca5e46fa7377	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1	SetIntersect	True	Passed	Model Under Test Equivalent Model
6a79957be51cf6efe2bfe048f62d6b30bb698cae	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1	SetIntersect	False	Passed	Model Under Test Equivalent Model
5aa9eda2e6b76d58126dd9b9f7db80b4effe0d1a	Apalache	Def2	SetIntersect	True	Passed	Model Under Test Equivalent Model
47f1d55e416f93bb337eee36b0def05bcc0fa8ab	Apalache	Def2	SetIntersect	False	Passed	Model Under Test Equivalent Model
d9ad004fd991f29e6b463f2f733c023d1e721f20	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef2	SetIntersect	True	Passed	Model Under Test Equivalent Model
e4c9d35512c929fab18200c4d4a23801c132350d	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef2	SetIntersect	False	Passed	Model Under Test Equivalent Model
9cd1fec336442448eedd63db555565062ad9ec1b	Apalache	Def1Recursive	SetIntersect	True	Passed	Model Under Test Equivalent Model
de9bf1fce12fe1bcb0d91d9951b8190faa99b66d	Apalache	Def1Recursive	SetIntersect	False	Passed	Model Under Test Equivalent Model
8cf06580be52a00facd6d5f2333d6f2053456125	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1Recursive	SetIntersect	True	Passed	Model Under Test Equivalent Model
1747e3cf5547d998968fa2276e26da30ec144836	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1Recursive	SetIntersect	False	Passed	Model Under Test Equivalent Model
6dd75ef0e30832e3beef311f95ab9c11da5975e9	Apalache	Extends	SetIntersect	True	Passed	Model Under Test Equivalent Model
5bfdf14ab1b0f5a5dd1e8c3cbf7348b5caa576de	Apalache	Extends	SetIntersect	False	Passed	Model Under Test Equivalent Model
a18e0b205d0e0816696db3757b73eafec021968f	Apalache	ExtendsInDifferentFolder	SetIntersect	True	Passed	Model Under Test Equivalent Model
3cbfe41713b2dc3d9750e28a7a7be972d3195394	Apalache	ExtendsInDifferentFolder	SetIntersect	False	Passed	Model Under Test Equivalent Model
876487a05793282bdad832f2784930cbba77b4be	Apalache	Variable	SetIntersect	True	Passed	Model Under Test Equivalent Model
41910a2aa0049f892f62371c19cf2b645223e3bd	Apalache	Variable	SetIntersect	False	Passed	Model Under Test Equivalent Model
a166cc330774a5715300536e4f60ee17d8626768	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SetIntersect	True	Passed	Model Under Test Equivalent Model
e7fd151bc26a8ab06ad7a115826b8ca9e023fe41	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SetIntersect	False	Passed	Model Under Test Equivalent Model
fa415e86ed0593d803cf847948dacf7c9fcff8a6	Apalache	Constant	SetIntersect	True	Passed	Model Under Test Equivalent Model
a7017cb5937fb7ab6ef1f85774f54ae67af8eedd	Apalache	Constant	SetIntersect	False	Passed	Model Under Test Equivalent Model
4facaa1165903c0a7e5561a8f6e53188c6dece9a	Apalache	ConstantRank1	SetIntersect	True	Passed	Model Under Test Equivalent Model
7c85599dc307953d478b70f262ee63fad78fa328	Apalache	ConstantRank1	SetIntersect	False	Passed	Model Under Test Equivalent Model
67f89387d8310c0a15478f72c3d1a3c956eb3ae5	Apalache	Instance	SetIntersect	True	Passed	Model Under Test Equivalent Model
00152f6ece78e09b0784a42b8c1820e77570230b	Apalache	Instance	SetIntersect	False	Passed	Model Under Test Equivalent Model
8fc4041c43d5e1c58ca6555972b2962b138cfefd	Apalache	InstanceWith	SetIntersect	True	Passed	Model Under Test Equivalent Model
f12f5a4239e416549c2d80f2b660c7a41946f2c5	Apalache	InstanceWith	SetIntersect	False	Passed	Model Under Test Equivalent Model
fe4bff2dd4486eee82690403cdcb6e03e7b8b9e3	Apalache	InstanceNamed	SetIntersect	True	Passed	Model Under Test Equivalent Model
2e942c699d037555f8bff73327da465bb6fcc554	Apalache	InstanceNamed	SetIntersect	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
294108a5f339dca4c333565fae0804bc92cd18bb	Apalache	InstanceInFolder	SetIntersect	True	Passed	Model Under Test Equivalent Model
571082f237b620f57b958b50a21f689d7594704e	Apalache	InstanceInFolder	SetIntersect	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
cbfee000ea6580efdedc166b9ef9b9c972bf9130	Apalache	InstanceNamedInFolder	SetIntersect	True	Passed	Model Under Test Equivalent Model
2c621895cb12bfdcb65f42ec2b334d6969b0cfbf	Apalache	InstanceNamedInFolder	SetIntersect	False	Passed	Model Under Test Equivalent Model
4d9af4193bf00778014c18576b2d4c62cae26c36	Apalache	InstanceNamedWithInFolder	SetIntersect	True	Passed	Model Under Test Equivalent Model
20c17ff5e1b0694168b9d27e2197a14f93eef9e3	Apalache	InstanceNamedWithInFolder	SetIntersect	False	Passed	Model Under Test Equivalent Model
bfe77d387705ab469d206bc0d0910be74e19d6c3	Apalache	Lambda	SetIntersect	True	Passed	Model Under Test Equivalent Model
92dc77c10af5fa5e0e020cccb69ae9529b6e4979	Apalache	Lambda	SetIntersect	False	Passed	Model Under Test Equivalent Model
c964df57912592e6ce40028adc4bbe537d05cb43	Apalache	Cross2	SetIntersect	True	Passed	Model Under Test Equivalent Model
60289c13f7eb9a531943c0caeecd341a4cb6d84f	Apalache	Cross2	SetIntersect	False	Passed	Model Under Test Equivalent Model
f7c77e5d47bb5003db3e6ba456dad39857d75e7c	Apalache	Cross3	SetIntersect	True	Passed	Model Under Test Equivalent Model
42c097e63fe7708fc3f911bd276c8b7c9d2fc19d	Apalache	Cross3	SetIntersect	False	Passed	Model Under Test Equivalent Model
38c5a9b5b8b44c381c89f64d1a2f86ff60332bca	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	SetIntersect	True	Passed	Model Under Test Equivalent Model
cf2cb10f7dade17faee420f7aa90a16224214007	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	SetIntersect	False	Passed	Model Under Test Equivalent Model
52a63beb35231cb33db058508887fa1adbd6a814	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	SetIntersect	True	Passed	Model Under Test Equivalent Model
4c774bf488cae5f7cb5639caca193ce1a97fcc13	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	SetIntersect	False	Passed	Model Under Test Equivalent Model
f369aaa2c9fa84888c7aea2f36003f81195e151e	Apalache	SetDiff	SetIntersect	True	Passed	Model Under Test Equivalent Model
2ef4db587c707392de7a31d5d6ffc28d183aa743	Apalache	SetDiff	SetIntersect	False	Passed	Model Under Test Equivalent Model
1d66dd0aef4964f33eb7b1f2a24e7e1ef2593dc4	Apalache	SetUnion	SetIntersect	True	Passed	Model Under Test Equivalent Model
e7ecbf0b7b563664b5ba6c86ea8f23b854ff8e27	Apalache	SetUnion	SetIntersect	False	Passed	Model Under Test Equivalent Model
cb623f8d4711c6a16786401647b73c263fe82e83	Apalache	SetIntersect	SetIntersect	True	Passed	Model Under Test Equivalent Model
cb4ffe72e4df1680cb31be21dafb2e4a7c8ce86b	Apalache	SetIntersect	SetIntersect	False	Passed	Model Under Test Equivalent Model
0408ad26db43877167b9f8695a0f723775e542ff	Apalache	SubsetEq	SetIntersect	True	Passed	Model Under Test Equivalent Model
576f246b8e11f1425a190f8b5fbc75e826e0f54c	Apalache	SubsetEq	SetIntersect	False	Passed	Model Under Test Equivalent Model
bb5f2507a990ddca89aa5c3c6ddb8bb7c7f472e8	Apalache	IfThen	SetIntersect	True	Passed	Model Under Test Equivalent Model
2d2e9d3f7e36580b1dbd7a2791e3c04f5f6d288e	Apalache	IfThen	SetIntersect	False	Passed	Model Under Test Equivalent Model
16b48bc14b363f0788d687f4d3e4ecbe549d80fd	Apalache	IfElse	SetIntersect	True	Passed	Model Under Test Equivalent Model
e6293942c82981f2fb4fc5fc8a34723903815516	Apalache	IfElse	SetIntersect	False	Passed	Model Under Test Equivalent Model
c8db44fef536cb500f9cfd1e6ab56f466602ae99	Apalache	Subset	SetIntersect	True	Passed	Model Under Test Equivalent Model
06af2fd9e08c7907609c5bb6985ef1a372aebffd	Apalache	Subset	SetIntersect	False	Passed	Model Under Test Equivalent Model
87e88c49c49516b04ac1c73f608e74bec2bcc122	Apalache	Union	SetIntersect	True	Passed	Model Under Test Equivalent Model
b0c46acd654a744170b3b80c27a2b1303bf009a0	Apalache	Union	SetIntersect	False	Passed	Model Under Test Equivalent Model
75e25dce835b23a0ab5325d4fbe1c390b670d38f	Apalache	Unchanged	SetIntersect	True	Passed	Model Under Test Equivalent Model
71d5615b68c25df07f4cc98be73c39b1c5dd4663	Apalache	Unchanged	SetIntersect	False	Passed	Model Under Test Equivalent Model
495ec41fc537989bc02d6d3999e81e8a662d5946	Apalache	SeqSeq	SetIntersect	True	Passed	Model Under Test Equivalent Model
b60024d16f66654f58ba9969b9f79c45d7a14015	Apalache	SeqSeq	SetIntersect	False	Passed	Model Under Test Equivalent Model
6dbd3862073d98f4addd348b6c73339219607d4e	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	TlcSingletonFun	SetIntersect	True	Passed	Model Under Test Equivalent Model
80e58a0c2d00c75eb1ce6a5fa3480f64a8cb107f	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	TlcSingletonFun	SetIntersect	False	Passed	Model Under Test Equivalent Model
772525ea7204ca2240834c52f5e4837881b3c717	TLC with reduction strategy: Case Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	TlcPermuteFun	SetIntersect	True	Passed	Model Under Test Equivalent Model
8a7bda1bfa88d7e0108c0127e35266d054758949	TLC with reduction strategy: Case Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	TlcPermuteFun	SetIntersect	False	Passed	Model Under Test Equivalent Model
4fa553d87888e78c18580642b3c9776a5a9b97a6	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr	TlcEval	SetIntersect	True	Passed	Model Under Test Equivalent Model
9e355741a2f81dee3e707b6d21951c0ed2c00e43	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr	TlcEval	SetIntersect	False	Passed	Model Under Test Equivalent Model
3fd46d624f466ef81283c9158155130754fa43d2	Apalache	BagSetToBag	SetIntersect	True	Passed	Model Under Test Equivalent Model
2ce06e7d6c107f406fc5927c65c5d33be9e1c9da	Apalache	BagSetToBag	SetIntersect	False	Passed	Model Under Test Equivalent Model
4158d41ca92dcecf3b3aca4eaba40735195dd307	Apalache	BagBagIn	SetIntersect	True	Passed	Model Under Test Equivalent Model
6d5b4b81b119d6f044cf505aad4aafc4cf7fd1d3	Apalache	BagBagIn	SetIntersect	False	Passed	Model Under Test Equivalent Model
067fcf6465bb0f6ea9314840dcd7f3ac9f159307	Apalache	BagCopiesIn	SetIntersect	True	Passed	Model Under Test Equivalent Model
24fc965fa0c972ee519f4180b831223156b9ec24	Apalache	BagCopiesIn	SetIntersect	False	Passed	Model Under Test Equivalent Model
1fedd504df1705cb8cfe18d1c96f9afdffdd47dd	Apalache	BagBagUnion	SetIntersect	True	Passed	Model Under Test Equivalent Model
37f6c37b25de7e3bd864b4f40adaf4dfb8621ad8	Apalache	BagBagUnion	SetIntersect	False	Passed	Model Under Test Equivalent Model
82ca2652e02cd82d86c55eaea98b6b6e829bc7a2	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	SetIntersect	True	Passed	Model Under Test Equivalent Model
0ebd98acfcbadae3c9485d3ae2fbafdd5a22b95c	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	SetIntersect	False	Passed	Model Under Test Equivalent Model
b3c7a6e4696bc3141358af4fa8efd755155a1ea8	Apalache	FiniteSetsCardinality	SetIntersect	True	Passed	Model Under Test Equivalent Model
ccfe8c1d36f495c19e5cf2eb664661e605c05430	Apalache	FiniteSetsCardinality	SetIntersect	False	Passed	Model Under Test Equivalent Model
ec912a9cafc6fe4c5c44a4f1ff75df568150670e	Apalache	SeqAppend	SetIntersect	True	Passed	Model Under Test Equivalent Model
36559ccb19b8a3456bc250985190e39bd61b30a7	Apalache	SeqAppend	SetIntersect	False	Passed	Model Under Test Equivalent Model

Index

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