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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
89de523fd9dc1bbef91daab74c15ff4b8c77898e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	OneLineComment	True	Passed	Model Under Test Equivalent Model
de9c26c6c3f61db44af0eff52ebf7d91470b930e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	OneLineComment	False	Passed	Model Under Test Equivalent Model
7f2e73098eb167f87107dea13991f627729686c3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	MultiLineComment	True	Passed	Model Under Test Equivalent Model
74d2574cf21219946ad5113c2b4c6eaf1308c89e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	MultiLineComment	False	Passed	Model Under Test Equivalent Model
296f047866e2a9b6b406429f96d6bb77237c3b05	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BoolTrue	True	Passed	Model Under Test Equivalent Model
31ae13bf7062949fa02f0f36695cc88f6b8b8dd4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BoolTrue	False	Passed	Model Under Test Equivalent Model
7797dbfb98b31b9b2e08b48d23429223041c7015	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BoolFalse	True	Passed	Model Under Test Equivalent Model
4a3ee64dea236339dc77ffaf942eba201839286d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BoolFalse	False	Passed	Model Under Test Equivalent Model
2b4035fcd3e927dd65139111cca865fbf0fdbd65	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BoolSet	True	Passed	Model Under Test Equivalent Model
f28953c9ea5be6567bd36ece1f351edd37c0880a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BoolSet	False	Passed	Model Under Test Equivalent Model
95da80223f8d5acc33bff11d2d779fb5a65e56b3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	And	True	Passed	Model Under Test Equivalent Model
f1d7cea2331da0abb40956b120e01e43fc9574cd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	And	False	Passed	Model Under Test Equivalent Model
28e1f8594ede9b23f291bda5d50837e5fd530e34	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	AndMultiLine	True	Passed	Model Under Test Equivalent Model
96c49598fed647b7a59768b196721c673a370a63	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	AndMultiLine	False	Passed	Model Under Test Equivalent Model
c2e853ad24a5dcaf5eb92c5d96ace9f683ac555b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Imply	True	Passed	Model Under Test Equivalent Model
d064a95677f6205cd686d51d125f26bbffbd640b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Imply	False	Passed	Model Under Test Equivalent Model
28a731547e5023f871524a5a48da1d2525741ba4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Not	True	Passed	Model Under Test Equivalent Model
f509ced52d3f8c77d094b36df69fb07233f6a545	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Not	False	Passed	Model Under Test Equivalent Model
e5ddf054525ec639913b92cce2a7e531792d6f83	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Or	True	Passed	Model Under Test Equivalent Model
e977ff34f33e1f6a22174ed3afe5ae45412cdec3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Or	False	Passed	Model Under Test Equivalent Model
b8156add4d4fd58bb463409f832c14e8bd427ffd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	OrMultiLine	True	Passed	Model Under Test Equivalent Model
9c4dc36514021c20586bcd9f2b45e582b9d162cb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	OrMultiLine	False	Passed	Model Under Test Equivalent Model
d5eeb14f9d30b672063389b45132c3156f198476	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Eq	True	Passed	Model Under Test Equivalent Model
b64a826ab75d592fc46fdf663f0afa3b0def6dec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Eq	False	Passed	Model Under Test Equivalent Model
f6def05f9c197353b5b1c15d8128bf2d75f9c70b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Ne	True	Passed	Model Under Test Equivalent Model
689b5a9b253d48918555778ed900e403d05c0d28	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Ne	False	Passed	Model Under Test Equivalent Model
723cb6723059b65087b07d560fd0b9e42d69f14e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Let	True	Passed	Model Under Test Equivalent Model
ccd4f18077c425cb3e42e51adfee4e59ddc0f0a4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Let	False	Passed	Model Under Test Equivalent Model
6ca05e6f823c641f3313215a54a6196f2252fbd1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SetEmpty	True	Passed	Model Under Test Equivalent Model
41ae1401874f34a06570cc14b449b0551db4baf2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SetEmpty	False	Passed	Model Under Test Equivalent Model
d23401649b872fb63539e6a67e7fc18ccf213057	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Set0	True	Passed	Model Under Test Equivalent Model
0dbe3a17836b0dad3abbb3e279f1eb13c246d545	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Set0	False	Passed	Model Under Test Equivalent Model
066bdc320253585d9a34300c13aa9c52ccbfa703	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Set1	True	Passed	Model Under Test Equivalent Model
b21953c4e1c26ff4f17a0e27bb1f9a3ca4c7e244	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Set1	False	Passed	Model Under Test Equivalent Model
497ad386f7ec38650c779b30bac32899a736ef46	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Set2	True	Passed	Model Under Test Equivalent Model
3b889a30f4cfbfe0de6327b3424c8275e5701799	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Set2	False	Passed	Model Under Test Equivalent Model
4825c1a03bcb4275eb001a629ac13035709912a5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Fun	True	Passed	Model Under Test Equivalent Model
7ffac172a8a679bdc54fd81344bdb1e90966fa36	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Fun	False	Passed	Model Under Test Equivalent Model
7c398e1850ff423f364cb7ffdd875bc5cd7440f6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	In	True	Passed	Model Under Test Equivalent Model
492cf87773e27e3569c953f94beb26cf2faf216f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	In	False	Passed	Model Under Test Equivalent Model
344a9128ff2e07ab8f60018671127b3a0a8a4c7d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NotIn	True	Passed	Model Under Test Equivalent Model
d11ca44357a82a6c0be4b1a5059af6643905f66a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NotIn	False	Passed	Model Under Test Equivalent Model
4cf76635ede78ee9a4451c6f4b14b3e25efa27a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Exists	True	Passed	Model Under Test Equivalent Model
5f9098882b881512b94cf775b5ee157d5379fa59	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Exists	False	Passed	Model Under Test Equivalent Model
8d19758c7e01e2d3d25e7bd61450e30aceb00c60	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Forall	True	Passed	Model Under Test Equivalent Model
16891b93f92643ecbb92e831cd82e839e8685ea6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Forall	False	Passed	Model Under Test Equivalent Model
c0ab36943a87352bb217924c91307bfd3436b3bb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Choose	True	Passed	Model Under Test Equivalent Model
9fd4e038cdc1591c5662fdeb04248b672356fc26	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Choose	False	Passed	Model Under Test Equivalent Model
f61b07315159d4a1c37b73a5e3f452ca6b34086a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Record	True	Passed	Model Under Test Equivalent Model
980fe74b8cdb95d08d4607cdde68ee90f33016fd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Record	False	Passed	Model Under Test Equivalent Model
6b10447242e6630d3788374a913c9bd22110e444	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Tuple	True	Passed	Model Under Test Equivalent Model
96fc0c0e62ea8330fb6c7843f1f21fc5c1cf894d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Tuple	False	Passed	Model Under Test Equivalent Model
8b67e680e35b2c24a6105f58aad56bfdb44fd22c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	TupleEmpty	True	Passed	Model Under Test Equivalent Model
5b2a095665b8b866608deece3b23a34e120da911	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	TupleEmpty	False	Passed	Model Under Test Equivalent Model
6c873e0fc28f4125927328927f4f3fef906a3088	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	FunApp	True	Passed	Model Under Test Equivalent Model
e06582ab3f1d217a6444c2786f6548ece20ffc23	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	FunApp	False	Passed	Model Under Test Equivalent Model
e76a0cc7f650ef71d755f83bc57113b6d5c6d732	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Prime	True	Passed	Model Under Test Equivalent Model
1d7ffa788be697043d8b78c26c174a3be8e10976	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Prime	False	Passed	Model Under Test Equivalent Model
12c9c3ac687b154f2227bf17ab55ff12aa28791f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumZero	True	Passed	Model Under Test Equivalent Model
7dbfcc6e465ac9b7cecf0ab9bc02e5bcbeefeacf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumZero	False	Passed	Model Under Test Equivalent Model
5b275aba5973cb070ebbef1c8859cf26814cb82e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumOne	True	Passed	Model Under Test Equivalent Model
d4a93226ce1112a2a084e970c4b9d78e6808c90e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumOne	False	Passed	Model Under Test Equivalent Model
09e60c3ba4d8b7bf5b391610b79ea74206b3290e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumMaxInt	True	Passed	Model Under Test Equivalent Model
d6835e67308e407c53ed6fbc7e88e2c67f3ef07a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumMaxInt	False	Passed	Model Under Test Equivalent Model
e60ce375899b0190af51c24682902f5366d2a57e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
4b4e42b43fc4d14f485c9ad4092fb7497d834fa2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
215392f904356e1143303b947fc56175ea6baa4f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumPlus	True	Passed	Model Under Test Equivalent Model
f5754655d7b68c8d1ea20e0f4342c53831757eb9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumPlus	False	Passed	Model Under Test Equivalent Model
5405e46e16309a413127d657438d03e53019c286	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumMinus	True	Passed	Model Under Test Equivalent Model
67490307ec0a23fa8ea866bccdf7793ccde2cbb1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumMinus	False	Passed	Model Under Test Equivalent Model
4e1a63a07766d4b66f32c85a564e9e06131b5b66	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumMul	True	Passed	Model Under Test Equivalent Model
cccbdafbaabdc5c40b47cbf47086a6c0c38bfde0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumMul	False	Passed	Model Under Test Equivalent Model
75df86a201871a796b3a83c16ef112546fb4b253	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumDiv	True	Passed	Model Under Test Equivalent Model
65a7950b927ba9d24d70bde6745cc3a72c03b7fc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumDiv	False	Passed	Model Under Test Equivalent Model
5a726d8e2944eefdd8cd027f1fa3d19b6292f113	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumMod	True	Passed	Model Under Test Equivalent Model
3243c5ac4bc8e827ada6ef5b1bd504b639834f36	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumMod	False	Passed	Model Under Test Equivalent Model
6da373b66cc298f6f6b5d3dfa6297b4e20f675c9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumPow	True	Passed	Model Under Test Equivalent Model
e815f686e611986deae6d15b998c6541cf566113	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumPow	False	Passed	Model Under Test Equivalent Model
a17498f93c1fad869c83920a203b2d03400f2bc1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumGt	True	Passed	Model Under Test Equivalent Model
c51e1cffad4ef8ec6419915f4ce7b139eaf957f1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumGt	False	Passed	Model Under Test Equivalent Model
9309744aa27bccd18555dff168c60c44844db5a7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumGe	True	Passed	Model Under Test Equivalent Model
6fe1dd88d4d11df0badd59286d163eff0f6ce9a0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumGe	False	Passed	Model Under Test Equivalent Model
188c5bd14d4126eaff994faee53cc9680aba674d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumLt	True	Passed	Model Under Test Equivalent Model
44f0a016e7e23d3569f19e09d3ea37ed518fa5a3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumLt	False	Passed	Model Under Test Equivalent Model
36e0bc5da8280858c69d875f920fe11743935951	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumLe	True	Passed	Model Under Test Equivalent Model
0da7b7250be9fc42c037884d21239017bded06df	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumLe	False	Passed	Model Under Test Equivalent Model
45b6d5bd7e765361fde2e96f3f9ecd669763280a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	DefFun	True	Passed	Model Under Test Equivalent Model
add96a101582b2f08ff4f84f8d19a8a52179287b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	DefFun	False	Passed	Model Under Test Equivalent Model
bf95133a74181b6b7233f76031f74405c62f3e1e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	LetDefFun	True	Passed	Model Under Test Equivalent Model
20ed57c48d0b6fc52104b87d539334856b633dd9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	LetDefFun	False	Passed	Model Under Test Equivalent Model
205db134960f2a7361fb149fb31ed19724c68780	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
61ceeaf0815b8e070adfd000ade44d0609b6ec16	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
6d268d7f660b2908567dbbb47a84976f1bf355a3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
35dedf31490b474f71882d95bba4e2040612c7e1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
8cfdbc8c6912fc9a81e7323a1f1cd4a65e8f2c5a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Def0	True	Passed	Model Under Test Equivalent Model
1695ecd4306998002b069cdd343491d9302902a4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Def0	False	Passed	Model Under Test Equivalent Model
2a92576872578333f0ef65c1bf23a1fc82216799	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	LetDef0	True	Passed	Model Under Test Equivalent Model
0a0cef832567b57f50ea42da2004ac68dc3004eb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	LetDef0	False	Passed	Model Under Test Equivalent Model
f1bfbe96ee0c3e7dcd3387fb39f593713006d139	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Def1	True	Passed	Model Under Test Equivalent Model
ae69b039fd8bd0298218e383179525afda6c5877	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Def1	False	Passed	Model Under Test Equivalent Model
bd6a2c922ca4ad12fed0e1b713fa8e6b47de13aa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	LetDef1	True	Passed	Model Under Test Equivalent Model
1c1e42238724ae48074364c15b99e1961e4ad60f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	LetDef1	False	Passed	Model Under Test Equivalent Model
45a6524700d3a344a653f5db927e1fe58626ef4d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Def2	True	Passed	Model Under Test Equivalent Model
068c75ac595daeed096664bb97cf4fc99060b610	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Def2	False	Passed	Model Under Test Equivalent Model
0a5ec93a8fad4899544809ba1edcc2f4deee609e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	LetDef2	True	Passed	Model Under Test Equivalent Model
956647b8a5bab53745b74f368f33db9b01b2cea7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	LetDef2	False	Passed	Model Under Test Equivalent Model
ee47b8e8f51913e5be134b3305025c2e5d9774e9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Def1Recursive	True	Passed	Model Under Test Equivalent Model
131acc64e80597bc20b5ead3046babde2457a4f4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Def1Recursive	False	Passed	Model Under Test Equivalent Model
258e85b22a5ee53daba715baf7a919b858c0f278	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
a798b3a46130f78918be8040dfe5810519e11005	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
2b03ebfdc45978b9833a071c8daa22a10e44a1cd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Extends	True	Passed	Model Under Test Equivalent Model
3c1f3b45395378cd85352a5791473fb5ca42156d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Extends	False	Passed	Model Under Test Equivalent Model
1633883727cf11d287efbd46a92a87d0b255582a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
0a7002d24c97a347d5b7a0602e786fd232eaa936	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
8d3804eac95a9e9702bee6a7d0fa5d63fe0796a4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Variable	True	Passed	Model Under Test Equivalent Model
d6c159c1843b007767c09b1dceec68ff299002c7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Variable	False	Passed	Model Under Test Equivalent Model
aeea194188f939191b637c99d69cfcaea1a07850	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Constant	True	Passed	Model Under Test Equivalent Model
2a3af6f30e703c6b6d1e659a332481141df5b489	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Constant	False	Passed	Model Under Test Equivalent Model
1f8f517eeb5c4d27ac0b0af9dbba0189af7f95c0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
f2b2b90683a30bc67db5e4cde861549b41030070	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
f4bf8585f2f975d4e1fec37321a85f7d0278535c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	ConstantRank1	True	Passed	Model Under Test Equivalent Model
db52123fd74cb750abee05d73ada6a6047ff4d4d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	ConstantRank1	False	Passed	Model Under Test Equivalent Model
26489b4f2b79edacdfd5f17ba87e80c3a50daf40	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Instance	True	Passed	Model Under Test Equivalent Model
215963381adcbca6e2a92b53afbf1d550f9e6cb0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Instance	False	Passed	Model Under Test Equivalent Model
e89208f7011836010c10481904a69b5b3fe365b2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	InstanceWith	True	Passed	Model Under Test Equivalent Model
332882c006c41699c18d3ff18f2046e0818a19ef	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	InstanceWith	False	Passed	Model Under Test Equivalent Model
a83cf4afea68ffb2d086dcba985b34a91b88f061	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	InstanceNamed	True	Passed	Model Under Test Equivalent Model
c9e472efadf2a55bc9b8b2c58ea200e2afb68a25	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	InstanceNamed	False	Passed	Model Under Test Equivalent Model
c7dde245b09f22bae82593e41aa74694b2ca33b5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
25d6e38f67d83b7d815bba66c41d817da82391ee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
34a5a672abb5909e580d5766a973afa06f55b998	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
2e20614fd2f934adedafd2280113bc6f91d6385b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
ef89675f299ca195d37bbf176416018c4efd4cb4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
1ada001c981b1b9393f5df91d8c86fcd5954ad59	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
574b222fd7a0685239ebdc2336505f79930841b6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
093ae8a09d0915bafdda126a0a3a625abe1e6fae	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
5a4e5a9bcf68fdaf31a93ba31d0ad1706f648267	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
33f7063c282fa6318992b3db3c3857ed0f8cbcaa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
ee322efbb5f421a023035e79cbd4b175a48f921d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Enabled	True	Passed	Model Under Test Equivalent Model
df7d1411ff238d7748f1f94f4cecf0e3008b233a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Enabled	False	Passed	Model Under Test Equivalent Model
0c1c644ddad7f9a622cdad504a47b52ec90e02f1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Cross2	True	Passed	Model Under Test Equivalent Model
94c1453b160ca2a8d4d397054d4c3d24ee011a10	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Cross2	False	Passed	Model Under Test Equivalent Model
40a3e2c6518b7254a5b89322cb6d607499d4d5c1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Cross3	True	Passed	Model Under Test Equivalent Model
b231ca2984fdcfdce583d002c3bb0338d5a08a35	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Cross3	False	Passed	Model Under Test Equivalent Model
a1c36e431e035023375f4bcf2f61ea4cbda796d6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	FunSet	True	Passed	Model Under Test Equivalent Model
cdba62646eeb00e820340ebe69f30d94a8d97dd4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	FunSet	False	Passed	Model Under Test Equivalent Model
11d8568f8482380ea292771954f8102d825fc74f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	RecordSet	True	Passed	Model Under Test Equivalent Model
65956862fb4a4ce9c2cde2dc38bd7eb8d6c99535	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	RecordSet	False	Passed	Model Under Test Equivalent Model
d153e06221d52529ed20630a998e15c19abcf0d7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SetDiff	True	Passed	Model Under Test Equivalent Model
d8a751a8e6a9feb74e317555448d8d3e83b3f098	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SetDiff	False	Passed	Model Under Test Equivalent Model
95dca9d65840f9cd6fb881c3495986f5436aad2d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SetUnion	True	Passed	Model Under Test Equivalent Model
05cd4ef27a3891341808e504f9e95b8451647b54	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SetUnion	False	Passed	Model Under Test Equivalent Model
7179b9a49117672ef546cc6e2b354c9240789ddb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SetIntersect	True	Passed	Model Under Test Equivalent Model
f79e2f3150f297522be4abd0a67ccf62e9f197d5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SetIntersect	False	Passed	Model Under Test Equivalent Model
2487b310b36d95cf6807df1ace19f5e2c75f876a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SubsetEq	True	Passed	Model Under Test Equivalent Model
212b76d67e72a7f6495f9d7ac88c5129dfd24f28	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SubsetEq	False	Passed	Model Under Test Equivalent Model
4074c50e4b7731558cdd37eb654779e2cdad65e5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	IfCond	True	Passed	Model Under Test Equivalent Model
0b052e2c712e0e86cc8d2a8771aeb11fd2e8bc56	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	IfCond	False	Passed	Model Under Test Equivalent Model
7a44a1e9ab621ddeed214e61981127a0f3c4364f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	IfThen	True	Passed	Model Under Test Equivalent Model
682626fe3743e6308701f1d2bf8949c715a8c5ae	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	IfThen	False	Passed	Model Under Test Equivalent Model
9063eb0c8415ef4d4f6130d578a59bad2f049d4a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	IfElse	True	Passed	Model Under Test Equivalent Model
b76c51ededc2d0ea218e9ddc3093ec30ec8e7c04	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	IfElse	False	Passed	Model Under Test Equivalent Model
2095cfa4ded1537bf80ddab61c95b2474accf6e5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Subset	True	Passed	Model Under Test Equivalent Model
a264fecd3daf32ef41a298ed8e8af6a3ddea6588	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Subset	False	Passed	Model Under Test Equivalent Model
7cb1baaf36111e615b2c6ecf5c905bf67caae4fa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Domain	True	Passed	Model Under Test Equivalent Model
224769a6ce40f845afbdd333a53601b0d5dcda30	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Domain	False	Passed	Model Under Test Equivalent Model
17b4fedd3dc37c57bf8108c5db91e5184d404d19	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Union	True	Passed	Model Under Test Equivalent Model
f07174fcbf396528698f93bc40f66459adf88f82	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Union	False	Passed	Model Under Test Equivalent Model
8cbd8d54071fd28560ee01e535bc010fcb1ed810	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Unchanged	True	Passed	Model Under Test Equivalent Model
be6ad0da731ea6a7b3e1ddbe08d7f7f884d1baa3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Unchanged	False	Passed	Model Under Test Equivalent Model
67387119fa78fe0aab2b68715b5318875cdd323b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Equivalence	True	Passed	Model Under Test Equivalent Model
7afb864f3e7d4a1f85cd73b216fd525fbe2142c4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Equivalence	False	Passed	Model Under Test Equivalent Model
671ebdb8dc71f6c76551800967d1f05254817e50	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	StringEmpty	True	Passed	Model Under Test Equivalent Model
9c5ddad41ea875feb246ae1172a50d1eda96b8e5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	StringEmpty	False	Passed	Model Under Test Equivalent Model
06c396eeb8b2b12af6c16fdeea778b6119e184e2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	String	True	Passed	Model Under Test Equivalent Model
125e74d7deb6db1df37a110dfd94d888a168b3be	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	String	False	Passed	Model Under Test Equivalent Model
b4e0ebb01ed0c2c40a0e0b7138e91db8fbec5e70	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SeqLen	True	Passed	Model Under Test Equivalent Model
5a65e2213750dcb0a40944a8060d049269a3ac31	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SeqLen	False	Passed	Model Under Test Equivalent Model
9f4c5a1661f30766906256d4c2aeda821023eac2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SeqConcat	True	Passed	Model Under Test Equivalent Model
2fb6da93bf996a8c2593d0eecac25fcce65e841d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SeqConcat	False	Passed	Model Under Test Equivalent Model
1b67d35b2466ceb61bf5dd80072b57a1b66486d5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
9133cca47fe4cf8cfa6093aa12b99afb08e3b868	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
7aa8beddf2b145e547ef52593dc6d54e4980db99	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
cb891d1c8a53e30454b9e7351caf7c450d635bd8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
5425c2756d0116f7f63501a3d0392d46f4348d8d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumRange	True	Passed	Model Under Test Equivalent Model
57f3d8564c9f7942bd8d67e61fe925f7ff36fea5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	NumRange	False	Passed	Model Under Test Equivalent Model
091f8d55c78a77ebd901f04a6b3f7dae87afa57e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
7e55039f5ae807db5e157e573dd4d6e85a6c9bf3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
c39c6b65465c6e52737ce930c8993fc6680eda8a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
ab6cd1c2b459c927d8b628c07b6217244b06a5b3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
b476317ca7ae4d2148fb024b85e41a524443cd6b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
4f4d5bd23a408e7757dd26774ba845bcf45d437e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
207f74155517903fcbb52e7de9811f741a229d8f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
8229b7f3d99a52b5902a7e34ef1bae5e2ad0cfb2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
f023a304e05b9efe7cfb10637176c957bf175f78	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	TlcEval	True	Passed	Model Under Test Equivalent Model
16d643f7e8a8c82bd1aa5c63b626ec5b1f3f237e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	TlcEval	False	Passed	Model Under Test Equivalent Model
a745591b2057cccdc6cd86926a8a2d491a589caf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagBagToSet	True	Passed	Model Under Test Equivalent Model
449412c774f083199ce9c5636ca372bf3ed4dbbb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagBagToSet	False	Passed	Model Under Test Equivalent Model
160b79dd77b620fb3e7bb56e7ae827ad0832b750	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagSetToBag	True	Passed	Model Under Test Equivalent Model
6765af68ee6bfb23a0c260736fff74eeb73c0aad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagSetToBag	False	Passed	Model Under Test Equivalent Model
4e6b97c17329dc0381ab13b68fbe2d9f945cc4c3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagBagIn	True	Passed	Model Under Test Equivalent Model
b097adf35ee709e8f71885d628294cd88329af21	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagBagIn	False	Passed	Model Under Test Equivalent Model
648d69a7de484159dfb8e7a8fc7a6f51868a1b9e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
852f4c55310cd3842aea2a194e839767628500ac	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
b76faa2f08d7f303bc5f06c168315b81c6e4da7a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagAddBag	True	Passed	Model Under Test Equivalent Model
91369b1237b0c77f8a876699410c1f94f0939356	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagAddBag	False	Passed	Model Under Test Equivalent Model
a0ed1a0145c402ce23917f8e860a21c55a25fd88	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagBagSub	True	Passed	Model Under Test Equivalent Model
00008ceadffc0a4fef6df6da1820c540b51c137a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagBagSub	False	Passed	Model Under Test Equivalent Model
90aa462a5d39903afc811e985d40611b51549f9e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
2d5a7db4a7b02c68d101b4e595d7c0616d34983a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
cde745a0ccfdc95471828938e957a3284b316371	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
40f110d47db013192e7be54c7e181477ed2196ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
cfa0a2872920e1f51ae2a3ee652e1a6a4bd05f15	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagBagUnion	True	Passed	Model Under Test Equivalent Model
84f8c72f91265d05d2c6dc94bf068a0db26a66d1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagBagUnion	False	Passed	Model Under Test Equivalent Model
7f852359c559d3045d944c54c64fe62e3b522286	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
382788413b0be19b04eab8cb534df08f35f15795	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
bf848b16783897081b21285335fad29578b59c1a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
c4fe4e9b3b60b4880bf15f66bb09b0302ca3a7bf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
72c829bc362f78f935623b97d6f794445e00e506	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagSubBag	True	Passed	Model Under Test Equivalent Model
06cac0b39e4544536019132d19bb6082df5b4064	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	BagSubBag	False	Passed	Model Under Test Equivalent Model
6cf19458bb96ff42d291d4038c261861448c068f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
bb234c6f4f235d8ab65b141574c74701cac8ca6e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
a1fa9f4b64f22e221316a153580c3d25c53c60d3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
c1282d9cb7fa18e77d674d74358c9fb453553629	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
b8596cd47eeda6f1f3a52d4abf49317e304e3626	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SeqHead	True	Passed	Model Under Test Equivalent Model
9d78ac31b0fbd775505aead12ccb242f848d179b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SeqHead	False	Passed	Model Under Test Equivalent Model
8a5afdae508bca78b975db606db24f479bef6df1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SeqTail	True	Passed	Model Under Test Equivalent Model
9834ec04d6cc7b228d19aa99fdb98e36925b203d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SeqTail	False	Passed	Model Under Test Equivalent Model
9ac612fdf2b3c5c7a3be2525e5fb639df4a2e7af	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SeqAppend	True	Passed	Model Under Test Equivalent Model
60800b615591e9d8354cfe8190cd970c86adadb8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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