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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
ca818e8df8cf8ad3084c1fec606b80e01ae8a639	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	Enabled	True	Passed	Model Under Test Equivalent Model
245b7b20d1ac44b45f7bd044fd055d996278c26e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	Enabled	False	Passed	Model Under Test Equivalent Model
da0179231143191d74b8721c4227d362c0901e7d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	Enabled	True	Passed	Model Under Test Equivalent Model
0afbea5810dca425a93df86048ff34784792a278	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	Enabled	False	Passed	Model Under Test Equivalent Model
91a7daa9fb0cbaf43c52b637bf0e1348dd79d408	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	Enabled	True	Passed	Model Under Test Equivalent Model
a2d07e39d12cb1891f8cf1afb3883015c7c88e7d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	Enabled	False	Passed	Model Under Test Equivalent Model
ef28670d239bee9610335ef7dd15ae9ad4b54b3d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	Enabled	True	Passed	Model Under Test Equivalent Model
b235d939d4cd6c41ba0231d91d86ddd3566fb21c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	Enabled	False	Passed	Model Under Test Equivalent Model
4cb8075980b640167347e3902ff578b8960ba7b1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	Enabled	True	Passed	Model Under Test Equivalent Model
5331506e74cf4103b2eb0bf7ab7759896ff184d3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	Enabled	False	Passed	Model Under Test Equivalent Model
c3f408ec6baa80495b9f97488de9588a626c07c9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	Enabled	True	Passed	Model Under Test Equivalent Model
b00f28a7f347508d58adf2d59f6f49c562e41ab5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	Enabled	False	Passed	Model Under Test Equivalent Model
f226a117432b697ade3a0cca6cd8ab7c94464f00	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndProp	Enabled	True	Passed	Model Under Test Equivalent Model
46ee089882ffdb17950ccc697ba6e92202e959de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndProp	Enabled	False	Passed	Model Under Test Equivalent Model
9115e9701450db052f43d90bae615154ed691000	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	Enabled	True	Passed	Model Under Test Equivalent Model
79636de62eb70339ad83cef5c2783ba4dd605b74	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	Enabled	False	Passed	Model Under Test Equivalent Model
6f961ee8cdff35aed12a6785a1a8045e27230407	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Enabled	True	Passed	Model Under Test Equivalent Model
bdcc4493c85e0ce52227b19ab73753824e63c616	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Enabled	False	Passed	Model Under Test Equivalent Model
72e36159b0da83d4c910249c34b30a42b4c38abd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Enabled	True	Passed	Model Under Test Equivalent Model
4fd9413c41513bdeb486e276bfda682c891b5b2a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Enabled	False	Passed	Model Under Test Equivalent Model
a23c2dcac7849498cf2a85b913c481a3ea00f20f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Enabled	True	Passed	Model Under Test Equivalent Model
2782b083e57f6b36f3d6ddbf2e35b2623e87c52f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Enabled	False	Passed	Model Under Test Equivalent Model
ee322efbb5f421a023035e79cbd4b175a48f921d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Enabled	True	Passed	Model Under Test Equivalent Model
df7d1411ff238d7748f1f94f4cecf0e3008b233a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Enabled	False	Passed	Model Under Test Equivalent Model
a18ee93e09645850a4347aafec1513ac9ffdd9e5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Enabled	True	Passed	Model Under Test Equivalent Model
9caf0a6609a9f1bd624165f5614ef7308a85c716	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Enabled	False	Passed	Model Under Test Equivalent Model
e8e972599015a1330cb110a48a3133a3d753efe4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Enabled	True	Passed	Model Under Test Equivalent Model
dcb014397b82821f8459739f687fc9942cc8f34e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Enabled	False	Passed	Model Under Test Equivalent Model
eae18e893e59ff7b7d6752b16c0d0404d871a4ce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Enabled	True	Passed	Model Under Test Equivalent Model
37d123b2a0d32f459c4531de651b0ac81c655078	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Enabled	False	Passed	Model Under Test Equivalent Model
540c23e18a4c47e60a24a3050fc8ff8f77d1210d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Enabled	True	Passed	Model Under Test Equivalent Model
2446bb81eae7055d195e0d405f400a8e9ca761c8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Enabled	False	Passed	Model Under Test Equivalent Model
534c2d2c7c92309b2116017d0c2cded2d49f6b0f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Enabled	True	Passed	Model Under Test Equivalent Model
e3ed5ff03eacdc989e734a93ed3e1df4529c990b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Enabled	False	Passed	Model Under Test Equivalent Model
9dd8c0a1197863843fab8e1880fe80c577f8482c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Enabled	True	Passed	Model Under Test Equivalent Model
d50ba1790bffcddf50d7e231dbf035618dc3fa03	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Enabled	False	Passed	Model Under Test Equivalent Model
d6962c9a9c4a24f8eed8b90a95a0b9f6c2ce8524	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Enabled	True	Passed	Model Under Test Equivalent Model
a4eabc1e0f4a7b1d082a301358503304e2ac8176	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Enabled	False	Passed	Model Under Test Equivalent Model
127a270bad496a77855a6bb8b3d84467cb2a4c05	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	Enabled	True	Passed	Model Under Test Equivalent Model
7f3f6d60b308f187607d57dc4322b6c5302b5a32	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	Enabled	False	Passed	Model Under Test Equivalent Model
9865665690a14d249dd23887fa634915fb2855ab	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Enabled	True	Passed	Model Under Test Equivalent Model
f5da7dddff14ad8e0941beb5086aa26cf82c1828	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Enabled	False	Passed	Model Under Test Equivalent Model
ef8746a7ceac3f8f2c1bd12c63012d5ddecdc5dd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Enabled	True	Passed	Model Under Test Equivalent Model
2351ec755752efac26251cc0a49346aa083ef433	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Enabled	False	Passed	Model Under Test Equivalent Model
355a19979769877fe0a13228caff8ff5dc608e94	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Enabled	True	Passed	Model Under Test Equivalent Model
599d320cb5e39a0c0c3c2a324517a5f48dcf5bed	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Enabled	False	Passed	Model Under Test Equivalent Model
7d646618848f9c4e5f5d272c1764e1a731b257f2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Enabled	True	Passed	Model Under Test Equivalent Model
4ce7946a155fbb6144294fa9c4005781431d974f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Enabled	False	Passed	Model Under Test Equivalent Model
87557fa87b17425d6f6fd05d97706280e91b1c17	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Enabled	True	Passed	Model Under Test Equivalent Model
6053a073b5c164a4cd3e54bfdba66a96b83a5fcf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Enabled	False	Passed	Model Under Test Equivalent Model
cf4081fef0bcf6c3c29f66260b9160ffd52c94b1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Enabled	True	Passed	Model Under Test Equivalent Model
47fee547d03cc8ea4674aa96dab5bfd8028da2c0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Enabled	False	Passed	Model Under Test Equivalent Model
8a3dd41bfafd93427c0e44ad67ffcfd2fa406ef2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Enabled	True	Passed	Model Under Test Equivalent Model
12a24a6a881290cb729eded9665dfa915f71b38d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Enabled	False	Passed	Model Under Test Equivalent Model
6c6246d450241edb7ca0a429334067f4633f7369	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Enabled	True	Passed	Model Under Test Equivalent Model
c9016b6f6019642fd308096fcc9518fac48b27cd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Enabled	False	Passed	Model Under Test Equivalent Model
1bbf1f3f1c505608f2c7ba3376d3040c25edd524	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Enabled	True	Passed	Model Under Test Equivalent Model
1bc1b4e0c903aed03064a074e562dde966b29298	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Enabled	False	Passed	Model Under Test Equivalent Model
1c8d1d53c53ead4035b995f27459cdfa6087a379	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Enabled	True	Passed	Model Under Test Equivalent Model
afa8b4b494cd92916e918cec81b073bcba45c798	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Enabled	False	Passed	Model Under Test Equivalent Model
e75056740e0fb876be2b9e84d4eb8e9ced02884b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Enabled	True	Passed	Model Under Test Equivalent Model
3ea23ae574021f49474b4581645eb9dcdf289d7f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Enabled	False	Passed	Model Under Test Equivalent Model
b90dd71d203d43544825abbe68b25ba64cd08388	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Enabled	True	Passed	Model Under Test Equivalent Model
d3cb966e01e27d5c13ff87caf492f6364178466f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Enabled	False	Passed	Model Under Test Equivalent Model
fa40ccd1cdb9b2e64d02f3f55d8aa4c8ba060ebb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Enabled	True	Passed	Model Under Test Equivalent Model
550b2e67eee44e21fda92f316cf1a81fd517fd27	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Enabled	False	Passed	Model Under Test Equivalent Model
d3e378f355b57b801e965160cc544cb4d0edc715	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Enabled	True	Passed	Model Under Test Equivalent Model
749f7bbceb02088309ba1e28b6117c3231b5f296	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Enabled	False	Passed	Model Under Test Equivalent Model
7b83628ce76d2855282b6c00b08b1764db39658f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Enabled	True	Passed	Model Under Test Equivalent Model
e3afb53a877dbefe0d3bbe45ac3cc3e16cea6173	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Enabled	False	Passed	Model Under Test Equivalent Model
26168b1bbd9d9683256c1acdb30b9eadba646ee5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Enabled	True	Passed	Model Under Test Equivalent Model
6ae3ff1f48278c7a2e11a7bd017f293c649df30e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Enabled	False	Passed	Model Under Test Equivalent Model
15b25536470b10cadafdfc6a1bae960d6f8c7cad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Enabled	True	Passed	Model Under Test Equivalent Model
df60a0872030b275ba496ea29cec6d1d4ea0ced8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Enabled	False	Passed	Model Under Test Equivalent Model
34fd676898260f2e2a33859dc6f6b055f76bba14	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Enabled	True	Passed	Model Under Test Equivalent Model
f04e674682586a763da9d7d3ac45bfb3ee50dad7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Enabled	False	Passed	Model Under Test Equivalent Model
99cf6d2cc14a6a11cffca188bd01a2e5a8c82b12	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Enabled	True	Passed	Model Under Test Equivalent Model
99eef255ad25dd32e1a5ddf79f93c792fa366a8c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Enabled	False	Passed	Model Under Test Equivalent Model
d8f8dbb659a24407f4932e66ccc666e9147183e0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Enabled	True	Passed	Model Under Test Equivalent Model
bda3e4fdddb743502e5c607acef1711328232125	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Enabled	False	Passed	Model Under Test Equivalent Model
e7dccb57015d6a4a5cb2d8d127b2358dbabeec41	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Enabled	True	Passed	Model Under Test Equivalent Model
fc478794151140adb0d67e70f09aff66d83c46de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Enabled	False	Passed	Model Under Test Equivalent Model
82b1b636b3f73793415f851a07b2f5d104f85893	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Enabled	True	Passed	Model Under Test Equivalent Model
1e27167cd48ff3bbeb39ff9300a1bea4b6257cdc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Enabled	False	Passed	Model Under Test Equivalent Model
451da1c382cb9f97599adff83e0e6c887e037b21	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Enabled	True	Passed	Model Under Test Equivalent Model
e47a147a50bb92847d3bfe3fa593c577afb52fbd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Enabled	False	Passed	Model Under Test Equivalent Model
a76b1056ef1fea764108fa5f0e16fa08de288372	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Enabled	True	Passed	Model Under Test Equivalent Model
b0dcca9eaeeaaccc885cd2fe72b7b04368e756af	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Enabled	False	Passed	Model Under Test Equivalent Model
610709fff6a6c1b1adcdcfec17f7f9e104934484	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Enabled	True	Passed	Model Under Test Equivalent Model
780cce27e8cf5694761dd54f566aa6889b01d441	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Enabled	False	Passed	Model Under Test Equivalent Model
949907226455d58670b62327d1b76ba18d710909	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Enabled	True	Passed	Model Under Test Equivalent Model
62f4f17ab3ae074baa1dae755545f992b702f0fd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Enabled	False	Passed	Model Under Test Equivalent Model
f39960dbdaf9a570637f3bfce5305d43df3dab00	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Enabled	True	Passed	Model Under Test Equivalent Model
cf7b03fa5bc63c70328b2d66e1ec7c4ba9fecb62	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Enabled	False	Passed	Model Under Test Equivalent Model
70bdace6fef4a1ad650682d50a6b825016730935	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Enabled	True	Passed	Model Under Test Equivalent Model
0422208090cdc7b3dda2d61ff898975e7cc8ba2c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Enabled	False	Passed	Model Under Test Equivalent Model
e5ad380bafaef1ce1d99c5c033c55fc1d3e1d19d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Enabled	True	Passed	Model Under Test Equivalent Model
29b77d40880e0edde4daa0871c70dee73afabc6e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Enabled	False	Passed	Model Under Test Equivalent Model
eab10b2627850f5dd1efb50d78343908e37fea57	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Enabled	True	Passed	Model Under Test Equivalent Model
9fb752462d624277995d6a508d5c5920649db155	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Enabled	False	Passed	Model Under Test Equivalent Model
8ea4c5209a0eca096d35aa30b8d5dd8e992c7b4b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Enabled	True	Passed	Model Under Test Equivalent Model
b49fa0ae63c4e2e22c679205e0913a1b3a637bba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Enabled	False	Passed	Model Under Test Equivalent Model
dfb5bf6f3803b96225cf39ddb0638dc752baef8b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Enabled	True	Passed	Model Under Test Equivalent Model
3a93597515cbec2a14d9452daf7e7e72fa35ba13	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Enabled	False	Passed	Model Under Test Equivalent Model
0a4878a086139a2f635e54bc1ffc3ef38107df45	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Enabled	True	Passed	Model Under Test Equivalent Model
ff840a69d2671dcff6f1222ed5889f3d0fcd21c7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Enabled	False	Passed	Model Under Test Equivalent Model
909ed19a5fcf17d2ae8728c895ebde03d767d82e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Enabled	True	Passed	Model Under Test Equivalent Model
388a36c5db551425c2b6b6095c6c7ce4ec82e99e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Enabled	False	Passed	Model Under Test Equivalent Model
13f29f4a1feba66bd86a5236f576d6943721b4a6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Enabled	True	Passed	Model Under Test Equivalent Model
b6085ca50c12a3e97302b06c1446f24f470607a5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Enabled	False	Passed	Model Under Test Equivalent Model
4f4949468b06675ab00b99791148ba55ca4ad91f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	Enabled	True	Passed	Model Under Test Equivalent Model
a0935d58390f83256c97f233ad9556326114e8d4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	Enabled	False	Passed	Model Under Test Equivalent Model
6c8d58d00b5a4902ac398485e32b66b7b2075355	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Enabled	True	Passed	Model Under Test Equivalent Model
feb0901b9ae54cadfc88fd7c84ae1965069626a1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Enabled	False	Passed	Model Under Test Equivalent Model
fa564f3c5c56fc1d1cd06a985ece44a83aa1bac1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Enabled	True	Passed	Model Under Test Equivalent Model
d2aa4f97caa5388de10156355e5256e2cb21377a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Enabled	False	Passed	Model Under Test Equivalent Model
8da4f57ccbab152fae968e8338267b3ed9b6cb33	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Enabled	True	Passed	Model Under Test Equivalent Model
4c38d65d905a3134d9cd902251d0148bbd134965	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Enabled	False	Passed	Model Under Test Equivalent Model
61cf4c2696217b5ebfb563151706d4200e3b0371	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	Enabled	True	Passed	Model Under Test Equivalent Model
1f4e34bf9ee0f83fbe68cd48d942d41b1a6e7bfe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	Enabled	False	Passed	Model Under Test Equivalent Model
6fde2e09a3231455b53dba075bb2d0692d615864	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Enabled	True	Passed	Model Under Test Equivalent Model
33ead6a5fe32571d38c1d978529bb04fc85756c4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Enabled	False	Passed	Model Under Test Equivalent Model
73fb848127935c56c519c249dc765be4a8af55ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Enabled	True	Passed	Model Under Test Equivalent Model
dd207eb08556ca1ec8641038e400332f610d23b1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Enabled	False	Passed	Model Under Test Equivalent Model
8d5f54cd26d7bd325c8e1e00166212a24562d6a5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Enabled	True	Passed	Model Under Test Equivalent Model
c654a69959fa2436119ef47c8055ad267edc10f1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Enabled	False	Passed	Model Under Test Equivalent Model
69e65b0a8fff7b3b9f5fa194d4691535b0697607	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Enabled	True	Passed	Model Under Test Equivalent Model
c19a822432fa22dadf6ff50874af7822c4f416cc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Enabled	False	Passed	Model Under Test Equivalent Model
0dbb4dfc068e13c60d99c73960833e999ce941ef	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Enabled	True	Passed	Model Under Test Equivalent Model
36f7ba5ada70efcf5d3a5598110bd09cd6cc6198	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Enabled	False	Passed	Model Under Test Equivalent Model

Index

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