Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
c20bdbc1094bf7881d848662133abdd9a0cb6873 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive OneLineComment True Passed
0e1867b62597b1144f35479ec82f29bf54ddca89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive OneLineComment False Passed
b6e7397d0f6ad64663f0e8a0c29dec995a9fa4b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive MultiLineComment True Passed
b893b576c117de16da24c048dd82fcd74cc217b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive MultiLineComment False Passed
e164baee80ff2cd47ce9b7c4d79fdbb510f3a9ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BoolTrue True Passed
f27f12e909761264c126d7e97f9855f620b5af01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BoolTrue False Passed
8ba294598a72bda805bcd669c43b0050efed89c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BoolFalse True Passed
1a8c7bd700281416a7ee4105c8c4f8d706eedbe7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BoolFalse False Passed
0c0f93c6ffca782e87d6690d06c29407b0a8d469 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BoolSet True Passed
7bfb5afaa95308c69e75b49b3a896fd3ff23f334 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BoolSet False Passed
543cc5d32c5de2e6b6706576f8ac2a44264bb282 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive And True Passed
a0e6ca981b402b148d3ea65fb738aa2305036cfc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive And False Passed
83155d40b58599fcd42e9871131ec58c1d481ede TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive AndMultiLine True Passed
a024f81e3cafddf0723ddb39a43830905961e67c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive AndMultiLine False Passed
a3d19ae30b3ae156e27c958734e15019cca9f3dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Imply True Passed
aa9ba369c4279972beb49df8014ec3e2441b2056 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Imply False Passed
39033b6849141ab6705fae3fd2694e1629da0837 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Not True Passed
85b8b6d4e9be2df2e1892ba3fc054010132a530c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Not False Passed
b348cf14547b5ffad620058e45f12e618fcd3bdb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Or True Passed
94aa7207c7b734c2d10d5f0232d044d022ecad47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Or False Passed
6f150a1bbc8c952ea393678e8f749492b4b7b36a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive OrMultiLine True Passed
ffef44599262fbb902d4ddd8599522ca20ef6099 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive OrMultiLine False Passed
81b92ca6cf120c7854496cf0e9e1bc8d9bcd36e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Eq True Passed
2e7e688d65ff4bb60fcb5efd2a9593be109ac913 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Eq False Passed
e287e78bcb8a2d56cca5dd567b719b97517d3145 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Ne True Passed
d5a32707253ae06ca1ef4f01592ddac3a1481087 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Ne False Passed
6cf4c7640012f93b05311f20c703b4a8550ef4e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Let True Passed
4c7a68ebe01c59b0f298946f84bf07fb0ea459b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Let False Passed
efaac78c14a9e6c2e6abfc60c39ab9da8c5b883c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SetEmpty True Passed
6d4e00174344c86c3f69f9e458e8d01705b8aabf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SetEmpty False Passed
cb1b24de737f020baea2512c62f48d027d8ada51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Set0 True Passed
a480615f026e6ffa542678f8b0ea21bf68b34ed5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Set0 False Passed
f31a99a0dfc5d772cb5d422e2ac7a988464b23d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Set1 True Passed
beca21e3279eeb9c8067900ed56c083cbd93555b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Set1 False Passed
d82422316a5fbebd24aacfb716e2b6b3954670e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Set2 True Passed
f0fcb4a32fa799b5fc90539d2d8c81e76826a8e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Set2 False Passed
2504b3286db0d61b665ac32a38cfbadbf44b8092 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Fun True Passed
dddc2f42f1bff4642028b65bc6d5c3ddd4d59f33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Fun False Passed
d91f63b63b619b94461733de45e5fc4ce3ff9650 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive In True Passed
500a9be4517a3ee60ac461d3da61b8e83d0b3f62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive In False Passed
122bc1209eaab96b427079eec124045e7a0426ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NotIn True Passed
9b03682264e97cd217bd07dddf2a1b2786e30ed8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NotIn False Passed
59b1b23a0197600923e2da78a473a80b294d4f44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Exists True Passed
17827666ac8795a61df827d10fef1bebbedd0c41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Exists False Passed
6b4a10ce084c924ca7433df246669ffe7c0942be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Forall True Passed
632aca45e4c5bc5026c4782e1a756cba49e05e38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Forall False Passed
4863ed45d62a53da10306920ef66d0e6b070ba0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Choose True Passed
c0b81a02a98e420e8974b7495614efe8b5443679 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Choose False Passed
8cf5660e2274dbad1d107fcdb1c798b52e164b92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Record True Passed
8d1dcee13348fefb77448d5f1b35c465c9e803c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Record False Passed
d4127d225b6e63ccb1d33ffacc777240f91de5ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Tuple True Passed
1591f82db4a30758e64408e79ee74fde177d8f4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Tuple False Passed
3750a11e36b349bdfb698f7f2414dbb1161cf3ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TupleEmpty True Passed
a5560bfba14739394b31fa225b09f467372c32ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TupleEmpty False Passed
078d7d37df8edcafc9f97fe6c66260dc675a4cd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive FunApp True Passed
bf104cfcf17b8746a289a42d974110fedbfcba42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive FunApp False Passed
b8db065c8c33ead0ad6350fac4aa847820cc68d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Prime True Passed
affce5aeae0b1b16a3c6c5c0f2747eb5c4f4ed09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Prime False Passed
4b60f70e5e250548f6d09812ef37a8ddca48001c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumZero True Passed
fde1862ec3697bca9a33d820e582e2914572a0a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumZero False Passed
9a455c181ad37a024cc53d8cca1429dd8c95ac3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumOne True Passed
f3f82e6215474926fb97cc2b3159564507e87d94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumOne False Passed
a991f7089c61297b45eb01209f0f04610daa6344 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumMaxInt True Passed
8dba893bbf73ea52bff0becd5a9f68ad92374100 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumMaxInt False Passed
565382b0627e24ee1c7ba512f40e4d016dd53089 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumUnaryMinus True Passed
201d3a31ce73d8b1721ea366406ac0c95c379f95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumUnaryMinus False Passed
657d7729976701b370b183d286d25b51c4f880fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumPlus True Passed
3410a0ae039c5947daaec74b310be26b600db5a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumPlus False Passed
927f24f556c2da4dbd46627d25dcbf831a7fe34f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumMinus True Passed
6e636f1b740ebb950753620091b47cde341f12df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumMinus False Passed
663fac63e41d5a4b2ece92804086752059eb92e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumMul True Passed
3597fdd804438fb9ea1c77201c9472880936101d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumMul False Passed
298b82a2cffbb0eca54e07d156ddfb7e8d06f82c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumDiv True Passed
0d1277d20061677ad5b277b12861e462da18342a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumDiv False Passed
6a5cd0689c62b8a4f5d5c846aa37eaa1887ed711 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumMod True Passed
d89c3f6a0cbc3e588cbfc55612fbfded47e6453f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumMod False Passed
e855262f4c9b997ef5c8963c12201b2da8f7a32b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumPow True Passed
2629963b2b6c4a2ae9e2b7748b33fc01d85febb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumPow False Passed
417005b54191e2c7c93e27be17be7b15ca4867c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumGt True Passed
6170a9b2dd3007282c16d90bf5a60912c326e8cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumGt False Passed
a5cf376684c18fbd87321dd19a6fee53cbf6cd9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumGe True Passed
9369d36f2c3155eb2990f9ecbc1ad7ac17a9b8a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumGe False Passed
ce05de6736ac57a1cdc0a0d5644eb95038c79265 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumLt True Passed
926da48d7d1f56ef8fa6e013242270eb39d35420 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumLt False Passed
4a25a8b5a85277ee70d820407bf2d5f39c2ec048 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumLe True Passed
84f1cc72a3c6ec8f99001c2551759b8f46910272 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumLe False Passed
05a73399500f5791d15f059cda47a2a6aeb5422d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive DefFun True Passed
46b9afe22cd42a846c46427a9a23f3993fce7028 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive DefFun False Passed
be0cadddce385b210effb6036dd77545619a8c71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive LetDefFun True Passed
89f6ef04616c79020e4f704ff5bffcd7251de75a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive LetDefFun False Passed
926920a384cae5aa12545602e011327ccc8e509a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive DefFunRecursive True Passed
020ad02175444c5102f6c5e4368b727777be9609 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive DefFunRecursive False Passed
66ffcedc9726c8611e04cb4d6f1cf474883bdd3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive LetDefFunRecursive True Passed
80ea51a5c13817b12e37af49ebfe87d9b398d987 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive LetDefFunRecursive False Passed
c852823ecfab35b20e2748bb9b5e175dbee322ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Def0 True Passed
50b26cc35dc19c3a855196ad59eb9e99d228db40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Def0 False Passed
9a5943401ad2aa347711aee9d273feab74539cd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive LetDef0 True Passed
5a9b40a46e5b6442e1c2a065ded27666ea526b43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive LetDef0 False Passed
fd4616a76bee07162650f3023751ccd401ff0e70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Def1 True Passed
99467c0123e06d637a1508e3a2e98e8d36f1a762 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Def1 False Passed
6dc8cd3b5e1a13134b3502e95e56ce34c29822ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive LetDef1 True Passed
c5cf11f6bbe9371181a9c25c7bbeaa2e1c8902d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive LetDef1 False Passed
0db10acfe85a16b8028562632b7d90561ea7e33b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Def2 True Passed
4cd8b4f05e01e31ba22a2ffe164e3ac16c6a1249 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Def2 False Passed
9c7b6e656cc1314e41c2185e0bc6a4ca12a3563d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive LetDef2 True Passed
5665e933387e2fdf07833a2e0984c3ddaed02a4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive LetDef2 False Passed
da3e5b891eb7a85252a01c4754da25ca68e6771c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Def1Recursive True Passed
23c119031a59e4589d1e5aba0f129473d9c8693c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Def1Recursive False Passed
30b6c2d2f60e66c181112b0602591ba068e9c0b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive LetDef1Recursive True Passed
40e9aa036f8f76bcfd7313f1501f963f39a16ea9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive LetDef1Recursive False Passed
4557e10115f131b2eb6f1229aca0f869e2a14cd6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Extends True Passed
bdc3c060e424e3485ffd4e14d56a924d3b3dc4b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Extends False Passed
013902782c2113ab6844ca70986bd5d57ec7eff6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive ExtendsInDifferentFolder True Passed
be545ac5a63f9920fabf61fb4361d8170c42fbce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive ExtendsInDifferentFolder False Passed
9c962e3e934ae207b70a86680bc4df2584e06958 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Variable True Passed
9980da4fd553a0fc7a6867ba16b21d6b5aa60abc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Variable False Passed
9df46ef48fa9a4aed32d1062447dffb3d8dc9ce0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Constant True Passed
76ff6cecca11cb7aa1d4f343f64874ebb46be1d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Constant False Passed
1562609a25b1539a1b0c17f07f46e0d0bf7ea72e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive ConstantModelValue True Passed
2b9e3739895fc166a302f74eb59091afa4fd5241 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive ConstantModelValue False Passed
f32dfa74d693f348a9cdd50b68b333f98d6d0e75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive ConstantRank1 True Passed
d91c5cedc7371778e18b6f6713f7fda5c6c3dd89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive ConstantRank1 False Passed
a9f0c3288d37621c9fa4adbd7f5f23677838ff17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Instance True Passed
9505e4a36570aec4cc3ab92cbf406ee1bbc3bb6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Instance False Passed
576478739d33ed21207fd68ffb0c45ba7bb7be7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceWith True Passed
f6f0b59478b12799e4a143984a7db961092c8e5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceWith False Passed
295f2397195ce60fd44a408d2ffffa81ab45a381 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceNamed True Passed
12c3ae487a35f39fdb06ebe4b5c292bb988c7f7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceNamed False Passed
bd9029653240a694a7ee1a5a2d49d6f2ced53868 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceNamedWith True Passed
cc1d40d8b6eb736851a67bc240177c514baf326c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceNamedWith False Passed
a26726f44b5ad7b35969a8329f0dabacf2031ffd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceInFolder True Passed
d9e28af020f19c6fbc7fb2d2948a9897bd475d60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceInFolder False Passed
a51d4e8b1ac3224414aceae0dab5d0b5f0b47103 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceWithInFolder True Passed
ec22b2a1cca4cdd23b2f5c930f157ed3eb168a41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceWithInFolder False Passed
494efe8ad12d3c68789e2f6fcb4546c0214a2a54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceNamedInFolder True Passed
7b1bae262d4f1c65bdd60b95ed13b6ce8d658f44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceNamedInFolder False Passed
a71503ee418a47be7b97318c2db828e79263c058 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceNamedWithInFolder True Passed
898044bca70c1a11160c9425a89d158a7a7ea15a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceNamedWithInFolder False Passed
70e4894b163cd2a30e13509d672efcf298be730c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Enabled True Passed
897e2aad7762a5bf9b1c99177e0e5d5118aaaacb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Enabled False Passed
8753e9338505da4eb40f9a8153ee11e0b249c57e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Cross2 True Passed
3bf8c588a16563c2fc570cf90c31c04e41ef97c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Cross2 False Passed
707662a24b5f3b89a6bf75bc52f93d3deeeda01d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Cross3 True Passed
933177dc373f578f1c51bfa9c4ac2c6f029aed5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Cross3 False Passed
ad488f4a446c58f54c787c7abd7ec74de75f82e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive FunSet True Passed
38fb7d2145e874fddc42ae1db4d6ba98dfa4d1b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive FunSet False Passed
651890b0561a19589699dcaa94f8f7e70f7f1475 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive RecordSet True Passed
7192e49aa9d9c4bb97d76fd5b6336cf2ccf0837a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive RecordSet False Passed
37716f6c1c28fd3c401a1a92d4c100013aac0a53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SetDiff True Passed
1b99c15315b04a42797460ed373b4f673b8eee84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SetDiff False Passed
f6fc359f5c868ceb35d914fc36ed2912b9151bd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SetUnion True Passed
8e0147faf536eb372bbd032e81fb1f45cd2d0673 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SetUnion False Passed
40ef66a72c7877fd2e6e16e439fc12fafbe23bc0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SetIntersect True Passed
3b2314035b2907d7959a80d906d7d4ed6caf102d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SetIntersect False Passed
543b992a89fa239767e2965cf0816770fbaf4258 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SubsetEq True Passed
b0ddfd9b500a34c48f1e2e8ef74b45b32e5131c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SubsetEq False Passed
07143cebae8dd364108d2fa83804d244ce7810da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive IfCond True Passed
39edd3fb7e98044750103b1039bc7f44f2ea071c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive IfCond False Passed
e5dfa2aae3b4f352b00651a29ddd8fb92c036c27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive IfThen True Passed
ed7d67b0ad97f886c2f2c651a65e257a5f3024e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive IfThen False Passed
9f585bc40d235dea88d957e8030563de7cf76dc4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive IfElse True Passed
b8234fe6048db2bfc3b92de12d6311398b8a2f56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive IfElse False Passed
b3760f6074d33576a07c57605a4b38e2d7861c9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Subset True Passed
707b88dfb3f61df0d1415ca791c297f8d93e0e45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Subset False Passed
f66b65f88cc58ecd1911604d29fd0453c03a126c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Domain True Passed
9101164922e101a80d7a8b6d9f9855ee38829b8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Domain False Passed
d56e0ed29b276e06890f40b0e143ced8b52778a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Union True Passed
28fb3c66fb7c4d351d5bb593d774a751d85ff095 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Union False Passed
6b096450e16f2e3b08ffbe77507e0fb5135fcf78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Unchanged True Passed
7f296a8f83dfbdeeef431502ffcc2b64ed09f7f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Unchanged False Passed
23e4ae6a3cbbbb370c597c6bfa8c9f2b0bbbc952 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Equivalence True Passed
9a90b63e8926761784939f049de0a71606b2fdaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Equivalence False Passed
bedab8d8c00d93e7071fa05782a45acf8e95afcc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive StringEmpty True Passed
0bb17ffc31c8ba4a989863d8bde8eac7df9f5408 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive StringEmpty False Passed
8f9831d7af53e2fa3ebbb5a1e24185333e5a631e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive String True Passed
d51ac55d083a40d7d77950e848e79f596232451f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive String False Passed
503cf402eedcf7d6857fdfa8b223bb3227b1d031 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqLen True Passed
44e78fd5d2c50c03e0891d74fb0190f060b7e4a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqLen False Passed
49a46c24edaf9b22a17d616bab8b8772911f1ae2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqConcat True Passed
2827ab15b5397c9964bbf3868e6ec171759f6ba4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqConcat False Passed
bbc22983ea82e544448312631534e1d00df073b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqSelectSeq True Passed
498a5c03c082c8c7c3b019b2bb0deffe38528039 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqSelectSeq False Passed
c58d578f046e2dfada92f678b0cfb6de4a31e36a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqSubSeq True Passed
58bc153c2f9c9bc9b9e101c089023d474fb37d67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqSubSeq False Passed
8fd9ec1dd46317104b9787e66d5476c7a24ef48a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumRange True Passed
a0bb307dc42d62f3833fcf6f3449c04c4a516158 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumRange False Passed
79a8ffd0e85a188f4497ae464f9f184fe42de340 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TlcSingletonFun True Passed
ce9bd58933ee02983724c0f44494f2602e082228 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TlcSingletonFun False Passed
78897ba85ce50c1b37e6236db25f1a1f2f49f2e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TlcExtendFun True Passed
1a61a0ceec1eb711a62981017825cc05306ed7af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TlcExtendFun False Passed
f9c78aad43e49151aab620c7097cf2e17172c40c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TlcPermuteFun True Passed
cb4841a0ba6ee3065d495c75ff51cbf8957d1014 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TlcPermuteFun False Passed
0367bbd407ed9578a863f73b30bfc42f3ff757f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TlcSortSeq True Passed
992ca6941915264dd1f81b1891d4a1cd0b8ae966 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TlcSortSeq False Passed
4b8637c94865755a0404a2773f84c4432b5d2edb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TlcEval True Passed
63b6bf901ac6d1cf6c5969ccb8d91fbb32ab9609 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TlcEval False Passed
531a84b435fa6664372d082e2ef41b86528e10df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagToSet True Passed
4d6101a5d5252ffaa51cb1d81decfaeb27ed66ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagToSet False Passed
564fd3cd63e68d53956c0c35a27b9754ee946a30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagSetToBag True Passed
91ce101c59afd99d3b5c4df35ef95af7420695af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagSetToBag False Passed
4c9f0853be4e058eaa03afd08bfccf6a10d66bac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagIn True Passed
0803a779335d71527348fe5a8b2c715f8a8f1fb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagIn False Passed
7c819f7a2184bee1b92c59d75cb9750b2dbabd79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagEmptyBag True Passed
3a187f9371754262f7a2e65b23bea1920343f557 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagEmptyBag False Passed
5b8226d649a9080e205ac36f228fb9d190cda8a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagAddBag True Passed
dc53b4a4d973236e463a550a45c6d5b789a75a42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagAddBag False Passed
9f7c99db444dafcd9a98559881e57b8aee47ed73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagSub True Passed
66d746a0eb4a131dfced7db42e90bd992021175a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagSub False Passed
967716a11174d98b77ece00800582efbb264f67a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagCopiesIn True Passed
e17ef43bbb4359f089438ca63c3cfeea344e30d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagCopiesIn False Passed
cfc36b84b57c7931909f49930b9a7fe3a37e72c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagSubsetEqBag True Passed
117bce45a054eff62afe4b3c4683af9a63918e89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagSubsetEqBag False Passed
f835351c048c5747498d27faaba7521197676569 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagUnion True Passed
f523ca404e23e6b4c140271cf62b1e7cccc2e4c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagUnion False Passed
b8c9b65b9d8a5fc314bf750667e46314829663c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagCardinality True Passed
f76509bd6f4399ebedae33d11cd088c66596b6c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagCardinality False Passed
ea524a1f4e884f8c92ce7c3af24cbb03ac1dc1d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagOfAll True Passed
bdf93c4b22426f6fb065ec526172e6e515a0d2b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagOfAll False Passed
d6ee730265a834420583dc79de1728a43d2a9462 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagSubBag True Passed
693deab039494d035a53fc6273c5e89ed19cc9f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagSubBag False Passed
2f805502d642ba7a6a8bfc4a2af913df28c03985 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive FiniteSetsIsFiniteSet True Passed
a4f8b2a663278d821599d6a5f34d78351a25be4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive FiniteSetsIsFiniteSet False Passed
1dbab61ec2c90a4cee0602598b1ed131c90f7bbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive FiniteSetsCardinality True Passed
0c3907f0cab95d0130e6b0b59ebc373a089301f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive FiniteSetsCardinality False Passed
c0683937a27b17ea50f024ce23848565a595001b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqHead True Passed
30126f6c5e2983f210c1ec6438c410ec7ddb7e1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqHead False Passed
87bc5f66a7799773b78cd64fe40df6cfa2203831 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqTail True Passed
62fe6eaa8c90cfcd57361076f1055a21f0e9168e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqTail False Passed
e442d23a6c737676e55679abbf52daf2b36fff43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqAppend True Passed
b14ea24eb0e70941d121e28eea183dae33ce5b13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqAppend False Passed