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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
895b52c0cc66e02817549cf98a564445848961df	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	Def1	True	Passed	Model Under Test Equivalent Model
b0c372f9383d834927b6980dc95c18f87802b302	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	Def1	False	Passed	Model Under Test Equivalent Model
7c813e1f7bbe27102242f7ed6c6f724a8f67a030	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	Def1	True	Passed	Model Under Test Equivalent Model
5bb116450d73081a38fac72ee7f3ed8f34a33d6e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	Def1	False	Passed	Model Under Test Equivalent Model
0b6c738b87aa7262212a1e8fed090154a7a47c9e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	Def1	True	Passed	Model Under Test Equivalent Model
c817672672a2d884560d030196bccb386a0ab034	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	Def1	False	Passed	Model Under Test Equivalent Model
8afd5b437df0abbdf164315bec6840e2d579a0db	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	Def1	True	Passed	Model Under Test Equivalent Model
cbc011729a235b18a41d57e2bac980d1bd63c50d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	Def1	False	Passed	Model Under Test Equivalent Model
4c61329339d3e5fd70af32dd4984786e43f74ddc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	Def1	True	Passed	Model Under Test Equivalent Model
b1a74ef7a402e6e2ebee2a80919a5cb6cfe67b9f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	Def1	False	Passed	Model Under Test Equivalent Model
bcbec42c3a34c8dbb6c91a18d3f26cc0dd36b1db	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	Def1	True	Passed	Model Under Test Equivalent Model
e62e9849f3faf625030783f1ce2543047a68fe33	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	Def1	False	Passed	Model Under Test Equivalent Model
112e5c6f9d68ea7c4ede2b8dbc5bc92f34cccb47	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	Def1	True	Passed	Model Under Test Equivalent Model
068a170355122bb98573d1f1176834b1d8b7dec0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	Def1	False	Passed	Model Under Test Equivalent Model
d3e6e1c68d8c0cad56a3b08b215e62df2d4ea18e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Def1	True	Passed	Model Under Test Equivalent Model
8c7ad5d44ebf709fe272633ae906d7f656877801	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Def1	False	Passed	Model Under Test Equivalent Model
75cc30c8b1fb869ee84d3588af86f0741e24b838	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Def1	True	Passed	Model Under Test Equivalent Model
002bf3654d63c7bbc79a710098bc7cbea5d0ab17	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Def1	False	Passed	Model Under Test Equivalent Model
f57633b3444617d723dcf20224c1f97cc1b6fbc7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Def1	True	Passed	Model Under Test Equivalent Model
eab46843827aad18c20995a009e72a2a343e411d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Def1	False	Passed	Model Under Test Equivalent Model
f3848462b37105b1220ddb0c15c01fb2657ede8a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Def1	True	Passed	Model Under Test Equivalent Model
546b4c6c80be525a37709a54a50c72154f21fb8e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Def1	False	Passed	Model Under Test Equivalent Model
84afbf132e4c15b0f54ac67d5def4422b80d82e6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Def1	True	Passed	Model Under Test Equivalent Model
96f22aa2d3f7af8dfb3b3aa2a7584ec7077d7cae	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Def1	False	Passed	Model Under Test Equivalent Model
810fdaa17d12cf5544760c5ac8c10de6d32a4eec	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Def1	True	Passed	Model Under Test Equivalent Model
fd844425eafb75e9bab102acc1cf7a2476620b54	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Def1	False	Passed	Model Under Test Equivalent Model
30837f2a8b41e5e7540950167fff8ce4fc7f9ee9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Def1	True	Passed	Model Under Test Equivalent Model
057dfd0e764a1fb2417f2936a5a3073cb35e5d8d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Def1	False	Passed	Model Under Test Equivalent Model
9a7cbf78a7710034e5d1afccac7db2758cf322ac	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Def1	True	Passed	Model Under Test Equivalent Model
b1f30e62d18b844f00b1d1a65b1b75adc5fd202b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Def1	False	Passed	Model Under Test Equivalent Model
91b796237888a78ab680a962815411820bece217	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Def1	True	Passed	Model Under Test Equivalent Model
f26e8815df187fcc52cf50925a369b22db9765f9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Def1	False	Passed	Model Under Test Equivalent Model
d28cb98bc83fc0c57ae95cf41fdaba10f047642d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Def1	True	Passed	Model Under Test Equivalent Model
d3f308eb8750a64b51628a2a01f8159d49fb5026	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Def1	False	Passed	Model Under Test Equivalent Model
2038545c2bc26d6e0e302fa03493316832d60d4a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Def1	True	Passed	Model Under Test Equivalent Model
a87214f1a5c9ec27655dea83cc0d7005c05f7fe1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Def1	False	Passed	Model Under Test Equivalent Model
fde8989dbb604cd128c2ec68dca2618ba716073d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Def1	True	Passed	Model Under Test Equivalent Model
82a8faec046d75cdcbc8384ef254b7521508d6ba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Def1	False	Passed	Model Under Test Equivalent Model
196d4e3b961380abfeb60bc1545c48d7579f77c4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	Def1	True	Passed	Model Under Test Equivalent Model
dc889dd096831c1f990e4807b074dacb62693ac2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	Def1	False	Passed	Model Under Test Equivalent Model
b7ea9d3f99881d2015da433a5206efa6768a2bd0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Def1	True	Passed	Model Under Test Equivalent Model
eebd7cd1b2bf46ef08984dd1ebde976f2479c9c7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Def1	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
e931a6dd36770084fe84544d49a922ce17ce865a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Def1	True	Passed	Model Under Test Equivalent Model
39cf21a48449e7337a36747483edd80ce2deadee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Def1	False	Passed	Model Under Test Equivalent Model
c8fbf5dc5d2c86fa1604ec352af3d11cb0dce154	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except0	Def1	True	Passed	Model Under Test Equivalent Model
60902e0d565c739afc6e0027ab8c771511c4f838	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except0	Def1	False	Passed	Model Under Test Equivalent Model
c8fe75441bb1bec90bf51d30d9347b08d3a325e5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Def1	True	Passed	Model Under Test Equivalent Model
946f8a862d3a850342dc375e0eb211e4db2ad67c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Def1	False	Passed	Model Under Test Equivalent Model
79f6ad8affb3e726e348c5a526ba3348ea87aaef	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Def1	True	Passed	Model Under Test Equivalent Model
7a21938dd9cd82c933f8a153f0db604aac42df08	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Def1	False	Passed	Model Under Test Equivalent Model
2b90c2f91c0319068d4296bdda76a598cca218c6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Def1	True	Passed	Model Under Test Equivalent Model
0e5e973c02ac6eefae8554d68c98dd8736b71207	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Def1	False	Passed	Model Under Test Equivalent Model
f253391c9956bf83f48b43276d4f6cd027e2ad7c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Def1	True	Passed	Model Under Test Equivalent Model
b64c45400b2cd452a3cb01a2471a94ce33a1cb50	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Def1	False	Passed	Model Under Test Equivalent Model
4dda7598ef194e2dde6e712c9e6fe66392b3b85b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Def1	True	Passed	Model Under Test Equivalent Model
a013263a7876cac707f0b7b9cfd4b850b66cafbd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Def1	False	Passed	Model Under Test Equivalent Model
5b3f9c66b2015304d5250bedbdd596be1e1f77d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2FunTuple	Def1	True	Passed	Model Under Test Equivalent Model
2fa82ed79fca6fc45e881ddd0d76fd81264da388	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2FunTuple	Def1	False	Passed	Model Under Test Equivalent Model
8e91b69282d6264db69e57e58fd800b1d2bb4dad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Def1	True	Passed	Model Under Test Equivalent Model
834449e7742a956f1cd8e7dd0018b320e247d591	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Def1	False	Passed	Model Under Test Equivalent Model
188eeab3bb3bc43504eaceac758a2f2702ca4a61	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumUnaryMinus	Def1	True	Passed	Model Under Test Equivalent Model
6b7bc77585626661d77820383cb9c3a778a1f56d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumUnaryMinus	Def1	False	Passed	Model Under Test Equivalent Model
e727a98ddce6cc72eee7765f1983733d11eec0e7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumPlus	Def1	True	Passed	Model Under Test Equivalent Model
c432f3fa8962f29b6f2642b5808a1850ca73539e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumPlus	Def1	False	Passed	Model Under Test Equivalent Model
0596361cbbc5fbb197c78872d017986d9de5dbff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMinus	Def1	True	Passed	Model Under Test Equivalent Model
59b46dd09cfb689582aa9a70c7492d75884de6f0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMinus	Def1	False	Passed	Model Under Test Equivalent Model
af4cc5b586e53aeb7af7b3c7609bf6e7f038e015	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMul	Def1	True	Passed	Model Under Test Equivalent Model
86073af30dc00edbc9f4e9f034d2d62e1df323b8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMul	Def1	False	Passed	Model Under Test Equivalent Model
f09590618e43351c2be9ce48c43331817ae37da2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumDiv	Def1	True	Passed	Model Under Test Equivalent Model
13581bcfea8a93a2817de560ede3db1b42a3bcfc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumDiv	Def1	False	Passed	Model Under Test Equivalent Model
8e8eacad6b13f016a33f1874309e1f98a3422932	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMod	Def1	True	Passed	Model Under Test Equivalent Model
ecfca47a6994fb662e2cf0600c2fbf2f5ba28c83	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMod	Def1	False	Passed	Model Under Test Equivalent Model
d68d28d0af2ca6b61d1faae8ea6fbd537d226d3b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumPow	Def1	True	Passed	Model Under Test Equivalent Model
b138e34e4aea13418d46652d3cab506a652390ca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumPow	Def1	False	Passed	Model Under Test Equivalent Model
807e504fce9c5eea11657e9727e3b9274c677362	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumGt	Def1	True	Passed	Model Under Test Equivalent Model
82822cfe99838081a14252c23741ea0b1471fc01	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumGt	Def1	False	Passed	Model Under Test Equivalent Model
fe285dd63f6e2a788807b49cd97081431ea2c791	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumGe	Def1	True	Passed	Model Under Test Equivalent Model
8f7be13114158b5b71f6cc35f944e40553b4c73e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumGe	Def1	False	Passed	Model Under Test Equivalent Model
a3af3a13bbb0d1403eb38ac8c1c560ee6c63e50c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumLt	Def1	True	Passed	Model Under Test Equivalent Model
130b8a0d91b743018d8ab9bc8aafab98bd89a772	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumLt	Def1	False	Passed	Model Under Test Equivalent Model
4d56cfb0c4e99644ed7458e09788c92cea308e84	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumLe	Def1	True	Passed	Model Under Test Equivalent Model
44f41e7d6e1f435ab63f7ba4446c440e8ff3fe57	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumLe	Def1	False	Passed	Model Under Test Equivalent Model
3e59b73b3ebdb210343a4072e287693930aff183	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Def1	True	Passed	Model Under Test Equivalent Model
12aa421168c8b3915d3c96de82e56db9f053b668	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Def1	False	Passed	Model Under Test Equivalent Model
1ea3a2ce56e283111153ffe01bd8bc5999457776	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Def1	True	Passed	Model Under Test Equivalent Model
4a1a70d33684c8f23f13352dff69bf5d98320abc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Def1	False	Passed	Model Under Test Equivalent Model
fd4616a76bee07162650f3023751ccd401ff0e70	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Def1	True	Passed	Model Under Test Equivalent Model
99467c0123e06d637a1508e3a2e98e8d36f1a762	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Def1	False	Passed	Model Under Test Equivalent Model
4a6bae99bdd18605ed8562a11370eace4fbb896d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Def1	True	Passed	Model Under Test Equivalent Model
a1fb9a57d42f9c0f30e10f4d11ac3e54fff57d71	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Def1	False	Passed	Model Under Test Equivalent Model
fe870787a29e562bf51c70de7cb6e4c2bb6137bd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Def1	True	Passed	Model Under Test Equivalent Model
0b0fe9bfb1ff24750100f27a56fd7ba3a3ab0db3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Def1	False	Passed	Model Under Test Equivalent Model
f9ef5857261af13febeb23e191751c7101f35494	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Def1	True	Passed	Model Under Test Equivalent Model
d7354c3a89a08e6d0e46527ec858cc2f41e3c142	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Def1	False	Passed	Model Under Test Equivalent Model
d1dab3c894daeb468ca02bc8f37af1c863865b98	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Def1	True	Passed	Model Under Test Equivalent Model
b7f161eddde2e5b1f3e7358093a1a34807139f4c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Def1	False	Passed	Model Under Test Equivalent Model
c3e44f54ef77e22b54f22f9a718187c3e5500f30	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Def1	True	Passed	Model Under Test Equivalent Model
377f9beed8ae652afb71132a413f012ecd2efbf5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Def1	False	Passed	Model Under Test Equivalent Model
d4a88e499a0ad0cf864c8943d810518986e152eb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Def1	True	Passed	Model Under Test Equivalent Model
e9c1925bf2f263d09239fdd3b9ea286fe0fa23fe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Def1	False	Passed	Model Under Test Equivalent Model
9b692739fbd5cb19235f66197969218eea07e70a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Def1	True	Passed	Model Under Test Equivalent Model
8a1434412bade90b4e15d808baee690a868aec27	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Def1	False	Passed	Model Under Test Equivalent Model
517128170108ba8a8d2209be09f3983a9b0d3117	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Def1	True	Passed	Model Under Test Equivalent Model
b6aeaadae3f355fb9c08d39cd880d91f89cfaadb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Def1	False	Passed	Model Under Test Equivalent Model
1860e02b9c72952df93623d3df997a4990d29804	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Def1	True	Passed	Model Under Test Equivalent Model
f25828cbd1b5fe607b8ed9e8ba8fbcfa4d126afb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Def1	False	Passed	Model Under Test Equivalent Model
f60fcbec7eda31b492757bf6f81bc036fc9a8c40	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Def1	True	Passed	Model Under Test Equivalent Model
84ffa6e5781f8d0986d9cf84bfb3a6312b80438b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Def1	False	Passed	Model Under Test Equivalent Model
9bd7e295dc5a4b662f1de650fb75698b690981e3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Def1	True	Passed	Model Under Test Equivalent Model
848887b577bbc8c8148eb424a9a315af6ea2b9eb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Def1	False	Passed	Model Under Test Equivalent Model
ef8b80a91dea4935ac7b8eb9782f1a108e0769bb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Def1	True	Passed	Model Under Test Equivalent Model
572a18ccb80eea0aa4ca7d2123d5f60ea9666b5d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Def1	False	Passed	Model Under Test Equivalent Model
023b8bd6b778c459e1781dc1119d048d8d20ad3d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Def1	True	Passed	Model Under Test Equivalent Model
b3faf8d01d1cfe55aec28d3cf2333e0582de7c6c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Def1	False	Passed	Model Under Test Equivalent Model
7cbb2bca5f83025685295a82e12a24d7ee8b18ed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Def1	True	Passed	Model Under Test Equivalent Model
7b907a9a2d18522d1568f5dbd7bd5032289aa021	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Def1	False	Passed	Model Under Test Equivalent Model
1a6f78c6a3e043f05378197e09533ce7f16ad35b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	Def1	True	Passed	Model Under Test Equivalent Model
a234f871ad790cd234d18b902ff8c2f31cfd5ac9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	Def1	False	Passed	Model Under Test Equivalent Model
54d4cb9d5313a4daaf9839f426fda9f21d0871fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Def1	True	Passed	Model Under Test Equivalent Model
55ff8fa25f99b0c0698d8b07f4077d7538b5d68a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Def1	False	Passed	Model Under Test Equivalent Model
af04b87af32236dfa70551b2f070cc8d96d04ece	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Def1	True	Passed	Model Under Test Equivalent Model
2cab8ce76e995d7367a2755e1b642d7cd3658f8d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Def1	False	Passed	Model Under Test Equivalent Model
36b7aeca0842213ae07354646e0ee31b9b627a11	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Def1	True	Passed	Model Under Test Equivalent Model
0414ac80313f6867cceab4195c848f645503f2b9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Def1	False	Passed	Model Under Test Equivalent Model
6858976f9df79f96914cd151ab42879e50fe2f82	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Def1	True	Passed	Model Under Test Equivalent Model
73b318a176def902374336c48720f8a7b52329c2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Def1	False	Passed	Model Under Test Equivalent Model
2ba72ad91ef4837af9c047b2bf6df856db9a5eb7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Def1	True	Passed	Model Under Test Equivalent Model
08cad4baba5559440f912c1a431850dc5780a280	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Def1	False	Passed	Model Under Test Equivalent Model
53889142521287d66a1b2dfbc8be74dbe7082dfd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Def1	True	Passed	Model Under Test Equivalent Model
d97c44bcc1e53117fb683d2c89367cd25f4b7a86	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Def1	False	Passed	Model Under Test Equivalent Model
ea9cf75799542ddd43c83e1b5f8329b34a008882	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Def1	True	Passed	Model Under Test Equivalent Model
b7af88f806f0290476ac35fc64a48006c7c14355	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Def1	False	Passed	Model Under Test Equivalent Model
cc299cb9906772899dbb82455be6c18553f1dc9f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Def1	True	Passed	Model Under Test Equivalent Model
4c5ea823bdb87e02090fa07724ac274380cf067a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Def1	False	Passed	Model Under Test Equivalent Model
6321282576deaa193d88c1e461d9a4898124b003	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Def1	True	Passed	Model Under Test Equivalent Model
fe811e2c2a5431f6989a1330013eaf6a024d12c5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Def1	False	Passed	Model Under Test Equivalent Model
d870c390202c5368b25b75d16528284474b0d9cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	Def1	True	Passed	Model Under Test Equivalent Model
d6e9318a2d806e0b68f365cf954548da03a9a865	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	Def1	False	Passed	Model Under Test Equivalent Model
fcf6f8dbb10576706f6d408f4ed93277caa1c873	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	Def1	True	Passed	Model Under Test Equivalent Model
b4b945257d1c5bb7565e54f5afd53b8e81af1b41	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	Def1	False	Passed	Model Under Test Equivalent Model
d8b487f92a25977c389ec38ac98937672a07ecf5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Def1	True	Passed	Model Under Test Equivalent Model
81ef382cb3e3fa452c6d4152a99d35ec76cda924	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Def1	False	Passed	Model Under Test Equivalent Model
219be7654ca093a5d36b67d550cbcf2d48653d3b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross2	Def1	True	Passed	Model Under Test Equivalent Model
6ca66003f17cc9673bdc5a3cc04865a0850d4fae	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross2	Def1	False	Passed	Model Under Test Equivalent Model
1e051743c0140b7b3317f736197329ccbaebcdf8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross3	Def1	True	Passed	Model Under Test Equivalent Model
6028cd16143213ff348a5fa2e07446e8a4bed476	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross3	Def1	False	Passed	Model Under Test Equivalent Model
1821a727033e87f90a1ef71f056112d1c4a97681	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunSet	Def1	True	Passed	Model Under Test Equivalent Model
dfe5f191dd4121f161db6a5da964cb37a5d2443e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunSet	Def1	False	Passed	Model Under Test Equivalent Model
29547a4f56112ca9c4df09fb7816e0a4865843f7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	RecordSet	Def1	True	Passed	Model Under Test Equivalent Model
438c606b88420cf5f99545091e5eb91e365a7895	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	RecordSet	Def1	False	Passed	Model Under Test Equivalent Model
c0df65ab3d344064195f743e2fe88a7bfd433677	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetDiff	Def1	True	Passed	Model Under Test Equivalent Model
42515eb1a70c39c4b0f58cd4ee16072272a7ca8a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetDiff	Def1	False	Passed	Model Under Test Equivalent Model
7d8d0a92bd3d3f2b0a42d6c8368ba5c75e5f7a1f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetUnion	Def1	True	Passed	Model Under Test Equivalent Model
8b0cb0521c94ed1c9d110502548782d42299b62b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetUnion	Def1	False	Passed	Model Under Test Equivalent Model
e71dfd47a8661baf8d47184057467d19b72e5f2b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetIntersect	Def1	True	Passed	Model Under Test Equivalent Model
e92b563d7794ab79b5984f43d368755615d421a5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetIntersect	Def1	False	Passed	Model Under Test Equivalent Model
55b23a61ea49306e1468c5c5fa743254e5051347	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SubsetEq	Def1	True	Passed	Model Under Test Equivalent Model
18fe4c50f66ddc2a99c3c6e039dcb150661793fc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SubsetEq	Def1	False	Passed	Model Under Test Equivalent Model
3a2400148aea154aada96f61bf3a34b4583de88f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	Def1	True	Passed	Model Under Test Equivalent Model
9e7bbc37f2291f142c1dc609b0e7ef43d4327cf7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	Def1	False	Passed	Model Under Test Equivalent Model
2407a7f3a8fe3db151c5ed5a2e18ab4239adbb00	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Def1	True	Passed	Model Under Test Equivalent Model
3a05b26c8e6f72f8f3f40589a8933f90906ee3dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Def1	False	Passed	Model Under Test Equivalent Model
f3da45c119b53378bbd3a0f096bb1d591edab2de	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Def1	True	Passed	Model Under Test Equivalent Model
c86a2c73c0dd1a2ac913fce9cf101a6911d48cb9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Def1	False	Passed	Model Under Test Equivalent Model
e086b1e7a77d13f94d9bb87629d17f5d6dd829a0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Subset	Def1	True	Passed	Model Under Test Equivalent Model
018d40872abfa2f57d5bfb54c192ca648dd9b37e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Subset	Def1	False	Passed	Model Under Test Equivalent Model
3a425a16b514763a30184f9d5616db99cd194aa5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Domain	Def1	True	Passed	Model Under Test Equivalent Model
7e14f0faa030593cbd6a75a5ea39b7b62103901c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Domain	Def1	False	Passed	Model Under Test Equivalent Model
d63197d22952a25621cb88b4ddd00cc140acf7b7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Def1	True	Passed	Model Under Test Equivalent Model
2a5766facb5b411786d9a145a5849d6e6ce0d48e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Def1	False	Passed	Model Under Test Equivalent Model
1d55a663ee46e5d1035a1de1dd3d7db886a39526	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	Def1	True	Passed	Model Under Test Equivalent Model
a8099c9fb06df69ec3ddb69e3a8c4232500bd2f5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	Def1	False	Passed	Model Under Test Equivalent Model
190b7d7dc2f828060dcd4d4b6238a29af81c7112	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	Def1	True	Passed	Model Under Test Equivalent Model
a764021869f1d85e74bfb84e4d80fb09d3c27922	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	Def1	False	Passed	Model Under Test Equivalent Model
b884f9ecae96b0818fcd814e24855889c2a005eb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqLen	Def1	True	Passed	Model Under Test Equivalent Model
108158bbb8430b15ae228f42d1f4582f0209cded	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqLen	Def1	False	Passed	Model Under Test Equivalent Model
0a022c8b7e6dfb29386f258520032966acacd3bb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqConcat	Def1	True	Passed	Model Under Test Equivalent Model
e48b80ccab0e85edbdfebb5074d46c71d974599d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqConcat	Def1	False	Passed	Model Under Test Equivalent Model
387e875a690e057fdbc2001baf4812b98c686ae2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSeq	Def1	True	Passed	Model Under Test Equivalent Model
fed9dab448771a33c29e824cf922a111f927ea14	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSeq	Def1	False	Passed	Model Under Test Equivalent Model
1693c9166406416ac95cfac5712c79215561af12	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSelectSeq	Def1	True	Passed	Model Under Test Equivalent Model
cf96ca1960643e23eca708f014f66e7db637fd0a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSelectSeq	Def1	False	Passed	Model Under Test Equivalent Model
08b3e90060fc87eb92945f0617886697272772b3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSubSeq	Def1	True	Passed	Model Under Test Equivalent Model
e3df60bedc25aadb67f521a2b44b2725075effe1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSubSeq	Def1	False	Passed	Model Under Test Equivalent Model
ab42bc3e68f23d6090f0cc24b7e6740f12384455	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumRange	Def1	True	Passed	Model Under Test Equivalent Model
ac2d1ede008152532add5dbbf7d1a6d062140a0b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumRange	Def1	False	Passed	Model Under Test Equivalent Model
92a32f9861e2e7200e61270252b6209bab27ec21	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Def1	True	Passed	Model Under Test Equivalent Model
368e2c24eefa9cef3c16e576f26ff88b5cf47ac7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Def1	False	Passed	Model Under Test Equivalent Model
a412bb40cacc40d5667da8b2bbe56cb6dea949bf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcExtendFun	Def1	True	Passed	Model Under Test Equivalent Model
4323829b5479590615dbc23e0273d1963290615b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcExtendFun	Def1	False	Passed	Model Under Test Equivalent Model
9f7de40630fc3cbea73d371743f61bf6fd33308e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcPermuteFun	Def1	True	Passed	Model Under Test Equivalent Model
ccc28f10085f3f5fc1bed3803be51e1b0342ab87	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcPermuteFun	Def1	False	Passed	Model Under Test Equivalent Model
c1db1168caee453b63ecd1bb9075cbfeb8f61efa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSortSeq	Def1	True	Passed	Model Under Test Equivalent Model
a18c2780f9ce5e1a08ac0d1b55b083023312040a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSortSeq	Def1	False	Passed	Model Under Test Equivalent Model
2b540e4d4dd75ac404e201b5e797af8eefb7f8fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Def1	True	Passed	Model Under Test Equivalent Model
eb4574211c4d4f142719cc5e67459be27e98ec35	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Def1	False	Passed	Model Under Test Equivalent Model
ca243de4511bdd93a3954d1a36aab8a7f7dac8dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagToSet	Def1	True	Passed	Model Under Test Equivalent Model
6c5085c5ad1cb5b714889865afafc28bc571e33b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagToSet	Def1	False	Passed	Model Under Test Equivalent Model
fec24a8917535dddfcf624df49b124378c8bcd70	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSetToBag	Def1	True	Passed	Model Under Test Equivalent Model
de744f7ffe0937473c48b8716c234557992a8b16	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSetToBag	Def1	False	Passed	Model Under Test Equivalent Model
d3f57989aa19f84f861c671a428c20e412ca0c1f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Def1	True	Passed	Model Under Test Equivalent Model
e2a8c11e65274d994b5deca489b44bce72bcb4d4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Def1	False	Passed	Model Under Test Equivalent Model
2f4c174e1bca928366f4f5a5f24b3a5cf3a5018c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagAddBag	Def1	True	Passed	Model Under Test Equivalent Model
17c31790f6f6baa78e32bed8da92ca1a3e597ab3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagAddBag	Def1	False	Passed	Model Under Test Equivalent Model
31c93556cb5caf81b4356771756ecbcc80f6ac14	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagSub	Def1	True	Passed	Model Under Test Equivalent Model
c6523bf7822a4b5b4e9ee3d0674e897a483bad01	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagSub	Def1	False	Passed	Model Under Test Equivalent Model
8114d61b16490ed91b128370eb2a0c1a1c6384c5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Def1	True	Passed	Model Under Test Equivalent Model
4c9a80b3dfe5bc9335e2162fc64bc21146924d25	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Def1	False	Passed	Model Under Test Equivalent Model
40cb8ccb219cabcbfc0db6819b6b058e862ca4b3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSubsetEqBag	Def1	True	Passed	Model Under Test Equivalent Model
d126d99ee46c0a02164e033dd7b4775723486a22	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSubsetEqBag	Def1	False	Passed	Model Under Test Equivalent Model
ae835a6fc11a81baa2eded734c686ac816b233e2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagUnion	Def1	True	Passed	Model Under Test Equivalent Model
5eebbdecb83f4d18ca80a8e5524e700de6fc8d3d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagUnion	Def1	False	Passed	Model Under Test Equivalent Model
67bf517001725f447df0e3180c6a34d7fe6143d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagCardinality	Def1	True	Passed	Model Under Test Equivalent Model
2ebf99a28a8b9c926bfb3063fce95ec9f1bcb3c7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagCardinality	Def1	False	Passed	Model Under Test Equivalent Model
e9f2e1ba05d07f37cec1bb65ad0ced670dda39d5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagOfAll	Def1	True	Passed	Model Under Test Equivalent Model
877c7449a80b2b424a65359ded4ba7ce6064eb04	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagOfAll	Def1	False	Passed	Model Under Test Equivalent Model
5747b25a9340eb6194385ca0cb88cab018de3187	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSubBag	Def1	True	Passed	Model Under Test Equivalent Model
26ee2d0bf7cd6f8f1569b56c8446334fc1fa755f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSubBag	Def1	False	Passed	Model Under Test Equivalent Model
b45465724262408be9c3fea40f71594becb581b3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsIsFiniteSet	Def1	True	Passed	Model Under Test Equivalent Model
cb698dd00223b06a086adeb9d0885669377e80c9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsIsFiniteSet	Def1	False	Passed	Model Under Test Equivalent Model
df495b3bceef71546ffbb1e43ac54d0be95a7aeb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsCardinality	Def1	True	Passed	Model Under Test Equivalent Model
6bfeebc722abc01e0e60d564a76ffed63b66a4be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsCardinality	Def1	False	Passed	Model Under Test Equivalent Model
2a2094f7e03b65cdc370605e03034e6c65daf217	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqHead	Def1	True	Passed	Model Under Test Equivalent Model
e42706093ddeb4b6bb6308776d0c7f559e1c9bdb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqHead	Def1	False	Passed	Model Under Test Equivalent Model
3a36ca4ecbf48b0efda75309efba232be6972048	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqTail	Def1	True	Passed	Model Under Test Equivalent Model
f4722a7e95fe9601010e3a81694de63de5fa3a84	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqTail	Def1	False	Passed	Model Under Test Equivalent Model
d038199f5c33221a652c4a5046875a1c6a2c6a58	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Def1	True	Passed	Model Under Test Equivalent Model
5d1b524c2e02fe48be1093b2dd5a71ad66fb8c15	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Def1	False	Passed	Model Under Test Equivalent Model

Index

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