Index

Tests by case feature Def1Recursive; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
ccf577e8c54b08741ad4e6e2321bc158a2682739 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive OneLineComment True Passed
53449923c57c3d6e45cde9b58b0f9e22b7e9d499 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive OneLineComment False Passed
2a50c010a94a3751fbad21c464a0a4b17730384a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive MultiLineComment True Passed
f62f485b5fd45a3163b14f877845164b041977cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive MultiLineComment False Passed
b0da796d1c75486c5261ba7d10d8371a115f0ed2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BoolTrue True Passed
ffc69cafa9ea653d832052dec0955fd32b9f7a9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BoolTrue False Passed
ce7734e954dde1f8942a60697b6db2249a2001fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BoolFalse True Passed
8b4d1508142fff5d59fb6f971f8a1ccfda7bfd17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BoolFalse False Passed
dc283b4d46b76740e67e9d470d15bb822bcb7b8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BoolSet True Passed
7b6dc3fd2501c444bbd3dfe1cb93963c9a9e5963 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BoolSet False Passed
5b18f3f41506ae3c38c381814599d31f8b615701 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive And True Passed
fbb0cc39a05adf01af9c350978230589629d5ef0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive And False Passed
5026c9bf447a8c35d535049341c337b65fc15885 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive AndMultiLine True Passed
cff8d89e37955e880178fc911edb94113373bab2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive AndMultiLine False Passed
f23c55ea1ae15fee06bc65b063c900b76a86f6e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Imply True Passed
339f4fb16a4fdffb15bf4475b51e448f7af5823b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Imply False Passed
d69939eb6c9d2c5e72bf70053c24e67aaaf5bfa4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Not True Passed
8e02bc48ce9d190add225a69b770a7bb3de0bc2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Not False Passed
3cecce96aabc5477430eb5a322fbeaa2e09c9939 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Or True Passed
31ee1e10e37586bed62243836f5b2e257824e92e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Or False Passed
6ccdb42538b3c4073140e28f10b2fbda81ea94e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive OrMultiLine True Passed
da010772b74389f9c5ae4c3bf08c6e9785beb6af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive OrMultiLine False Passed
2f878f2c52f9dbc3d447c8c643ab71d3a2896f00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive AndProp True Passed
c2bc9d4ae2614e92414a4f66f3f5c1ee100d92aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive AndProp False Passed
5045d060a16f24a2f903972d20778d34a836e82d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Boxed True Passed
4d5b4a34acf24bf7c68d7e491b4b2dbb7184d93e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Boxed False Passed
41f7a8db4b23eebb372f434102cb2846f1e651fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Eq True Passed
c9cecb137f20c2465e0a886da7f695a479da4d25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Eq False Passed
7f5a42e06c72b9ac0d15c23be3db665c9d657e76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Ne True Passed
b1cc61a75e9d17ea569a013ce881fe1e82bb6d31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Ne False Passed
974600257a74258d1c9d9e20a8e223de28860a87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Let True Passed
02c971208009dfd3a1edf97a26eda4b005f7ac7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Let False Passed
8731b29c6333d1c403a4b180b4a17b65ffab3b42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SetEmpty True Passed
f22419f2f4d605cee08b6ec3a45ee0ea7e1025a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SetEmpty False Passed
7ee4313d8894d63848edfcb1a87ac23dabbca9dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Set0 True Passed
a787db4d653234635b522c3183adb0882e2bf043 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Set0 False Passed
661fc596711c0910b7b4f486257a6b8a911487f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Set1 True Passed
9b6b1fddb8b18e170f4df5663d664ecdaea42666 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Set1 False Passed
97290e22a13d0f57cd1a9989d8eff3fa60c4e384 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Set2 True Passed
c1501802e6344ce60e1297e5507c69be8e3aa04b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Set2 False Passed
9ce81c90d230758749163235d3554880bc6fe24f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Fun True Passed
ead3b0bcc03e1dff41a2557a601d9f170190faa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Fun False Passed
c6f8a6a714fd6bea446d3b890d8ebece13135f9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive In True Passed
ba049caa469a191f2d2eea1d1896820f4d07b135 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive In False Passed
39d40e93eaf91c64a3d39643714ea3958373b1fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NotIn True Passed
a77461eebe295dcc4f1a57367f708c9e059ec263 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NotIn False Passed
756a1abb5188329f9b4b65ce76c59c15de945038 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Exists True Passed
0b3d6dd0f7fad4fbd96ce3269ad5ffc1947a555e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Exists False Passed
732317b557fc6d43fc94dae0a5de1ee47f0c0319 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Forall True Passed
8d51385cf7b0a350d4f8c1243821945499d80e4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Forall False Passed
60c79f5dee3a3df828d52538ea18b0a0c47232ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Choose True Passed
faba51a138ae7e0a0ddaeeb86b6d2f3d40fb71f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Choose False Passed
0fbdd1d84037bf388b2bc270c43be04a5977915c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Record True Passed
0bf5ec67b22f6172142385c218472d1684b094a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Record False Passed
e97c94833139e8b2c342bd34a75f387de5ee1f52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Tuple True Passed
bcc0939be7a8a1c6c0b6062d4429c86978c7d135 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Tuple False Passed
dc1263eb485f4f29800c046b160fc9316e920ca0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TupleEmpty True Passed
d038d94ddb530f1c1fc0d46333b1f89dc53f7167 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TupleEmpty False Passed
9495634a80c7e5c79ce5aa34f89f7e8119af8a7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive FunApp True Passed
d2ad214788f3d03b3f1d2ed7bc4cfb52fe70f3ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive FunApp False Passed
4aff230eb731e8d75565190b5a51a25bf2440b3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Prime True Passed
754fdf45e5a2f696332e05c420985e4721ec7d8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Prime False Passed
017b36646129695d412526b0dc255f6e2cff1272 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumZero True Passed
b420e7e9115a628a6a45f3b96f5f9c4de9cb970b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumZero False Passed
cd1b7afd6d2819ef500e34a9bd0d07cc5cc52fe8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumOne True Passed
ba8c2293d99b8013db9ea9a4394b85f894ac770f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumOne False Passed
c9db3f7a13230a18bc086fef4d513bb31516542e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumMaxInt True Passed
d3686290b8eb8136614bb2c634e7399003cded3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumMaxInt False Passed
84f68fcf6f4414215244e5b646938f1259a8a459 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumUnaryMinus True Passed
c83cda74ac24390b408bf6ae6b8afa397e224933 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumUnaryMinus False Passed
c064090b119fb0f998fa1c5902f7443505e8f905 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumPlus True Passed
3bdf7604300a0473b54aecad984f3410e5103a05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumPlus False Passed
f406897ed2b51782e7861923643437bbc87770c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumMinus True Passed
f25cd6d017ab0948bb02fdbaf2a3c8ae0c97209a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumMinus False Passed
560b47c7493291111696540169253bd76e70dfb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumMul True Passed
31b8b3e3bb7014be97c5370de82ef63c58ca7bec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumMul False Passed
80a6244a84e55b27a3a888775901f222276c7452 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumDiv True Passed
4784760108498aee0082707df9186f88f332b615 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumDiv False Passed
fb35744ad43614cc797b151d170fcd68d0ebfe0a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumMod True Passed
1644bfffd96cf048501aa2ac80705aeff3d825d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumMod False Passed
3ab05d8541e00878371b487a301f10fcff3a68e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumPow True Passed
a192933af03219ad4fcd841c19024516b7f389a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumPow False Passed
c2379b6b0014404528e094d392950a14c3bf844f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumGt True Passed
f8cdbce72e73e3144bf8afe183ca82cb64a89310 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumGt False Passed
a73e48392e12afa27ccedb9a98ef41c9e1a34cf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumGe True Passed
13ffa2b01c19bd1b7991eee4c87a98aeaa7133ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumGe False Passed
e446d737a35424d3d2f6dc867314c30b2730da3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumLt True Passed
ff359860815e0fb2409baf31c2587495e791c13b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumLt False Passed
69dae718d2fefb3771a0fa1bfc3ef5613751a13f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumLe True Passed
ab7d3714830bee974eabcb1c6974e3431105a241 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumLe False Passed
4844093e3cc71caab2924200f3d6a4b69c3c3421 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive DefFun True Passed
4130b8a9de756b9425161519cc139809da161a2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive DefFun False Passed
aa1d1b683cd8e4f6bc2cbc9d5f19ed369b23e7ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive LetDefFun True Passed
b4712b0891c3d5a1a4c6757e1da2f806c4aa7202 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive LetDefFun False Passed
5d332f2f534fb795d330e9c32f3eae2fd9906901 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive DefFunRecursive True Passed
ddce4c9894365fd4dcb86266d8977340197ca203 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive DefFunRecursive False Passed
404a2307e9261d8d3aefc36d19ac8899474683b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive LetDefFunRecursive True Passed
65382b40c2965944529be07fe337244b71536e85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive LetDefFunRecursive False Passed
cb9d264a7c3384a1d5251c7d8fa41621d85e7b0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Def0 True Passed
d4124784ee9f0ddbe1a5f4522b5cc7d8a0eb8aba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Def0 False Passed
033274f01b69309f8b73f4870764b9b5ae47f931 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive LetDef0 True Passed
e6c168d753562ec02ed4fea7a982358516c43ed1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive LetDef0 False Passed
0a021dffa0d5c73f4b1030ecd58b844d0ccbf863 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Def1 True Passed
7f5d26531b18572846c3e3a412214bc28a777b47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Def1 False Passed
f1fc07fe52bc24454a4ea9383303e779b4fc56a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive LetDef1 True Passed
1369c27b905340b9ab91a39651ce43a03a547081 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive LetDef1 False Passed
905668082a25c28acbbcc90ec96d08d4a4715e52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Def2 True Passed
a900b9e60e75dd4454f2328d9cdd7aeba605e5f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Def2 False Passed
ce3d584d92c4d825dde374f082c0745183abfd4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive LetDef2 True Passed
68329755efce05ce8702c936799b2b2b853d280a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive LetDef2 False Passed
de23933964f158138e200ce32bd9ad5d7bc92048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Def1Recursive True Passed
a52772b63cec4a662f14f156c75443d64383a0b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Def1Recursive False Passed
d76f8224ea920b59321c342206ff6c12d5f9dd09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive LetDef1Recursive True Passed
229567d057f7b807539a9534b0435f258365e3e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive LetDef1Recursive False Passed
13313c33f7d520531c732cc156ac117f09081c9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Extends True Passed
1080e81ca6662bc6f69c9053c4df1bc7c0b293b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Extends False Passed
689d8c1c6e10d31b3e9213bb23df9ffb50f9d7ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive ExtendsInDifferentFolder True Passed
8489dc298a08c52e46cf36a79f344287b2e6cd9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive ExtendsInDifferentFolder False Passed
b008bdee7590c120985d34333e198c721b875305 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Variable True Passed
2eade6f346daa2e4d153a21fcf5af6eda481439b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Variable False Passed
6c4792fced6c736a6ba4ebc02eb9d74ca5f28d0a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Constant True Passed
f2c003888e27f0823ef8d36b60aa40415ebce0f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Constant False Passed
267145b60955cfece51a34b480f112ebe84815b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive ConstantModelValue True Passed
08b59d3fb50288591ab8e859d05d613a05a80125 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive ConstantModelValue False Passed
e10ee77f8543f412c8db5e4e98b888f609178967 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive ConstantRank1 True Passed
b1d54b8f5380ad911768f1e4375224dc80993220 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive ConstantRank1 False Passed
c81a21b5f924659ca4181345468c2fe5f2f820b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Instance True Passed
b4634e1d5f403f95f6d9ad11f6b86fd1a8183963 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Instance False Passed
c7b46aabfd9e9a1871f3753c8b1203d8c259e6d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceWith True Passed
ee45cc847631b08d0595f9f497fb1de5e15d8828 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceWith False Passed
98d14a6fe3f5c5d678bae21044797954c273558e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceNamed True Passed
e7d272fb96ac66c130d6dc382ecbadc200752773 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceNamed False Passed
36735dabd7b1f08dad8610995238a55d2267f783 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceNamedWith True Passed
d20de3cd1636ab6436e82da041df6238d81952eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceNamedWith False Passed
009b95f0614ce2f6b7d2c1162be38d04331e9eb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceInFolder True Passed
8832eb5330a0007f9248c95393d4440b0282ddd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceInFolder False Passed
3c448449f1e0360a196e4e6e643d3ea9d8f5da47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceWithInFolder True Passed
b6c92ca05d3ca44f3a24039349f7ed84fc40caf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceWithInFolder False Passed
692d636d74325a9724f36bdca7525ec9740aa6d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceNamedInFolder True Passed
78d27ee0d2c27138121d85a97d308fc5d96103db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceNamedInFolder False Passed
37ebc67c45fc820d6e4a8b1a6ba44262ec722e96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceNamedWithInFolder True Passed
b1ad8a0113dd16b2d096dd7f265c8afd0e10c410 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceNamedWithInFolder False Passed
d8f8dbb659a24407f4932e66ccc666e9147183e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Enabled True Passed
bda3e4fdddb743502e5c607acef1711328232125 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Enabled False Passed
50ef07092bca15759db7530a05bacfd1150c9cbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Cross2 True Passed
0f1ad0beb994830e4a98c63fa16e8fb1a4ee66f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Cross2 False Passed
8e4a8ead802413388711e05ca36aa9809186173f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Cross3 True Passed
f3ebb23695ea8f7502f31aa8533779a8fd86d1b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Cross3 False Passed
906d4e450aac1a331e5aff65031641042da51729 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive FunSet True Passed
12456184dacb2e08bb9358de37bb9f33d9498314 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive FunSet False Passed
b2d2fc042a816edf03fde4fc65be296e01b7b3c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive RecordSet True Passed
2da554a4ddb8542d5ee744ffd2a0edd5aac9bb0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive RecordSet False Passed
1059f0d1d75d98f2a4b0a1f148e2149e66485560 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SetDiff True Passed
c9eabebc4f23246b2b493b94472c1f35eab262ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SetDiff False Passed
e587cb4be0649c6ee066fd73bc83a6dfd0eae3f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SetUnion True Passed
a10c414ff7419aa9f00fcf29cc96154abcca7f3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SetUnion False Passed
b3ab003c1a7792dbd40d36993c84ae1c9be01b5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SetIntersect True Passed
afe78a0fcfd6a623d5367f2a68c71d863b83a149 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SetIntersect False Passed
884111655de16fe585d20bfc1bebb66999eb9722 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SubsetEq True Passed
a385df77d23a9eca1e103aad5c75997107bd0b3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SubsetEq False Passed
253d0113515859c9eeecc0880835c5bb2e5d3dc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive IfCond True Passed
d543137109ec61baf2a216914d6d91a89d2a3953 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive IfCond False Passed
cde94d28e68b0299e5ea94a595b20ab7a8a22420 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive IfThen True Passed
5284f73ec4dafb554d8a3bf43b0a2565384ecd01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive IfThen False Passed
3bd8d0ac4a90db80f095ff090e62840d84e3c22f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive IfElse True Passed
6ee26d3151d65c23d7471b91721bb5697745cf86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive IfElse False Passed
bd4f8490a7b9e3a297597f59e7601d70180ecba8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Subset True Passed
49ad1fe7685ee927d11ac965da70689a70ce1619 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Subset False Passed
7a5b2f0b91910d150ceffbf8754bdf784e26bb77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Domain True Passed
4e510166938da58d6642378b6936ae15010716b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Domain False Passed
62a07326fe0342e636c70500292951399c8d87fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Union True Passed
2e3e10d89499f854d478678e98946dfb303fc3c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Union False Passed
86bc59d0bf2310fd2c3e2218e14ee5a1f1066b6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Unchanged True Passed
2094e2cbc33a7c535b0f3e1ed1912d35b79d893d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Unchanged False Passed
4be425f0d5722284d101fbefe51e9dfecd0f5877 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Equivalence True Passed
54cdb4b1f0bd06dd757a3ff3e95f427fc2057152 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Equivalence False Passed
ff4dc272562ce559f115fbcaa64908587cf0ca27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive StringEmpty True Passed
b8a2a995059a50361c5c66daecfa21d6b225aa57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive StringEmpty False Passed
c0f0695f0ab5a60a24fd563f3ddb6b97d653137d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive String True Passed
136e749d30020efc15ad229275fcafa4bc033027 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive String False Passed
5c3157cf2f1295f7029f81b54f0513fc5b788941 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqLen True Passed
f41296a0492e1eb9d6223c0c7227b2c07883ee5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqLen False Passed
fbd97a1ad87f18215e30caffb0bd343032a4b46a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqConcat True Passed
bad4740fff1f0a7ce96c536adc6e15dfcff1b618 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqConcat False Passed
041780aae427f47577650103e5486484c4f8aa34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqSelectSeq True Passed
6be838671c989dc45858ffe676f4b1cc1d9e2553 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqSelectSeq False Passed
0e446b406f542019d4e4f1d510880017b702bbcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqSubSeq True Passed
2182a0919112f737aee97cb233f8361a31d44d34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqSubSeq False Passed
9fe2f188df82d8faaf1cc7b32c38197ef1872c7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumRange True Passed
57237ddf3da354f4a88f019b559aa929cfcd0dfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumRange False Passed
a6721d9a732c9ae43304dbee083dc8a4aa8cc02d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TlcSingletonFun True Passed
274b7efb923cfe4c7ebad757ab58ed0347530859 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TlcSingletonFun False Passed
d9545ea66e27ea4774b7bf35d1c81f1059540de0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TlcExtendFun True Passed
df0c1a57ac6c514b86acd0f3215f099921518b19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TlcExtendFun False Passed
cb47fc622bc910e4f73f67e35a7095c8e263310e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TlcPermuteFun True Passed
0b09144b14c2e31673b2d7a438d1cf4340ce7e1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TlcPermuteFun False Passed
7b1f4dbba43a79445053141faf7dfeae4ae2aaa5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TlcSortSeq True Passed
da4144f10cd7be994db310ded90623125981d245 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TlcSortSeq False Passed
413fcb790638c3f2838249eaeed06ff49dd66863 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TlcEval True Passed
44bcc2998c3386f0262918abd32ebc34de36aacb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TlcEval False Passed
4884884a236d41c949c66a4624a4b035f49ffae5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagToSet True Passed
4f60a37beeecd3777922feceee8f4bdb67e750d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagToSet False Passed
27e5d25f7c377b9de2ef6a0039954190596907bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagSetToBag True Passed
efa8e9362adfb60ab88864f6f9a19b165a260323 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagSetToBag False Passed
8b0e1beddbf4cc6872c0f1f265dca5e794b9e405 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagIn True Passed
d9cc321edc8bc54478b09d3f24589b5a9c374400 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagIn False Passed
c7702336cd8b851eac67241fc319821644654370 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagEmptyBag True Passed
c1ccff066a0d7977e5ac03ebbe875444f4ecaf3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagEmptyBag False Passed
332e128a5b11631829b9e9752eb1d7b95d84650a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagAddBag True Passed
35caa492e328bc63f2accdd036f166be183e1ca8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagAddBag False Passed
4a3736182b5727c0818a73ee440481cde9396238 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagSub True Passed
bc4703e624b4e3b902b825a1ef58b719f3bcc5f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagSub False Passed
dc460c3ba94f6234f7c0e358df3d806860bdbc37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagCopiesIn True Passed
fdd8c7a3151d25afff4c80dbd492a189f9310624 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagCopiesIn False Passed
cd806e3d5e653dfa374da63b615512424c08d40e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagSubsetEqBag True Passed
34328dc6cdfa637c9962175315e145e536ea3d0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagSubsetEqBag False Passed
37dfb33b603bcf2949bc6218fbe4a00e67a1a51f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagUnion True Passed
fdbdff305360f5e99a40750a0ab2e0da4f2f3f58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagUnion False Passed
a7260b072a58d8f601021316e900f8d96cf3dcd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagCardinality True Passed
2a2a62fe8d7480a4fb317d5fd33b3a86795c9acb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagCardinality False Passed
51ce8af1544bb61a736a9c09f5e015494b8cdc89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagOfAll True Passed
8dc04888fa4d8821620b3133cfdc2d893fbd867c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagOfAll False Passed
5a7b496260ce5ca9950d02bb18637d866961512d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagSubBag True Passed
8bc4a6c922b500cc2d95c29787e33bdee0c1b84b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagSubBag False Passed
aacc5ab0c20d5c69dd21f4c177a08e1bb27823c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive FiniteSetsIsFiniteSet True Passed
78ff17138e8ae0c907e4f8e3cc0d6eea55e3525b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive FiniteSetsIsFiniteSet False Passed
8c005d0d28553819cd24163eb7a4ba4cc9af3572 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive FiniteSetsCardinality True Passed
854be2fac9b00f613abf526407aede5fffb5db85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive FiniteSetsCardinality False Passed
a2aec18bc9eb755cb21d0d5bbc6950bcd6ce395e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqHead True Passed
a1d5d4cfa53fc84bd80709a34f0f6b0e88e60b3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqHead False Passed
214073a2ccdb4635a616062cd835fe0e616c263f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqTail True Passed
0f028f64a1564f07f99657ec0dfa01363e395d81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqTail False Passed
68e884a6cd6804ff978655ae611288fcda7dfd43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqAppend True Passed
164659849db04bf950731b7fb541066406483bfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqAppend False Passed