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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
e78b55c2eb2ad40f6712a235cc7c0751785fd68a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	Extends	True	Passed	Model Under Test Equivalent Model
6f15cd3907e0c4f6eebd37796c68a6358a269e3c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	Extends	False	Passed	Model Under Test Equivalent Model
4d5217b735358f8a75b5db1e6319b074da7a6889	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	Extends	True	Passed	Model Under Test Equivalent Model
f061d931c2837bd73ccc3c8ecabeac198fdeae6a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	Extends	False	Passed	Model Under Test Equivalent Model
0b1e0fe997ee9b03112187d3af29fc6ff2b0611d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	Extends	True	Passed	Model Under Test Equivalent Model
34cf0abcff387e8604b73a8a1d21cbdc566379e1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	Extends	False	Passed	Model Under Test Equivalent Model
533564f1dcc379f89bb60e3fe50e10fbb56db717	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	Extends	True	Passed	Model Under Test Equivalent Model
ebe5c77f7dd8b84c3232a8fb1611291802d2ac79	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	Extends	False	Passed	Model Under Test Equivalent Model
41036f63f04e459c4ebec15558a982b987e8f28b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	Extends	True	Passed	Model Under Test Equivalent Model
b41f0e59e18ced8f84150979692c0d61e23bff5e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	Extends	False	Passed	Model Under Test Equivalent Model
851190afd8fb5668ec9001c9cdf8f541e6e8fd4b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	Extends	True	Passed	Model Under Test Equivalent Model
89adbdc74def30db9b41574a2e4649212d3ae9fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	Extends	False	Passed	Model Under Test Equivalent Model
d33ed7ee41e2080a383261cfc5bf5a71c8fab6c0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	Extends	True	Passed	Model Under Test Equivalent Model
8930777507bddbb16832066426de7b6547c8c9e3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	Extends	False	Passed	Model Under Test Equivalent Model
9a6f418debf5215d451e2be760ef0d76db9dd109	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Extends	True	Passed	Model Under Test Equivalent Model
062781e6bdc601ed295adf562297367a8ddddf7d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Extends	False	Passed	Model Under Test Equivalent Model
47cf63129fd684e65bbc9ae812404d9a7dc0e79e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Extends	True	Passed	Model Under Test Equivalent Model
bc282f339d2388ef659cb4871dfda1ecd37be9e2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Extends	False	Passed	Model Under Test Equivalent Model
2b66c1f0163b54622fa2926d60b038cc22e5c2b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Extends	True	Passed	Model Under Test Equivalent Model
894e4eaaf7c005a4a1c4375b9753b5c9583e5c76	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Extends	False	Passed	Model Under Test Equivalent Model
62c95cae6a289479d04cd3aca95f5d9fa303397a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Extends	True	Passed	Model Under Test Equivalent Model
e8f6c388d05ee1cda403ae9f6d4cb95ff2cd8373	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Extends	False	Passed	Model Under Test Equivalent Model
9b1f0f2dd901196b3e63a13ac5e6c33b1aedd432	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Extends	True	Passed	Model Under Test Equivalent Model
92448ae4d9aaf9c4aa24ab7eefce605d772bd05e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Extends	False	Passed	Model Under Test Equivalent Model
5b78c3a3ee7231420975331ab905769f3e2f8cdc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Extends	True	Passed	Model Under Test Equivalent Model
9fd9f0c0fb3c2848f6c214a45c772f883d16f793	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Extends	False	Passed	Model Under Test Equivalent Model
1f23bd3264f72c9b4da672f43f6a82d5309fbdc4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Extends	True	Passed	Model Under Test Equivalent Model
e54abbe74b300b38355c0e638cf67ee1a653b1dd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Extends	False	Passed	Model Under Test Equivalent Model
d7697b5ea9caf0c577a75c7111086100c9c7c038	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Extends	True	Passed	Model Under Test Equivalent Model
403ef5d4f335a9aff3ab6290dfeb060f5c44613a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Extends	False	Passed	Model Under Test Equivalent Model
dd18ba4ed2182fe68ddebd332561a766a6eec0bb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Extends	True	Passed	Model Under Test Equivalent Model
1b3068bd990ce1ced36ebf0b6747064a66f8b77e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Extends	False	Passed	Model Under Test Equivalent Model
429d08e3eeb5b91481e617cbc876a5a6d0ae014b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Extends	True	Passed	Model Under Test Equivalent Model
2e83e4732329074c0844fd3f3102631a2a93f17d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Extends	False	Passed	Model Under Test Equivalent Model
1f0a21137d4d4368724fc670c02618acde0a3c4f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Extends	True	Passed	Model Under Test Equivalent Model
b8a170117e55f6f50f719a8c362d54068aa7f091	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Extends	False	Passed	Model Under Test Equivalent Model
4bd07d2795320db58016c15c5898387bb5e68d94	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Extends	True	Passed	Model Under Test Equivalent Model
eb7a75dfc066e04abd189b28e37ccb5c0878ad50	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Extends	False	Passed	Model Under Test Equivalent Model
1606983fefced957baf95167acdce5d577407388	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	Extends	True	Passed	Model Under Test Equivalent Model
f237516f63ebbe9b42231c71d58dcf01f0a35ce9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	Extends	False	Passed	Model Under Test Equivalent Model
e21ed977dae0d8befe6aaf89e796370161bc90e2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Extends	True	Passed	Model Under Test Equivalent Model
d9c59dfeb561bb24b7bb0970d100fc84f29a4521	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Extends	False	Passed	Model Under Test Equivalent Model
b7f4cd28a93c12dc95cacfb62eb9d19393d3fad2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Extends	True	Passed	Model Under Test Equivalent Model
b55c914dad61fca98f9e6af926f5791727e7a4ee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Extends	False	Passed	Model Under Test Equivalent Model
cc92220b1e1a45c70fb9d8a56f36d000a12d7d89	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Extends	True	Passed	Model Under Test Equivalent Model
dbf5b48d486acdb577121134d1eed0cafa1360c9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Extends	False	Passed	Model Under Test Equivalent Model
24f2be8aae0526a7226f7646707e6e1a4bb6374c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except0	Extends	True	Passed	Model Under Test Equivalent Model
1ae76c7251407e1a03dbbec00844f1e829d3494c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except0	Extends	False	Passed	Model Under Test Equivalent Model
ffb09a58b8ee1501798cf6e0e424108a708443ff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Extends	True	Passed	Model Under Test Equivalent Model
c0f1cef4e11739eee63edd3bf8a41f11329368d4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Extends	False	Passed	Model Under Test Equivalent Model
9b7df22acaa98b3ac616f941be41bd88cfa33272	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Extends	True	Passed	Model Under Test Equivalent Model
b1d63560de99bbeb3fd069ed0ef9c5f0a41b5f39	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Extends	False	Passed	Model Under Test Equivalent Model
c22f39113bd2557cd28b5b37de39d5ce25318f8a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Extends	True	Passed	Model Under Test Equivalent Model
c13b962e44d76591896a958d33ddbbf168d4e292	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Extends	False	Passed	Model Under Test Equivalent Model
77a529d70fa77c79f06d7ab6cef3023de497200d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Extends	True	Passed	Model Under Test Equivalent Model
6dca3efa2e157a67f97ea3a71ac4c2af1a0d5790	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Extends	False	Passed	Model Under Test Equivalent Model
19fae3bd1ee0def3cce506651644da32468737fd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Extends	True	Passed	Model Under Test Equivalent Model
b2356cfba4c968bf758a0d08d8103f9a9a58a2bc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Extends	False	Passed	Model Under Test Equivalent Model
c2338c91d9228a6c5636e07aece272ef67b533ce	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2FunTuple	Extends	True	Passed	Model Under Test Equivalent Model
a675dce401d538693ef7b24bcb13049f0b728118	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2FunTuple	Extends	False	Passed	Model Under Test Equivalent Model
a99682fe960f9d17aa90f47e1cdfbb461ca30bed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Extends	True	Passed	Model Under Test Equivalent Model
413cd6267fa8c91d238b5ea800681021f73675e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Extends	False	Passed	Model Under Test Equivalent Model
5dacdfcd64a61c2bdd86a44347ef8655a5c02134	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumUnaryMinus	Extends	True	Passed	Model Under Test Equivalent Model
123b231d7340cf2be5a32b94eb677bda68fa9425	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumUnaryMinus	Extends	False	Passed	Model Under Test Equivalent Model
2b84b32a92f63bfe5865f9f37091d267e50157fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumPlus	Extends	True	Passed	Model Under Test Equivalent Model
3898924e7a51a3ff520360369399c13eb0fc5aa4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumPlus	Extends	False	Passed	Model Under Test Equivalent Model
67fdcf8ebe0193b77c4ed589a38a99e2a5522167	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMinus	Extends	True	Passed	Model Under Test Equivalent Model
4d796758a9f750f2688e116d158c7e284ce9a2fb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMinus	Extends	False	Passed	Model Under Test Equivalent Model
f0c775ee9f63d1e2067ff1c4e93892403a5ebec7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMul	Extends	True	Passed	Model Under Test Equivalent Model
8f4fd9c166bd3cabead204d9265acadff689d219	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMul	Extends	False	Passed	Model Under Test Equivalent Model
808dda453242606ab7e5510cbf7daa3becef2dfb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumDiv	Extends	True	Passed	Model Under Test Equivalent Model
272eba75a595d7dca521cd2b7fec959b55ed84fd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumDiv	Extends	False	Passed	Model Under Test Equivalent Model
eaa8b4b04c6077d0c98bcc8d13ac26887e287a22	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMod	Extends	True	Passed	Model Under Test Equivalent Model
caa8924d19248dc2d9290fe1992dd3de3c0d5f17	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMod	Extends	False	Passed	Model Under Test Equivalent Model
139280b0a45114df203107bbdb825df9373a111e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumPow	Extends	True	Passed	Model Under Test Equivalent Model
8869b80e43adfc8a5e5b18b16cdbda40b20897fb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumPow	Extends	False	Passed	Model Under Test Equivalent Model
4e1b0b3be9d1d6aad964d87ff5b7a04e53776241	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumGt	Extends	True	Passed	Model Under Test Equivalent Model
6305537a106059b2749faffcbb73b114595b0ef1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumGt	Extends	False	Passed	Model Under Test Equivalent Model
e39e25f6d96d8718b1ab07a3eb2fef004841294f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumGe	Extends	True	Passed	Model Under Test Equivalent Model
062db3830d6d75478f8dd89c02cfe8f4fd714184	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumGe	Extends	False	Passed	Model Under Test Equivalent Model
4b61d741ef647e4d65a3f1715a5f3c4a17dddccd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumLt	Extends	True	Passed	Model Under Test Equivalent Model
7fadeb1b67afdf4d79fecd8169eb28facb804757	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumLt	Extends	False	Passed	Model Under Test Equivalent Model
2c352280a1813f1d15fa5d8a10479cd4e43725f2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumLe	Extends	True	Passed	Model Under Test Equivalent Model
171f42471eb9db60f418011657585fdfbd37b3ee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumLe	Extends	False	Passed	Model Under Test Equivalent Model
c3dd421354f632d63d76c3ee433266c08db884a3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Extends	True	Passed	Model Under Test Equivalent Model
cae9a60d196ec4a553d7d91a983afef56a1bfe12	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Extends	False	Passed	Model Under Test Equivalent Model
a03851f1f29961de52cb9bcb00ad882f1a484fde	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Extends	True	Passed	Model Under Test Equivalent Model
bd1b3007be3b5709aaf129eba47e40806e7298e2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Extends	False	Passed	Model Under Test Equivalent Model
4557e10115f131b2eb6f1229aca0f869e2a14cd6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Extends	True	Passed	Model Under Test Equivalent Model
bdc3c060e424e3485ffd4e14d56a924d3b3dc4b4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Extends	False	Passed	Model Under Test Equivalent Model
6c844f1bea2b9a511447f3946c5165898a3f9b7a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Extends	True	Passed	Model Under Test Equivalent Model
e81c131357bcf16755d9ee4e6c930f4ec1061435	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Extends	False	Passed	Model Under Test Equivalent Model
cd1f6a45301f9555f35c9168536f47062b935d64	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Extends	True	Passed	Model Under Test Equivalent Model
e814012fa41b8a815c4dd3204b40262d9ba1c958	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Extends	False	Passed	Model Under Test Equivalent Model
3869f62c423291f0356e01e7082e8d855896edf9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Extends	True	Passed	Model Under Test Equivalent Model
27edc1ca17df722ffcbc17aaabb83d97ae9cda75	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Extends	False	Passed	Model Under Test Equivalent Model
402f030c002b351336f3c838003bbce6d04b0d0b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Extends	True	Passed	Model Under Test Equivalent Model
c110c19d57c735163a135ed3aec37b029754a3ae	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Extends	False	Passed	Model Under Test Equivalent Model
aad7d109957401daec7c22b8b1cea4a2868b9c2c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Extends	True	Passed	Model Under Test Equivalent Model
913a3475f4a10b9d0cdfc8ee626ecf43fd7a59ca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Extends	False	Passed	Model Under Test Equivalent Model
cc2679bcc4f7fc8c564e0f5430b7470ca43f8386	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Extends	True	Passed	Model Under Test Equivalent Model
05f9d1c5c1648428b35dc7b5bf10e9a700d7ea00	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Extends	False	Passed	Model Under Test Equivalent Model
a4419ea7a1c97bd58fcfb92540a56c5270c949e7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Extends	True	Passed	Model Under Test Equivalent Model
484ef1a9f92bf9f46ba028ff11707461de48aafe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Extends	False	Passed	Model Under Test Equivalent Model
e3d1c7d9e21726e90bfcf0d3b880c04845486df5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Extends	True	Passed	Model Under Test Equivalent Model
f2ffb78b8d05f216e3f45fd33d0b4e60285907fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Extends	False	Passed	Model Under Test Equivalent Model
368ea1c2e9d6ac448c1608248f3c628f9879ab70	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Extends	True	Passed	Model Under Test Equivalent Model
002c9d94d494e0f1bd3639cc171317ddd0500710	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Extends	False	Passed	Model Under Test Equivalent Model
8d8cffe5151be8f3b0e10682ff7435f9b2986673	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Extends	True	Passed	Model Under Test Equivalent Model
bf5855498f8c843542970bdbfa5b59a0f93a5e2d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Extends	False	Passed	Model Under Test Equivalent Model
c0471d1a2bec833ec6b1dfeee2572d35c528d7c9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Extends	True	Passed	Model Under Test Equivalent Model
2f86cc83fa2140e587bbf466b38b44d3219f04dd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Extends	False	Passed	Model Under Test Equivalent Model
b01e56b68fc84a8ee86923f0bb457449e5db92f8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Extends	True	Passed	Model Under Test Equivalent Model
cb9a5142fb7763288dfdc3b2eb14ffe88f46b63c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Extends	False	Passed	Model Under Test Equivalent Model
9ec497d8e07cfe4f74864befa759cf6b72afceb0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Extends	True	Passed	Model Under Test Equivalent Model
ff200f533b2b1ca3e4486b2a5338d6bfaf1a514c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Extends	False	Passed	Model Under Test Equivalent Model
40fe8397fa9f8134faf6182afa0c02ff0500fe28	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Extends	True	Passed	Model Under Test Equivalent Model
1904187f50f98568398f212338b40047f9d32c90	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Extends	False	Passed	Model Under Test Equivalent Model
a351a4268d60b30a013b84af440864da5ad6b46d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	Extends	True	Passed	Model Under Test Equivalent Model
3fef4ff8ae8682ff722aea56498c6b2d1ef99451	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	Extends	False	Passed	Model Under Test Equivalent Model
615f6e6e33e374b000a72ed0b47c4e50df09065b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Extends	True	Passed	Model Under Test Equivalent Model
52e2a654ba9d0d60abd2142fb51c0a5a5f822a69	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Extends	False	Passed	Model Under Test Equivalent Model
0ee584aeefb9c3659b8d7c642b3e2c8473ccaf74	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Extends	True	Passed	Model Under Test Equivalent Model
f6137c991193804ba16796b8df8ca53b8bab4b5f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Extends	False	Passed	Model Under Test Equivalent Model
f450cc7f623af0e69c50bc7d03d8483155524e39	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Extends	True	Passed	Model Under Test Equivalent Model
b1f5db56317d335f4c266ec75d2fc699d1b27712	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Extends	False	Passed	Model Under Test Equivalent Model
34fafe82ee037fb91f1c96bf6fef05027e4e54cd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Extends	True	Passed	Model Under Test Equivalent Model
8ff71bf4ed5ae94bd24d76529930ca5162d59c1a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Extends	False	Passed	Model Under Test Equivalent Model
ade4ae2b3c083d8e8dc8eb09f72578d2b55d8da7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Extends	True	Passed	Model Under Test Equivalent Model
79de32fb9a625d41924ffeb7e23691b90ec1765c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Extends	False	Passed	Model Under Test Equivalent Model
108d5ffb8932d888f6fc445a823499ef120b52f7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Extends	True	Passed	Model Under Test Equivalent Model
e6178472f317af91944f27aafcabbdc055a664fe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Extends	False	Passed	Model Under Test Equivalent Model
fd24418a4ac4648201a63c56cb3ec4dfe8c34470	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Extends	True	Passed	Model Under Test Equivalent Model
726f98e17b0e103730766073925cdb2eb8ed1f87	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Extends	False	Passed	Model Under Test Equivalent Model
5fe3fb3473a2d935e72283a0be859ed8a2b722e3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Extends	True	Passed	Model Under Test Equivalent Model
d746933afb003a770a01a4da944ca29e372b19b1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Extends	False	Passed	Model Under Test Equivalent Model
9ee28f646c503a13300d115c7df79fc40c9fbce7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Extends	True	Passed	Model Under Test Equivalent Model
a15b2477fe1844f4f6e05c26a595d177ed4bc6f3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Extends	False	Passed	Model Under Test Equivalent Model
4d16b928dbad6ccacd51d8f38e34b9299487922e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	Extends	True	Passed	Model Under Test Equivalent Model
5f4f6fabf0fdad71a9dbeefbda28ed3e5cb3ce8a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	Extends	False	Passed	Model Under Test Equivalent Model
70f47494439fb7860947a63aa3f893d83b1dd4d6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	Extends	True	Passed	Model Under Test Equivalent Model
76767087104fdbcc6e632521e3b7be86661bf678	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	Extends	False	Passed	Model Under Test Equivalent Model
4c09ccaeaadaf82908464396aca7e9ae0054c0a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Extends	True	Passed	Model Under Test Equivalent Model
a314b6f0cbcb1528c312ffff31324fa782bb7c28	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Extends	False	Passed	Model Under Test Equivalent Model
35612417283e37eacf853651046664815fa3dee4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross2	Extends	True	Passed	Model Under Test Equivalent Model
f328e7ab812d083ea289836cc895e6be992b73f5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross2	Extends	False	Passed	Model Under Test Equivalent Model
6a7d3b228d239b195579b9ad7e3c10a63ba7d513	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross3	Extends	True	Passed	Model Under Test Equivalent Model
b4937b47e2402eb5265b335d68d19afcd3d8c59d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross3	Extends	False	Passed	Model Under Test Equivalent Model
2ba051ac99368990b29a8ecc50c636388e2b552b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunSet	Extends	True	Passed	Model Under Test Equivalent Model
5d2d63a66891a301d4763a7315cc12fa930d30b0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunSet	Extends	False	Passed	Model Under Test Equivalent Model
45b299a2a5903d6d762fb45799ee9fca8bea2a53	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	RecordSet	Extends	True	Passed	Model Under Test Equivalent Model
df95f14b6c8e3c1371637f93b7f1cba1ee7463df	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	RecordSet	Extends	False	Passed	Model Under Test Equivalent Model
21f03661447c7d69134e3a5ba4725f4a4a76e1fb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetDiff	Extends	True	Passed	Model Under Test Equivalent Model
05249863af16d21f0ff8d38e3f0926359bbc5b1f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetDiff	Extends	False	Passed	Model Under Test Equivalent Model
e39d467a3f2c89d0a3b98bb5c0a3be595f63a62b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetUnion	Extends	True	Passed	Model Under Test Equivalent Model
7fae7e95a6d3e2a1f7f174a3afefb7b56392efd3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetUnion	Extends	False	Passed	Model Under Test Equivalent Model
a5e48567080fe1059022555997067b7f267bc2a2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetIntersect	Extends	True	Passed	Model Under Test Equivalent Model
33b2cf9542aefcc601e9eb2f1f659cb63eb9e20a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetIntersect	Extends	False	Passed	Model Under Test Equivalent Model
30fc8ebe1617178427bb4d9f034cd3852dc52380	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SubsetEq	Extends	True	Passed	Model Under Test Equivalent Model
07faf89a67a3672f8dc2c7bbeef0ce4630a23047	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SubsetEq	Extends	False	Passed	Model Under Test Equivalent Model
779fcb7d208bc4a655df07f0e5a0cceed3f50c6c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	Extends	True	Passed	Model Under Test Equivalent Model
0ae07d923aa52ed2069ea673476ccfb907b418f2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	Extends	False	Passed	Model Under Test Equivalent Model
93cc456b1cb932b3eb96fc0ebc26511a9dadb7d6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Extends	True	Passed	Model Under Test Equivalent Model
35a9e1e259c255fa57dfc6b19c49efa2872ca67c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Extends	False	Passed	Model Under Test Equivalent Model
fa38a97902eb7e624e1d715ebb2a6a6bba442673	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Extends	True	Passed	Model Under Test Equivalent Model
f1962a39add1768240a27d81f4129f8d5d4ac3f1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Extends	False	Passed	Model Under Test Equivalent Model
97354519e2e4a7dd92f99829b9ff11e488db785d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Subset	Extends	True	Passed	Model Under Test Equivalent Model
8da37018c653d1bfd6c107fb622b4ac9778cd1f7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Subset	Extends	False	Passed	Model Under Test Equivalent Model
b6569a440dfa0f297442647a46762da0f1fb9d8e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Domain	Extends	True	Passed	Model Under Test Equivalent Model
e31899076067a5435e14c3195e8bc2288ae29662	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Domain	Extends	False	Passed	Model Under Test Equivalent Model
04516f7d0397d702e0e6e2d97c31892123458aea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Extends	True	Passed	Model Under Test Equivalent Model
1213d889b6fe9c0c781d456c191c2cb284b058c0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Extends	False	Passed	Model Under Test Equivalent Model
24e67b2dab4055f4233b547c33c20b8f351fd7d3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	Extends	True	Passed	Model Under Test Equivalent Model
a5d551ed2d2a6122afc39076c134840fa08ff6be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	Extends	False	Passed	Model Under Test Equivalent Model
2f98de22b87d2a5f89631ea828ffb5c88dcda3ca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	Extends	True	Passed	Model Under Test Equivalent Model
5bf5f0ebc8198047a9c504ad9bc39cdaa5384869	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	Extends	False	Passed	Model Under Test Equivalent Model
36ac3763a35a6597f7569608c23d3fc0260af10f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqLen	Extends	True	Passed	Model Under Test Equivalent Model
a54ed816ae0dea48d85545a6a7cb413a863c55f4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqLen	Extends	False	Passed	Model Under Test Equivalent Model
c82059471a8a74e41ff02934ab5a3eaf0d59b7e0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqConcat	Extends	True	Passed	Model Under Test Equivalent Model
82891719f8582dd5bf060e7e0be4fdfe1c572b0e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqConcat	Extends	False	Passed	Model Under Test Equivalent Model
63abb674d96cbaba26854b4389657eb872cd509c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSeq	Extends	True	Passed	Model Under Test Equivalent Model
d7399e17e5b494a8114b8029ba0d345106cd9dac	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSeq	Extends	False	Passed	Model Under Test Equivalent Model
0412428e7df1d815d15737f1e7a96a4bdb8a976c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSelectSeq	Extends	True	Passed	Model Under Test Equivalent Model
e03af7e0d149c20f8f1ab8f20e2d5ddff9283a07	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSelectSeq	Extends	False	Passed	Model Under Test Equivalent Model
92a53bcb90237f469ceff9dea181883e5a4df177	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSubSeq	Extends	True	Passed	Model Under Test Equivalent Model
19d127079fa6dbe84bd82f70b5c29b78c252080a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSubSeq	Extends	False	Passed	Model Under Test Equivalent Model
c676a8935ab09068f8da0e4ca84e4d44f81e640e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumRange	Extends	True	Passed	Model Under Test Equivalent Model
387391f50079ef5f9d8f4fa121d80dc4e9edea0f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumRange	Extends	False	Passed	Model Under Test Equivalent Model
6175040e1063f9253f2077f4ec14eb67cdf8b2c6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Extends	True	Passed	Model Under Test Equivalent Model
3cefca1bd0075342be6d7cf4a8e818f596aaa0de	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Extends	False	Passed	Model Under Test Equivalent Model
82d82748e6c7291698845ea73faf2200ca75a25c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcExtendFun	Extends	True	Passed	Model Under Test Equivalent Model
16a4b03a8a06869c20a6bc2d28b4cf745c0a04c8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcExtendFun	Extends	False	Passed	Model Under Test Equivalent Model
c962b997c9adff716be65b8864d6631156729151	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcPermuteFun	Extends	True	Passed	Model Under Test Equivalent Model
c3faabc311845dcda3c0f6550383e167b13ae3b6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcPermuteFun	Extends	False	Passed	Model Under Test Equivalent Model
af21e5091c33c51bcab83ce7a1b05dc147f4b312	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSortSeq	Extends	True	Passed	Model Under Test Equivalent Model
6c4753d8d46357b54c0dd361b01dabcbb558f416	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSortSeq	Extends	False	Passed	Model Under Test Equivalent Model
277178963ab53cf3147198121305fd44d32b9e6b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Extends	True	Passed	Model Under Test Equivalent Model
a18ebc05b8e5ebc4a846044ec136c97f17214307	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Extends	False	Passed	Model Under Test Equivalent Model
9d2d59d52aa3e3c8bc23732aad36f0ebca069834	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagToSet	Extends	True	Passed	Model Under Test Equivalent Model
ac6ddba0967f9f4b64e48054e60e1e26a2fb1d9d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagToSet	Extends	False	Passed	Model Under Test Equivalent Model
086f1a2c7d20bbd8ead397e153307d5822c3ae15	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSetToBag	Extends	True	Passed	Model Under Test Equivalent Model
dcd4e9abd9f9490707ac1b0b53d18194fc41c0bd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSetToBag	Extends	False	Passed	Model Under Test Equivalent Model
353cca80504fd9d90c7991b05655f40e50c40ee5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Extends	True	Passed	Model Under Test Equivalent Model
1595f333758cc9c6789e02e3cc9f14e801cd14c8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Extends	False	Passed	Model Under Test Equivalent Model
67c9ba16c77653d6cc75b78d9b4f30c908ca484f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagAddBag	Extends	True	Passed	Model Under Test Equivalent Model
09a30d47f12ef4d0ba115125258803fdeb9dc3c7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagAddBag	Extends	False	Passed	Model Under Test Equivalent Model
cca5f5bac536707778db10f0e29616ce9a532aa8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagSub	Extends	True	Passed	Model Under Test Equivalent Model
6dbd97b04498a22b225cfd958d0d46bf85c950dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagSub	Extends	False	Passed	Model Under Test Equivalent Model
f0c9e6993cb6d810223a066cc2f503335243baa5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Extends	True	Passed	Model Under Test Equivalent Model
bd9d87f0d4f72a5debdefdcd273b3aa8104876cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Extends	False	Passed	Model Under Test Equivalent Model
694eb5c7eb07aa61d2f132f9cc2cef49913a691e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSubsetEqBag	Extends	True	Passed	Model Under Test Equivalent Model
afd3867416b5a656c7c804d029e40f93fc2aa988	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSubsetEqBag	Extends	False	Passed	Model Under Test Equivalent Model
6087693ad6e7e4b388510bc1293815b98824e69d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagUnion	Extends	True	Passed	Model Under Test Equivalent Model
8ce862de815b6d4604a7bf8ce722d117b45c8b37	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagUnion	Extends	False	Passed	Model Under Test Equivalent Model
c692eb6c68e07518c6a5b9291147569fd12289c1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagCardinality	Extends	True	Passed	Model Under Test Equivalent Model
09cff824ab3a7b9725b1cd5f51bc95040a50d2de	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagCardinality	Extends	False	Passed	Model Under Test Equivalent Model
ed2f76bcff2b6e8b977091966d9d210b65e227c0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagOfAll	Extends	True	Passed	Model Under Test Equivalent Model
f279c99d7dab8bee50072fd14744750f9b59164c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagOfAll	Extends	False	Passed	Model Under Test Equivalent Model
5994f65ab8c276b5cbee5faca2231fab6db8afa6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSubBag	Extends	True	Passed	Model Under Test Equivalent Model
9cdd1ec2bd1966f468be9407c81aa3a95222c330	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSubBag	Extends	False	Passed	Model Under Test Equivalent Model
785a45ed74626a616a9791c02dc322de17e490c4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsIsFiniteSet	Extends	True	Passed	Model Under Test Equivalent Model
93c3a20b49c0f3c677212664a5f7fad2b106d1fc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsIsFiniteSet	Extends	False	Passed	Model Under Test Equivalent Model
eac54383fa23ca27e5bc4c5222e2eb4041aa3c55	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsCardinality	Extends	True	Passed	Model Under Test Equivalent Model
e6ebf826c628a18f2effac4071ee1fd7003db81a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsCardinality	Extends	False	Passed	Model Under Test Equivalent Model
23f08f78ece9c580275fd15a975bcfc89cbb192f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqHead	Extends	True	Passed	Model Under Test Equivalent Model
7fbf30127293ac078e897afade9a4427aaeb6ea2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqHead	Extends	False	Passed	Model Under Test Equivalent Model
0ec38b70591f0a73e6d3b6f0f6c21be5aea1e042	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqTail	Extends	True	Passed	Model Under Test Equivalent Model
6aaca416534f800cff5299b48772d70af63c5714	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqTail	Extends	False	Passed	Model Under Test Equivalent Model
d4e3202208a52f7b65998c8bdc65ea63f6949b2d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Extends	True	Passed	Model Under Test Equivalent Model
d15d0b4412b50d2aeb1024476746082a61fa34ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Extends	False	Passed	Model Under Test Equivalent Model

Index

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