Tests by plug feature Not; CLI Option: -workers auto

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
03f000fe09ccdbec60d5902841233f24e459786e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	Not	True	Passed	Model Under Test Equivalent Model
53cb4f25f660fea0f4c84243b82b4c5c7e5289d6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	Not	False	Passed	Model Under Test Equivalent Model
3382319a383157fade3fcb9b30632e167c55ae32	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	Not	True	Passed	Model Under Test Equivalent Model
6d06722cc8d3cdc82959527e04fa0c818b172eaa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	Not	False	Passed	Model Under Test Equivalent Model
058c57e8b21e82bc7fe4c8097f91533cf0ced646	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	Not	True	Passed	Model Under Test Equivalent Model
1789a6a8d9484283de0bcff2bab37f0263f50e59	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	Not	False	Passed	Model Under Test Equivalent Model
46681260b1d5f0151524466691a7e75cf26796ac	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	Not	True	Passed	Model Under Test Equivalent Model
eda5bf04b3efc0976cc39f7e3f43483df27072c0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	Not	False	Passed	Model Under Test Equivalent Model
5b7f52c0fe5086f551a9304b8fe7c40f2bd21689	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	Not	True	Passed	Model Under Test Equivalent Model
c6abdd7d1e314a458fedbb3da98699094815845b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	Not	False	Passed	Model Under Test Equivalent Model
37846d8ab4bce8b2149ad0d436967c521bf3ecc1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	Not	True	Passed	Model Under Test Equivalent Model
1a37ecd36a94b1f3c4eb6ac65e9b62148b6e094c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	Not	False	Passed	Model Under Test Equivalent Model
171d2205c6c190dd85ed9d22671bd00c57508e1d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	Not	True	Passed	Model Under Test Equivalent Model
095b97ea04592741af415dd3e54243d1da3f1378	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	Not	False	Passed	Model Under Test Equivalent Model
c000d8b00c580bfa957194f66268d6c1516eb129	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Not	True	Passed	Model Under Test Equivalent Model
8103bf1ef78fa3e7edff7d2fd47a577f0621de7f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Not	False	Passed	Model Under Test Equivalent Model
5e033dc92f7f6add32cfd33cda189011b95c5bba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Not	True	Passed	Model Under Test Equivalent Model
6b2fec56753c099047d5cdef65fca749d31923ba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Not	False	Passed	Model Under Test Equivalent Model
2b4007536d7dc1ad888403f1fd05cb450559e618	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Not	True	Passed	Model Under Test Equivalent Model
b5655437566d74771ca107dac6f21801baff4ed8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Not	False	Passed	Model Under Test Equivalent Model
9a0534e9d69011bd98624c121c2ea398bf82ff6c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Not	True	Passed	Model Under Test Equivalent Model
e959a7509f47e33eab25facf51577c07535b43a8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Not	False	Passed	Model Under Test Equivalent Model
6b6b3bac0d2e87ff8c3e42bd2045379ca3908d6b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Not	True	Passed	Model Under Test Equivalent Model
e01152dfe2471a182bab4e062b244856b52a0760	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Not	False	Passed	Model Under Test Equivalent Model
1c144b8dda83dd7ee8b153d12f830c74f36bd331	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Not	True	Passed	Model Under Test Equivalent Model
f2d049158bed4c224abd5ad993b403c3a896e6c9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Not	False	Passed	Model Under Test Equivalent Model
90d8cad59d5c79a2d9c5681a44da88d07e533182	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Not	True	Passed	Model Under Test Equivalent Model
e9179552fdcb4b3a666c1feb7aa4c73145e185f2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Not	False	Passed	Model Under Test Equivalent Model
36ef3e0914d22916a00d4cf5aad3a8e86fa51fb9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Not	True	Passed	Model Under Test Equivalent Model
a438f5f42df7ffba460653580928a019cb3753c6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Not	False	Passed	Model Under Test Equivalent Model
236eeacafc772ff3714ab7213a9abe0a83cd4812	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Not	True	Passed	Model Under Test Equivalent Model
74faecc2db598e59337da36a280ef5075eeda638	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Not	False	Passed	Model Under Test Equivalent Model
1ffeb6d369886d8efd007a6203497241f07ab7aa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Not	True	Passed	Model Under Test Equivalent Model
7552f23f1338aee18f39b1906556824a36716413	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Not	False	Passed	Model Under Test Equivalent Model
6ca23b66763302dbd7b147977bbf550ca90c3233	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Not	True	Passed	Model Under Test Equivalent Model
9da0316cefa0cd1014c3a656c6867f236395eeba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Not	False	Passed	Model Under Test Equivalent Model
1c79469a18ea38eea7082c837cb1dc9cad6710a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Not	True	Passed	Model Under Test Equivalent Model
898195a39fb82b067b959f649f69e385bf2b104c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Not	False	Passed	Model Under Test Equivalent Model
0e2a66d78c5bd9225a296019f2cc6a553f9ed2bc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	Not	True	Passed	Model Under Test Equivalent Model
57061c0a742a8f69ffa71e216c8be1bcb878ff3c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	Not	False	Passed	Model Under Test Equivalent Model
76f420dbb541c7811e0893dbe32adde6ff6a00d1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Not	True	Passed	Model Under Test Equivalent Model
54449ef9e34a4354538737c2883bcd9550b793f4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Not	False	Passed	Model Under Test Equivalent Model
b1bcf03f8c08c384cf04a6001e2561371cc58431	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Not	True	Passed	Model Under Test Equivalent Model
4162976bdf36043b0993969e9d55a5a8b00b81f4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Not	False	Passed	Model Under Test Equivalent Model
9c7c8b85c680144274e21720dfd38114c7ba272a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Not	True	Passed	Model Under Test Equivalent Model
d9fd02d082bb95c70b7cb6d2d69d296a493157a5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Not	False	Passed	Model Under Test Equivalent Model
0c802f216f845e52e74d76fc903627a5e03d49da	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Not	True	Passed	Model Under Test Equivalent Model
5675db01e9cce63914b7a076105cc4c8e5509f96	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Not	False	Passed	Model Under Test Equivalent Model
4d746e02c0acb10c90d17a921c1256480db67764	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Not	True	Passed	Model Under Test Equivalent Model
2da563d756e0f32063a3a33b119d0df6ecb006fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Not	False	Passed	Model Under Test Equivalent Model
d847dfb40b77db8469119b3b94424c9603b49ca8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Not	True	Passed	Model Under Test Equivalent Model
6b9590afaa5c55e81852776f642ddfd76704db95	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Not	False	Passed	Model Under Test Equivalent Model
2e8f9855e8738c01c55aaf8fb732e6949fbb4374	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Not	True	Passed	Model Under Test Equivalent Model
b150086802ca415eb0fbe381347d9f9964900ca0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Not	False	Passed	Model Under Test Equivalent Model
d4c136701bae40ea5234acbb522dbcc781378235	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Not	True	Passed	Model Under Test Equivalent Model
67dbf6eb5b60af4c66ddedbfdea38ac8112e6e5c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Not	False	Passed	Model Under Test Equivalent Model
1e9372880b9f50632823c08e6e45e0dc428e3423	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Not	True	Passed	Model Under Test Equivalent Model
88e697131d435156fe72953f5c323997d8eb5fdf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Not	False	Passed	Model Under Test Equivalent Model
9ec9a4fca12a4daaaa4eec0a0498884433b05ae3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Not	True	Passed	Model Under Test Equivalent Model
954438fee1ebecddc321735ddc31bd28f8fa0d7c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Not	False	Passed	Model Under Test Equivalent Model
4d20006d92164438d6a2317ccb27aab30524d0bc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Not	True	Passed	Model Under Test Equivalent Model
8e56adf2308e15bf8c575ab8c65b8521777d1710	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Not	False	Passed	Model Under Test Equivalent Model
39033b6849141ab6705fae3fd2694e1629da0837	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Not	True	Passed	Model Under Test Equivalent Model
85b8b6d4e9be2df2e1892ba3fc054010132a530c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Not	False	Passed	Model Under Test Equivalent Model
e32715acd3950a44a9b55ba05e7d46e78e03454e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Not	True	Passed	Model Under Test Equivalent Model
17039cdff031860c91de09e63031bc299ae60b2e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Not	False	Passed	Model Under Test Equivalent Model
a78628df56c6803055db077759c8eb9e7e2434f1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Not	True	Passed	Model Under Test Equivalent Model
6e1721c728ea6bbed96cb5257630e6c2ddfcd312	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Not	False	Passed	Model Under Test Equivalent Model
093d47fbf2d6def8ddae9b317d48cd2cffeb9ff3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Not	True	Passed	Model Under Test Equivalent Model
2bbc9029fafe6c4db4de0dc96d9dd35483a43360	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Not	False	Passed	Model Under Test Equivalent Model
72dc72bc90ba751c6bdab1ba1de049f268fd3b3c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Not	True	Passed	Model Under Test Equivalent Model
4673f5fd622f1068289655ce8899f08fefff6c6c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Not	False	Passed	Model Under Test Equivalent Model
fae6100ed6027f7ce65de13979d6938bc77c5695	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Not	True	Passed	Model Under Test Equivalent Model
7766c696931ac51a47896f8033e9cfeacae3b81e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Not	False	Passed	Model Under Test Equivalent Model
35391cec93a3380e74f638b69ea3893e20baf015	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Not	True	Passed	Model Under Test Equivalent Model
651bd51d12d2979b0182a18259c71a51cfa94ae5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Not	False	Passed	Model Under Test Equivalent Model
c8cc9a561761d102aefe533da32264c98beff149	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Not	True	Passed	Model Under Test Equivalent Model
d98726bf52734535502d01919c04246b092917cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Not	False	Passed	Model Under Test Equivalent Model
b80ca66ba11e0ba67a33ae995678a12daf404bd4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Not	True	Passed	Model Under Test Equivalent Model
29e6ed44d4465fa0739ba814e1069cb9759fe2fc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Not	False	Passed	Model Under Test Equivalent Model
5ed8e92b8e6579fc7241a7b845a2387eb8e8df43	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Not	True	Passed	Model Under Test Equivalent Model
81197593421df5b1116a836ff74de76fd562667c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Not	False	Passed	Model Under Test Equivalent Model
c72099c19a76b83989db2fceace77feb4964d26b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Not	True	Passed	Model Under Test Equivalent Model
aec60abecb7a629ec2fa62244d754e538e8a7410	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Not	False	Passed	Model Under Test Equivalent Model
9c2a617adf2a1232ecb210c01104d24e23e60496	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Not	True	Passed	Model Under Test Equivalent Model
657bfe6a8d27875626ec75cc575a82d737f260b8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Not	False	Passed	Model Under Test Equivalent Model
8dbff5ac98b82b6cb3359ff3f266922f9f2e090e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Not	True	Passed	Model Under Test Equivalent Model
36adb84a7f84edb0964dd611df58f6b0047e2cb1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Not	False	Passed	Model Under Test Equivalent Model
051c14317a5c2ab82ce6ec2bcdecb57dde0387f2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Not	True	Passed	Model Under Test Equivalent Model
e22683e887f138f00d5233265471a58f8fd76926	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Not	False	Passed	Model Under Test Equivalent Model
814e3acf32839adf880c4352b8682cad1b2db606	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Not	True	Passed	Model Under Test Equivalent Model
9f2d53220fa377ee6d964f6f21921fe6071dec19	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Not	False	Passed	Model Under Test Equivalent Model
49cc0cec6e897abf5d825de266b7678907bdb3e3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	Not	True	Passed	Model Under Test Equivalent Model
d24972b167b4f5f99b688f81158942072ec495b6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	Not	False	Passed	Model Under Test Equivalent Model
9aae19103efd95a358ff8632912d75c6b4ba2869	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Not	True	Passed	Model Under Test Equivalent Model
40e97bf8f39525a6252793ed3fda090707f2ad56	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Not	False	Passed	Model Under Test Equivalent Model
83aff08a82cafbc41e8ec1b1b81698914d3d7dfb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Not	True	Passed	Model Under Test Equivalent Model
c53346812c4f97c3f51a87f21575cc28b3e95435	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Not	False	Passed	Model Under Test Equivalent Model
e8ab29ffce659835c657c269cbd12e2460ef673d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Not	True	Passed	Model Under Test Equivalent Model
23cfbe4994364918a468df494615a0fda5fa5cd8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Not	False	Passed	Model Under Test Equivalent Model
e358fd82d8ddde34a10287374e7ebf519d4a491c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Not	True	Passed	Model Under Test Equivalent Model
9eb4b6c08959eb3a3cc5ea1d4f8a5cb6271d22f4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Not	False	Passed	Model Under Test Equivalent Model
aadfd9325270dbb0b79fac3b5d0d51a28e171b16	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Not	True	Passed	Model Under Test Equivalent Model
9ea57d24d0eaff2be11fee22259dda36af2fbd24	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Not	False	Passed	Model Under Test Equivalent Model
72440e6eb36af58bcda60e4ac535b9af09816563	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Not	True	Passed	Model Under Test Equivalent Model
f84214e1960fd0b0918f5646647b88ed2e3c5e87	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Not	False	Passed	Model Under Test Equivalent Model
928cd06d92ca071b7e4bb2dac6988e457c2f42eb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Not	True	Passed	Model Under Test Equivalent Model
d890f2734c3d9a945dd56e60d7def5c9425b4137	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Not	False	Passed	Model Under Test Equivalent Model
0609b1fea15b164b1d744155eaba9376228df767	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Not	True	Passed	Model Under Test Equivalent Model
6256f3656e740cb00d8d834fbb61f6abfaeb8137	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Not	False	Passed	Model Under Test Equivalent Model
d932df2bbbfa6564ae522c3ba9406d0ce5ddb318	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Not	True	Passed	Model Under Test Equivalent Model
0c40824235dec1284c98d248a40d8520e81e1398	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Not	False	Passed	Model Under Test Equivalent Model
d79b6a2954ca7f2ce8229ad09a7cabe84af1eb45	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	Not	True	Passed	Model Under Test Equivalent Model
a17c7bcac93db23a10d37f03f2f8311136566a82	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	Not	False	Passed	Model Under Test Equivalent Model
75fa42e1ce3cd0fb08406b87a29e90e52b518dda	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	Not	True	Passed	Model Under Test Equivalent Model
8774b46a64d18e3dedd0d54f1dfd65f50672fc2c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	Not	False	Passed	Model Under Test Equivalent Model
6f23bacbf43fd48adb22af67e24d430744746df0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Not	True	Passed	Model Under Test Equivalent Model
e07da9088c7b6a49c4979bf193c0044eeb8c83ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Not	False	Passed	Model Under Test Equivalent Model
fe32feb9499b0a76cb1e55b86259bd9dbd867f69	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	Not	True	Passed	Model Under Test Equivalent Model
3f29c3a15ca9f1c86a80d9d5d72fa5daaea0df74	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	Not	False	Passed	Model Under Test Equivalent Model
acbe8736414bdf01f22cca6aa9e96312b9279325	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Not	True	Passed	Model Under Test Equivalent Model
427801e05aa9d62b2626da171528fc7f995781e5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Not	False	Passed	Model Under Test Equivalent Model
e7ddfc8e6e1e1837374c5d0f24f83e534420ad88	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Not	True	Passed	Model Under Test Equivalent Model
cdfbf2da5c6df8d332325ce9f7261083a06ab5d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Not	False	Passed	Model Under Test Equivalent Model
3bed5e88e75e21b888565fe503d99941f3b38923	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	Not	True	Passed	Model Under Test Equivalent Model
b9dc3c87656fc40ca4a50a1719a5056517835537	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	Not	False	Passed	Model Under Test Equivalent Model
7f1841fe529816ff9ce712179a417230cd4d915a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	Not	True	Passed	Model Under Test Equivalent Model
d1ec344fee20339b074e800af3385ee6a0f059f0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	Not	False	Passed	Model Under Test Equivalent Model
06eb496e722ef5a5f1cd2cb50415194a7052f4ca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Not	True	Passed	Model Under Test Equivalent Model
45c4684e7afb682f2a1b8a7eb8e08551a8b073e9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Not	False	Passed	Model Under Test Equivalent Model
9ad739b6aa61c944ab6d119824bd014878eb4e6e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Not	True	Passed	Model Under Test Equivalent Model
74e34fc8bcf8a33951b9804fbe0d2db1ede7fc31	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Not	False	Passed	Model Under Test Equivalent Model
bdc6088db964b575ccb780b3b26aa7303d442ac8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Not	True	Passed	Model Under Test Equivalent Model
c31429d3abd18e915475e4929de557ef4d9a8fb1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Not	False	Passed	Model Under Test Equivalent Model
61d9376dc9e573356aec134216d3d07a703cf7b6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Not	True	Passed	Model Under Test Equivalent Model
4fcc3babbd13ea1fa2ba304df59cc2ac477c0c9a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Not	False	Passed	Model Under Test Equivalent Model
18bb7ad78906658a23edf5ff23d26e7bccde8b51	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Not	True	Passed	Model Under Test Equivalent Model
2b7c38039dc7b345ef6ba569d56fa4dc7eb0523a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Not	False	Passed	Model Under Test Equivalent Model

Index

Tests by plug feature Not; CLI Option: -workers auto