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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
cf467cc53ec17108a5adb1f2666c09887a64f16c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagCardinality	OneLineComment	True	Passed	Model Under Test Equivalent Model
ec79b4ca5702e426967501a527809da5014a8346	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagCardinality	OneLineComment	False	Passed	Model Under Test Equivalent Model
4640117f2bb259eeffad3ff3779066f9a5348596	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagCardinality	MultiLineComment	True	Passed	Model Under Test Equivalent Model
eb10606c097930818c66815525af304b459413cf	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagCardinality	MultiLineComment	False	Passed	Model Under Test Equivalent Model
d23d2977f426782ddfb9489011a25917f320f813	Apalache	BagBagCardinality	Let	True	Passed	Model Under Test Equivalent Model
2d79429c6a6626f97796f5590a63a3a0ea2fb990	Apalache	BagBagCardinality	Let	False	Passed	Model Under Test Equivalent Model
3ad023a3893582551c75ea251a1aa969b8d6164a	Apalache	BagBagCardinality	Choose	True	Passed	Model Under Test Equivalent Model
a7fb2e741644ba3e5da35d544f473a2f2942f0f2	Apalache	BagBagCardinality	Choose	False	Passed	Model Under Test Equivalent Model
345adcd94c4128f3757138a6b3cb392d0675b86c	Apalache	BagBagCardinality	FunApp	True	Passed	Model Under Test Equivalent Model
2c8196e264c0e81ba09266ed4caeb54875bd5674	Apalache	BagBagCardinality	FunApp	False	Passed	Model Under Test Equivalent Model
09b80fd98a6608a6ace07dd12dfd4893e70da6a9	Apalache	BagBagCardinality	Prime	True	Passed	Model Under Test Equivalent Model
d77f3c4278769f31dcad536f4156c40203223196	Apalache	BagBagCardinality	Prime	False	Passed	Model Under Test Equivalent Model
e6dc0c7d05f821c10af4a82b528cb4b640a74156	Apalache	BagBagCardinality	Def0	True	Passed	Model Under Test Equivalent Model
e4a14ff501ddc30184da7f2fe16a5a2f5dca3d45	Apalache	BagBagCardinality	Def0	False	Passed	Model Under Test Equivalent Model
59994fe93332f162ad3a68592596fd7c5c914234	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagCardinality	LetDef0	True	Passed	Model Under Test Equivalent Model
9b7ef6ee85d5a58b29f97cabe14c0013e1d6eaf6	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagCardinality	LetDef0	False	Passed	Model Under Test Equivalent Model
4d1b75e622333b86196a3a1a994dd0a900a4fdf6	Apalache	BagBagCardinality	Def1	True	Passed	Model Under Test Equivalent Model
d272df9e1deae2da6dad3ed8946147fcae08f94d	Apalache	BagBagCardinality	Def1	False	Passed	Model Under Test Equivalent Model
d11c1f15d48f939f12cb1c0410ac41ebe9bdefd7	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagCardinality	LetDef1	True	Passed	Model Under Test Equivalent Model
4eaeeb3cd7bee6c84acb2252ddb06ba67dcb3fa6	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagCardinality	LetDef1	False	Passed	Model Under Test Equivalent Model
de3ef5c0bbaf34e6aea82b39de93b1ba95e2cdc6	Apalache	BagBagCardinality	Def2	True	Passed	Model Under Test Equivalent Model
1d047777306bb6b9d566700f25a72f2b4cfff1cc	Apalache	BagBagCardinality	Def2	False	Passed	Model Under Test Equivalent Model
28557e033654a594a1e34a15b3d386f99ebb6b63	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagCardinality	LetDef2	True	Passed	Model Under Test Equivalent Model
4ff477d76c0a2b0589786d2f6ee46e89b65524f4	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagCardinality	LetDef2	False	Passed	Model Under Test Equivalent Model
08b123d7f24384e57b9fc7a9f062df66122e8eba	Apalache	BagBagCardinality	Def1Recursive	True	Passed	Model Under Test Equivalent Model
853845aedf8429d059d07b3ab17d2adde206afab	Apalache	BagBagCardinality	Def1Recursive	False	Passed	Model Under Test Equivalent Model
5027d12f376d2a34e9454c7f5e7dbd2bd3bbd6d8	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagCardinality	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
7ee0697a530a2b51fbd3c4abdf1b02549e1e117e	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagCardinality	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
019ec733c84fbfaff99adf18f35cb1ddd3d11f26	Apalache	BagBagCardinality	Extends	True	Passed	Model Under Test Equivalent Model
b35e2d013f787db86ea9856e623898f6e61358de	Apalache	BagBagCardinality	Extends	False	Passed	Model Under Test Equivalent Model
ee0ffe868cfe85b5183971cc6dce5f78b3524f11	Apalache	BagBagCardinality	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
27a6daedde229a1e2df220d2bac8902708b422d6	Apalache	BagBagCardinality	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
83e0af13d0ff7c25b998b3d93407b92a2c2c707d	Apalache	BagBagCardinality	Variable	True	Passed	Model Under Test Equivalent Model
747a3dd3158dac34890b03138034b92a8df04cc7	Apalache	BagBagCardinality	Variable	False	Passed	Model Under Test Equivalent Model
e2e84c50ad1bba1cb5ed6bc51c86bac98a5ba40e	Apalache	BagBagCardinality	Constant	True	Passed	Model Under Test Equivalent Model
35434316981a0c1b3ea5b643ce041667fd9e1ff8	Apalache	BagBagCardinality	Constant	False	Passed	Model Under Test Equivalent Model
e7bf89ec680ff044d3bc81bd58a7cc6622a6db5a	Apalache	BagBagCardinality	ConstantRank1	True	Passed	Model Under Test Equivalent Model
e05612c8e0bf6e0539008f67fd48a19679dd17b8	Apalache	BagBagCardinality	ConstantRank1	False	Passed	Model Under Test Equivalent Model
23d1805364a358e9cb7cdcc4b71926e30f6a78b7	Apalache	BagBagCardinality	Instance	True	Passed	Model Under Test Equivalent Model
be7bfac41fcbaf875711f3210301540e6de3725c	Apalache	BagBagCardinality	Instance	False	Passed	Model Under Test Equivalent Model
a61128c4901f6185d1905a219c508dd63e6521b0	Apalache	BagBagCardinality	InstanceWith	True	Passed	Model Under Test Equivalent Model
d3f19799ff5faec2c4c895ac69ab4c10837f21c9	Apalache	BagBagCardinality	InstanceWith	False	Passed	Model Under Test Equivalent Model
3fdbf51f3345c69f44e92ba7e293b1849c4dff19	Apalache	BagBagCardinality	InstanceNamed	True	Passed	Model Under Test Equivalent Model
6ea3d78d89a847d1cc13cc7acf52be3ead7eeceb	Apalache	BagBagCardinality	InstanceNamed	False	Passed	Model Under Test Equivalent Model
88af90f592470eaee1c022b12a46453a13122734	Apalache	BagBagCardinality	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
5eda41bcb964b1e25eb63c7b54c0d398948be86b	Apalache	BagBagCardinality	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
efe488f941b32d639b8bdc71738e41b4c57776ac	Apalache	BagBagCardinality	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
896c3b412ebf66d986f79fa8964bce81d320b0f0	Apalache	BagBagCardinality	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
eefbccda5373e642f96224ad4603004be60a8d83	Apalache	BagBagCardinality	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
d7f716469c39d76c0f535eeabe0f152cb1f688ac	Apalache	BagBagCardinality	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
20fd494e7a14d75f9c5d17b8b816fcb861112a56	Apalache	BagBagCardinality	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
79753f9a8307fae817f2a4788957ec85b9f47944	Apalache	BagBagCardinality	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
16b9b8666a5a3a29fcc85ed4a9297574245df670	Apalache	BagBagCardinality	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
9aedb6e621116c39e190e110c848eb8a87688d93	Apalache	BagBagCardinality	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
78f0ac95ed4fe3accde368e3042ea2441f06c0ab	Apalache	BagBagCardinality	IfCond	True	Passed	Model Under Test Equivalent Model
5be170b0b195ae7ded381b565303d92e497a48c3	Apalache	BagBagCardinality	IfCond	False	Passed	Model Under Test Equivalent Model
cd1df6945a83360c8356d275356659c7e9ab36d5	Apalache	BagBagCardinality	IfThen	True	Passed	Model Under Test Equivalent Model
aabac09b24c3579aaa28f8477547f4089b4c54d8	Apalache	BagBagCardinality	IfThen	False	Passed	Model Under Test Equivalent Model
356cd02f21670ce36e068d18e3f6e51fc6f14275	Apalache	BagBagCardinality	IfElse	True	Passed	Model Under Test Equivalent Model
e0e7d32e1f17ef4277b1ca430fdf8c529fa37e92	Apalache	BagBagCardinality	IfElse	False	Passed	Model Under Test Equivalent Model
dfebf10793ff03edc75b90ae3292d29e3e8c69bf	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	BagBagCardinality	TlcEval	True	Passed	Model Under Test Equivalent Model
b7d08b37d1fd01cd28c35f168a4121fc55c29594	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	BagBagCardinality	TlcEval	False	Passed	Model Under Test Equivalent Model
a8782fc47773a7eb75a623c41ae22c3f4cf57b1d	Apalache	BagBagCardinality	BagSetToBag	True	Passed	Model Under Test Equivalent Model
8447185c269deba1c88c9c4a148056a76619ea08	Apalache	BagBagCardinality	BagSetToBag	False	Passed	Model Under Test Equivalent Model
7f51e8ba22a1c97d80708dcac571d5c681ed6341	Apalache	BagBagCardinality	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
f74f2e511bccc67460225fae37676a7db2488a52	Apalache	BagBagCardinality	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
ae38bc7c7c4cfa52cd5264831324d25c7f67bc39	Apalache	BagBagCardinality	BagAddBag	True	Passed	Model Under Test Equivalent Model
38e804e2e71908fabb5a97fd48c108def1fc562b	Apalache	BagBagCardinality	BagAddBag	False	Passed	Model Under Test Equivalent Model
cd8691c17622d8053b22c86a9022c57ee61cbe6c	Apalache	BagBagCardinality	BagBagSub	True	Passed	Model Under Test Equivalent Model
8d30dc6652b66bc8107ca281a599b6f39ff09575	Apalache	BagBagCardinality	BagBagSub	False	Passed	Model Under Test Equivalent Model
06b2c5c1d31aa894d94189ea0a0a4b7414745219	Apalache	BagBagCardinality	BagBagUnion	True	Passed	Model Under Test Equivalent Model
022fda6cad91fc27638f4bfed7af5f911c7e5bcb	Apalache	BagBagCardinality	BagBagUnion	False	Passed	Model Under Test Equivalent Model
cd1d51db9a6da989bdbad17900d1f1f04a436ec6	Apalache	BagBagCardinality	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
8aac642f4aba60c23603a570dfa384431c38a3d6	Apalache	BagBagCardinality	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
f0914f5057d6a6e6a37686e98f9ece59f0782a59	Apalache	BagBagCardinality	SeqHead	True	Passed	Model Under Test Equivalent Model
0abbad6541f0959e2d4779d2e439f9dae6d2720f	Apalache	BagBagCardinality	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

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