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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
c0fb5e38782aaef702daa12bac50bfa30d940fa5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	Exists	True	Passed	Model Under Test Equivalent Model
fbb2f66c8a141495c97601df72ed0c2e575b8622	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	Exists	False	Passed	Model Under Test Equivalent Model
399f3c1fc8c8fee789113a54e1064a641744a62c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	Exists	True	Passed	Model Under Test Equivalent Model
45508a6ce6eee013ef222cfe10ec13708d47c9f7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	Exists	False	Passed	Model Under Test Equivalent Model
4023c84d22da2bbd5cad19d4f9d22fa556f1694e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	Exists	True	Passed	Model Under Test Equivalent Model
ac26d7665638bc37e1c9b64a3f66417648369574	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	Exists	False	Passed	Model Under Test Equivalent Model
90d24977e56ce2e0fbcf986517214a43d460fd0d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	Exists	True	Passed	Model Under Test Equivalent Model
70232dd8dbdefea659fa9920e95c51d7ae69b930	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	Exists	False	Passed	Model Under Test Equivalent Model
482de5baac5e7aa482f5891197493267600a60ba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	Exists	True	Passed	Model Under Test Equivalent Model
4538c533ffd2c585bcabd104ee66ccd626c803c0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	Exists	False	Passed	Model Under Test Equivalent Model
6528562107eb98925a8a2b165d232a6efe347170	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	Exists	True	Passed	Model Under Test Equivalent Model
a9308606db715015f3363701a4779c2f0488180a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	Exists	False	Passed	Model Under Test Equivalent Model
06d6e96c9df3a4fd22e9b7210b180e6378cabb45	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndProp	Exists	True	Passed	Model Under Test Equivalent Model
1bd5f7d47e28bb0c74a3ddf80bd4833c71011a6b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndProp	Exists	False	Passed	Model Under Test Equivalent Model
2e8a7a46162f6590c5f2a6bc96ccf6750bbbc72b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	Exists	True	Passed	Model Under Test Equivalent Model
9d93df29a91d75f1d67e500182c99935437563f9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	Exists	False	Passed	Model Under Test Equivalent Model
c9ae43973bcaef127b4568d29ed1b4bf9a78ed73	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Exists	True	Passed	Model Under Test Equivalent Model
10f3de97eaee42b5308208db852daac86fb6306b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Exists	False	Passed	Model Under Test Equivalent Model
ec72f7f30a3543f7519e4535fba5b3936dcbad9d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Exists	True	Passed	Model Under Test Equivalent Model
d00d9f7793fde26c8f125d92b60038337c939770	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Exists	False	Passed	Model Under Test Equivalent Model
64c9d8c7621527a1b52457ef08f53a612893c226	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Exists	True	Passed	Model Under Test Equivalent Model
9a1985a60e686e4c50398145ebf72b405357d41e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Exists	False	Passed	Model Under Test Equivalent Model
4cf76635ede78ee9a4451c6f4b14b3e25efa27a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Exists	True	Passed	Model Under Test Equivalent Model
5f9098882b881512b94cf775b5ee157d5379fa59	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Exists	False	Passed	Model Under Test Equivalent Model
4556b117131851357fe08f305c916710e74877fa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Exists	True	Passed	Model Under Test Equivalent Model
8d4257ec51f56d6e6f27a5c62f224e3e087e7c57	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Exists	False	Passed	Model Under Test Equivalent Model
2f57a438f22b14d393d1599f62c401a4c69a60ce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Exists	True	Passed	Model Under Test Equivalent Model
f25e78c1b1155e8a97c9b027415641cc6eae41d1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Exists	False	Passed	Model Under Test Equivalent Model
7e39193f525191c1e6acbc617ab315520422453e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Exists	True	Passed	Model Under Test Equivalent Model
ac3c133599ddee488ec8e08a7e76c500b29c441e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Exists	False	Passed	Model Under Test Equivalent Model
373b9309a4ff7514d05942e813bc10d178223e8f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Exists	True	Passed	Model Under Test Equivalent Model
0e610bbc6f8c73a25439cd553f36b3f371167a09	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Exists	False	Passed	Model Under Test Equivalent Model
90146fd8acb4cd86f2f72b7033dd5eb1d7fff40f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Exists	True	Passed	Model Under Test Equivalent Model
9d70ba7d3e23ff5b1741754ef1df6e4f582c4b55	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Exists	False	Passed	Model Under Test Equivalent Model
a759f171475dff474cc7f061e688dd261e9c9028	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Exists	True	Passed	Model Under Test Equivalent Model
ddaa9906fe44895195016942b6bd8d6a04de3201	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Exists	False	Passed	Model Under Test Equivalent Model
54db1a9f0e5900ba628693398a13245068219208	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Exists	True	Passed	Model Under Test Equivalent Model
630033576053df1217a225110748c73a7815d57a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Exists	False	Passed	Model Under Test Equivalent Model
258087ae537f5726e8f1241b16369ec14fd93aef	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	Exists	True	Passed	Model Under Test Equivalent Model
6090cdd3c77e851f7a9293200b13290e05d01d6a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	Exists	False	Passed	Model Under Test Equivalent Model
7772c6df50dee7f65411000c345a0ad2587b73ce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Exists	True	Passed	Model Under Test Equivalent Model
6ab544515af0c83b42f531dc89fc8d00a0c42b3e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Exists	False	Passed	Model Under Test Equivalent Model
7a77a3c4b7cbdd4740420f6d3ec405f27cf5c96e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Exists	True	Passed	Model Under Test Equivalent Model
0ba13d45580ae1bf8ad71b0dc3a7135d273e8b31	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Exists	False	Passed	Model Under Test Equivalent Model
e6afa1b9f7135e323adf7d2457387eb389bac1ac	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Exists	True	Passed	Model Under Test Equivalent Model
4b58fd1cab21c211a9fd372c0465ce3cbdbc1e99	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Exists	False	Passed	Model Under Test Equivalent Model
66a8233de83cfe7f305e0dcf9362d804711075ba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Exists	True	Passed	Model Under Test Equivalent Model
fe323ff10426d4134567378060d77d7bca73a415	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Exists	False	Passed	Model Under Test Equivalent Model
f25c191f0038d1b2414e23a186af36b5a65ba91d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Exists	True	Passed	Model Under Test Equivalent Model
439f71ef8b1058ca0fa07780976de54a6bc55f52	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Exists	False	Passed	Model Under Test Equivalent Model
2ad1ac9fec0f347d032414688d28e96393a73d9b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Exists	True	Passed	Model Under Test Equivalent Model
ec97d0980bb784b9d49407bf4c078f487f25aef0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Exists	False	Passed	Model Under Test Equivalent Model
57c1971e7c2b01e10e81facee4fb6a0cb3198924	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Exists	True	Passed	Model Under Test Equivalent Model
bc310f92e0637cea397fabdfc4eed69acf679c1d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Exists	False	Passed	Model Under Test Equivalent Model
e17186faba34463ced21b67194e7669dd3412a17	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Exists	True	Passed	Model Under Test Equivalent Model
1b3d34c27a806f3c6b7978495fa924f7008cfd6c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Exists	False	Passed	Model Under Test Equivalent Model
4cfe09ef53a8c7cfac812d4fe03c44ebb1dd4035	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Exists	True	Passed	Model Under Test Equivalent Model
ff2da9aff87ef0d16a882ea00e58bde5db9ad91b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Exists	False	Passed	Model Under Test Equivalent Model
d670f5de7ae25b849ae03543d5740f468476f8f1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Exists	True	Passed	Model Under Test Equivalent Model
829c43728d451fce8564d26dfc15c70de250c595	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Exists	False	Passed	Model Under Test Equivalent Model
58369467fed2a32ea382820dce4f9e36053ca88f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Exists	True	Passed	Model Under Test Equivalent Model
2c9435c98cea349eb1bf1c8da4d1d982046322d0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Exists	False	Passed	Model Under Test Equivalent Model
3b22147fd66a0358f211fc4afecb5b9bc83c35a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Exists	True	Passed	Model Under Test Equivalent Model
e8c89546f01d12776801802962de3e471d57b8e3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Exists	False	Passed	Model Under Test Equivalent Model
90a8382115ba9ad2e6f02568a56a45dc0d114544	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Exists	True	Passed	Model Under Test Equivalent Model
b0eb10ec3cc2386b2b6aeade890eeac51b9c4dd4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Exists	False	Passed	Model Under Test Equivalent Model
90c3a6cdf40a1b72c4ed8dcc92b9141730d6a41c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Exists	True	Passed	Model Under Test Equivalent Model
6c6dfe0af5d8074657b45746eed14653862f943b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Exists	False	Passed	Model Under Test Equivalent Model
a6ec222109cc43c5afb17344d58ae2bd95e9b213	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Exists	True	Passed	Model Under Test Equivalent Model
2b16e72b71eea22801c2b82ba0df0f18cc8460cc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Exists	False	Passed	Model Under Test Equivalent Model
010974bb7065167cb6998b2c9f3600f77bdc0f89	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Exists	True	Passed	Model Under Test Equivalent Model
671e0a210e859325f652c9c23c937a7be759cefa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Exists	False	Passed	Model Under Test Equivalent Model
ac5df13fdc0993faf7e10856a50bad174d3d5f4d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Exists	True	Passed	Model Under Test Equivalent Model
7670874824b3c02aa22a3e6e4682311ab3b06f57	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Exists	False	Passed	Model Under Test Equivalent Model
73e9015f415e917feedadace665ad07de7a95997	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Exists	True	Passed	Model Under Test Equivalent Model
c3f8252a4735b16a2baeedfacadd022706456b33	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Exists	False	Passed	Model Under Test Equivalent Model
863d1b743c33540fc15f3423133f27d9841951ed	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Exists	True	Passed	Model Under Test Equivalent Model
4ecd2c87a166ddd26f427224ff13f85e820abcb5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Exists	False	Passed	Model Under Test Equivalent Model
756a1abb5188329f9b4b65ce76c59c15de945038	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Exists	True	Passed	Model Under Test Equivalent Model
0b3d6dd0f7fad4fbd96ce3269ad5ffc1947a555e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Exists	False	Passed	Model Under Test Equivalent Model
9d4f0faaaed23547c1ebb3bc7eb2aa08a6066bfe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Exists	True	Passed	Model Under Test Equivalent Model
47e64e2eb71cd4321837f8d6479c11ce09a3f815	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Exists	False	Passed	Model Under Test Equivalent Model
5e1280272b0ba0cffe283554fee9ec5fb8e767d0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Exists	True	Passed	Model Under Test Equivalent Model
bcebc0c2d17e794023f4b2819f6bc0f316886758	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Exists	False	Passed	Model Under Test Equivalent Model
0bb349f7db4b4b89544a3d1f55c08ac390820cb7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Exists	True	Passed	Model Under Test Equivalent Model
b33db9177de15d09edab920ac130e4107b2b409a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Exists	False	Passed	Model Under Test Equivalent Model
0bc348150937005da63d49cc9be5f04e0c5bf01e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Exists	True	Passed	Model Under Test Equivalent Model
88b5bbd6720acdf054ba91034b1a7c94bf76aa74	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Exists	False	Passed	Model Under Test Equivalent Model
e22bfb4645baa58b30ed8b0d8b5dff66e1e151fc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Exists	True	Passed	Model Under Test Equivalent Model
3cd8007820029a478e50a9273d489d09345c1acb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Exists	False	Passed	Model Under Test Equivalent Model
49d19fbd504e07f08404b1342a277912dc3c037c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Exists	True	Passed	Model Under Test Equivalent Model
453e6d7b3f58a714706e5cf5b6f527997eaa459f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Exists	False	Passed	Model Under Test Equivalent Model
be2eb8d9163bc6d0e4b7294219d60f2541a1d9d6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	Exists	True	Passed	Model Under Test Equivalent Model
c562a540cab9f1274987d155a8b84479db927811	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	Exists	False	Passed	Model Under Test Equivalent Model
1eeea8afd674723ac305c6f7f5a315955afcb97d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Exists	True	Passed	Model Under Test Equivalent Model
1aff4db00d4dd14d23cd992f37776f388cbbd406	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Exists	False	Passed	Model Under Test Equivalent Model
2671129344c868f042503b9183d2a65638cd3b82	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Exists	True	Passed	Model Under Test Equivalent Model
45210361d1ac62c18bb994647da6be4ef8399539	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Exists	False	Passed	Model Under Test Equivalent Model
254f739beed62c66562751a249c99057dde51348	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Exists	True	Passed	Model Under Test Equivalent Model
972d12e1380ef7dc60280cc1b3c5268866e00b8c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Exists	False	Passed	Model Under Test Equivalent Model
127a36aac9c232f58c4f9a58dc9bf49920f38f25	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Exists	True	Passed	Model Under Test Equivalent Model
81d3e93f17ce5461745fcc58f1a55679b9f4821c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Exists	False	Passed	Model Under Test Equivalent Model
202e554934db63f7d4b27a436bea244d46855c08	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Exists	True	Passed	Model Under Test Equivalent Model
1b8a6fbd6f60ebbfda221b1ab71ec80845bf2d41	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Exists	False	Passed	Model Under Test Equivalent Model
4b90d4a10f89ba13bce182209145e8cb3aae8208	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Exists	True	Passed	Model Under Test Equivalent Model
52392b356dbe596ccba9df76c5e593edb0093ef3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Exists	False	Passed	Model Under Test Equivalent Model
ae41efc0c3b8c97f75f083a52ba9bfefef61fdc0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Exists	True	Passed	Model Under Test Equivalent Model
cad12d96ff7919f704be1d387bded436c4400707	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Exists	False	Passed	Model Under Test Equivalent Model
14002b81b5b0d25b40154ce201a10088d9b42051	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Exists	True	Passed	Model Under Test Equivalent Model
e00dde392d32b6a3f1314862e18431f20abcb785	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Exists	False	Passed	Model Under Test Equivalent Model
6823c20cff34f279fa9d78d9cde4d4110badf0d8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Exists	True	Passed	Model Under Test Equivalent Model
442e469ff6b8709b312a2f5b3218523475f39c89	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Exists	False	Passed	Model Under Test Equivalent Model
a9b69b46095fc8229502312b359ac19d9775765b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Assume	Exists	True	Passed	Model Under Test Equivalent Model
525a7baacd06afa2146fbb1b8c88a9fabd7ba2af	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Assume	Exists	False	Passed	Model Under Test Equivalent Model
0a2e8e87d8ddeffc8a003a261c5376bf70567431	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AssumeNamed	Exists	True	Passed	Model Under Test Equivalent Model
5ab121549e8f5c9d4c035bde37e1c107ea296503	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AssumeNamed	Exists	False	Passed	Model Under Test Equivalent Model
28fa0ddd989a7631a2300861477816f77961cc2c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Exists	True	Passed	Model Under Test Equivalent Model
0ced0da02a2c608d1ec11b0ead4d178ea2c50fe7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Exists	False	Passed	Model Under Test Equivalent Model
cf605dbefc7f9fcf0a7ab021410e4cded7cfec27	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	Exists	True	Passed	Model Under Test Equivalent Model
6447f4b1a3352714fac42da67a4369be4d1d650e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	Exists	False	Passed	Model Under Test Equivalent Model
5224dac99e9b076b4846b42997dd2b53ae01d081	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Exists	True	Passed	Model Under Test Equivalent Model
1afaa95e6aceb1944ee96058758d142659f7aa3a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Exists	False	Passed	Model Under Test Equivalent Model
c92cc2949bff9ab2382e4a9b41f9a5b1fc2f2df7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Exists	True	Passed	Model Under Test Equivalent Model
130e9ff0d2bf0fbb7e2301d01f61f2b1aa16588a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Exists	False	Passed	Model Under Test Equivalent Model
d927971b62aae362fae656061895a3ce0299e3d4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Exists	True	Passed	Model Under Test Equivalent Model
9bd0cb6160eb336de0d4fa5d31648f4f9e29ffd6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Exists	False	Passed	Model Under Test Equivalent Model
bd934526e3a5628efc70ff9c88da62a25f96c3fb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	Exists	True	Passed	Model Under Test Equivalent Model
30fafd0e312c000ee29916ae05f24841af8d8e58	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	Exists	False	Passed	Model Under Test Equivalent Model
98756f5c82f9435793eda1d33a8110eb0ee72510	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Exists	True	Passed	Model Under Test Equivalent Model
e90e7928769cadcdceeb5457b0c6b91e21d40d1f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Exists	False	Passed	Model Under Test Equivalent Model
99834613acf55c3cc4c94cc838d7475c9968bfd5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Exists	True	Passed	Model Under Test Equivalent Model
fae51aaf527b7a228ada099b74d8469425546b3b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Exists	False	Passed	Model Under Test Equivalent Model
3a6f365e1d832930ae3be3d93553eca231efa285	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Exists	True	Passed	Model Under Test Equivalent Model
c619126c644c547f06d1aae91110d5286c408aab	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Exists	False	Passed	Model Under Test Equivalent Model
d09bdb876723059522de44a21125cb402ec407ca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Exists	True	Passed	Model Under Test Equivalent Model
b6fb39fa28ae9d274283bda39f0cb45bdce3224e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Exists	False	Passed	Model Under Test Equivalent Model
3aa4956ec37df7c0a65fd605696f430b9df96a38	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Exists	True	Passed	Model Under Test Equivalent Model
9728ac0209901343cbd0d7531359ced4428e2b11	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Exists	False	Passed	Model Under Test Equivalent Model

Index

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