Tests by plug feature Domain; CLI Option: -workers 2

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
9f88fdaf4a9afe333344a613e7aa827733d87863	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Domain	True	Passed	Model Under Test Equivalent Model
edf0a40770c38a11bc6dede64a87d83e0f80c28a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Domain	False	Passed	Model Under Test Equivalent Model
9c6d68d06848422d50aa84fe979a3127c0c38052	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Domain	True	Passed	Model Under Test Equivalent Model
7b518cc5b7eab4853f2010e7e1b25c32abfec500	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Domain	False	Passed	Model Under Test Equivalent Model
4a49457d34e8754801442e6227c188452aaf23dd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Domain	True	Passed	Model Under Test Equivalent Model
42c87858fe7fab7b961dc36a049d1c986b229767	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Domain	False	Passed	Model Under Test Equivalent Model
7cb1baaf36111e615b2c6ecf5c905bf67caae4fa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Domain	True	Passed	Model Under Test Equivalent Model
224769a6ce40f845afbdd333a53601b0d5dcda30	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Domain	False	Passed	Model Under Test Equivalent Model
fb8aaa39fcfecbac493af0894f28ffc16e7b2154	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Domain	True	Passed	Model Under Test Equivalent Model
e00ef3287c71ce3bf65c51e04b848bb56b2d72a0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Domain	False	Passed	Model Under Test Equivalent Model
606240d4c372074e14269d3613b8a900883429a1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Domain	True	Passed	Model Under Test Equivalent Model
201247b0f95811855a8ebabf1b37eb4922d93e46	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Domain	False	Passed	Model Under Test Equivalent Model
dd85cd5c4e68759ab8d3d62914859c323fd90030	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Domain	True	Passed	Model Under Test Equivalent Model
b5aa96f365b3a2e366433ce0e01f7bca0e84204d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Domain	False	Passed	Model Under Test Equivalent Model
e36d22a498793e147b3012412943ef54be929715	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Domain	True	Passed	Model Under Test Equivalent Model
ca6c325ec6fd56363c9aa5965d506dec9b1c1b43	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Domain	False	Passed	Model Under Test Equivalent Model
ffe8e9868a09b36d35c8131aeb3fbc4bd8ad9b23	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Domain	True	Passed	Model Under Test Equivalent Model
7b9d204dd7a3cf985c59e87d34ebfc1a54928760	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Domain	False	Passed	Model Under Test Equivalent Model
c07373abeeec2d2ef46a22d15db2517d64fd6ec3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Domain	True	Passed	Model Under Test Equivalent Model
349445d606d8b6d764fdc105db6cb263108b0b5d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Domain	False	Passed	Model Under Test Equivalent Model
85fa98ae2848588828acf5d6be749ec3dfd97d18	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Domain	True	Passed	Model Under Test Equivalent Model
e4b7b677813fe49d27bfa604ff7333eda0545a62	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Domain	False	Passed	Model Under Test Equivalent Model
78bc5aa2e703a9b29f71ebffb0efb964ab5ab468	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Domain	True	Passed	Model Under Test Equivalent Model
81c9314f0df08ecafc1c0e9c89fb931e620f47ca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Domain	False	Passed	Model Under Test Equivalent Model
0e2d97b0b37ab480491e5153646acedf7899dad5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Domain	True	Passed	Model Under Test Equivalent Model
5d129089687a8615008f0642091efd66da149d67	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Domain	False	Passed	Model Under Test Equivalent Model
dead3ec02b236fba3724f17c7de2fe994479a520	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Domain	True	Passed	Model Under Test Equivalent Model
3aa4853ab101b727ea55cb1112f19ce402093bb5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Domain	False	Passed	Model Under Test Equivalent Model
96dcacf602a99fa6a697ba0f8c579e6474da8773	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Domain	True	Passed	Model Under Test Equivalent Model
52cb362279d0f6bee0b70b409f3f12498988d468	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Domain	False	Passed	Model Under Test Equivalent Model
b275cc0cfb0f5e6b1a47e00ce4d4d3981750e8d8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Domain	True	Passed	Model Under Test Equivalent Model
35f8b81ef6680e202d233dd72ddb2bb0e33615a7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Domain	False	Passed	Model Under Test Equivalent Model
d462d82682e63f1538b1cc3d9109fb809e961748	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Domain	True	Passed	Model Under Test Equivalent Model
619c5c2cf00cc3cb8aabc4edf2df08b711a01f7a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Domain	False	Passed	Model Under Test Equivalent Model
6b4e9931250a369ff41a8d3761aee9a9f41b920c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Domain	True	Passed	Model Under Test Equivalent Model
65074504d2bc6f00bd262e693f76977a91cd542e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Domain	False	Passed	Model Under Test Equivalent Model
7f6df6c7357673417cacf2cd3e9c653ea69ab78c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Domain	True	Passed	Model Under Test Equivalent Model
4850a45e7e31b5941a02faaa94a11fc5842bce35	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Domain	False	Passed	Model Under Test Equivalent Model
a608bb920f12c2b7f6cada6209f4ed38ad9000ef	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Domain	True	Passed	Model Under Test Equivalent Model
408bb8c5414bfc1ba454114d9db06e6b4077de04	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Domain	False	Passed	Model Under Test Equivalent Model
9110a9a19e77f0198ff40afdf1f3b8b1507ae90a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Domain	True	Passed	Model Under Test Equivalent Model
df12e8a7e5ca704a0a75436b8ced1a6702cc2c54	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Domain	False	Passed	Model Under Test Equivalent Model
c9eb2530df9c31fbf919dab442b649f180ec64d7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Domain	True	Passed	Model Under Test Equivalent Model
3af70537a217943271a84f13dbf8b1d7fae1dac9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Domain	False	Passed	Model Under Test Equivalent Model
de1cc04555df6725d77d69eeb0c32fda5f589feb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Domain	True	Passed	Model Under Test Equivalent Model
51d92c1222f3595de3b8fbe8738054ebf91b5e9f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Domain	False	Passed	Model Under Test Equivalent Model
9edf4265bcc9fbe07440454d2b8fd937adeba82e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Domain	True	Passed	Model Under Test Equivalent Model
7c7046aba908234cb979b90afc49cd57f6bb8450	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Domain	False	Passed	Model Under Test Equivalent Model
85437a7748f4cd1a99ee997ff9dd2be61144a8db	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Domain	True	Passed	Model Under Test Equivalent Model
57a02b3a71f5327a903ea7ba50421318068b03f0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Domain	False	Passed	Model Under Test Equivalent Model
23b1270e68dda97c391917bfa80a900c69bf95a4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Domain	True	Passed	Model Under Test Equivalent Model
72600b41b1767d060e0f7b501be452c2631e720e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Domain	False	Passed	Model Under Test Equivalent Model
784c0674c4f0e19ea034edae491bfc473d724053	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Domain	True	Passed	Model Under Test Equivalent Model
6b67dd242a67463ac6a29cf1b9a51c1de5e2f80f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Domain	False	Passed	Model Under Test Equivalent Model
a85662e3185e2709c571edaed26dd89e6d4abfae	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Domain	True	Passed	Model Under Test Equivalent Model
4f3bbea14abfc15a6eadd9d07bb45ee03b4383d3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Domain	False	Passed	Model Under Test Equivalent Model
7a5b2f0b91910d150ceffbf8754bdf784e26bb77	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Domain	True	Passed	Model Under Test Equivalent Model
4e510166938da58d6642378b6936ae15010716b4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Domain	False	Passed	Model Under Test Equivalent Model
fc660fcb9e2a846a3ccc4d8667206d3eef8405e8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Domain	True	Passed	Model Under Test Equivalent Model
7efee33bf32905c60db48fec18fe03622799b28a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Domain	False	Passed	Model Under Test Equivalent Model
c3842b277c415762bed3c9050da803c8974fc57b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Domain	True	Passed	Model Under Test Equivalent Model
a3b76f30a02e9f4de6a38b99556a163c0deba998	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Domain	False	Passed	Model Under Test Equivalent Model
1349cb81df30a8e4385f09cfe328655f076378da	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Domain	True	Passed	Model Under Test Equivalent Model
833d8d7eec2805c38455b0bc50ec662fd83543fe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Domain	False	Passed	Model Under Test Equivalent Model
abe36a24aec72e8fa99f800e608a62e10b125aa5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Domain	True	Passed	Model Under Test Equivalent Model
3299f6c3602fef3fc910f347dc37f7d4002c436b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Domain	False	Passed	Model Under Test Equivalent Model
378c365e2cfe0f21aefe4554752e2372f69f4b94	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Domain	True	Passed	Model Under Test Equivalent Model
76cc7661dc29c7c0b480accb64879c25e6bc8f93	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Domain	False	Passed	Model Under Test Equivalent Model
6df4b5d958db4c37756ec43b7d76f6038e43210b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Domain	True	Passed	Model Under Test Equivalent Model
0d0dae90e65b35d9645cc70aca52e56a6c01bd59	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Domain	False	Passed	Model Under Test Equivalent Model
d223552ce699f58c8e4690feb823c00c1867913f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	Domain	True	Passed	Model Under Test Equivalent Model
6b9def32ad31c2ea68e979d4127b1e0772bf49b9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	Domain	False	Passed	Model Under Test Equivalent Model
13e88604433ce073217800b3d12bdabf9fd40634	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Domain	True	Passed	Model Under Test Equivalent Model
8368b918c60898cc70dcd7bc349bed499818f270	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Domain	False	Passed	Model Under Test Equivalent Model
bdfd82eb02815da6ddeccec1b4cc3a8c08bfd72d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Domain	True	Passed	Model Under Test Equivalent Model
fa82bb5e8b4bce96846dfa5f7a7caf42c53879e9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Domain	False	Passed	Model Under Test Equivalent Model
9eb73b819e08f90458737fa01fca83f2dee6a398	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Domain	True	Passed	Model Under Test Equivalent Model
aeb951a7de1924f9b216814a5403ab278ca7f247	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Domain	False	Passed	Model Under Test Equivalent Model
a4d67c4af4bcd70fa26c77859825bb230111b960	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Domain	True	Passed	Model Under Test Equivalent Model
5e60feeec9a2878a4ebc52cd064f25e97605426d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Domain	False	Passed	Model Under Test Equivalent Model
6c0a88ca8353b11fc5925d6ef4e7c8faa5c9c17e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Domain	True	Passed	Model Under Test Equivalent Model
ad0779cc712571bf25f1ec65be676ed2776e5603	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Domain	False	Passed	Model Under Test Equivalent Model
e66f8fba9ec50bb0b909ce6bfbfde2d3df02bc31	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Domain	True	Passed	Model Under Test Equivalent Model
8dccc3fdefb4bb534f4bf6b7de38128b8687cef3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Domain	False	Passed	Model Under Test Equivalent Model
6a2c7a9a3fe7638ce8175e85a3c3a7a8e71b8d6d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Domain	True	Passed	Model Under Test Equivalent Model
2853a791a58c888bdfaefd27c5f4458036540c65	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Domain	False	Passed	Model Under Test Equivalent Model
17c19f86c5d99bfae150293f6c734b9d071b7cb6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Domain	True	Passed	Model Under Test Equivalent Model
22c04889e15f0398a57efa32fecc0afd9d1a922e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Domain	False	Passed	Model Under Test Equivalent Model
129e81b25c4b1c8747a1ea7322b888e31db9f2bd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Domain	True	Passed	Model Under Test Equivalent Model
abfd42264ed8efe3b6602940b914bd8be8ea1d7c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Domain	False	Passed	Model Under Test Equivalent Model
1937d03d5b05d8d4a5ba2f228d747c197e938694	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross2	Domain	True	Passed	Model Under Test Equivalent Model
f71f727f1c8a4ca6c1e083b6401064d95a68ce47	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross2	Domain	False	Passed	Model Under Test Equivalent Model
91fd381f11b7245092dc10aaf4f1698db6ebe0af	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross3	Domain	True	Passed	Model Under Test Equivalent Model
fa8826f64cf75d0358b6822e5bf245ed532ed32f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross3	Domain	False	Passed	Model Under Test Equivalent Model
c8a31d4fc1ac206611877bd8e99018b4e6473888	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	Domain	True	Passed	Model Under Test Equivalent Model
f9410adc39bee52c45e5cd3c7860c5d24735f158	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	Domain	False	Passed	Model Under Test Equivalent Model
965d11750566aafa15d99d4ab86d28a7345a66b7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	Domain	True	Passed	Model Under Test Equivalent Model
f6c20b9a86a2991211670e35a10997f119213ea1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	Domain	False	Passed	Model Under Test Equivalent Model
3bf07c73486a51a34fb5cb42b3f9beed8bfe4e6d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetDiff	Domain	True	Passed	Model Under Test Equivalent Model
d88ede0de3791c7faecc25dbf45434841d5e7dc0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetDiff	Domain	False	Passed	Model Under Test Equivalent Model
862d15b659f5510898658c11b758bb732633f186	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetUnion	Domain	True	Passed	Model Under Test Equivalent Model
39d47841313923a717ca5cb57c87e85e4c7cbf8a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetUnion	Domain	False	Passed	Model Under Test Equivalent Model
60c91de6e8bbb76fa823746183352aeec0e2aa29	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetIntersect	Domain	True	Passed	Model Under Test Equivalent Model
47a041498e2c7d05cb6e76f5b85fd73ae0534e41	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetIntersect	Domain	False	Passed	Model Under Test Equivalent Model
080efdc6f165ba99a38ce0d0a815ba7743febbb3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SubsetEq	Domain	True	Passed	Model Under Test Equivalent Model
e4f470d0939ed89bb224468b98444d70e61175a1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SubsetEq	Domain	False	Passed	Model Under Test Equivalent Model
b670215548becf85982dcaac91a018fd3446269c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Domain	True	Passed	Model Under Test Equivalent Model
f5afa7b30eca1d626d7a78433b439742b2316a0f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Domain	False	Passed	Model Under Test Equivalent Model
786cc60cf51ef5b36b0fc0269fad8de086e7d7d1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Domain	True	Passed	Model Under Test Equivalent Model
25c89f8d0960e3a0d7a713e059b74279e166b103	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Domain	False	Passed	Model Under Test Equivalent Model
6f35164fb5336d3bceb0f7deb09efca348ad9448	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Subset	Domain	True	Passed	Model Under Test Equivalent Model
b0ec9dc33f5ffe6f7f69c57b23d87450172da9de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Subset	Domain	False	Passed	Model Under Test Equivalent Model
55b34e16570dd261a9f3c99ff225ed5d11b3fd7e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Union	Domain	True	Passed	Model Under Test Equivalent Model
72a5bed535b494b153d4685824f9308b3fcc343a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Union	Domain	False	Passed	Model Under Test Equivalent Model
f54279950793d437fcd7471dd6273d87e5bafdcf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Domain	True	Passed	Model Under Test Equivalent Model
9aef8d33fcf85087d298a0a8af84a57b36f10574	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Domain	False	Passed	Model Under Test Equivalent Model
3fd7d101623e0596fd6efa366f1d6699ac09caca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	Domain	True	Passed	Model Under Test Equivalent Model
71d447bee81c70a93abbeffc92705f3b51c2a368	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	Domain	False	Passed	Model Under Test Equivalent Model
337a679a601697d1d501309e5afdea39050dc795	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Domain	True	Passed	Model Under Test Equivalent Model
4b82477b7356773c0631349b9ae60d4654d2fc5d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Domain	False	Passed	Model Under Test Equivalent Model
01eb360d8b2177428393f09ec646b43cda3a35e0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcPermuteFun	Domain	True	Passed	Model Under Test Equivalent Model
f2f31f1b187f78b48701fe088a6ab878330a828e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcPermuteFun	Domain	False	Passed	Model Under Test Equivalent Model
41e21f4f9b7114446ac33e92e201a37ad8e00199	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Domain	True	Passed	Model Under Test Equivalent Model
74869f86b87ca50ac4ed381068c7224cc33749f9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Domain	False	Passed	Model Under Test Equivalent Model
16ff6591daec53ddaa9367182b362fb35a223770	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSetToBag	Domain	True	Passed	Model Under Test Equivalent Model
ee69d1b114ea71b389dde58a4b0b7bd78d8276a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSetToBag	Domain	False	Passed	Model Under Test Equivalent Model
e63fe06680e8a23cbfe02bf59b7c35fdf15f0698	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Domain	True	Passed	Model Under Test Equivalent Model
f1a29a91df3ae2a1306ef7e9a186e6179c288f7a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Domain	False	Passed	Model Under Test Equivalent Model
bfc32c0096f300225ba70d4024f0addaf44b924b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Domain	True	Passed	Model Under Test Equivalent Model
05b0030af77bed82a15f293a8b1cb59eb2058166	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Domain	False	Passed	Model Under Test Equivalent Model
d18532b09223df5bfc36f5d1e936ef189bcd5580	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagUnion	Domain	True	Passed	Model Under Test Equivalent Model
df8780879882d1a26ee3a1e3a071b0803bf47354	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagUnion	Domain	False	Passed	Model Under Test Equivalent Model
a495b9103753c6332c32bb000d4cb94fe47301f2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	Domain	True	Passed	Model Under Test Equivalent Model
2123b3534ecabd195b898efeb0db639da4f5c61f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	Domain	False	Passed	Model Under Test Equivalent Model
be3400fa15a74e8138256e0b3beab9a608843211	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsCardinality	Domain	True	Passed	Model Under Test Equivalent Model
4bee75644b82803ae004855758b06da5ae6d0498	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsCardinality	Domain	False	Passed	Model Under Test Equivalent Model
e98328e578a0e9e9e4c6798b24e4258de4704043	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Domain	True	Passed	Model Under Test Equivalent Model
6eb129609ae17639a78c0ed64f5b67a5a1844d36	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Domain	False	Passed	Model Under Test Equivalent Model

Index

Tests by plug feature Domain; CLI Option: -workers 2