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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
89eb3a7d6e1fe827405245676d29f4444d0acb5c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	And	True	Passed	Model Under Test Equivalent Model
1473b646c72b523d96e78b1d2d925c3720c719f6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	And	False	Passed	Model Under Test Equivalent Model
6154a297b34bbeaec578223983b9cf2c8228497a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	And	True	Passed	Model Under Test Equivalent Model
a9e584ffdc2cdeb71033760edfdb32818779a22e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	And	False	Passed	Model Under Test Equivalent Model
004f1f8afa34541788518071d24cb3c5f7fa5d13	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	And	True	Passed	Model Under Test Equivalent Model
d4df83cdc7bbce211bbd16b8833203a4d1837129	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	And	False	Passed	Model Under Test Equivalent Model
40ad3fb4f777fc8b8a73f0c78a8c9909bd15dbc0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	And	True	Passed	Model Under Test Equivalent Model
e00ca427c7d8deedeafa1b4c372290cfdde12678	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	And	False	Passed	Model Under Test Equivalent Model
9dad9ec83abc01753237b3f21bfd75a561708317	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	And	True	Passed	Model Under Test Equivalent Model
25e0e4820299df7bb6bdbf355116602fdd92e66f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	And	False	Passed	Model Under Test Equivalent Model
4bb53e45b268e358541e23f08dc32417e3881acc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	And	True	Passed	Model Under Test Equivalent Model
d35a9e47a6b9e9235dadee4b9c994691526a8956	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	And	False	Passed	Model Under Test Equivalent Model
be53c6d49dcb1ce13a97b49332a81d2a99dd1b3f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	And	True	Passed	Model Under Test Equivalent Model
7bc902de77a08eac3f0ff375774ac5b2cd29875c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	And	False	Passed	Model Under Test Equivalent Model
8e599bb67c71c95417defc8ffe54fe6ef92df07b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	And	True	Passed	Model Under Test Equivalent Model
d0c58db70b3ac4998f6d66d133b9193f3783bda8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	And	False	Passed	Model Under Test Equivalent Model
a05443694fe8f4e2e8bee92f17d3e595fa77f8ca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	And	True	Passed	Model Under Test Equivalent Model
1015ee0337b3120b3c93b3d4fbb5b34c7f5b69c2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	And	False	Passed	Model Under Test Equivalent Model
5f0ee90079688197d9e7489f1b8443792a5b7f43	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	And	True	Passed	Model Under Test Equivalent Model
b2f5f29f8a5de947cc203e233e8bff851e306480	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	And	False	Passed	Model Under Test Equivalent Model
9ed63c9ca07ac0623a8e146c8b4863e841cb9ee4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	And	True	Passed	Model Under Test Equivalent Model
8f2b02d9a11ab929c589376cd09d57eefa181675	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	And	False	Passed	Model Under Test Equivalent Model
620042bc4f0f7ce568d5da6edce2784987c568fc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	And	True	Passed	Model Under Test Equivalent Model
335ca09fa66ed91eac001a7785241762eafc1a93	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	And	False	Passed	Model Under Test Equivalent Model
4f38d5afc49730fc735e068daacf7a73438dba04	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	And	True	Passed	Model Under Test Equivalent Model
8f7dae9571eb5afa55eafaecff511c4a9351d3ab	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	And	False	Passed	Model Under Test Equivalent Model
899aedd507ee3b2be247de6377408c71249e4ae1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	And	True	Passed	Model Under Test Equivalent Model
db33b6f8ace53c5d5e0977ced47313d9dcd350bc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	And	False	Passed	Model Under Test Equivalent Model
6572fc8dc1d7430031576aee6ba572e7263ac079	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	And	True	Passed	Model Under Test Equivalent Model
eefe50142e56a80f7ea69ddb4009cb36c307951b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	And	False	Passed	Model Under Test Equivalent Model
97b9e9fd34bc650690c9479fc9e7c8068f4eddfd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	And	True	Passed	Model Under Test Equivalent Model
1420a7f5487e328dda20539042f07f9e72c4d210	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	And	False	Passed	Model Under Test Equivalent Model
8eea2e9a6efc772b310bf3d5512f71f49a20430e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	And	True	Passed	Model Under Test Equivalent Model
65a3f693f9bc2dfdda7a4b518b973eea75b97735	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	And	False	Passed	Model Under Test Equivalent Model
e76d784e394f517947b0224f1a6747c44ad46bd2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	And	True	Passed	Model Under Test Equivalent Model
7144d6a6893a607e55b0cd56a475bb135a963041	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	And	False	Passed	Model Under Test Equivalent Model
78854d20eff06df04b560c4c1dcc144a4ec85bcb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	And	True	Passed	Model Under Test Equivalent Model
71d38221e1f1662bd1c42bb6d874f7a51a6c45e0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	And	False	Passed	Model Under Test Equivalent Model
a9f974c62993965fe79bba5738f7efdb77526645	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	And	True	Passed	Model Under Test Equivalent Model
23aecf02eae900fe38eb2b9052886f16aa8f5bc9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	And	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
683d3c3027dc68e1cb1db4e6fe77b2e9f8b2a905	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	And	True	Passed	Model Under Test Equivalent Model
1e3450be6193853ea33045583b44856925808c27	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	And	False	Passed	Model Under Test Equivalent Model
9fa400c9d565e82a801fc8fb3b1d5e53f5be52eb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	And	True	Passed	Model Under Test Equivalent Model
28312a80984aaac0361061966f173b34649b714c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	And	False	Passed	Model Under Test Equivalent Model
0eb9ce6bd937a8721e3bb61eae3004e7ae8b51eb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	And	True	Passed	Model Under Test Equivalent Model
f656ef1b6c1d5cb6f94114409d6dd1cbdcf90f0a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	And	False	Passed	Model Under Test Equivalent Model
c66ce3693c1be0e3d395148604588966793d42dd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	And	True	Passed	Model Under Test Equivalent Model
340fd9cb81ffb29b33e89eef77170ed736e4f203	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	And	False	Passed	Model Under Test Equivalent Model
7539c0f86cef7b807797c207ee96cb4fdba0d233	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	And	True	Passed	Model Under Test Equivalent Model
449e83630f56f2adf6bbf7c8d188961148d53bfc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	And	False	Passed	Model Under Test Equivalent Model
76ba822cb4d190f748f8dfb3240e98b58d5e4a58	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	And	True	Passed	Model Under Test Equivalent Model
361980b875efc2712a483b8e3a7d2fcd70797518	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	And	False	Passed	Model Under Test Equivalent Model
925e87d91986b8dc1519392b6ab236ee43bceafb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	And	True	Passed	Model Under Test Equivalent Model
ddd813e70ce07fb720d3a41cfd81b0b61d5fac45	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	And	False	Passed	Model Under Test Equivalent Model
110bf16bf3a9fc805ee2ef6781e69ca9c5ff3869	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	And	True	Passed	Model Under Test Equivalent Model
e00d2bfad7def11204c1b77560b407b520207af5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	And	False	Passed	Model Under Test Equivalent Model
efcd8f545d14c40f4272d682bb0ff42aea5f73ba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	And	True	Passed	Model Under Test Equivalent Model
4e1ec5942cf8f219285e02e7a9564d096a1fcd1e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	And	False	Passed	Model Under Test Equivalent Model
7244c7fe956beee850e42f32bfb049027182795b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	And	True	Passed	Model Under Test Equivalent Model
7670230745eb532d9ee0a7e5352261d490efa854	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	And	False	Passed	Model Under Test Equivalent Model
543cc5d32c5de2e6b6706576f8ac2a44264bb282	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	And	True	Passed	Model Under Test Equivalent Model
a0e6ca981b402b148d3ea65fb738aa2305036cfc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	And	False	Passed	Model Under Test Equivalent Model
322d90359b9cc5f74d4cb2374d7ed368ada7cbf2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	And	True	Passed	Model Under Test Equivalent Model
e532e84377029f12d847d5e7c5e3134912508556	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	And	False	Passed	Model Under Test Equivalent Model
c1c534d7cdf6380fa98d1f3a796f6cbae17d1c5c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	And	True	Passed	Model Under Test Equivalent Model
39fcd76faf1d59e5acc8aa86450f27d33adf6355	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	And	False	Passed	Model Under Test Equivalent Model
526714b5f06c3c8d19911313dfcd63fef090124f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	And	True	Passed	Model Under Test Equivalent Model
d39be1f18d029f86d91bd48d1647a43eac05e32b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	And	False	Passed	Model Under Test Equivalent Model
014b8afce2a35e02f204a2203e1f40c954e89c20	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	And	True	Passed	Model Under Test Equivalent Model
fbef01b7296b98f476b8513061171a48b1da7d23	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	And	False	Passed	Model Under Test Equivalent Model
bb11b322ec18d674894140efe35f1137795d3d68	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	And	True	Passed	Model Under Test Equivalent Model
7ce3d4fb63f6782b548863ced6c00af8f4a1b8a4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	And	False	Passed	Model Under Test Equivalent Model
9b048d41a300bc5b3bef2d6c49b969eadb1327f4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	And	True	Passed	Model Under Test Equivalent Model
29408e3aae1b2410e407051d4c84a532cb620a08	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	And	False	Passed	Model Under Test Equivalent Model
6f0f3ad6f8c392b00f8f38ec7448af03211bfd3a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	And	True	Passed	Model Under Test Equivalent Model
9d48bdcf6fe73764da2bdf5e08d1ae89b2b64d3a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	And	False	Passed	Model Under Test Equivalent Model
fac855cff219600e288875ef387eaef38903a07d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	And	True	Passed	Model Under Test Equivalent Model
1809e7752f8a94eaee9c13d97bf7767eece0cd3b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	And	False	Passed	Model Under Test Equivalent Model
08c9143561ba9b4d6c838a51bc678f9a7c273116	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	And	True	Passed	Model Under Test Equivalent Model
07047662de6809fa5665961d612355a593581fe4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	And	False	Passed	Model Under Test Equivalent Model
3e06d651b15e66d5c6ee19029174e8af2aee4286	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	And	True	Passed	Model Under Test Equivalent Model
2ee4986eb96768a4a15d62f709e51c83ae12c354	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	And	False	Passed	Model Under Test Equivalent Model
186c8813bb0b8d1f5c761e912dbd40ddaa0da207	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	And	True	Passed	Model Under Test Equivalent Model
26bffa440298ed273649800299b45a519e5cfd76	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	And	False	Passed	Model Under Test Equivalent Model
0438d12657c7622691549519f6b6abc390f9439c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	And	True	Passed	Model Under Test Equivalent Model
bfca83ae31e74272c62881e703143428ef9ed6da	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	And	False	Passed	Model Under Test Equivalent Model
05fa4686e26ae42b49922bbdb6031379ec5786c5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	And	True	Passed	Model Under Test Equivalent Model
8fa523ad2f0a349389681d24ba2f370138eaf8bd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	And	False	Passed	Model Under Test Equivalent Model
69b92ed1a347223fb516e0ba126766d61968071f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	And	True	Passed	Model Under Test Equivalent Model
2a4e13581f15580711e2404dc041bf1ab204f9b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	And	False	Passed	Model Under Test Equivalent Model
44d64b9815d1b93df31399ead4f22df0202cbc20	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	And	True	Passed	Model Under Test Equivalent Model
8c7ca05d116f54ab78fc567b1acdda04a41682db	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	And	False	Passed	Model Under Test Equivalent Model
e3278bbfffe141e3b30895b1f0e764fd7741719e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	And	True	Passed	Model Under Test Equivalent Model
609e161f4a2d4f6c52e1f0afb8feafc8c28e765a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	And	False	Passed	Model Under Test Equivalent Model
4ee48af80bfe29ffed8fd9a4a9f93b1b8db0ad49	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	And	True	Passed	Model Under Test Equivalent Model
580526275de95c0418b85daab6fbbae9936d9961	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	And	False	Passed	Model Under Test Equivalent Model
a86677af838ec99ebccec4bd8f824e9d0479d00f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	And	True	Passed	Model Under Test Equivalent Model
5e795d959eb510976d6a81fb25299f0b933150d3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	And	False	Passed	Model Under Test Equivalent Model
d967e5c4c4f280a201172b909b67180ef1cf4742	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	And	True	Passed	Model Under Test Equivalent Model
b1178d0e1c152706f9dd97f4248ff7786aed2f3d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	And	False	Passed	Model Under Test Equivalent Model
c30c2fad9f33d060c4da4c752fd79f8c09dd36ee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	And	True	Passed	Model Under Test Equivalent Model
c42f5e4135173d0c34cad923993e5dcbf8cbcfca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	And	False	Passed	Model Under Test Equivalent Model
8d933a5cce6b027feb0f9cd88b6150395f4a58f7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	And	True	Passed	Model Under Test Equivalent Model
1ad70aff86911b63955b61995ff23d4c5bfab1b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	And	False	Passed	Model Under Test Equivalent Model
3f1f1601ade0da8d6e9c0ba1b54612d26b28a1d0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	And	True	Passed	Model Under Test Equivalent Model
56f767f64b62f4488ce6c6c92381dbdb600e6653	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	And	False	Passed	Model Under Test Equivalent Model
27f068ffed719d3dc8693ca12a0da2626b74f204	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	And	True	Passed	Model Under Test Equivalent Model
9a95c73da4b78727b851bfc2a2347dd9e4cf446d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	And	False	Passed	Model Under Test Equivalent Model
4874c009b1ff939abc56bfae2028537866c80e91	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	And	True	Passed	Model Under Test Equivalent Model
2c9ad958864af2e8a4adfad5e20d1864b32c5833	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	And	False	Passed	Model Under Test Equivalent Model
d4aef19851248c04abdfaa945ecac8bb81f5daed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	And	True	Passed	Model Under Test Equivalent Model
8ba14d6c5ebca56facbcc139255a2a1c566fd0c2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	And	False	Passed	Model Under Test Equivalent Model
7c142775a8f54b19141d4d4a009e6955191514de	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	And	True	Passed	Model Under Test Equivalent Model
aa4971750f4b39415dc628c08fc2f692d6f374fd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	And	False	Passed	Model Under Test Equivalent Model
9a4ce6d2ceb053e4a562b3a6bf38c1cc23589181	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	And	True	Passed	Model Under Test Equivalent Model
e881db8df284c5505d740508099a45843bb92a47	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	And	False	Passed	Model Under Test Equivalent Model
bd8027bba157e752bc111d3d2fc544193fda0c9c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	And	True	Passed	Model Under Test Equivalent Model
6e1f036baa7b26d489a4feca9017f27fee2b309e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	And	False	Passed	Model Under Test Equivalent Model
741638cfb262f7b85dc7f6dcec323cc66b4c05be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	And	True	Passed	Model Under Test Equivalent Model
ada974bf8f19da04acff8a299ba1e3299dc1987b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	And	False	Passed	Model Under Test Equivalent Model
a2e285b448dc4239fb8541682afb692c93fce09c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	And	True	Passed	Model Under Test Equivalent Model
c8b2751b7263fa7cb85caddbf96de74420d54e8b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	And	False	Passed	Model Under Test Equivalent Model
381e83964da7429ffc90f4135cf124f2736272ee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	And	True	Passed	Model Under Test Equivalent Model
b97cce152b0303c3c1deb9e3f6252a58e2306237	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	And	False	Passed	Model Under Test Equivalent Model
dd10a7503f23cb5403c0f1161b512accf181691c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	And	True	Passed	Model Under Test Equivalent Model
9aa9edfcab67079fbecc0e6201a72b4c850d4e13	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	And	False	Passed	Model Under Test Equivalent Model
6e7b1b6ebc4727ccbbfb8e96fcc9c3e84cc730cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	And	True	Passed	Model Under Test Equivalent Model
dbf549c7bb831018b5c8962c5285f98c14b6f2f2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	And	False	Passed	Model Under Test Equivalent Model
d62a31af2b64961735e665e912f37bf546c70514	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	And	True	Passed	Model Under Test Equivalent Model
e504e9479461b1272b21965619e064661806b707	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	And	False	Passed	Model Under Test Equivalent Model
549d2c0b50fe0d1518ab9ad55d3476899171564f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	And	True	Passed	Model Under Test Equivalent Model
0b35fc7a14ed01a875aeb873e1ddbff2dcd24b1a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	And	False	Passed	Model Under Test Equivalent Model
3cdcf95631e5a70aa4ba49077c71a217a14ddbfb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	And	True	Passed	Model Under Test Equivalent Model
78e2b1295e4660575b28b131d65efde714fb1906	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	And	False	Passed	Model Under Test Equivalent Model
8ac19f23daf3018ba78282a1b256491556d3a981	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	And	True	Passed	Model Under Test Equivalent Model
dfca5b58cab26379bef6049acd120da30de04a1f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	And	False	Passed	Model Under Test Equivalent Model

Index

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