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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
63f37a5746bb6beb2cfd434e192d56250037d046	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	OneLineComment	True	Passed	Model Under Test Equivalent Model
2d1a82bb9d197bec3c2bb35265e62fd94f4310c4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	OneLineComment	False	Passed	Model Under Test Equivalent Model
3c00095697b141b2e8d83cea042901ca5111f38e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	MultiLineComment	True	Passed	Model Under Test Equivalent Model
fe59693a6146a90483665685994a7fdda4978787	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	MultiLineComment	False	Passed	Model Under Test Equivalent Model
51498482b8aacc374a6fc9956338be62983ca7bc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BoolTrue	True	Passed	Model Under Test Equivalent Model
2d40d3f5b3b4935658109796d5c279e240e3a194	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BoolTrue	False	Passed	Model Under Test Equivalent Model
4f1641118052efaeee38d149d1ab5af2a5f963b5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BoolFalse	True	Passed	Model Under Test Equivalent Model
ff814d706e3ca0fde1c096c0d2a4f93c97f29e5f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BoolFalse	False	Passed	Model Under Test Equivalent Model
deab9441e05ab7dff70b4453a01627593a5e007d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BoolSet	True	Passed	Model Under Test Equivalent Model
2f8ee257a36ba71dd041c715e4758f230f59e87a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BoolSet	False	Passed	Model Under Test Equivalent Model
64b4cc481a9e57945d00bf1b14a1e55a0102c0c0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	And	True	Passed	Model Under Test Equivalent Model
88dd23f6a89c07be03e4209dec5aeb8f9e72f105	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	And	False	Passed	Model Under Test Equivalent Model
95c0b0e4c2bd9d622735c3d5ffccb8618232c7d2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	AndMultiLine	True	Passed	Model Under Test Equivalent Model
1be85fe2a2bc8eb50afec7412f89139e4faf3bf1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	AndMultiLine	False	Passed	Model Under Test Equivalent Model
20377f324b9761f0e84a146836b465cadae9d351	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Imply	True	Passed	Model Under Test Equivalent Model
585a9e60272f14a801dd052099c79685243806c7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Imply	False	Passed	Model Under Test Equivalent Model
348d11076e617a6a59e9ea8dc1968f81badb6e75	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Not	True	Passed	Model Under Test Equivalent Model
94fc5c4ece50f1d1d760d48b375f52f930c37848	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Not	False	Passed	Model Under Test Equivalent Model
2612292959d013d58112b5cc7abb54aafec34fba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Or	True	Passed	Model Under Test Equivalent Model
42aa5d90db0184094d59013e05b8677a39d899a4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Or	False	Passed	Model Under Test Equivalent Model
ac0c11793a9c688c4003269a0eba73147eed6a3d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	OrMultiLine	True	Passed	Model Under Test Equivalent Model
94ebcb2ed25d57044b2f334b3e772ab2d22795e6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	OrMultiLine	False	Passed	Model Under Test Equivalent Model
a31d810735afaf505ed21446a1cae699b881013d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	AndProp	True	Passed	Model Under Test Equivalent Model
e7fc7feac2e881b12aafb483b9cde8971f471406	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	AndProp	False	Passed	Model Under Test Equivalent Model
4dd042484c04f53408b215b3c987bb1eb9bf2495	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Boxed	True	Passed	Model Under Test Equivalent Model
8ee0bb6fcd2ee57e6ca6345b2a3a91e4e75fd409	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Boxed	False	Passed	Model Under Test Equivalent Model
babb197a2af3fe1d564275a7ff802fb73b8f4e14	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Eq	True	Passed	Model Under Test Equivalent Model
7c5596d61ea29ece3232decc7df512bbb85d98b9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Eq	False	Passed	Model Under Test Equivalent Model
de907ca2c42891cd9ce5ab82aff49256416a2180	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Ne	True	Passed	Model Under Test Equivalent Model
b81f1b277f36c384420bc24f49221daa4a8590f1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Ne	False	Passed	Model Under Test Equivalent Model
62fcbf9893193ffbb71b4abf7d40cd2abd806d44	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Let	True	Passed	Model Under Test Equivalent Model
211ff6293f747f31b76ef249248e072a31b392a3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Let	False	Passed	Model Under Test Equivalent Model
04bb8ad9accee6cc0155e9a7fa8d153797f36885	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SetEmpty	True	Passed	Model Under Test Equivalent Model
b91176985b7ee6538fbbbeadcdf1ffb63e85ceb0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SetEmpty	False	Passed	Model Under Test Equivalent Model
2a7d8e7daba6da5da50d004f411209fa635fa987	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Set0	True	Passed	Model Under Test Equivalent Model
7517b009061ba9fcb72ad6cac1766ac965388220	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Set0	False	Passed	Model Under Test Equivalent Model
391e499ccd4209de072e71caf49e6d4bc4390565	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Set1	True	Passed	Model Under Test Equivalent Model
d2e7ef93ed3964abd7d3259911bed28f8b9f962b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Set1	False	Passed	Model Under Test Equivalent Model
7107e56afd8e264b3a86606cb5a5fd67011a4b01	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Set2	True	Passed	Model Under Test Equivalent Model
fe4a98554fe1e361efab14f26737d2efc8b8d9d7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Set2	False	Passed	Model Under Test Equivalent Model
7d3c4fc8d859aee87b08dcd5c4eafe4f9278fc7c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Fun	True	Passed	Model Under Test Equivalent Model
efd7aea5789b8eec615c213ebed35c2278fcc911	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Fun	False	Passed	Model Under Test Equivalent Model
90a1609456e769a6dd398e33c6e3d7d085b2e5b1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	In	True	Passed	Model Under Test Equivalent Model
1f15942dd7a1b6336fd4796dda62e141268ec927	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	In	False	Passed	Model Under Test Equivalent Model
ec95a03f2a0b8eb704f3aa0beea5caf938c929cd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NotIn	True	Passed	Model Under Test Equivalent Model
125f5a556d0f67a23bf49988c64bed580da3d67f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NotIn	False	Passed	Model Under Test Equivalent Model
90c3a6cdf40a1b72c4ed8dcc92b9141730d6a41c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Exists	True	Passed	Model Under Test Equivalent Model
6c6dfe0af5d8074657b45746eed14653862f943b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Exists	False	Passed	Model Under Test Equivalent Model
1510243d05a30cd8db6354fce74825de7a48ee91	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Forall	True	Passed	Model Under Test Equivalent Model
8b266705a4868b0f361a6b77f5bc3fa4cb631266	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Forall	False	Passed	Model Under Test Equivalent Model
2e9f7fd1da8ba82de7fb43a6fe2bf031eb43b910	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Choose	True	Passed	Model Under Test Equivalent Model
bae16137d6114e261f2be0d648e1fbf1449e1ab6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Choose	False	Passed	Model Under Test Equivalent Model
47eefcf1a2705685979b3669b5c0d27e8b35d594	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Record	True	Passed	Model Under Test Equivalent Model
270824e56a1a3b059a00601d74c324bd44eac3c7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Record	False	Passed	Model Under Test Equivalent Model
8195a7daf609740d85cfd97fef77285b8cf77c0e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Tuple	True	Passed	Model Under Test Equivalent Model
f883c77751351ed25073d1afa157841d15325035	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Tuple	False	Passed	Model Under Test Equivalent Model
8dcd0526c19882b847f15ca971bd43c8763b29ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	TupleEmpty	True	Passed	Model Under Test Equivalent Model
458a4e6eb40ee0fa91c327b1b5cb24ad84249987	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	TupleEmpty	False	Passed	Model Under Test Equivalent Model
2f067f6e5922b0783b1aa0980338ac100d52812d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	FunApp	True	Passed	Model Under Test Equivalent Model
c1e145f2e331c6fcedc7e5fc836a1d7a36a1f2f4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	FunApp	False	Passed	Model Under Test Equivalent Model
0683c52a6a25b15c607ec60c094c4692f91326a2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Prime	True	Passed	Model Under Test Equivalent Model
0a62eb0bd13a520cbcc8da4d00a823768d98ca00	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Prime	False	Passed	Model Under Test Equivalent Model
c7795ef4b4518559e69e3481d0aac046f50ca475	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumZero	True	Passed	Model Under Test Equivalent Model
7f38a128b9bad232635bee974d0f2329f17ae8da	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumZero	False	Passed	Model Under Test Equivalent Model
402bd143538bf7a3361f9dbeb0f1772b9ab60829	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumOne	True	Passed	Model Under Test Equivalent Model
fe287cd582ce16b0fc623477a606acdbcf3532d4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumOne	False	Passed	Model Under Test Equivalent Model
ccf30493df7113a701fbafc30b95df5404b6deeb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumMaxInt	True	Passed	Model Under Test Equivalent Model
a83b5cec5a91938dcf05ae9c5b72eb0d399c93b1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumMaxInt	False	Passed	Model Under Test Equivalent Model
d4843ec1cc7e7a0e767953874fe60428d08211e7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
554e41b207c70eac29b4845cf7a6ec01d97c9792	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
cc65d838499bac543c00a750a310a20cc4735738	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumPlus	True	Passed	Model Under Test Equivalent Model
b1763421d1445d12e5ed23952995d3c281f44048	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumPlus	False	Passed	Model Under Test Equivalent Model
cb14b9fcca31091f586760c025614908eac8bc9a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumMinus	True	Passed	Model Under Test Equivalent Model
a1f2d94cdd7f127753aead5b32a9bd5035e63ce0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumMinus	False	Passed	Model Under Test Equivalent Model
916550e4969378e539dc4c2394acb7138ea16f94	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumMul	True	Passed	Model Under Test Equivalent Model
19956fbc90bc0e6b012db5e237bb1a20c024df45	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumMul	False	Passed	Model Under Test Equivalent Model
b0caa2d5206333b2ddbdbe505fa3ad67c73b8121	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumDiv	True	Passed	Model Under Test Equivalent Model
620902eea212a5a57bcc9564585e4711ead5181c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumDiv	False	Passed	Model Under Test Equivalent Model
35ea99cf1483d9465cb46cd3e940f47553258d5b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumMod	True	Passed	Model Under Test Equivalent Model
aaba26b6a5c4a88b66304eff37f0b28301a4fca6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumMod	False	Passed	Model Under Test Equivalent Model
c3e5783d7e76c909a53fdc3364153573b6bc1626	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumPow	True	Passed	Model Under Test Equivalent Model
6450c6da65311a6168d827384fddb3fe73df9be1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumPow	False	Passed	Model Under Test Equivalent Model
3812a7f5a840d6eb160d8165c17da91f5f2afd61	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumGt	True	Passed	Model Under Test Equivalent Model
eb51ba5f978a4e44567094fd0105ce5766e98811	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumGt	False	Passed	Model Under Test Equivalent Model
a7e463e62aef1eb991046e3bc0a785e350e3fc3f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumGe	True	Passed	Model Under Test Equivalent Model
f9d9df8b32b62c13ba724b78004ce44bc3ef3465	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumGe	False	Passed	Model Under Test Equivalent Model
334cef4dd8c75422cf52496f4028d78d1af79830	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumLt	True	Passed	Model Under Test Equivalent Model
c5591e37025763a8924fd84ec7779373d8de7a11	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumLt	False	Passed	Model Under Test Equivalent Model
04ff7f33e855f4697c6d29aba7572e420c9ff67f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumLe	True	Passed	Model Under Test Equivalent Model
1ede13d28c7ea2abd2674faa7eb327d795d6c6a7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumLe	False	Passed	Model Under Test Equivalent Model
194916c7ea7cc965067b3efb84cf625c7b9ce603	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	DefFun	True	Passed	Model Under Test Equivalent Model
c4b6324c1a9cb511794c890e035ea8dec4d24264	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	DefFun	False	Passed	Model Under Test Equivalent Model
00312cd18ada30ecb766e1cf7b300520fe3d363e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	LetDefFun	True	Passed	Model Under Test Equivalent Model
76bc59682be24ca095f98ecf93e1e49de38f81f7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	LetDefFun	False	Passed	Model Under Test Equivalent Model
2a57f115d356e39c6d95ab4a0891ec562dd39106	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
a308d0df2f2412826661d0b925427b439f18efa9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
be2b4133dada73510c6cdfdd8672a93675578e77	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
47d77c34737f971462e66115d02fe2c6a5c8d077	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
2b8aca45031c3681eef7c75e2b5545146aed7b41	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Def0	True	Passed	Model Under Test Equivalent Model
9481a7647fdd440d9d0b965a936c4a30ba6f2570	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Def0	False	Passed	Model Under Test Equivalent Model
25148d9cc75fc230425834518672901c0b7f11db	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	LetDef0	True	Passed	Model Under Test Equivalent Model
4448a723ae0d29104b98270a9a28fad9e10fde7f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	LetDef0	False	Passed	Model Under Test Equivalent Model
b5112907ff5064845204b6dea65a2b28cb2fe879	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Def1	True	Passed	Model Under Test Equivalent Model
c37a28c42eb137dd3c3269c018ebd2a1f3183e94	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Def1	False	Passed	Model Under Test Equivalent Model
03b6028189fc02a58a9533b9784d37050fc8c606	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	LetDef1	True	Passed	Model Under Test Equivalent Model
ca90aea147b98396da7d65764391cb07095b2174	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	LetDef1	False	Passed	Model Under Test Equivalent Model
e5dbc03d63eebac89357864c54740bd8a52b9d92	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Def2	True	Passed	Model Under Test Equivalent Model
13e750752156cedf67c97fc87d9daee04903ba00	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Def2	False	Passed	Model Under Test Equivalent Model
ae1590d857c8486f8ca8e943b251180b2bdc0f80	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	LetDef2	True	Passed	Model Under Test Equivalent Model
d8d7440031413d708395c37f16db14b43582c0ea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	LetDef2	False	Passed	Model Under Test Equivalent Model
27912d420956495a241ef81af7b8a491d461a773	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Def1Recursive	True	Passed	Model Under Test Equivalent Model
7aad799fd6c85ac0743e55757765e8d385d3da52	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Def1Recursive	False	Passed	Model Under Test Equivalent Model
6e5d39fb12d453f29e36c644316a2eeb0c5e62c8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
4b9512f1ff6c1035edb8cbfe12b424d73ef665d8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
c98b38c9fc0cb39e1fb96aa2d8b21e04b61b6768	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Extends	True	Passed	Model Under Test Equivalent Model
04182c5843d563adb8856f90e4fb84cfb5cf1e39	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Extends	False	Passed	Model Under Test Equivalent Model
bca741f12643a69f8913f1590790431be48514a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
19c04856aef9937d0364651a4b5ed6602b83b49e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
97cc0d33cc8901207975a2ba550f4442c81099fe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Variable	True	Passed	Model Under Test Equivalent Model
01c432e25686aed3f55162ff78ff277be44979a1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Variable	False	Passed	Model Under Test Equivalent Model
4b82bbe2e47c7a7f9181648240ab3a706684f631	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Constant	True	Passed	Model Under Test Equivalent Model
3500b77af56b88fa7be1afec9523a6a8e4e18efe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Constant	False	Passed	Model Under Test Equivalent Model
21559014d8e273a552e463c980f024ca1425d0d0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
5f85f0b25e9ae7010f64676aa03a33b1d678b95a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
fa8d1d63c41c5a2c906a3181b941fe3b13dd501e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	ConstantRank1	True	Passed	Model Under Test Equivalent Model
021b86ace224ba944ca20dee567cc0d67c70677e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	ConstantRank1	False	Passed	Model Under Test Equivalent Model
ce45b3b2a1c7c5da7cb046d35e058cee422dbdf2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Instance	True	Passed	Model Under Test Equivalent Model
3b9093f4fc111258ad60fa226d745dda6368f283	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Instance	False	Passed	Model Under Test Equivalent Model
c8f0cd031b6bd0afef55850682502a75a8821727	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	InstanceWith	True	Passed	Model Under Test Equivalent Model
8bc1d4c6899bdf9542c06f47d1d178301fff311b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	InstanceWith	False	Passed	Model Under Test Equivalent Model
5446593956edee35f577e0ef6a962a5234325fd1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	InstanceNamed	True	Passed	Model Under Test Equivalent Model
32013fc305a2c0ce9c24e29dc588fe8ac75d90ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	InstanceNamed	False	Passed	Model Under Test Equivalent Model
d05c1a3bd82fc80b9c1306296424437d42e34a0c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
56075ff0be20a1f0e08841cc618d36cd2cdce4b2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
b4558511e8cf643877edf804bb235f013cfe1c12	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
53e70dd6df5d8386450aef033c1157fb7b5542e8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
57a69bb8e6ef11f64329f49c161795a8ee709f77	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
7852b4c31d59b48e661c1ce3dc5b16bddfc77347	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
f89b93e2e104f1cce024d6b5cc72fcd9064f32bf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
b968ed7d61aaef37f408e7d86859bfb10abb67c8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
7fb89992d9809acbf3db259d93a255912e7b11d4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
eac20e29f7c3ff5645da7bc7b450da61f5ac8b9f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
d3e378f355b57b801e965160cc544cb4d0edc715	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Enabled	True	Passed	Model Under Test Equivalent Model
749f7bbceb02088309ba1e28b6117c3231b5f296	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Enabled	False	Passed	Model Under Test Equivalent Model
d5ff769c35efaf4b19caf7288091026574af5f77	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Cross2	True	Passed	Model Under Test Equivalent Model
b0c94c8961fe92471eb47b74d734f6b436e9ccd1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Cross2	False	Passed	Model Under Test Equivalent Model
7a2b30ea0090bd0790c73eca27d3d1b5ea5cf245	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Cross3	True	Passed	Model Under Test Equivalent Model
a63fcc524adce8daa81bd23cce5a21e29681d7df	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Cross3	False	Passed	Model Under Test Equivalent Model
4573da42c99d8421b98875db7928aafcf2cfd69c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	FunSet	True	Passed	Model Under Test Equivalent Model
1b4e00766ff33b8030a5bd648b08f61d259881e9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	FunSet	False	Passed	Model Under Test Equivalent Model
510005da5dbcad8e521bfdfbf5e4aa50b7c3d08c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	RecordSet	True	Passed	Model Under Test Equivalent Model
6d117c358dbba5d17ad393e640ef3dfad3830883	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	RecordSet	False	Passed	Model Under Test Equivalent Model
e4160478796b158449671ccdcdc257eb86c42c3c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SetDiff	True	Passed	Model Under Test Equivalent Model
6a372df3de1660624ffcb39f56ef253e4e08a2e9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SetDiff	False	Passed	Model Under Test Equivalent Model
bf9a2e2126adf4e24adf9ca49fee718b3e29d7da	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SetUnion	True	Passed	Model Under Test Equivalent Model
e38188e3799590cb463bf8e256dff36bab5affda	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SetUnion	False	Passed	Model Under Test Equivalent Model
c399950e773d5d9b1e5822ef7b12f049d55c3502	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SetIntersect	True	Passed	Model Under Test Equivalent Model
9222019ec2822e8945e1057b6fcced37f65aefbe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SetIntersect	False	Passed	Model Under Test Equivalent Model
66be2746ee453aa0612abdd58d160411ae66d852	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SubsetEq	True	Passed	Model Under Test Equivalent Model
0f91bc2b8f98742a2b8f7488389aab5680e58426	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SubsetEq	False	Passed	Model Under Test Equivalent Model
cfa10c89bddd6f4892f34c1993451efd10114a14	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	IfCond	True	Passed	Model Under Test Equivalent Model
d1b81f628704fe11e47d3ac97d192211c7f60f26	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	IfCond	False	Passed	Model Under Test Equivalent Model
4c00ab166e84df36f7bdad73be31b2cc207d4181	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	IfThen	True	Passed	Model Under Test Equivalent Model
1840cf3bc83882263f9069a9fd1377d04b003d45	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	IfThen	False	Passed	Model Under Test Equivalent Model
8afc9ae96ddf190bf0007b681f578ae1090641d6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	IfElse	True	Passed	Model Under Test Equivalent Model
dab2f6c180bc534b865282ff8bd07ce726993d02	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	IfElse	False	Passed	Model Under Test Equivalent Model
b21cdb3e42d5bdc01e2765a47057ee566f906333	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Subset	True	Passed	Model Under Test Equivalent Model
f3cf576ef8c44ac313c54a40dcf3efef9c28e4b8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Subset	False	Passed	Model Under Test Equivalent Model
de1cc04555df6725d77d69eeb0c32fda5f589feb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Domain	True	Passed	Model Under Test Equivalent Model
51d92c1222f3595de3b8fbe8738054ebf91b5e9f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Domain	False	Passed	Model Under Test Equivalent Model
0654a47eee9c976ab9376e8c77c8888c50a30768	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Union	True	Passed	Model Under Test Equivalent Model
b7b789e2d3690332999ea68e9522752411bc9690	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Union	False	Passed	Model Under Test Equivalent Model
8da60fabd4af91e0e00939a5bb6e4221a8cd337e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Unchanged	True	Passed	Model Under Test Equivalent Model
e78bd1f850b90690589ecc8cce88a3bb68087d12	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Unchanged	False	Passed	Model Under Test Equivalent Model
8c8558dc580e9edaee48297f639b01c09d88a689	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Equivalence	True	Passed	Model Under Test Equivalent Model
3349ac88e35b69112731669261d38fe78e84b61b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Equivalence	False	Passed	Model Under Test Equivalent Model
821b6286d5ae5b9a364ae52fdb18f7ebe7279efe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	StringEmpty	True	Passed	Model Under Test Equivalent Model
40e26049ad0131396564c7d422023f5e8eedfe63	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	StringEmpty	False	Passed	Model Under Test Equivalent Model
9bfeeb5321c0f93d41f1434cef63c885c5f1d22e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	String	True	Passed	Model Under Test Equivalent Model
32359262bb73c8041e62c147d779be7340089c84	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	String	False	Passed	Model Under Test Equivalent Model
51b64648486f4d4c37d85e41687be1d343777970	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SeqLen	True	Passed	Model Under Test Equivalent Model
5c32ff3e1a5e2d341aac3b065b745511ca1e647e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SeqLen	False	Passed	Model Under Test Equivalent Model
741ced62e5ff537b03669ad3eef9d49d3a636d44	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SeqConcat	True	Passed	Model Under Test Equivalent Model
e1541305694b0a758aa6d606b0e5a9d11e3138ef	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SeqConcat	False	Passed	Model Under Test Equivalent Model
a00bc60df219634fb2d14b1215228a5a93752dcd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
eed6525840fade459f185c2c82e7e0a8068c6eb7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
5d850389d6676d42d78603beebc0e64a430e77a1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
f16b720498917326106588d4d3a0aba47460ea96	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
4543c5c45841fcd03dee9f5249610b93af9acebf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumRange	True	Passed	Model Under Test Equivalent Model
2e1bc3c483eb66482b5ecab6f4cec1e8f42c9b88	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	NumRange	False	Passed	Model Under Test Equivalent Model
5be9c0a6baa33e08ec53dfe7a31a710c9f562b9d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
75784a3b40948d4f682de5263f7c32f419f240d6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
6f1ed4e658c8bfa1c3f5d3fd248a3820b7e794b7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
e810dbe1dae6ab1b07fe2809f3f30ff7ecad4e87	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
b2a1957ef8d8f760fb25fb0eb9ba40f62fef0552	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
dff1ea5a62ac9452a210670ebddcb18e1006730f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
ead28a2a896a6404df1a5c34d9c20c7bf1b2ad82	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
1a6fb81934d04e447d33578a64addf06411a66df	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
732b112f9a0aa9e7809eebfcdb3b60d96cac542e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	TlcEval	True	Passed	Model Under Test Equivalent Model
708e8a5d219c23ce9ec72aed72df228efacf84f2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	TlcEval	False	Passed	Model Under Test Equivalent Model
2a3376b931a5ba6b7787696f6283d02ca8c85056	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagBagToSet	True	Passed	Model Under Test Equivalent Model
a275cabbdd77ddedca02eae1cb267b5f6e9d5ecc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagBagToSet	False	Passed	Model Under Test Equivalent Model
ef27459a1c718c8d5c2383c0fd97db8cff53f27f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagSetToBag	True	Passed	Model Under Test Equivalent Model
77787f002f4598413b7ec5bb8c1e7962156740b9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagSetToBag	False	Passed	Model Under Test Equivalent Model
0ddf90ca12f089155deed41cb7bd7857a0ea0a5e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagBagIn	True	Passed	Model Under Test Equivalent Model
060c69d29b92b6f464762181cc37df30eed63c2c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagBagIn	False	Passed	Model Under Test Equivalent Model
7e90d46ba52bd6229651f49effd7aef133d705d6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
00b9c53978e38155bb5f7382a6c3e391bdf8ca4c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
eabc417ea350b8738e5c4ddf05be1af9a12751b9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagAddBag	True	Passed	Model Under Test Equivalent Model
b563b699dc30a254887df25cafbf97d3f516a0a0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagAddBag	False	Passed	Model Under Test Equivalent Model
aef5ff7e209d36e8aecc6923d24bb51e554cfae3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagBagSub	True	Passed	Model Under Test Equivalent Model
07028ec7541198b933519462e4f44b4fe3a53b63	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagBagSub	False	Passed	Model Under Test Equivalent Model
3c0749341b869d8b245722b8c8513049fc74484e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
7e0ff1028520d62af474fb6cccfd750cece82488	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
aa25d0d7e20891911bd717bd429f4c4a3c69ac61	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
7a4f5a56e41d0e7a44d0d1103bb388f3d928f465	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
cac0712d6f308bd08c6fd47203514d56eda2926b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagBagUnion	True	Passed	Model Under Test Equivalent Model
173f22414d2c824187b0f387c46dbe1705777a7a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagBagUnion	False	Passed	Model Under Test Equivalent Model
3d06d908e92f8cddff412b5d3d8167ca87a043ef	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
db5e7792ac1c52ed90ca2e523951d58fae3ad80d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
427b5b256ddd05d624795e39a84b28b3206fc2db	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
2157edaf9fb06c8e67d3922ea3aaf5b54ce63e52	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
5caac98e4e9895143139b2218eeef99719d7bef5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagSubBag	True	Passed	Model Under Test Equivalent Model
abf56f3c3958360cc80803f481ab55e69dad8a9c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	BagSubBag	False	Passed	Model Under Test Equivalent Model
4e590ec7d79cbde9b191efa5078d306924fc5542	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
f98bcf17bd6b3032d8b70bf97579f8bda0147abb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
aa52e655782c14e1dbf4745f15db7ffc248e4ef6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
415ff220db631257814914c7deaf5e4cdb5579a2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
c15a642910cb6f686d3279a403bfd5712ea7239c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SeqHead	True	Passed	Model Under Test Equivalent Model
63f7fa252a7b22f3a59f653abcb6df0d0c73f4d9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SeqHead	False	Passed	Model Under Test Equivalent Model
3798d0887d315533e0f4e83c0e8eb0c64a89c5a2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SeqTail	True	Passed	Model Under Test Equivalent Model
a2f5cae329daacba361a422901d291717a2783b7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SeqTail	False	Passed	Model Under Test Equivalent Model
25a265876358710daa440939d15b6519dc029307	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SeqAppend	True	Passed	Model Under Test Equivalent Model
03a35dee312b29b796a0d605c081868201a56f74	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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