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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
e36c5baa6833ec1a2cb2512fefeb8f1e108f8ba8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	OneLineComment	True	Passed	Model Under Test Equivalent Model
96752fa743638f3c3c2a97aededc3e7699fdfd2b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	OneLineComment	False	Passed	Model Under Test Equivalent Model
746646630db17f1da665ef4b7261cabeff1883dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	MultiLineComment	True	Passed	Model Under Test Equivalent Model
118021fc1a1964bf5bdc89d70dc4a037e0a3967c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	MultiLineComment	False	Passed	Model Under Test Equivalent Model
4bc8c65bcfff0080e629b9691bec7ac8bdf8e3b9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BoolTrue	True	Passed	Model Under Test Equivalent Model
d4a3fb0d24398470062766d7588eb73e002d7bcb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BoolTrue	False	Passed	Model Under Test Equivalent Model
90c22abcff5024ee3274e21a960114d925a1539b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BoolFalse	True	Passed	Model Under Test Equivalent Model
89f71f944053c7c9145ccb73b849b70aeffde91c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BoolFalse	False	Passed	Model Under Test Equivalent Model
108126beff10e2473fffee2e6287b5a5790c19de	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BoolSet	True	Passed	Model Under Test Equivalent Model
8e108559217aa04e670568eab952d6eee4670989	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BoolSet	False	Passed	Model Under Test Equivalent Model
dbb9f18d84bec45f34c9c9b535e8951c127cabfb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	And	True	Passed	Model Under Test Equivalent Model
d8a7074b63726066a30b06ad32209132dba57e1e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	And	False	Passed	Model Under Test Equivalent Model
575d0e2fd80be137414513a322b783d0e5c9dd63	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	AndMultiLine	True	Passed	Model Under Test Equivalent Model
e6bc8aa67237a84ca5dd1157616401ca0e524bd6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	AndMultiLine	False	Passed	Model Under Test Equivalent Model
2fb73753d6c654c67dd4744232e30c95a22bf248	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Imply	True	Passed	Model Under Test Equivalent Model
9f2a15cbffdeffcb01874cc21f9f392e94ec7a21	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Imply	False	Passed	Model Under Test Equivalent Model
76f420dbb541c7811e0893dbe32adde6ff6a00d1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Not	True	Passed	Model Under Test Equivalent Model
54449ef9e34a4354538737c2883bcd9550b793f4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Not	False	Passed	Model Under Test Equivalent Model
09bf020788f3a98b0d359c9363eb167f513d2a25	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Or	True	Passed	Model Under Test Equivalent Model
1b69d49e7466d41059921dd04cc5765f7fc9cb36	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Or	False	Passed	Model Under Test Equivalent Model
d4bd3a1dac0eba46bffbb6e101ef7dc265cc3a35	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	OrMultiLine	True	Passed	Model Under Test Equivalent Model
c49e32f4c40ac83fd582684612eb6283b726e7c2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	OrMultiLine	False	Passed	Model Under Test Equivalent Model
38540dc9cd16f95687705356ac6f2a2f7874b8f6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Eq	True	Passed	Model Under Test Equivalent Model
1180445c9bbb150e662cf5451d785416c62da1a0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Eq	False	Passed	Model Under Test Equivalent Model
78640545c92f27e5f9f0ef701362e6e82ec9996e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Ne	True	Passed	Model Under Test Equivalent Model
097012b0bb3088d9b568d52d5d073796372eb3bf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Ne	False	Passed	Model Under Test Equivalent Model
b56174fcb4c099e8cc59473000d3fe598452398f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Let	True	Passed	Model Under Test Equivalent Model
97d74403f2bf6f83f05efe324089151262c9cd35	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Let	False	Passed	Model Under Test Equivalent Model
3ed0b17004b77b321e87256f5ecb35b5809c37c5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SetEmpty	True	Passed	Model Under Test Equivalent Model
74006bca7c22061d0d126ccf41fc548fb0ca4b33	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SetEmpty	False	Passed	Model Under Test Equivalent Model
9e04f08b33dd6e6b5916ca55ad0cc9d2220c25a2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Set0	True	Passed	Model Under Test Equivalent Model
e607eab8fea0682658a5b57c9bee9488c7e16fc3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Set0	False	Passed	Model Under Test Equivalent Model
8c96616ae797e5834b9e8b05b2a3e4411d8e8b78	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Set1	True	Passed	Model Under Test Equivalent Model
a5e1344014e16f4e83cc32b6858c8210fcca4051	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Set1	False	Passed	Model Under Test Equivalent Model
986c1f9111d61b8e8a05babc1565f3761209fcf8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Set2	True	Passed	Model Under Test Equivalent Model
c65e51270c6d2cb36fec1fbe3b9c9c3482e4125b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Set2	False	Passed	Model Under Test Equivalent Model
c0588e5b059a17554e6614328f7b0876eda45ae9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Fun	True	Passed	Model Under Test Equivalent Model
be708f8c52e90350ec6de839e24a1334b44f3573	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Fun	False	Passed	Model Under Test Equivalent Model
fa4fa2fee9801f3d3704aea53b98a496e4ae12a1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	In	True	Passed	Model Under Test Equivalent Model
ca0d5305ae27b8f3305641b7672940fc9b3aa2d8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	In	False	Passed	Model Under Test Equivalent Model
1698c5d2f5ba561d9ea7f07b5368cde896d01627	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NotIn	True	Passed	Model Under Test Equivalent Model
4ef2bd76d191cc92188614c12fa935b748991f1f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NotIn	False	Passed	Model Under Test Equivalent Model
b55404afff970d9389655f491c7d05854db52f2c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Exists	True	Passed	Model Under Test Equivalent Model
be4b1c74e3c3636d48d6adb85391b52342ab2362	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Exists	False	Passed	Model Under Test Equivalent Model
3685bd9b4d07ae285e7b46f537e326ab2072ae28	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Forall	True	Passed	Model Under Test Equivalent Model
0c44cbf0bb90c41b29a5f515b31207f06de70557	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Forall	False	Passed	Model Under Test Equivalent Model
3099d6359abe6acfaf8a9ba71c70eb812188c4ef	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Choose	True	Passed	Model Under Test Equivalent Model
d52a0f7b48e2085888afb2dc47e2ccedda160268	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Choose	False	Passed	Model Under Test Equivalent Model
2157198298c65d2e932bfc9487ba5d75a239410b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Record	True	Passed	Model Under Test Equivalent Model
ed72b76d10ccdefb3e1f07b58d59cc0b8773bf65	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Record	False	Passed	Model Under Test Equivalent Model
75dee615e34a2c653d56d3b43d33b667d4679e13	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Tuple	True	Passed	Model Under Test Equivalent Model
d7464fad9e7e55360bfc6d042032ef6285c4693f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Tuple	False	Passed	Model Under Test Equivalent Model
f834ba24434b6261622071fe4d00e8fbe339cb13	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	TupleEmpty	True	Passed	Model Under Test Equivalent Model
b9035221e2e3238daff792f3817d6a8029156ded	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	TupleEmpty	False	Passed	Model Under Test Equivalent Model
4294f5cdaad00dd018ee93d68bbeb757b4b9a676	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	FunApp	True	Passed	Model Under Test Equivalent Model
8be38c43514fc8845665cc56699722d992b688ab	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	FunApp	False	Passed	Model Under Test Equivalent Model
c6d82ccc5b01dadf6ea157fa1bc45c47d232e408	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Prime	True	Passed	Model Under Test Equivalent Model
e3c05a007e86c9425a63d3524b1a7db952372c65	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Prime	False	Passed	Model Under Test Equivalent Model
59d3629bb880562c9e8e7ca26f8955a8f81a28d1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumZero	True	Passed	Model Under Test Equivalent Model
8aeb93600d0233d5c35bb95448b2d7547b31bf3d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumZero	False	Passed	Model Under Test Equivalent Model
4ae8ef222e804b45996f608a58aceed9c533a491	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumOne	True	Passed	Model Under Test Equivalent Model
bec223afe3ac78038d345943d7b44081948fe617	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumOne	False	Passed	Model Under Test Equivalent Model
16508172c41d14e3352acd038dcc1793edd73294	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumMaxInt	True	Passed	Model Under Test Equivalent Model
ff661f07882aa9be8067d91778d977355ff968e1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumMaxInt	False	Passed	Model Under Test Equivalent Model
f1fac75ba8e280c1928a47b8387f9d5f775c6a5b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
2db2b3c75e9ec762b7445a29b83e8d35b2cc0069	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
74004ef66b144a8666b5b3639c3dc189b13bb817	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumPlus	True	Passed	Model Under Test Equivalent Model
55d978f93b8b114c94fb300b32452984d3a34987	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumPlus	False	Passed	Model Under Test Equivalent Model
a798d477ad3c329a8d91ec351d509e1a21282ae1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumMinus	True	Passed	Model Under Test Equivalent Model
9f3723c87e4996dc6b5244efe0195dca8e5e0930	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumMinus	False	Passed	Model Under Test Equivalent Model
a3c7b671777633d0bd418dc897f5c76279c7114e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumMul	True	Passed	Model Under Test Equivalent Model
f2b986ce924b172db250815e19efdf323d7ab17a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumMul	False	Passed	Model Under Test Equivalent Model
0e9ebbe3fc2a41cfaa843aef539ec9d90036b055	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumDiv	True	Passed	Model Under Test Equivalent Model
8b1bc36e4a27ab3b015c96e3cb241c553347b323	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumDiv	False	Passed	Model Under Test Equivalent Model
d2953bcff791b4143c747872157ae7ae6f988588	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumMod	True	Passed	Model Under Test Equivalent Model
6e8e205b4c213f8757ddeec8afac8a3588f1df1e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumMod	False	Passed	Model Under Test Equivalent Model
d563e88023d080282201936023ba6c6c76a932ed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumPow	True	Passed	Model Under Test Equivalent Model
2c677c67944ba9838d9d70890aa8aa5a51b29a51	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumPow	False	Passed	Model Under Test Equivalent Model
feaeb43e94215d094ef08dee887e4a901ce3fe1c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumGt	True	Passed	Model Under Test Equivalent Model
38139d341680461053f6a9ad31fe747e0aa7cb11	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumGt	False	Passed	Model Under Test Equivalent Model
3f2c2a510508b8667fa1bae0988e43c3a6a7ea8d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumGe	True	Passed	Model Under Test Equivalent Model
d83d46c398c98ac8994f21a4d955994b6283b0fc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumGe	False	Passed	Model Under Test Equivalent Model
1e2ddffaff112c864a9f656cc9b506f40dcdeb82	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumLt	True	Passed	Model Under Test Equivalent Model
276b0f772043b18a3df3063bc1f648bd53d8e25f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumLt	False	Passed	Model Under Test Equivalent Model
d8a379bf58cafcc549f869f764fb29b249861901	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumLe	True	Passed	Model Under Test Equivalent Model
8cb0b1d4c2373d855c41eac737896bacd53c63a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumLe	False	Passed	Model Under Test Equivalent Model
a17244a4bee933319e0eab9b52c62c50059b0103	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	DefFun	True	Passed	Model Under Test Equivalent Model
b36b5a16d523bc964257036efa7dad9033bf2b72	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	DefFun	False	Passed	Model Under Test Equivalent Model
c43f831224c29490fcd443fc8a486fd25d73fa01	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	LetDefFun	True	Passed	Model Under Test Equivalent Model
c9995ebda26267877b11342477926a9fafea8fed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	LetDefFun	False	Passed	Model Under Test Equivalent Model
c40f95ff1dd4a811b5d4e0c4939366c46ec0084f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
9517e8f546a117d52d0e2a39718604aa70901306	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
22a434ab91d7a9667707e108b152566971057712	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
d856209a53ffe0ec7f2118b422a60024a7c317e6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
d03650bb15b57cd620e1022be9a6fd905bfb91a6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Def0	True	Passed	Model Under Test Equivalent Model
c9372889b2f52dc4562e4ef831ed3987fe7f7141	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Def0	False	Passed	Model Under Test Equivalent Model
d2b09eddb8dcd66a223123bce1f2b6ae04fae530	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	LetDef0	True	Passed	Model Under Test Equivalent Model
889566f9d665a53e59d090b6fec281ae84bd36ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	LetDef0	False	Passed	Model Under Test Equivalent Model
b7ea9d3f99881d2015da433a5206efa6768a2bd0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Def1	True	Passed	Model Under Test Equivalent Model
eebd7cd1b2bf46ef08984dd1ebde976f2479c9c7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Def1	False	Passed	Model Under Test Equivalent Model
19a640d156c432c2daf9486877b64c5e743baa82	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	LetDef1	True	Passed	Model Under Test Equivalent Model
346bfb5e5e55fec8222ec04a387777f56363cc16	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	LetDef1	False	Passed	Model Under Test Equivalent Model
dff8cd254cdacc660869d7428b12445c2c977ab1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Def2	True	Passed	Model Under Test Equivalent Model
6e504d603ccacddae350e782e8e8f49187774b8e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Def2	False	Passed	Model Under Test Equivalent Model
db28e695f66a3526459174159b66c52f81ed7edc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	LetDef2	True	Passed	Model Under Test Equivalent Model
c030726347bb21fb0e8eb31a48aa9c44aafead17	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	LetDef2	False	Passed	Model Under Test Equivalent Model
9a7589ca562b182e041214262951185a850fe005	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Def1Recursive	True	Passed	Model Under Test Equivalent Model
e28e79a24cd4215da25f067605b20dac0af52440	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Def1Recursive	False	Passed	Model Under Test Equivalent Model
fda2cde871a43b9b578001fe0cd91bdb64f53706	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
1e8921da037f576e42edc5e9f148c135fe1aaaca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	LetDef1Recursive	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
68fc21194cbae54920b87f97a52e464a3b0f59ad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
d355f721e1548b0edf2755f8d5d78c018508ac5f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
181d32012e04597c8a53604be69c4537c0ad2eba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Variable	True	Passed	Model Under Test Equivalent Model
5607b640d21340a542e45c69294c37c11db0d243	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Variable	False	Passed	Model Under Test Equivalent Model
7c281cf6de5e91ea90062f605eda56c38e4d34a5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Constant	True	Passed	Model Under Test Equivalent Model
e5c40528c6e7a952ee000cee6e53b9d7f01b19b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Constant	False	Passed	Model Under Test Equivalent Model
b926bf55d440671ee9c051143c6bed7c8c6218c2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
b750826488baa12e4defa29a25221ac20ca27ffc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
bd413644ac064e2af7b96b70225a368441b06f4f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	ConstantRank1	True	Passed	Model Under Test Equivalent Model
ee0fb4db338edf1aeb7b2f56cf02f6a0365a211b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	ConstantRank1	False	Passed	Model Under Test Equivalent Model
fa8a6d827f91195d7b92dc4919bc2e60d76a1a4a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Instance	True	Passed	Model Under Test Equivalent Model
5f465fee2b5abafd69f0940611c5fed5cad58936	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Instance	False	Passed	Model Under Test Equivalent Model
f50b0db72f5ed213814922199799d04503acf00d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	InstanceWith	True	Passed	Model Under Test Equivalent Model
e7346dcdc96ad4e093e05a7e2734e6d793fba05b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	InstanceWith	False	Passed	Model Under Test Equivalent Model
13f3e41374ec88d259e442f894fc53c75d3ee22b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	InstanceNamed	True	Passed	Model Under Test Equivalent Model
ebc835ab4b6d17ee4b701b49c60c8d0a7f67c67e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	InstanceNamed	False	Passed	Model Under Test Equivalent Model
6edfcf06e657ee601e723b93584c1f9f19a9fe68	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
5cb859546174db3a733bcbfe615500cb58290f84	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
06882ee367c62816bdcbf5f9a1304a0d6a882e17	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
882c41694b0559a048a2d49bc6f9cae91441728c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
d1ab9517924058918258522078b3d9e2cfb623e8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
2adb4f1e2b4892a6fcf698e10ca52f56d6cca1d1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
64b53bebbaa598a0102c33e1533b0992e2c20916	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
2ecc70c9b2aedf4f801cc452f1ff009dfd09db47	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
4cb8d2a149ab1a67b19d8924a98315443fa2bfab	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
fc505f7985538a3654042db9a01bf9447db4dc80	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
b6b74a687042875da35a952cf904aced0a34b3b8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Enabled	True	Passed	Model Under Test Equivalent Model
d57a1cff4de1ab786e1f08c890ef37a1b507b9c2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Enabled	False	Passed	Model Under Test Equivalent Model
1252cb16722c7bb91052e16c49c7316301c84bb4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Cross2	True	Passed	Model Under Test Equivalent Model
5793b485c9afd6934808ecc5ec35e2055c5f5ec7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Cross2	False	Passed	Model Under Test Equivalent Model
47d2a086af6d0a11071d9702a5970bcd82b4fe52	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Cross3	True	Passed	Model Under Test Equivalent Model
1fa19d25b68b3c9534db3e9cfe98c0ab1a0d0376	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Cross3	False	Passed	Model Under Test Equivalent Model
c049b91d34f37fecb43b63e946dfa855e1ca5281	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	FunSet	True	Passed	Model Under Test Equivalent Model
7911ef1a936149db8c7f33dc27693366fe8e9d19	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	FunSet	False	Passed	Model Under Test Equivalent Model
732f5fe7f31872436858cac20e508c82773c9c86	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	RecordSet	True	Passed	Model Under Test Equivalent Model
5b567462daede05403c155e5caeb4442108fb2d3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	RecordSet	False	Passed	Model Under Test Equivalent Model
ae41f7b9015ea050d24faa5d91b17432caefb2d8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SetDiff	True	Passed	Model Under Test Equivalent Model
bf37db60f33bda89f4683077b6745a40acd92a5f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SetDiff	False	Passed	Model Under Test Equivalent Model
76dd1650ef984705fb674e8315a6646950776cb5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SetUnion	True	Passed	Model Under Test Equivalent Model
c2738bae0444ea44459a6fa1f0c455a75b169d54	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SetUnion	False	Passed	Model Under Test Equivalent Model
1f6f541a1ff52709de327b5b8a5467badd79f6da	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SetIntersect	True	Passed	Model Under Test Equivalent Model
ab1a83b3ee5555e525a397926c08a67cd806a643	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SetIntersect	False	Passed	Model Under Test Equivalent Model
bf7e55595fb71a37aad015de242d01ccdc0805e7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SubsetEq	True	Passed	Model Under Test Equivalent Model
1b856be8a485fffed0bee485d98e969659cd2865	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SubsetEq	False	Passed	Model Under Test Equivalent Model
cfc4c642ae00b947bd6db276aa8a1257f1582d6c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	IfCond	True	Passed	Model Under Test Equivalent Model
75ed581860fd1df213ecce5d699e09841603b933	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	IfCond	False	Passed	Model Under Test Equivalent Model
d1146c69fc66f0d322741cda17ba90995e1cd5ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	IfThen	True	Passed	Model Under Test Equivalent Model
dbcbe43b2aa52c5beceb0fad2de4f39e87299b2e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	IfThen	False	Passed	Model Under Test Equivalent Model
95ad9aa46ec076225f305b88af658c0050023d4c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	IfElse	True	Passed	Model Under Test Equivalent Model
125b0d30acad5707f783385dcb9bb83f13a4e5da	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	IfElse	False	Passed	Model Under Test Equivalent Model
669c0f3b01c9a52c10d36b8ebaf9aebc70b422c9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Subset	True	Passed	Model Under Test Equivalent Model
3736ed8cbcee8873ac33c13afc080b1022565163	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Subset	False	Passed	Model Under Test Equivalent Model
07a0152019bcc263e1372093f7f69c5004729485	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Domain	True	Passed	Model Under Test Equivalent Model
b02fafcce94aaa005f7bcb0132112fc68a469645	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Domain	False	Passed	Model Under Test Equivalent Model
831062b9c0c372c15a389497e08060ca0d6263d5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Union	True	Passed	Model Under Test Equivalent Model
870ed846fbace7da3db3c20ab265be0100f97760	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Union	False	Passed	Model Under Test Equivalent Model
0eb247aa92badb98848366f5d12f9aacb49523b4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Unchanged	True	Passed	Model Under Test Equivalent Model
a7936a64ceac2858c77d2e167329d6a5de7a0f1c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Unchanged	False	Passed	Model Under Test Equivalent Model
7fd380f72ea5c1f50497f3fbdb4822e75e384291	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Equivalence	True	Passed	Model Under Test Equivalent Model
cca3527612b455a33948de86c222cf28e5960f37	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Equivalence	False	Passed	Model Under Test Equivalent Model
535c7033ea751dfcfa595d6261caafbd9d309084	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	StringEmpty	True	Passed	Model Under Test Equivalent Model
de8626c5d7ecab0a4f169b5f833045a4eec61fd4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	StringEmpty	False	Passed	Model Under Test Equivalent Model
4c515f7949a54d57c7e43758c231019a6189364b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	String	True	Passed	Model Under Test Equivalent Model
8aa8f4063419ef2f822a72e6ac502e724b3e0a4e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	String	False	Passed	Model Under Test Equivalent Model
1a4e2340f66a93a4874012de09014c58c2f0d9a6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SeqLen	True	Passed	Model Under Test Equivalent Model
3ea3e3389d165ff29f7450fdb9ea4a769c4f7826	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SeqLen	False	Passed	Model Under Test Equivalent Model
7c3fd779616def084a592ba0b0dbed83b661ed97	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SeqConcat	True	Passed	Model Under Test Equivalent Model
ec8ec867644968467bbe1f97c98e4ac2051e8497	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SeqConcat	False	Passed	Model Under Test Equivalent Model
36445dcddc2211a30f8830562f2297e7fa9afa10	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
9c320473a9e5d60812def4f31c4a2dbf545ed307	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
1c749e4cf047296ddee1823cbd41bf101482e948	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
409920ee295f843202720e5c1c8954653586b971	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
13b2ee84b29b978e0b9fc76822552fc5f93023fe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumRange	True	Passed	Model Under Test Equivalent Model
8dfd751e3e846f0e3b45f3c7cc35d4c120e4bf9a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	NumRange	False	Passed	Model Under Test Equivalent Model
a5fafdac8320865a6d957b3fe9b730170fdae19e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
78881c19dc55190a2f0daf65a3c11774f32ebdec	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
c8a0835347169566013f7a4a9db31a6b68add62b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
b748e5631841d8c9c9aaf7fbc399a55c59fd7214	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
d2b1597cee981be1765ecfe9d52318766b899967	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
960cc2c199eb8a8101a732d1ad8f93328a4b762a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
8c7137d7a2ffade7808007d1cf77edf3f1f096b4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
eeb1c4cd5332383f6274d3e607fbe4a412476671	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
8f86744c35878deeedaab2133766ea9af2a6aab1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	TlcEval	True	Passed	Model Under Test Equivalent Model
f2f303f5bf684e56d9b552ed1381990c3a5c8fc3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	TlcEval	False	Passed	Model Under Test Equivalent Model
ac2fd802df18b7f91650632c8c760b726fd71343	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagBagToSet	True	Passed	Model Under Test Equivalent Model
387df539a1ed968ed2742f11ebdd7ac4b017fcff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagBagToSet	False	Passed	Model Under Test Equivalent Model
b1f2bf88867f4e67c396ba4d739aa1fd3cc59dc3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagSetToBag	True	Passed	Model Under Test Equivalent Model
2e387f6a6388d128ecb1d278cb7503c1009823f1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagSetToBag	False	Passed	Model Under Test Equivalent Model
583f1b5806543914e3f579be778f9e6792b7f186	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagBagIn	True	Passed	Model Under Test Equivalent Model
18c7846a86ed87eb32086d3933a6176aded7a8c9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagBagIn	False	Passed	Model Under Test Equivalent Model
f371dc207dddd76d9e70bf9845908c01040363b6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
356c325556770f85bab411bcd38272fa2e612b53	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
2110c9a36214379962b0c1874432fc30378c395a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagAddBag	True	Passed	Model Under Test Equivalent Model
fdf095d07273a2414fdf7d1b62dcce62652c7834	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagAddBag	False	Passed	Model Under Test Equivalent Model
c9447ed299fd6de9001cbd4536b4fb0ec12808c8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagBagSub	True	Passed	Model Under Test Equivalent Model
8f4587058dd6226123dbb9aa34a8b75c25d27a38	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagBagSub	False	Passed	Model Under Test Equivalent Model
bbd94920051242470a65e9177cf49eac5986087b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
d725c03043a0f0d812306a693d88b225c81e47e3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
9987c4cd9ff295dd0acab5194978103010ee3827	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
3753595500423c36619929332a9704a9d7cfe1e1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
ac7f6eddee8f45063cda4c602c3c97837ef8964a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagBagUnion	True	Passed	Model Under Test Equivalent Model
6b33386a64f0c6425ad2d1cfcbea3929fb5947b9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagBagUnion	False	Passed	Model Under Test Equivalent Model
748673aaf0f9856ece967d713d1087d37f8427ec	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
a2a5d300c65940d89c5241ca869156c810757973	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
2bc6274717b952c7112b78df26e8a14f554443cb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
04675389962c92b4a3084c868b53f6462d594bad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
852f5e32c8f596a93ed17786b0727c647153d71d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagSubBag	True	Passed	Model Under Test Equivalent Model
1810e01c769f57b88b2fe6635bfb92d7087ec1a7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	BagSubBag	False	Passed	Model Under Test Equivalent Model
dd027969ed596ed87cce9287dd82c63476638b94	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
30fc10989d36e468f62f1e0f8944291ddefbc83e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
edd908f231ce4a6f27250fa668f7dedb39daffe1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
a23c50c66cdf6d1b9b75575c6df5c6f7b0daa54f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
4e2d597789d2343761404a83292aa73882513196	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SeqHead	True	Passed	Model Under Test Equivalent Model
e0939c9a07ea61469d2b55a429e9afe5ed8f7050	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SeqHead	False	Passed	Model Under Test Equivalent Model
efbf17d3125da216fc2391da1d7b075c0cc5fdc0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SeqTail	True	Passed	Model Under Test Equivalent Model
4406f0e8e33da319ce56020043c768f661523250	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SeqTail	False	Passed	Model Under Test Equivalent Model
163bfaba9a87ecd4fa76092fc92bdb08d07e7a42	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SeqAppend	True	Passed	Model Under Test Equivalent Model
64e8372f08dff3b213269e727e830a6cd98363f8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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