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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
7c2a32cf094b17999dfe6aa702ca0cef1ef191b1	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagSubsetEqBag	OneLineComment	True	Passed	Model Under Test Equivalent Model
1fad99f935ccaa29a210f2dc9d80971d03478e5c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagSubsetEqBag	OneLineComment	False	Passed	Model Under Test Equivalent Model
d2a19a353f5692bd1fc26774a7d4704b85609635	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagSubsetEqBag	MultiLineComment	True	Passed	Model Under Test Equivalent Model
b2fd4dc68fdaff0dfe92dfd4bfa61ca36dd6afbf	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagSubsetEqBag	MultiLineComment	False	Passed	Model Under Test Equivalent Model
b6a76a0c7e664e4a323ff03708e59232d7a86429	Apalache	BagSubsetEqBag	Let	True	Passed	Model Under Test Equivalent Model
d6b7a982b2f1e30555010acf6d89c2c30d870c5e	Apalache	BagSubsetEqBag	Let	False	Passed	Model Under Test Equivalent Model
5ee85e40d2f33f54284033d7cf1b059db94d7d68	Apalache	BagSubsetEqBag	Choose	True	Passed	Model Under Test Equivalent Model
7be6f8f475df5b3a99c3bca677c1e33b5896c6b0	Apalache	BagSubsetEqBag	Choose	False	Passed	Model Under Test Equivalent Model
99fd89fbb9033dfd95690e00bc94e0d83c23320c	Apalache	BagSubsetEqBag	FunApp	True	Passed	Model Under Test Equivalent Model
9d4cd06dd44589676a40a4741b3013fd96826146	Apalache	BagSubsetEqBag	FunApp	False	Passed	Model Under Test Equivalent Model
c5c64bb46fa7b7b0ae147cb0995236d6692641ac	Apalache	BagSubsetEqBag	Prime	True	Passed	Model Under Test Equivalent Model
edc6cbf73a16b48b5273140cbe65136a56576e45	Apalache	BagSubsetEqBag	Prime	False	Passed	Model Under Test Equivalent Model
4248db723890664d1993905003c0f3ceb43a1be2	Apalache	BagSubsetEqBag	Def0	True	Passed	Model Under Test Equivalent Model
34ffb4ce8e2424741cbe12f43bfb8cb667400140	Apalache	BagSubsetEqBag	Def0	False	Passed	Model Under Test Equivalent Model
261d7cef2301c6af623b9fca5cbb5d007b011062	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagSubsetEqBag	LetDef0	True	Passed	Model Under Test Equivalent Model
632efc756a64f5b84a0e512a0c62fdcdcd683419	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagSubsetEqBag	LetDef0	False	Passed	Model Under Test Equivalent Model
d8b6c5ecaced8ef28944205a7da3fbd2faadeb51	Apalache	BagSubsetEqBag	Def1	True	Passed	Model Under Test Equivalent Model
33d1b1b3bcd017894bb523bee56e763afadb75c2	Apalache	BagSubsetEqBag	Def1	False	Passed	Model Under Test Equivalent Model
4c2430aa63bb3bdd1842ed32ac7a2e607237c5de	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagSubsetEqBag	LetDef1	True	Passed	Model Under Test Equivalent Model
1a16fba4d2ffd9b09264c9c08e4a898fa8248fed	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagSubsetEqBag	LetDef1	False	Passed	Model Under Test Equivalent Model
ada400d94054ec6839df5fae7d379caf454ad87b	Apalache	BagSubsetEqBag	Def2	True	Passed	Model Under Test Equivalent Model
c45bb74d072285df93f95d0f4a3774dc3e804631	Apalache	BagSubsetEqBag	Def2	False	Passed	Model Under Test Equivalent Model
f29b7083f5f4ba143e055419e3e55e988f33b241	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagSubsetEqBag	LetDef2	True	Passed	Model Under Test Equivalent Model
c0f9ad7b44d7a18f1b48b2d5d163d93e0b188e57	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagSubsetEqBag	LetDef2	False	Passed	Model Under Test Equivalent Model
999acc050b055865f0b356b6c3b3bce390b20791	Apalache	BagSubsetEqBag	Def1Recursive	True	Passed	Model Under Test Equivalent Model
e5e3a2ac5bc25b2c3fd7ceef36245f5407d3e2e7	Apalache	BagSubsetEqBag	Def1Recursive	False	Passed	Model Under Test Equivalent Model
ddaa77a265c49941520833152a1ab6a84a598a16	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagSubsetEqBag	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
bd0585a135fae194f1d07154dd19b0498d3a43d2	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagSubsetEqBag	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
eff029001a44653d3c352665ef5658a9d8084d84	Apalache	BagSubsetEqBag	Extends	True	Passed	Model Under Test Equivalent Model
a3faa2b1553e8793fa9d0a608faeef4b1c66d637	Apalache	BagSubsetEqBag	Extends	False	Passed	Model Under Test Equivalent Model
e18374da31f81be08073e52771cbdea7721639af	Apalache	BagSubsetEqBag	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
cbbafed0ec550cbb75f76684b5d7b0761021e09e	Apalache	BagSubsetEqBag	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
5340629b38531a1e512e2b15a9dbc707f2d4c909	Apalache	BagSubsetEqBag	Variable	True	Passed	Model Under Test Equivalent Model
104d746238c0950238e8e144879d9007a6c4c48e	Apalache	BagSubsetEqBag	Variable	False	Passed	Model Under Test Equivalent Model
d7885e829a906ef66d70159f85892db817da1772	Apalache	BagSubsetEqBag	Constant	True	Passed	Model Under Test Equivalent Model
094c2d72bdf7e20b5364a4d16f73ceb186c02c89	Apalache	BagSubsetEqBag	Constant	False	Passed	Model Under Test Equivalent Model
5c1f96b51a5d97532127d70ad1dde9df853ec5c6	Apalache	BagSubsetEqBag	ConstantRank1	True	Passed	Model Under Test Equivalent Model
0f32d90c32659aa3582615350c9c529309b88d8e	Apalache	BagSubsetEqBag	ConstantRank1	False	Passed	Model Under Test Equivalent Model
07060edac6904072402f221abbe60f5708f23c18	Apalache	BagSubsetEqBag	Instance	True	Passed	Model Under Test Equivalent Model
906fd8986a6558f41abba745ff31d102c7dcd25e	Apalache	BagSubsetEqBag	Instance	False	Passed	Model Under Test Equivalent Model
015842cb0f4025dd28cc006b2c9d0c44ee6397e3	Apalache	BagSubsetEqBag	InstanceWith	True	Passed	Model Under Test Equivalent Model
77d648f28f25351d944c612625cdd7359ff683a5	Apalache	BagSubsetEqBag	InstanceWith	False	Passed	Model Under Test Equivalent Model
a6f401d1c78d374c098824b159e6582dbf9f1073	Apalache	BagSubsetEqBag	InstanceNamed	True	Passed	Model Under Test Equivalent Model
32e37f56f42381b25e96f1631b30352c6eba8ca2	Apalache	BagSubsetEqBag	InstanceNamed	False	Passed	Model Under Test Equivalent Model
dfa4a6137a8984730c6b4060fd632df0fc2a16cf	Apalache	BagSubsetEqBag	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
e6f9ef1702ab418e67a362ca3d5463c4cc0a3566	Apalache	BagSubsetEqBag	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
fe36d4e2fbefa2337116e7cb406a96f258428124	Apalache	BagSubsetEqBag	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
220a92b937606a927cb54020e049040ff10f2b6c	Apalache	BagSubsetEqBag	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
f6c6cceae9ed2fad66620169a15c42c2581c4c6e	Apalache	BagSubsetEqBag	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
253815d94aee6b127e2af11480acde4988b0bdf4	Apalache	BagSubsetEqBag	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
5e3f68aa92c7ae6862137a07779b85e308395605	Apalache	BagSubsetEqBag	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
f3b320de8cc620065b1f4565100d65e86e217afd	Apalache	BagSubsetEqBag	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
4d08c045902d68a1134ab9e3bd6952b4e758a431	Apalache	BagSubsetEqBag	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
4059ea2f763741ae209b95ed66a4cf537879ca78	Apalache	BagSubsetEqBag	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
05d981eb2a832badc1776666890bd3435b82789c	Apalache	BagSubsetEqBag	IfCond	True	Passed	Model Under Test Equivalent Model
63f2d3ef2bcc3b6ad800289fa2f4775e49fc2009	Apalache	BagSubsetEqBag	IfCond	False	Passed	Model Under Test Equivalent Model
a65ec76282cb7fe20ebaab41d9f53ee753c861f4	Apalache	BagSubsetEqBag	IfThen	True	Passed	Model Under Test Equivalent Model
8cda625b52fcae0429ee15b1015659310ee421df	Apalache	BagSubsetEqBag	IfThen	False	Passed	Model Under Test Equivalent Model
3fcc5c807a17a7d4997d4582a289627f3db4896e	Apalache	BagSubsetEqBag	IfElse	True	Passed	Model Under Test Equivalent Model
c1d5dfede4dbad590e1e0ba31abe71d959271c5a	Apalache	BagSubsetEqBag	IfElse	False	Passed	Model Under Test Equivalent Model
57b87131b3fdac2422231aaf8ba310294d92c5f2	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	BagSubsetEqBag	TlcEval	True	Passed	Model Under Test Equivalent Model
698be23b6985fddec8b65776a235baa0affac498	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	BagSubsetEqBag	TlcEval	False	Passed	Model Under Test Equivalent Model
87891bab5c25f9b8c3e6c8d03967cd5cfd16af09	Apalache	BagSubsetEqBag	BagSetToBag	True	Passed	Model Under Test Equivalent Model
24075a57ec7f619f48e055fa37c60670a3b9b379	Apalache	BagSubsetEqBag	BagSetToBag	False	Passed	Model Under Test Equivalent Model
ecdf09d2b8d8abc705765257731013ca9c62837b	Apalache	BagSubsetEqBag	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
b22ab65b5a6f3bd12dc558ca311e0a36cb64e14d	Apalache	BagSubsetEqBag	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
b7fa955a21c9de87fc01ed28cf19b677a884d5ad	Apalache	BagSubsetEqBag	BagAddBag	True	Passed	Model Under Test Equivalent Model
abbc722ea95534af760e51898e442ddfe273b4e4	Apalache	BagSubsetEqBag	BagAddBag	False	Passed	Model Under Test Equivalent Model
f52a3447ad8420ba1dbdcec7da13334145867818	Apalache	BagSubsetEqBag	BagBagSub	True	Passed	Model Under Test Equivalent Model
8f6702ea39d337ebcbdeed9b7cf782075e25cf4d	Apalache	BagSubsetEqBag	BagBagSub	False	Passed	Model Under Test Equivalent Model
9bdd0c37bc49d0797a8f6d7ee430a2b7d5514796	Apalache	BagSubsetEqBag	BagBagUnion	True	Passed	Model Under Test Equivalent Model
619b45b0ead0064f3c225097e51697c0f9227554	Apalache	BagSubsetEqBag	BagBagUnion	False	Passed	Model Under Test Equivalent Model
0f6d5dfac52d235cdf113ba251b33f4703b0d82b	Apalache	BagSubsetEqBag	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
e94231aede2ba0cc78f72ed9ac548ef4ad95624d	Apalache	BagSubsetEqBag	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
a5e4305c6afc59713c8fad729a0bf37aec5fee3e	Apalache	BagSubsetEqBag	SeqHead	True	Passed	Model Under Test Equivalent Model
c3bd0f8a5c4170e8c57acfc3a760483296e213fd	Apalache	BagSubsetEqBag	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

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