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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
3ed09ecdf00d202e315b6bdd7dfab85231873482	Apalache	BagBagIn	BoolTrue	True	Passed	Model Under Test Equivalent Model
143cde18c96caf6e4f9502c076a18893497bfbf2	Apalache	BagBagIn	BoolTrue	False	Passed	Model Under Test Equivalent Model
7091f83aebd93858fba2eccbf6b11ae10dbaa6b7	Apalache	BagBagIn	BoolFalse	True	Passed	Model Under Test Equivalent Model
7018a9a746b635fdcf0fa69bfabbca22c08c8e1d	Apalache	BagBagIn	BoolFalse	False	Passed	Model Under Test Equivalent Model
5564e274f9680cbf407956d04361a4f337ea5e19	Apalache	BagBagIn	BoolSet	True	Passed	Model Under Test Equivalent Model
e348d5c844a69bb5dc2ec37dd4cb162319503ca6	Apalache	BagBagIn	BoolSet	False	Passed	Model Under Test Equivalent Model
833b79106b22f7525f1733886e2e92ddbc9e496b	Apalache	BagBagIn	And	True	Passed	Model Under Test Equivalent Model
518179c800b20eee9aca88bd490459fd0cbc8ac4	Apalache	BagBagIn	And	False	Passed	Model Under Test Equivalent Model
02d52c5e76c8c66af60036a438afef68ddee7ed5	TLC with reduction strategy: Plug Feature: /\ A /\ B == (A /\ B)	BagBagIn	AndMultiLine	True	Passed	Model Under Test Equivalent Model
b29b6c695b83a88987a7d070767b10ff950a28de	TLC with reduction strategy: Plug Feature: /\ A /\ B == (A /\ B)	BagBagIn	AndMultiLine	False	Passed	Model Under Test Equivalent Model
a363bfa1e4f8464fc6098ff2d7c03e7bfd0f2c27	Apalache	BagBagIn	Imply	True	Passed	Model Under Test Equivalent Model
d3277213067e39c9b4dbbce7c10a8c0884601ba2	Apalache	BagBagIn	Imply	False	Passed	Model Under Test Equivalent Model
8ed77716c188ce2af48d077cb084042449538ff5	Apalache	BagBagIn	Not	True	Passed	Model Under Test Equivalent Model
ede531bd35dba1539850a0c8144fc576e45f0900	Apalache	BagBagIn	Not	False	Passed	Model Under Test Equivalent Model
4d1f84f21f82d9075fd8ec56e345d0957486dc53	TLC with reduction strategy: Plug Feature: A \/ B == ~(~A /\ ~B)	BagBagIn	Or	True	Passed	Model Under Test Equivalent Model
f9a076ca0125035987754bb0572c6a21b64d2020	TLC with reduction strategy: Plug Feature: A \/ B == ~(~A /\ ~B)	BagBagIn	Or	False	Passed	Model Under Test Equivalent Model
a9ef8e4229e82d3e95c44f8f5445f8678e2d68b3	TLC with reduction strategy: Plug Feature: \/ A \/ B == (A \/ B)	BagBagIn	OrMultiLine	True	Passed	Model Under Test Equivalent Model
aba058c311292c2955a7e82a9945a195e8ba0c72	TLC with reduction strategy: Plug Feature: \/ A \/ B == (A \/ B)	BagBagIn	OrMultiLine	False	Passed	Model Under Test Equivalent Model
8b787a28400610703f7be977959caaa8af2ce813	Apalache	BagBagIn	Eq	True	Passed	Model Under Test Equivalent Model
9d4797c9ff549098177c9adef3e038f1cdd6d4da	Apalache	BagBagIn	Eq	False	Passed	Model Under Test Equivalent Model
c46e9e905e69f77b17f91e58d2778e6e6fc3a2d1	Apalache	BagBagIn	Ne	True	Passed	Model Under Test Equivalent Model
0c4c103371a00c28957a591d840a05581d194cbc	Apalache	BagBagIn	Ne	False	Passed	Model Under Test Equivalent Model
07978bbb3a0b68031b1daf99196ba661154c1880	Apalache	BagBagIn	Let	True	Passed	Model Under Test Equivalent Model
7cbfe20373528a5717db2be7ae2a890e183a8390	Apalache	BagBagIn	Let	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
5a47102a50f6a2b85e3c4fa214b8226d60f81863	Apalache	BagBagIn	Set0	True	Passed	Model Under Test Equivalent Model
caf95fd3ebbc088fc3dc1b20a22dcde934f55851	Apalache	BagBagIn	Set0	False	Passed	Model Under Test Equivalent Model
3262a04f970ace5e458f55fa4505c82582cb850e	Apalache	BagBagIn	Set1	True	Passed	Model Under Test Equivalent Model
98f399845c7239eb480caff82f377c7fb98b3cd7	Apalache	BagBagIn	Set1	False	Passed	Model Under Test Equivalent Model
d909b1d86207d7d9e112ebd18be28e315a7b0c00	Apalache	BagBagIn	Set2	True	Passed	Model Under Test Equivalent Model
fda019148619539e565ce38d30d86dd6789b15b3	Apalache	BagBagIn	Set2	False	Passed	Model Under Test Equivalent Model
e7cfb5ab1b34ac2eb8d0d121366129f95b907848	Apalache	BagBagIn	Fun	True	Passed	Model Under Test Equivalent Model
8889435974bc14c0031643203913f6478644bafd	Apalache	BagBagIn	Fun	False	Passed	Model Under Test Equivalent Model
e4f06c366f747d6c7a566cf49286bebc5f8d35df	Apalache	BagBagIn	In	True	Passed	Model Under Test Equivalent Model
6be8d7d2a9474e354eddf55f963688f3f2bfc387	Apalache	BagBagIn	In	False	Passed	Model Under Test Equivalent Model
3bca67b07d57f1f9754b14dbdebd8ea8d7ff43cb	Apalache	BagBagIn	NotIn	True	Passed	Model Under Test Equivalent Model
e85b6fbd9f23789fc73666cdbe14d07db79a7366	Apalache	BagBagIn	NotIn	False	Passed	Model Under Test Equivalent Model
f665a0b1ab700a5b31f777c9a65fa0e8d2efc0a9	Apalache	BagBagIn	Exists	True	Passed	Model Under Test Equivalent Model
6d7985ce99cab1f9b198f25ecd85cc7d4577850b	Apalache	BagBagIn	Exists	False	Passed	Model Under Test Equivalent Model
e134c33198f6ac694a442fc3707de5def482a564	Apalache	BagBagIn	Forall	True	Passed	Model Under Test Equivalent Model
5515e226bb870115e9beceb072020c73283ca1ad	Apalache	BagBagIn	Forall	False	Passed	Model Under Test Equivalent Model
9f6e7bf0066cb3f0f601c04771f6b9d088661968	Apalache	BagBagIn	Choose	True	Passed	Model Under Test Equivalent Model
1c3848c8964456b83e041630854b23d5cfa06447	Apalache	BagBagIn	Choose	False	Passed	Model Under Test Equivalent Model
05a78610aecd12694c116b13b0b8d73123b9e35c	Apalache	BagBagIn	Record	True	Passed	Model Under Test Equivalent Model
a7e44b92532cef0fd9dd33fb5fa1c2ff7cc8719f	Apalache	BagBagIn	Record	False	Passed	Model Under Test Equivalent Model
32770d1f474fd0824c64793da1fa37eb50f1d970	Apalache	BagBagIn	Tuple	True	Passed	Model Under Test Equivalent Model
d23649d05f45b5c1bb3440920f7dd129cbd1685c	Apalache	BagBagIn	Tuple	False	Passed	Model Under Test Equivalent Model
fd7d0fc11000c07671dce387f991a92f94da4e8f	Apalache	BagBagIn	TupleEmpty	True	Passed	Model Under Test Equivalent Model
99e9f719fa23590c2e96925435d7bf5ec4563ff2	Apalache	BagBagIn	TupleEmpty	False	Passed	Model Under Test Equivalent Model
2daffb1b933b69ed250dc989d8b5e6f28a430334	Apalache	BagBagIn	FunApp	True	Passed	Model Under Test Equivalent Model
75b8eaaac068a75f78e200de325043cd4d4c990c	Apalache	BagBagIn	FunApp	False	Passed	Model Under Test Equivalent Model
ed012e88b17687f77e2e7105a87a8fb378dd9222	Apalache	BagBagIn	Prime	True	Passed	Model Under Test Equivalent Model
184f7134205893377bfabbe7e6b37029c54d60bf	Apalache	BagBagIn	Prime	False	Passed	Model Under Test Equivalent Model
c0d2daab9b2c47a155f1139ad6f6f321d2e28894	Apalache	BagBagIn	NumZero	True	Passed	Model Under Test Equivalent Model
caaa663acc679582890ab7fd993b04d9dd514aee	Apalache	BagBagIn	NumZero	False	Passed	Model Under Test Equivalent Model
98e15c81b0c96d8299594645259b090021e56ee2	Apalache	BagBagIn	NumOne	True	Passed	Model Under Test Equivalent Model
7c6f62ddaabaef79e4bce3921ed7c44d65cddc4f	Apalache	BagBagIn	NumOne	False	Passed	Model Under Test Equivalent Model
bc29ed9b60098e21f424eb3564d57a79df8eb23b	Apalache	BagBagIn	NumMaxInt	True	Passed	Model Under Test Equivalent Model
4e7315e5092fe85ae3a3879cc5a0d3557d74c67b	Apalache	BagBagIn	NumMaxInt	False	Passed	Model Under Test Equivalent Model
6ef160966158b153bdadfdf589545f841a4f496c	Apalache	BagBagIn	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
469fd873e8772fffef70131ce682ef17473a5af0	Apalache	BagBagIn	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
843e1731545f012ef607f1814af94610c5a7bfbc	Apalache	BagBagIn	NumPlus	True	Passed	Model Under Test Equivalent Model
5a7b9864360793947242fed66b983da2b790cbc0	Apalache	BagBagIn	NumPlus	False	Passed	Model Under Test Equivalent Model
325802c817bb12df3ac166de899acb550141d912	Apalache	BagBagIn	NumMinus	True	Passed	Model Under Test Equivalent Model
9d813d5856b6beb10a1a2efcb284c56a4f1a3d70	Apalache	BagBagIn	NumMinus	False	Passed	Model Under Test Equivalent Model
a1a012560794169604194d8d493d7ec963b3126c	Apalache	BagBagIn	NumMul	True	Passed	Model Under Test Equivalent Model
b96f1bf603129ee8e5f7f64e7b9df1d5ee6f4c69	Apalache	BagBagIn	NumMul	False	Passed	Model Under Test Equivalent Model
bddc41a66baab6212f20f8eccd9c3883f8978a97	Apalache	BagBagIn	NumDiv	True	Passed	Model Under Test Equivalent Model
01d1d643779723439023c2fcca9133ac97708157	Apalache	BagBagIn	NumDiv	False	Passed	Model Under Test Equivalent Model
29484ae07ab910e06c07628cc9da18b741f16284	Apalache	BagBagIn	NumMod	True	Passed	Model Under Test Equivalent Model
53a2438755ee183cd697f752903bbb4747cca825	Apalache	BagBagIn	NumMod	False	Passed	Model Under Test Equivalent Model
e6dc2bd624bc7a97e701b65b9d8df7ffa7de886b	Apalache	BagBagIn	NumPow	True	Passed	Model Under Test Equivalent Model
89c5cb065596480ed3e12dd3c32937984b44b8cd	Apalache	BagBagIn	NumPow	False	Passed	Model Under Test Equivalent Model
2c0fd16b66001d37dcaa8a1b4f11684e39f4d935	Apalache	BagBagIn	NumGt	True	Passed	Model Under Test Equivalent Model
d7ce9358fe885c919bdfbcc4d06e50cbf7a2b73d	Apalache	BagBagIn	NumGt	False	Passed	Model Under Test Equivalent Model
211894e25d86e8636243941596656c818d3c371e	Apalache	BagBagIn	NumGe	True	Passed	Model Under Test Equivalent Model
c39d7ce45e0f6c62514d3014ca4dcc28d9e953e0	Apalache	BagBagIn	NumGe	False	Passed	Model Under Test Equivalent Model
226f2691c8bdf2173aa1a16649dc497c576c1dc8	Apalache	BagBagIn	NumLt	True	Passed	Model Under Test Equivalent Model
09e1c189fa451f3309dff711a5677df63d441ffd	Apalache	BagBagIn	NumLt	False	Passed	Model Under Test Equivalent Model
6001b3c708512e59a48fc8b2345e189943356cbd	Apalache	BagBagIn	NumLe	True	Passed	Model Under Test Equivalent Model
5099f3cf13eebf9ac6cc545567a93ae1b9b55379	Apalache	BagBagIn	NumLe	False	Passed	Model Under Test Equivalent Model
daf406dd3186661c733d138c3168787fb2459f7f	Apalache	BagBagIn	DefFun	True	Passed	Model Under Test Equivalent Model
211c9bc8eb8a282ccd1d205ccded06b2d155069b	Apalache	BagBagIn	DefFun	False	Passed	Model Under Test Equivalent Model
d55b10f8b4442fdfe96b35751c5eeb23383a0491	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagIn	LetDefFun	True	Passed	Model Under Test Equivalent Model
7954907619a8d1e220f67b74ce0c70590f0fe9fe	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagIn	LetDefFun	False	Passed	Model Under Test Equivalent Model
aa2ac3571b45afc09c93493e6799deb0a9769b63	Apalache	BagBagIn	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
5beb3d66e3e293a943b550c33aa2333191bbc6c4	Apalache	BagBagIn	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
f12d01241b05471bbebfc72a5948a4d5285e3fa4	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagIn	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
4e073df82f2b3cc9ff83c6368dc6be42fe54a0f6	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagIn	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
c1a99303af8da1bb2b7409bafb5e0a6db0e37731	Apalache	BagBagIn	Def0	True	Passed	Model Under Test Equivalent Model
51c6808d75d32ad5a5f6e4621ad2b33969472f7e	Apalache	BagBagIn	Def0	False	Passed	Model Under Test Equivalent Model
99c0885221a34db80353dc044702a99b6bb9be83	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagIn	LetDef0	True	Passed	Model Under Test Equivalent Model
55f386bb1d78e673eb4bf1acd7e73a8e615fcbc0	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagIn	LetDef0	False	Passed	Model Under Test Equivalent Model
df22404e838522fa84244dc4c03251f4d73e23f5	Apalache	BagBagIn	Def1	True	Passed	Model Under Test Equivalent Model
4ff0936785a5d974dd4b73974be575ad8a2136dc	Apalache	BagBagIn	Def1	False	Passed	Model Under Test Equivalent Model
cdf344bcef999f7707abb199725963d67b9ee6fb	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagIn	LetDef1	True	Passed	Model Under Test Equivalent Model
21521cc26d2a93d0b5d8c0438cfd1976d3c9dd82	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagIn	LetDef1	False	Passed	Model Under Test Equivalent Model
74a300f00bb4db378359931a93f53ad14890142e	Apalache	BagBagIn	Def2	True	Passed	Model Under Test Equivalent Model
62352e796d995a65bff58134c979cb09eab6a574	Apalache	BagBagIn	Def2	False	Passed	Model Under Test Equivalent Model
bc5f87e179bec62cf45396044cd4f5d2130afb3c	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagIn	LetDef2	True	Passed	Model Under Test Equivalent Model
1b40049e93063ae59c6e2b8537b0a5dd8201108b	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagIn	LetDef2	False	Passed	Model Under Test Equivalent Model
8afe768d50ddc9898acd56437d98581c99bf6d63	Apalache	BagBagIn	Def1Recursive	True	Passed	Model Under Test Equivalent Model
bdb2a70d5071deca1c615a5ded2647150b83dddc	Apalache	BagBagIn	Def1Recursive	False	Passed	Model Under Test Equivalent Model
0446326aad8fc6a2c1f116488ab12585bb107c24	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagIn	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
ca4bd400745385b50298c785d458eafd83b7cb4d	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagIn	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
26df4596c3d5cb0f9928c6df9d54c0f88a2fc7c6	Apalache	BagBagIn	Extends	True	Passed	Model Under Test Equivalent Model
9c3b8f042db29354d5ef77e0f716390596b19eae	Apalache	BagBagIn	Extends	False	Passed	Model Under Test Equivalent Model
e8928c3fa4d85f04b8775d444077f1f8e0040cfe	Apalache	BagBagIn	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
7042902fd03458950a9f4b70bc29244197f8ca08	Apalache	BagBagIn	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
8cb973ba615fb00c667f8346d4fd31a0037507ec	Apalache	BagBagIn	Variable	True	Passed	Model Under Test Equivalent Model
627f2f8433cb61e988d30bac0faf937e7c590966	Apalache	BagBagIn	Variable	False	Passed	Model Under Test Equivalent Model
17ed8a59b8b9c45e7125b0c5c271705bc3d17a8e	Apalache	BagBagIn	Constant	True	Passed	Model Under Test Equivalent Model
eda87fe58e70bbec5260c1742ad31ff75d1bc67a	Apalache	BagBagIn	Constant	False	Passed	Model Under Test Equivalent Model
2ef7b2b81f4d42fc575c1f26b283d99da8896a81	Apalache	BagBagIn	ConstantRank1	True	Passed	Model Under Test Equivalent Model
090288f6f666b42ba5b2965cb24966be0944d25c	Apalache	BagBagIn	ConstantRank1	False	Passed	Model Under Test Equivalent Model
ca5278e8f6d46c2d7216612302a65e9087758846	Apalache	BagBagIn	Instance	True	Passed	Model Under Test Equivalent Model
04557dc236d315023dcb3d101deecdfe225dcaa8	Apalache	BagBagIn	Instance	False	Passed	Model Under Test Equivalent Model
add39047cd9b81141de7c24288b06955b46eb06d	Apalache	BagBagIn	InstanceWith	True	Passed	Model Under Test Equivalent Model
ea197e0220be8319d8eb5481c956aa8cf8252334	Apalache	BagBagIn	InstanceWith	False	Passed	Model Under Test Equivalent Model
dd56b09b9e257dade229ac2326c2b4e87fa50037	Apalache	BagBagIn	InstanceNamed	True	Passed	Model Under Test Equivalent Model
b133b1a17474599ea85d511b519df2fdbf336ba9	Apalache	BagBagIn	InstanceNamed	False	Passed	Model Under Test Equivalent Model
8ab1fc8f12fa42dd48db16088ea002566214c67f	Apalache	BagBagIn	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
24dad216dcdab88b6120f6323567a31683d4a7ef	Apalache	BagBagIn	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
75952b0d41cfe06947685ac9e83ac75e9b0ea290	Apalache	BagBagIn	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
92424e7c0b4f415a236dfc921c7dd383453db990	Apalache	BagBagIn	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
8098fcb706ffce8ed778b04c65db8dcf302286b1	Apalache	BagBagIn	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
ad48493f829a921eeb70c4c0de515aa6e8c5e997	Apalache	BagBagIn	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
a3994e084f61d97e7163d55bc52d8f936157efa3	Apalache	BagBagIn	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
cfbd765dbcc5f9f832658210f1918e8907e0c851	Apalache	BagBagIn	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
bda5293213562215ad619af8a2ca03300beff7c7	Apalache	BagBagIn	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
2458a856284f107d37ea5d7fb9fd4680c39d448c	Apalache	BagBagIn	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
c02ff7f21f5b294f491afa2fd730eda00e576e3a	Apalache	BagBagIn	Enabled	True	Passed	Model Under Test Equivalent Model
db575cbd1d2e9d80260ad3f7438b914308c3e573	Apalache	BagBagIn	Enabled	False	Passed	Model Under Test Equivalent Model
cfcf507393e5f792110ca2657b51dccb10198fd2	Apalache	BagBagIn	Cross2	True	Passed	Model Under Test Equivalent Model
e45399d7d9db542f193762c883a4fd85ce4ada9f	Apalache	BagBagIn	Cross2	False	Passed	Model Under Test Equivalent Model
f1934fe9e426e63def2efb812355b995beda1da3	Apalache	BagBagIn	Cross3	True	Passed	Model Under Test Equivalent Model
29f40126ebec693f223896e37dfdf3117130c754	Apalache	BagBagIn	Cross3	False	Passed	Model Under Test Equivalent Model
0f9082004bf7e729ee3bc6e4ff910a003bde405e	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))	BagBagIn	FunSet	True	Passed	Model Under Test Equivalent Model
6dadd54f93317fe38d8f3bda23f1fbf046cc7b5b	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))	BagBagIn	FunSet	False	Passed	Model Under Test Equivalent Model
a930220c3b326802908d0a14575614e2f8b6d7c4	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)	BagBagIn	RecordSet	True	Passed	Model Under Test Equivalent Model
062a35bb458173e82bf8e1b6eb8c45e71e0126f9	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)	BagBagIn	RecordSet	False	Passed	Model Under Test Equivalent Model
5df62acae3f0b6c3d3033123e9df31aff0e7211d	Apalache	BagBagIn	SetDiff	True	Passed	Model Under Test Equivalent Model
6a7709dcdbf42df34686800812d07b1fddca769d	Apalache	BagBagIn	SetDiff	False	Passed	Model Under Test Equivalent Model
a4e6e992442117fa25f79e0374b3f8c33319f6c7	Apalache	BagBagIn	SetUnion	True	Passed	Model Under Test Equivalent Model
5ae93dd4dd9664eb7cf2b5f9270f00a9c860e666	Apalache	BagBagIn	SetUnion	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
977a39be4f1846f434f2e0bc612c51fcab821770	Apalache	BagBagIn	SubsetEq	True	Passed	Model Under Test Equivalent Model
e60294d7972a593849e86fd901ca4b1f6f5188bd	Apalache	BagBagIn	SubsetEq	False	Passed	Model Under Test Equivalent Model
fbab098ffa0bcb5e73257331c8fe8ba71147f401	Apalache	BagBagIn	IfCond	True	Passed	Model Under Test Equivalent Model
0a8cba3fd9888e7c714985d66c8ed5fe4ddb6d6f	Apalache	BagBagIn	IfCond	False	Passed	Model Under Test Equivalent Model
e6d90164e4b32033c73891417dd463c9220700d6	Apalache	BagBagIn	IfThen	True	Passed	Model Under Test Equivalent Model
22bec79cef5bfb02b5ebad132dde195d7d793b6a	Apalache	BagBagIn	IfThen	False	Passed	Model Under Test Equivalent Model
39f8495d4c5d882d53ac7c243d4ee955642f7748	Apalache	BagBagIn	IfElse	True	Passed	Model Under Test Equivalent Model
e2a6b1c61c796f167491b086473494dd6b92d531	Apalache	BagBagIn	IfElse	False	Passed	Model Under Test Equivalent Model
e802afbd177e3aff33a61aeace8aaaab14b0b574	Apalache	BagBagIn	Subset	True	Passed	Model Under Test Equivalent Model
0e3ad2d68bb594bdd71dfcfe6284426b60d6854f	Apalache	BagBagIn	Subset	False	Passed	Model Under Test Equivalent Model
e1512d4ae9c46a3bbc91e903c1c157dbb7ad6bad	Apalache	BagBagIn	Domain	True	Passed	Model Under Test Equivalent Model
8080925e08c9fa5bfd182a953fc2eaba4a0cadbc	Apalache	BagBagIn	Domain	False	Passed	Model Under Test Equivalent Model
49f5118093c0ffd3b649498a265cc67c887863da	Apalache	BagBagIn	Union	True	Passed	Model Under Test Equivalent Model
e0617e080d8ae8f9d37e4f27f153c200b6d16a1c	Apalache	BagBagIn	Union	False	Passed	Model Under Test Equivalent Model
6cf7bf5d3d5e595ab3c27963de9ca8d39185bc34	Apalache	BagBagIn	Unchanged	True	Passed	Model Under Test Equivalent Model
d39175f7310a774b6e14ab62bda6bd5f924c024e	Apalache	BagBagIn	Unchanged	False	Passed	Model Under Test Equivalent Model
f85564e659a0036992eee2a5ef0859bf910e9609	Apalache	BagBagIn	Equivalence	True	Passed	Model Under Test Equivalent Model
61c39b516633337fdc891223f30bfc830a89d2f0	Apalache	BagBagIn	Equivalence	False	Passed	Model Under Test Equivalent Model
ddabd25c5b86d85709b07aec837174e40e815868	Apalache	BagBagIn	StringEmpty	True	Passed	Model Under Test Equivalent Model
287a3c59f41cb208468cb06b5aa7acf9f7541398	Apalache	BagBagIn	StringEmpty	False	Passed	Model Under Test Equivalent Model
10b7cd012d7b478026e23b6e7035130893344272	Apalache	BagBagIn	String	True	Passed	Model Under Test Equivalent Model
f6a7b10742d9aa03b46af1391f2f9d7d503b686a	Apalache	BagBagIn	String	False	Passed	Model Under Test Equivalent Model
9efae0eed0eecd7f34c9ad12a1118efcda4bf484	Apalache	BagBagIn	SeqLen	True	Passed	Model Under Test Equivalent Model
eb565612430f9d5ce960957c990c770e1f867c47	Apalache	BagBagIn	SeqLen	False	Passed	Model Under Test Equivalent Model
71f92575dc6081108edbf4b5efbdb8d6b2c9d185	Apalache	BagBagIn	SeqConcat	True	Passed	Model Under Test Equivalent Model
8fb1bbf13028b68f66dec204420ad7ffdec7f4f1	Apalache	BagBagIn	SeqConcat	False	Passed	Model Under Test Equivalent Model
b829c0c562b7461848f3c14e2e6651f4f0c59dbf	Apalache	BagBagIn	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
561b9c41ebf81222f84797ac5dbdcc98b1485aa5	Apalache	BagBagIn	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
58b27f2ef6b71eabad0012e3394bb7d4e5341e34	Apalache	BagBagIn	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
fdbcb4f4a5b8f0cf0ac49760e8a204556f0c1e69	Apalache	BagBagIn	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
4fe0e18d941a1bf408a3a42dfacba1614985b67d	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	BagBagIn	NumRange	True	Passed	Model Under Test Equivalent Model
ecb271c755ed65a90d14459557898f3c622c45d2	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	BagBagIn	NumRange	False	Passed	Model Under Test Equivalent Model
4b4a621e6538fc6e8702063bf455d35656ab32b3	TLC with reduction strategy: Plug Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	BagBagIn	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
fbf24e4fa7d91550c2fafdb261731a560a9b86f9	TLC with reduction strategy: Plug Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	BagBagIn	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
dcefd1afd839d96a1173e477b5f1dde091123767	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]]	BagBagIn	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
a2c26289c174438aa81ae1f85b5c64633c2ba11f	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]]	BagBagIn	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
d9d437fa283da58a0de2ea8a4a874ff507ed015d	TLC with reduction strategy: Plug Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	BagBagIn	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
672a47cb78c47630d31e0b925aa35d5a232e7cae	TLC with reduction strategy: Plug Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	BagBagIn	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
c384cdacfab5a840cff06baf22e7296dcd0fd406	TLC with reduction strategy: Plug Feature: SortSeq(S) is reduced to equivalent sort implementation	BagBagIn	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
689f501cfac53c2b023c97d8c3608ca5f230e845	TLC with reduction strategy: Plug Feature: SortSeq(S) is reduced to equivalent sort implementation	BagBagIn	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
7e48827f4167b955e9b8aab82ea76609847e0d81	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	BagBagIn	TlcEval	True	Passed	Model Under Test Equivalent Model
eae35f41bb69f13165c18d72462cc2f192a072eb	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	BagBagIn	TlcEval	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
9b0ba8cd91370da10487bde5df7818c5b526308b	Apalache	BagBagIn	BagSetToBag	True	Passed	Model Under Test Equivalent Model
dbdf7666a95cf9ddfddf5b410803fafff8b3938b	Apalache	BagBagIn	BagSetToBag	False	Passed	Model Under Test Equivalent Model
a0877d32ed62a039215b9d0cfb645bf394270715	Apalache	BagBagIn	BagBagIn	True	Passed	Model Under Test Equivalent Model
bf0abc06e55b2c726cff843e566a9c2e75c784eb	Apalache	BagBagIn	BagBagIn	False	Passed	Model Under Test Equivalent Model
6fd5dbf1d93898ea140d54d5b2002b839ea38f70	Apalache	BagBagIn	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
4fc30df8233685f783fcf44bc5547b064055fe12	Apalache	BagBagIn	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
70c7a755b1d71f82960470792e9775bf7fde87be	Apalache	BagBagIn	BagAddBag	True	Passed	Model Under Test Equivalent Model
fd517c28e9447c76e59e414f1bb00112fb0e6cda	Apalache	BagBagIn	BagAddBag	False	Passed	Model Under Test Equivalent Model
d58f664ae7121b01ab34a9c54ff21dc643312b25	Apalache	BagBagIn	BagBagSub	True	Passed	Model Under Test Equivalent Model
f872b2dee36aea099fa9f9e4e2d8bb5ebb29586b	Apalache	BagBagIn	BagBagSub	False	Passed	Model Under Test Equivalent Model
335bfb67a2caaa7a326b42b83210f223bf266ff7	Apalache	BagBagIn	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
a9fa70648bac5ca6b512659afaba7372d0a31bcc	Apalache	BagBagIn	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
d084e0e755ed8ec63690c95d3cbe8c84a3f2c1ae	Apalache	BagBagIn	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
7b9518ace3082a876085762fe23d79312e951cb6	Apalache	BagBagIn	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
8e6c7abf6278b47cf352ceccf18c8a00c056cb0c	Apalache	BagBagIn	BagBagUnion	True	Passed	Model Under Test Equivalent Model
a08d6f899de4549907eb14d810832404a306de53	Apalache	BagBagIn	BagBagUnion	False	Passed	Model Under Test Equivalent Model
d3c333b64f339f2badc57966d235630335651c5f	Apalache	BagBagIn	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
576b7c85e3f215a48928f7003ddf0bae5b51b471	Apalache	BagBagIn	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
7845a717d2739117fc44fa4b7589efed6cbc0393	Apalache	BagBagIn	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
016e88634fcb7ecae75908fbdf38966806acce88	Apalache	BagBagIn	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
e8e68ce717547fea2d3cfc27b1ac7bcefb3997e5	TLC with reduction strategy: Plug Feature: SubBag(B) is reduced to equivalent SubBagR implementation	BagBagIn	BagSubBag	True	Passed	Model Under Test Equivalent Model
9ef39de64b6f1dbc521221a1dba1f8fea04b6c1a	TLC with reduction strategy: Plug Feature: SubBag(B) is reduced to equivalent SubBagR implementation	BagBagIn	BagSubBag	False	Passed	Model Under Test Equivalent Model
0a3fab7c2e7d661ae6a08da562b563b22e56e6a7	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)	BagBagIn	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
92a91e75b48a634aef3f9919d215d4402445360c	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)	BagBagIn	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
a80a8725a8c237830e4f8a813635bd98978b1573	Apalache	BagBagIn	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
13a215dcf98f1c2117c6d1850a8992b18964a4e2	Apalache	BagBagIn	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
afa9d2fd28bb33858729d7507e39955368f88e2e	Apalache	BagBagIn	SeqHead	True	Passed	Model Under Test Equivalent Model
b52a06d392c0ebf8e40400b025deb19161e54561	Apalache	BagBagIn	SeqHead	False	Passed	Model Under Test Equivalent Model
a635d2e91aaf1d6cd0da73d99e288ccb23277834	Apalache	BagBagIn	SeqTail	True	Passed	Model Under Test Equivalent Model
9ec4ec7e3bc8456edd3ddf0aebfe1e4deb8b7e7a	Apalache	BagBagIn	SeqTail	False	Passed	Model Under Test Equivalent Model
0183267ffeb13fa1c2e3848072a3d5908676713f	Apalache	BagBagIn	SeqAppend	True	Passed	Model Under Test Equivalent Model
7acfe93e547482ec75116e4177b20a4ea4bbd7d5	Apalache	BagBagIn	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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