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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
95685217650fae18ca164bed99a2d3dae64b0aed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	OneLineComment	True	Passed	Model Under Test Equivalent Model
6d33d76fe0a26900bf2ef7f3883d6b55c6a089b3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	OneLineComment	False	Passed	Model Under Test Equivalent Model
f909337afde215aacc0f8c6615e879c58620d8b1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	MultiLineComment	True	Passed	Model Under Test Equivalent Model
d4777e35909a4fae7077ac22e687ec0e0a2e1ace	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	MultiLineComment	False	Passed	Model Under Test Equivalent Model
c5c9bd99c3b44bac2ed085ec3c17ccebe9ca000a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BoolTrue	True	Passed	Model Under Test Equivalent Model
19ebcdc469cbf19cff887fe496b039606338932c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BoolTrue	False	Passed	Model Under Test Equivalent Model
da05ebb114828bd3cd586c8482da570912515418	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BoolFalse	True	Passed	Model Under Test Equivalent Model
979f8346a8a7cf85484ec05a9821e334a9ec0ee5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BoolFalse	False	Passed	Model Under Test Equivalent Model
e9d535cf9366f1e763dab23ce46a853389800703	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BoolSet	True	Passed	Model Under Test Equivalent Model
b94e1a9b7598be0163e88be3c0a60ebf42cdeaa2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BoolSet	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
9b75638b5df9d1e63ff26627a7acfa35380f4d83	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	AndMultiLine	True	Passed	Model Under Test Equivalent Model
bdd53649d4a41546c8563d8e8d7800b19404efbb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	AndMultiLine	False	Passed	Model Under Test Equivalent Model
b0bab8a147738269c96090528ce3b5119afacef3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Imply	True	Passed	Model Under Test Equivalent Model
d3650b5e707cda097673977d6338814fe216493f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Imply	False	Passed	Model Under Test Equivalent Model
35391cec93a3380e74f638b69ea3893e20baf015	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Not	True	Passed	Model Under Test Equivalent Model
651bd51d12d2979b0182a18259c71a51cfa94ae5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Not	False	Passed	Model Under Test Equivalent Model
f0b01957303203681f2bcd343cc764d7db6a4908	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Or	True	Passed	Model Under Test Equivalent Model
41c4f23b6f0070dc510fb909dcb999153eae9f49	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Or	False	Passed	Model Under Test Equivalent Model
895b39d20fdf665e9a536449a13be4f4362e9462	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	OrMultiLine	True	Passed	Model Under Test Equivalent Model
17e22a37a297a67b57a2ad00ee46d3f0daea0e6f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	OrMultiLine	False	Passed	Model Under Test Equivalent Model
fdec167c5e61e1a3b767db3f1b66fa6411d49837	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	AndProp	True	Passed	Model Under Test Equivalent Model
625b4a802d9d539a27f9ccfa4a26ed0304a78539	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	AndProp	False	Passed	Model Under Test Equivalent Model
7c7e93baa3e62d52b7d57cae3d058fe075b511fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Boxed	True	Passed	Model Under Test Equivalent Model
f05294558567de2110d146296dc0cbf3a4af28ba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Boxed	False	Passed	Model Under Test Equivalent Model
ac6ffdcb68da0fbd79b4b540729329988d7e232e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Eq	True	Passed	Model Under Test Equivalent Model
477cb258072f78c2fec0618e10217dd1d68eb876	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Eq	False	Passed	Model Under Test Equivalent Model
4d745bfd8a6486cc3787ea306a624ed44b63a419	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Ne	True	Passed	Model Under Test Equivalent Model
d3a54e75c305385057fab7c433e52756e63c7ee7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Ne	False	Passed	Model Under Test Equivalent Model
b1fe77d81f8406a837911721073e543e1fd1fa60	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Let	True	Passed	Model Under Test Equivalent Model
2d89eab7dd062c230f356e47e838876d0e31ce33	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Let	False	Passed	Model Under Test Equivalent Model
ba890f8f2d0dfa1946842691039796b3b5353889	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SetEmpty	True	Passed	Model Under Test Equivalent Model
f80daea91ced2f84c6ebc3a7b490cf54c344bb92	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SetEmpty	False	Passed	Model Under Test Equivalent Model
6f6c162e82dc5ecf58b3f1e89c1b5c187ff49398	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Set0	True	Passed	Model Under Test Equivalent Model
8beebe21b8f77432c62f2f98980b32d5e8f7b6f0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Set0	False	Passed	Model Under Test Equivalent Model
cff694c45a8d59e2076d38d284c327e0408d9968	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Set1	True	Passed	Model Under Test Equivalent Model
f83a3049cede20f357caf95390d992efd9e1af48	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Set1	False	Passed	Model Under Test Equivalent Model
368886bc6eca5a3a913038bcc2a29568e5016ae9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Set2	True	Passed	Model Under Test Equivalent Model
b4c01740f049f8db07e02f15e42bf28413037f91	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Set2	False	Passed	Model Under Test Equivalent Model
e52a297a472de04b6768ba962f4fa3b421ba58cd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Fun	True	Passed	Model Under Test Equivalent Model
2d1ded449b25a766ed43094d58f0552408cc1fa3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Fun	False	Passed	Model Under Test Equivalent Model
ba7e3a8eb0a730d64d35324cbb26202844d8b27d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	In	True	Passed	Model Under Test Equivalent Model
e73648dcc6fd695576178b1c111a0898e94a5bc5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	In	False	Passed	Model Under Test Equivalent Model
12e71f947720219fdc6dbbd415a5e58b4ce85581	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NotIn	True	Passed	Model Under Test Equivalent Model
970150b96554630ab86f24a70c456566b4532f68	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NotIn	False	Passed	Model Under Test Equivalent Model
c93def7054c1180ffdf436f94ae9e23783b6cb68	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Exists	True	Passed	Model Under Test Equivalent Model
1223ae977b5ec3c2f3ad6281abc9785370c15a8f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Exists	False	Passed	Model Under Test Equivalent Model
aad6825a7094b5015655c6315feb69191d40c593	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Forall	True	Passed	Model Under Test Equivalent Model
fa3c1c0216a3dcaa84d27ca3b4e2143cf9f2ee3d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Forall	False	Passed	Model Under Test Equivalent Model
696ed38a92c6fe1e3b28b7e9584f59f73496775f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Choose	True	Passed	Model Under Test Equivalent Model
04e91dbc29642c16e79a7c8b79e0da201eb63963	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Choose	False	Passed	Model Under Test Equivalent Model
29c5df7a77657163468aeb9a9330a6e14fcf032f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Record	True	Passed	Model Under Test Equivalent Model
33a4b5832bb6e84e5602b02d7b61ce638810bcad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Record	False	Passed	Model Under Test Equivalent Model
327e80a1f3d7110698fdde18b543ad07caa58827	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Tuple	True	Passed	Model Under Test Equivalent Model
edd49f07e189eee8baaf987f90d62f0d64c33e86	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Tuple	False	Passed	Model Under Test Equivalent Model
5406ea54a1d92126caf3d3d879a9bf4d9823972f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	TupleEmpty	True	Passed	Model Under Test Equivalent Model
c978d130d74674ff09e06260a424b590c2b6ec2a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	TupleEmpty	False	Passed	Model Under Test Equivalent Model
eafb967229061ea0181e4dab487a798228eb94ff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	FunApp	True	Passed	Model Under Test Equivalent Model
ef70953c325aeae5ff6b5a0e46df14d962b812f7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	FunApp	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
0e0a599503c46968dec5179939f0a5f41ff24cc5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumZero	True	Passed	Model Under Test Equivalent Model
639b543f9ad3e8da27884f7645034bf333d05f7c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumZero	False	Passed	Model Under Test Equivalent Model
32f01f346c1aa467b26062294f275a80f7a44f59	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumOne	True	Passed	Model Under Test Equivalent Model
45ff44ee7c7d207c42d43547b33ee39ffbd07ed3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumOne	False	Passed	Model Under Test Equivalent Model
32813803ad59e33e2d25c91bf2424c0f2e568e05	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumMaxInt	True	Passed	Model Under Test Equivalent Model
4802192db3d8313d7431c902eb9d8dc9cd2240ce	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumMaxInt	False	Passed	Model Under Test Equivalent Model
5970d0b578cadd58f409f9e9398765c4e09d3ce9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
b38d03c924cb8147ad89d6693d53fae3920ee8c9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
06c0f775309d0ae3a432f5e348033f5df8a023ae	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumPlus	True	Passed	Model Under Test Equivalent Model
295f5e8c19249a4d8cb5a556a70b0c9b6629711d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumPlus	False	Passed	Model Under Test Equivalent Model
84c80bef0701d803dc3c37abae2164700352d013	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumMinus	True	Passed	Model Under Test Equivalent Model
1f3037b11c68f7e2044323888a8a84417f5b1342	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumMinus	False	Passed	Model Under Test Equivalent Model
848814beb50f97376d40bbaeb640f1abe43f6aed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumMul	True	Passed	Model Under Test Equivalent Model
cb454f495b7e1385b062a14cd20a58861522444e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumMul	False	Passed	Model Under Test Equivalent Model
4a94718a14b8b044daddc5bf7a0dac0e55ddebf2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumDiv	True	Passed	Model Under Test Equivalent Model
cfa93840917fc6467652ad4339574f33ada333a1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumDiv	False	Passed	Model Under Test Equivalent Model
3528763e2832b6ef6db35a1f4c54a4a9985575d7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumMod	True	Passed	Model Under Test Equivalent Model
832f30aaa9fe2b0c43583bb5aceee5264310763f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumMod	False	Passed	Model Under Test Equivalent Model
210ab25d6f84c3c3dc8aeca9d693c0a9620f1845	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumPow	True	Passed	Model Under Test Equivalent Model
92fa56b83b56a96a27fa0b30ff54280e4f108153	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumPow	False	Passed	Model Under Test Equivalent Model
964c1213f27bee42239ac58b77f27c5ebce5d04b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumGt	True	Passed	Model Under Test Equivalent Model
2462e5a8ee9c7ee761ffae40f5b53557b35c10a4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumGt	False	Passed	Model Under Test Equivalent Model
f619b76c5df903a71c869c5d8a89b21b09218549	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumGe	True	Passed	Model Under Test Equivalent Model
aea1edf76d973a8fa5b7808898d6adc2b8e58531	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumGe	False	Passed	Model Under Test Equivalent Model
c280fd825737007e4a1d8b2ce370596a47449611	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumLt	True	Passed	Model Under Test Equivalent Model
29c34ae48da8c27ab752a7edd7a3da2240ad93f7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumLt	False	Passed	Model Under Test Equivalent Model
76d6dbaedf5d8c9b7a29a2c1a7a0b04908220375	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumLe	True	Passed	Model Under Test Equivalent Model
2c87df056f67d55157ce7a7b76b5488f917634ed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumLe	False	Passed	Model Under Test Equivalent Model
4bb250abc5fd4a218c8250d7f9501bbb13a9ea22	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	DefFun	True	Passed	Model Under Test Equivalent Model
716faf9b7054375fe878f7056a806921f39dd30b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	DefFun	False	Passed	Model Under Test Equivalent Model
d10ec23c8be0eb0084762680d4703ac277efae36	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	LetDefFun	True	Passed	Model Under Test Equivalent Model
ef173a9c94d296575b53fe6b85d01abec8383399	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	LetDefFun	False	Passed	Model Under Test Equivalent Model
058a35db11da6c7a88be54f0c6a75a97337fd4f3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
c5199bcfa598d63c215dcab9878206e0fdfb96dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
2933ac055933a7efb6bc1c3a71f1896fe9f4e986	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
fdc69001969a45606129bba5ad96f99a5555dd9f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
1b2dc2677a9a886014a0d6963e581fe0daf829bf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Def0	True	Passed	Model Under Test Equivalent Model
bdaa8e371861e2ee730df2406289817e3fa9b490	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Def0	False	Passed	Model Under Test Equivalent Model
8b4ae8a2c6464d31f8eba06e8ffebf54ad0ffa8e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	LetDef0	True	Passed	Model Under Test Equivalent Model
eafe137ae3932c877c86515b8555e85f4aebe1a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	LetDef0	False	Passed	Model Under Test Equivalent Model
d4a88e499a0ad0cf864c8943d810518986e152eb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Def1	True	Passed	Model Under Test Equivalent Model
e9c1925bf2f263d09239fdd3b9ea286fe0fa23fe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Def1	False	Passed	Model Under Test Equivalent Model
24830e0214ffabc59ff69634ea2ece444edb4bf0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	LetDef1	True	Passed	Model Under Test Equivalent Model
a86bd91067df051d20b4b919568b6877bc8812cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	LetDef1	False	Passed	Model Under Test Equivalent Model
f2c1205c29d195f5a38f02676753fda49869209b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Def2	True	Passed	Model Under Test Equivalent Model
9e5c545bc29a4628a2c15a4ef3034a8199087500	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Def2	False	Passed	Model Under Test Equivalent Model
b3a5f2375eaba241ef638bc50a060b1ab48ace6c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	LetDef2	True	Passed	Model Under Test Equivalent Model
be96eacd77d2208febdd3a39c7f97e372ed370b8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	LetDef2	False	Passed	Model Under Test Equivalent Model
4d1b78c2715b138b8f18735877cb35ab4872ce03	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Def1Recursive	True	Passed	Model Under Test Equivalent Model
40a0c8ffb9eff9c844d15fc70d6ba4d3df1dde21	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Def1Recursive	False	Passed	Model Under Test Equivalent Model
430d3e98ec45020cd61a26e82032a5a54133ca58	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
51d2bc1f208b74b2c91128a10968fe085d11f508	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
cc2679bcc4f7fc8c564e0f5430b7470ca43f8386	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Extends	True	Passed	Model Under Test Equivalent Model
05f9d1c5c1648428b35dc7b5bf10e9a700d7ea00	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Extends	False	Passed	Model Under Test Equivalent Model
ea8e655a9808798e68b544d44579fd375efbc56a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
af396c19444ecbe6c9e7cd74eb7fe3cb6e497e24	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
fa36990357ea420b204f4605b55771ecbd2af723	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Variable	True	Passed	Model Under Test Equivalent Model
eb41586e3783188ef8a0d01695784a0b2952095f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Variable	False	Passed	Model Under Test Equivalent Model
71db2ec4622fa1f147bbe4a53593bbc0eea033de	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Constant	True	Passed	Model Under Test Equivalent Model
67ab45f800504e47a7184131b869a6bff7350a05	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Constant	False	Passed	Model Under Test Equivalent Model
2049404859c66a8cb3be0f5514bb4808d6b54351	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
6cb0777a732f729b6d94b8919d26ced7ff3241e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
e7e0b7608de567532a646e241483c8e9e896868f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	ConstantRank1	True	Passed	Model Under Test Equivalent Model
614f8a47ebb672b279c8298eb5beb593fd45c939	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	ConstantRank1	False	Passed	Model Under Test Equivalent Model
1159e2e001607b35f8ab7e4eb2c3f34cca7df41a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Instance	True	Passed	Model Under Test Equivalent Model
1c1d6c860774b603bfc396b45f597b837eb7de7e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Instance	False	Passed	Model Under Test Equivalent Model
caec0816d8e7c8d19d30211bd3dbce5a96cbb190	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	InstanceWith	True	Passed	Model Under Test Equivalent Model
de4bf7331a73c3a5c5ac75cd3f668e03b28fd47e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	InstanceWith	False	Passed	Model Under Test Equivalent Model
51f082078e4e8daa4cf546be81d2b4d1cfd418e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	InstanceNamed	True	Passed	Model Under Test Equivalent Model
a4163c420e895d5ac200bda813100f58f6c7449f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	InstanceNamed	False	Passed	Model Under Test Equivalent Model
b75f77a84ed647130c29d6272e613743fe7475ed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
d906a1642efaca45cb47085199abeb11a6e3a772	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
752b3e6c11b38b27e0f186d580f3e6152daa33d7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
b9214b2a8aec9e9e2789c5b24dc7d7d0b4e5660b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
d116cd160aac0aea999fda8abf63ebf8c08d2f41	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
bf2c760d00024dbe11157d39cb543546625105e2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
38413adb02208ceaaa6b0043664b8dc8b2723989	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
3058846a3b3cc523ce6c6f53c84f48c804e145ba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
1144c2a91abf41a6e4763c5c8d5915aa9adc3091	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
9680978513b6cb5dea3abd66c467fc9965569370	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
d249c3d101a895d54cc5fe91caebb39636f4af90	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Enabled	True	Passed	Model Under Test Equivalent Model
046f1038705d0a6a83d371fcc83cafa97881ab23	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Enabled	False	Passed	Model Under Test Equivalent Model
0fc4fd2a94be950b375f698b7dddbefdd915a548	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Cross2	True	Passed	Model Under Test Equivalent Model
15b43195fa6253d9c3ab36a38fab0dde2d205698	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Cross2	False	Passed	Model Under Test Equivalent Model
1d2f73f4ef8719625ff379ecceb9c2f05a0d0b3e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Cross3	True	Passed	Model Under Test Equivalent Model
fa4ea0c259f723b98030455fa3a928627818c6ce	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Cross3	False	Passed	Model Under Test Equivalent Model
1bf6b485377f10f5231fbf493cb1256bcf900725	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	FunSet	True	Passed	Model Under Test Equivalent Model
78d68bfaffc79fa891f710838ffcfabfdd423f12	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	FunSet	False	Passed	Model Under Test Equivalent Model
b3bd7cb858443eef7bc68f71a846ecfddac00896	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	RecordSet	True	Passed	Model Under Test Equivalent Model
f555ed4d61abe143633a913ea9987d829be46276	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	RecordSet	False	Passed	Model Under Test Equivalent Model
0b596e75946659ee7df5600f957b99d3ad3896a2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SetDiff	True	Passed	Model Under Test Equivalent Model
683c33f56c5d3a7a21101d2d8fe60c74386110a1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SetDiff	False	Passed	Model Under Test Equivalent Model
db837930bbe93527ab676990168063320a7b304e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SetUnion	True	Passed	Model Under Test Equivalent Model
6a0d42216fcbb74fc1b4a46e66217902ab4747d5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SetUnion	False	Passed	Model Under Test Equivalent Model
de9512f2941fd3703f52e269ffb3ae47d77d4bed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SetIntersect	True	Passed	Model Under Test Equivalent Model
185aa94a41b5e03836e01a6e76091d22538fa78d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SetIntersect	False	Passed	Model Under Test Equivalent Model
f9e7ef8412bc6f6c0e897373daf13ed708668567	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SubsetEq	True	Passed	Model Under Test Equivalent Model
572ac4a97a2919305239890c2fc8fffe68086e13	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SubsetEq	False	Passed	Model Under Test Equivalent Model
825bb9077672ec761b4527d388edac25c6dd362e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	IfCond	True	Passed	Model Under Test Equivalent Model
ae103dad425124b7fda9c7291fea573b9475f051	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	IfCond	False	Passed	Model Under Test Equivalent Model
8e74aff26a41cd789f821091d60b204cdeae7134	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	IfThen	True	Passed	Model Under Test Equivalent Model
592d75c7fbc27b8613eb65f7573f5f05d32a3a6f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	IfThen	False	Passed	Model Under Test Equivalent Model
b7e459e6c9a25dae9e97fef34d940052b68f11d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	IfElse	True	Passed	Model Under Test Equivalent Model
75a657412c23391e2693c8fe5a80ce4007198c25	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	IfElse	False	Passed	Model Under Test Equivalent Model
1c0d9e4fce04bd77331e60c690e8050fa7a15fc9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Subset	True	Passed	Model Under Test Equivalent Model
fadff56b321f08c5754c30be941f4b9beef8b0c5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Subset	False	Passed	Model Under Test Equivalent Model
75cfe1c84bac3fd2f225d69987267ba2cece2ddd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Domain	True	Passed	Model Under Test Equivalent Model
f2444fcc7a9505d5d5fb47524f5bab502dde3fe8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Domain	False	Passed	Model Under Test Equivalent Model
6f7ae9c44a04a3a6113a956186b4ec8ac2b8e239	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Union	True	Passed	Model Under Test Equivalent Model
9743c5801db6f4fe822165f56a51452c603b5ab7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Union	False	Passed	Model Under Test Equivalent Model
c0eb8184649ccb70d8b99b0dbf52cacf18330c7c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Unchanged	True	Passed	Model Under Test Equivalent Model
d6e1e9e6ff053b3c9265c2b682b09d2ee5c01908	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Unchanged	False	Passed	Model Under Test Equivalent Model
a2fd48f710aa2639bfcd4fdb4d26fad2dcbd1b89	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Equivalence	True	Passed	Model Under Test Equivalent Model
52ba0b410c570e5744860ef0e6c18b089240eb61	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Equivalence	False	Passed	Model Under Test Equivalent Model
c44b45d7d9adb43e067046294eec9ee1be64bf44	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	StringEmpty	True	Passed	Model Under Test Equivalent Model
121ad37bf7d15e35cc85be0fa1da9d87e17a53e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	StringEmpty	False	Passed	Model Under Test Equivalent Model
b9cd0d61e44ebd6d7060c2f306afeaf0a64580f9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	String	True	Passed	Model Under Test Equivalent Model
2151021c5890302251281056794b1a70263eac6c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	String	False	Passed	Model Under Test Equivalent Model
c06094d1843bb353b0d5427e99ef02c2cdbdbaf3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SeqLen	True	Passed	Model Under Test Equivalent Model
c7baa215978609acdfd8ad8b9a4c110e4cecd6bd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SeqLen	False	Passed	Model Under Test Equivalent Model
5f08c5329c66091bda8a19a4d39087131a9cd18b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SeqConcat	True	Passed	Model Under Test Equivalent Model
693653219b6a6a08b34de6cdc5e94fdcf4584dc4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SeqConcat	False	Passed	Model Under Test Equivalent Model
e3da4685d5f5e261995c274fac122dad6d22251e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
beb529ad8feea139efa4cf0d1f3739400bffbe85	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
46287cb8559557f7350016b96eb5a08d24c2edd7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
1b23951925e72bfce6ee200302442f7873efe251	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
a295a84a22ec2c23901b5362bbfe1f46d8fc5bd3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumRange	True	Passed	Model Under Test Equivalent Model
4a6002187201de981bb4a2e7560304caf97eb7f4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	NumRange	False	Passed	Model Under Test Equivalent Model
bf8b1a88d1b85ba4fe93974b26eb2a685ce2105f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
3adaae0ef1e4cd5a3db617c47004f98d489ed4d5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
64b09699aae29a8391ebd02dc4a051e2e5cdd81e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
a6748eac710d71c507890eabbf4e1d46b772a51b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
a314db9f8dbcdc67e47747a6466045d7c526fb06	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
7d07230d5eb2a252a4368feadd47e631ce19101d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
3a359d218334f1cc3e5e96879aa906bc7ff47592	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
7db7e03a61453bf7a61394b53675f9706f12e86e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
5356f41a70d968f4bad4d1c5212c942a58c9d275	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	TlcEval	True	Passed	Model Under Test Equivalent Model
694c0da725760cc7fbd7d2dd839c6a51678db8ca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	TlcEval	False	Passed	Model Under Test Equivalent Model
dca6b7544081a36d1f06fe307fef056051f242ad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagBagToSet	True	Passed	Model Under Test Equivalent Model
767f16325cb25dd1a52ed3c8c7571f54a3a5c022	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagBagToSet	False	Passed	Model Under Test Equivalent Model
e090230f9793b32ec8741b571594bf627079208c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagSetToBag	True	Passed	Model Under Test Equivalent Model
a6529a4ed3646f96232129ef3a922d73adccf56a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagSetToBag	False	Passed	Model Under Test Equivalent Model
e811c054879ec41acae43d26cd9c259ae7bc8d7e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagBagIn	True	Passed	Model Under Test Equivalent Model
c2a93c27bd7476b589606b0989192690f22bc096	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagBagIn	False	Passed	Model Under Test Equivalent Model
584c3632c7251649d6863417cc7fc4a92c7d367c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
738ba0fb31b50fd3615e0c05dc7afe343646316b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
ae5b460b2c80eaec622a94f80fe2e8e3e35bf54c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagAddBag	True	Passed	Model Under Test Equivalent Model
da48cb5ce9abaf5419ba0fe0f627d544c2fd2543	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagAddBag	False	Passed	Model Under Test Equivalent Model
d00f7638658dff21199e3df347fb6275516edb4a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagBagSub	True	Passed	Model Under Test Equivalent Model
e5a9454a3745d60bf56df94e953020257ffd95e1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagBagSub	False	Passed	Model Under Test Equivalent Model
d585be01a699c20a72445cf0d6977f081ee4241c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
764fc754148b762066a6e99e7099c4a30fa80db6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
f477344832bb8f09e6a4a5bea64416f68bf25d1c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
21b3c8f452023dd6e212645f33556d5798f44d02	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
889a7b34fb8bb768cef34ad27039f302b59f2138	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagBagUnion	True	Passed	Model Under Test Equivalent Model
d136ce470881a616a33a1f9d343b09d113d869ba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagBagUnion	False	Passed	Model Under Test Equivalent Model
9a65407e14df727cce5917f49cf0a416b55012be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
ba13a12b7f163a5b9e1a47dbc7f29863b68d7c05	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
fafd2c70312d9d2f70abbebe391a919f20de06bd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
0721b84a4373f2d01ce2442aa15ffcc0b70dd6e9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
8f1cb0bd455ee5fcf0f8cc195b3ab1b295197370	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagSubBag	True	Passed	Model Under Test Equivalent Model
b702dc3c92e1f0d2538a4425581b3ca5456a8c70	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	BagSubBag	False	Passed	Model Under Test Equivalent Model
4c11ab84d99d409ec4005ef9b43512782526d48f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
428285482518c6142f611a80282cd1fc62b2f0b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
f45937d7cebaee256a443f7fe24b2a657bb2e14b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
b6feb9b2737252c6c3cebec7f1e5b584067ed01e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
cc187ae4cc49e6b206713e70d88931562f98315a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SeqHead	True	Passed	Model Under Test Equivalent Model
34c48b71492744b83133675ebe3d533e87a9d8d2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SeqHead	False	Passed	Model Under Test Equivalent Model
34a326fd096b3c548e8f566b95a295a4229170cb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SeqTail	True	Passed	Model Under Test Equivalent Model
61749aa9fd4177a90b74c69b2bbbf2fd72f16355	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SeqTail	False	Passed	Model Under Test Equivalent Model
4415f5119160057be1b5102b2a3669cc755f8f6d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SeqAppend	True	Passed	Model Under Test Equivalent Model
721cd8650370594f1bc0dbbd1bc5785174e879f6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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