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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
f0c74230f2ef81b44d6bdbce98019e80619f4d58	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	OneLineComment	True	Passed	Model Under Test Equivalent Model
7df1981798cce855d8060c565ae50dd52f69dd88	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	OneLineComment	False	Passed	Model Under Test Equivalent Model
5ab8bbfa2d71cfea5841f6312c2fa5ae1c3c61eb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	MultiLineComment	True	Passed	Model Under Test Equivalent Model
2ab9452bebe436e3cc5558ae7ead495346a5c30e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	MultiLineComment	False	Passed	Model Under Test Equivalent Model
3060475db3ca461127af2f317c25b0bfecff1c12	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BoolTrue	True	Passed	Model Under Test Equivalent Model
3c5f2ea2e914e4f28e27414d9f63ae85ce436e77	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BoolTrue	False	Passed	Model Under Test Equivalent Model
65f815f8c0492f90c26c63b200c40b0356dabfc6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BoolFalse	True	Passed	Model Under Test Equivalent Model
7564597c9db1e2463957cbac89d03bc1c91f1809	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BoolFalse	False	Passed	Model Under Test Equivalent Model
205ec8318170f76e38551396d21d475e9122b3f8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BoolSet	True	Passed	Model Under Test Equivalent Model
a155e91222b6cdc94d855f4945940272f5679833	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BoolSet	False	Passed	Model Under Test Equivalent Model
4ce4ff0b58f59d2023910b8edb5a3003bd6d8371	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	And	True	Passed	Model Under Test Equivalent Model
5530a53a0925d5f460b53c17a546c34125c47f4e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	And	False	Passed	Model Under Test Equivalent Model
c4fb9cc9cf84188dd2b47b13f598e06f9041fce8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	AndMultiLine	True	Passed	Model Under Test Equivalent Model
140a677b1a5737a75197b80ad10dd1593ae8cd82	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	AndMultiLine	False	Passed	Model Under Test Equivalent Model
0336e5d4795f29c85cb4707c7d3ae2b717ce6cbc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Imply	True	Passed	Model Under Test Equivalent Model
50d835c84e4cb3f3f595163046d35969e74b82aa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Imply	False	Passed	Model Under Test Equivalent Model
744884cd305dabebaf91455150d728220ce73c6c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Not	True	Passed	Model Under Test Equivalent Model
471870ef9cdf8373b35424e5e313d35f1fd3cca3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Not	False	Passed	Model Under Test Equivalent Model
48001ee2abfbb4daf98f5c64c9e6926c03f90298	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Or	True	Passed	Model Under Test Equivalent Model
a022fc14934b5118fd29e28c870a9e04c1b7f358	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Or	False	Passed	Model Under Test Equivalent Model
0600a4621df0dccec883e08f7903b540dceca530	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	OrMultiLine	True	Passed	Model Under Test Equivalent Model
7930a21226f0db11ede570ef68dc5581a26e3c0c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	OrMultiLine	False	Passed	Model Under Test Equivalent Model
29006314675776be2effc117455c0fbdf175e47e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Eq	True	Passed	Model Under Test Equivalent Model
10cf2247886dc02b78e1dc1d21f16a1f1594d706	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Eq	False	Passed	Model Under Test Equivalent Model
6c7f7639a6b90a5563dbd86ac9f816322c5b8f77	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Ne	True	Passed	Model Under Test Equivalent Model
08022c0717c6a55fb5d3645ea5a66ece150882d0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Ne	False	Passed	Model Under Test Equivalent Model
c66bb30cc4e108b3b02b8e600b0f028b41aeb981	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Let	True	Passed	Model Under Test Equivalent Model
18ceba851bb1b8c41d4a8e29853d4f7779a2feab	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Let	False	Passed	Model Under Test Equivalent Model
9d9f4f28b3b9fe86213e52904e14d607bef9b851	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SetEmpty	True	Passed	Model Under Test Equivalent Model
1e9cbf5ae9d64ff56a5cca78d6b2ac123be6008b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SetEmpty	False	Passed	Model Under Test Equivalent Model
deee062990604bc1d49fb6195ce0fbe4a18bcd69	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Set0	True	Passed	Model Under Test Equivalent Model
8f71e7103266562a9249d557c4ddf868582c4257	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Set0	False	Passed	Model Under Test Equivalent Model
227d7f81d137b22243397440d16ff5b97d0f1929	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Set1	True	Passed	Model Under Test Equivalent Model
4bb84a1a9e854f5dd5f371ebcf77c220839372f3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Set1	False	Passed	Model Under Test Equivalent Model
9799e4ea4612a79b3d2e7a609b4191f518747507	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Set2	True	Passed	Model Under Test Equivalent Model
9dea03dfe6fb1ea3a79f44c633d9c32650700207	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Set2	False	Passed	Model Under Test Equivalent Model
834706dbbd3bf11d96a20de50391229251d2e425	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Fun	True	Passed	Model Under Test Equivalent Model
dc031ea8f3b6a9cef1a55b8986bc18597f90514c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Fun	False	Passed	Model Under Test Equivalent Model
a48994bba773a767c0fe832d144495278f08ea61	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	In	True	Passed	Model Under Test Equivalent Model
79ce09ef8b4464a993654fae6a77a5057569a816	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	In	False	Passed	Model Under Test Equivalent Model
76ee8878651acd3c95f531a274115d83a7257eaf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NotIn	True	Passed	Model Under Test Equivalent Model
77996e9412029d8d970c6f0f006fa84b5fc93a2f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NotIn	False	Passed	Model Under Test Equivalent Model
7772c6df50dee7f65411000c345a0ad2587b73ce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Exists	True	Passed	Model Under Test Equivalent Model
6ab544515af0c83b42f531dc89fc8d00a0c42b3e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Exists	False	Passed	Model Under Test Equivalent Model
d59677e0ab5221b41db132ea3371759b24764fdc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Forall	True	Passed	Model Under Test Equivalent Model
06affd410c4a6f8947336b56135cd0fec91625e8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Forall	False	Passed	Model Under Test Equivalent Model
5c1c2c55acd9497278bd48b7eee7f9f1c00c8616	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Choose	True	Passed	Model Under Test Equivalent Model
08119ff2bea90308ece2db8289405277b76c8343	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Choose	False	Passed	Model Under Test Equivalent Model
d20fe3bb6996c0f23edd8a7dd9b0a11790dd9c76	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Record	True	Passed	Model Under Test Equivalent Model
1ca7ad07cd049be95bda3b4126c15e77b0a3c32f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Record	False	Passed	Model Under Test Equivalent Model
afeca293477e5b5960b80ab1dcf19f0c0604349b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Tuple	True	Passed	Model Under Test Equivalent Model
9c0eb260b43b1d5104a624a2cb90a1ab19f02a4d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Tuple	False	Passed	Model Under Test Equivalent Model
d4a853552fe54883b741512f07d9a3ecfb363332	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	TupleEmpty	True	Passed	Model Under Test Equivalent Model
09dc4bbbaa4acdddc2853d3ebc9021833a28b044	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	TupleEmpty	False	Passed	Model Under Test Equivalent Model
438eff9e2b5eff2239938d8bf5a0bc5ad9629d70	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	FunApp	True	Passed	Model Under Test Equivalent Model
f9c9eadc015e45b33aa95a850dd3b03ab49912b1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	FunApp	False	Passed	Model Under Test Equivalent Model
3e64ab94ac43909237f1b25834226646e1117f43	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Prime	True	Passed	Model Under Test Equivalent Model
2796bf53de6f03515a8cdd205121e3ad81ed13a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Prime	False	Passed	Model Under Test Equivalent Model
da1f2fa39aa20f26f288b72034e710ac86b9e912	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumZero	True	Passed	Model Under Test Equivalent Model
2abd2f7ed706028f3d2ccb94c744d91532afae61	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumZero	False	Passed	Model Under Test Equivalent Model
1b66f27089ef30f5b1fd8a5c1dc9f532bd0d8d9f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumOne	True	Passed	Model Under Test Equivalent Model
69fcce5dd4058c289ec5bc6fdd93af39edc683dd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumOne	False	Passed	Model Under Test Equivalent Model
3a38dc0bede9383a71861f33267edb99c0f30507	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumMaxInt	True	Passed	Model Under Test Equivalent Model
4a78c863b8b7cd4b2a242a9e2cac8f6deefb3d84	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumMaxInt	False	Passed	Model Under Test Equivalent Model
fcf0d07ceb9ee5baeeefa6a153ee600c73c00667	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
2056bc2d462cb0b8a7b532a92e67a65497c6a723	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
06803137b7dd82eb181e35c4c4a0f547306361b1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumPlus	True	Passed	Model Under Test Equivalent Model
45fb4b40b88f1fc1071850a06fef5ae0aafc60eb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumPlus	False	Passed	Model Under Test Equivalent Model
dfd8b2b7f8b14e03b35aa0d1a447b21000881e57	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumMinus	True	Passed	Model Under Test Equivalent Model
be46c48552f4493fdd8d0db004e296621f173495	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumMinus	False	Passed	Model Under Test Equivalent Model
c1ef4add08c77820bf28b69e0120747689f6ea90	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumMul	True	Passed	Model Under Test Equivalent Model
95d4840bf8c5756c79975bd5194e6194e9018c1e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumMul	False	Passed	Model Under Test Equivalent Model
4d037b1e39d10c8f43425b2f4fb313d832233a06	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumDiv	True	Passed	Model Under Test Equivalent Model
ad1a031b6a94a578bcaef14198ab86291d8cde60	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumDiv	False	Passed	Model Under Test Equivalent Model
32325ee8bc721c882254eefa8428c5cb2a5c434d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumMod	True	Passed	Model Under Test Equivalent Model
3e6342c26d04926fd02e6659b6b82f7b0eb6afe8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumMod	False	Passed	Model Under Test Equivalent Model
69fabdc892551d4ddca62bc5ba956baa9bfbd5a3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumPow	True	Passed	Model Under Test Equivalent Model
351353cde4968b44d6eaa45fa77cd03521b499f6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumPow	False	Passed	Model Under Test Equivalent Model
e58ca6f24d728613203f8e11bbdd68b342740b84	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumGt	True	Passed	Model Under Test Equivalent Model
21449cf8b6867e429cd7e1643d0449d0484dcf01	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumGt	False	Passed	Model Under Test Equivalent Model
0fb391939397ecf78949512966dd2420576c95cc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumGe	True	Passed	Model Under Test Equivalent Model
dd7039a097800772b5370496234f528679f39204	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumGe	False	Passed	Model Under Test Equivalent Model
98c549917da39cc0fbb9b68130164984bf696fec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumLt	True	Passed	Model Under Test Equivalent Model
674bf530531db4eb3b7cd7413edfe3946b4c77ba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumLt	False	Passed	Model Under Test Equivalent Model
d530fe3e30f6fdf623155b7f84507e978ffc78fd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumLe	True	Passed	Model Under Test Equivalent Model
351cd058e63815c84e8b254d4f08a8e258db89d8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumLe	False	Passed	Model Under Test Equivalent Model
9db89970b7bec579ea0055bd159b9d4b82f51e8d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	DefFun	True	Passed	Model Under Test Equivalent Model
9a89783bcad842e8ddbd7eb134dbaa259fc2ccc8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	DefFun	False	Passed	Model Under Test Equivalent Model
eadb122350e5f71d3aec957b93cb3ef700f8b62d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	LetDefFun	True	Passed	Model Under Test Equivalent Model
3b46ba655b4015df5b14ca0a64a414e2259b212e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	LetDefFun	False	Passed	Model Under Test Equivalent Model
a4621b10d9ffa4ae730ccb057ee6a509578246c4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
ef229cee681351f096281d2ea6c2ad39c293f97d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
bbdb38bca3c8eee937b7d24cd3f4ed104eea7488	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
2cea16cfa118d367bd38981ba8e55f615eac076f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
2ac53d877ee8078a620647d78c03b00aa2d4cdb3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Def0	True	Passed	Model Under Test Equivalent Model
a9fca5fd54fbad901de95503e4e6a000a748f689	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Def0	False	Passed	Model Under Test Equivalent Model
2185319946a22e878488f31e069f11f1390cf2b3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	LetDef0	True	Passed	Model Under Test Equivalent Model
712de7d2b762cbd9d887db821a347e1f6d254014	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	LetDef0	False	Passed	Model Under Test Equivalent Model
4fc377e30c3e62b3b855db8f50b370d73e20f71a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Def1	True	Passed	Model Under Test Equivalent Model
90c1f6c8d7f543135302bad2e0441e8ebc0e6590	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Def1	False	Passed	Model Under Test Equivalent Model
bf19d02c11210e525489849a57b8c2a7af0a4a46	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	LetDef1	True	Passed	Model Under Test Equivalent Model
73c24e06efde2aa730fac2555d505f8fa4a4c404	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	LetDef1	False	Passed	Model Under Test Equivalent Model
d36457285304d922524b712ed7594895c59ab44c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Def2	True	Passed	Model Under Test Equivalent Model
de075e9f4a7d739047ba6c8a6a5ad154dd707116	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Def2	False	Passed	Model Under Test Equivalent Model
248a9184fc46637a8e7adce4a9e7a73deadf17d2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	LetDef2	True	Passed	Model Under Test Equivalent Model
0b607073d0be66e4b3469999ba8e280cc6c47453	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	LetDef2	False	Passed	Model Under Test Equivalent Model
1baa203f2f56e125086d87b58dce71d7c6363f4b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Def1Recursive	True	Passed	Model Under Test Equivalent Model
d218635e8dbdf26a433605704e419db79bf6d4d5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Def1Recursive	False	Passed	Model Under Test Equivalent Model
da2e514fe245aaa41c82ee1ab1a27faf23f57c5e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
99c47597128e05cf65150949a385800e46b12f36	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
cc9dcae17f0b8f6f8e4a9cf7d915f195b5401404	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Extends	True	Passed	Model Under Test Equivalent Model
4ecf325204600a2ca7485b3cf51ab3d17a26b09b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Extends	False	Passed	Model Under Test Equivalent Model
407b7b650bb9a106dd4b5a23cf0a44e5e6594cf0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
4c2b09db19b4fc40a53b14851187fea9d1722984	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
1fb248b6057784809c082932b8af31ce400cdb26	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Variable	True	Passed	Model Under Test Equivalent Model
f040639de0d36c89da7cbe887c8206d623b7f915	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Variable	False	Passed	Model Under Test Equivalent Model
2b7296c3929f59392642336c18559417ce82945e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Constant	True	Passed	Model Under Test Equivalent Model
52cc3f1d4a2b9059e49552658da7fe1b95a81b32	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Constant	False	Passed	Model Under Test Equivalent Model
9095077980623a38c90e2eab0871b29826ed251e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
a14c664336100c49e98339ba1b43b24730aaf072	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
f53a0f0e36d668ca7b8fc8305b691ce1aefcbb58	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	ConstantRank1	True	Passed	Model Under Test Equivalent Model
a7b7b90eac2e090063882a7e1a325a221548bf44	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	ConstantRank1	False	Passed	Model Under Test Equivalent Model
e84745a1371afa95320e57cc81162e41bc4069b3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Instance	True	Passed	Model Under Test Equivalent Model
9547540759413076670bb77d8c2c1a6ee7e33629	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Instance	False	Passed	Model Under Test Equivalent Model
8e7f2be866fd72b5a737c1aaeb43c01c6fdc239b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	InstanceWith	True	Passed	Model Under Test Equivalent Model
7ac6bd9288177310eb04bb8b0610e39cbe2cad4a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	InstanceWith	False	Passed	Model Under Test Equivalent Model
a6398f956c6f0430416c65607c4e385761abdf3a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	InstanceNamed	True	Passed	Model Under Test Equivalent Model
6b0e8218566f5005dc8d9225440009856799c3fd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	InstanceNamed	False	Passed	Model Under Test Equivalent Model
3c2ccf1e5276c982c46ca578cca7573ccebcdb8e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
0dc3e2e4d051d62984ebe0039d9b31ae16afac5f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
36d09be8b410e7738532babe69b840f734814c15	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
03058f5839a448b8d1ce8b807b79478124d6a3df	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
ebf93bfae4af39829810fcf9affa27511a571101	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
211d274e8e57d93d1f87af23f4326a15426d14a7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
0b1b8ad219f3cc5530cfa769bdbad0f21f09c0ef	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
a212ea4efa23b4110deae860f0b1eefca75d79de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
c9244271e6af48dd73b1e56dccdf3f96f92ca9ed	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
537e126f2686573a476a6ba3592256277d5de2a2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
9865665690a14d249dd23887fa634915fb2855ab	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Enabled	True	Passed	Model Under Test Equivalent Model
f5da7dddff14ad8e0941beb5086aa26cf82c1828	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Enabled	False	Passed	Model Under Test Equivalent Model
b6a71065e8bba7f67346600eb5b69f2becb685c6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Cross2	True	Passed	Model Under Test Equivalent Model
fd39b0f63c7ae4c33f7cf84bd8ed2ce2c8a3824b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Cross2	False	Passed	Model Under Test Equivalent Model
20b20610e414952a4bde779729c9072b33c925dc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Cross3	True	Passed	Model Under Test Equivalent Model
bd402d938425be954d9796c6c13f76de619af622	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Cross3	False	Passed	Model Under Test Equivalent Model
b2dbd27b04a6354b97c5d83cc246856e922a9ae6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	FunSet	True	Passed	Model Under Test Equivalent Model
ba738e6c1d048256d6f07a36430f62e2398d9a14	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	FunSet	False	Passed	Model Under Test Equivalent Model
7a49418c35546f4b32669e3973559dcf33a9f133	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	RecordSet	True	Passed	Model Under Test Equivalent Model
1dcf15e7ae9fc32f4cd6acef32f10f92d7a559f8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	RecordSet	False	Passed	Model Under Test Equivalent Model
948f093baa2e659cc7590143bd8b428b5c871232	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SetDiff	True	Passed	Model Under Test Equivalent Model
1b1ccf743babe477641c7017002582d0c2bc2694	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SetDiff	False	Passed	Model Under Test Equivalent Model
a9d217c3e3a2c10a240eea2dbef36232b2672716	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SetUnion	True	Passed	Model Under Test Equivalent Model
a11610b1b6c8c9e6e8452e174a7b3dd5a6b02f2a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SetUnion	False	Passed	Model Under Test Equivalent Model
e6286a875590f3a7375fd8181226684579804720	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SetIntersect	True	Passed	Model Under Test Equivalent Model
f8d07544bec8087e1464ac0cf7db91387a99254c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SetIntersect	False	Passed	Model Under Test Equivalent Model
4f2b6eadf6b4fc79cb11c1b433aa4d180b23c7cc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SubsetEq	True	Passed	Model Under Test Equivalent Model
7c50ee111c17c7d4821c9183668977855a51026a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SubsetEq	False	Passed	Model Under Test Equivalent Model
42d52ec33561166630f492461e642f7b990a6f82	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	IfCond	True	Passed	Model Under Test Equivalent Model
b31cdd040c1cc606288072cfd303db65e0df9afc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	IfCond	False	Passed	Model Under Test Equivalent Model
13a58a578f44017cf3d7db3feb4b450234d0d59b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	IfThen	True	Passed	Model Under Test Equivalent Model
29918be12594b92408f0a639902626a6a8d23c6c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	IfThen	False	Passed	Model Under Test Equivalent Model
e3bbfa7bf9b9885c6d0fce1f041e7fe07ee81f40	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	IfElse	True	Passed	Model Under Test Equivalent Model
c838c1ae76a3f5415023b619888b3ab0fc9aca8c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	IfElse	False	Passed	Model Under Test Equivalent Model
f40eb4fba3435b771f52f2cd0f406eb1897436b4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Subset	True	Passed	Model Under Test Equivalent Model
c491db624c3d7819d6aadaa8a7cd7b9d1cbf09fb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Subset	False	Passed	Model Under Test Equivalent Model
c07373abeeec2d2ef46a22d15db2517d64fd6ec3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Domain	True	Passed	Model Under Test Equivalent Model
349445d606d8b6d764fdc105db6cb263108b0b5d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Domain	False	Passed	Model Under Test Equivalent Model
9acc56717ef30a5bc5992e2e4fb85e921b13930e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Union	True	Passed	Model Under Test Equivalent Model
142eadb4832ff88b8870aaa5af561c229c498480	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Union	False	Passed	Model Under Test Equivalent Model
3647e5d2891a01818910c54948d92feb151db25f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Unchanged	True	Passed	Model Under Test Equivalent Model
a72cbb031eedaf55c1fc94ec830e090ef3463a58	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Unchanged	False	Passed	Model Under Test Equivalent Model
54b6aa671006dacc76fc4b3992150c24e48f2a78	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Equivalence	True	Passed	Model Under Test Equivalent Model
c8a7995319ea7584b35102b85f7ef4f63ae2bd6d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Equivalence	False	Passed	Model Under Test Equivalent Model
2d38d98ce64f44f1fa137037328ea24e66d1ecd5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	StringEmpty	True	Passed	Model Under Test Equivalent Model
ad6f32eba3fbe59ccc8a97a418cc9d0d13d20a66	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	StringEmpty	False	Passed	Model Under Test Equivalent Model
8cada75e7b1a1f68f764b75ff919a14eb3eeed3c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	String	True	Passed	Model Under Test Equivalent Model
c498f909a4a67c778d3e8c287333da97d341b0e8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	String	False	Passed	Model Under Test Equivalent Model
bfb4ee3165185a4fed266537b89d36f80bb84402	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SeqLen	True	Passed	Model Under Test Equivalent Model
6d30a970647fd4ec442352cfed4326e6cf0c06ab	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SeqLen	False	Passed	Model Under Test Equivalent Model
ee042bd9a62e6f3e5f7df5b1ae442a5c49643f08	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SeqConcat	True	Passed	Model Under Test Equivalent Model
8fcd7a0d38fa6fabbc20289e6e0592bb1651ed80	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SeqConcat	False	Passed	Model Under Test Equivalent Model
29cef74fce5d821919d879178d08dd68702d6c69	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
5ea9a5043059ced6088c34f014fe16acc02f0a76	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
ef46852aa5e7e4d0a732b285da04d46375b14a9b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
da857fd62c77d4c49a83eadf658d34424612be27	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
0ac94539002e8c3b7f56b7db6638fe9a3272c427	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumRange	True	Passed	Model Under Test Equivalent Model
5ee21957d2bc632748f667c13cf6200890c808de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	NumRange	False	Passed	Model Under Test Equivalent Model
e0067ac8c1198956e7014830dc94fbabfe1a91c1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
1e92964eed162fa239170ce5b4665a07bb93900b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
2ec1d89fe95d4648eb7c1bc4fca3774d7128ae70	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
31bb92cbc65c68ea459fe9b25958b2391e908fe8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
b1dd1116bb7528f113c4ccbe54b1335f29d63ff7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
dec2c41fcd5f0b5054ef50f3b4b8da6556319807	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
d3bc9cd527109f9297c8d8dccde7c8c604de5882	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
341be19410e8ca0cd99b126226f2bcca751f0d32	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
ab0d3282266d3f464371b8c19d22637bf03ee772	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	TlcEval	True	Passed	Model Under Test Equivalent Model
d92649d0d0663f10ff62344cacbb4e92d1839402	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	TlcEval	False	Passed	Model Under Test Equivalent Model
a87da96f565b34d5063c960d8c519981f8d58089	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagBagToSet	True	Passed	Model Under Test Equivalent Model
f08a0009dcf5d2a7ddf0b387c613d8b8bd976335	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagBagToSet	False	Passed	Model Under Test Equivalent Model
0573b94db4b9a97477261324539510d1f7a91e4e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagSetToBag	True	Passed	Model Under Test Equivalent Model
dfb7ce7f36de0ca5a37a410cce34264aaa3758ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagSetToBag	False	Passed	Model Under Test Equivalent Model
628a181181996e4b3c28c9b1dffd5fcb4cc9c34d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagBagIn	True	Passed	Model Under Test Equivalent Model
410e804f7a10c2d279b0ee5db6b3f428b6ef290d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagBagIn	False	Passed	Model Under Test Equivalent Model
7f4288d4e9c59b79f6057d8012707ded73923dba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
03d4f278095b1680160b6ff972e4ebb7689e620e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
425bfd3db19008bee8f5a7463f78e95f8c7de1c1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagAddBag	True	Passed	Model Under Test Equivalent Model
d3f1d981a5b9a7a80f259d4f30e17090811c6e10	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagAddBag	False	Passed	Model Under Test Equivalent Model
6b26ca1135c16e5ab54fee6a3eb25e002b3637af	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagBagSub	True	Passed	Model Under Test Equivalent Model
4d8974552c05d02f5a2bbca20061ee468c8b0ce5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagBagSub	False	Passed	Model Under Test Equivalent Model
ee93b1e7fe9e4514cff0c493b34da1fa103cdc98	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
500b24b282886fb462c2f1a7d1bae0a040b982bc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
0185fc8b483a2732e1c52096c475b0f3160786e0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
74578c114d5d9dc49c582dffa14be0a30df6d1dc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
110e34de1127ceb4b5378faa04481286d2eb20e1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagBagUnion	True	Passed	Model Under Test Equivalent Model
9cd1f26d47a4ae3ca3b2b72f908067d13c49f590	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagBagUnion	False	Passed	Model Under Test Equivalent Model
4ef7790016cfeeeb2a3d30a7a57721817905f5b6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
8e63e743642e1241b1a3ddfbcf205e93e29985cc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
83a699888ed77d7bb6f8d6542ef483422c3ca6bb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
cafa3e04c4fca7e7ce2398d0b6f0937922836404	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
84d87d040a8bf840bac943d4fbfd6abc72a1d451	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagSubBag	True	Passed	Model Under Test Equivalent Model
36d5c6da787822a296b37823a4028a2d73766a7e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	BagSubBag	False	Passed	Model Under Test Equivalent Model
31daeb165fe28dc089653723f165016dd763cdc7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
0c76c12b486ff00715f3757192a30225e8763780	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
7f567b90e6943405e27766207bf6898f175b176f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
b71cdad632dc993199f39f70cad2832322578378	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
8a86c2137824c988605ca7d0bf06750181b133fc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SeqHead	True	Passed	Model Under Test Equivalent Model
78fc3bde48f111ef5d5bd5904622686919f043e5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SeqHead	False	Passed	Model Under Test Equivalent Model
fcefb6652ba9bc628d61a79b0fad95559efee19f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SeqTail	True	Passed	Model Under Test Equivalent Model
31a67ffc4855c537a5c1627b64a6a4db10ebddd6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SeqTail	False	Passed	Model Under Test Equivalent Model
879de803d436aa9d22b796600f9db723ab3f572d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SeqAppend	True	Passed	Model Under Test Equivalent Model
a7bb625b81d3ef5cd5eaaf9d04514fe30acf0520	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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