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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
c019b4b6792f607980e0fd30971151d751128bde	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	Prime	True	Passed	Model Under Test Equivalent Model
9d6c46545025d9f34b388bad74772cf4654a8c77	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	Prime	False	Passed	Model Under Test Equivalent Model
7e49c6b096aa386986b608c103ca455de44e7f86	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	Prime	True	Passed	Model Under Test Equivalent Model
70ffc83e9df9b58ae0e09000a532cdd588e71cc2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	Prime	False	Passed	Model Under Test Equivalent Model
4c030cc1e3a6c56c7a024d40c7eae6c7338f47da	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	Prime	True	Passed	Model Under Test Equivalent Model
f276fafc79788f1d17fd289db9808d62d9f5af03	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	Prime	False	Passed	Model Under Test Equivalent Model
9dc002ed116f00c32013b183281e4342ffdb176a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	Prime	True	Passed	Model Under Test Equivalent Model
328bb5a1fddd871a5e57cd5f6f45d26b2fbeb841	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	Prime	False	Passed	Model Under Test Equivalent Model
2d8b4b581027c5a354788a0758140ceee67418fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	Prime	True	Passed	Model Under Test Equivalent Model
347f8d1850d940980fe0382cbfe13cbcd948c62e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	Prime	False	Passed	Model Under Test Equivalent Model
3388bbeff06a44af6a09a6257bb6d3427f8e5a3e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	Prime	True	Passed	Model Under Test Equivalent Model
71c2180857f7b2a2b70830f89c2e82da1be07863	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	Prime	False	Passed	Model Under Test Equivalent Model
b9b3c0aecc149f782339de5ed9dcfbcfc0677c84	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Prime	True	Passed	Model Under Test Equivalent Model
462adb7b106d35140f7f5cb27e7fc72e40959a0d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Prime	False	Passed	Model Under Test Equivalent Model
43cf0d73e76cc86d6114f836a26765e4bf8d433f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Prime	True	Passed	Model Under Test Equivalent Model
e21ac82c9337e31cc128cc1f73ff8a9b1b0102be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Prime	False	Passed	Model Under Test Equivalent Model
c819651dacb24896e956940f83b757a95f4e3954	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Prime	True	Passed	Model Under Test Equivalent Model
0d43dc9a7c9d9006df93273dffb7c235efa766f7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Prime	False	Passed	Model Under Test Equivalent Model
82e468560fc473a916ce3c2aba98970f9510ff18	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Prime	True	Passed	Model Under Test Equivalent Model
76288fafecfe00e9fa7d6fc57d2eeef968573976	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Prime	False	Passed	Model Under Test Equivalent Model
d90bf65aa554825fc147b7638efab65a7ea0a58d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Prime	True	Passed	Model Under Test Equivalent Model
208522e8c52a0f40c635c5e3340f84ac09bfb033	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Prime	False	Passed	Model Under Test Equivalent Model
a8b9f0d0b2e853bec87c38821e244ab145d60f43	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Prime	True	Passed	Model Under Test Equivalent Model
e994cbd39cc6b82613c5280eca3c96d3ea11aa8f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Prime	False	Passed	Model Under Test Equivalent Model
0d026571c8503e395d5b9dfd0f937087cbde4d0b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Prime	True	Passed	Model Under Test Equivalent Model
66e3f1c880ec5b30985e721f62712198bc540c1c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Prime	False	Passed	Model Under Test Equivalent Model
aebc07d07ebaaf92ee1ba293b35a13de130a3a8d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Prime	True	Passed	Model Under Test Equivalent Model
1ca7a706a2816831b7f7d300d1e35095e6812fbb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Prime	False	Passed	Model Under Test Equivalent Model
8956a63643414a025850a282793b0d04e394cfd1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Prime	True	Passed	Model Under Test Equivalent Model
622dc8c02dd0aafc7fc076743b043ccca6388d4c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Prime	False	Passed	Model Under Test Equivalent Model
7048c9574836d7df88cbd8af36aa7b7dafa9965b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Prime	True	Passed	Model Under Test Equivalent Model
ef7f38a3f3c09f39fa3205b41c75d87d31daa723	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Prime	False	Passed	Model Under Test Equivalent Model
f94761eab9695d802376ee255617dff726d7c870	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Prime	True	Passed	Model Under Test Equivalent Model
258ee9b816b3396d598493a3d48304cc5124957f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Prime	False	Passed	Model Under Test Equivalent Model
61ee5da99fb74fb698f6e4ac76fd9f8059c9b640	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Prime	True	Passed	Model Under Test Equivalent Model
838ca7cb8b55924ecb3115a6b36539ee7b1d271e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Prime	False	Passed	Model Under Test Equivalent Model
9441f744d549a164e3ac51dd1e63e7469840daf8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	Prime	True	Passed	Model Under Test Equivalent Model
658999c7a84d56ed94423b35c50221bd414cef2a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	Prime	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
52cac28f7edf14a236e11d23e87b8f6e0c349f33	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Prime	True	Passed	Model Under Test Equivalent Model
bbc4891f5d4bc19c86c738f23ffc618805c7ce72	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Prime	False	Passed	Model Under Test Equivalent Model
40451f3cac5912ba5b37f1602f742490b440a72c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Prime	True	Passed	Model Under Test Equivalent Model
441ce1771f09c2ec98b1df517f24f32cde230f97	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Prime	False	Passed	Model Under Test Equivalent Model
9d83a85df7ded940a261469053baf421be3ca6cd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except0	Prime	True	Passed	Model Under Test Equivalent Model
38f4ce34a3eeec17ff42d934e0d55821c4ae009b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except0	Prime	False	Passed	Model Under Test Equivalent Model
7a220261c1958f1d6c48b269ad18a20943b58b80	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Prime	True	Passed	Model Under Test Equivalent Model
b5ad47e3b713af131907bfa7135ff4bc09494ea9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Prime	False	Passed	Model Under Test Equivalent Model
41e16a65e47f66a96f97b6e5f00cf4489058f120	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Prime	True	Passed	Model Under Test Equivalent Model
ee5744c59eea8e2c9ae97ff004a9dfc46e0a7244	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Prime	False	Passed	Model Under Test Equivalent Model
50250d0ac24f670e19b7a4db08c3d1623ccd92ac	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Prime	True	Passed	Model Under Test Equivalent Model
3cae31547e72d90ba256b1768cf7afda47637163	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Prime	False	Passed	Model Under Test Equivalent Model
f4e43d5fc9d7be27d411c6ba336b976594a2d9bb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Prime	True	Passed	Model Under Test Equivalent Model
f2c61672ce603d282f637a4351dd13bba21a8761	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Prime	False	Passed	Model Under Test Equivalent Model
1c6c919806411aaefb86f630cdd6fcccab6fb060	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Prime	True	Passed	Model Under Test Equivalent Model
7c31a73206583eea2b420c41629189aeb1c7f770	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Prime	False	Passed	Model Under Test Equivalent Model
e70423892e6050fbc86bb7e76dc24fbd369c14a7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2FunTuple	Prime	True	Passed	Model Under Test Equivalent Model
dcb1a102f512a863a36324585fd68e10e40acc45	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2FunTuple	Prime	False	Passed	Model Under Test Equivalent Model
99ae633cb382779c9c0d53d2d013596d8ed8a8a8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumUnaryMinus	Prime	True	Passed	Model Under Test Equivalent Model
056dee016a75fbf712c20a4dcfa99fda0c6089c9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumUnaryMinus	Prime	False	Passed	Model Under Test Equivalent Model
ce997a532dea92067d476cdc3ebdd2deff4cba43	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumPlus	Prime	True	Passed	Model Under Test Equivalent Model
1cdd67c6469c15c60bfc736b5b2614ced3a0479f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumPlus	Prime	False	Passed	Model Under Test Equivalent Model
a1cf122e715bd2fe6f519b453e65e49ac5414afd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMinus	Prime	True	Passed	Model Under Test Equivalent Model
d276ec51f509d99f610462799caf251aaa3681a7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMinus	Prime	False	Passed	Model Under Test Equivalent Model
0dbe9009a79c3fa10de16a139bbb09e889e18aeb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMul	Prime	True	Passed	Model Under Test Equivalent Model
44d438c7e1ed7701652157ddeed9032f3194cf70	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMul	Prime	False	Passed	Model Under Test Equivalent Model
f53bb57ab9ffe752a80e7907cd61f08b0f1458ff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumDiv	Prime	True	Passed	Model Under Test Equivalent Model
7629822708efa1cbf5ffb954b8d1f2200a9767f7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumDiv	Prime	False	Passed	Model Under Test Equivalent Model
646463dc96080b1e132fe861bd5c07c2efebb566	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMod	Prime	True	Passed	Model Under Test Equivalent Model
5e19de2243a0789aadce124a63720daeee67e40b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMod	Prime	False	Passed	Model Under Test Equivalent Model
77716cf355ea5352731465e0f9877d5c3173e0a4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumPow	Prime	True	Passed	Model Under Test Equivalent Model
092a68000635df3175730da0d25a1df1f90be4ae	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumPow	Prime	False	Passed	Model Under Test Equivalent Model
076dcb0856a759ffe1d6f319798471080d949988	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumGt	Prime	True	Passed	Model Under Test Equivalent Model
c146dc22de5005f0e5edc48f918e8d3a40b1d1af	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumGt	Prime	False	Passed	Model Under Test Equivalent Model
80995bc0b61f8ce58571e32dd28e35edd2a674fd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumGe	Prime	True	Passed	Model Under Test Equivalent Model
572a31fefbec49aa71aedab27fe56e215c6cd0cf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumGe	Prime	False	Passed	Model Under Test Equivalent Model
d79040aa0dcfc7501c26f763283e63103e271ffd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumLt	Prime	True	Passed	Model Under Test Equivalent Model
d1bd14f994a0c409d7e09167adce20db15c1b3c3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumLt	Prime	False	Passed	Model Under Test Equivalent Model
ad2dc438a4124915f14ba0a37b4b2330d02fc3be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumLe	Prime	True	Passed	Model Under Test Equivalent Model
3931cd8e3deea5d025668f79504c201f92245fa9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumLe	Prime	False	Passed	Model Under Test Equivalent Model
1bbd4bb11d719744786148ce4e13bf09ca0415d5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Prime	True	Passed	Model Under Test Equivalent Model
f1728de34733c313b4e1a18d7a986ad1cd1357e7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Prime	False	Passed	Model Under Test Equivalent Model
0191779f607f912ab5f6caf949b4cd35f6b23754	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Prime	True	Passed	Model Under Test Equivalent Model
fa288dfa20e376b613ee69a2cf9069fecdda43d2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Prime	False	Passed	Model Under Test Equivalent Model
b8db065c8c33ead0ad6350fac4aa847820cc68d6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Prime	True	Passed	Model Under Test Equivalent Model
affce5aeae0b1b16a3c6c5c0f2747eb5c4f4ed09	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Prime	False	Passed	Model Under Test Equivalent Model
a01967594d9fedb9726d3999a0b57cf8a6a12e90	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Prime	True	Passed	Model Under Test Equivalent Model
2abf8ff0f956b62ef25af0fdec94ddc96d252170	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Prime	False	Passed	Model Under Test Equivalent Model
0a51a89e55accc62003a112b3dd5f66020b25c4f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Prime	True	Passed	Model Under Test Equivalent Model
763c2c2a138a52b41e872de8f1b5d46432cb258e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Prime	False	Passed	Model Under Test Equivalent Model
3510259bb787c6a61cb280ca889a49bc3cb30ab6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Prime	True	Passed	Model Under Test Equivalent Model
311ec55c6f5bd59ba97c3a9a1f36fae87b2aa944	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Prime	False	Passed	Model Under Test Equivalent Model
57b5f413dbfbd742dd80147363270b8721fb3588	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Prime	True	Passed	Model Under Test Equivalent Model
af2f1cac2f222d5ab5bd2e6c860c5b0c4ac99296	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Prime	False	Passed	Model Under Test Equivalent Model
ad7e0a976ea455467bb5cc8e9ba81a969718ae04	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Prime	True	Passed	Model Under Test Equivalent Model
f619db72f7fbf5b9616aa33575b1e9c1012053f6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Prime	False	Passed	Model Under Test Equivalent Model
cb2d3671c1e46418f63b8bcd480b8260c86cb034	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Prime	True	Passed	Model Under Test Equivalent Model
49b4510a798cf14f947220cec732944299f1c1e9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Prime	False	Passed	Model Under Test Equivalent Model
a8935a40f67ec3d75cfa035cb9cf16d9dca6a6ec	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Prime	True	Passed	Model Under Test Equivalent Model
3959ad07ee38db44ba233995f8b883e5eab57a4e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Prime	False	Passed	Model Under Test Equivalent Model
abb03a0b5ff7978599206c8ad573cd78f97e4691	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Prime	True	Passed	Model Under Test Equivalent Model
72b8d9615d39c3534a9c6f7558b0587a3aa2e3a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Prime	False	Passed	Model Under Test Equivalent Model
4bd1275f565d8a57093b38df8dae9ac15ccb4c5f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Prime	True	Passed	Model Under Test Equivalent Model
9caf6cf58c104d2a39ca008baabc8a88455cdcd8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Prime	False	Passed	Model Under Test Equivalent Model
c00253be560efe88f2badfb80747dc98e231d44d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Prime	True	Passed	Model Under Test Equivalent Model
ee996877560829a7a299b17a53bb9c6c167f6561	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Prime	False	Passed	Model Under Test Equivalent Model
2f225bcf8ff22357990a02d5e4fe4be3e77d5df7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Prime	True	Passed	Model Under Test Equivalent Model
c5c0791206fceb22cf962f48e28c2a01e5447b64	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Prime	False	Passed	Model Under Test Equivalent Model
96f15fa87a0cce1529cfbcbeb43903aa266bc9b1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Prime	True	Passed	Model Under Test Equivalent Model
b6ec187a6c2fcc6e8f9845b7cc241007ef759f24	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Prime	False	Passed	Model Under Test Equivalent Model
3c4963573830e2b5fbf52933b39cc4d5dd98169d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Prime	True	Passed	Model Under Test Equivalent Model
6577266541fa27fa7efb072fb410e98ea71ebaee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Prime	False	Passed	Model Under Test Equivalent Model
85b36d4c16b54940f40eb89c5c2e20dd5138b3fd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Prime	True	Passed	Model Under Test Equivalent Model
e2d47154a1e0b9016cb32be6bd89649a3cdd54f8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Prime	False	Passed	Model Under Test Equivalent Model
2ae1a827779cd316be186fcc4b8730791d0c8a6e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Prime	True	Passed	Model Under Test Equivalent Model
64fa8c1146994a9c2be564bb587aa39d3c1d6956	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Prime	False	Passed	Model Under Test Equivalent Model
34fa0e172ea42a48561a77a7f66348916b69fe01	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Prime	True	Passed	Model Under Test Equivalent Model
1e7ed87004fdc642938b1833173df5c1fd84891b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Prime	False	Passed	Model Under Test Equivalent Model
65af618034e5e59976e398e96156aea6d6419dca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Prime	True	Passed	Model Under Test Equivalent Model
1946e1024e9c99dbbfe2bf7043e749f09c90e772	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Prime	False	Passed	Model Under Test Equivalent Model
bcef2806a99789ad8f446bae8bec81eb8aaf6dcf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Prime	True	Passed	Model Under Test Equivalent Model
ce546c9f83747b2457e47bc9782bf49431a1aaf0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Prime	False	Passed	Model Under Test Equivalent Model
9d1887c7ad2f5aea432ec3dfdea7853f6fa172d7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Prime	True	Passed	Model Under Test Equivalent Model
0bb1ebc7d5dfe710630ab7e0a2e33b9ff654eebd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Prime	False	Passed	Model Under Test Equivalent Model
1566b8aaa635e80036b07cf2cfa9348b19197893	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Prime	True	Passed	Model Under Test Equivalent Model
cf8ced44ceebfbdac3962dfe494e00d0e94987e7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Prime	False	Passed	Model Under Test Equivalent Model
1699c09b4e3c467832ef5f9436c4cd6412aec942	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Prime	True	Passed	Model Under Test Equivalent Model
7a249a5da359f51c7a8b1275ccedfbceded5d96f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Prime	False	Passed	Model Under Test Equivalent Model
2d0b69a37e09aa874bc945a4d1fd24ba588d9b87	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Prime	True	Passed	Model Under Test Equivalent Model
31d966351a442a82a4b7d9f413994eab3872451e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Prime	False	Passed	Model Under Test Equivalent Model
3053ab16fd1356040257ea5cae3046f614006ef6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Prime	True	Passed	Model Under Test Equivalent Model
92d7c26bbd317ad80a73eebfa08f221c5b7cdb08	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Prime	False	Passed	Model Under Test Equivalent Model
5e5be3753f30a61a8677943f20b38b3237175a93	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross2	Prime	True	Passed	Model Under Test Equivalent Model
6873485de6b9fdee3614f2ba7187c4e001dff964	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross2	Prime	False	Passed	Model Under Test Equivalent Model
889bc578b852f798d457dcb0c0530faad0282774	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross3	Prime	True	Passed	Model Under Test Equivalent Model
6a41f6fc1cf3470697d36a335c61db08a11402cb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross3	Prime	False	Passed	Model Under Test Equivalent Model
4d89583367fa14df0965bd7cb4da6563296ebe49	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunSet	Prime	True	Passed	Model Under Test Equivalent Model
8e029bd3b0b71564c865ce76f3b7a693bf983b73	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunSet	Prime	False	Passed	Model Under Test Equivalent Model
fcf5b62e4d9115e96710df643d532a2c0a46f9db	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	RecordSet	Prime	True	Passed	Model Under Test Equivalent Model
37ac8051c22e63694eae2fedbc8702766dddebee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	RecordSet	Prime	False	Passed	Model Under Test Equivalent Model
23c5a5f4d9b0a334e8ed1e40a447b64b090feabb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetDiff	Prime	True	Passed	Model Under Test Equivalent Model
6a5c16c1c28389fce3122ee69fa104338d3f952e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetDiff	Prime	False	Passed	Model Under Test Equivalent Model
94e0430348e1db73ecea4adb58079643565248e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetUnion	Prime	True	Passed	Model Under Test Equivalent Model
14ba7cbad70368ae2e15ee799bba88aa031aab2a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetUnion	Prime	False	Passed	Model Under Test Equivalent Model
4d96d593906c6f5e0569e119c5b923a03bf8dcaa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetIntersect	Prime	True	Passed	Model Under Test Equivalent Model
dc04e4883d8fa6fa1a18da2c58dd259a7583dbcb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetIntersect	Prime	False	Passed	Model Under Test Equivalent Model
6b76249ddf6fcd58fa4fd248b73ae6275c47f9e1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SubsetEq	Prime	True	Passed	Model Under Test Equivalent Model
671998fb486a447e36ae3175898be33f9e4fa465	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SubsetEq	Prime	False	Passed	Model Under Test Equivalent Model
6d49c5b922133ac6e5eb59e71abbced14ab01a27	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	Prime	True	Passed	Model Under Test Equivalent Model
9b322d2faaff7e96f4d972af36b3b128ce02b405	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	Prime	False	Passed	Model Under Test Equivalent Model
b771a075a20bba69c8a6628aa35a9a7a9792762b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Prime	True	Passed	Model Under Test Equivalent Model
9c241fbf0ba399bfb293ffcad54b80b9d429c484	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Prime	False	Passed	Model Under Test Equivalent Model
8c9f000803091276810b427ca7c40857335223ad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Prime	True	Passed	Model Under Test Equivalent Model
c6617bdc72f9da87b43ea11e95e4990f3f8060ab	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Prime	False	Passed	Model Under Test Equivalent Model
2f6baa861557a44780ea151bf82d4074a000609a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Subset	Prime	True	Passed	Model Under Test Equivalent Model
8a3f2308b67979148587f146bff37d31fa4a379a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Subset	Prime	False	Passed	Model Under Test Equivalent Model
eb684c6dbc8b7b52ea87ea70de28e19b8df6d285	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Domain	Prime	True	Passed	Model Under Test Equivalent Model
c879eb53ace385869807f2378a06f31e980d6abc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Domain	Prime	False	Passed	Model Under Test Equivalent Model
baf45b670a645b6c3dff70cb64505827cee82fbd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Prime	True	Passed	Model Under Test Equivalent Model
5d4f6193f4cefcd1b311f31b63ad0621349b6cd4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Prime	False	Passed	Model Under Test Equivalent Model
5d20e4aa9ff149dc796fef6efbcf840ae45b3592	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	Prime	True	Passed	Model Under Test Equivalent Model
5e3cb5a23dfb9abab40784106952fa8fa98256f0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	Prime	False	Passed	Model Under Test Equivalent Model
bcf2cfb36492cd667173cdef2eb77076b9e037bf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqLen	Prime	True	Passed	Model Under Test Equivalent Model
8255b41de4180279e1fdb67d5223e06d508b0792	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqLen	Prime	False	Passed	Model Under Test Equivalent Model
ed550105e14161d59e45db0dc7a0d94a625bec57	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqConcat	Prime	True	Passed	Model Under Test Equivalent Model
ffe95850359292118f2f8a8eef43cb1b7530105c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqConcat	Prime	False	Passed	Model Under Test Equivalent Model
470b399b2819415a18bdfbefc7be2b9c7bd4e457	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSeq	Prime	True	Passed	Model Under Test Equivalent Model
010a80ff5b3b1a635dfc64e03ad25611d8be347e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSeq	Prime	False	Passed	Model Under Test Equivalent Model
8821564c4913ba8ec1cb530fbc02d2cfbf44e603	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSelectSeq	Prime	True	Passed	Model Under Test Equivalent Model
2721892deb6ed98796538bfac321b5591352cece	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSelectSeq	Prime	False	Passed	Model Under Test Equivalent Model
c3d43d667f9e01ac55f9aac764cb6ea57f3756e8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSubSeq	Prime	True	Passed	Model Under Test Equivalent Model
d0fecf9b920ef712b4dae02f407580ae167b44bc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSubSeq	Prime	False	Passed	Model Under Test Equivalent Model
dce057f054f3825c0af2550c04975f04fe0c8704	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumRange	Prime	True	Passed	Model Under Test Equivalent Model
64c25d77e9d1788c1d9cfce1c7c3abccd34ed9be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumRange	Prime	False	Passed	Model Under Test Equivalent Model
f2354b43ae5804c1039b1f222003cadb8be6b4b9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Prime	True	Passed	Model Under Test Equivalent Model
28bb5fb414b793674f742fde02f87da04302c66b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Prime	False	Passed	Model Under Test Equivalent Model
fe815668873ff27d282d9f9866606f4e91393039	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcExtendFun	Prime	True	Passed	Model Under Test Equivalent Model
a7eda74feaa9b7c063fdfe3db546bcdc03be2218	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcExtendFun	Prime	False	Passed	Model Under Test Equivalent Model
a4c5f4cc3acadfc28954f6302bb441b76b738e62	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcPermuteFun	Prime	True	Passed	Model Under Test Equivalent Model
2f6522d1bf672371b80fd22ab5cf5eb64cc6fdd1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcPermuteFun	Prime	False	Passed	Model Under Test Equivalent Model
4c3f43391a4196e26c88f2eacf80710bb3840bac	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSortSeq	Prime	True	Passed	Model Under Test Equivalent Model
b48be49a5f6c4d33ab8f4305d5bf87e2db58f009	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSortSeq	Prime	False	Passed	Model Under Test Equivalent Model
44112332a5fcf72d96f1ad88625ed2d61af85c06	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Prime	True	Passed	Model Under Test Equivalent Model
251299ab69b0f217dc5aaa34902837d248996bdf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Prime	False	Passed	Model Under Test Equivalent Model
ccad4c9b93fe04e341060b56536296e008638842	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagToSet	Prime	True	Passed	Model Under Test Equivalent Model
e6a9cfcd446f4fab9a489cd2372935d6cfe8a95f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagToSet	Prime	False	Passed	Model Under Test Equivalent Model
7c20d2ffdbe59fb9afd2586cb320d41c791df922	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSetToBag	Prime	True	Passed	Model Under Test Equivalent Model
39961bd2b79985dac61f559223382d7f67c76198	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSetToBag	Prime	False	Passed	Model Under Test Equivalent Model
4be9dbe6f53f105da983a34506972a3a647b049c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Prime	True	Passed	Model Under Test Equivalent Model
9106042b658d3af218c0365ffe43745a0a790379	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Prime	False	Passed	Model Under Test Equivalent Model
b7754902f1528ebf0fe77fdbeab4c357ce1eb69f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagAddBag	Prime	True	Passed	Model Under Test Equivalent Model
bda4f4879e675ce4005389fb2bbe5a3b99506e36	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagAddBag	Prime	False	Passed	Model Under Test Equivalent Model
7200ed776bbd0f8886411d4bb4a938a1e1206a7a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagSub	Prime	True	Passed	Model Under Test Equivalent Model
f806006e76249cd0ef8e778d612c8c0f20de8300	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagSub	Prime	False	Passed	Model Under Test Equivalent Model
8dce06f15f82a7be332d71b984244ea49a4ef037	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Prime	True	Passed	Model Under Test Equivalent Model
6681cefbb87dfc3d024c4e742d173de36076ab15	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Prime	False	Passed	Model Under Test Equivalent Model
33246817ba70c0c805fc71db01c3f98019e7e060	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSubsetEqBag	Prime	True	Passed	Model Under Test Equivalent Model
3bd99506cb6420dc9083678435a24f567152f4a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSubsetEqBag	Prime	False	Passed	Model Under Test Equivalent Model
b8c5cede132bd67fdb92d5a27f37a8fd6c450eb9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagUnion	Prime	True	Passed	Model Under Test Equivalent Model
22cb93763182d1f5c29fd349e89465fc56160eb0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagUnion	Prime	False	Passed	Model Under Test Equivalent Model
94a2e37103db104e058eb326a40e655b8064ed24	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagCardinality	Prime	True	Passed	Model Under Test Equivalent Model
5cb33e03bb010acd62f6dc587b36d7743306fd0e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagCardinality	Prime	False	Passed	Model Under Test Equivalent Model
45d761f56df4d72d5fea853162d5bbde5ef9406a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagOfAll	Prime	True	Passed	Model Under Test Equivalent Model
65e14b750ca608e7e38c7d80d2f3afec9dd19803	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagOfAll	Prime	False	Passed	Model Under Test Equivalent Model
4eca203b56a8b550052001ff14ff0edb3b24d0c9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSubBag	Prime	True	Passed	Model Under Test Equivalent Model
23bb68e41ba55079332afc451f80f8031df0f8b6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSubBag	Prime	False	Passed	Model Under Test Equivalent Model
99cdd85eaa1b9d3f25a017c0ac4aa86603d4bc03	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsIsFiniteSet	Prime	True	Passed	Model Under Test Equivalent Model
bd7b54db3221e8e828e348dd91506ccf4ff7d6af	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsIsFiniteSet	Prime	False	Passed	Model Under Test Equivalent Model
bc6e071c9f226e4631cb256d6cefc8a3af0af144	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsCardinality	Prime	True	Passed	Model Under Test Equivalent Model
4396826a06a9871baccac4f2aa212081896b7ad1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsCardinality	Prime	False	Passed	Model Under Test Equivalent Model
957a09fc6abae013c100ec274cf2013714ab442f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqHead	Prime	True	Passed	Model Under Test Equivalent Model
6aaa86b3cdfd62a4639732073beda326641a39eb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqHead	Prime	False	Passed	Model Under Test Equivalent Model
10b85d091383a6f9873b1f3aaf521ec4b0cd1655	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqTail	Prime	True	Passed	Model Under Test Equivalent Model
799aeaaf9925e65cdb7a767b9d0ac6f744abf22b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqTail	Prime	False	Passed	Model Under Test Equivalent Model
0bba0992d136e58da8bb42de831fdeb7b7a0f728	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Prime	True	Passed	Model Under Test Equivalent Model
947704d6b057bb6e08021fb47e823bfceecc283c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Prime	False	Passed	Model Under Test Equivalent Model

Index

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