Tests by case feature Unchanged; CLI Option: -workers 2

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
ed5281cfb1d200e094adcc7507d721d0b559e454	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	OneLineComment	True	Passed	Model Under Test Equivalent Model
3f688876dc16d68b0f93b29749425b9ed8722483	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	OneLineComment	False	Passed	Model Under Test Equivalent Model
d55d433759726a55d29ed303bf0f75bf131d42d6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	MultiLineComment	True	Passed	Model Under Test Equivalent Model
e89fc4fe398169a4808cc8097b634983909d0411	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	MultiLineComment	False	Passed	Model Under Test Equivalent Model
5905ee89e1430ff28f3307f78fc581030f37bcb4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BoolTrue	True	Passed	Model Under Test Equivalent Model
81e6ce931564eebd55b4b7644aa7802b11a08efa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BoolTrue	False	Passed	Model Under Test Equivalent Model
0bd91be42153ebcc3c060a3735ddbb95073f0909	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BoolFalse	True	Passed	Model Under Test Equivalent Model
acd2f650344693739f42cb4f4c80db72db3a7718	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BoolFalse	False	Passed	Model Under Test Equivalent Model
19208a0cd334d76747e3085f09e458f52673376d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BoolSet	True	Passed	Model Under Test Equivalent Model
58d277ef75d79e121981b588036057b0d7f139a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BoolSet	False	Passed	Model Under Test Equivalent Model
f2c1977e59fe09a089da83ecc8ddf0ac7fc7a6a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	And	True	Passed	Model Under Test Equivalent Model
76014af4637734edac05bd7d0df7df809a03409d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	And	False	Passed	Model Under Test Equivalent Model
796b712b49e7a45e03037246fd5c12445535f0e4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	AndMultiLine	True	Passed	Model Under Test Equivalent Model
00981d7184c50fb7a58e7042ab713fea33c9203d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	AndMultiLine	False	Passed	Model Under Test Equivalent Model
6e0a2cd250c00d21a998ec530429417235fce7ca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Imply	True	Passed	Model Under Test Equivalent Model
692d197d363fcb9311813c46a45a928692ba8b6f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Imply	False	Passed	Model Under Test Equivalent Model
f6dd9cad2522446f1d997ffd9fc0cda1a34867af	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Not	True	Passed	Model Under Test Equivalent Model
b6865dcbc88b2a36df9c6d37c7d30776911e7422	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Not	False	Passed	Model Under Test Equivalent Model
2b5368f40f55f879e70573074fcc9a0b78018882	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Or	True	Passed	Model Under Test Equivalent Model
a27ca6597cbd663ea5ac64f662ee7b0fa045508e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Or	False	Passed	Model Under Test Equivalent Model
ae8d894a5a77b7a37678c547e553ab59e2850a34	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	OrMultiLine	True	Passed	Model Under Test Equivalent Model
3f3f9b4331cabbbe7cdba69d487a263e9ece2506	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	OrMultiLine	False	Passed	Model Under Test Equivalent Model
410b340eafcad262f6cc7f44412c0bb68f4b6060	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Eq	True	Passed	Model Under Test Equivalent Model
81299a050fd68239a50d6644258a51d0bf28d710	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Eq	False	Passed	Model Under Test Equivalent Model
bfbd707625164d3ba983ab495b85d6ac35829e7d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Ne	True	Passed	Model Under Test Equivalent Model
fbd9bd82aa6374bf7ca2656b21cbad06dc75e392	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Ne	False	Passed	Model Under Test Equivalent Model
df689fcea5da9716e703c67f973a774e04d9a823	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Let	True	Passed	Model Under Test Equivalent Model
908f1ec8eeb77381ee66c72ba64cd9358dc65098	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Let	False	Passed	Model Under Test Equivalent Model
2d14c9cf9cea39881bc54a180ea5e1ef7723c2be	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SetEmpty	True	Passed	Model Under Test Equivalent Model
4957118b429d5646c7069e9d6206dd34ffdb4591	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SetEmpty	False	Passed	Model Under Test Equivalent Model
3bd225f4818f38c69b870592b3bfadc3feba5908	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Set0	True	Passed	Model Under Test Equivalent Model
285eb973bd416c27ef8c0e92f6bd75d059e7437a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Set0	False	Passed	Model Under Test Equivalent Model
9937a79c53b051112754fc7f00c1085bbe6bcfea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Set1	True	Passed	Model Under Test Equivalent Model
e8abbc0e7f822669c19224baa90ad737ba71f4a8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Set1	False	Passed	Model Under Test Equivalent Model
0f23826f1a1764eaa38e2baeaf1ac7c34b04d55b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Set2	True	Passed	Model Under Test Equivalent Model
f3fa92e20cb3e52816c3879aea21e924e8a43103	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Set2	False	Passed	Model Under Test Equivalent Model
3246078d63fe36590c66c8b79093fb5e8320bb54	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Fun	True	Passed	Model Under Test Equivalent Model
a0edcfcafa4bd7370afc787b01daae48f31db39e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Fun	False	Passed	Model Under Test Equivalent Model
77f0e14ab25f6704b6339a5f43f5ef6cdc60138e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	In	True	Passed	Model Under Test Equivalent Model
6bc863dcff03422d60b7128ede3fd7591fb44b43	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	In	False	Passed	Model Under Test Equivalent Model
04cf7a6acf77a0768bb4c2fec0e750dfff2949e0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NotIn	True	Passed	Model Under Test Equivalent Model
99d1921f73f46860c3c4d396137092c48be15635	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NotIn	False	Passed	Model Under Test Equivalent Model
d927971b62aae362fae656061895a3ce0299e3d4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Exists	True	Passed	Model Under Test Equivalent Model
9bd0cb6160eb336de0d4fa5d31648f4f9e29ffd6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Exists	False	Passed	Model Under Test Equivalent Model
9df246c268f80c60a52891227f842361ac1f520d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Forall	True	Passed	Model Under Test Equivalent Model
d3c1f7f84f6094991b38d5869411afd07759e0ba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Forall	False	Passed	Model Under Test Equivalent Model
9aa56e5d9613b48de87fda4d4ee41157fb2a305f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Choose	True	Passed	Model Under Test Equivalent Model
12311909d3038bce04612b8837734bd2fb9a11fa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Choose	False	Passed	Model Under Test Equivalent Model
8c2f87161af8a253b7bde4b5bc410d9f088c6b67	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Record	True	Passed	Model Under Test Equivalent Model
4889ade73f14b0bf8fad2d36a8fdd060ee80a369	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Record	False	Passed	Model Under Test Equivalent Model
5904705d442c8b461e009494da3db2297ef4d3b9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Tuple	True	Passed	Model Under Test Equivalent Model
8811eb3bdf72195779ba6fe044878ddcf2cef722	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Tuple	False	Passed	Model Under Test Equivalent Model
38b531ec770df870418e7435d48c7b5ac91adede	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	TupleEmpty	True	Passed	Model Under Test Equivalent Model
1a8b182c0accbbadc83ec638bd9cb4804bddd51c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	TupleEmpty	False	Passed	Model Under Test Equivalent Model
ad955a07436639de9cca6323cc06d6a17443c741	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	FunApp	True	Passed	Model Under Test Equivalent Model
318e36221282d3618ee287805d3f7eb7f9678769	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	FunApp	False	Passed	Model Under Test Equivalent Model
87096d4f223967f4d4b826e91c1bfd4f444613ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumZero	True	Passed	Model Under Test Equivalent Model
fcd0fc1d6cebddcf0b0c70f803436fc2f4c49999	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumZero	False	Passed	Model Under Test Equivalent Model
94ce7c35ac64e93b98742700ed037723434eaa64	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumOne	True	Passed	Model Under Test Equivalent Model
d487824b2888f0b63073c940dcdf3dce8aad55e5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumOne	False	Passed	Model Under Test Equivalent Model
0eefac6b04917b54f25367c7f94bea607b70b0cc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumMaxInt	True	Passed	Model Under Test Equivalent Model
a0f05d8fce7b116b4cba766c4ead77aee921bad6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumMaxInt	False	Passed	Model Under Test Equivalent Model
c6ff152fbaf4a11527fd30e8e29516320934969d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
3f42d0e8544ab0311c9d286c1cb2e9c9f940f014	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
b56f7a5dcfe61bffa07024e56e63975201c48dcc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumPlus	True	Passed	Model Under Test Equivalent Model
5b6c69cb9446e00f70fbde2038b96cc9595d6cba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumPlus	False	Passed	Model Under Test Equivalent Model
6e650fd17b2957b9230a56924fe3c6a07e1dd328	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumMinus	True	Passed	Model Under Test Equivalent Model
a2c5e1c20a2817c5cb2bbee74de18ec374c73188	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumMinus	False	Passed	Model Under Test Equivalent Model
21a33db9ff79a82671e056774835dc2d4ae43f8b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumMul	True	Passed	Model Under Test Equivalent Model
1f7f685c2408598eb2f44d9da5feaf9d2d695a1f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumMul	False	Passed	Model Under Test Equivalent Model
a234490cb1dd3ec1b07f849a235d29f39becc64c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumDiv	True	Passed	Model Under Test Equivalent Model
86cca44be10eeefa9264bc6d311a927bfdbfe748	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumDiv	False	Passed	Model Under Test Equivalent Model
a9eda365dda108a8c7d10f609670c1ad5cb55a09	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumMod	True	Passed	Model Under Test Equivalent Model
26f45ac42cdc2cf3452193709de3c7f70fe2fb1d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumMod	False	Passed	Model Under Test Equivalent Model
e34ab6b9f29639d9ff408da76556c780b0d490be	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumPow	True	Passed	Model Under Test Equivalent Model
c7f74ebdbfbfdcaf7f58bbf86af4d79370eba7d5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumPow	False	Passed	Model Under Test Equivalent Model
b945654fcc749dc74bad79388fe12144e2af491b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumGt	True	Passed	Model Under Test Equivalent Model
75d4f1d084df1303b080c95f82c8c70c1b12b9ff	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumGt	False	Passed	Model Under Test Equivalent Model
acafd1ea0c2cbadf7ccd92df0955a8ada2be6626	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumGe	True	Passed	Model Under Test Equivalent Model
19573ba9a19b5eee8ad3dfdcd48f6b9c73f147a3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumGe	False	Passed	Model Under Test Equivalent Model
ab2f073e9a64731cc7b0b6040c4946a02d4a29ac	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumLt	True	Passed	Model Under Test Equivalent Model
c8eb24a9156cece314d3456a15e57f007ceb81fc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumLt	False	Passed	Model Under Test Equivalent Model
1c4f2055cc1fae00fa04f1621391ac71c9755bd7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumLe	True	Passed	Model Under Test Equivalent Model
c5830368757b3252c1367de7b2fc60fd96879828	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumLe	False	Passed	Model Under Test Equivalent Model
ef2559d73f006d8a8ed30daa921fa9f8a3939055	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	DefFun	True	Passed	Model Under Test Equivalent Model
bffd0b44fa3a7eb55252da6e9eab2ddfe4708b3d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	DefFun	False	Passed	Model Under Test Equivalent Model
92ecadfd864f20c52b7979a351ea6f443bbdae5c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	LetDefFun	True	Passed	Model Under Test Equivalent Model
092c8bcd606be3ec534c76307c018b3b1fe526ff	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	LetDefFun	False	Passed	Model Under Test Equivalent Model
1b856262dbb50d90ff79f4b7f457482c9f76e2ab	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
d233d96d5854371aa31e25f53804e844a0be9025	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
4f6becf07ce5fa5040826a593b2d71907858391a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
620ad17ef9121d3f1ba0e0a0c0bb3d9042bbc47a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
06634ebb9ffd9265e20892640b288e3d41598f34	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Def0	True	Passed	Model Under Test Equivalent Model
f759b64a12d1ad9c1bc2ca8527278b7440d950c0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Def0	False	Passed	Model Under Test Equivalent Model
20c24bd7a7e2957ef5a92abdbb4c14d0e832736b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	LetDef0	True	Passed	Model Under Test Equivalent Model
9f2f66c7f8e205cef79fc1f47a13631b16e3bec3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	LetDef0	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
c0e3af29042c458a24ef5121ea3bb0215d0f6e27	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	LetDef1	True	Passed	Model Under Test Equivalent Model
826fcbe4799ff3c2a72678145a03318c8d6bc777	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	LetDef1	False	Passed	Model Under Test Equivalent Model
cc96ead9843c49c7f81855a70c98a28857210018	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Def2	True	Passed	Model Under Test Equivalent Model
b44e34fdbfa331260e1b676e4b600fc96bf0d4c0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Def2	False	Passed	Model Under Test Equivalent Model
72388bbdb6473fc4e2dc4e07045c3bda37dc647f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	LetDef2	True	Passed	Model Under Test Equivalent Model
994f48d28e7d22295af1182a52537bd3c2ed4b95	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	LetDef2	False	Passed	Model Under Test Equivalent Model
38ab922d3d1c27c9d4f53f9293b5bb5f562beb32	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Def1Recursive	True	Passed	Model Under Test Equivalent Model
5dc4efcba01b8c9160a1e419214af08ffcc4d941	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Def1Recursive	False	Passed	Model Under Test Equivalent Model
d36252173fc6d90e4009c222cf53222296a848e3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
7649bec5d79aca179ecb9fd6932b91cf8edc981a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
83636fb998132637e36c8a676ea46063784012cc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Extends	True	Passed	Model Under Test Equivalent Model
dd2d334a7d34f278e3b3d717ed00ccb169547975	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Extends	False	Passed	Model Under Test Equivalent Model
3aaab675305f7cac4b61309b53ff012110ef6fe4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
38956a72f53dbba0e57cd7535cc67db5bbaff86e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
8c67ac5f4ce414a6a1203ae0b7616623f85105ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Variable	True	Passed	Model Under Test Equivalent Model
2f13f2371e7e0d06b7310bcb1891c7e3c8d457ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Variable	False	Passed	Model Under Test Equivalent Model
4e5ee274b14a9283564849b01b04b5a29ff7135f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Instance	True	Passed	Model Under Test Equivalent Model
8db25913c78c1c1192b0f54e56d7ed95e0eeee9e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Instance	False	Passed	Model Under Test Equivalent Model
6ccb0ef04d7cb2c17f5fb1e141a87170f5e09097	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	InstanceWith	True	Passed	Model Under Test Equivalent Model
c81768728b0fd403add070aeb32167debdee527d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	InstanceWith	False	Passed	Model Under Test Equivalent Model
0bc0a96f3632ff3255753058e87f9fb4132a06c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	InstanceNamed	True	Passed	Model Under Test Equivalent Model
23664a4e09be8662924cd834df27d986c3188d93	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	InstanceNamed	False	Passed	Model Under Test Equivalent Model
7a0e7c544613220a50821a7a69a1a1ece88750ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
7794a191ec757b47e04e8934acf4756f085d929a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
3e23146a2b4d221e8a20d35e294096ba6661c13a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
f59180d6ff178f7db672683e0b0f0c301803cdfc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
9c11684673cbc6dc8874217b0086cfd1708db08e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
3e9602c5fda0f47ca449d138355ebd3130ebf62d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
ce0511d54266829dcf4c6951677d29e0ef00fa52	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
7c946ebcb32906b82156ff1837b6b3e5be0f2138	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
a999ffda7c7c19ebd71ae9d178cafffea7622e74	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
de4999ff3195f3e86cdffa788b24c26f694455c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
8da4f57ccbab152fae968e8338267b3ed9b6cb33	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Enabled	True	Passed	Model Under Test Equivalent Model
4c38d65d905a3134d9cd902251d0148bbd134965	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Enabled	False	Passed	Model Under Test Equivalent Model
653e45e68081e18423422184c6f92eafe8710a47	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Cross2	True	Passed	Model Under Test Equivalent Model
7f878a978970b0635fb04767f67c8bcd765bbaac	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Cross2	False	Passed	Model Under Test Equivalent Model
7c38832faf4aa7974f189d0c0b12677cad606c6b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Cross3	True	Passed	Model Under Test Equivalent Model
28f186d522022409a88e0a51315b1b346e5b963f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Cross3	False	Passed	Model Under Test Equivalent Model
58fd30ad4560ea1e607c9b8425fb783ec29d9cb2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	FunSet	True	Passed	Model Under Test Equivalent Model
84c8d4d3c4d72b81660f88cc2c27e7c7aa7a068c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	FunSet	False	Passed	Model Under Test Equivalent Model
cdf04b13576b79f80cc64410e5bad7b23ef1ada5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	RecordSet	True	Passed	Model Under Test Equivalent Model
0e1196a571a5daa120b7706207de3f2804ae773a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	RecordSet	False	Passed	Model Under Test Equivalent Model
d474b0040b7bedfab1f71f6858b320aff0fdd39c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SetDiff	True	Passed	Model Under Test Equivalent Model
c2114a8c3287024903620599a6d53aa59d08d7de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SetDiff	False	Passed	Model Under Test Equivalent Model
a1cf3b5f0b01985845f81d631faf6d7e93f5cb72	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SetUnion	True	Passed	Model Under Test Equivalent Model
cca3fd7e25438f53515375665fb74ad3b3def1e4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SetUnion	False	Passed	Model Under Test Equivalent Model
ee6ca2c50fe0e2f27e65d8fe8d994a5554abe6bc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SetIntersect	True	Passed	Model Under Test Equivalent Model
29991bdf7412b75169001f96ba7a75f2b76afb17	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SetIntersect	False	Passed	Model Under Test Equivalent Model
19e1e69b817f7ac181a1af1e46ed2b6702d502d2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SubsetEq	True	Passed	Model Under Test Equivalent Model
a0d51aae5adb38f3ea243761f1e263c6adff6422	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SubsetEq	False	Passed	Model Under Test Equivalent Model
ebc835b9836382520fbbe3c34dd4b39116cc796a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	IfCond	True	Passed	Model Under Test Equivalent Model
67032f036800583df61d33e54faf2d43dc6041bb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	IfCond	False	Passed	Model Under Test Equivalent Model
8ff4988c9f6242db4b983786c798187b5e3d4b35	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	IfThen	True	Passed	Model Under Test Equivalent Model
1df32a1a98c3f364efd75e94ecd3ae37bc27c2c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	IfThen	False	Passed	Model Under Test Equivalent Model
675ce686a61288a7648dc7588dd16e1ab136c068	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	IfElse	True	Passed	Model Under Test Equivalent Model
948c4f3988a454edd9a6a59609e4d236d700c064	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	IfElse	False	Passed	Model Under Test Equivalent Model
f28776b07083b9b27dada9dc840b7777ecc0b710	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Subset	True	Passed	Model Under Test Equivalent Model
7223285ec722e36c4dfe8487f58c413356448e37	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Subset	False	Passed	Model Under Test Equivalent Model
f54279950793d437fcd7471dd6273d87e5bafdcf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Domain	True	Passed	Model Under Test Equivalent Model
9aef8d33fcf85087d298a0a8af84a57b36f10574	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Domain	False	Passed	Model Under Test Equivalent Model
f0b5a8a31283d7d97fa23f9068ffb03f50cf0deb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Union	True	Passed	Model Under Test Equivalent Model
1eaa1583cb3f6eb932bc0919b62aa094ebcaf6c9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Union	False	Passed	Model Under Test Equivalent Model
72aa897107dd14ec39523307149f7884195f6b00	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Equivalence	True	Passed	Model Under Test Equivalent Model
899af6fbea89639c5740a2abe6248a54ab2c69f4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Equivalence	False	Passed	Model Under Test Equivalent Model
41317f26c239e0b81e5386bb5c44408de90c4565	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	StringEmpty	True	Passed	Model Under Test Equivalent Model
0c08c9184fb6fe26a86cc3435352b06dcad0522b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	StringEmpty	False	Passed	Model Under Test Equivalent Model
6c5c02dda977eb6dea7c96ed0b59825f8bec8689	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	String	True	Passed	Model Under Test Equivalent Model
6b76ead214138db3f583ecfbb65a8c4dff5660a4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	String	False	Passed	Model Under Test Equivalent Model
b2fe26744269a8bf3ca92af594e345e181440801	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SeqLen	True	Passed	Model Under Test Equivalent Model
4f61fd400fbc4335fbe1c01b279488ecec2659e0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SeqLen	False	Passed	Model Under Test Equivalent Model
f37c96c33616f917f374287c5d5887c364e6926d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SeqConcat	True	Passed	Model Under Test Equivalent Model
dd09e6c4fb2cc2b9c451293291db5e04cfe4b516	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SeqConcat	False	Passed	Model Under Test Equivalent Model
1ff6acaf4a57b5928c90b759251e54281b5d0b6e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
c877937bc47c3e7d57391e3b1f2f0573203db6b0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
9945c8789a000a24cb6d09160a8dbd74d17977bd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
dea433d9806f5976acd0a236da4cd21d3db91eeb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
e97d21cdd8436545b8c25b8b3245f2ce128b9fc6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumRange	True	Passed	Model Under Test Equivalent Model
b1cb9394b44d235e80981ec2f14bdfe7afde7f1d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	NumRange	False	Passed	Model Under Test Equivalent Model
63e039001efeec125400dd5817cbf4acfa175a4c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
6aea449d2e58b4fa9029f9ef4f31bfb844a762a0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
8b02059966e420398bf1d1629d88cd35dca9bd6e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
5e86707d88bfd4e0456f68201a22a695f03790cc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
0b1d43f86f1556d5c07352c3ceb421d51f7cc24a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
47d778333c0561b0f6bef078455a0bbbbb4b434a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
13ddac1551ea9a114fae88d389448e5377320c7c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
fac910bb1b3eeb485e912c807c1da725d4aad858	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
28fdbc326472dd6e3d3cc53a83ecb2d71a8026c6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	TlcEval	True	Passed	Model Under Test Equivalent Model
c8054c9f2b2d50b4af94a9f64af1b50f5a4fc6cc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	TlcEval	False	Passed	Model Under Test Equivalent Model
52b0417e256fc16676254d907e15bfe05cd2b953	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagBagToSet	True	Passed	Model Under Test Equivalent Model
e898f7abc04d99a9ccb911b1b04add8951d38541	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagBagToSet	False	Passed	Model Under Test Equivalent Model
90d8f95eea6a8c158503a7b7ca3fd36167986349	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagSetToBag	True	Passed	Model Under Test Equivalent Model
ebe1f34967982727e38d56bd180e3fbbf188e652	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagSetToBag	False	Passed	Model Under Test Equivalent Model
7a10e78f2a67da51f4052a785d9a0cc54c6addd6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagBagIn	True	Passed	Model Under Test Equivalent Model
ef228f1b4f3e2e166f6f83f14840434c7e7ff8c0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagBagIn	False	Passed	Model Under Test Equivalent Model
36774dbd4c2c6f747ccfeeb2be190644154ce107	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
0e98c2f888697b0fa356f6c990cf795c4b561d63	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
cd27ba2d5c90d0479784f59611c5d5a0ab9c10ff	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagAddBag	True	Passed	Model Under Test Equivalent Model
c48f0112dbe71cb8fa4438e06d7b939569d2ff58	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagAddBag	False	Passed	Model Under Test Equivalent Model
79eb1e5a6b211f1f894bd1679229c13d5b1235b5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagBagSub	True	Passed	Model Under Test Equivalent Model
208a1ba4645ce84cbec2dc9287ed24b8fa7b9354	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagBagSub	False	Passed	Model Under Test Equivalent Model
59763411a489166e6c47b62ae988446b2f8697ed	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
73bba11b36edac65fdc1ff6c9a157dee84bab5fa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
56f4cd9a0313c64c71f4bcf42c07209155a7abfd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
c22543f85a93194b61b001f040dbcb84d99e616e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
f2a2b420bf01e4337aed131cffeb38a419f73cf1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagBagUnion	True	Passed	Model Under Test Equivalent Model
7e55c42883368f64611f507ea433be9e5a4eb24b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagBagUnion	False	Passed	Model Under Test Equivalent Model
5376188c4f01898c7542dd01c5abfadc632430c4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
69a4f8d19bd171a717153c5768a4da0994f62606	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
c646b278ba94ae4c9b988f1ab2a6b2f2bd0a1da3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
25e691e73a1a979ef37b39ad3e47aeb23e52b144	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
6e8e03bda2238624f4b1da6c65eb38e5fd299a9f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagSubBag	True	Passed	Model Under Test Equivalent Model
5e3f95160e388a25f174ed55de3415a554dc278e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	BagSubBag	False	Passed	Model Under Test Equivalent Model
7a9809c85dc47b134b2f954aced1054b3906e4db	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
8cb3d99a6d94dda597f4f35bd9291d1c2998709d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
50d9d217e3622552efcd5d0dfc159d075db5c9df	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
58cd7632583e2e0584a2e98b2432adef2ea74dd4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
3a1443aabe22729b783906de51163d9878d4d1e2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SeqHead	True	Passed	Model Under Test Equivalent Model
2ecbf95037dd637a5c4a85932a298bf4b7485ec6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SeqHead	False	Passed	Model Under Test Equivalent Model
eb0952b67f73dfe4377efa0876b1ab57c3d2a1ca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SeqTail	True	Passed	Model Under Test Equivalent Model
f0df9347a62836c0bc26be66ba62ba637778be89	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SeqTail	False	Passed	Model Under Test Equivalent Model
d9037ec9bd49f58844ccd030c520e38143f878d0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SeqAppend	True	Passed	Model Under Test Equivalent Model
2b5d2176ffb5c169b8a1391a16f575648025c5f0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

Tests by case feature Unchanged; CLI Option: -workers 2