Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
7065c9c732875fdecb5e2826cac02519ac2f7cac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive OneLineComment True Passed
7a30c1b311c27e9435296cdd5dfe4c48ad6dd171 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive OneLineComment False Passed
ef6068e15e3b6c1a2ff4c6d1b32ca2cb8202a620 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive MultiLineComment True Passed
8e48ca480a14d68f6f7be2498a55340d0af77894 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive MultiLineComment False Passed
2a67cbfbb673acafc97174161f504ca30e8c4ca2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BoolTrue True Passed
5ad0378ba33e604c58a22acfdc1435934cd3dedb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BoolTrue False Passed
f49bc3c1d49ed39130a727577829d37c79bd1333 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BoolFalse True Passed
3c2d3ecfcc78a2ee7f0bbf97be54eb2c105caeb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BoolFalse False Passed
be63b0223b7376f85c283fa52993a7a32e67e424 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BoolSet True Passed
2678ea40eb1e7df4758a14b884dd79fc138ccec4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BoolSet False Passed
0744a4d285948d96affcc4bd08d6d0ad5592cbdb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive And True Passed
1e4403964bd3fe8587eaa7a85eea872ac71b5658 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive And False Passed
9fb53805c48664c314989437efea701b3c652e18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive AndMultiLine True Passed
932eac92297e113a3dc39ea16883dee21688a611 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive AndMultiLine False Passed
5b9d99cf98b60f6615686ba4b59212bd7a8c404b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Imply True Passed
808ca9c6495bd42da8d6f92bc6cb512fdcef1db1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Imply False Passed
02918f0eeee63656c307db1107c6758dd407d749 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Not True Passed
d3c54621f8774dbeb4d1bd34d42ce5c522454fe3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Not False Passed
b830bdc5c384fa7ac90a0886b8bc508f1290688b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Or True Passed
aa0f2ac3e5e76f921b2e536706dd4dde0aa6c0e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Or False Passed
e90287ebc7ef46af46d5973540e7fd6913deaf58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive OrMultiLine True Passed
9cb1688e886b5f727d8707daa0e121dddfd44b96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive OrMultiLine False Passed
eded07c55028d038905174691b1505aa0997bc68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Eq True Passed
497015274946ff67a4461d981eeadc020b95d974 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Eq False Passed
5cf8a0a12c522219748991af3a63598d20527371 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Ne True Passed
f8e2b61f76922d2be039ca22fe2f578976f00181 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Ne False Passed
bd975b8b727c50788c7fb8f69829d2efb072879c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Let True Passed
1a5d5dcc6b5b08ba565e96fa3404f2905853896c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Let False Passed
da7ca51dc39e5cac94cb535f1c54558c9f1810b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SetEmpty True Passed
37d061bcddb483a671d40a3cd89419d18ba4c2fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SetEmpty False Passed
06c4ec5719a74ba7e01bb8f2c0f4ecad6b0a1e95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Set0 True Passed
4d66479b0c98073917a987ce790f9c08627b4ed8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Set0 False Passed
1e52fb20c726f27bfa31e564976effb0c3720633 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Set1 True Passed
6ed0c4e076d3e2eb057f2f2d11c86d88ff414c17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Set1 False Passed
000277d7b2c8b23b1680843e162b9e1a0732219b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Set2 True Passed
a013844cd740dcd5c1a42f0293fa21dca6280dfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Set2 False Passed
7b2fa7b810db046a29007a09e1c36e557a772023 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Fun True Passed
727189ed98d5b78c6b1bc4ada34f11c288cc5407 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Fun False Passed
f553c163db008157365bd367e808fd895095d462 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive In True Passed
afd200321c54dc51c7502e9d8c278ff84c2f00c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive In False Passed
6e07bbcd33ebcefad55e26801c389c1eef404e61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NotIn True Passed
5a5fa5d527ac55cd7437c031e9611a0fb86e741f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NotIn False Passed
3b22147fd66a0358f211fc4afecb5b9bc83c35a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Exists True Passed
e8c89546f01d12776801802962de3e471d57b8e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Exists False Passed
4246c51f9f435bc4c6cd6e8d343b366bb0291442 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Forall True Passed
43eae8810c051387e33cec0679d83d88a8c961b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Forall False Passed
683a2950ac63dea25201d7ce2b255777a66f4a03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Choose True Passed
905b5c61f9354b76e355669bd749663114a53648 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Choose False Passed
7945a8fc01aa70fa819da576f5bfdd781e3c6c35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Record True Passed
3a4936e3726d79e06ec9c7276c79342dfc127659 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Record False Passed
0867d2b3a0a6f9a840c6f8d8de25fff829e9218c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Tuple True Passed
d0733d679fa56d7401fd20f3ce58f1a3cd2bef68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Tuple False Passed
18a623f29d48cbb958c8a1d6e69ef462a906ce94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TupleEmpty True Passed
66452714662971babd657640ea4812c263dea611 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TupleEmpty False Passed
80222caa32838f2d1d4cdb0a0f37d07abe69fc25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive FunApp True Passed
f1cf07bb774b9c07787df272089f644a1f47327a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive FunApp False Passed
0795f1c6b5ac95ee035ebf0f8bb4a94d900b91d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Prime True Passed
90460b40bfea908ff49277cff6dc1f3d8a927344 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Prime False Passed
56baaabb8b3d8153061c14df73e401e911c3dba9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumZero True Passed
446fcb76c81a9c261e080cc1eef53617e2b9dce8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumZero False Passed
625996167e3c6313acab97d51030b6109464a271 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumOne True Passed
7126d51209966e6f5d228e035fbfae3b069e200d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumOne False Passed
655e220af6cfb65ac2c30469bcb63eef7534a000 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumMaxInt True Passed
ac95dc8c0160d9249735281ae501c75041e6b073 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumMaxInt False Passed
aa090162cac434069509eb054fc7b8178a84caa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumUnaryMinus True Passed
d764b322ffa9e8ecd71b4d1113863e00a7aa7c44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumUnaryMinus False Passed
156061ea5677450ab47b0bef5fd1c6b53e128f85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumPlus True Passed
b313f2f3523378e24d526e07777ba176300be49c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumPlus False Passed
d722207b5a178358f3377d1aeb954d8b2b1b326c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumMinus True Passed
d82a77c37d062a9e29d220c0a12cb5556729d4f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumMinus False Passed
e2e98d30e2f032a72ef6023326177c8eacdb2ab0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumMul True Passed
2dddbbd48d838bbe616752a754a22fc3df5f99e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumMul False Passed
4973523566513dbf8d2eadcf0b68d982fba96ee9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumDiv True Passed
5c932d9c5e1db551cdb5ce2eb92e7f6653162add TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumDiv False Passed
704a43d370f6253794d9f88f14d718dd0096b78b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumMod True Passed
700459e6f5b6fc7949141c1f30c8f2e4363d9848 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumMod False Passed
a00968bf954e7c46940aba88c87256cbe3396cc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumPow True Passed
f7bde1b110c52000b488af10e98b5377a2bb3130 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumPow False Passed
8986cc1b25307e7b8174475ca6c1b6b18345b54c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumGt True Passed
82dfeadfba335b94e990d2baab1d48b6ec23cbad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumGt False Passed
593dddeeb4d9cbe560e98126e265a633d5358503 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumGe True Passed
89c88da38bd3cee095cd01b979901b7361581b7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumGe False Passed
2ce00d364776c48d57944f62d671d5ecabfd0f9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumLt True Passed
728eaacf7afb538f2a3e66dbd9503f45fe290973 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumLt False Passed
85542315ea7d39395655c02d29e8f30fa5407ef1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumLe True Passed
a7d251bc5ecad9dda9cc8eadbf69c170689bc858 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumLe False Passed
f5b258d1dbb63b51ed9447beae143e7b0637580e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive DefFun True Passed
bc84103f222a37f039d9a6393b71e0959f66ddcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive DefFun False Passed
d0678f02716bdb92a13c998e8d8413319d654c40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive LetDefFun True Passed
374a46360aa4c4d52435a22598a7d8eeb3f6aacd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive LetDefFun False Passed
723b53c08ef4a5ae930392c53ce8cc3105c3acc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive DefFunRecursive True Passed
7ca425bba06d52132162e0a3b1b058e2c9f4291c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive DefFunRecursive False Passed
b74da5d56308359767d12cf49ac6cf7163c52387 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive LetDefFunRecursive True Passed
09a4936e38edaff25266cdd178e2d73c8bf0bee2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive LetDefFunRecursive False Passed
49d0690b1d2004845dfe6ac386d9ef81117c50bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Def0 True Passed
b20de7ee8a1a40760a2dc8b95fb777a017e52951 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Def0 False Passed
d02831d817dc2035e8f7223bcbcfb1b01e102e1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive LetDef0 True Passed
db10f709a66ca2a5932b01b04efee020a776feef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive LetDef0 False Passed
89ab0b29002a37e5583eca83452e232bf11063a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Def1 True Passed
46acbc167d714cb9bef3e065a344b025747719f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Def1 False Passed
f76c45d46a8670056d26ebbf9b5e564a64414bbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive LetDef1 True Passed
33b497d5fa7c30a3cfa293c66b4c92b05e94acef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive LetDef1 False Passed
087c4c8692ac343e4adaf3d5201b4d6541fe09e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Def2 True Passed
caa4dc68dd2b07eb9275d32567770d2f71ce60df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Def2 False Passed
3ba8bb9b6bbd3d54d92f3e0dae60ba8d53229520 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive LetDef2 True Passed
eb4d323332b80f1e52c7cefb93a51760b56796cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive LetDef2 False Passed
40bad5836f2a7191509e035c0159f833519509b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Def1Recursive True Passed
7f5b1e964c2494f8e7ce19a6b84f0c59a037d066 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Def1Recursive False Passed
7e35dfefa679a7a7827c2cdd0a8a5e5315a6e43f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive LetDef1Recursive True Passed
1a9eb063f5a8d33b1d9d1ea9fc2d0274c70cd88d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive LetDef1Recursive False Passed
e45b4548462b851e2e48e9b64bc850365466675d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Extends True Passed
0573156aff7d345ab97c28aaebd133081e6771b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Extends False Passed
4388c96c6e51a6e5a889fd4ec54d69822c5ffd9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive ExtendsInDifferentFolder True Passed
433ab1691e30e0fa016233ed43c9cd71b7891bc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive ExtendsInDifferentFolder False Passed
41843ded2849ab2a644e3fd6c388a25d8af63088 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Variable True Passed
b76667e550ee1b3926d647e95b3917b426df2a71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Variable False Passed
4b1963953ac9050ec1d3e44ee644ddb5f9f9b2e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Constant True Passed
374dfcb7fe7862002b2931e6b4831859675ec43b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Constant False Passed
715cdc26ec355ccde0edae42769e6fdb0853a4ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive ConstantModelValue True Passed
43ca48d8c533ebf03f91f0ee5d8750f08c16f154 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive ConstantModelValue False Passed
16094b3ac5782f6d86c34c11904dac9aa3cea697 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive ConstantRank1 True Passed
a45baa7628e57fe17934266378a007c32555dd96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive ConstantRank1 False Passed
4649abfee2d5aafc18f2f3606c737ed5affb6095 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Instance True Passed
0d67d835f64ac9454b0b6ae9edf4d1f891c0527f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Instance False Passed
2288134caf6545d8449e29aa64b1822d0eb47d1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceWith True Passed
72d455f5b6f7486966d3a6e438138a0f352169ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceWith False Passed
b1bedc8a1e0758fd28901d8cc73f881bcf046de6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceNamed True Passed
6b91c6b1e04972217e70a625ed10a18928f91c5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceNamed False Passed
1137db3fafb5cfb1cde6cca4ca3a687590bdd737 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceNamedWith True Passed
6c637eaf3bae14c929eb98ad70393dac93126ec6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceNamedWith False Passed
781ff9851ac5f0f009f03f1588a23d8c9a6704a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceInFolder True Passed
271e2b05ea64bd3414c7927a64bd8e4859358cc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceInFolder False Passed
0013bd5b0f3843bc8555d53ecf99e1063e21337c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceWithInFolder True Passed
2fc0827d8bcbbd9a7ddf27daca3c234da0870b35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceWithInFolder False Passed
19baae631f3add7f202a9fc3377beca867343dcf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceNamedInFolder True Passed
2c9fba83dfc4f03ecf7a515f738d628fe376c4f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceNamedInFolder False Passed
7acf975f0969260477a8f5592da1f0f83ece7fff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceNamedWithInFolder True Passed
3b9c92361e765c58d0feba2b460fba8a6fb0331a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceNamedWithInFolder False Passed
b90dd71d203d43544825abbe68b25ba64cd08388 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Enabled True Passed
d3cb966e01e27d5c13ff87caf492f6364178466f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Enabled False Passed
51d07536181dc079ccf821430b6173edf8bb07ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Cross2 True Passed
e363cd6767a6a1655061e3dc440dd80d8a9fc6bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Cross2 False Passed
9c0d811f10ec75917c4e1e5d3b8285553d9c0d9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Cross3 True Passed
30ab587c4d63379fe794d2d0f347d6d08825de3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Cross3 False Passed
e501ff25766b75c78d03ce42db65d1b23674d1e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive FunSet True Passed
76da2ca7c675cd7c24aa39a7050460b7cf49dd22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive FunSet False Passed
8dccc999a4989baacd2e2acb4443828374f9b3da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive RecordSet True Passed
76eb570c898667626371c987526903aacae4a82e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive RecordSet False Passed
dced00395d3b8dc21081f2259247919f3cc8cc70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SetDiff True Passed
68a146c526701a1e2ed2bf9b0abd3531a8866e9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SetDiff False Passed
740b1a54d52ac913e8b56efae5fc8abdfda9c198 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SetUnion True Passed
263c928708e0f410b5583bae661644771e6efcea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SetUnion False Passed
1ffd75e042d5e4963bc1de8e0e640bfb5a055910 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SetIntersect True Passed
3deb624a1abbc6e98fb58d643833d42b7bc6dbc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SetIntersect False Passed
8a0cf9636aea2252330889a96367a1ccff6dcca4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SubsetEq True Passed
bc49c71e77037fbf4013c376e4b0de63edaa5250 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SubsetEq False Passed
ce941f4bb5b0cfb85fbef348a2a8cd2dfd5e4174 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive IfCond True Passed
de3342e6af44ba2da40794baef48a2e6212e2d76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive IfCond False Passed
b57629a201d6f683833a5a5bf1fe591668391f16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive IfThen True Passed
cb8612cf3d0b9d0d9f36ec683d42b83ff7e8174c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive IfThen False Passed
79f6a4fac8c14df6e54bfab6068bf47d1ef0dfd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive IfElse True Passed
a3a0756cd88c041d24a90da119ec9c26c497058b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive IfElse False Passed
4425579941d9cfdf0de7a6c2c09d41cb3f7daffb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Subset True Passed
fa9b0572d562fb5f94f466f5fdc166d8a29a20c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Subset False Passed
9110a9a19e77f0198ff40afdf1f3b8b1507ae90a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Domain True Passed
df12e8a7e5ca704a0a75436b8ced1a6702cc2c54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Domain False Passed
9924ae03aa1bb0390e8ef6367693507c37240627 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Union True Passed
7564992278d504d2cf3ad604a41f18eb7fadb5de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Union False Passed
c1edf2a8b514f6a3806b3bc298d4313063919edd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Unchanged True Passed
fc3bdf1d2870d17799b1f014b4d8bcaaffcc16e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Unchanged False Passed
6ae1a574b8c7bc4b23e486a1ffd9492741147d2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Equivalence True Passed
30e8198c54bf93fa7af709515e46a60baef289d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Equivalence False Passed
63906c1628912c23784d9c6f3c93d7ae63d65031 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive StringEmpty True Passed
ee79493b19ff3e87bdee7a4f186bef9642f1ea71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive StringEmpty False Passed
0c2e31ae07855a9091888cf655f95994d9a7a234 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive String True Passed
6f39dc8f950b92a870f4df8fc06e631f95d13087 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive String False Passed
d68902c2acc0355de1dfed6db06ea9623f94e2e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqLen True Passed
69ec428b43cdf2a1e35b3cb10473d26fb5dee300 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqLen False Passed
11d6aaebccb386ec23110cdc3fb451ec998c8443 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqConcat True Passed
23efd3397f2f149e8741bb6fa936cd30c71301b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqConcat False Passed
d27cb319fde5a2283891cb16df1aebd164d54ab9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqSelectSeq True Passed
691aeb67fa53ba3b0d678cd42b5f13183509ae00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqSelectSeq False Passed
a4733bdd18f904035dd40c7afc5be7a6beaba800 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqSubSeq True Passed
97c0a954fd285b6e9145f712ef03301d13a3ac82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqSubSeq False Passed
8e97bc0daef1147782f8e51974584388f6567077 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumRange True Passed
bc38d472aa315270302f3cd5151ccf8ef1f1c7dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumRange False Passed
3e7da917b1927e3d9a0fdedbe66a4bd016a88ea4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TlcSingletonFun True Passed
c309668de8b951321efa52e8bb2976ce2380c67e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TlcSingletonFun False Passed
d054bcb456fb8e46408708ad3e34f7cf3fb0e891 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TlcExtendFun True Passed
5b8494a800ac3bfbbc2b29bdfce137144b8d8504 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TlcExtendFun False Passed
c331fa4e8cb376ef9d62cb6d67aef72ead252570 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TlcPermuteFun True Passed
f59f377896bffcb0da57c828d66284e733f54520 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TlcPermuteFun False Passed
7a269dcc55b12caa17dfee6e6ad2804465a14325 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TlcSortSeq True Passed
d0fa63ff0d2785cba75b596a0a7a0dfa42465c4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TlcSortSeq False Passed
506c702a6e6f5dfc93e3092193ff68447002847a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TlcEval True Passed
7d02bedec04e57834d2a38fedfc292dae412b23f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TlcEval False Passed
bf8cc8f70a2b9c00cd33650d5fa7ab0a5acef6d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagToSet True Passed
86a26b824c9439e37b4cce59ba61a28d451d49b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagToSet False Passed
6c0b86b73c8ff5b5813dd80d8d0d16cb7179e003 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagSetToBag True Passed
240059b5aaef013b39a85b4f111a62fc24bad68a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagSetToBag False Passed
520473d98a42739da0092da2a23ae528931ee010 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagIn True Passed
1c46ba707d17c185543f974b89df00b0937d4ca4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagIn False Passed
8467e0984ae227ae88cd2862f02bcfaf0dfa4577 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagEmptyBag True Passed
028e8bd8fcd2b5eeb0c306a65a4d0f46e5c7efc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagEmptyBag False Passed
778d7a2cdb1d53f3eda7e76da883e3dc9d64bd9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagAddBag True Passed
c724ff3cd3fb8d7e8fa78a80ca63e9943f4b104e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagAddBag False Passed
0d4a53086dbaae781caf14a6cbd936864b54f099 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagSub True Passed
0a1d532cd3055f16ca5b5029416d9c140eed201f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagSub False Passed
a3add03f0462280818748e0aedd0820c6bfb6cff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagCopiesIn True Passed
07956d3c5ef93739f5dbd72304371986f37376c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagCopiesIn False Passed
ae89a787492e7bdd9b17e13ee01c60d51d22c725 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagSubsetEqBag True Passed
ef93b98de70d1e27d75e0adb3e2bac18348d3dc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagSubsetEqBag False Passed
c5fc3b7572f3bfb4b1cbe934fba46c6624549a33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagUnion True Passed
1ff15022d09284e2c63c9172e30e1821e7a55c4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagUnion False Passed
c8434cd366a80008c5fb583d52f00b4b48ddec9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagCardinality True Passed
6145078b1da8db65d50110f05163f16bde2db360 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagCardinality False Passed
6e9d0531a07bcc891c4ea86350e272354a039c58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagOfAll True Passed
6578e8dacd553e035c0d6c42e7c40020e0468705 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagOfAll False Passed
b7b01ed4e7e6b7ec2525217ce6ce708253ff0642 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagSubBag True Passed
1fc4ff1ba96bfdb4e7cf9f591e0aa3de02cb66b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagSubBag False Passed
7999f1325aefa921e5818470a03046d3ca3c648f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive FiniteSetsIsFiniteSet True Passed
0970a38f64a771300a8aacb64a32bb19a4cfac0a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive FiniteSetsIsFiniteSet False Passed
9f1cae86a03adfd2f9bae317ef830bb3133605ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive FiniteSetsCardinality True Passed
c2dad6464579cbf4920d112862be929133dc1045 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive FiniteSetsCardinality False Passed
ec852ab9b8b0e57f7fe7be295922861206683cc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqHead True Passed
adc7029ff0ee513ab9ad3417b3a2e97903a88e33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqHead False Passed
09e9b6e8ed8bf5e01c3aa63308a7dc5200315a98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqTail True Passed
002d009cb32a6ce225b93d2fd1fcff5be3aab716 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqTail False Passed
e8f36263e68aaea2eb9ea5589f970e94658ac676 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqAppend True Passed
7fe1058d9424a8766923ababd70eb54f2b938d09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqAppend False Passed