Tests by case feature Tuple; CLI Option: -workers auto

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
dd9a86bbc031f2c2ea6bf185c53945acc1fb6374	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	OneLineComment	True	Passed	Model Under Test Equivalent Model
b4d95f6d30b39444bac316612b80553b018670a6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	OneLineComment	False	Passed	Model Under Test Equivalent Model
6c98f260553de2f63959c0d0db45ff30977c3574	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	MultiLineComment	True	Passed	Model Under Test Equivalent Model
efa6e3d13fc504bcb6d1beefcc9788c344d2ba7a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	MultiLineComment	False	Passed	Model Under Test Equivalent Model
94be1e854717104ba0960fb9e3ae0a2e673c6b67	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BoolTrue	True	Passed	Model Under Test Equivalent Model
a874daa631cab8780c7c38791eb69fe01a752c96	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BoolTrue	False	Passed	Model Under Test Equivalent Model
e24b3950798ce418d0d4092b91ba258cddec49be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BoolFalse	True	Passed	Model Under Test Equivalent Model
7a56748e71199afc79fc1c6715502a5513a64cd9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BoolFalse	False	Passed	Model Under Test Equivalent Model
30dc7bc3a64ea64e3ffb2267af26ac6d6d87dd21	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BoolSet	True	Passed	Model Under Test Equivalent Model
f1f17c02f861f8591fedcc2252409ef87df1febf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BoolSet	False	Passed	Model Under Test Equivalent Model
683d3c3027dc68e1cb1db4e6fe77b2e9f8b2a905	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	And	True	Passed	Model Under Test Equivalent Model
1e3450be6193853ea33045583b44856925808c27	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	And	False	Passed	Model Under Test Equivalent Model
02f3caca7637ca86f54a6677bc8bc78f602d41ab	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	AndMultiLine	True	Passed	Model Under Test Equivalent Model
d8efef2f2095f1bb3304043bdf63d6df21e47a46	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	AndMultiLine	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
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
8d73183c58f4e9d2b68a6f13acd4faabd0b6b6d7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Or	True	Passed	Model Under Test Equivalent Model
9d345d7b3fb9e63c22479d75333ec2d52f8d19d7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Or	False	Passed	Model Under Test Equivalent Model
4548f07b15f45d6299b4f9f1adf0bbff7b8a6d3c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	OrMultiLine	True	Passed	Model Under Test Equivalent Model
3f56929b8fb0b5a8b6e8422b73b8ccbccea5d1a1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	OrMultiLine	False	Passed	Model Under Test Equivalent Model
ae60609aa16937f4da01e48f801bc1d924e4160b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Eq	True	Passed	Model Under Test Equivalent Model
949f2cdcebe4f253bb2f3b0c7730d0d322c98203	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Eq	False	Passed	Model Under Test Equivalent Model
bfa8cc7ac95ec544a402558602646fb6ce45f677	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Ne	True	Passed	Model Under Test Equivalent Model
f4e30fd5a901d3d649a8eaceab8799d736aa42d6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Ne	False	Passed	Model Under Test Equivalent Model
8595f430352bb54a855ce6bef459c80ee888b3fe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Let	True	Passed	Model Under Test Equivalent Model
0b119de1ad3f32505e25105aa8ca8d0f2ab3761a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Let	False	Passed	Model Under Test Equivalent Model
4e18b0ffd323798d89748ba914383c07be35c935	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SetEmpty	True	Passed	Model Under Test Equivalent Model
a7633c5be57cf9494ddf74ade1408a91d5954b74	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SetEmpty	False	Passed	Model Under Test Equivalent Model
765dd3de2a2bae4ad08d39589205bfbc95c77a04	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Set0	True	Passed	Model Under Test Equivalent Model
df858def52954dc11eb6e9ad6ec337ff4050ff1b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Set0	False	Passed	Model Under Test Equivalent Model
116f965224f35e6bcd62074ee86d95a6ac0441a0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Set1	True	Passed	Model Under Test Equivalent Model
cdb8f93b0034e5a8a194876b5cee665250aed24e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Set1	False	Passed	Model Under Test Equivalent Model
0e7acc394c6776d157eacc2e664c39cccbed9738	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Set2	True	Passed	Model Under Test Equivalent Model
30702f8b6c781db593cfcbacaec627b32cc547e6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Set2	False	Passed	Model Under Test Equivalent Model
9e37242d364df36db6441622d21b0fa6cdda3b43	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Fun	True	Passed	Model Under Test Equivalent Model
5f79d38805d88ee44893806ba312c4137b9faa9b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Fun	False	Passed	Model Under Test Equivalent Model
65a0125af63c54d8df03fd25f9e4c7cee8eba779	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	In	True	Passed	Model Under Test Equivalent Model
8256177f048dc772a29ea65b8b606ea73c5e2f55	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	In	False	Passed	Model Under Test Equivalent Model
cc723ca99d8b545097f2d7d42671773fc50fedb4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NotIn	True	Passed	Model Under Test Equivalent Model
236e9c2385fa9ee6299bd5c2de29716a3a9e56f4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NotIn	False	Passed	Model Under Test Equivalent Model
d3831158e11efc7da5909f5cabf9fc323428d836	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Exists	True	Passed	Model Under Test Equivalent Model
369673bc7e15185c5997dd2418b9c9ddffcd87a3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Exists	False	Passed	Model Under Test Equivalent Model
bbe106e06fd9bd3c2c048d076767354f6b585dde	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Forall	True	Passed	Model Under Test Equivalent Model
eb5c0c00d4270aa4ce52b6f9b333db80b49f120b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Forall	False	Passed	Model Under Test Equivalent Model
163df201c6ce4fdff02eb059491cb68afc423eac	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Choose	True	Passed	Model Under Test Equivalent Model
0ae3b2dad1ee12a3d0ea033446f4790b46235056	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Choose	False	Passed	Model Under Test Equivalent Model
6fae4e2295a22cfb8d3ad1b5a8ef423a55a70af1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Record	True	Passed	Model Under Test Equivalent Model
24e278e8126d03fdb8fd4c98d47b07477cf2cefd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Record	False	Passed	Model Under Test Equivalent Model
be80e0f4b0d616219d7491697f911e693808435a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Tuple	True	Passed	Model Under Test Equivalent Model
05d3c1fe84a3bc52e47b8a2215cab550383b116d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Tuple	False	Passed	Model Under Test Equivalent Model
5085f79bce2957e1c87de20b8c0bc838f2d060e5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	TupleEmpty	True	Passed	Model Under Test Equivalent Model
e0dbfc05ae2f9c8aba534e8dfd93a66415bf564f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	TupleEmpty	False	Passed	Model Under Test Equivalent Model
833a73f00e13dd7d6e592a2f31e578d9d07bf8c0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	FunApp	True	Passed	Model Under Test Equivalent Model
f9f3a5326d9eaef608ebb73d0da579649315b2a1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	FunApp	False	Passed	Model Under Test Equivalent Model
52cac28f7edf14a236e11d23e87b8f6e0c349f33	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Prime	True	Passed	Model Under Test Equivalent Model
bbc4891f5d4bc19c86c738f23ffc618805c7ce72	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Prime	False	Passed	Model Under Test Equivalent Model
6caed4aa74e84c3010cfdc9b1d3e7a155a016c8d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumZero	True	Passed	Model Under Test Equivalent Model
158ea8841dd1dcf01d1b9d5cd636167c653348e0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumZero	False	Passed	Model Under Test Equivalent Model
2c0c9a93166e1a114fef024bd7a41465afc88f3a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumOne	True	Passed	Model Under Test Equivalent Model
268d6584f2427d3535e8df6a809bf414f3151377	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumOne	False	Passed	Model Under Test Equivalent Model
1fdfa8b8723ccc069f28fff95e6a7a80b0eb1f88	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumMaxInt	True	Passed	Model Under Test Equivalent Model
0b23bad6827586226f390f365df9935d960f2677	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumMaxInt	False	Passed	Model Under Test Equivalent Model
2628ffe81853113ddc21db8fecfa61f830da31f1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
c159b464a4d69c77667999ce48a933d3c79268fb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
433fded5ca86c89fa847eb1e42cbd61f9b6b0032	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumPlus	True	Passed	Model Under Test Equivalent Model
65be587d2de785e03be31b2d298d02f31a62d3e1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumPlus	False	Passed	Model Under Test Equivalent Model
9ba72409c5839ec92110cb8264d63f637e562466	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumMinus	True	Passed	Model Under Test Equivalent Model
82ee55fad82b0b0e6be4f0ed29417ff326bc13c1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumMinus	False	Passed	Model Under Test Equivalent Model
be0312bf0e41cd11cbe7bef49d867542c3446786	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumMul	True	Passed	Model Under Test Equivalent Model
73491abd50d5310558bd1d34d9e72ff3207cca3a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumMul	False	Passed	Model Under Test Equivalent Model
b0e5561d679a740cecfb9056ba854ed67966c39d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumDiv	True	Passed	Model Under Test Equivalent Model
828426722ee81b3e3f0e4117a72a0d0af0ee1aae	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumDiv	False	Passed	Model Under Test Equivalent Model
dd2613f6e83c3135c7745f6d4f9f251527c6ddb4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumMod	True	Passed	Model Under Test Equivalent Model
2072bd95cd452efa2eedefbb9de3f29e985293ee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumMod	False	Passed	Model Under Test Equivalent Model
98879070d6992af4573a33eb98df7a2da8b8ebde	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumPow	True	Passed	Model Under Test Equivalent Model
6d8c72dd1d302548324abe407090463ca30a8493	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumPow	False	Passed	Model Under Test Equivalent Model
fb30345da3f0759c6858267543dcc2b1daecbc4e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumGt	True	Passed	Model Under Test Equivalent Model
c6a185adb6725355700f513ee2612040a8fe9925	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumGt	False	Passed	Model Under Test Equivalent Model
4f4053ef33a24589f6fac05281779dbb497db8f4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumGe	True	Passed	Model Under Test Equivalent Model
1a62de89e8dfce94bb8e1ff757c95d20c57cc2aa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumGe	False	Passed	Model Under Test Equivalent Model
3fa28c9edb150e879fa51f595af696f47eda10b2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumLt	True	Passed	Model Under Test Equivalent Model
5115f389ff89c15190670522c87c16ee7245abc8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumLt	False	Passed	Model Under Test Equivalent Model
64b2cc67ed9e797156b89ea5571a9110f6a08a07	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumLe	True	Passed	Model Under Test Equivalent Model
4b5b731c2d0831accb2676a630447f6047a6c59d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumLe	False	Passed	Model Under Test Equivalent Model
8bb08b6e1043d59908279bbddb1c31d11f006a60	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	DefFun	True	Passed	Model Under Test Equivalent Model
53ad98d0340c82ea8ab34d4b8f3af367ffb84dfa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	DefFun	False	Passed	Model Under Test Equivalent Model
3551105e4248d1563d745128a56954481627494d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	LetDefFun	True	Passed	Model Under Test Equivalent Model
be7ba571df98f425e0e8e6e9cb987a38b46708c3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	LetDefFun	False	Passed	Model Under Test Equivalent Model
df40e1468f9414dd22fc95d689c359f380a50718	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
2bbe0114879c13452298b2e62e9f3c2cb5f377e7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
ff820cfa444e8b86313deeb5b15fd39ea100b004	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
8bab64f17ca2dbb964dce25cc7020a5fef514d3b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
726b8657f55ae292fe3da9b472edca7a4fb6fa28	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Def0	True	Passed	Model Under Test Equivalent Model
ca7b11b1b76a9afca88a2fcade3a4ad7d47246a5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Def0	False	Passed	Model Under Test Equivalent Model
c9f5bdc126d7cf09345001c19c763a6d4fe49d0e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	LetDef0	True	Passed	Model Under Test Equivalent Model
f2a4664217936b5a18b5323db50b24d70f355a36	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	LetDef0	False	Passed	Model Under Test Equivalent Model
f28948980b35efbede795d943cbb29286bf60eb6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Def1	True	Passed	Model Under Test Equivalent Model
e800bbaa5b43cf228c6323ac9a8091ac26e34ca5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Def1	False	Passed	Model Under Test Equivalent Model
c0351edf826ee53d842ca2997f7c92f36e7cd15c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	LetDef1	True	Passed	Model Under Test Equivalent Model
149ac8c31e556b163856db37f984295dd84eb46e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	LetDef1	False	Passed	Model Under Test Equivalent Model
a061ca336f0ee5d3a10a1374935ee162698bd2d5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Def2	True	Passed	Model Under Test Equivalent Model
0004747b908704e3a55d598de572931412a9a011	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Def2	False	Passed	Model Under Test Equivalent Model
1d478a1e6c10fb5444dc6fd1cbe129a970e274b2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	LetDef2	True	Passed	Model Under Test Equivalent Model
c73407533682517d0cf4d0c1c542f715a2dd7af6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	LetDef2	False	Passed	Model Under Test Equivalent Model
cfcdfe10d745290026448a13dde3ed7ce7394ad0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Def1Recursive	True	Passed	Model Under Test Equivalent Model
f99df7e66a8b75a534648d315534415b6c0e4619	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Def1Recursive	False	Passed	Model Under Test Equivalent Model
6ae9b0204f2d20933826dc06d1ea599fb47785d2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
5550c09c5e847fc70aa548debb81e60bf3be0968	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
b7f4cd28a93c12dc95cacfb62eb9d19393d3fad2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Extends	True	Passed	Model Under Test Equivalent Model
b55c914dad61fca98f9e6af926f5791727e7a4ee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Extends	False	Passed	Model Under Test Equivalent Model
0cdf4484efa9de54c7c7dadd4c0e67c4a6da7614	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
22e2801f51161d3507d7baffb580eed6bcb8660f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
515338d14b6d5ec95f8c34a2f2e659b15cb6c820	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Variable	True	Passed	Model Under Test Equivalent Model
2e7139b8bb421b86ee399b55e6f628465678024d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Variable	False	Passed	Model Under Test Equivalent Model
066e1e351e340d464385717fc50430ae42789a74	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Constant	True	Passed	Model Under Test Equivalent Model
bc08aac6409212725cbd7f4ef60a74adf99eeaf0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Constant	False	Passed	Model Under Test Equivalent Model
d128457eb6188fdcfffeeb83f35ba77167d0265c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
cdce289990499291a909ed3174bbcba753359c78	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
557b14cb1f28f0510ea032f3e384325f8b0b0ee1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	ConstantRank1	True	Passed	Model Under Test Equivalent Model
5984ecdb25ba4ba7aa5510318b0647028a276402	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	ConstantRank1	False	Passed	Model Under Test Equivalent Model
64c9a2e894fc30637ffdd08e47ca7a5ce79323db	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Instance	True	Passed	Model Under Test Equivalent Model
1cde9e5ad69932d50cc15c80d7da29ad4cdfc5a6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Instance	False	Passed	Model Under Test Equivalent Model
319df58e689cfa8b96719a140cc487c4abe0e974	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	InstanceWith	True	Passed	Model Under Test Equivalent Model
421bfe644285a9058cf5cc4e3e0faeaf7121097a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	InstanceWith	False	Passed	Model Under Test Equivalent Model
d6064453035859056797c02cafb9c642c0413a19	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	InstanceNamed	True	Passed	Model Under Test Equivalent Model
81c46b5bd6f377e0812c6a6267b0f482bdaf1a73	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	InstanceNamed	False	Passed	Model Under Test Equivalent Model
ea14bd8d7966ebdb26e1e4fd9aedd6ee1acdec02	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
3440d73f25bc641112bdb5d55f610612aa79f584	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
2a2066d2cd431264ad3473984726e2dab77cf3f1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
2f0e84f5d44b7dfeb7db7dc23820c2c58968e615	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
00576fb5676f229b2b8614bc71bfc0e9bb5cdb8a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
b56c46cf277a66992ddb43c13d9464fa444a947e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
06f557d8430f022b82f685afb21a5e264d4624d3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
319dafce313204d2eec8c365a58f7110b337a30e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
41f2e35abb1418f63c5edb5708110685e9ce95a2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
1b6cf67e62345a91a7ce443ce5d465160876d632	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
009b3b2e7a1d80508ac9e19df8caacc61d1a83cb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Enabled	True	Passed	Model Under Test Equivalent Model
45e61ae81d9a91c8ea1094f7c5005d9e449b4e28	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Enabled	False	Passed	Model Under Test Equivalent Model
95c135cdb8cca1338a23a543dd38555718a9ccba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Cross2	True	Passed	Model Under Test Equivalent Model
5061f86a30c45963dfc62d32c65d2e9bc5871836	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Cross2	False	Passed	Model Under Test Equivalent Model
e9f087fb2a146a57333520403d8f6cc669092cdd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Cross3	True	Passed	Model Under Test Equivalent Model
2ce7987be700fde5779648005e20bedf1103c3c4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Cross3	False	Passed	Model Under Test Equivalent Model
4a3de73f6b00cf21e4c6e14b1fbfa0035ff5f3b8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	FunSet	True	Passed	Model Under Test Equivalent Model
b613bc2276e85ce0d80abc9188ed45dc6a58c357	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	FunSet	False	Passed	Model Under Test Equivalent Model
47db7a5831fbc73ec2c3abdec5b613a224097fce	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	RecordSet	True	Passed	Model Under Test Equivalent Model
dc7a23b2eb3cbd8ebcbb925d7eb365b4a6bfb88e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	RecordSet	False	Passed	Model Under Test Equivalent Model
3fef6e04df09d6e40777002ad28e28d435d40f88	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SetDiff	True	Passed	Model Under Test Equivalent Model
9ed1dbdf40e05335d988524f596c3bd71d395f97	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SetDiff	False	Passed	Model Under Test Equivalent Model
a284127f0781a73157ec4206cf49e66b22226864	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SetUnion	True	Passed	Model Under Test Equivalent Model
1670bc6a6798d6c2b91b08fecfa8f4db5b4fdbd2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SetUnion	False	Passed	Model Under Test Equivalent Model
cd627268499d836e468f453b51ff03c68a2f07bc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SetIntersect	True	Passed	Model Under Test Equivalent Model
10b1882f9870276014c0808b49d55bb2b688c72c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SetIntersect	False	Passed	Model Under Test Equivalent Model
723bc7f2030600335aec3f223e9240d862ec993a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SubsetEq	True	Passed	Model Under Test Equivalent Model
569210e4b6afd91aed28eca5d2804e63f089328a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SubsetEq	False	Passed	Model Under Test Equivalent Model
01c5bb6acee79bfed0b5c22d572ca6061f014f0a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	IfCond	True	Passed	Model Under Test Equivalent Model
a7521476c7ebf4210c5fa3cbedd5085f149b9fd9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	IfCond	False	Passed	Model Under Test Equivalent Model
976cb357dcbaf56a25ba2fbac97c9e1e87281b2e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	IfThen	True	Passed	Model Under Test Equivalent Model
add60ea7c056fffc1c59805bee85bd7780684c19	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	IfThen	False	Passed	Model Under Test Equivalent Model
091193122d7310cf413e1eb86400563af053a303	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	IfElse	True	Passed	Model Under Test Equivalent Model
edcf9ca685efb6eaeb47c7af6661185d93bc991c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	IfElse	False	Passed	Model Under Test Equivalent Model
101c699bf2ffb5b460bbf0dc9e38b93b90a02bef	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Subset	True	Passed	Model Under Test Equivalent Model
a5236aaa37e7da9b1f17ddde035962191cbd3220	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Subset	False	Passed	Model Under Test Equivalent Model
cc25b148c27c14e32fbeaa6f85b546a38627a29f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Domain	True	Passed	Model Under Test Equivalent Model
8021b66afb4c3eac48d373749fad6c031aa24bf3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Domain	False	Passed	Model Under Test Equivalent Model
c9173deaf93abb1e36bc0bfd575a03dc5ae940cf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Union	True	Passed	Model Under Test Equivalent Model
4db679b929c1e21af50eb1bdd1960ad1972f4b67	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Union	False	Passed	Model Under Test Equivalent Model
7cb4c9c9da6e727a9a290e4b7fbcd4964fadecf0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Unchanged	True	Passed	Model Under Test Equivalent Model
f00cefb100119b139f8a2dcccba5f40546c40713	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Unchanged	False	Passed	Model Under Test Equivalent Model
768154dd0b51c45b482c772a2adc98f27d5f79e9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Equivalence	True	Passed	Model Under Test Equivalent Model
cd199d745d7c7b74d3aa993d82ba5e7abc36c3a3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Equivalence	False	Passed	Model Under Test Equivalent Model
b6e0026d27dfa2437cb997ba287dce70f6f15b58	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	StringEmpty	True	Passed	Model Under Test Equivalent Model
0c9c730c4270d55845e15a6ba1a5eae88853f5b1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	StringEmpty	False	Passed	Model Under Test Equivalent Model
1905b1798499ff67302f458f1cb6587d995a707c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	String	True	Passed	Model Under Test Equivalent Model
d333c53fb2e3beb895de3a77726df18b47880fba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	String	False	Passed	Model Under Test Equivalent Model
0f7c7f145fbb1dfa817a40e012c8ec6937724a54	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SeqLen	True	Passed	Model Under Test Equivalent Model
c1b797c12ce57cd923b4517793fce5b9a4655617	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SeqLen	False	Passed	Model Under Test Equivalent Model
02f86e50f00f2f9d5c9c7d6ede9dfcd66fe851d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SeqConcat	True	Passed	Model Under Test Equivalent Model
1ace35e0897a132e7fb77416d10cdc5ce31b21a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SeqConcat	False	Passed	Model Under Test Equivalent Model
3b39de1c87f8ceabd9e0319d16edd2a6160bac7d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
ca224816e3fddc94b30be6fa9609521eb6194dc4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
58b02476ac3baca450421deebba62b88927d59ae	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
37a4dbef3db0d761e09697da1fd3c66f6412b2c0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
27d8cdc6549d6711cf6a40e5ac6af64ec4a24a9e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumRange	True	Passed	Model Under Test Equivalent Model
a01de9cb48fe8f873ec5518bfaad800297ec4090	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	NumRange	False	Passed	Model Under Test Equivalent Model
610acd4af44d91214ef8ce581b36e85320a9eaec	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
1e61806229f79ac2839feb22f1a35d9238f39a11	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
6cc29f7df708b2cbddc3199062cd557991603dab	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
15aabce8e688163c122c6550234bac4f2695173f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
dc09607c5d043c1e442c125217f9a93dba2b6257	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
2c5db570e1db96dfee89d73eb8b1fa406dc5ba04	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
8bd457dec997a4d9914faa824dee1a9cf0c5bacc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
ebbfde07615f2810ce0da2095ebf4c710b14ebdc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
43d883e9a6c8ccb99f9876737b7c2c720e67ab6e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	TlcEval	True	Passed	Model Under Test Equivalent Model
da581cc885f9e9c20d3867dc2bf487522b48ed2d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	TlcEval	False	Passed	Model Under Test Equivalent Model
236da45788bd5533e2e00f229d62e2396d6bf900	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagBagToSet	True	Passed	Model Under Test Equivalent Model
5c002abd7f67f79a3eb00f49f4d1ea277f6b38be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagBagToSet	False	Passed	Model Under Test Equivalent Model
b7b19236816c8032e6f90a901ee02293f17aa514	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagSetToBag	True	Passed	Model Under Test Equivalent Model
fd6b63037259c9afdfbc3413c3b38dd7f87511b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagSetToBag	False	Passed	Model Under Test Equivalent Model
8bb81fa8a3000c0454f1d2756c691f68eabecce1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagBagIn	True	Passed	Model Under Test Equivalent Model
026ab0cc7cd0b526fd82d7a112e011a8c8883924	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagBagIn	False	Passed	Model Under Test Equivalent Model
18ffa0df3bc0a44eb9a9bbfadaeab764757c749e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
b6f0c64ece207c743c3d91e29b1181b05bd905cf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
863e6563ecc7baa0c810b400e533316ab2bbaf42	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagAddBag	True	Passed	Model Under Test Equivalent Model
023a8d5d6ecc319b1a8b5ebb4ec8093fd92993cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagAddBag	False	Passed	Model Under Test Equivalent Model
69c52affa77ce825fb907fb94e2a9fb9c3771fb4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagBagSub	True	Passed	Model Under Test Equivalent Model
55973637470e25ad623e3462ec2ce1ddecc1497d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagBagSub	False	Passed	Model Under Test Equivalent Model
5df5f04bb91497f031ad8746dc24b317c731725f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
b5fb33a3679b4783a2a474423a3fbe458788aa84	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
0226d75139b59db4176f29e6ec366252fa6d5413	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
c243c14382aa89bd7d7aa5408261e96a2121a12c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
74241d24e0c48a581a6eaeb58a999835e69535cd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagBagUnion	True	Passed	Model Under Test Equivalent Model
f32da13c6f1344b42fc5ad56efe0ce539e3fbcf9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagBagUnion	False	Passed	Model Under Test Equivalent Model
97a61d0cbc2122191d8bd8d5d2aff6a1148c87c2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
3c0ef6748a51f5ffc845fc7b717abaf3f7fa9b68	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
2d6b71910a571a106c94340b722fd2df6ef98fde	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
9be3010763b8e555c79d89e967487abfc0a43f45	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
2e303139d0d7c3f9a7e76fc9cc3af213908197d4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagSubBag	True	Passed	Model Under Test Equivalent Model
d1939668f5ab8dcbe61ac75cef19b644c8e0ada5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	BagSubBag	False	Passed	Model Under Test Equivalent Model
4e7409e0c6edf533bdf88865d3024bab1758247f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
ef31cb4375f58b5c1ac67da8e4e41f7932a19303	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
8c13950fbf32888b94f8588103bf8aafcc7fe4e3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
82ac13b332969cb83dd794504ec258a99402d0cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
a9f1e63a5dafd5d3bd033418c3466840a8323265	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SeqHead	True	Passed	Model Under Test Equivalent Model
8a754da32f515c9e6c7a41af79fae5c1567288a7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SeqHead	False	Passed	Model Under Test Equivalent Model
fec099d7ca8675acb03970211fb834a1730d8f6b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SeqTail	True	Passed	Model Under Test Equivalent Model
394b27aeabb8b73dcfefc6a94fea81a5f4b3cddc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SeqTail	False	Passed	Model Under Test Equivalent Model
1cdc325f5a0117db4a1f263fc5906803f42fc02c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SeqAppend	True	Passed	Model Under Test Equivalent Model
4618fcd6d53fe4a034ea4852e402778cbb35de91	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

Tests by case feature Tuple; CLI Option: -workers auto