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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
504e2ebaa6e0c1d86a86b14bd95820ee693c3932	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	Imply	True	Passed	Model Under Test Equivalent Model
c85103d68c640cc73a7ba08f3469e3baa134abb1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	Imply	False	Passed	Model Under Test Equivalent Model
30541dc60e1cc8197fc36d329ca6ec645a3e4f79	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	Imply	True	Passed	Model Under Test Equivalent Model
29b22ccbb1b292e2baa4ddb43111f6f8377755a8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	Imply	False	Passed	Model Under Test Equivalent Model
ed1d9d33cbdfed5a124d66fb03125cd918a55fa7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	Imply	True	Passed	Model Under Test Equivalent Model
479b04deaf4642633f4461001f4fbc7d1476a0ec	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	Imply	False	Passed	Model Under Test Equivalent Model
6b7093a5766069be95e1b5c10d40ff070a8ee047	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	Imply	True	Passed	Model Under Test Equivalent Model
c8eae3102cad5cfb73fc570bbadb8a44cc72ea40	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	Imply	False	Passed	Model Under Test Equivalent Model
a7bc85ae13b497405c298fe32a6a0ab49e7bc4be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	Imply	True	Passed	Model Under Test Equivalent Model
8123998320f907f96b53aafacae41786486fbdf9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	Imply	False	Passed	Model Under Test Equivalent Model
f3bbca3f3a88c6ac0f38f12f6aada7390293ba8e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	Imply	True	Passed	Model Under Test Equivalent Model
b2fb5ed6807615a72add77e899dc68692a87bf89	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	Imply	False	Passed	Model Under Test Equivalent Model
ad069e2207d0a462a6361dd8d5caf519a615345b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	Imply	True	Passed	Model Under Test Equivalent Model
b09f062235b981be09cbcf8da0b56c7f68508385	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	Imply	False	Passed	Model Under Test Equivalent Model
ab5d68bd238a94b4113f3047e9cd86ec616b3edd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Imply	True	Passed	Model Under Test Equivalent Model
dd05ff446dff33e484103a0af055abc8015349df	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Imply	False	Passed	Model Under Test Equivalent Model
f25349eb88d952b3d5ba03514bff355e74ec30d4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Imply	True	Passed	Model Under Test Equivalent Model
a705332fb78ca0c3234206c752d474fa892860ad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Imply	False	Passed	Model Under Test Equivalent Model
001ec89373541f0f8e7252c8e10269b03097a160	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Imply	True	Passed	Model Under Test Equivalent Model
144b42af538cb4a7c6a31d802105fa94eccfa07f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Imply	False	Passed	Model Under Test Equivalent Model
84ada9bda6b134091d9c48e8ce5ac1e8f037926c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Imply	True	Passed	Model Under Test Equivalent Model
a4a8395fb9455333be88bdf65b823e65f5000649	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Imply	False	Passed	Model Under Test Equivalent Model
c1779a3136e32cb699042c039441c5fce0487858	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Imply	True	Passed	Model Under Test Equivalent Model
c16c440296ea6f875d27a70eea00680021007f5e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Imply	False	Passed	Model Under Test Equivalent Model
d09f4437c02fea5b3d8c4b94292449932874b9a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Imply	True	Passed	Model Under Test Equivalent Model
a42e8c38bdeb024775cdc02cd80dc7f78a6f71e1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Imply	False	Passed	Model Under Test Equivalent Model
2dd3fd92ffffcec458589607f7a09e4f29f5cfe6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Imply	True	Passed	Model Under Test Equivalent Model
bde53a10b9b8af734e3f5f050eebb8f5480d496f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Imply	False	Passed	Model Under Test Equivalent Model
8861b9a1e69c23ad24a18a903c6bf46e9bbfd6a6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Imply	True	Passed	Model Under Test Equivalent Model
2c9375d13866c37fd959b681a4c21ff337c06a58	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Imply	False	Passed	Model Under Test Equivalent Model
0aa6ccd355310ed6ca1aa5e742740b1127e49909	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Imply	True	Passed	Model Under Test Equivalent Model
b4e6275c9f0055391b18e3a9630a7363e013dd32	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Imply	False	Passed	Model Under Test Equivalent Model
f0884d2b22a5b684a80f961bb456b1228e64e024	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Imply	True	Passed	Model Under Test Equivalent Model
2789433639a8e790627a54079314235f697dba7c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Imply	False	Passed	Model Under Test Equivalent Model
c6d772009c27c8f4da4b0738657502945b965055	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Imply	True	Passed	Model Under Test Equivalent Model
903eaaff528d5a046180a5fa7f37d2aa1dce88b9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Imply	False	Passed	Model Under Test Equivalent Model
7e4ba10949d02c4f6f97adb8a2aa71d267e56002	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Imply	True	Passed	Model Under Test Equivalent Model
87c52ecb175cef6a660e7babb7ab3a66215e6dd2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Imply	False	Passed	Model Under Test Equivalent Model
3ca1d63c49b46ff02992ffde6e0a709cf92aa08b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	Imply	True	Passed	Model Under Test Equivalent Model
01b280268ee73076c340757102d5a0530869a7a3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	Imply	False	Passed	Model Under Test Equivalent Model
2fb73753d6c654c67dd4744232e30c95a22bf248	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Imply	True	Passed	Model Under Test Equivalent Model
9f2a15cbffdeffcb01874cc21f9f392e94ec7a21	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Imply	False	Passed	Model Under Test Equivalent Model
f6bbafec79a369b71250c558c0cc945a6c9473a5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Imply	True	Passed	Model Under Test Equivalent Model
112739f8ccc39d792c32ac9741473382fb22eef7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Imply	False	Passed	Model Under Test Equivalent Model
9d472da0b08432858678e0df165c148a564fbeee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Imply	True	Passed	Model Under Test Equivalent Model
42ef97b06aa191c12a01d9789aaf8b32214ebbc4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Imply	False	Passed	Model Under Test Equivalent Model
165968ca6266a0d9d7f5035b59f71c8f8c245125	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Imply	True	Passed	Model Under Test Equivalent Model
9296a00df580ff5c45e95f826731fcdbde9b4747	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Imply	False	Passed	Model Under Test Equivalent Model
1408034b8f767f8c160abf0e5db61dccbcab8da6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Imply	True	Passed	Model Under Test Equivalent Model
4fc86970f2d3c5eeff9e06117ff1cb07870ae968	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Imply	False	Passed	Model Under Test Equivalent Model
9c44980881861895cbc7cb7a533ec5963cda3341	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Imply	True	Passed	Model Under Test Equivalent Model
dec24df7a501568d6c8e147a913d6e33fb42db52	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Imply	False	Passed	Model Under Test Equivalent Model
7173a9c69ffe5239b3af82c0f81a8fa8a3306e5e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Imply	True	Passed	Model Under Test Equivalent Model
6ff0c15b95cae9d6040b31c388483ad28c528b36	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Imply	False	Passed	Model Under Test Equivalent Model
647859469f7aa2f10d99a2ab220f07920207c8bf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Imply	True	Passed	Model Under Test Equivalent Model
44fc8c37eb7b61b8acdac98746d91ccb7db25738	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Imply	False	Passed	Model Under Test Equivalent Model
4a619ff222f2a78ed12c7749a5b0cba80ba5e32d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Imply	True	Passed	Model Under Test Equivalent Model
32ba9507d76e6ac8f28ef4a6bb4b77d1410f8bcb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Imply	False	Passed	Model Under Test Equivalent Model
68f65127c8876fff27cff773b2b4ec63ea868aa1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Imply	True	Passed	Model Under Test Equivalent Model
9b298256661f9e5088821df0e9a91bae4e2bdb8f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Imply	False	Passed	Model Under Test Equivalent Model
4025298709fcc6fdfd72e4cfda956b2d10e5d645	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Imply	True	Passed	Model Under Test Equivalent Model
a3ef51af4d56f8670ac1c321d1beb9a0fe5db4c2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Imply	False	Passed	Model Under Test Equivalent Model
a3d19ae30b3ae156e27c958734e15019cca9f3dd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Imply	True	Passed	Model Under Test Equivalent Model
aa9ba369c4279972beb49df8014ec3e2441b2056	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Imply	False	Passed	Model Under Test Equivalent Model
c7ba438d840cd39da2cf15c7ce7132f6e6884a36	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Imply	True	Passed	Model Under Test Equivalent Model
fe922b854d01f8bc2098c6e09e56dc36496956a0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Imply	False	Passed	Model Under Test Equivalent Model
98255b35502ef5cfd82af10e57e7d2a61126d930	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Imply	True	Passed	Model Under Test Equivalent Model
33fb30b82b25c35906e9faee0ea6f0fef411fb4f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Imply	False	Passed	Model Under Test Equivalent Model
3e8360646d2494b5f8084d5068a0d98cc4bd4a28	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Imply	True	Passed	Model Under Test Equivalent Model
0477309ac51a5a8d90345417f6b51ec77b6f633b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Imply	False	Passed	Model Under Test Equivalent Model
d801b47e7005ae77c5c850560df23c4b83963aa8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Imply	True	Passed	Model Under Test Equivalent Model
c1cf181f883ac7f698fe6a726624ba134a2da33e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Imply	False	Passed	Model Under Test Equivalent Model
f9bad5812f617edc6769cda45f9d0dad7a425bf6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Imply	True	Passed	Model Under Test Equivalent Model
86683f69fd5d3252057bdd968fae98c6a254a9e1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Imply	False	Passed	Model Under Test Equivalent Model
b0bab8a147738269c96090528ce3b5119afacef3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Imply	True	Passed	Model Under Test Equivalent Model
d3650b5e707cda097673977d6338814fe216493f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Imply	False	Passed	Model Under Test Equivalent Model
139d71a191625eb907d03e97416dcf6e9797bba1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Imply	True	Passed	Model Under Test Equivalent Model
53c34ad26736d96aec13ad2bc1b630489a667448	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Imply	False	Passed	Model Under Test Equivalent Model
e068c6220445176fb77276be938df02c9a373326	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Imply	True	Passed	Model Under Test Equivalent Model
3db03f4537104c18852c0b4bf8670340332f35cd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Imply	False	Passed	Model Under Test Equivalent Model
b42ff1658a051d798153877652fe5474d7a02db5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Imply	True	Passed	Model Under Test Equivalent Model
a7cface92ce8820588978d838980f5a94e9cbd7b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Imply	False	Passed	Model Under Test Equivalent Model
5c19835442fcfcdf21242adfc00a7625fd934059	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Imply	True	Passed	Model Under Test Equivalent Model
ecf674fbf7def3cfbc7e8c263c035045d97b2773	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Imply	False	Passed	Model Under Test Equivalent Model
1f34e64bc93acd40167113269fb960683e744de6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Imply	True	Passed	Model Under Test Equivalent Model
522aa489a078d35936b530619392c8374ead1a1c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Imply	False	Passed	Model Under Test Equivalent Model
9e458d30bf087acd89f4b8d0b5b0f0ef223c87bb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Imply	True	Passed	Model Under Test Equivalent Model
8378f6c63076e8963e8bfee85e900dc3935be480	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Imply	False	Passed	Model Under Test Equivalent Model
b10eced099a9b9b905f3b712e996428ab45dce57	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Imply	True	Passed	Model Under Test Equivalent Model
8ddfd448edbeec5bfa1f5781b68e9f4bce8bd05f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Imply	False	Passed	Model Under Test Equivalent Model
791cdf466944f3c7bbd39616b092b7288a93d700	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Imply	True	Passed	Model Under Test Equivalent Model
c8b3774b44395540f07c1148af9c8556c961aa18	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Imply	False	Passed	Model Under Test Equivalent Model
55d990e30b95ce232c340741d019faa660f5bf9a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	Imply	True	Passed	Model Under Test Equivalent Model
774056f5c54cf2fb8975bdab30f6b9c74133bb69	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	Imply	False	Passed	Model Under Test Equivalent Model
66e5cacea2f4116899a6acef4ce510f3954f51e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Imply	True	Passed	Model Under Test Equivalent Model
4dfbee3845819a27d5fa2883157b4302dc238302	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Imply	False	Passed	Model Under Test Equivalent Model
d4980df3379970b559ae4423aba541fec2d9087d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Imply	True	Passed	Model Under Test Equivalent Model
95bdecd346de2d32b9ef7b9d381b719215f47dcc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Imply	False	Passed	Model Under Test Equivalent Model
957ed54a5de90f8d8abf6f553c5e29ad431519f4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Imply	True	Passed	Model Under Test Equivalent Model
020f4df01bd141550b0a5f63902f5a42efaa1404	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Imply	False	Passed	Model Under Test Equivalent Model
f2d3e0e37b4255cee3144e3563ccdd34eb4d9e5e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Imply	True	Passed	Model Under Test Equivalent Model
6f2001804108c5c5bc0947dec9ed49b9a2b4d8b0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Imply	False	Passed	Model Under Test Equivalent Model
017311034d21bb95c3fcf65d3c497c3d24d32e5d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Imply	True	Passed	Model Under Test Equivalent Model
81ce90243f34a0b11aa1e7a8baeb90159b7dd003	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Imply	False	Passed	Model Under Test Equivalent Model
5f5d2f3ee8fc4dbb8db0eca1f43c73bee9316eac	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Imply	True	Passed	Model Under Test Equivalent Model
9b66d0a4c6eb4eccb62d6d288c94a0285937e459	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Imply	False	Passed	Model Under Test Equivalent Model
ff862a7f2655bd5f522c108c6c02de4d9e43d9d2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Imply	True	Passed	Model Under Test Equivalent Model
f2c36d5967223f3fe738fd55db315ff62b6131d4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Imply	False	Passed	Model Under Test Equivalent Model
6e337504aa7d034ec320465831bf955b943eb139	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Imply	True	Passed	Model Under Test Equivalent Model
6b28a4d60fcff2d4236112e9c6357cf8cea75e06	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Imply	False	Passed	Model Under Test Equivalent Model
e76d9dbeb2c949601847d670b4c09fbcdde3063c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Imply	True	Passed	Model Under Test Equivalent Model
c3fac1b864b15f7f87601635f119a71d744c1c04	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Imply	False	Passed	Model Under Test Equivalent Model
95ca7ca878b5d1131dc58bc2f6ec9e3ae1a7b198	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	Imply	True	Passed	Model Under Test Equivalent Model
fa6c7dadd107394fbfd95d40c8f47834587efcbb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	Imply	False	Passed	Model Under Test Equivalent Model
692979fecd22c6f3bc117fad95d4568ed2ca788d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	Imply	True	Passed	Model Under Test Equivalent Model
4cd72100f2611c2488ecc3c666965500e819c0fc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	Imply	False	Passed	Model Under Test Equivalent Model
f158473c348c91ec00e405186b9b10c5121b8639	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Imply	True	Passed	Model Under Test Equivalent Model
6e87daede6b849bc22093a24af168e51e8c1f37f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Imply	False	Passed	Model Under Test Equivalent Model
37f2aa8a4511eee5507721fa04e6a299b9d93f11	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	Imply	True	Passed	Model Under Test Equivalent Model
707c29ec86efc31b66d40ca5439ed43df3334d6d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	Imply	False	Passed	Model Under Test Equivalent Model
28f547b97b4baca80f7612ed81840de825d90fb1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Imply	True	Passed	Model Under Test Equivalent Model
1780b689485ae959890a2fc391e6f36b542ce814	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Imply	False	Passed	Model Under Test Equivalent Model
aa24037aaabbd4d34e8f21490c463db45a05d79b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Imply	True	Passed	Model Under Test Equivalent Model
874cac18632a1eb8f71ca2dee9d9d5472a6e8c68	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Imply	False	Passed	Model Under Test Equivalent Model
8b35fa65049714b9c9a68cdae8bae89c1b0eef7b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	Imply	True	Passed	Model Under Test Equivalent Model
d3c5f408bd7735826773cf1c0e139ff4a50c552f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	Imply	False	Passed	Model Under Test Equivalent Model
33bc39cb60e2803c1fe0e4de76f6ce8c3bfc48c7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	Imply	True	Passed	Model Under Test Equivalent Model
a4ccf2576868f05eb257b8868c233a2fbe0c92cf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	Imply	False	Passed	Model Under Test Equivalent Model
9138f2a88becb9a234012329a512335c82599996	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Imply	True	Passed	Model Under Test Equivalent Model
9a4d94e603ae82551769406671f5082917eebefa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Imply	False	Passed	Model Under Test Equivalent Model
81af702d925da636da2e3759ad5041675cb6dbe1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Imply	True	Passed	Model Under Test Equivalent Model
ac4def088a2e6acc1d42888793ff6ba8b84ce6be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Imply	False	Passed	Model Under Test Equivalent Model
f37d9b43e9ed8e666bf8ed3f7ab0fbb20caeebe9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Imply	True	Passed	Model Under Test Equivalent Model
0629fe6d45e5c41ec5767c5e8a029e2c936cdc2e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Imply	False	Passed	Model Under Test Equivalent Model
8a61de2a4c27004b351a3f09c8e8dead947701af	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Imply	True	Passed	Model Under Test Equivalent Model
b95eb8c60d059631d12ed050923f322c9cf5d901	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Imply	False	Passed	Model Under Test Equivalent Model
4f444fa75d09e096471914a09c101d066856c8f2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Imply	True	Passed	Model Under Test Equivalent Model
3eaef15187f8d37a92a51b5dc3b8904fedf5d96f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Imply	False	Passed	Model Under Test Equivalent Model

Index

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