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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
eaaaccd6f837909cf78d7a083def82b11eeb5e88	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	OneLineComment	True	Passed	Model Under Test Equivalent Model
c724ccf3e656dcf6e4b84998a026fcef0bc45268	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	OneLineComment	False	Passed	Model Under Test Equivalent Model
c8d8f16f86712f28246dc570c668e7e82f0e1b57	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	MultiLineComment	True	Passed	Model Under Test Equivalent Model
bc2e14f8e46a9bfe1dcc66199ca81b08d7c79f31	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	MultiLineComment	False	Passed	Model Under Test Equivalent Model
78eae4b312ab8e01d5634329de1928421d960dfb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BoolTrue	True	Passed	Model Under Test Equivalent Model
b3c730aead18de8279154adc6057286527519aca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BoolTrue	False	Passed	Model Under Test Equivalent Model
7b0583a48e5fd6809f3950a11fa16af8243ee008	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BoolFalse	True	Passed	Model Under Test Equivalent Model
891a3973270eadc55fad88fc58d8c78fd19adaf2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BoolFalse	False	Passed	Model Under Test Equivalent Model
4b9c192e4e376d1baeea99ea1e595a95361c8e07	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BoolSet	True	Passed	Model Under Test Equivalent Model
e62f9248d1048a29d14b23279a22e84616abd000	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BoolSet	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
68a12f5d426c6193c2e5c6ef4033181e3e7d1440	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	AndMultiLine	True	Passed	Model Under Test Equivalent Model
23ce45377869ff1c11615855d5efd9022dff7714	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	AndMultiLine	False	Passed	Model Under Test Equivalent Model
66e5cacea2f4116899a6acef4ce510f3954f51e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Imply	True	Passed	Model Under Test Equivalent Model
4dfbee3845819a27d5fa2883157b4302dc238302	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Imply	False	Passed	Model Under Test Equivalent Model
9aae19103efd95a358ff8632912d75c6b4ba2869	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Not	True	Passed	Model Under Test Equivalent Model
40e97bf8f39525a6252793ed3fda090707f2ad56	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Not	False	Passed	Model Under Test Equivalent Model
34965b16137270a1c6c3cf399030f8ecb906857d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Or	True	Passed	Model Under Test Equivalent Model
8a2647de804263f80808eb5f17b6eb89e171346a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Or	False	Passed	Model Under Test Equivalent Model
8c06b067d16023f415d534d673ab1e2d73dcbe56	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	OrMultiLine	True	Passed	Model Under Test Equivalent Model
ae6040fa290c1eb302086a440be8f3f72730de08	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	OrMultiLine	False	Passed	Model Under Test Equivalent Model
ceeef73cdfc69695011aee9402d56e50cfb61747	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	AndProp	True	Passed	Model Under Test Equivalent Model
e571c2ad85a495bc4ff5eb0ccbfadcf1a0c587bd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	AndProp	False	Passed	Model Under Test Equivalent Model
f3c07ced2d316d72f7e4d54980ba083ba5bdf22f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Boxed	True	Passed	Model Under Test Equivalent Model
5b142531ee9852477fd983ccdedfe35e0cad0088	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Boxed	False	Passed	Model Under Test Equivalent Model
d35d52e7990df17f5f9a72fb359ffd070fdde7b2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Eq	True	Passed	Model Under Test Equivalent Model
b252f298e550dd309b8a9299b6a5ed5f4557e1c8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Eq	False	Passed	Model Under Test Equivalent Model
d1973b0f1ddac813165faae6ed40002c93b888df	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Ne	True	Passed	Model Under Test Equivalent Model
d15f05734c010e0b73e8f5ebf5882ff3b4453a0f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Ne	False	Passed	Model Under Test Equivalent Model
94aa6990a01358bc6f7e4015a369c532e7fb2f88	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Let	True	Passed	Model Under Test Equivalent Model
9f723adcef8589eb2671432719ab33050357a332	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Let	False	Passed	Model Under Test Equivalent Model
0b6c47d59809f57bbc0e1e0786cebbc712042a45	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SetEmpty	True	Passed	Model Under Test Equivalent Model
368196194ccb570ff1a8ff72e8191cd533813a16	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SetEmpty	False	Passed	Model Under Test Equivalent Model
0246067535b1cb2d000d0b866081117c6377f049	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Set0	True	Passed	Model Under Test Equivalent Model
01515c20b1f5f966c3e896feb4dc17edb4f466fe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Set0	False	Passed	Model Under Test Equivalent Model
57cdda238d6fdb9406be895db2dd3db23d88a276	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Set1	True	Passed	Model Under Test Equivalent Model
994a422c4ca9213295b384d997ef1a37936b7ed7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Set1	False	Passed	Model Under Test Equivalent Model
b35e67716dc384ce1b53ceb250f4a39511456879	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Set2	True	Passed	Model Under Test Equivalent Model
eee738aefa8b9d5b40f3844914d60e9c3f5d9bdf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Set2	False	Passed	Model Under Test Equivalent Model
317d674371d68431cdf93e7d705a85167c0f2986	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Fun	True	Passed	Model Under Test Equivalent Model
6b500efd76a38c1a6f94bd747c4f99aff28b6f9d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Fun	False	Passed	Model Under Test Equivalent Model
43375a912c1c7fb5054721474545a9aafcbe2a7e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	In	True	Passed	Model Under Test Equivalent Model
e4709f103a068b9c77c8cea798b965a8592fee7f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	In	False	Passed	Model Under Test Equivalent Model
400600e88471778f9d27806902f5162901e52ecd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NotIn	True	Passed	Model Under Test Equivalent Model
ec8e13e9f41fc044cb2febd64fb5ea3e7477055f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NotIn	False	Passed	Model Under Test Equivalent Model
711f4fc4b9f0dcb7e7cc6e336670341bf1c79c4d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Exists	True	Passed	Model Under Test Equivalent Model
c141061b37d939b4f7bc36ca93142863ed0885fd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Exists	False	Passed	Model Under Test Equivalent Model
b8a9b0f5bcb10926f5f7f70b20deb4393888bf27	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Forall	True	Passed	Model Under Test Equivalent Model
8ea620b697b3782aa011c1c5d724a406806cc458	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Forall	False	Passed	Model Under Test Equivalent Model
5544f12e5872e872c25f91fbf37b5878016f12db	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Choose	True	Passed	Model Under Test Equivalent Model
cf382a85aecea3edcbb3d3b051abe97f4fba9f55	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Choose	False	Passed	Model Under Test Equivalent Model
d1dfac74728c98c6c28f48e444f15b938745d4aa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Record	True	Passed	Model Under Test Equivalent Model
a15ed2aa704a3aae76ac12a20a4c41aa4b0444bd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Record	False	Passed	Model Under Test Equivalent Model
ff010a9cedfbaaab804f7bc15530b943e4b2d83d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Tuple	True	Passed	Model Under Test Equivalent Model
4d3c1d2fc4c372ede7729ca25bc2bd6e25804443	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Tuple	False	Passed	Model Under Test Equivalent Model
ab58f1b728fbec2bdf557c404f3fba3ea0c9396a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	TupleEmpty	True	Passed	Model Under Test Equivalent Model
3f0bc69b9d2db06a6373c0d95d0c4e688c28ac49	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	TupleEmpty	False	Passed	Model Under Test Equivalent Model
2e44812daab0a78c36a6c687b6bdf278fe7edcba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	FunApp	True	Passed	Model Under Test Equivalent Model
369241520dae24f8fb30ad729ce41bb27b13d1d6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	FunApp	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
bf488050c2f2a9e73d9714acaff1752e1c62111a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumZero	True	Passed	Model Under Test Equivalent Model
d89d5dd3572b59e4103e449a8618e89c627363c8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumZero	False	Passed	Model Under Test Equivalent Model
0249042a02da722723112b4c75be2b0e5a65b076	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumOne	True	Passed	Model Under Test Equivalent Model
9a95da5a3e63d24fb105954dbb02637897d37efb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumOne	False	Passed	Model Under Test Equivalent Model
31f7581e49ca2bc9e397423bd8193a5a847e4346	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumMaxInt	True	Passed	Model Under Test Equivalent Model
0a436b58907b24be43ef3147033a973e95117d73	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumMaxInt	False	Passed	Model Under Test Equivalent Model
a7ca8d85cbc54dcb6899516f4a37e111438a2340	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
7ab1a6336e08681b7d68c0daff78690af6eab177	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
d5e6bcb2747f8d240c5e4764cc8291c68116bac5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumPlus	True	Passed	Model Under Test Equivalent Model
afcd3c7cceff901a22116d3985ff88124191f11d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumPlus	False	Passed	Model Under Test Equivalent Model
0e347e9c873cddbede85c0a1b237442e91df7782	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumMinus	True	Passed	Model Under Test Equivalent Model
a9a6f8678faca71352d1dfc06fad601f0bb3bd98	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumMinus	False	Passed	Model Under Test Equivalent Model
f58d27831bd28548f3c737b04cdad4247748af55	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumMul	True	Passed	Model Under Test Equivalent Model
a29232f6276cdd9bd7eb98f42a4a9dde7882ceb5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumMul	False	Passed	Model Under Test Equivalent Model
a0cdb27002fd699f22e9badfd854e85232a39602	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumDiv	True	Passed	Model Under Test Equivalent Model
578bc4e7cbc2a0bcbd208f03488bed17a3266043	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumDiv	False	Passed	Model Under Test Equivalent Model
f682dc8ce3b330dc036c6a31191341794e39354b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumMod	True	Passed	Model Under Test Equivalent Model
e8d7b29fbacb6c50ffbd25f81dd8bc08face6814	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumMod	False	Passed	Model Under Test Equivalent Model
592e51e60d7c9fa6b42c003dc10d490f1b11d8c6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumPow	True	Passed	Model Under Test Equivalent Model
08780762fed2a5bcc4a1745ad29ab5d4cf688f26	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumPow	False	Passed	Model Under Test Equivalent Model
1d92f5323eb21427175ab7d38f05f233b81a82f1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumGt	True	Passed	Model Under Test Equivalent Model
76b9688f18fdb62be84c68bb298027e14bc3dfd2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumGt	False	Passed	Model Under Test Equivalent Model
1cd8f5dde989f3b6f3931a96b777a976cf9eaec9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumGe	True	Passed	Model Under Test Equivalent Model
5f578b7b537153c9545646bd49cdb193ff484a12	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumGe	False	Passed	Model Under Test Equivalent Model
6022d03d5b6038ca5a5b9d736e4b832e824b2dd2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumLt	True	Passed	Model Under Test Equivalent Model
f2c2b911e1d18b973307ef0e2519939a50dd9ceb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumLt	False	Passed	Model Under Test Equivalent Model
b2b0096c1c174567f64f8fcefedb68376823b803	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumLe	True	Passed	Model Under Test Equivalent Model
e6bf6212655da67487d959cc0b634cd9e4bf3c21	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumLe	False	Passed	Model Under Test Equivalent Model
2c954c85639b0d26b7d61b32381f6f9f5db8a040	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	DefFun	True	Passed	Model Under Test Equivalent Model
fc354f85168967db6908fe32369c0956d640bb63	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	DefFun	False	Passed	Model Under Test Equivalent Model
f975107c46de963340486f27a7da008c15f96603	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	LetDefFun	True	Passed	Model Under Test Equivalent Model
f2a645277dbcc373bb12d077b9f0d8f81778f82d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	LetDefFun	False	Passed	Model Under Test Equivalent Model
04bc729607e96bad39cc82bf8cd85985621821cf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
958c90779691123a89c0ecc7f2bf2f84cab61cf7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
bba99a938a56b87557b88f7e5df025fcac75b8b7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
6b23746671becc2fa9738b0896207bdf46691253	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
56f5be94d997ea4827058c8eb7efbb10950d64fb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Def0	True	Passed	Model Under Test Equivalent Model
abe5cce39e3ea9fc857faaf257c6759bc0e23e3c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Def0	False	Passed	Model Under Test Equivalent Model
46823d5c8429c91fa6e045b86abcaf12fd42eb57	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	LetDef0	True	Passed	Model Under Test Equivalent Model
483cc06cd9eff400f08c264c70e58820ae729402	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	LetDef0	False	Passed	Model Under Test Equivalent Model
54d4cb9d5313a4daaf9839f426fda9f21d0871fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Def1	True	Passed	Model Under Test Equivalent Model
55ff8fa25f99b0c0698d8b07f4077d7538b5d68a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Def1	False	Passed	Model Under Test Equivalent Model
5a2e4e876547db352e6f1bed565956c7945a2453	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	LetDef1	True	Passed	Model Under Test Equivalent Model
e360edd1f401120f4f74a1cb40161da01b0a7828	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	LetDef1	False	Passed	Model Under Test Equivalent Model
896273e5ce9ce7028d020570eeee3e56e7d42563	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Def2	True	Passed	Model Under Test Equivalent Model
c426c2cbe433e9e0b1499a791483a4ee725b80ab	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Def2	False	Passed	Model Under Test Equivalent Model
2aa420505f09c7f4235197d2071abbea8aba56b1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	LetDef2	True	Passed	Model Under Test Equivalent Model
130aefb197496e2aed0cc46622a84e0d9871cd5b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	LetDef2	False	Passed	Model Under Test Equivalent Model
88c0a3494376a99aae4a77efbd7e338fbf33a155	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Def1Recursive	True	Passed	Model Under Test Equivalent Model
c5d03ce76ed5737e6b2f26694f55118facf25a14	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Def1Recursive	False	Passed	Model Under Test Equivalent Model
6ed9a6e53c0b18bd54fffb8f540f30ef3c9c9c62	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
c580789c9873afb60bc70cd2615c150c2c3311f9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
615f6e6e33e374b000a72ed0b47c4e50df09065b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Extends	True	Passed	Model Under Test Equivalent Model
52e2a654ba9d0d60abd2142fb51c0a5a5f822a69	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Extends	False	Passed	Model Under Test Equivalent Model
c7846e34e59b52e8aec6f09089533cc5b674e306	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
03fe193a20b3e461ddbc2b8df2291453746ac22f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
90b6ad7b662c3ce735de1ace138f70465e215a44	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Variable	True	Passed	Model Under Test Equivalent Model
8f1f64b2c8d81cb5a6b41e6151bcd50e6d6ff8f6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Variable	False	Passed	Model Under Test Equivalent Model
7d5af3c179c2776af4b58ae03c99d33a56722433	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Constant	True	Passed	Model Under Test Equivalent Model
4e4821c1d7659943cf954163d9d59815e3e01a91	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Constant	False	Passed	Model Under Test Equivalent Model
fad1672419244fd64555ce4b8327533d7a546c58	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
dd2b85e639e7a27962b037e85cddc05cebecd9ca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
400f73c576499588875ede7ebbdda665d28b0bd5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	ConstantRank1	True	Passed	Model Under Test Equivalent Model
0e2c2152f4f89fb73c55cbc2d4bbd0f31dc000b8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	ConstantRank1	False	Passed	Model Under Test Equivalent Model
7cba0eb8321f5355ff02a26fd52485468dc94519	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Instance	True	Passed	Model Under Test Equivalent Model
1b0ee283fce9b92d759eb2516d5b6b54e6989589	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Instance	False	Passed	Model Under Test Equivalent Model
477af6748ef28989a1b712b3e829bf62b8d47124	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	InstanceWith	True	Passed	Model Under Test Equivalent Model
dc660f01f47a8abee0d949d4cc1ee1b7f9639325	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	InstanceWith	False	Passed	Model Under Test Equivalent Model
e838cd3c27586b48dab77ccd727c12ff4c610656	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	InstanceNamed	True	Passed	Model Under Test Equivalent Model
4da06863571dc3bad6ece253c833db14f5e0e6f9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	InstanceNamed	False	Passed	Model Under Test Equivalent Model
277e7ca5a7b75c131f1f2e71b6db883db45cd7f6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
496eb933601fb5b33d8a3f51109c3671e79d24ff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
eec25f8d9e7974d288baf5ab1261e9e99d15a716	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
52582a299243f60cedc4711ad7bd4ecf12ac5848	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
fab6d03faa92bb919d0bde3401dc6d0daf7a26e6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
8cc1ba92afe5ed3af551b1b0ce85b529d6e5b447	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
cba0a0b59c9718d066f89833586ad86bda35647f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
3c1c723eb7b1dc9e8888a901971aa64098233255	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
a27b18a7cbab2bdad36f8b4bc30b0cca85bd9525	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
d20e62891a96e4f6491c2bb59f3fc19155162431	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
b921c018e69bc9aa4d20d031759841af66ac39c0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Enabled	True	Passed	Model Under Test Equivalent Model
8aaea4201122bc45bd5edd44f9f1272e3e410b02	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Enabled	False	Passed	Model Under Test Equivalent Model
93558f5eaadce1f42e106e8ed214b2a60db7bbf1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Cross2	True	Passed	Model Under Test Equivalent Model
ec726e71b729a9800418629ed757addba92f12e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Cross2	False	Passed	Model Under Test Equivalent Model
2e2f680b4d2de003e93f83c2c48dcb7b6de4356f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Cross3	True	Passed	Model Under Test Equivalent Model
4963a76e96789f22de9dadb83a489d8b98d4cbb9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Cross3	False	Passed	Model Under Test Equivalent Model
c534caacb816c28ca9eb61b0ce301f720048480e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	FunSet	True	Passed	Model Under Test Equivalent Model
ea15846c829ab9db1ad21b0957d8128b1a66cfa2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	FunSet	False	Passed	Model Under Test Equivalent Model
dfe56ee1cfc48a11af59ea517074b03e21726982	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	RecordSet	True	Passed	Model Under Test Equivalent Model
d99d4ca015f37da7646d0a5fba0704611c2af8a0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	RecordSet	False	Passed	Model Under Test Equivalent Model
78ecaa7950cb28c140959841502a738eb6077857	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SetDiff	True	Passed	Model Under Test Equivalent Model
22ba8f5d0f769947973d0d2a34e20f9e78856847	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SetDiff	False	Passed	Model Under Test Equivalent Model
cbd9876954980726e53d525ee0eb72b0491588f9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SetUnion	True	Passed	Model Under Test Equivalent Model
44b98620f4b3ed0559798d0b7b3b7fd7f1eef5ca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SetUnion	False	Passed	Model Under Test Equivalent Model
719f95fdeddeeb9e4a7a9a6d24612f519124f694	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SetIntersect	True	Passed	Model Under Test Equivalent Model
f216a361344407b549fedaf0be3a305ef8120e28	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SetIntersect	False	Passed	Model Under Test Equivalent Model
331a3d6466a1ed35954616ba82aa269b93f7c6c3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SubsetEq	True	Passed	Model Under Test Equivalent Model
a0da66b597f7c5d25125d329871d3c8a12178b59	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SubsetEq	False	Passed	Model Under Test Equivalent Model
73bce266e944c49e63af4dad443cfa8dbf23ec99	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	IfCond	True	Passed	Model Under Test Equivalent Model
67dc19720f3ff966f38ac70cca1930de9d9e2c0f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	IfCond	False	Passed	Model Under Test Equivalent Model
04aa20594c71e08ae390c47cd05d6f4bb836129e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	IfThen	True	Passed	Model Under Test Equivalent Model
aaccd9fbe7d904ff99a57813947a3f6562aae44f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	IfThen	False	Passed	Model Under Test Equivalent Model
93c2d150c30fead18502d1d24947688471e5734f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	IfElse	True	Passed	Model Under Test Equivalent Model
ba5a3d27eb982f3e0ac89096d5bf8aeadaeb7248	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	IfElse	False	Passed	Model Under Test Equivalent Model
8d85c1fef8448d5b3796cd50659445b558caa41c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Subset	True	Passed	Model Under Test Equivalent Model
191b62b7d07e8ac885962d007954cd342078d438	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Subset	False	Passed	Model Under Test Equivalent Model
22e383b9af4e18cb7930f286cb1749510226a7fd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Domain	True	Passed	Model Under Test Equivalent Model
cfd477020d824a7b5201e228e73ce7981f4a075e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Domain	False	Passed	Model Under Test Equivalent Model
b1a821f0944f8344ba6e2a4a6a7e38020d6bc429	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Union	True	Passed	Model Under Test Equivalent Model
b17fccce2285d1ef29d27801b28411998d11b80e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Union	False	Passed	Model Under Test Equivalent Model
cd70e987d480ff60caf0facf369bb99153a5a6b3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Unchanged	True	Passed	Model Under Test Equivalent Model
1a34ba096a5f6ba690406b033403fefde8263986	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Unchanged	False	Passed	Model Under Test Equivalent Model
16f8fd380fa1274f5a3291c3c89f9679c8fec866	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Equivalence	True	Passed	Model Under Test Equivalent Model
96cb52ee3a0e2d86f741bad991b89418c1427713	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Equivalence	False	Passed	Model Under Test Equivalent Model
94686b6dc89d21d22cf215f961e2e98c2a5cb198	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	StringEmpty	True	Passed	Model Under Test Equivalent Model
36478207e18ba94dc3faba7db223ae5169c7768c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	StringEmpty	False	Passed	Model Under Test Equivalent Model
b30d6ab2180a694c0d1406668db18c0e42c43171	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	String	True	Passed	Model Under Test Equivalent Model
d101b30cec526214b95c1d47492a873c512a359a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	String	False	Passed	Model Under Test Equivalent Model
d320d87eeabf5e1d04c482f82d35ecd15fdbb9c9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SeqLen	True	Passed	Model Under Test Equivalent Model
f3b231e199ec96814c09b02aead3dc7ed97edc07	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SeqLen	False	Passed	Model Under Test Equivalent Model
d7310dd1281b09527121f26e4e0904e6476ac5dd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SeqConcat	True	Passed	Model Under Test Equivalent Model
8af10f527cdfae8dae883650f01ae4ce17e7e73e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SeqConcat	False	Passed	Model Under Test Equivalent Model
14dd3394dee1e6d885f05a5c1733e906426b21cd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
280f0f69c22d5edf6f468d426b26a0296e4ab85e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
22f48db3e335b20f1aafbabe333ffcbd2db3f957	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
db3481c9a1eafc011ba1ccce8f61ea2d485fe5bd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
229b99c0de5809db38e676a5bb3acc434034b489	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumRange	True	Passed	Model Under Test Equivalent Model
0d70fbfdb132feb787cf9f0afb1abf3c38b4c032	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	NumRange	False	Passed	Model Under Test Equivalent Model
9c73e4e88d47db9878f1e5e1dc7b03829e09e676	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
cf3bdac89d4dac7f32abfaaa317d28d2f2b012f2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
3689ce9f4e08f59f9c8a76116e589625db34e0c6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
f971086fe0de42beed364ffc0a485d5dcc0c7997	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
d045492245d08b4abcad0acb5dffc0884b665b2e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
4717077093a60649d569c1e7a89629b6dc0882d1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
3db2f77d6da88bccecf35eab3bf74a399ef4d7ad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
6b429c97594799a947574c8ad003bb3a24006e9a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
beef285fc61d6e9f755e3ddcaea561b950de2459	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	TlcEval	True	Passed	Model Under Test Equivalent Model
f3ef91bfccc84ee8d735b58daf2f7236889f5bd3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	TlcEval	False	Passed	Model Under Test Equivalent Model
3151c0708fa0ee48bd329cf7bf309dd18daa2931	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagBagToSet	True	Passed	Model Under Test Equivalent Model
f7a706d35b0a9b1311b7c27553164b9c18fc2c35	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagBagToSet	False	Passed	Model Under Test Equivalent Model
d1d12346b8579ed3334449732a1bd18e7c98e77a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagSetToBag	True	Passed	Model Under Test Equivalent Model
4be25d8f740ce48a49187c59e4eedc357cc3a9d7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagSetToBag	False	Passed	Model Under Test Equivalent Model
bb8153bc09e358a2693e0e07523cf3ad719ea586	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagBagIn	True	Passed	Model Under Test Equivalent Model
cd069e354676499d08bc3fe4a7fa8200916cd28e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagBagIn	False	Passed	Model Under Test Equivalent Model
352a3039186c64270584618aeb453d4a042aa36c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
a01e86bb960ee2e1414e37d959ca1ad43b89de8d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
5103453f16f03116a49f4c25e9b00abb0f64f3c7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagAddBag	True	Passed	Model Under Test Equivalent Model
74e4e584150980f0e9dd79b473194d1f8c9664f2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagAddBag	False	Passed	Model Under Test Equivalent Model
bde16f070af0891fa6f9ec46322f60feebbdc9eb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagBagSub	True	Passed	Model Under Test Equivalent Model
f5d9ed9c8c34750245839bb9ba4d719c4560ca4c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagBagSub	False	Passed	Model Under Test Equivalent Model
9b4687c7a5327cfb22665fd48dbca285b1929fa1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
6cf3486ef6108b3d6f98c9737220e6b47f5adada	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
7ed4aabd3f2474ab50175b135c5ad5698175ba4e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
0499e3bf1603909f0239ee68ac91374337263522	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
65ad7b18d0d9daa706c31f10a969e7934919daaf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagBagUnion	True	Passed	Model Under Test Equivalent Model
1cfab0e85925ded39dbf063e24d558365a0493d2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagBagUnion	False	Passed	Model Under Test Equivalent Model
6bc2926365862146f77704d8d534812b8b31ce50	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
a64f5b423f28e0c856f4f5de6c4d7049e66f9562	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
069cc271aeabd0d8312590017c144f2213321b9f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
2530786f91ea44b7fe6f625301022211cb7e4941	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
69a6e97652fe16a7e608e42989dd13bff8a73f4f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagSubBag	True	Passed	Model Under Test Equivalent Model
6e84741ea0eb07169cea459ec9916470f4db1e30	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	BagSubBag	False	Passed	Model Under Test Equivalent Model
b74407334be7ac05d9b6d671730c5864188d3475	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
901b9c75f5cfa04919d4d1dba07e51b72ac60318	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
facb9e699ae9fde77d944da3878088df04968236	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
c071ef8692886fef7d1fb64b0ff1cb1f79d8bdc2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
2daaeaf902a727a3932ecd71d29fc3646e1069c3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SeqHead	True	Passed	Model Under Test Equivalent Model
4de25bac645d8ce8b4d5894682bac3708056d73b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SeqHead	False	Passed	Model Under Test Equivalent Model
722ec6db0c9813fc43f61befb58fcdd3f419708c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SeqTail	True	Passed	Model Under Test Equivalent Model
bf0ee00c57a0550a3c6842dfc682b56e4534e730	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SeqTail	False	Passed	Model Under Test Equivalent Model
34faa369c52d1cc1c71ebf8195b84384ccfba76f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SeqAppend	True	Passed	Model Under Test Equivalent Model
570d6e7bf2870bf287b27380398678cd8129f0ad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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