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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
fd038454136e78b46b2acaafc25bb8b4d408d692	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	OneLineComment	True	Passed	Model Under Test Equivalent Model
d696df2ea4b89e3323176bba430b96a5fa5748d9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	OneLineComment	False	Passed	Model Under Test Equivalent Model
834d712b5ad8fcf52fc1f8d77b9f64faa3664cb2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	MultiLineComment	True	Passed	Model Under Test Equivalent Model
bd87a2518bbe89262236173ce25087594ee6adae	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	MultiLineComment	False	Passed	Model Under Test Equivalent Model
e4a8d29fefb91811d138ddd29fc2b265b01248f5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BoolTrue	True	Passed	Model Under Test Equivalent Model
1f957e539dad77d732f6f21845cfc917cf8cde86	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BoolTrue	False	Passed	Model Under Test Equivalent Model
85ab8ccc372e72f41be78aed222d0dba749f07d8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BoolFalse	True	Passed	Model Under Test Equivalent Model
0e7a632f470caed429f575ccaf35995eaf5bc02c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BoolFalse	False	Passed	Model Under Test Equivalent Model
984200a2885a37112541cb15b213f3b79e819fd9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BoolSet	True	Passed	Model Under Test Equivalent Model
b438d64dd2f77d0f33769d7ce6a790c5b98e7981	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BoolSet	False	Passed	Model Under Test Equivalent Model
d07d3d8845088a4751203da3f782001193ee9cf0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	And	True	Passed	Model Under Test Equivalent Model
1dbe7622b7ab2a3b3c20fb4bb740c3e6834ab21b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	And	False	Passed	Model Under Test Equivalent Model
963a1479a58d13d7706250565edf24b9e7bb0093	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	AndMultiLine	True	Passed	Model Under Test Equivalent Model
1bd6b07e0900bd5020b272b9e3b7ec23d57249b5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	AndMultiLine	False	Passed	Model Under Test Equivalent Model
0c5b2173d1bacf773d9d600e3b027abc95d266ce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Imply	True	Passed	Model Under Test Equivalent Model
db59b8a25959abd9f4c9b5cf5427f53201c9dba4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Imply	False	Passed	Model Under Test Equivalent Model
3340743fd9c21b628f5a1d7d4fe695c994386cff	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Not	True	Passed	Model Under Test Equivalent Model
6bb76b41f46ccb14f5625f8140b1d7d41d81bf90	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Not	False	Passed	Model Under Test Equivalent Model
98f4822044b51a8b3424aa5f22ea6da3ed04b06d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Or	True	Passed	Model Under Test Equivalent Model
71f7430de2cccf8cb039ada9be3d5f46228a0a76	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Or	False	Passed	Model Under Test Equivalent Model
963eb3d4e19650a9bdd9d0803bf4bf28d38d4411	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	OrMultiLine	True	Passed	Model Under Test Equivalent Model
390f69f9f2db040a31bfe9993c1040b59c16b2dc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	OrMultiLine	False	Passed	Model Under Test Equivalent Model
8948aa1d217054cdedac862d67d71a45be93038c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Eq	True	Passed	Model Under Test Equivalent Model
e8f2f3e510be72e23000483e46182c5627ae09d5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Eq	False	Passed	Model Under Test Equivalent Model
8823c32b26087e0c78070acc40f5b1f7d4b8a56f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Ne	True	Passed	Model Under Test Equivalent Model
01866521725c8e498d91af49984eec6a770c7a6a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Ne	False	Passed	Model Under Test Equivalent Model
2ab6d9361c28155b53bf7c3878abaeb4048f1a08	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Let	True	Passed	Model Under Test Equivalent Model
41a7b0668efef357e3f6c17522cf3d62a7ee091c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Let	False	Passed	Model Under Test Equivalent Model
6c50e2f1aab1d62b771c556366304fb9eaf95beb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SetEmpty	True	Passed	Model Under Test Equivalent Model
88c1ea580c2e89e52ee4cf726ffbb45bef94892f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SetEmpty	False	Passed	Model Under Test Equivalent Model
18459ef12fbcb88da66bc5684fb86cfcd5c316ea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Set0	True	Passed	Model Under Test Equivalent Model
94843bc7f69d554301696028debe76b5bd39e723	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Set0	False	Passed	Model Under Test Equivalent Model
9d5f03e694356785d96de7c910ce802cc2f4307b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Set1	True	Passed	Model Under Test Equivalent Model
58b94e11ee1c49ee1493100f3495ca406581e30b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Set1	False	Passed	Model Under Test Equivalent Model
a29154b6a9b53ad35c595bab397639c25bb2d70e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Set2	True	Passed	Model Under Test Equivalent Model
8020eefa522cdd31b31296b5c1fa2aa9a26b43ce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Set2	False	Passed	Model Under Test Equivalent Model
048a9b18030a23e665f57cb3e5d02e3cbbf3382c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Fun	True	Passed	Model Under Test Equivalent Model
cb4601c94a763db515131b8c6c4ec9f97ab93f95	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Fun	False	Passed	Model Under Test Equivalent Model
8ca09edcdd2813e273f32c3f68e59a27ba11dfdb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	In	True	Passed	Model Under Test Equivalent Model
99750aa2431fae0a12b385ff4799d39d8d935c47	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	In	False	Passed	Model Under Test Equivalent Model
0a3695da2c634e580d5274a66760ca65670a96ea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NotIn	True	Passed	Model Under Test Equivalent Model
8a3af8aa8bb0c5e0b0cfb85f6ae56a6ccb67b07a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NotIn	False	Passed	Model Under Test Equivalent Model
e17186faba34463ced21b67194e7669dd3412a17	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Exists	True	Passed	Model Under Test Equivalent Model
1b3d34c27a806f3c6b7978495fa924f7008cfd6c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Exists	False	Passed	Model Under Test Equivalent Model
d73510c2842dd50c87c8fa2bb8d27525f04f7d52	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Forall	True	Passed	Model Under Test Equivalent Model
31e5a1901380e2e0399e5718bc3c6a8be964df11	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Forall	False	Passed	Model Under Test Equivalent Model
57c138dd91923477be3a37fab8dd0706b803b8e7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Choose	True	Passed	Model Under Test Equivalent Model
bf3f2ce99229640d4d5c24ceb8f5da34aefc4962	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Choose	False	Passed	Model Under Test Equivalent Model
6a807dce346aa9206a17966a89a61a1549258300	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Record	True	Passed	Model Under Test Equivalent Model
aa1d3fd8d6580cd5fdff4f17e6549448619e3798	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Record	False	Passed	Model Under Test Equivalent Model
e83a5afa9636f37ffc9c30b795cedecf0e8a3a36	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Tuple	True	Passed	Model Under Test Equivalent Model
b442c86552f83b78a2a69275f35b47863a3ff22e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Tuple	False	Passed	Model Under Test Equivalent Model
5cc9db3703d4d27e57448142dc341273b812111b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	TupleEmpty	True	Passed	Model Under Test Equivalent Model
f9968e18b0943f7884317b1ad903017543eccf22	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	TupleEmpty	False	Passed	Model Under Test Equivalent Model
a89f98174777590d1ce0f912ede84e7a89ed1401	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	FunApp	True	Passed	Model Under Test Equivalent Model
81ed6a2a3b0b1708effaafff779fcb92c57e6ec6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	FunApp	False	Passed	Model Under Test Equivalent Model
cd4709d836e67d5dc44f3d229a5ae9ae266b5ccd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Prime	True	Passed	Model Under Test Equivalent Model
5b9c7d58a040e03df7c5f9fd7b0c2662f3eef55a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Prime	False	Passed	Model Under Test Equivalent Model
40a03ae2afc01b35bd1ecc3644c15c776a955b78	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumZero	True	Passed	Model Under Test Equivalent Model
3cfd038b388e9c80edf5b8e59be5fd640ac713a4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumZero	False	Passed	Model Under Test Equivalent Model
5b12a962707c2ad2b92612e4c8cf0a4064b5e384	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumOne	True	Passed	Model Under Test Equivalent Model
8b98df1dc287e53710fe8a0f012dcfa5db310d69	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumOne	False	Passed	Model Under Test Equivalent Model
2ce08edc63878b931e7ca7e64917ec60a8e7848d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumMaxInt	True	Passed	Model Under Test Equivalent Model
cb1b63769ec16c67e22f805356a1ee8bf39825f2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumMaxInt	False	Passed	Model Under Test Equivalent Model
7bc697c0f7ed2cce6a8d99646a8d699f8348c121	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
58a3022fde5892fa6d8d698d6fd0e64fbf41232f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
b2ffc0332707fe5b46ec70abe7a4ff7bb106fd8d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumPlus	True	Passed	Model Under Test Equivalent Model
150ce6574f7ccf90d4f48d6dd92f3a4679a952d5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumPlus	False	Passed	Model Under Test Equivalent Model
47b3f24a6c6e5a63903bdfc09998f9d89535b173	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumMinus	True	Passed	Model Under Test Equivalent Model
86acc5ac86b63df56ed678ee832df0d05edafb1f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumMinus	False	Passed	Model Under Test Equivalent Model
dd0f8801fea83c03d912463f9f6e7e190165e0ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumMul	True	Passed	Model Under Test Equivalent Model
ac41e2b25b76a132fc114abb050a250a29857779	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumMul	False	Passed	Model Under Test Equivalent Model
7bdce78538799648fde79afc2db21e50e9cecee0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumDiv	True	Passed	Model Under Test Equivalent Model
c4e847572b4c9ea51e9db18c72fc0205f4a7515d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumDiv	False	Passed	Model Under Test Equivalent Model
d370ba3fe6245a003e9b64fd8c03a4cb1cf37dd6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumMod	True	Passed	Model Under Test Equivalent Model
59db0ba3bee711ca2df0fdb3bb32b676ac5b1643	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumMod	False	Passed	Model Under Test Equivalent Model
e9991288175875c3e7acb996c71699a46a417f52	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumPow	True	Passed	Model Under Test Equivalent Model
f6e174eb7c2b35a68b60aa72cde99175c75022aa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumPow	False	Passed	Model Under Test Equivalent Model
59ed318545db107f63e91b826284696eaf11879f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumGt	True	Passed	Model Under Test Equivalent Model
64207f62eba73b20f9e6fd94d0dce5ba6303659b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumGt	False	Passed	Model Under Test Equivalent Model
0a1a52fd85979a93c4fc37e50681b58704b40af5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumGe	True	Passed	Model Under Test Equivalent Model
30b7d11082f2f4e1fbe0876dd7ae00461a9b7e30	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumGe	False	Passed	Model Under Test Equivalent Model
3a66bde95bea8fc00d74e149e53e525c6fbe0c23	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumLt	True	Passed	Model Under Test Equivalent Model
0e65f0b324b590b925e9ba3c09c3a8527268bc64	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumLt	False	Passed	Model Under Test Equivalent Model
0df8218b9c053806b55193e7adf962ded2f70608	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumLe	True	Passed	Model Under Test Equivalent Model
9987c400ca17cc6d6ee2c22694887184bd92c6bf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumLe	False	Passed	Model Under Test Equivalent Model
ac95bd8b5cec114830b5c35090f3add5ee83917a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	DefFun	True	Passed	Model Under Test Equivalent Model
e3b18482e8fd653b8f42c13d2a5d6459e364d526	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	DefFun	False	Passed	Model Under Test Equivalent Model
91d7283fb0c5f9532389ef30fa6eff7b5760c23e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	LetDefFun	True	Passed	Model Under Test Equivalent Model
641a34d7cef95c3d7ea9155f323c1630c2586203	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	LetDefFun	False	Passed	Model Under Test Equivalent Model
73a43b7245618f8fe454a275c11eafb40f98efe4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
76ad3044a20d94e4a4622eabee3dc8dbdf1259bd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
5e8fda1b201ce729264c4baa5d5f45496f541a8a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
fe161f60366328758383fc814d6a437860c888c5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
e5b17718ae2f6b8b0c6e4d969cae9366e3c84b64	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Def0	True	Passed	Model Under Test Equivalent Model
5da5cf0e693b28e3ce6884ae829567e0e9255615	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Def0	False	Passed	Model Under Test Equivalent Model
2023906a6fa1e9918b4d24296d98af2b432bd6c6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	LetDef0	True	Passed	Model Under Test Equivalent Model
682e99ca7f58433a77071d61f8b9ad7408850da6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	LetDef0	False	Passed	Model Under Test Equivalent Model
bb27cbdec2604155da73bbd6e39597e92eb725e1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Def1	True	Passed	Model Under Test Equivalent Model
c67e5cfb615e1e71057a6ede3d555ee3d6ebfed7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Def1	False	Passed	Model Under Test Equivalent Model
06a2035f027ec54a6fbfe006f958a013d8f4ad9a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	LetDef1	True	Passed	Model Under Test Equivalent Model
4907a9b24cdd5ba35dcb86cd89c2ea8fcc678fa8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	LetDef1	False	Passed	Model Under Test Equivalent Model
69156ee8bb921d2f4253c710a83e62e830842132	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Def2	True	Passed	Model Under Test Equivalent Model
52a0cbc23b17adbf85374afd44191b8065459941	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Def2	False	Passed	Model Under Test Equivalent Model
abb66bbd018def84fc41d5033f3fd4a549ff4d77	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	LetDef2	True	Passed	Model Under Test Equivalent Model
f993de5eb2c2dc3177aa0e7886f86221345e696f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	LetDef2	False	Passed	Model Under Test Equivalent Model
aae70c20dd38f3deb6c7ba72c73d1e8ecaba0c96	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Def1Recursive	True	Passed	Model Under Test Equivalent Model
be795baa1775e858ba0d7cc23791080fa4e05aa3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Def1Recursive	False	Passed	Model Under Test Equivalent Model
776cf3eaec46b074f7b02410b2a3da1f48b9aa34	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
42d5d4373c80134dbbfb61589136e07907f8aa6b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
1772a94fa3cf70424ecbec824c029ba86019ec8f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Extends	True	Passed	Model Under Test Equivalent Model
8dc71dd1258c89fd5668fcee348c3fd429bbb574	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Extends	False	Passed	Model Under Test Equivalent Model
f8ec9c48b174c04b1240b34a12fcda39afde987f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
5c47d0cba48d9b9b3eed7c6181f48445d25e6d56	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
f629e3b1ef7470f8bc4e0c0f400d5ebd61ba0ff9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Variable	True	Passed	Model Under Test Equivalent Model
8f6ec0966e010579bead11b71d0cad11eee83763	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Variable	False	Passed	Model Under Test Equivalent Model
faea3b24a1c7aaa87fa0a27534e2525781789c2d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Constant	True	Passed	Model Under Test Equivalent Model
2427496c51c7a98d6c6b5004de3eaf5725c8cee1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Constant	False	Passed	Model Under Test Equivalent Model
7f2ba19251b0e159f38b58fc7e4ce5f8965940f1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	ConstantRank1	True	Passed	Model Under Test Equivalent Model
46183d2d6f00942ef1f7d07dad3e6f356377e8e0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	ConstantRank1	False	Passed	Model Under Test Equivalent Model
67893e85a7784c5ee96d4e28377171c441fc726c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Instance	True	Passed	Model Under Test Equivalent Model
a145bd38256378e259bc08bc27618caf9e115981	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Instance	False	Passed	Model Under Test Equivalent Model
51fce6e2e49f238f125ba7da4a2edbacf09d9660	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	InstanceWith	True	Passed	Model Under Test Equivalent Model
ef3735ec27f95583c99db0f983d7cbed9b5f50b7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	InstanceWith	False	Passed	Model Under Test Equivalent Model
e85fa5f806770e12cc3f1f1a96398fbb97dcb148	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	InstanceNamed	True	Passed	Model Under Test Equivalent Model
3fa6911635c66fc4a5b4c6221f14031f3716b210	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	InstanceNamed	False	Passed	Model Under Test Equivalent Model
8cabf60f1538306b71f47fccb47627e48bc38d41	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
fcb3b848b26769541ef290cd19a26469b3f386aa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
a06d21ccbb638c27bece2ddd424d7befc28e5cb9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
8a280b4710d37ed1dafb037efdff5ba7d0c45747	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
0d22800084c8d01a4f26934fcd3c7f9d495b6b81	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
086a4d3f1708813ced679eb6993b3c09dd2c1902	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
093be77a1844843064e2f78f272ab087e2e4d558	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
fc79bf7f6371a861466b3fe38e0a1ab7628cf58e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
5328704ae145c9caab5aae4f4cd9538af44d2048	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
ed2bfc7ddcd4e2a92a54caeeb5ebf45a33bee420	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
6c6246d450241edb7ca0a429334067f4633f7369	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Enabled	True	Passed	Model Under Test Equivalent Model
c9016b6f6019642fd308096fcc9518fac48b27cd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Enabled	False	Passed	Model Under Test Equivalent Model
3cd47c9f3c7a899caf54f6a909c2c4cee87014c7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Cross2	True	Passed	Model Under Test Equivalent Model
bc5f86c66454a2573f53ba0b6a4edd8a0bf1d0d4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Cross2	False	Passed	Model Under Test Equivalent Model
172bd4453ee0bb9aa1f120c0e0be4dc3694910e9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Cross3	True	Passed	Model Under Test Equivalent Model
6874f44c30e0953a12390c198ff4fce2662779de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Cross3	False	Passed	Model Under Test Equivalent Model
5e129d240e396988f7e8a21b298242bfb69d7df7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	FunSet	True	Passed	Model Under Test Equivalent Model
216b94a11066c795d294335e45dc2b3edbca14b9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	FunSet	False	Passed	Model Under Test Equivalent Model
f0028e1f845963d980d4d3169d76a17ffc04f4a8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	RecordSet	True	Passed	Model Under Test Equivalent Model
452fa11f4b9dc45b74c6b97b4a6f5cd253fade2e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	RecordSet	False	Passed	Model Under Test Equivalent Model
cac41625b537065572548b8f3d8d8932037996e4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SetDiff	True	Passed	Model Under Test Equivalent Model
b11b5a8a3ba06b2bfdc63bb76a936c9d287070a2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SetDiff	False	Passed	Model Under Test Equivalent Model
e6498e38a6eefae19eb91d0ae8b64211ed916b6d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SetUnion	True	Passed	Model Under Test Equivalent Model
aaac966b4283c1c60a2dff801f446c197205cfc4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SetUnion	False	Passed	Model Under Test Equivalent Model
a66e1555a03880dd08b12211dfaf60318c9eb162	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SetIntersect	True	Passed	Model Under Test Equivalent Model
36f8f28592517da5712a061dde1bf88bf152795d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SetIntersect	False	Passed	Model Under Test Equivalent Model
d9a2c0357744ed4d1f6e56e5db2e906f7a8a11e1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SubsetEq	True	Passed	Model Under Test Equivalent Model
934a905770f159177f8dbba5025bf03de638a92e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SubsetEq	False	Passed	Model Under Test Equivalent Model
41778332be4cd84831bd0067a0951126796bc9ed	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	IfCond	True	Passed	Model Under Test Equivalent Model
1b7774911af0516ca1cfa64c43dcae36cb4e9880	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	IfCond	False	Passed	Model Under Test Equivalent Model
c09e563dcc49a17200f04f7e813ab1cbc302a9b0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	IfThen	True	Passed	Model Under Test Equivalent Model
bee97d7f67210d1e6b0a90be2b60d97dbc73b33b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	IfThen	False	Passed	Model Under Test Equivalent Model
41d94c10fe0d3a5ca3b04f027e51af6065cbcdea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	IfElse	True	Passed	Model Under Test Equivalent Model
6cb1011788663bb64da2b82a970b505f632bb4dd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	IfElse	False	Passed	Model Under Test Equivalent Model
d12c737c62c2c2a1be500cd87233a3d1dbff9c42	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Subset	True	Passed	Model Under Test Equivalent Model
c704f7dde0c3c13c1b45d7b880fbe1e1421de187	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Subset	False	Passed	Model Under Test Equivalent Model
d462d82682e63f1538b1cc3d9109fb809e961748	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Domain	True	Passed	Model Under Test Equivalent Model
619c5c2cf00cc3cb8aabc4edf2df08b711a01f7a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Domain	False	Passed	Model Under Test Equivalent Model
636dd8f29ba037f892d35e8c65a3d1ead3920c72	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Union	True	Passed	Model Under Test Equivalent Model
258d5e2e2a05d589c519f4bfc8076e720d0cb915	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Union	False	Passed	Model Under Test Equivalent Model
d2f98713b923938919e03263f8e969b7d85b5215	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Unchanged	True	Passed	Model Under Test Equivalent Model
048941a7e48846e10789f413d329a5794781df6d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Unchanged	False	Passed	Model Under Test Equivalent Model
6ffe9e0abbaf7e4931f6ec095556e9f050102ac7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Equivalence	True	Passed	Model Under Test Equivalent Model
e21c11ade5e659f1a997c4214589b381a105903e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Equivalence	False	Passed	Model Under Test Equivalent Model
290c907458f3388975e1254f7956a0a8ad96976b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	StringEmpty	True	Passed	Model Under Test Equivalent Model
d235a6c09ad0e4d960fdf886a81ac847279e0d47	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	StringEmpty	False	Passed	Model Under Test Equivalent Model
e3dc44547bbd10eed98ba90bc7ea36ff8db50f2e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	String	True	Passed	Model Under Test Equivalent Model
ec1fab5556b6e2430215242e0a5b7d6d53784ac5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	String	False	Passed	Model Under Test Equivalent Model
0cffd96bf7cd9dbeaa8a1a58409c0b1d8f76dde6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SeqLen	True	Passed	Model Under Test Equivalent Model
0a4c6fa0bc665ba6f854ed993917e52c54a6dcfe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SeqLen	False	Passed	Model Under Test Equivalent Model
8771ffb380673b95f4e99f8749dc321bdc6cda09	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SeqConcat	True	Passed	Model Under Test Equivalent Model
e88cde3cd05b48c5d0b09b4fe3ff8d7147ee23f1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SeqConcat	False	Passed	Model Under Test Equivalent Model
488f4a2280b18e68005abde14bb1fecb4f77c131	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
0ee221d21e3d66273065526fa201218c299bf4d9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
ae09902a9fdaca1b3edc9b025a9955ce9875d08b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
4c6b15f394c135d0280acc3b35fb467cb07904de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
8c561b130d79fcaca3c7be45ef24ee031a38b4e4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumRange	True	Passed	Model Under Test Equivalent Model
44f8e19956622d2fa890a531c07de2dcfaf1439f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	NumRange	False	Passed	Model Under Test Equivalent Model
f28874b1823730385a6d9d4227a13100cf3d6fba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
21e29b34bf13d1c2e89201542c2270f412906aac	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
bc5abec06e7c2f16fb7ea44824e6ba59051ecb4f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
25c2ba42210d4d5299b1b20a12ce878bc38f9cb0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
6312631a3a8a75320cb494a475ac6587ca1c81e9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
1020e6f82ac96928b832f7fafcacf22da3325901	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
d2eecfa6c29d5b7c556a3922b25cde50e3376925	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
8da8689f21e542c9f2f8116f7111d0c52a85db22	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
05d8940273ad45ced5c8f782945c69bc3af0f61d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	TlcEval	True	Passed	Model Under Test Equivalent Model
b365d6cf651814d9e1f1c2bd542f80d0444d317e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	TlcEval	False	Passed	Model Under Test Equivalent Model
f10d73c8fb0165c0e38d3d5fcf7a4e2447bf315d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagBagToSet	True	Passed	Model Under Test Equivalent Model
6f8cd1223f1fb0c4bbfe7270f0b9433f9f39ce6a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagBagToSet	False	Passed	Model Under Test Equivalent Model
6e2c31f911ed7abd8755e1f8731c2ade238d53c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagSetToBag	True	Passed	Model Under Test Equivalent Model
ad1918b7afbf0ec7a176389fbe8fe1296f2b43f0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagSetToBag	False	Passed	Model Under Test Equivalent Model
b909fe06de43639b9dadd77f5cf4daf288c3c958	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagBagIn	True	Passed	Model Under Test Equivalent Model
f7b810d62b65e5e66f5504a2d2800b787593d8e6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagBagIn	False	Passed	Model Under Test Equivalent Model
68873fc5d635ea4d02ac401c7a2f0a4ce8b45a3d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
d62696ccb83992219f032f9f9644ffb59e873bc8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
5dc879abed36908fed0f868b1dfa91180057506f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagAddBag	True	Passed	Model Under Test Equivalent Model
649c1ec84aa63acb3046dcfea129a03645ccadb3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagAddBag	False	Passed	Model Under Test Equivalent Model
a7c5ac298f67e5da7c99163be9fd5c5af3233bc9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagBagSub	True	Passed	Model Under Test Equivalent Model
b42ec812c1ae2e97291288e4b56f095c438b8e89	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagBagSub	False	Passed	Model Under Test Equivalent Model
ced2ecd6e3a015ca9096a26029ed87cb9ccb311b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
b896248b41e34519082ad8f5786627f69d061821	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
89c06957452258c7b3297c647aedd51955bc8aeb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
dec018ec389b73a33a80333764e97085b3da6ca5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
63a69e39d980e4cb39ea59a01c4582406bbbc997	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagBagUnion	True	Passed	Model Under Test Equivalent Model
3f7dbe54b2eb234dd748e3b6e5b0bfe708d07563	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagBagUnion	False	Passed	Model Under Test Equivalent Model
295a6fcc16a9ff0aaeb06c9a37422c82175c1f54	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
49ada9b71c8a012be2eb920b2dcd9cd4cc3fdfbb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
a8beaa8d5d6a945131940fd64955cbe1d5d93781	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
120bf29cb6ef74cf0a2ac09212508446c980d601	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
58d4ea36aac52a552a2aeae284227d766264b6f7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagSubBag	True	Passed	Model Under Test Equivalent Model
9a2f211218007f3513d2c415d8ff6eea59b76b0b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	BagSubBag	False	Passed	Model Under Test Equivalent Model
81d0e78a7efb7dd2af85304ec5ae5c60d0c57d8d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
b8ff45f672c085d1ae60f502e30f15560f4539cf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
1291035c944d139e0696e1d1d3ee3446bf14a1e1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
845084f04f4e8bd65d93b7a532ab90956565a58b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
549129cc921d3d8d05dc2e1a76822fb62441ea83	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SeqHead	True	Passed	Model Under Test Equivalent Model
f8ccbd267c763eeb14ee790330d5f833d0672423	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SeqHead	False	Passed	Model Under Test Equivalent Model
08efdaeb6208da9e518f67f94760fedd0d4b55ab	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SeqTail	True	Passed	Model Under Test Equivalent Model
6cf71e7a145f8bd3d405d55775d5859fb5a0e9b9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SeqTail	False	Passed	Model Under Test Equivalent Model
a7d796d546ae5e31841af3a6843ea408b01eca07	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SeqAppend	True	Passed	Model Under Test Equivalent Model
f868eb781ded0cba650cfb416fd131d20232533c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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