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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
8dc553aaeeee032d7f19d1abac61d244aea1457e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	Def1	True	Passed	Model Under Test Equivalent Model
f425fd6ddfacfd2c889ea7d69fec57561ec3a363	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	Def1	False	Passed	Model Under Test Equivalent Model
fb421b40b1985e74fbc1d8cc7980cbc8172fc6f4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	Def1	True	Passed	Model Under Test Equivalent Model
8dde86c4284c12f833e60545a9a2be88d9b2963d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	Def1	False	Passed	Model Under Test Equivalent Model
d06bca1ceb3ba272c3047e87c378c17ec95ddb7a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	Def1	True	Passed	Model Under Test Equivalent Model
79b7221e63bbe3e00316f164a39837a8772db1c3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	Def1	False	Passed	Model Under Test Equivalent Model
dd6511882fa2b39ff612edb179089ccf64303adb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	Def1	True	Passed	Model Under Test Equivalent Model
5bc6d06addcee09bbde648ec1c060193533c2e9d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	Def1	False	Passed	Model Under Test Equivalent Model
418d5d3194d55618754d0b547eab4b86bad55edc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	Def1	True	Passed	Model Under Test Equivalent Model
740d82e5378fce5f6ddae9f1f89837f5203f8224	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	Def1	False	Passed	Model Under Test Equivalent Model
ccbc3e8acd32e266c834fb3f936f0beb7275c591	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	Def1	True	Passed	Model Under Test Equivalent Model
ac64aded1347115329dc2e72952bfdef3776ff40	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	Def1	False	Passed	Model Under Test Equivalent Model
10bc197023790ceca6ea2783c3a98985774ba419	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndProp	Def1	True	Passed	Model Under Test Equivalent Model
a613f940aa2e6cccad49fc2c5b02e4fb43452c9d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndProp	Def1	False	Passed	Model Under Test Equivalent Model
fe4092f99a9675afca108bf8fd8933141d2a212e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	Def1	True	Passed	Model Under Test Equivalent Model
7b3b2bbc0ddef4d88fc78142c3faa4972df7c95a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	Def1	False	Passed	Model Under Test Equivalent Model
1cb924d375147e71e8505df4e6229b718d9cfb31	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Def1	True	Passed	Model Under Test Equivalent Model
ac61d2c3f218b75015d0c27e9b67fb94ab9a4c3c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Def1	False	Passed	Model Under Test Equivalent Model
ff692f8b776007e2dddf126249cb1c78d3fa0d6d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Def1	True	Passed	Model Under Test Equivalent Model
0c4e68e0cd2bb2a046476482996ff5ac39b9cda3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Def1	False	Passed	Model Under Test Equivalent Model
c3120b7f81e3a0ea08f335cb2341cf79b209fecd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Def1	True	Passed	Model Under Test Equivalent Model
f75d6668a10b084eae7e70c20687f1ff5f6282fe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Def1	False	Passed	Model Under Test Equivalent Model
f1bfbe96ee0c3e7dcd3387fb39f593713006d139	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Def1	True	Passed	Model Under Test Equivalent Model
ae69b039fd8bd0298218e383179525afda6c5877	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Def1	False	Passed	Model Under Test Equivalent Model
26652edecfc7cb39818d11d8902b07e80f9d3333	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Def1	True	Passed	Model Under Test Equivalent Model
bc02d7ad5d0d6df4d038ccb432d0eb3f2364135d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Def1	False	Passed	Model Under Test Equivalent Model
a5ab53534bd3269746ef02963b01b95a5327a1ee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Def1	True	Passed	Model Under Test Equivalent Model
8a4c60a0dd77d1b82172d5885177d926c9869486	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Def1	False	Passed	Model Under Test Equivalent Model
cec0ec4db470b1c4f8fc919e07ea04caad72059f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Def1	True	Passed	Model Under Test Equivalent Model
35e4bc933684abb2060e7d2cac0d157a8e6b8cff	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Def1	False	Passed	Model Under Test Equivalent Model
a9f539063227c40ff8d3fa1ca587bfb40ad02e50	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Def1	True	Passed	Model Under Test Equivalent Model
75509b7db61b8043d57314a5685c773cdb777e5f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Def1	False	Passed	Model Under Test Equivalent Model
204be0f389e39b789caa379c0d637d94d3d05284	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Def1	True	Passed	Model Under Test Equivalent Model
69ab45241a863be1a0558faae54423cdd2c71134	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Def1	False	Passed	Model Under Test Equivalent Model
9ad0983b673c45c370981d1e5a6dfc54fac0d052	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Def1	True	Passed	Model Under Test Equivalent Model
345ab44818f1d6086790f181286a96a8dd2ff742	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Def1	False	Passed	Model Under Test Equivalent Model
7d79b398bd05f65fc15ce9c90771e4b83788848a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Def1	True	Passed	Model Under Test Equivalent Model
142de5784f4c1889fbe4759f0a2b11bac731027a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Def1	False	Passed	Model Under Test Equivalent Model
8fa0fce34361fe9a638990a7ceb6e4cfab85e5f2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	Def1	True	Passed	Model Under Test Equivalent Model
a3ed751551fbd43430eb6536f8a348f03cfecf8d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	Def1	False	Passed	Model Under Test Equivalent Model
4fc377e30c3e62b3b855db8f50b370d73e20f71a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Def1	True	Passed	Model Under Test Equivalent Model
90c1f6c8d7f543135302bad2e0441e8ebc0e6590	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Def1	False	Passed	Model Under Test Equivalent Model
8f41e266806ba19e20f3bf12e309faa790f2b7ca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Def1	True	Passed	Model Under Test Equivalent Model
d7cec6aac837d6d77b36cc50fb2b51b5df5fa9ea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Def1	False	Passed	Model Under Test Equivalent Model
ad655310fffb16fb3a9266140b10ffc1e077c57c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Def1	True	Passed	Model Under Test Equivalent Model
22cda0300ebdb8abdbb01aa040bf0ce2166632d3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Def1	False	Passed	Model Under Test Equivalent Model
9d9db2c009b8f9acf13362f8dc3bb968c06df3e5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except0	Def1	True	Passed	Model Under Test Equivalent Model
6d57c0c50bd2177a26ffffcec8a80814334b0c8f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except0	Def1	False	Passed	Model Under Test Equivalent Model
5e6492f7cf5dfe534e604f3ce949ed514cab268d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Def1	True	Passed	Model Under Test Equivalent Model
d6768c7705f0a8354737814e22329b80eba68db0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Def1	False	Passed	Model Under Test Equivalent Model
66919fb8951d2b17ed5240ad4e1553819534e6d7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Def1	True	Passed	Model Under Test Equivalent Model
c20fd62c3c06001e75c38ebe429769586c9ef4c1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Def1	False	Passed	Model Under Test Equivalent Model
4d616893beae9006cab5d1d994def84e76f2eb50	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Def1	True	Passed	Model Under Test Equivalent Model
7c9630a58b223b3e52272753ab09077cdcd7e38b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Def1	False	Passed	Model Under Test Equivalent Model
ddaa252f4d272f6eded28fe61e9b57da188b834b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Def1	True	Passed	Model Under Test Equivalent Model
fd4b28656b5b29a5673e5a82fbfafcc23007c633	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Def1	False	Passed	Model Under Test Equivalent Model
bb27cbdec2604155da73bbd6e39597e92eb725e1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Def1	True	Passed	Model Under Test Equivalent Model
c67e5cfb615e1e71057a6ede3d555ee3d6ebfed7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Def1	False	Passed	Model Under Test Equivalent Model
b21b67be828aaf9158583930e4f49d6999656c38	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2FunTuple	Def1	True	Passed	Model Under Test Equivalent Model
cf413e22a9f7b85685c7d4ac8468f1c6ffd53912	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2FunTuple	Def1	False	Passed	Model Under Test Equivalent Model
f5a1ba392747587296c5fcdcb9dbd8fb5bd21c44	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Def1	True	Passed	Model Under Test Equivalent Model
d8f3ac7aca98b9cc37e8ddccac85ffcd2ced4cf8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Def1	False	Passed	Model Under Test Equivalent Model
8349f2894ff07bc413aad5ea6924e9304b905fa8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumUnaryMinus	Def1	True	Passed	Model Under Test Equivalent Model
aa76b0953070ce1b3c4e0af0ac8cde897fb447bc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumUnaryMinus	Def1	False	Passed	Model Under Test Equivalent Model
dbc8ab4c9b8c460f1ab48f748287899726e933c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumPlus	Def1	True	Passed	Model Under Test Equivalent Model
bfc50921e710a8a591c20cab86f07647c697da2d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumPlus	Def1	False	Passed	Model Under Test Equivalent Model
6e9980ee16bba999b3a66005ac4bef4877160783	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMinus	Def1	True	Passed	Model Under Test Equivalent Model
5e1bc10c4b8f71ed959b9164e5a4873e73b0b196	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMinus	Def1	False	Passed	Model Under Test Equivalent Model
0156f4c43270ca021766184814236b2acbfb257f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMul	Def1	True	Passed	Model Under Test Equivalent Model
1b6b09cd140364124c1a367f9eade8351f982e2f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMul	Def1	False	Passed	Model Under Test Equivalent Model
8dbe76f9aac7fa8e69f216af4a1985d27cae3e52	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumDiv	Def1	True	Passed	Model Under Test Equivalent Model
d50938c1537c77c02d954d2d7c5d4aad973b1f64	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumDiv	Def1	False	Passed	Model Under Test Equivalent Model
ccc162221378313a2c8e15fca4b71adbd142efb8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMod	Def1	True	Passed	Model Under Test Equivalent Model
891ebc89a966378d4b2a3f930a4651a6d019a2f9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMod	Def1	False	Passed	Model Under Test Equivalent Model
f8e2f9938fe9dea60019afae271df801057c18d3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumPow	Def1	True	Passed	Model Under Test Equivalent Model
5be1d95caab32bed1d7f7b8340ad8be4105989d7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumPow	Def1	False	Passed	Model Under Test Equivalent Model
7960bf990982458c6cf6c6bd7a31f7651b292365	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumGt	Def1	True	Passed	Model Under Test Equivalent Model
b340c2742ce47be9f4e479e1153ba9c2039e0d0c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumGt	Def1	False	Passed	Model Under Test Equivalent Model
ae6083ed0fc286663739e66ffcae0afcd41df5ef	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumGe	Def1	True	Passed	Model Under Test Equivalent Model
d1ae17a15d21b126ffa411bda261585752900616	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumGe	Def1	False	Passed	Model Under Test Equivalent Model
1573908c4848c71f0d008e953665651fdb5fc9c1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumLt	Def1	True	Passed	Model Under Test Equivalent Model
3abfc362dd10b19cf521d2140e45ae79a94b645f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumLt	Def1	False	Passed	Model Under Test Equivalent Model
db89a9debf479611fc6cbbe8a5d181aa03ddec5a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumLe	Def1	True	Passed	Model Under Test Equivalent Model
4216132e4ed26bc71212ac07e29c7f2a32d1c28e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumLe	Def1	False	Passed	Model Under Test Equivalent Model
2dad26d6f201c7c6df2d31e033289c799115ff2b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Def1	True	Passed	Model Under Test Equivalent Model
4229074f95e6bdc88411fa76c1b5f6a5a44194ff	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Def1	False	Passed	Model Under Test Equivalent Model
7df558fa39e38dfcf94152aaacf42d9c59ee94bc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Def1	True	Passed	Model Under Test Equivalent Model
f10fb0dcb43b86017472a759d45917fc7d244e83	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Def1	False	Passed	Model Under Test Equivalent Model
89ab0b29002a37e5583eca83452e232bf11063a6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Def1	True	Passed	Model Under Test Equivalent Model
46acbc167d714cb9bef3e065a344b025747719f5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Def1	False	Passed	Model Under Test Equivalent Model
f6a0593befc85cffba3370976cfb4ec227543c0e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Def1	True	Passed	Model Under Test Equivalent Model
50552f7bcb1c3af6d6c402f0f91e2942dd776fe0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Def1	False	Passed	Model Under Test Equivalent Model
b5112907ff5064845204b6dea65a2b28cb2fe879	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Def1	True	Passed	Model Under Test Equivalent Model
c37a28c42eb137dd3c3269c018ebd2a1f3183e94	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Def1	False	Passed	Model Under Test Equivalent Model
a5014cebe685971c43454727776e2f22acb4e9e9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Def1	True	Passed	Model Under Test Equivalent Model
22b6edbfc3e3737b5180365953208f1c9bf4cfea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Def1	False	Passed	Model Under Test Equivalent Model
f52f231efaca17e7b256642746bfe870cc7d671c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Def1	True	Passed	Model Under Test Equivalent Model
943538c43a91909244e04c8d9d72c2bc9361d315	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Def1	False	Passed	Model Under Test Equivalent Model
adc7b9cfa6db576153a8a6b9ffd931139e148cd3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Def1	True	Passed	Model Under Test Equivalent Model
17e234199211476b463aef734d6db21577ce9d42	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Def1	False	Passed	Model Under Test Equivalent Model
d9d4738b32f09835840d77613cc7eb108bb95730	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Def1	True	Passed	Model Under Test Equivalent Model
617ffed6485db035c8d9293cad128d1486a1d8c6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Def1	False	Passed	Model Under Test Equivalent Model
1a7d560b49025153476a82932a5f46c3e1fbaa8f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Def1	True	Passed	Model Under Test Equivalent Model
28c9113a785d6f4d1d28f43cf359a652b916dd77	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Def1	False	Passed	Model Under Test Equivalent Model
0a021dffa0d5c73f4b1030ecd58b844d0ccbf863	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Def1	True	Passed	Model Under Test Equivalent Model
7f5d26531b18572846c3e3a412214bc28a777b47	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Def1	False	Passed	Model Under Test Equivalent Model
1300ca5e345475d0772f81cad46ecf342534a45e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Def1	True	Passed	Model Under Test Equivalent Model
24b840a6f952d5bbb48e4b3c766d23884be1ec6b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Def1	False	Passed	Model Under Test Equivalent Model
794f326d986525bb3aeab543d87bdbc586f6720a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Def1	True	Passed	Model Under Test Equivalent Model
fecabd00dac1d779aab49b4265854e364fdde540	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Def1	False	Passed	Model Under Test Equivalent Model
a7892f0e86617c9df9eddbc910783020b0203518	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Def1	True	Passed	Model Under Test Equivalent Model
f159ac0611e3a02a2a49d055d75bb2272e3f3d71	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Def1	False	Passed	Model Under Test Equivalent Model
72837f7c01f23253db75073f396b7e28b98ef613	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Def1	True	Passed	Model Under Test Equivalent Model
616c1a2293e72a16c281a8cef6ce1ec9cf708707	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Def1	False	Passed	Model Under Test Equivalent Model
17fad1c75e97d51a95270eaebe2270c605ab628d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Def1	True	Passed	Model Under Test Equivalent Model
4febab865890d6ac5dc57d58c22253f073fc6cf6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Def1	False	Passed	Model Under Test Equivalent Model
b004495b802bc757e02b1685245a240148a9f6cc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Def1	True	Passed	Model Under Test Equivalent Model
8c38d8d23fe2fb68f3c56e206b083fd2de961b59	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Def1	False	Passed	Model Under Test Equivalent Model
e201d0e3a29a8f615bd73758166cfe61e1cb8e2f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	Def1	True	Passed	Model Under Test Equivalent Model
e7f46ddf06dd39d518c17e511db00a7e4f8a4eb6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	Def1	False	Passed	Model Under Test Equivalent Model
a2a2437d8ec6fd5d8ed1ffc36ec3c0c42d4fdc12	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Def1	True	Passed	Model Under Test Equivalent Model
bbdea0cb59e290d9c2c941d20d2b39f3dd5d87ed	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Def1	False	Passed	Model Under Test Equivalent Model
e7807cb8d191ef75c3de1c502816b01840b1f799	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Def1	True	Passed	Model Under Test Equivalent Model
e9deba1d1d47ea7fb046ecbd69eea0ea075f8551	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Def1	False	Passed	Model Under Test Equivalent Model
1367bf89ffb7a6b8c8b616b4403f90a1436df8e4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Def1	True	Passed	Model Under Test Equivalent Model
a143fe37e961d5ac93454957f3aa57ab38144fa6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Def1	False	Passed	Model Under Test Equivalent Model
edf860cda7c60b7b0b4bf2920990704759b0a25f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Def1	True	Passed	Model Under Test Equivalent Model
04a62d1c541787e4008db818351541807f276d50	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Def1	False	Passed	Model Under Test Equivalent Model
7a7c8cd26aacab72f0a961bc8ebcdf9d03e21352	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Def1	True	Passed	Model Under Test Equivalent Model
b98400f5455eafa36e02c517322deecfdf9b7c91	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Def1	False	Passed	Model Under Test Equivalent Model
6cf7b0c5e696915b6ad25f97e6a1c8389ddb9443	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Def1	True	Passed	Model Under Test Equivalent Model
e2660535404f8159f44d2742da4a1d6a0bc0b055	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Def1	False	Passed	Model Under Test Equivalent Model
d6b5e1f6b31f554395c0f3d9fb95acbb3664e9bf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Def1	True	Passed	Model Under Test Equivalent Model
0dd45af1ba96efea99f0aa4d7210dec576ebc73c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Def1	False	Passed	Model Under Test Equivalent Model
2da27ca2486806a64424a2f9c5968bdd0e308ed2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Def1	True	Passed	Model Under Test Equivalent Model
fa7d6803c46a9cc94d760f14ad650f139d36e2e2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Def1	False	Passed	Model Under Test Equivalent Model
2b4aeb1af2df9a88cc9970eae75bb69c091b3a25	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Def1	True	Passed	Model Under Test Equivalent Model
2a500ff648fb1202d12c8887bbaa26385b13db23	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Def1	False	Passed	Model Under Test Equivalent Model
2bf058134a2a97ebb6284c024e3169ade4b30850	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Assume	Def1	True	Passed	Model Under Test Equivalent Model
b0080d2d8dfbec800578c50288ba106dd3d35a8a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Assume	Def1	False	Passed	Model Under Test Equivalent Model
43e76dc0678a42497bcc336f13dfc97e24043684	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AssumeNamed	Def1	True	Passed	Model Under Test Equivalent Model
c034fd9cb0892f77e3a07fa442465d7e1cbee2e5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AssumeNamed	Def1	False	Passed	Model Under Test Equivalent Model
dbbc5911e4845279a3d7e1f0269c3c2061b31df2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Def1	True	Passed	Model Under Test Equivalent Model
b272fcd65d029e1157283b8f63128ab182948f4d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Def1	False	Passed	Model Under Test Equivalent Model
81b9badfcc0822395171a1122d116cea957e9c98	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross2	Def1	True	Passed	Model Under Test Equivalent Model
482ce2000224e5b755bfcf4c6278f32a973157f2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross2	Def1	False	Passed	Model Under Test Equivalent Model
b5f46fff85e7f8f762f4523f4f204e49e21d73b7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross3	Def1	True	Passed	Model Under Test Equivalent Model
4dcf61dba82ac62d2dcb1a625bee04d8ad8d3226	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross3	Def1	False	Passed	Model Under Test Equivalent Model
a8996b035c62c7e323a1b2c8ed663d514f4a076b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	Def1	True	Passed	Model Under Test Equivalent Model
58a743226e1ae31ec585cf048eacc0773e39a390	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	Def1	False	Passed	Model Under Test Equivalent Model
b41d279fe10264b86a70bb9d7d9a09bf28aeee51	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	Def1	True	Passed	Model Under Test Equivalent Model
bd0711bdcbdc800a4ffbc4609e068785020cd5b6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	Def1	False	Passed	Model Under Test Equivalent Model
ad0ccd33486a367969fc3d5df1c6b530adef182d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetDiff	Def1	True	Passed	Model Under Test Equivalent Model
bc2893c62b1c674db4516a0b89868ea8286af0be	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetDiff	Def1	False	Passed	Model Under Test Equivalent Model
eed848e30c3d56745b4e12cd44cb3ae32a2840a0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetUnion	Def1	True	Passed	Model Under Test Equivalent Model
70c56b1b394c6a14f7c69b6a28f16087f1309a73	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetUnion	Def1	False	Passed	Model Under Test Equivalent Model
502e6fe436ac86f13e217bc70d3d25c2b72e73a5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetIntersect	Def1	True	Passed	Model Under Test Equivalent Model
1912f7a8fa0fdb0cf2d9225c2c7d3a58a6a1486c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetIntersect	Def1	False	Passed	Model Under Test Equivalent Model
80939ab9deb3cb68df07b6434b2c4fc41d3a3ef0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SubsetEq	Def1	True	Passed	Model Under Test Equivalent Model
34b0182df80b42aba084393ca1d53bd9f3773b72	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SubsetEq	Def1	False	Passed	Model Under Test Equivalent Model
d5c14b881a8ab1e75bcb9c4c060740c8636248d5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	Def1	True	Passed	Model Under Test Equivalent Model
24d79ba7bdf7ddd22b07083364b2aa2a51c1838b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	Def1	False	Passed	Model Under Test Equivalent Model
3b65326d39076211c952a6739d11f7cb7c8b54df	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Def1	True	Passed	Model Under Test Equivalent Model
ca9c747a71e1c53a5d4fc5ab7216ca923ef59fce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Def1	False	Passed	Model Under Test Equivalent Model
1ae3b3307b6139dcb3aeeb83fe90a1593a993993	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Def1	True	Passed	Model Under Test Equivalent Model
56c1bff7479f3bdadd74918f89f93942dd651d53	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Def1	False	Passed	Model Under Test Equivalent Model
bf83bb2f0eb494f4f796329d5e748d7758cac359	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Subset	Def1	True	Passed	Model Under Test Equivalent Model
bf848681d59a6b75cf06ee370774314d8e52bcba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Subset	Def1	False	Passed	Model Under Test Equivalent Model
690b477754ba47644b86cd8ccce06d3ab5afaab0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Domain	Def1	True	Passed	Model Under Test Equivalent Model
a2f34485381033d626ba3796d5f80e1b182aca47	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Domain	Def1	False	Passed	Model Under Test Equivalent Model
5fcecbe70b771ab4ec02e586e2c084148080ba4b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Union	Def1	True	Passed	Model Under Test Equivalent Model
0bf3470baae78610c43612cdbbfa5293718a77f2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Union	Def1	False	Passed	Model Under Test Equivalent Model
82bd322fed25892ce2195b0948ebc5b47f3baee2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Def1	True	Passed	Model Under Test Equivalent Model
41489106fee7274a4d8949673c20606fdb49b90e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Def1	False	Passed	Model Under Test Equivalent Model
53999a6d27a006e2f97087d1e0574b1332386f74	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	Def1	True	Passed	Model Under Test Equivalent Model
751ff3d9851a7892f20b1854d8769517d138e532	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	Def1	False	Passed	Model Under Test Equivalent Model
4081b84462d4122db058630ab64a44058e113c82	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqLen	Def1	True	Passed	Model Under Test Equivalent Model
d7764385c8ca63673e3b070f46ee8a556ce3f9fb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqLen	Def1	False	Passed	Model Under Test Equivalent Model
c35563a3ae3681109ab8712713a47f84228a977c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqConcat	Def1	True	Passed	Model Under Test Equivalent Model
7b6bdee720bb4fb140ef894b30d48618be5dd0c3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqConcat	Def1	False	Passed	Model Under Test Equivalent Model
ae711203e5e3f16cff204b20605b0d595dce20bd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	Def1	True	Passed	Model Under Test Equivalent Model
9b84c7981d5e870e519cc47e527416159661686f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	Def1	False	Passed	Model Under Test Equivalent Model
ac50dd7d0d164d31d2ededa04000a12d24b3b451	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSelectSeq	Def1	True	Passed	Model Under Test Equivalent Model
076383afd64f4fe4abe6a39cd599b6e49b599557	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSelectSeq	Def1	False	Passed	Model Under Test Equivalent Model
823b0e943ba4cb9cb547122e50f718507cecabf5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSubSeq	Def1	True	Passed	Model Under Test Equivalent Model
839a5a85e0ab79a619d17276565a7c15aa5acba3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSubSeq	Def1	False	Passed	Model Under Test Equivalent Model
5cd88c9af7cc0deb9e957f56998d5e4bb107182e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumRange	Def1	True	Passed	Model Under Test Equivalent Model
6aed4b4073d0ee50d7d250baff4365858459fad9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumRange	Def1	False	Passed	Model Under Test Equivalent Model
ccd15c04965282cadf24a7bf88fe4c8ae877794b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Def1	True	Passed	Model Under Test Equivalent Model
53b6faf332db5b273d735848abe9d9af42e88f44	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Def1	False	Passed	Model Under Test Equivalent Model
0749fd44d03b3a3323e72fe2cba5e5220b15ab1a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcExtendFun	Def1	True	Passed	Model Under Test Equivalent Model
24a0ef059916f3bb07fe80fad38245f0e95b159a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcExtendFun	Def1	False	Passed	Model Under Test Equivalent Model
3f1106d00baab3f0f10ba2b684844b3ed568ed77	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcPermuteFun	Def1	True	Passed	Model Under Test Equivalent Model
3a7d01bbc94ff68a7a6cb3009a7c293a2ac26f7d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcPermuteFun	Def1	False	Passed	Model Under Test Equivalent Model
6043a1ee284d253910ffee6809034410e9b2f414	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSortSeq	Def1	True	Passed	Model Under Test Equivalent Model
d8f7f6aacfe62b6f3512f2ae1dfd3517d8d0ea5b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSortSeq	Def1	False	Passed	Model Under Test Equivalent Model
d35fd92cfbac92cdf1d4376343a8aee85e8311c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Def1	True	Passed	Model Under Test Equivalent Model
1eaac559f933b3039fd174efcb4b86e199a418cc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Def1	False	Passed	Model Under Test Equivalent Model
0748a92dcd1061ad9e8abbd693f74e21bdfaa92a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagToSet	Def1	True	Passed	Model Under Test Equivalent Model
81941e53ec0b174904be2282c438c3e64d373840	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagToSet	Def1	False	Passed	Model Under Test Equivalent Model
4de01199c97ee0ed3cd690c1cf4d943816da54ff	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSetToBag	Def1	True	Passed	Model Under Test Equivalent Model
b3e713d895ab1058dda9024f40f48c673e7d6198	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSetToBag	Def1	False	Passed	Model Under Test Equivalent Model
b715ad799a234d0150887b35ab1b7585c9c4351a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Def1	True	Passed	Model Under Test Equivalent Model
47cc40bd1b963cf48172ccbf5a49d89241154a35	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Def1	False	Passed	Model Under Test Equivalent Model
9dc226c5fd891029887cd7b727707b4fe61faad8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagAddBag	Def1	True	Passed	Model Under Test Equivalent Model
6c1cdb66bd11b5c83bbd02a0bcfc9ff5cc5746d7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagAddBag	Def1	False	Passed	Model Under Test Equivalent Model
5f16d0affbf518379e6cfd3f277002750e5097a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagSub	Def1	True	Passed	Model Under Test Equivalent Model
43356c7807963197e5d0ab52dd89d8f1b31e2f60	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagSub	Def1	False	Passed	Model Under Test Equivalent Model
5804a4f03f1bc51038c4626ef55139a1a0d53051	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Def1	True	Passed	Model Under Test Equivalent Model
256f40313cbfa0d2e5d9c01150db458224572127	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Def1	False	Passed	Model Under Test Equivalent Model
889059818ea6cb579915861a583d07ab37f47522	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSubsetEqBag	Def1	True	Passed	Model Under Test Equivalent Model
058bedba9bd11ec64bdad664e80a474d718d9c27	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSubsetEqBag	Def1	False	Passed	Model Under Test Equivalent Model
3f32266b67a0b822ebdad950d0b8cfb030bda094	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagUnion	Def1	True	Passed	Model Under Test Equivalent Model
4f3bcc2ea1cd7432a7e863d0c42829b757a4d563	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagUnion	Def1	False	Passed	Model Under Test Equivalent Model
80ddb9047266223f70f9252c88f5b26d64d9bb2b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagCardinality	Def1	True	Passed	Model Under Test Equivalent Model
a666a8fd356e41dfb969aa87585e792f77d21004	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagCardinality	Def1	False	Passed	Model Under Test Equivalent Model
e6e81c6faa44f11c6af398f654e347616d46a538	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagOfAll	Def1	True	Passed	Model Under Test Equivalent Model
88c0e96ee71e4dce7b426481ab61f2a3c1ea5b88	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagOfAll	Def1	False	Passed	Model Under Test Equivalent Model
e66daaf883474f54377b99b58aa48008cb266a95	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSubBag	Def1	True	Passed	Model Under Test Equivalent Model
f8af129a647173f8e1f6f7508a5edb435a577800	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSubBag	Def1	False	Passed	Model Under Test Equivalent Model
303f5140f0234d9849af0d491fba33b0ada7cfe7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	Def1	True	Passed	Model Under Test Equivalent Model
0afcdc59ceb2251f4218158e87c2b84b3a0437ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	Def1	False	Passed	Model Under Test Equivalent Model
f4fb105bec0cbc869aef94e07f7c05c4ea619dc2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsCardinality	Def1	True	Passed	Model Under Test Equivalent Model
dd1c9d10a5f2b6e5a16b856b4e99a27a6db3c150	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsCardinality	Def1	False	Passed	Model Under Test Equivalent Model
59bdbce9e18d3796ebd2b0f443bb41fa855d3e81	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqHead	Def1	True	Passed	Model Under Test Equivalent Model
fbab7203c648cf55ff66aff6f63476f70cddefb7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqHead	Def1	False	Passed	Model Under Test Equivalent Model
395bead67dba3869ae90c0e3b7e6af4ea7354410	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqTail	Def1	True	Passed	Model Under Test Equivalent Model
b59f8e68cbd0ccfe1dfe1b17a47824d62b8081a3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqTail	Def1	False	Passed	Model Under Test Equivalent Model
d9ced012b851d1d5ef2b47548f4149fc104fb60a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Def1	True	Passed	Model Under Test Equivalent Model
3fb0a8465fd97b5dadf412a6f0b5361a057f4a96	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Def1	False	Passed	Model Under Test Equivalent Model

Index

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