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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
c94953cf167862e2daa27de245fa2bf2107b1d21	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	OneLineComment	True	Passed	Model Under Test Equivalent Model
1408b8fb9ed55b396e4677eaab51e286d40d3da4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	OneLineComment	False	Passed	Model Under Test Equivalent Model
c84f04889c40dcae28cb913977544b97cc31e1d3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	MultiLineComment	True	Passed	Model Under Test Equivalent Model
dc6b22d67d78655ab142f2bcb4e911fd29050bf9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	MultiLineComment	False	Passed	Model Under Test Equivalent Model
cfe62b882eac3a2c369f0cc5fdc2f8b5dce50473	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BoolTrue	True	Passed	Model Under Test Equivalent Model
13afc62454b677f5fa2d1605d08fab9beaa769a0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BoolTrue	False	Passed	Model Under Test Equivalent Model
79656c3154db38429de649f984e718b1dba7af0e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BoolFalse	True	Passed	Model Under Test Equivalent Model
130c591bea824cfd337648c543a9d61cdf73a366	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BoolFalse	False	Passed	Model Under Test Equivalent Model
3cf6a1464ab424e8cef57a7c7d0f08d121051729	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BoolSet	True	Passed	Model Under Test Equivalent Model
01b66c972baf72846e20f9f88d0187a8a9acf926	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BoolSet	False	Passed	Model Under Test Equivalent Model
69b92ed1a347223fb516e0ba126766d61968071f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	And	True	Passed	Model Under Test Equivalent Model
2a4e13581f15580711e2404dc041bf1ab204f9b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	And	False	Passed	Model Under Test Equivalent Model
0ea5d57575204fc504b9d680172c4acdb2515931	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	AndMultiLine	True	Passed	Model Under Test Equivalent Model
10c6605b62d1819275d43601b18f3892febf6a11	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	AndMultiLine	False	Passed	Model Under Test Equivalent Model
791cdf466944f3c7bbd39616b092b7288a93d700	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Imply	True	Passed	Model Under Test Equivalent Model
c8b3774b44395540f07c1148af9c8556c961aa18	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Imply	False	Passed	Model Under Test Equivalent Model
814e3acf32839adf880c4352b8682cad1b2db606	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Not	True	Passed	Model Under Test Equivalent Model
9f2d53220fa377ee6d964f6f21921fe6071dec19	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Not	False	Passed	Model Under Test Equivalent Model
fdd1fb433d137c329f4e7828d2cf9a3b5e5dd48d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Or	True	Passed	Model Under Test Equivalent Model
ec2e8221ab1e8944391fcfe444c1fa087b6931cb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Or	False	Passed	Model Under Test Equivalent Model
63d1d4d4abd3464275671096c8f68df6f2313b4c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	OrMultiLine	True	Passed	Model Under Test Equivalent Model
0965aaf69c23a44d53c0fb06e216d8fd93668a36	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	OrMultiLine	False	Passed	Model Under Test Equivalent Model
66bc19bbc6df7dae609e9dfd6ca172feeabc8cf8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Eq	True	Passed	Model Under Test Equivalent Model
30c7936490e44356e23fcc46c8865a41d801ac8a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Eq	False	Passed	Model Under Test Equivalent Model
756dd39eabe3cffb6a0b40bc5d610b8f631e79d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Ne	True	Passed	Model Under Test Equivalent Model
093f7d8e28cdbb46b5de8dc7532266960140c20e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Ne	False	Passed	Model Under Test Equivalent Model
253bbf2a2fa7cce7dbd1e6baaa3bbe9a1bfa98cb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Let	True	Passed	Model Under Test Equivalent Model
5587b90992337d9f06eca9c9b51243c5758d65b7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Let	False	Passed	Model Under Test Equivalent Model
1575741e65b6e55478ed2139f11f4923985d77f5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SetEmpty	True	Passed	Model Under Test Equivalent Model
8a4819270d53f25e002cd0c2d73007badac5c5f9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SetEmpty	False	Passed	Model Under Test Equivalent Model
8fcbeb2481899dab902e18877ef6c68323259fe4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Set0	True	Passed	Model Under Test Equivalent Model
7e564c13e6026bc5b65dcbb895aa34751763f096	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Set0	False	Passed	Model Under Test Equivalent Model
242ee0cd688929a033b347c7a4c469ff20c98fd7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Set1	True	Passed	Model Under Test Equivalent Model
3e5bbf05e574cbcf7c88f35e2d21a3220b1b31bb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Set1	False	Passed	Model Under Test Equivalent Model
7137cce17eb862786e56df97f23dca04d1428a81	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Set2	True	Passed	Model Under Test Equivalent Model
9b8dc76763169a01fa81c2fbc76a151bb31f5fe9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Set2	False	Passed	Model Under Test Equivalent Model
cb25769c5e206820a63f292ea6d80514208304c1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Fun	True	Passed	Model Under Test Equivalent Model
62c7820971c935fdeb505a3e864714b918c98882	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Fun	False	Passed	Model Under Test Equivalent Model
042815fcb7fd9bdfb56f253466e51392fd99c769	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	In	True	Passed	Model Under Test Equivalent Model
d17fe2f59456454ceb610bd82cdef4901e88ce99	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	In	False	Passed	Model Under Test Equivalent Model
bcf32eddb91c53aa84ba6d4f0300e26c7143b4f5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NotIn	True	Passed	Model Under Test Equivalent Model
d370df0f511d4245735f5caa40b3f48b0fa2d3c0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NotIn	False	Passed	Model Under Test Equivalent Model
bd1ec2de01fe754e0eb0f17914a03aab53f2bfa2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Exists	True	Passed	Model Under Test Equivalent Model
15f9930ba48b126ec7fb19f7c47e5be520d2aa17	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Exists	False	Passed	Model Under Test Equivalent Model
9315ab7e37e85c61eb7d09916a155a14e6e0a262	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Forall	True	Passed	Model Under Test Equivalent Model
f15b56e0e10e705072339a5974aa797fd55e64bb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Forall	False	Passed	Model Under Test Equivalent Model
4c3c92b1de70c7fc6fff5e7f5158cc92f9fae334	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Choose	True	Passed	Model Under Test Equivalent Model
0928132717be17974705b23f6964f5c915a61c79	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Choose	False	Passed	Model Under Test Equivalent Model
6635bdacff109030fd5b968d5464b862779d3498	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Record	True	Passed	Model Under Test Equivalent Model
fd96de0cc1ed2669334f9b7c1c9dfcd66c4d57bb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Record	False	Passed	Model Under Test Equivalent Model
5e5b74e1dc6c5cbc92e78ee22692e41209b0aac2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Tuple	True	Passed	Model Under Test Equivalent Model
19376ff6e16eda93e9810ff8f9cd543adb29be60	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Tuple	False	Passed	Model Under Test Equivalent Model
340617a82d6381d87a357d82bcac8db069156c72	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	TupleEmpty	True	Passed	Model Under Test Equivalent Model
37b0f2c77a0e6f8083033482fd9355788be60f2c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	TupleEmpty	False	Passed	Model Under Test Equivalent Model
11c7936677dd4d4988ec9d17b4732b507348b13e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	FunApp	True	Passed	Model Under Test Equivalent Model
05bcc6f80fa79d5e70f8d74b850237ce3607eb10	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	FunApp	False	Passed	Model Under Test Equivalent Model
ba0f4ac8235c1127f7e8a0f5870b57b375680d73	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumZero	True	Passed	Model Under Test Equivalent Model
85fa4c5b5857f86d9999e8c7f7b4412246481514	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumZero	False	Passed	Model Under Test Equivalent Model
2957fb4d2b1a419e40ff92b1d8b60d0aec57d17c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumOne	True	Passed	Model Under Test Equivalent Model
6930acb137af43a303728503a23bf6dc97a863b7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumOne	False	Passed	Model Under Test Equivalent Model
1d81dfb88e0eb8fd09137b25af37de36a0813087	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumMaxInt	True	Passed	Model Under Test Equivalent Model
52ce25462acf17198d4c48a292d3a7b7caa94427	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumMaxInt	False	Passed	Model Under Test Equivalent Model
1d189643e69623ad578290395bca519f89047ec7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
d585d04de4efb2082da191c2bf6f3350a017b226	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
6d0e8be99d8ee98b757ff0b90ca13932513e2995	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumPlus	True	Passed	Model Under Test Equivalent Model
dccdee7e8b6e88c452f6852f123c7664587dafac	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumPlus	False	Passed	Model Under Test Equivalent Model
6a9a5a4388f60616ba5116ba514c7a21c51aaaa5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumMinus	True	Passed	Model Under Test Equivalent Model
d903a0ba96db8d768258fc8ab3f571b5e1850b97	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumMinus	False	Passed	Model Under Test Equivalent Model
cca787e4804052cf6e614a44561b0f9915e10146	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumMul	True	Passed	Model Under Test Equivalent Model
1178bec05d67ec092e1df30b0477faf6e8d02ce0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumMul	False	Passed	Model Under Test Equivalent Model
08d5f5fc4af84fe35215b5943998fc5389a005c1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumDiv	True	Passed	Model Under Test Equivalent Model
a8ff94103f90be3ef89e94b5b26628c161dd39b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumDiv	False	Passed	Model Under Test Equivalent Model
a76f9c0c35f57a6d424b720d7e30f68f35f9f790	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumMod	True	Passed	Model Under Test Equivalent Model
343c24be04d85b2fa5edd339745a49a8088b5c80	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumMod	False	Passed	Model Under Test Equivalent Model
a27af366fa9845d14083de1907c3063e15c46cf3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumPow	True	Passed	Model Under Test Equivalent Model
3eeed1ce298fa5da1a14a5f13d64f3e0f17e4059	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumPow	False	Passed	Model Under Test Equivalent Model
98ecf29bb9fe25a8ddab90a110de109a182eec77	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumGt	True	Passed	Model Under Test Equivalent Model
fb9fb92f88c6ca7e418dfb4d581743b80fc9e1b0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumGt	False	Passed	Model Under Test Equivalent Model
99ed12922d7ecdf3496c93b520084c363516d051	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumGe	True	Passed	Model Under Test Equivalent Model
0bd84e66539079743f6fd98b2d7123c46df61ba0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumGe	False	Passed	Model Under Test Equivalent Model
954af6e0bf83250d161090bc4968605544d14f5d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumLt	True	Passed	Model Under Test Equivalent Model
58933e4e03780a245f11f50a01d9ca4e5d4609e9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumLt	False	Passed	Model Under Test Equivalent Model
80322641a6e7eea53ea4770618873d5de9a33459	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumLe	True	Passed	Model Under Test Equivalent Model
61563d61e56841a7e75f945f0e0e2897d052a4e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumLe	False	Passed	Model Under Test Equivalent Model
38b2f1916dbf7728f83dccda6d161e1a5b1d78e0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	DefFun	True	Passed	Model Under Test Equivalent Model
44358380f67dd91271c979ae229bb1fbb79c88ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	DefFun	False	Passed	Model Under Test Equivalent Model
8ad1ecb792a96e3d788067cf71f3b16964895b52	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	LetDefFun	True	Passed	Model Under Test Equivalent Model
ae714b5d8533916f2fd390bf9e33156ee2c127d1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	LetDefFun	False	Passed	Model Under Test Equivalent Model
7bdcc1c39789b6afd48bdb926334a8e1c3892328	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
b8ab11e7692d8be2288c226db689d9658b38ca29	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
3a1b2d6078531e1f2161a8c55116b148b55104c3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
c6649ad39f395409a85bface6b729438df06dd0a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
b697fc32a8722a6efa9160ca02ffb2e1a2e2ac4e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Def0	True	Passed	Model Under Test Equivalent Model
9a6903ac0ccc344283070c142f7701d76aa3c1f1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Def0	False	Passed	Model Under Test Equivalent Model
e374958e8f100c714dfa94655191c5f89d976fda	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	LetDef0	True	Passed	Model Under Test Equivalent Model
4669a9c7924eea5a734acf43f8591226077bee8c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	LetDef0	False	Passed	Model Under Test Equivalent Model
7cbb2bca5f83025685295a82e12a24d7ee8b18ed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Def1	True	Passed	Model Under Test Equivalent Model
7b907a9a2d18522d1568f5dbd7bd5032289aa021	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Def1	False	Passed	Model Under Test Equivalent Model
091a8831c1124fba03ec7819bc3b1e44fbcf9565	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	LetDef1	True	Passed	Model Under Test Equivalent Model
bd79eedc1d077e314b1e6b64c137d9bf10025caa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	LetDef1	False	Passed	Model Under Test Equivalent Model
b97b9785eecd2433adb79970cc621229c43c07d8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Def2	True	Passed	Model Under Test Equivalent Model
5b49ba09a59d55361b1f2bbad9dbda719a703bfe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Def2	False	Passed	Model Under Test Equivalent Model
8613e36f555e3d48e6da47a6e4b00007aea75b87	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	LetDef2	True	Passed	Model Under Test Equivalent Model
46aebe0fcde36003cdd9474baeab98f4aaaa5a57	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	LetDef2	False	Passed	Model Under Test Equivalent Model
cd1ef4a0044384a17884c1bb8c92485a261c65f8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Def1Recursive	True	Passed	Model Under Test Equivalent Model
9ffa29b7a501a9313c77afe88d77a20d890ba58c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Def1Recursive	False	Passed	Model Under Test Equivalent Model
fc38d2075f3dfd7927768f821b8fc4373ee7890f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
7d6996f26fea20a68f79e4d3638766fa2df4c394	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
40fe8397fa9f8134faf6182afa0c02ff0500fe28	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Extends	True	Passed	Model Under Test Equivalent Model
1904187f50f98568398f212338b40047f9d32c90	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Extends	False	Passed	Model Under Test Equivalent Model
1fc307fcdaaa40c94377725984abfc5f3c77dfa0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
2156890e7862408a3e2e9e80112f9825f02d6d21	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
fddccb85ee27b200a4c13b58b921b006dd29e5a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Constant	True	Passed	Model Under Test Equivalent Model
ae5d8a9eacfc3aacfa199cb60c501205737f73cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Constant	False	Passed	Model Under Test Equivalent Model
ef03cb6e03785987b5b4ca0c08988de3fcadb5a1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
1ee8f0174190194b368c42cd22da05237b6d198d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
f4cba23da96ca1390b4065e9adbf02035d24b9d0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	ConstantRank1	True	Passed	Model Under Test Equivalent Model
2249090331c2a8316e9cee33dd25aafe1590019d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	ConstantRank1	False	Passed	Model Under Test Equivalent Model
f7d89477d56cb5b096e326f01df7f47a2e6e6370	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Instance	True	Passed	Model Under Test Equivalent Model
9310b8823c21b5c7051b984ae753f6f401fc6b92	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Instance	False	Passed	Model Under Test Equivalent Model
d8304fa862edede536cdbbf9763f8125518b0886	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	InstanceWith	True	Passed	Model Under Test Equivalent Model
e1fac9a1bc71dc54016e64ca377e0efc8078ed1f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	InstanceWith	False	Passed	Model Under Test Equivalent Model
84cf4200e52f6d73d184a30dbc172b8626e5cb2a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	InstanceNamed	True	Passed	Model Under Test Equivalent Model
18e7413256babdec8acd0b8ff9f5851910675e8a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	InstanceNamed	False	Passed	Model Under Test Equivalent Model
00d2e560d0fc20a5d7959e179a8123cd1ad5bcc8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
f5a3d0a1ee25de8602651e58959f205c7c55ff4b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
ee3343838024045a83efbd950468ddd9508f5f37	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
d7ee3bbf1d462ad853c2b29efb111700b26dc0dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
271031c9914188ce69d41213d9ffa93592f0e728	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
79f4b9ca7c2475c8fe84361cddfdacbf0781deb6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
a136d58569524c656bb4444846e1c890fce35503	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
6d461029458958fadc38bf9362aeee1109430709	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
ea4f4996d424c46faf7d53821746d7b87996eb50	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
510d095eae27ee05cfc04d0b267bb16bcbf1a524	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
53831857e0d5172a9af4b3d320f6d521fcb92984	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Cross2	True	Passed	Model Under Test Equivalent Model
858f27f397d9701aaddc491c26878ebf4e667006	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Cross2	False	Passed	Model Under Test Equivalent Model
e2b2979c532b6ae5c3491c34ed598969484f020b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Cross3	True	Passed	Model Under Test Equivalent Model
0c5df502cafcc833199b04948917a6f9f13b7e00	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Cross3	False	Passed	Model Under Test Equivalent Model
de885916eadda3adb0be7ce0bf12d9e6edc5f158	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	FunSet	True	Passed	Model Under Test Equivalent Model
544f697b59757b81197ce7f7426baa9f883c08dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	FunSet	False	Passed	Model Under Test Equivalent Model
9cdf103478c424667a742d8f64f190627a6c1bd0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	RecordSet	True	Passed	Model Under Test Equivalent Model
0e1da90e16e89b81b6bbdb9bb8d0054736e0ce1f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	RecordSet	False	Passed	Model Under Test Equivalent Model
a344879442ddb6b168c4310e11c39601fc5cdfb2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SetDiff	True	Passed	Model Under Test Equivalent Model
228b3e15b8519368773f4c229d0aaef2180a3e07	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SetDiff	False	Passed	Model Under Test Equivalent Model
98f86a4fa3c367a836b05bc8ea941ae3850b6e6b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SetUnion	True	Passed	Model Under Test Equivalent Model
2b6b2cf64cf02b74f30dbf542d1b7733ad7fb318	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SetUnion	False	Passed	Model Under Test Equivalent Model
a9d7f6df7054e75c34a6322e9b33e39a866f1300	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SetIntersect	True	Passed	Model Under Test Equivalent Model
f2fa24cf52c4a8b3acde79712cbb5271180fcf88	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SetIntersect	False	Passed	Model Under Test Equivalent Model
620d1e9f580b033153da2117da7d18ccc3f96d06	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SubsetEq	True	Passed	Model Under Test Equivalent Model
38c122b1f74f0e9e828424ea8cf7fa19f1f75145	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SubsetEq	False	Passed	Model Under Test Equivalent Model
7a9ad55ffb065ab6bbfd8d2d6683b3612a0e49a0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	IfCond	True	Passed	Model Under Test Equivalent Model
1b062f7b96e7996442a4774b77e08ff9aff34303	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	IfCond	False	Passed	Model Under Test Equivalent Model
58aadaf449e31cb943c793d7c4b1d852c743674d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	IfThen	True	Passed	Model Under Test Equivalent Model
7f26d923a59cf21ab4f99f9fe0558fbd240f7b98	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	IfThen	False	Passed	Model Under Test Equivalent Model
97604f0bfeb88cdcde8c105a5f536d51c78b93d5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	IfElse	True	Passed	Model Under Test Equivalent Model
989ff325c04f3640d7aa234f7eb62fcf65cf803b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	IfElse	False	Passed	Model Under Test Equivalent Model
538356e4098ce29f52563dbfcf94d0aa25f49067	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Subset	True	Passed	Model Under Test Equivalent Model
de1024a1b3ed4c4cf4488f6eeda89586fb1af545	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Subset	False	Passed	Model Under Test Equivalent Model
5fb6b76681ba6bd2b3b789965a21297686118537	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Domain	True	Passed	Model Under Test Equivalent Model
8c8f3a0b817368d2d77eaece380110c2bdd261b3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Domain	False	Passed	Model Under Test Equivalent Model
c8d4e262fccf5d126e954b0c56d964b271c177cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Union	True	Passed	Model Under Test Equivalent Model
c2b595268f767fd946f7663e1c0d47f0120afb31	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Union	False	Passed	Model Under Test Equivalent Model
64f89bb27033d1156e376ddda99da003b88b58b9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Equivalence	True	Passed	Model Under Test Equivalent Model
cd488b344552d80b95932ac06b510d25ad9d3228	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Equivalence	False	Passed	Model Under Test Equivalent Model
7c2efeb65510ffc5857ea8d9316e62faac76bed9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	StringEmpty	True	Passed	Model Under Test Equivalent Model
8c395823c9bfb9f4c97fbeab7fbcad347a969ba9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	StringEmpty	False	Passed	Model Under Test Equivalent Model
a9e292ce37ca931296a1089d884cf86df99d677f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	String	True	Passed	Model Under Test Equivalent Model
202c4db6d36d21254f1359a1d6f0a58a12f8ab25	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	String	False	Passed	Model Under Test Equivalent Model
5f97caa58f0bcec114270184bb9fbf7f66056a7c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SeqLen	True	Passed	Model Under Test Equivalent Model
af7e6534e4e9c56ef827feb31cb4add8bbdb189b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SeqLen	False	Passed	Model Under Test Equivalent Model
c5d9c88f48184ec250a0b9be2a2f843b33237a46	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SeqConcat	True	Passed	Model Under Test Equivalent Model
86ed2e790fa493f06579a8c23f72b1877d231ccf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SeqConcat	False	Passed	Model Under Test Equivalent Model
8854c31d09dfc91b45a0bb4a12561fe0549dcf03	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
a60231d01e697a047c5612d2845282bf3993fb66	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
3f265e8edcd79cbad0bba773d5fc5bbf5535b9b3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
2eda94cf0aea61ad18ecb83b961b12b9a988ddb7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
2b40b5796caaf1ecfddc4f74495083d37be2c9fd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumRange	True	Passed	Model Under Test Equivalent Model
0295544c0425fdfefcaa3cb0f91ee70d28f9e647	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	NumRange	False	Passed	Model Under Test Equivalent Model
b48bafe0e57177749435a3163f0f70aa0c309c22	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
bb153d6094f5887de8e3b5b99175f6313dd5735b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
e88abc277aef02ec19ce3214f85f495f8422c070	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
a1f222769b0c83f59b492238ba506639d4ffa87f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
23851c4a13aaf3ffc43b181feb0bb88a010d7a2b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
ce5d345801f3c0f360821a52738817bd4608af56	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
ffe8d7dc2cb925a1f6a7b756314972278e529187	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
e9576e7759c91c35f6db45e78ac4debd5e5aa10c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
612f8cc6aeb291bb941e390d195cfea85094b92a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	TlcEval	True	Passed	Model Under Test Equivalent Model
1db5c00168b7f0fa3fd1a230dc91523cc72aecbb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	TlcEval	False	Passed	Model Under Test Equivalent Model
8852adf09aedc422b20f460f790a64993a3edb9e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagBagToSet	True	Passed	Model Under Test Equivalent Model
a91ca54563a4907fe6f4f3e566518a6b8cf916f1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagBagToSet	False	Passed	Model Under Test Equivalent Model
c227cb45334122daa47181471c9e174b2515b3c8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagSetToBag	True	Passed	Model Under Test Equivalent Model
5ab7941a9837e2086114f410e2d5864520419dfa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagSetToBag	False	Passed	Model Under Test Equivalent Model
88666cd4af77f03b4a322ed143cfdde1524eb040	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagBagIn	True	Passed	Model Under Test Equivalent Model
e9d0aa0847921aa88c3c6af2bdbfd8ea40cf5585	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagBagIn	False	Passed	Model Under Test Equivalent Model
f67363e68a478248557e9cb442fb1c92639453c4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
2d8a4659a7a25d218e9091c12ed422858b0047ab	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
bdf6ad151f0fbd44e7b497601c03dcb3918f679f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagAddBag	True	Passed	Model Under Test Equivalent Model
757920869b26af315d999a111a701284ed9a8a39	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagAddBag	False	Passed	Model Under Test Equivalent Model
7f767276f7484aca83b755c36864f08a98c3ce0a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagBagSub	True	Passed	Model Under Test Equivalent Model
58db5923914f89fa5c261e9815aa0259c0623287	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagBagSub	False	Passed	Model Under Test Equivalent Model
e7460391976d82f9ffed5f2a6a6224a09e974967	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
267fb93dcec7d447b321e0eb68f97f068617a5dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
94ace403c321080d46411dd7bbef27c65ef889bd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
e456dc0352288fb2239a5c48ead25a8df94110af	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
f7b90ee9801981fdae3169cd2e21926c4e8d242a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagBagUnion	True	Passed	Model Under Test Equivalent Model
a9271811ee8139ebd7546e37d91937201052b23b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagBagUnion	False	Passed	Model Under Test Equivalent Model
fd521c7770ace32dc13770dbe7356a58fe18ce28	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
b66e1c3bb6f87827a9224f45e7547cd853473ca9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
5a2d5579bb4783f37a6865f85b588812ffda5e22	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
912b526e96c3ef13aa8f46de39b2647b830f429f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
ad4037d81d474214a42d7095ebb489fad74aafcd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagSubBag	True	Passed	Model Under Test Equivalent Model
8a52a1063804e2d4bdc6a60051c5e4275c2e1219	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	BagSubBag	False	Passed	Model Under Test Equivalent Model
46092fe08653a33651999eb6017e7e646a2fe56d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
61c0d2d503dc655bafcec94c3a298c61e4db8aeb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
49547c2638a797cd940fb45565ada20554d158d1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
05f3cad84e0c507ba757f8d77a736d8d281e4b22	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
32699bbcf9415fbaa2c3c4604b6eb97c50cd7879	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SeqHead	True	Passed	Model Under Test Equivalent Model
d40356c35b27edb1336b3622bb78f21be57ccaae	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SeqHead	False	Passed	Model Under Test Equivalent Model
2deee2737061a4ef81b1633041f82a88b2398fc1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SeqTail	True	Passed	Model Under Test Equivalent Model
b560723e9d011b549d319e9d3b021e6f5c471625	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SeqTail	False	Passed	Model Under Test Equivalent Model
f2ffba2a4a61958fac22ffb59f2f6655bc46d7e9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SeqAppend	True	Passed	Model Under Test Equivalent Model
69d4a592daadc1b8ad3ab8bcda14284859d0b100	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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