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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
ceaf03da64100e3d849666abc1a17213ba11c7ac	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	OneLineComment	True	Passed	Model Under Test Equivalent Model
ee6a929d86073248828300e022537ee6c80ead41	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	OneLineComment	False	Passed	Model Under Test Equivalent Model
11846a8d3545c3d56a7711a60cf26ab3c27c7d01	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	MultiLineComment	True	Passed	Model Under Test Equivalent Model
1c771bddcf1798e98ea3f193308ddb111f4428c1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	MultiLineComment	False	Passed	Model Under Test Equivalent Model
c9d19853d3cd02ede3430489dda806b744f6517b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BoolTrue	True	Passed	Model Under Test Equivalent Model
7e87c26ee5519b7f4e2219a635b2d3e5ba8f17eb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BoolTrue	False	Passed	Model Under Test Equivalent Model
231b4ec82d713fa0c40b7d5da9f8ec8e543bb985	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BoolFalse	True	Passed	Model Under Test Equivalent Model
6eb3003a5572a6ce2ae80329e54e23aef94cca00	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BoolFalse	False	Passed	Model Under Test Equivalent Model
cd6574896ccfe6325346397f910756902a4bdbf6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BoolSet	True	Passed	Model Under Test Equivalent Model
a934fb5645e9c2ad04ce7a4a99ad9ace22e6e936	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BoolSet	False	Passed	Model Under Test Equivalent Model
5c5c3ee025c914cd5549cad9606ed6490095b385	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	And	True	Passed	Model Under Test Equivalent Model
b98284d9e259dea09fa73ecd035f0443845dfabe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	And	False	Passed	Model Under Test Equivalent Model
ccc41e695058a6c50002dd5bea1d819b58a21e2d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	AndMultiLine	True	Passed	Model Under Test Equivalent Model
9f477c97beaa9ff48d1479edfcf3960d845f5e5a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	AndMultiLine	False	Passed	Model Under Test Equivalent Model
1400fb72722c8a56541005aae1d08c1f6844123b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Imply	True	Passed	Model Under Test Equivalent Model
6539edc18dc5b9357755a7a61f2462ccce343829	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Imply	False	Passed	Model Under Test Equivalent Model
8d86cb0bd0514deafeb01fb3def670517d419bb4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Not	True	Passed	Model Under Test Equivalent Model
0268808f4c2a5ea49dbd2c47d171cd3b21e8c0aa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Not	False	Passed	Model Under Test Equivalent Model
a23caf902c86f9ff3c08f4786c1fcb561a68927a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Or	True	Passed	Model Under Test Equivalent Model
db453be187e4a2e4fa5e1116cc1653bd8b35cfe8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Or	False	Passed	Model Under Test Equivalent Model
c7b920b495e5203cfecfd4b0bbd8586f805a9213	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	OrMultiLine	True	Passed	Model Under Test Equivalent Model
808221616d52b5ee48d71deff59d6f84944f7986	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	OrMultiLine	False	Passed	Model Under Test Equivalent Model
c662c125632c8647e853cf44f059316ee53c04df	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Eq	True	Passed	Model Under Test Equivalent Model
e9dec05d4b5b3d3c82fe4c938c5853dbdd17b599	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Eq	False	Passed	Model Under Test Equivalent Model
c8970894fe96e5d8161c952949c8cdb2e0b08722	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Ne	True	Passed	Model Under Test Equivalent Model
79ff480e722d5cb95b511c30e350a68ca79b286d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Ne	False	Passed	Model Under Test Equivalent Model
7667233443e08676c0eceddee466604218b4ab01	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Let	True	Passed	Model Under Test Equivalent Model
a816a5b39b7fe48451ac90c8e2e7f13214a60b2f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Let	False	Passed	Model Under Test Equivalent Model
5906dddec348930a17a5f5f99c0f0f559e63570e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SetEmpty	True	Passed	Model Under Test Equivalent Model
7e87ac22b5414413613101c1b9737aa891b127e7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SetEmpty	False	Passed	Model Under Test Equivalent Model
0594370f172ed2a323efb905feaa84ed7e664282	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Set0	True	Passed	Model Under Test Equivalent Model
e18009b2f55a243d484c0d124c88e9e61327b895	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Set0	False	Passed	Model Under Test Equivalent Model
1293c238a83a685bc78ccfd154782cdf54de629d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Set1	True	Passed	Model Under Test Equivalent Model
7f8974ccf1a16cae3a273ff32bbe99482311f1eb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Set1	False	Passed	Model Under Test Equivalent Model
f371ed082d9b9d34eb559aa87bc043f919a097e2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Set2	True	Passed	Model Under Test Equivalent Model
bdfe9c3f18f86a874fea1d02e15f071ac05e6506	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Set2	False	Passed	Model Under Test Equivalent Model
c8e5d39f8cfc4be4cfd7f257b7cf849e0d2fdbf2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Fun	True	Passed	Model Under Test Equivalent Model
bf3c1f68ba6544693b9d024744fcc39f22b3275c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Fun	False	Passed	Model Under Test Equivalent Model
5a5a2586adc862c9071560526df63f2305d47ff8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	In	True	Passed	Model Under Test Equivalent Model
55ade82cfebad730ab6a48669cd7a6260ad170c8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	In	False	Passed	Model Under Test Equivalent Model
edb06ac780227c655df446096aed7a528cde29e0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NotIn	True	Passed	Model Under Test Equivalent Model
a09bb6011edb5255eefd95e24fb6e4c1c4e99f80	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NotIn	False	Passed	Model Under Test Equivalent Model
7a77a3c4b7cbdd4740420f6d3ec405f27cf5c96e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Exists	True	Passed	Model Under Test Equivalent Model
0ba13d45580ae1bf8ad71b0dc3a7135d273e8b31	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Exists	False	Passed	Model Under Test Equivalent Model
208fca7a8df158040bd19dafe4d124cc0749c867	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Forall	True	Passed	Model Under Test Equivalent Model
ddab562de0632f69da13783c8ce1cdc3143b05c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Forall	False	Passed	Model Under Test Equivalent Model
725af682f1868ddd745504b60f8c9f1812c7b48a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Choose	True	Passed	Model Under Test Equivalent Model
8feeb48ca0169f9990f9e143df6a250510d6419f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Choose	False	Passed	Model Under Test Equivalent Model
9c03cd549533edac4597ec9d5257b20a7a4a8fc5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Record	True	Passed	Model Under Test Equivalent Model
35f99884d2f4b8913c3ff66e659c6d399afd7afa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Record	False	Passed	Model Under Test Equivalent Model
d62393adc6655c95cede644605f32489cb1d1297	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Tuple	True	Passed	Model Under Test Equivalent Model
326fc18b5d6240446518f11ede17b933174e3ee3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Tuple	False	Passed	Model Under Test Equivalent Model
6ad9051324d91449f9080112aed1e09981bd8f97	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	TupleEmpty	True	Passed	Model Under Test Equivalent Model
aaed2d48ed3407f32553d3b2850f8f84cf02d219	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	TupleEmpty	False	Passed	Model Under Test Equivalent Model
c60c13685b8cbcc42578e8f3c1f27c9483a62695	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	FunApp	True	Passed	Model Under Test Equivalent Model
75fcf4479a0811291d14f0c3d3282da2f5acfb87	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	FunApp	False	Passed	Model Under Test Equivalent Model
7ac875de6bf3522a86ba4418bf95373ada426633	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Prime	True	Passed	Model Under Test Equivalent Model
f5256a1f9026c33a124030030dff5c6b20abb387	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Prime	False	Passed	Model Under Test Equivalent Model
831e7a993df51f2d536654f07bb7a32dc9ef6d19	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumZero	True	Passed	Model Under Test Equivalent Model
a2520af3fa446229096d57beafdbff27cec41dbe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumZero	False	Passed	Model Under Test Equivalent Model
28d5b1aa3b17c2f32594f4638d495678e87d6cd7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumOne	True	Passed	Model Under Test Equivalent Model
a52f9d72042525e2e27931a125e22674b4f949f9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumOne	False	Passed	Model Under Test Equivalent Model
0cfd40576803a59d0e51a87f23b2d177ebf34b42	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumMaxInt	True	Passed	Model Under Test Equivalent Model
4ec2e17a33e307b417f1aab94d97f64cfc24af64	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumMaxInt	False	Passed	Model Under Test Equivalent Model
2ee171126572991a59ed1f453b78b1821f032a47	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
056188fb20fd6e467b06e6b132fcbbaa0a99c095	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
59e9365db31ecd36d86f6cacc208e0e67cb11787	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumPlus	True	Passed	Model Under Test Equivalent Model
73f98210c2f8ce0e924e74a0d67f1bcb541aae17	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumPlus	False	Passed	Model Under Test Equivalent Model
dfd38d1dd4ece5c7e47b0e0f3696bd16358da6b8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumMinus	True	Passed	Model Under Test Equivalent Model
63dcd9b6c46dbae1b293eb3ccc61cf78ed3ad51d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumMinus	False	Passed	Model Under Test Equivalent Model
691e9a098ceb3603bb6d75423a96b3e6fb7ebb0f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumMul	True	Passed	Model Under Test Equivalent Model
fc68b3da27c7df8b1d166fb9fcdadc9bf2f55970	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumMul	False	Passed	Model Under Test Equivalent Model
27e1f9bbe4d79e96c133bd685c3776f395dbb54d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumDiv	True	Passed	Model Under Test Equivalent Model
238bbc950ddebf978d1e7de3f53d5941d3c64c75	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumDiv	False	Passed	Model Under Test Equivalent Model
7426c68deea5efd8c099af1c0494abbead9cf501	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumMod	True	Passed	Model Under Test Equivalent Model
3b943c78ae46974094c60d3786b21a3223903804	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumMod	False	Passed	Model Under Test Equivalent Model
302ad81aa520c364a8b49bd8b6511deddf15875b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumPow	True	Passed	Model Under Test Equivalent Model
096e52cc6c1f6284b201f7bb6e9e95fb42648a04	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumPow	False	Passed	Model Under Test Equivalent Model
4613a25f5adfb68236e8f5ac8caa7b7a259921a2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumGt	True	Passed	Model Under Test Equivalent Model
ac119b71c9fbe0214db35ab6ebf25956735df413	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumGt	False	Passed	Model Under Test Equivalent Model
f98c19c1cda9cb3d354a5901e852aa01d7aaf68d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumGe	True	Passed	Model Under Test Equivalent Model
218420caed4d7971f25ec9047468c4be97996994	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumGe	False	Passed	Model Under Test Equivalent Model
708685fdad1026956699a4ea5bd362ea0357fb3c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumLt	True	Passed	Model Under Test Equivalent Model
aec0b3f66e878b3ceb9b974504b08eca02fe0802	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumLt	False	Passed	Model Under Test Equivalent Model
1b9822e7c3c91310c04ffb76eafad827e56a3e51	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumLe	True	Passed	Model Under Test Equivalent Model
1996afd59ae3f40d4e229ce7844d54bd6a272460	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumLe	False	Passed	Model Under Test Equivalent Model
b0c994f6bd2d79880a60a0c726794cab5c12ccee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	DefFun	True	Passed	Model Under Test Equivalent Model
c397abde5f9c1e0e03ae703a6d40a9883aa44e6e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	DefFun	False	Passed	Model Under Test Equivalent Model
389943a63d5fd97a886b55e2145e91038029650e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	LetDefFun	True	Passed	Model Under Test Equivalent Model
256b7ad5ebe80c1cdb1486537e5116e9e323db3f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	LetDefFun	False	Passed	Model Under Test Equivalent Model
b5743025ec7104da1b1b2e52f210343025b5b7f3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
55bb66a42af4330a7cb1cf475995beb64b37115e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
9f699a1eac12c12a52debd09edffb3207dc3eca5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
fbb0afe2c57b610ba48f652bb39fe6f5dc262c9b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
7d365e316ae9fbed36f1a45c90a04b13e11e0ae1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Def0	True	Passed	Model Under Test Equivalent Model
d60802a6f4321171dc5e9ae607513169478dca6d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Def0	False	Passed	Model Under Test Equivalent Model
c6780da551c2ccf8f7f7a14dffad9c7ff9d3e10e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	LetDef0	True	Passed	Model Under Test Equivalent Model
ddf5f8ee2ea03dcec6ecbc98ec7e8f5df3e1c375	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	LetDef0	False	Passed	Model Under Test Equivalent Model
8f41e266806ba19e20f3bf12e309faa790f2b7ca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Def1	True	Passed	Model Under Test Equivalent Model
d7cec6aac837d6d77b36cc50fb2b51b5df5fa9ea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Def1	False	Passed	Model Under Test Equivalent Model
c3f4a05e4b9938d32bb555eab01bfcaf74f9d811	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	LetDef1	True	Passed	Model Under Test Equivalent Model
70ad602b1c5a274710a829ef9d41e34654a42763	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	LetDef1	False	Passed	Model Under Test Equivalent Model
8835ed1829d590d74783b89d28c0d6c4ffb16c07	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Def2	True	Passed	Model Under Test Equivalent Model
d6324822f4a000544ef1d30290ea64f28a8d7f28	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Def2	False	Passed	Model Under Test Equivalent Model
d62d91e4de07762bea8cc048f274a248b31314d1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	LetDef2	True	Passed	Model Under Test Equivalent Model
cf8c0d7fd6f5df7e3f4e866edcbd41f64a748156	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	LetDef2	False	Passed	Model Under Test Equivalent Model
b63de2329b3c9f58662b7edd04d16474bb5bbc67	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Def1Recursive	True	Passed	Model Under Test Equivalent Model
e8cb1613fe082119a0c2c2a97312cfbd1dbb1f2f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Def1Recursive	False	Passed	Model Under Test Equivalent Model
fe7c5a64863dc7e8707331fc7d8b720736ca3371	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
da3cbc4d8ae6de1873567a50a4826e01d9769e57	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
11d78aedebf0d13cda7cc1ed59e5871d10bb91dd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Extends	True	Passed	Model Under Test Equivalent Model
e85cbf9c7b9caa8e96c4df220b76c1380ab3bdcf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Extends	False	Passed	Model Under Test Equivalent Model
dd2bc24f82511ec09858bd7634cd0043ed68679f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
9b026cc71639fc3b43d3afba4e6c70aae3d4a55e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
63564ae867b66ccd185ea86ae566ae6288fa892a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Variable	True	Passed	Model Under Test Equivalent Model
aa3694bc5a8c458bb36d5cec253e212f62748ef0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Variable	False	Passed	Model Under Test Equivalent Model
5b8722435f538987c20da63e2d4ba535f657242a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Constant	True	Passed	Model Under Test Equivalent Model
55e831aff2607da007d0c044a5fc9acc25e2fca9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Constant	False	Passed	Model Under Test Equivalent Model
1cd19ae96c2e7210fe14925bc2d49181f4a22476	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
9434d8353b3d5747bb1443fbfba37cccf0c2968f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
123816d981da18b90d17290894ec4fc88a2984da	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	ConstantRank1	True	Passed	Model Under Test Equivalent Model
261947d75083b3d17e133b047f111b048fff9b06	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	ConstantRank1	False	Passed	Model Under Test Equivalent Model
b504dcb57106f5be82155a5d5ffad3e135817466	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Instance	True	Passed	Model Under Test Equivalent Model
f379c5cc6724176cd11355d5ceea56e24402a780	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Instance	False	Passed	Model Under Test Equivalent Model
18f6947d8f903d096c7167c36aebbaeb138b1c1a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	InstanceWith	True	Passed	Model Under Test Equivalent Model
fd37fe9b93a4e1981afed765e2531e42c26072fd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	InstanceWith	False	Passed	Model Under Test Equivalent Model
b972d975dbee287eb8a2c196784a50e4a4d861b1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	InstanceNamed	True	Passed	Model Under Test Equivalent Model
3c5a7a609da33d3e7daa67c1d58ef8303ab03528	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	InstanceNamed	False	Passed	Model Under Test Equivalent Model
e0c2d704688f97b76f4378e862005d07550c5061	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
c533536d88e4ef73f76cf1eb880d91248707816f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
557f787c2561a2cbca300f55b79ec915ad115aa7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
5d0c718a31c6aff6a029990eefb83759daaf0b8a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
9727b364098a1ffcea22214d3bdbdf8faaadc2ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
3a11600151817c262a7d6d9f85fc0edf194b2d7b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
d60eb90f7eaddd6e0551200fd464e5c79f93ed4d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
f2c064980d9f08e2612827cf1b789b49677bd6b0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
b9fb4915ba488aec00deae43cea69b54c3fa60bc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
f9f7c2df765ee987d55dbb207d4e3b40bbc9b86c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
ef8746a7ceac3f8f2c1bd12c63012d5ddecdc5dd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Enabled	True	Passed	Model Under Test Equivalent Model
2351ec755752efac26251cc0a49346aa083ef433	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Enabled	False	Passed	Model Under Test Equivalent Model
e75ea09d383903308a0b52843def951d2b63510d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Cross2	True	Passed	Model Under Test Equivalent Model
e5af430daca6d209f1ee28b14212306e230b398a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Cross2	False	Passed	Model Under Test Equivalent Model
62df7d35eb700c288607634aefe913ffae97d136	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Cross3	True	Passed	Model Under Test Equivalent Model
e03b8aa2273daba1f5c6deddf13f55955d8bb4ef	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Cross3	False	Passed	Model Under Test Equivalent Model
c025aac83cdb339dcf9cf9008667d11a764db8cf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	FunSet	True	Passed	Model Under Test Equivalent Model
084e32ebd6edb5963252b9fecabce24ee6aa1ebc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	FunSet	False	Passed	Model Under Test Equivalent Model
e0c6f1eaf99d0d5322d8d66576bcdb4ac4dbcbaf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	RecordSet	True	Passed	Model Under Test Equivalent Model
d5c479ac784f04eb7f1e476a895e1614a149fb9a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	RecordSet	False	Passed	Model Under Test Equivalent Model
605c6d06943c26e7292b12c8eaaa752fdc04e3d4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SetDiff	True	Passed	Model Under Test Equivalent Model
b8e02501c3f4182a695ab0ba6e34d53e1093475c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SetDiff	False	Passed	Model Under Test Equivalent Model
0ead108a151e70d9d32f79a6eaf445877924e78e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SetUnion	True	Passed	Model Under Test Equivalent Model
0d9d050f5d4fe8520567021b2462f8c9660296d9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SetUnion	False	Passed	Model Under Test Equivalent Model
9c9ab205375b58372cba48a14a6b43ed91cdce57	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SetIntersect	True	Passed	Model Under Test Equivalent Model
a6b2c7850ac638e591960e3010cab95f019a3cfa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SetIntersect	False	Passed	Model Under Test Equivalent Model
7d867f9ea3b6c8f178af27582fde7bb6dd0ab181	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SubsetEq	True	Passed	Model Under Test Equivalent Model
062a7a8f24e55590bf4afc726777657bf3dfe0d1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SubsetEq	False	Passed	Model Under Test Equivalent Model
8a18910bda4142c11c4a5e80523156ca7f442db0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	IfCond	True	Passed	Model Under Test Equivalent Model
1b02d116cb35194b3d3f354161f931f95b050a49	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	IfCond	False	Passed	Model Under Test Equivalent Model
982d23fc163ce390db997cd090855948eb8b2bdb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	IfThen	True	Passed	Model Under Test Equivalent Model
fe4a0b1c631070601e5a56c1119b9e270354a168	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	IfThen	False	Passed	Model Under Test Equivalent Model
b5c5d7c62119128de0c4b2e1c74a37997ac4a43b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	IfElse	True	Passed	Model Under Test Equivalent Model
94384721cf86be755453a7ff4c41b3b9adff3368	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	IfElse	False	Passed	Model Under Test Equivalent Model
1d12d967177d9dcb367c7968b88d6ea02681ec01	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Subset	True	Passed	Model Under Test Equivalent Model
9d0bf7ed9cc890f788f0470279800f8b9c5446a4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Subset	False	Passed	Model Under Test Equivalent Model
85fa98ae2848588828acf5d6be749ec3dfd97d18	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Domain	True	Passed	Model Under Test Equivalent Model
e4b7b677813fe49d27bfa604ff7333eda0545a62	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Domain	False	Passed	Model Under Test Equivalent Model
71e68fc2f53f2635d1dc3c7b1d57aae16740941f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Union	True	Passed	Model Under Test Equivalent Model
668dceaf59147473cd9da2703007d53349222081	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Union	False	Passed	Model Under Test Equivalent Model
deac3583ccf23555fba652f80c84542062fd2a3c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Unchanged	True	Passed	Model Under Test Equivalent Model
11d4e1bf250d52ab78107aecf2bdddfe6e18e84c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Unchanged	False	Passed	Model Under Test Equivalent Model
b532cd8c3dfbedf62dd1811eb3319b03992e60c6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Equivalence	True	Passed	Model Under Test Equivalent Model
93d6509fb8fed007b93b1458fa0977dc8196230c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Equivalence	False	Passed	Model Under Test Equivalent Model
701ec0d9d6570be590e9d977dc029be5e29d9675	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	StringEmpty	True	Passed	Model Under Test Equivalent Model
724dd9ce5ce52a08a719cdef8cc22a4f52c7c0c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	StringEmpty	False	Passed	Model Under Test Equivalent Model
5796341a6cc76c9c8984417d1d14e1db6d67d8ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	String	True	Passed	Model Under Test Equivalent Model
9e884b08464cd0b9b9b76c391b7841c40a24a862	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	String	False	Passed	Model Under Test Equivalent Model
8a183b074ff0264f542815542e4028d4649f7fd6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SeqLen	True	Passed	Model Under Test Equivalent Model
b9cccf05f2aa6d0bc5f3befeb2483b8342c9c898	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SeqLen	False	Passed	Model Under Test Equivalent Model
b808f9454192a81949ffe43d4a673f39f4ca51dd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SeqConcat	True	Passed	Model Under Test Equivalent Model
a45dbf1538ed0ca6becc2975058f9edbb80d1f3e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SeqConcat	False	Passed	Model Under Test Equivalent Model
195ec3ca6bf559af4fe246a36dceb7f31f1a3602	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
7c513a3d814440436ab7c4cc2802dab0b38f87b4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
1e44072bb3e9832c43e4e09c03dbe11f9a025387	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
20bba3f64dde6fb7f192ed0b7aacca61e675a20a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
811c7c99b836e1217511398134e0e78b956e0205	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumRange	True	Passed	Model Under Test Equivalent Model
05ff4ab601eb6ecbc161fb6342112cca69a937b0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	NumRange	False	Passed	Model Under Test Equivalent Model
eb09929f453071226c58bc9095a2133b3abb1d50	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
c10af4b6b3b67fe79bf66a74c8f83b4d959c48e2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
ce4d71d74e999aef48b4ea35deac306f22134a6e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
d1e144be8e2372f0f6fb762da6c8e8d80eba1f11	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
201df1e9351e4e2f32d3a9db7f97ab5b9442864b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
bd4287fcd44af8f0af9d43bd51cbe1a6c75d6033	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
1e9131d661f4ab4e410b91b10ebc7a86a963b014	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
a25978fe483f102a1cf4737219192d6eb95b5015	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
6201f4ea28c216ebb0d3d5291510bff48ff7da87	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	TlcEval	True	Passed	Model Under Test Equivalent Model
597193d3f033fb0f7cf1e082396e986939acc17e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	TlcEval	False	Passed	Model Under Test Equivalent Model
36c72607ff69e00c793d10f1066ed4f9983aa89a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagBagToSet	True	Passed	Model Under Test Equivalent Model
3b427ccbe3bf45293b8ddd4435326fa6cc554bd4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagBagToSet	False	Passed	Model Under Test Equivalent Model
476262c7327c635a2459d2d13d0322cd66cb5aca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagSetToBag	True	Passed	Model Under Test Equivalent Model
d4d6ff73bfa5cd720a00a2c5afb5f38376e5c422	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagSetToBag	False	Passed	Model Under Test Equivalent Model
24bb212a8e4879c003418bdc37a11392b947ae4a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagBagIn	True	Passed	Model Under Test Equivalent Model
2c7b3531f600654c55b3f79ea5aaa9e0f991f2b3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagBagIn	False	Passed	Model Under Test Equivalent Model
25b0cde18637d5ab675bf874db2674c7119c18b1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
87dd9236f8bd813699e181cb1beecd7886730e32	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
bdc1e1aea4fb29422a312956b6f55401c1ec9aaa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagAddBag	True	Passed	Model Under Test Equivalent Model
f4d7adf48ab36c4e159dc53588f0531b9971be23	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagAddBag	False	Passed	Model Under Test Equivalent Model
5129b3c905e831ca3097e4bfbaf35ed90819ffae	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagBagSub	True	Passed	Model Under Test Equivalent Model
79d4abcc6e57038e132020574860440b5e72f92f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagBagSub	False	Passed	Model Under Test Equivalent Model
75f3fa171b8511985f0394ff7495eb3e6d99f95f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
0df1e47a4282280516d1f0fda5c5c2b750e656be	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
f7ff7d9846ec6135d2541a5a7a42d8f9cbb58af8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
bb1de35e747397657087a3e63ea9dce5e41d09dc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
33d9bff2e0ab0b83c9c559011f4a4961f353097b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagBagUnion	True	Passed	Model Under Test Equivalent Model
7a46fad1b452620049742176b1e658d1060a8b6b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagBagUnion	False	Passed	Model Under Test Equivalent Model
2aa079b445a4540e71624c2d70d154e65fa7a3a2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
45af3a5773b169d2683265ad2f88ce8e77e356e7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
25b76ada658f5814d266cb709ac9ffd9f2ec13bf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
dc29abcfb1434f2832b61030d997eda69c30f34b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
ac1c2c81900b257dc9980bd5ecd629b1976a9a25	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagSubBag	True	Passed	Model Under Test Equivalent Model
4d7a5344c2e6f73025467959a285268bdeaa39e0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	BagSubBag	False	Passed	Model Under Test Equivalent Model
409a69232e5c30088701ca2be1d0ee4860fa1e44	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
b7edf1ca8addd6cbabc6584198a65add35e09538	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
5fb5ab180c85a2dbd48fa0c2c1e61e5a23e11f31	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
71452d174c3bd1c3c87dcec4091f1e722f533722	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
1f438f4c3485921097acaa0827a8b5753ec9c38e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SeqHead	True	Passed	Model Under Test Equivalent Model
80de3358f4e6cde84cd9719fc4943340c8e305e3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SeqHead	False	Passed	Model Under Test Equivalent Model
24efec16e148f1750585a46cfaa285db6088ee30	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SeqTail	True	Passed	Model Under Test Equivalent Model
6e5b46d40e1f06edcaf4c4635b254b11dba371a1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SeqTail	False	Passed	Model Under Test Equivalent Model
81bc3fd349b4943700f3ec36f7dc98830f70c059	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SeqAppend	True	Passed	Model Under Test Equivalent Model
4ee3c6544a95eb430ac43092201ecacf96771ef5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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