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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
0fa9277040fae5d25f8292dc1b6cf193ac2e3827	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	Or	True	Passed	Model Under Test Equivalent Model
1ce76f4e54dcc0a8ef339b296b49c81cff6a6de7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	Or	False	Passed	Model Under Test Equivalent Model
7e62a15a42c0e2fb59637ee708f7e54b6517ee91	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	Or	True	Passed	Model Under Test Equivalent Model
8053b56e1c17b79b17defa7a5369c4da7f9f2ed8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	Or	False	Passed	Model Under Test Equivalent Model
5e70b186b3f9bd8496045312f87134ff10a909f7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	Or	True	Passed	Model Under Test Equivalent Model
0b783b2e2edd444b32ae8bc3d5a55f99ba5b6b35	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	Or	False	Passed	Model Under Test Equivalent Model
955922f2ca68f9dcf26f59f4b192eb8329bcd6d1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	Or	True	Passed	Model Under Test Equivalent Model
7b32c036dabb076edd2ffc0ce586ad5f1c544b79	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	Or	False	Passed	Model Under Test Equivalent Model
48570b6669797403b5ea04b9b510b84aa3e217b1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	Or	True	Passed	Model Under Test Equivalent Model
a2a5a00b4e8610472c67d7575fe5921cb0974ff5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	Or	False	Passed	Model Under Test Equivalent Model
00db7821c6d1e31410f4d59d97e9aa52e8679634	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	Or	True	Passed	Model Under Test Equivalent Model
12e9d7d0a8b614ae6712eef21a40f6757d9262f3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	Or	False	Passed	Model Under Test Equivalent Model
e0672776f719c8c9c8a457c0ee9bf163b79fc94c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndProp	Or	True	Passed	Model Under Test Equivalent Model
e20d6a24aa9e15414f639e59ab39c2a8bf665315	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndProp	Or	False	Passed	Model Under Test Equivalent Model
558328b68c4e7628a9634a72a6d96445878a8c05	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	Or	True	Passed	Model Under Test Equivalent Model
07433ea4b9e926f61a3eb5161f4372a6111446d3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	Or	False	Passed	Model Under Test Equivalent Model
bba3250e115ad8dec34e5e5e023224e44cb93424	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Or	True	Passed	Model Under Test Equivalent Model
92c7c997f262245fabd814d88db27df63bfd6256	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Or	False	Passed	Model Under Test Equivalent Model
aa945a47f7ed9a1968b6eed0b4186491b837cf8a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Or	True	Passed	Model Under Test Equivalent Model
7324afcc587ba16cd9f204a9785f4c4bd3bbd247	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Or	False	Passed	Model Under Test Equivalent Model
dd1a40595a7913f4cb7d37809832a2da3ed80309	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Or	True	Passed	Model Under Test Equivalent Model
db42bb9869712f76916da047206120fa1b57b3a6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Or	False	Passed	Model Under Test Equivalent Model
e5ddf054525ec639913b92cce2a7e531792d6f83	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Or	True	Passed	Model Under Test Equivalent Model
e977ff34f33e1f6a22174ed3afe5ae45412cdec3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Or	False	Passed	Model Under Test Equivalent Model
54abfba0376be7afaa248c33006c4ec2bf4d5671	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Or	True	Passed	Model Under Test Equivalent Model
15e58e78722996179f8adf7dc57e215dfcf44589	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Or	False	Passed	Model Under Test Equivalent Model
8ee0e0e65ad44cec4fd4786c29bab04c6c6d4e7e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Or	True	Passed	Model Under Test Equivalent Model
9257a21d6c10bf5741d733fb1d370d13aa22f6b8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Or	False	Passed	Model Under Test Equivalent Model
076847dc723e74fbfaec88e57ccfb3b35baa1e47	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Or	True	Passed	Model Under Test Equivalent Model
d14162d17f30da6998b1b2daa4bf517bbfa8092c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Or	False	Passed	Model Under Test Equivalent Model
a4633cb93cc6fbb07af1608ee2b07a59cdb1bfb7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Or	True	Passed	Model Under Test Equivalent Model
02a59601edcc74e58729afd64723f71722127a78	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Or	False	Passed	Model Under Test Equivalent Model
a7df026e0c44a17cd2716bede2c3f3d1cc6fae65	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Or	True	Passed	Model Under Test Equivalent Model
b1ee3def873b75072e5a92afd083cc99f7be9a1e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Or	False	Passed	Model Under Test Equivalent Model
f0635606c4ae0e30b97c0e781a9d499e3bb09906	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Or	True	Passed	Model Under Test Equivalent Model
6a1118d62d30eaf24a828240f6031f0bd5056867	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Or	False	Passed	Model Under Test Equivalent Model
559d2fe74dda5a8683cfd03cd788ec317e139b2d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Or	True	Passed	Model Under Test Equivalent Model
ecbad324049117f24d1664630dd796850e1d93a8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Or	False	Passed	Model Under Test Equivalent Model
3c28da3c6c68fe1e1569f8eb852f1a2e7dc07fe5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	Or	True	Passed	Model Under Test Equivalent Model
7a60e5bc14a72e716573360dea2e22e609a6e0b8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	Or	False	Passed	Model Under Test Equivalent Model
48001ee2abfbb4daf98f5c64c9e6926c03f90298	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Or	True	Passed	Model Under Test Equivalent Model
a022fc14934b5118fd29e28c870a9e04c1b7f358	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Or	False	Passed	Model Under Test Equivalent Model
a23caf902c86f9ff3c08f4786c1fcb561a68927a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Or	True	Passed	Model Under Test Equivalent Model
db453be187e4a2e4fa5e1116cc1653bd8b35cfe8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Or	False	Passed	Model Under Test Equivalent Model
8a75e0c98345be4fa8498beedab2bd4c71b78e1f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Or	True	Passed	Model Under Test Equivalent Model
9c6d6b72af1f81db8460008d2858c5684c295735	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Or	False	Passed	Model Under Test Equivalent Model
5cc7ebd4460f5703f7d944302a8441b6a6e48692	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Or	True	Passed	Model Under Test Equivalent Model
ca9b37620f5150f364acc09014cd8fa9847f0dc6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Or	False	Passed	Model Under Test Equivalent Model
36754020ba02a8deb93a8ab7c1dd8e53cfd42ce2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Or	True	Passed	Model Under Test Equivalent Model
a67a017e2c2fc0914ae2f0a906dc7e1d6d5641a2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Or	False	Passed	Model Under Test Equivalent Model
d4594bfdfc21c9c9463b9799d197ec7303f14683	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Or	True	Passed	Model Under Test Equivalent Model
7375512883f38f81ee9f308f10ae792f3e278d30	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Or	False	Passed	Model Under Test Equivalent Model
6598f51d5dd40543b38d7f71765af298153f3d40	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Or	True	Passed	Model Under Test Equivalent Model
887ef2905d092462c45046710f44b5b08a3133ac	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Or	False	Passed	Model Under Test Equivalent Model
98f4822044b51a8b3424aa5f22ea6da3ed04b06d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Or	True	Passed	Model Under Test Equivalent Model
71f7430de2cccf8cb039ada9be3d5f46228a0a76	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Or	False	Passed	Model Under Test Equivalent Model
a5ee607312e2ec0ef731480d71d09ea704fcc9a6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Or	True	Passed	Model Under Test Equivalent Model
4aa781dba9648a964d73a8895e38491175ab75c4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Or	False	Passed	Model Under Test Equivalent Model
1f257c9b4801033c703032ca568390603c00e413	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Or	True	Passed	Model Under Test Equivalent Model
38adea80dba23d84c34a9c7152e9d84d203cdf3b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Or	False	Passed	Model Under Test Equivalent Model
fdc2dc486864aebff20b65b78965046416cb028d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Or	True	Passed	Model Under Test Equivalent Model
e10d5eec79e1bd927266ecbdd5cee42db4de334b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Or	False	Passed	Model Under Test Equivalent Model
b830bdc5c384fa7ac90a0886b8bc508f1290688b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Or	True	Passed	Model Under Test Equivalent Model
aa0f2ac3e5e76f921b2e536706dd4dde0aa6c0e7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Or	False	Passed	Model Under Test Equivalent Model
d82a694d265f326cc664e45e2a0b4a9ffa6bed7c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Or	True	Passed	Model Under Test Equivalent Model
9c2db4f5daa3aa2c47310b5ce4a743391c62c861	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Or	False	Passed	Model Under Test Equivalent Model
2612292959d013d58112b5cc7abb54aafec34fba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Or	True	Passed	Model Under Test Equivalent Model
42aa5d90db0184094d59013e05b8677a39d899a4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Or	False	Passed	Model Under Test Equivalent Model
338cdced66188705acc24215cc05833ee1ab4bc5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Or	True	Passed	Model Under Test Equivalent Model
152d56e77efd07948977c656ac45263b6cc347bb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Or	False	Passed	Model Under Test Equivalent Model
9b5ffe7fbeecbd6500c6546e096855ce02d05074	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Or	True	Passed	Model Under Test Equivalent Model
3f3c7ba0becd13b6ee2b6e9620580f45a21b6887	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Or	False	Passed	Model Under Test Equivalent Model
c7e9e511458d5661ad60dba4206d0b568bea0fdd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Or	True	Passed	Model Under Test Equivalent Model
435da3ed2b3e12177b53cabb1b848871258df5f5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Or	False	Passed	Model Under Test Equivalent Model
4939ddaa722c8f45d92c5b4ce8f3691d049bd435	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Or	True	Passed	Model Under Test Equivalent Model
0bff2ec087cf1d64cb9384e675a77749964b49cc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Or	False	Passed	Model Under Test Equivalent Model
10dfffb8e6e7585c371c1fbaf37266d90fd53173	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Or	True	Passed	Model Under Test Equivalent Model
5fac875df711803820d79cf0dce5b3f39e4e7b2f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Or	False	Passed	Model Under Test Equivalent Model
3cecce96aabc5477430eb5a322fbeaa2e09c9939	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Or	True	Passed	Model Under Test Equivalent Model
31ee1e10e37586bed62243836f5b2e257824e92e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Or	False	Passed	Model Under Test Equivalent Model
4f567ad55fa6b1ceb08028c43cbc4dfcde9c2945	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Or	True	Passed	Model Under Test Equivalent Model
1c3301088375a1bf1f5c4d6282656927b40a39c0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Or	False	Passed	Model Under Test Equivalent Model
9c4a664e1840ecd813aa90614aa8fd39be3b89c5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Or	True	Passed	Model Under Test Equivalent Model
d3ce71c9a78f1cfce0889bb53de1bc3c7fe6f46a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Or	False	Passed	Model Under Test Equivalent Model
ca186208338ddb79304c95d31429d969409bf402	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Or	True	Passed	Model Under Test Equivalent Model
626509645834f27b34c7770d4d77ec574b6caa93	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Or	False	Passed	Model Under Test Equivalent Model
bb84a01e17879568d163672c98efb01e04899fbf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Or	True	Passed	Model Under Test Equivalent Model
acbdc958ad72b2ba9ff66a72b566a68772e491c7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Or	False	Passed	Model Under Test Equivalent Model
8de6070ca6fc71f10ee8e51d62537952e10bda1d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Or	True	Passed	Model Under Test Equivalent Model
fdbe2a7b4aa84412b6e344e6ebca5c478c514db0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Or	False	Passed	Model Under Test Equivalent Model
a0dbf1ec07f2e126f406d3f7580beae3dd161daf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Or	True	Passed	Model Under Test Equivalent Model
9c32b3e0877e1a24e28001d4cfecabcc2ba3160e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Or	False	Passed	Model Under Test Equivalent Model
7c920741a83738b0a3b53d8bfbb537af5a088677	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	Or	True	Passed	Model Under Test Equivalent Model
ffa06312b485b90f602dfca9310ef7158896f4dc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	Or	False	Passed	Model Under Test Equivalent Model
d10481069c81f9b45c2a0646a8a3769179a76a9e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Or	True	Passed	Model Under Test Equivalent Model
73e7a7b9b5e8f38c3724d06703e184bd059efe5b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Or	False	Passed	Model Under Test Equivalent Model
ab4e3e5fa17dfa96b28928130c643d41048c8228	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Or	True	Passed	Model Under Test Equivalent Model
0954b81a05bf32eca27c3ef6552252bee6ab7cbf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Or	False	Passed	Model Under Test Equivalent Model
c0e0979f3f22c888702c4da45a56b9dbc913f58c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Or	True	Passed	Model Under Test Equivalent Model
142791811f90a90862a3142991831f3a8c00f83b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Or	False	Passed	Model Under Test Equivalent Model
b6ca065a77c620628182064041d286d0e77e68d1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Or	True	Passed	Model Under Test Equivalent Model
cd41b58c4f3b8817db9cadc089398aca27992a67	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Or	False	Passed	Model Under Test Equivalent Model
534d44b1d309b4d0aae0142226580172079cbaaa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Or	True	Passed	Model Under Test Equivalent Model
70f2b2f9212812879d85f5e526d2504a839354c6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Or	False	Passed	Model Under Test Equivalent Model
ba41151a3cedb06044ce715dd5bf986648f4b870	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Or	True	Passed	Model Under Test Equivalent Model
52271fc7e10cee310239aa0ecaf382b025c01e22	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Or	False	Passed	Model Under Test Equivalent Model
37c3b585231d595bd1da2635b8aed96ed57d194d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Or	True	Passed	Model Under Test Equivalent Model
b81da947a45ef980f4c931d080103f070597d905	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Or	False	Passed	Model Under Test Equivalent Model
ade9fea46f458db80ada74760e17672deeb345ba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Or	True	Passed	Model Under Test Equivalent Model
677e9eb2891274c2ea9bf607b1ce06dd0e446383	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Or	False	Passed	Model Under Test Equivalent Model
510d8ce99442ad395cf27ea5d66f8ffb79e96066	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Or	True	Passed	Model Under Test Equivalent Model
1b449ae03410e0eadc1ac18fc29f3a28511fd80d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Or	False	Passed	Model Under Test Equivalent Model
b4748f043bfa538d225919068d8bfc387cf7d7b5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Assume	Or	True	Passed	Model Under Test Equivalent Model
0e772b9ea2d37fab2334fe0f0dd13a70136405a4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Assume	Or	False	Passed	Model Under Test Equivalent Model
23619197580908383902fd97ce19717afd930b1e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AssumeNamed	Or	True	Passed	Model Under Test Equivalent Model
f5e0183d8697ae211eb9caf8c85a09041b726ed8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AssumeNamed	Or	False	Passed	Model Under Test Equivalent Model
3e62f6b9f94e11868c41cf14716670fa88b36fa7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Or	True	Passed	Model Under Test Equivalent Model
cd5fb6f4b39925530b04edcd66b101eb2911e0d2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Or	False	Passed	Model Under Test Equivalent Model
01dab8d79451941609b34c5100ef15a6976c7c70	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	Or	True	Passed	Model Under Test Equivalent Model
ce7c3684fd001bbbd2ef51cebde3dffa455cacff	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	Or	False	Passed	Model Under Test Equivalent Model
d7433e124d87e0dc6594076e4060c2f47fcfec07	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Or	True	Passed	Model Under Test Equivalent Model
c4d9f10e660a0bbbdb6648f642640274eb4560eb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Or	False	Passed	Model Under Test Equivalent Model
6641e8df3145b5adf7e40552997821295af70271	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Or	True	Passed	Model Under Test Equivalent Model
77642cefef1a51d675ea2aa18999989e9565e471	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Or	False	Passed	Model Under Test Equivalent Model
2b5368f40f55f879e70573074fcc9a0b78018882	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Or	True	Passed	Model Under Test Equivalent Model
a27ca6597cbd663ea5ac64f662ee7b0fa045508e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Or	False	Passed	Model Under Test Equivalent Model
d3f251e19441b8b87ad170020eb0e2271f6a5580	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	Or	True	Passed	Model Under Test Equivalent Model
2b3760b7c3930a2964766bd87706e9014103ad92	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	Or	False	Passed	Model Under Test Equivalent Model
dcfd80f11c0ab8ce8a5b4b697455afb4b697072b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Or	True	Passed	Model Under Test Equivalent Model
e84f66064c70a1216eb331bc3ba7c0948b0dd244	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Or	False	Passed	Model Under Test Equivalent Model
4aaef02bb89fea0cc43d85149e4cf894ab69cc4d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Or	True	Passed	Model Under Test Equivalent Model
8302d62a39ae92a9f115d10c53bb821256a4cf90	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Or	False	Passed	Model Under Test Equivalent Model
110028f8df4ae8a24b0eae2d6a185d18915af48f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Or	True	Passed	Model Under Test Equivalent Model
1be2aef52458b41eb81e1c9df806c94dea82ae5a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Or	False	Passed	Model Under Test Equivalent Model
de39d613b47e9db1c15ac8239eff7624842c7179	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Or	True	Passed	Model Under Test Equivalent Model
862ddb17bcdb7dc13867d70ca54cc7593ea79ccf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Or	False	Passed	Model Under Test Equivalent Model
24f22651581bb8fd16f25512254d9b48be77003e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Or	True	Passed	Model Under Test Equivalent Model
28daee9acf375793535f66d171b584d52cda0f12	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Or	False	Passed	Model Under Test Equivalent Model

Index

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