Tests by case feature Union; CLI Option: -workers auto

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
759ef1ece866a39b1c2b3327ca8926edca780c8a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	OneLineComment	True	Passed	Model Under Test Equivalent Model
cf89839cbb82afa5d88e4367ccdcf4aad1f5b8ad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	OneLineComment	False	Passed	Model Under Test Equivalent Model
1d55633b7de71806b6189c408669543e0caa6da9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	MultiLineComment	True	Passed	Model Under Test Equivalent Model
0fcd908d77fc194c9dcb4bd9a22f26b7e1ae8eec	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	MultiLineComment	False	Passed	Model Under Test Equivalent Model
e21c643c858a1d3b3a749d8ad37bdfc82dcea8bb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Let	True	Passed	Model Under Test Equivalent Model
3f373c4203c231f09ff757e5226d245656735000	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Let	False	Passed	Model Under Test Equivalent Model
bb1aec92ef2a91352dc4cf6fdbbe8c961f5c384f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	SetEmpty	True	Passed	Model Under Test Equivalent Model
fa0c6f21e65dc42dc2fa782df9e3b1e934b68b44	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	SetEmpty	False	Passed	Model Under Test Equivalent Model
feed8444352d7a36dd10707a5ba616728d3630da	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Set0	True	Passed	Model Under Test Equivalent Model
9177f778ae0b383f359b7db9e2e714ece4f60de7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Set0	False	Passed	Model Under Test Equivalent Model
f88f57c08df05c0f6488c657d76adb77e17b237a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Set1	True	Passed	Model Under Test Equivalent Model
9f0d91f8ee338dbf28571e063379565266df8385	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Set1	False	Passed	Model Under Test Equivalent Model
fb39ce0d19abd923b88e5115c3345fd46a4bb852	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Set2	True	Passed	Model Under Test Equivalent Model
24a677a5f91daaf4c7b701ce5f9b7f5a5fd33883	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Set2	False	Passed	Model Under Test Equivalent Model
d44ee9f0d69d0efeba08d543405862d576d36071	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Choose	True	Passed	Model Under Test Equivalent Model
a005cd9c83b0eecb3538ce26b5b686322e10fbfd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Choose	False	Passed	Model Under Test Equivalent Model
551d46b648e65840b1f8b8195dd4963120b1aab7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	FunApp	True	Passed	Model Under Test Equivalent Model
45f6d5bb42c7e6c138b3af1a6a8bffac18705192	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	FunApp	False	Passed	Model Under Test Equivalent Model
baf45b670a645b6c3dff70cb64505827cee82fbd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Prime	True	Passed	Model Under Test Equivalent Model
5d4f6193f4cefcd1b311f31b63ad0621349b6cd4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Prime	False	Passed	Model Under Test Equivalent Model
6717fc530ca6e96f87bdd05fdc539a53b75c3779	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Def0	True	Passed	Model Under Test Equivalent Model
8b82ec550340eb829e05baee21d74eb690df7523	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Def0	False	Passed	Model Under Test Equivalent Model
3846b649ab52bf64fd0cde9122a8cec4dc4717d6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	LetDef0	True	Passed	Model Under Test Equivalent Model
1a0ac20d43dd61be7652f9c36ab972093748ab6f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	LetDef0	False	Passed	Model Under Test Equivalent Model
d63197d22952a25621cb88b4ddd00cc140acf7b7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Def1	True	Passed	Model Under Test Equivalent Model
2a5766facb5b411786d9a145a5849d6e6ce0d48e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Def1	False	Passed	Model Under Test Equivalent Model
a9a2b965554315bd11f3f3d0af7d2198befe2c6f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	LetDef1	True	Passed	Model Under Test Equivalent Model
cf50f00c42070498d1c4098e62df579414729c17	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	LetDef1	False	Passed	Model Under Test Equivalent Model
e088623a5fa8f1547c296955337631ec7d455648	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Def2	True	Passed	Model Under Test Equivalent Model
8b8cfd32666be275e76b20e9daadd078a2c2da75	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Def2	False	Passed	Model Under Test Equivalent Model
129c3db412cfc466a5c233192c08a8deee94bcf1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	LetDef2	True	Passed	Model Under Test Equivalent Model
ce0803657569ad1f709734837df39847097aba3e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	LetDef2	False	Passed	Model Under Test Equivalent Model
f765890dff687b03e0838f263c0b6bae7faaf536	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Def1Recursive	True	Passed	Model Under Test Equivalent Model
02c0ae309affec87d1a53ce2bacb31c548eaf90f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Def1Recursive	False	Passed	Model Under Test Equivalent Model
ebcb7468289481cd027e728e32a1b49baa5f9baa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
b1d00b3a4ba9313da1fc049910928938f1aa0bc0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
04516f7d0397d702e0e6e2d97c31892123458aea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Extends	True	Passed	Model Under Test Equivalent Model
1213d889b6fe9c0c781d456c191c2cb284b058c0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Extends	False	Passed	Model Under Test Equivalent Model
78ecf580a3dfd8024bbb35714ed02eb17e56d225	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
07f7f25e0607d7fe97b5c6dcab060324d86d5dcb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
83004b624a87aff6fdbeb0ea749b3b717e38c5b4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Variable	True	Passed	Model Under Test Equivalent Model
791f939001e678807902a884082ca7c062a07f5b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Variable	False	Passed	Model Under Test Equivalent Model
4b6952ce8c4f0951c3422928ff4aa2bbea07a6e9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Constant	True	Passed	Model Under Test Equivalent Model
0125165474b1e79a07f44a896968e0a0081bb30b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Constant	False	Passed	Model Under Test Equivalent Model
32db15cbacec2f4b5e8647acc91711f14c5adaa1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	ConstantRank1	True	Passed	Model Under Test Equivalent Model
75f1fd2fd6d9d7de03c6c2a3c0b77e332a9c6ee9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	ConstantRank1	False	Passed	Model Under Test Equivalent Model
4811fdce59a6338e0176a03e0974b12e3977bb3e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Instance	True	Passed	Model Under Test Equivalent Model
acedfc2aece0e5df21f520c5ed00a63275686b29	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Instance	False	Passed	Model Under Test Equivalent Model
f220ce067cea76fde236ab71757c2deb3a39db9a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	InstanceWith	True	Passed	Model Under Test Equivalent Model
3a039e87f9e968d9486f9f042fc172612249f37f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	InstanceWith	False	Passed	Model Under Test Equivalent Model
39c0db6493e5a4b337a28235c99ffce47745737e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	InstanceNamed	True	Passed	Model Under Test Equivalent Model
38e5267c5b3a324291f976d44ef86f0ed4514ac8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	InstanceNamed	False	Passed	Model Under Test Equivalent Model
7bda605f0e233346b64a1e48fd00080e930fa2f7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
98221b11e20057c111e5993855437ed237034bc9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
b0bccfeb3d69c39e78e86b478e88da8292506fcc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
6fc32ab616365f2690062a7627e138650580d81e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
ca41191f6c8475ccbfcce3b0fd149daf17ec2487	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
457728bb757cc143dfc45b2b574085c4da3a8365	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
f377ce3647fb878ce648722d63956d8531aebb3d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
f159b91f5e0ac16d25c61b8e28703540cc44d780	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
7ffeedb9478ef5dd1821d9a9b63165eb25967bfc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
40055e6a2a56d7236149fcbb3f16a7f613a80c05	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
33314b3d7f3968f61af79cc7324e00ccef12d521	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	SetDiff	True	Passed	Model Under Test Equivalent Model
ebbe8c6146781d64749db3ce6768bad75d6dd862	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	SetDiff	False	Passed	Model Under Test Equivalent Model
dfa260216b4e364604f893f8009ae10c3fc2bcb4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	SetUnion	True	Passed	Model Under Test Equivalent Model
e4d53719f46e3ca53befed8cd13cef0d8f932b90	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	SetUnion	False	Passed	Model Under Test Equivalent Model
3b85dcff5ef178415f5a8d924a59a1f722572bf2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	SetIntersect	True	Passed	Model Under Test Equivalent Model
0225dc5f1c29fd8f6dfce8b8bf4b8265b60a3d85	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	SetIntersect	False	Passed	Model Under Test Equivalent Model
309b9c0851b2e38abe32c85cdc8cb9d5b976760d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	IfCond	True	Passed	Model Under Test Equivalent Model
f5dee7a8ea47ab4460453bc3adc6b97116416673	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	IfCond	False	Passed	Model Under Test Equivalent Model
70950c0a4bb59693fc6f56e33053fc4368f3032a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	IfThen	True	Passed	Model Under Test Equivalent Model
7478d9914b876959baba200af92d65c227849564	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	IfThen	False	Passed	Model Under Test Equivalent Model
56e0c25f82306e5f8bf525bc77fbff1fbfa0623c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	IfElse	True	Passed	Model Under Test Equivalent Model
98abf065f89160ead90ef128ac94106c82cd368d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	IfElse	False	Passed	Model Under Test Equivalent Model
4ea0357c7af771a2cb647b9fe6891cd4ef9ad60b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Subset	True	Passed	Model Under Test Equivalent Model
135d3407b554b04393b60c8793115a823ec3fbee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Subset	False	Passed	Model Under Test Equivalent Model
bd21767628f233c188a586e0fae8425473693093	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Domain	True	Passed	Model Under Test Equivalent Model
11ec42980ba875d70789f16ae37eb39dec1a52a6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Domain	False	Passed	Model Under Test Equivalent Model
99b7bf1c565d31490ec0ebf81205877a94bbee37	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Union	True	Passed	Model Under Test Equivalent Model
99e65aab88010468fa6fe4ec94afac4c0a5a7900	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Union	False	Passed	Model Under Test Equivalent Model
778cb61739312808e5eb30c9ac43408af575372c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	TlcEval	True	Passed	Model Under Test Equivalent Model
6b7c01fbfe302121c4a05ff2a5e76ed09236bcce	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	TlcEval	False	Passed	Model Under Test Equivalent Model
2eecf3f756956740a3a8140be07bb12fe750c5d4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	BagBagToSet	True	Passed	Model Under Test Equivalent Model
018b21c868fbad0309d16ac0a2ab04833c47487c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	BagBagToSet	False	Passed	Model Under Test Equivalent Model
9e3adbfa154a9dab6ca7c1567e1a3ea11aa792e3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	SeqHead	True	Passed	Model Under Test Equivalent Model
027410f39413d12f8c5c7ddf4a4fe918fb7a3c84	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

Tests by case feature Union; CLI Option: -workers auto