Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
b6ef391d2d9ebc9c3c374ae068fe405bd3464a87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda OneLineComment True Passed
b2328970809ab1ee781051bce1655dd5626ea05b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda OneLineComment False Passed
1b82757ccf2c2aa89114c7d50ed6d89ed02b6268 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda MultiLineComment True Passed
1880a1f3f579a7dae1bc6273e9f6bffe6cfa8dc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda MultiLineComment False Passed
6b6e0924f73d5e210fee8986ce84e226f37369b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BoolTrue True Passed
388140d596ab4f7f102fcdde694501f4b7039a71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BoolTrue False Passed
55ea663e5de8f9629338f74901e294eed8b2e6f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BoolFalse True Passed
19bcad6481845af85658e16d137fbadd7f3cde70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BoolFalse False Passed
ae1ab69c8db047f117bd5e640054f6cf1ad9f9ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BoolSet True Passed
250d17659940d8f66fc7f898cbd0f10f0ae3b5b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BoolSet False Passed
68d9ca6a80a5c849ddfa14d947b6324716dbbc05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda And True Passed
5601dea6c002309bb9d0eafb1cb0a42f6e31ed07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda And False Passed
1a4b5cb4ba7d8d3369551431e7bce93f6eecf1af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda AndMultiLine True Passed
6f2aa3c13f626ddc4ca2e60ad84f95447ddb5997 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda AndMultiLine False Passed
7d18913d83b9a4229071849aadce900eaf00b40e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Imply True Passed
63885d252578ec912f6087080c578b6edd189cd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Imply False Passed
0c74aaf3f9e014e8861958e6686f802981fa21ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Not True Passed
2e13d034e54a527ebdb2ed5ac1a88a7331093a5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Not False Passed
3e62f6b9f94e11868c41cf14716670fa88b36fa7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Or True Passed
cd5fb6f4b39925530b04edcd66b101eb2911e0d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Or False Passed
dd52837b74205eb4741eb3c458361be99abe5f00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda OrMultiLine True Passed
65f3a6d79dd9624dbf96a91087e88354a24d99f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda OrMultiLine False Passed
bfa00bb82e87a76385cc6e40c55c98b4a914d318 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda AndProp True Passed
1119ea3c0cb6d1bdee2379f7ece2f7215d55439f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda AndProp False Passed
096ad187e70eed40ce4e09881636c5e01543c379 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Boxed True Passed
9a6a8466218c965a344f4615cd41f6f7a6293b3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Boxed False Passed
8d7444d549e4cb9b89d1192ff203c90d5c1d7150 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Eq True Passed
aec83ce2fe0bbba3ac7bb0c8c7ba5757a35907fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Eq False Passed
649d079b4084842cfc9576e0669343b103c8d834 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Ne True Passed
fe94b0c1d4b457eb53c7f2f4d7878dbd3fcdfc8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Ne False Passed
ffb7827fb9ec03e308956d04c0f36e3d8aa6e048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Let True Passed
9add9f54af3059e4d3262db9d8e3151aefd2ef1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Let False Passed
c6991bfd6ad0298bf4212f09a59cd58a795b7871 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SetEmpty True Passed
f01338ae4549fdbd90e0e45930009b45efbefaf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SetEmpty False Passed
fed8d54e5117faf9fef6af5c94684751d72d1585 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Set0 True Passed
6b81ec175ca419b39f4cc1f3c6d9fcde1b9df52a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Set0 False Passed
1137d8f7886f3ef265a0743893a14741f2aae1ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Set1 True Passed
918751d42ed47e3c7ff11dd1e824695f07a35a56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Set1 False Passed
eb382fe52d8391c96ead276b474b8f7b2c58e09d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Set2 True Passed
250deaaf958076eb6aa99c394dccb68d7dd3ff9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Set2 False Passed
76d7216671886ba24664a17f70b4a620542c002d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Fun True Passed
049667cbbec60de894ab65ba4a30616a901aa10c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Fun False Passed
bff129ce811b7591c97fe4b169ac7d3f860b1c66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda In True Passed
4e2a1ee7f1b530d53da1c3065a11c2a13f007d40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda In False Passed
498644c57aeecb484badd5c0c69670b471d05d4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NotIn True Passed
fb7a3d22f3a9316feb07a608d7e820b16d77fc12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NotIn False Passed
28fa0ddd989a7631a2300861477816f77961cc2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Exists True Passed
0ced0da02a2c608d1ec11b0ead4d178ea2c50fe7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Exists False Passed
537d4ea6cf6ffe134b0b693881ef06986267afab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Forall True Passed
6c751f29101826a38dd44c3f9d94680d8bdd4bca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Forall False Passed
3528ef67d3b393fd79f92ce28c0c0aa3bbfd5189 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Choose True Passed
d9d67347ac35481bc1d686ca1c196f2cfbb879e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Choose False Passed
8c8c435bda3a3fb3df0d2dde6f19c554f08532ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Record True Passed
8b071ed76da5402f8af001a15f54467acf55da1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Record False Passed
c7d67d34a3d923b8db48c57285e45b94c3685355 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Tuple True Passed
794199a1d2a4c2f7508188dc83a1c6f3e22e6b77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Tuple False Passed
57a839d24336f6df15606c735a90e1cc4752d115 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TupleEmpty True Passed
b939b8d01d38a650b91d165d4613e11bb48af135 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TupleEmpty False Passed
3a6367afc60a55e38c3b3b946f6a696916b1275c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda FunApp True Passed
0a251307dc8097de16493a9d430bc970f50b8566 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda FunApp False Passed
c62b2bcc80a3ea7992c94b16d9de20b60b026b3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Prime True Passed
4f904291073b8912dbdb8732c0a79a1683d39ed3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Prime False Passed
7c9acd97cf99f5c0291ca965952bf10d5f44ab54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumZero True Passed
d5ed058831dcf473b04494d7b8591f4f2418bdbc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumZero False Passed
ca6875bcb7b8baadc453c667ee9e5bcebd090518 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumOne True Passed
692d7c9c849967902b0beeb06d93a38174f26806 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumOne False Passed
768724cc55142e36a664ee97064311703e339884 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumMaxInt True Passed
be686b19017ae77fdd9201249e9bf0e6e9048b19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumMaxInt False Passed
fb527ef04498b4d4c0a8358f9bdf5aa648485e2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumUnaryMinus True Passed
68caf393b5d62ab96dc3f3086c535e7f3f2e1719 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumUnaryMinus False Passed
753b109e21936f9c49b63aa8ebfe18fd6a684296 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumPlus True Passed
c2927bd77e7a386ec225452b4aaa3750cb0e6330 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumPlus False Passed
1e4a7636db9609206ee3a4deb0f775f60e3309a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumMinus True Passed
a8bfa9b1d705aa249ffe31564c33bbc91b6a4b46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumMinus False Passed
a8a99a4a543c1e0a4a4de68638b26bd8c6ced99d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumMul True Passed
30c8a1dc7b745c737d26b7a90cbdfc768965580d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumMul False Passed
5be06da98a594a565cba9503ad897f31e87e26a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumDiv True Passed
7e2537ad808f1933807d508e57e7418ca813066f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumDiv False Passed
a9bf803cab9f9392207875142fc183b6b5f3e000 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumMod True Passed
ed860b6f5ceae8b4406904a62084a2554099acbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumMod False Passed
0531d348755a55bafa590e47cdd8a8cf31a76c79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumPow True Passed
f1097d81afef09e9757efe4650a7a7cb6708f43f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumPow False Passed
caac601820d75f3f8e1da2ddb4d6391c3cfc1f2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumGt True Passed
7b6c57794f191ca25f700b4f4a8497d46f055fb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumGt False Passed
7848b37096c329072e9a5b16c3b53136f7235973 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumGe True Passed
9c80087fed4e471639e79415ca59507ebb83ce3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumGe False Passed
409aebab7d881641821467280f64c744f5d7faaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumLt True Passed
6c147840d42e05f06f35790340a3867bcbdfee7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumLt False Passed
c8fe0e29e98f9cd1b345416ccb414cb391971eab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumLe True Passed
c8cc772ee5bd0689ccc33182fa4a5b54e0e5c2d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumLe False Passed
c12abbb70feeb4862daf1171f153973a75380088 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda DefFun True Passed
04715d0bf271de1556d2a7c174209ac2a2155412 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda DefFun False Passed
b50f8c355e1ec2d07aacccc8344e56ae46000f5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda LetDefFun True Passed
60ef7b4e353293a98980693dbcd187c14cdf0c50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda LetDefFun False Passed
ff5d584f9445d6fcec4137baee4b1f953fd53f05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda DefFunRecursive True Passed
4d574ed6148a68ca1ee703cce41121bf5ce8cf5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda DefFunRecursive False Passed
c223ebf7171ea465e22f64a4882182d8ed810879 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda LetDefFunRecursive True Passed
188e6a371ca9fcb6d777d474db6ef6ed97b33141 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda LetDefFunRecursive False Passed
5726dd8d1b80a19a7793ea124a6fe0654433471d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Def0 True Passed
b552162b8dd936b1426ca18e25f0867dc0953314 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Def0 False Passed
61f0bacf711e01386a5d85e2303c2dcdaf97769a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda LetDef0 True Passed
a24214198a1c456b343cf87bfe3aa3f87c6be84b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda LetDef0 False Passed
dbbc5911e4845279a3d7e1f0269c3c2061b31df2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Def1 True Passed
b272fcd65d029e1157283b8f63128ab182948f4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Def1 False Passed
10798b2b67836ce6ffc7da5770e3d9cab105054a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda LetDef1 True Passed
5ff1ecc177ce318e94985766d61814aeb3935da0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda LetDef1 False Passed
23401dad482e74a44ee265d7d6652e0f5eb58581 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Def2 True Passed
e6037028e2681ccfa60b6320ab12ef84b1d8795a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Def2 False Passed
f65ec52aa9efcc90f4548904bf09b9dfb7bd393b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda LetDef2 True Passed
20a26ea6a245ca4f30c86dd54f28b22fd6695fb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda LetDef2 False Passed
18201ef81cc572e606bee9fd48b513980f62bc80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Def1Recursive True Passed
1bb95272c87e8ddcbdae6c4b6aad59559ab3a180 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Def1Recursive False Passed
7792b88912daadb9f489324456dc55d2f1e47091 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda LetDef1Recursive True Passed
4847b8542e0a99a0bbf6e1203acac74f41d2108a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda LetDef1Recursive False Passed
cae9ddbe945f1aaf8edab959d2088c4585199429 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Extends True Passed
9b91ffc05176452a2247213684ff677a746f8a92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Extends False Passed
9e5886ed733a03668e5d9ca40840e6671bad17d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda ExtendsInDifferentFolder True Passed
ea5075de5b71a949a07a53eac2c90e6a3c843c25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda ExtendsInDifferentFolder False Passed
d9f50aab40f062de083c19994baa284e163d9afc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Variable True Passed
b03ec027dbec5a952f161a8e46120313b0fddbdb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Variable False Passed
6fcb979350f4b99b3acf071b15b5917d116d2162 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Constant True Passed
499d00fd6acf6512e1cb03d97ed8fac6d5cfb47b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Constant False Passed
b6c85029e4d70ce9bae5b3b9a17682fb417071fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda ConstantModelValue True Passed
49887c98bfa53f55bf90c15e40d574a30314fd23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda ConstantModelValue False Passed
df21ba86d17babc98cae77c5886a47ded88f0d93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda ConstantRank1 True Passed
5bff05d5febf0dfba16e2f914c38ca788023bb5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda ConstantRank1 False Passed
f09f324f739c6ef92d708f9c8ef94e54c6e2db1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Instance True Passed
29b91be121af1438d1752539cb1012b0ef91301a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Instance False Passed
1c23c3bcb98ffd865a876a652b3fb06758a051b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceWith True Passed
2aae4bbe5a938f1b17a1f91a2ba013eedc565ddc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceWith False Passed
3c508c173803a9a65945ab44a3a8b032b1431380 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceNamed True Passed
a03d3c46a447453831b538f4acb930c12f8b1a9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceNamed False Passed
526063cae53a2b1673349f3df83eb8184864be01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceNamedWith True Passed
d8fdce10a25a6a65cf36366226edddb45067c786 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceNamedWith False Passed
d6f46c8ae91b14e847f777b28326c094ad824da4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceInFolder True Passed
29547626d43b40f2b224ff1612d5bba472191d0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceInFolder False Passed
f6a2e05df58d4358b0fb834462e17630c3a05b1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceWithInFolder True Passed
dd742d560c1b76fef319256e5630994c510851d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceWithInFolder False Passed
382e4f18762331527a7f29deb54df8bd4bdf1b57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceNamedInFolder True Passed
de79813e2463391ca9e28865a26245dd980cef9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceNamedInFolder False Passed
885082ad5ac4dff44159c0cf82fe34bf8dd6bcf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceNamedWithInFolder True Passed
976f5f33bbc429716d4c9d2d793c15281b7267f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceNamedWithInFolder False Passed
13f29f4a1feba66bd86a5236f576d6943721b4a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Enabled True Passed
b6085ca50c12a3e97302b06c1446f24f470607a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Enabled False Passed
d7b6dd5d7a73c8101f2703f4fa955b6941db93ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Cross2 True Passed
7435d37dd39214acbdfcab1c78789fe4a0ad880b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Cross2 False Passed
b4d644d85363e31318d796c26b5245a479cf54e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Cross3 True Passed
ab612322225528efae257a51fb7cdd5646c2fbc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Cross3 False Passed
df21d8c2157d74162b463807113f5744e5d32283 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda FunSet True Passed
95483ea73f438c7d5522bb6df4595f3c53ac6516 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda FunSet False Passed
9f856793042629c2a06c971258b20477c60db4e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda RecordSet True Passed
88688ac67375a4da6d9eb0e9c8c0cf32b8fc942a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda RecordSet False Passed
8cadb376d65e03ce558190e4207d81293fcfd429 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SetDiff True Passed
472bc9014724582028a05b81378593790197d42a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SetDiff False Passed
d6316ecbe4f16b41d99816e72d7d78fb61f68110 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SetUnion True Passed
c493a03ae7edb8dc7273c6346adcd15e4d3c703a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SetUnion False Passed
3ad29f9f0e78e0406dc16f9c9d7a45007903ae1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SetIntersect True Passed
a9d286530904e5e6f981d83e81d130926ecbe8d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SetIntersect False Passed
a11cb1163350b717133f45b597f9053302e1692d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SubsetEq True Passed
69282be547c6c2f493084e65bad18da7fce556ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SubsetEq False Passed
0000811bb8118d111c2af8e56c92570d4f8447df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda IfCond True Passed
3e6d18ff73860ec94195288eddbf7a66c92772a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda IfCond False Passed
a83629dcf6ba4575722aa8f670ebbc25d86a9d78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda IfThen True Passed
4afef608fb38d15001ad9266f373bfd278c71c63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda IfThen False Passed
2714603bd3395b6d497ee855b07b5908e6ec0dc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda IfElse True Passed
b9f070a40506c711307145c02288ec3b3ed80672 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda IfElse False Passed
2dc3ac00490bcd27a36dc2df1f20b5d1a3c07ef0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Subset True Passed
48890e5d93e65d0788f279667f2530830388c3ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Subset False Passed
129e81b25c4b1c8747a1ea7322b888e31db9f2bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Domain True Passed
abfd42264ed8efe3b6602940b914bd8be8ea1d7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Domain False Passed
20106ab15d82ad47a5a590c17baacf98104fbe1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Union True Passed
76266f9c8741a339cef084ade39002bd52369c39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Union False Passed
fbbfde12d6656abf6a64b0ae925ae7b471398b11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Unchanged True Passed
fae0a2eda79955cf5e5d2dd9cd225af3d81c5d91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Unchanged False Passed
1f813a830e21dd2cee5fc65c5f260fb232fd3bbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Equivalence True Passed
50139f7c3097d93423969c6aeb30c08cdd50f249 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Equivalence False Passed
0f7f069d7734fa9d1bd90474e76778eb8f0c6ba8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda StringEmpty True Passed
13dd4826c7216c181e460ccd0ce0449869893cd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda StringEmpty False Passed
df3a276b0449287275a7b13eab23bc9d62298504 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda String True Passed
b377d47adbf4cec962f2577f9ac9901381f5bcc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda String False Passed
19487f482d5155dbe84bf1c940502f596d9c42c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqLen True Passed
f624862e0566551318572b3c0df22674329e70e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqLen False Passed
60e58da70af6f7f8a6608e87b81ffa084e272874 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqConcat True Passed
2d6380aa5ef7bf370597ed717b94005444c63260 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqConcat False Passed
6f3b719fee362010a982528d1712d314b1197466 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqSelectSeq True Passed
71b361a754ee3035311660f3717ab196ba764ab0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqSelectSeq False Passed
3f0c863b12fa3135f4a05416d6a6a65d7a5fac93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqSubSeq True Passed
dbe54f5788f485103fbf8844367e0fece9685cdc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqSubSeq False Passed
01ab171ec0801a8c668899c955f0bfd6537036e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumRange True Passed
6adb06179e43a6d7609abea07a9bfcd7ced3f53f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumRange False Passed
a4934b7fbf793191558f2b3644b7567376efe10b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TlcSingletonFun True Passed
89ba86cbf4151f4068c05080376adcb492e0f126 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TlcSingletonFun False Passed
402462389bb0f4e77db798318fe77b83bd58f81a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TlcExtendFun True Passed
a6559e4f5e8186ccc5c3b9dd9051fa9fb8b420af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TlcExtendFun False Passed
b6f903e848871dba48f8cab2fa468bdb74d77a62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TlcPermuteFun True Passed
c9755bbd51e5a0230c9c5c95da2ddc6090802501 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TlcPermuteFun False Passed
50928e101d8a2679f6fc4cc3c9ea7c9e3f75f0da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TlcSortSeq True Passed
c1a8ad29b9d96b0e4f95d0e630a6a5dbf151dc44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TlcSortSeq False Passed
76cb394a222703dbddf678bc8713f0ad9d369c15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TlcEval True Passed
1174cea9bb07398882b913e07671b0d5d817250a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TlcEval False Passed
e5aa8de5191319f04fe79936de9af3498f4ffab3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagToSet True Passed
8cf84f341489bc0fc61224d3eee3ede5a560b0b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagToSet False Passed
768910414596656d64e1cfbbf3ac8b0d04a63eea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagSetToBag True Passed
c1c18946c3690bb1d963e54e363001c244330688 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagSetToBag False Passed
e9f302e6a53de7a5edd5c3fa610c9953e7122bea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagIn True Passed
fd5a7162539841063b79e4b5e835c7508bbb6de2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagIn False Passed
643511c26b8a053322a1429399e86ae340cf0d01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagEmptyBag True Passed
e45fb658c8f25d64b94c62ab04ccb549f6cd5123 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagEmptyBag False Passed
019ef2917b4fdc2b612278e75903234c297e19ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagAddBag True Passed
2528c45b45594db000f94bee225bdd06ca8ddfae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagAddBag False Passed
d9c753eb52e48e1d39424b85f271eb7b84a7278a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagSub True Passed
329830cc57f04f966307007b652c8a29db7e7142 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagSub False Passed
81bb04b515580e170f54f28c8f27c4bb996c3f1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagCopiesIn True Passed
b42eb542ba47c29144695ef902ca58fe614a73b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagCopiesIn False Passed
6f8fb527f6a4f5650066a26fce7d939bc5f5604b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagSubsetEqBag True Passed
9c5a3bfc07f84e549664e65db98b5a026183d66c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagSubsetEqBag False Passed
c098b787d1060ef8b2a3f0131c5c4e3a51c67ba3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagUnion True Passed
4bd47f632a5140c23725a76d41cec039ea66952d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagUnion False Passed
29c39a3397b8e2a6f737ebae10010f75c188ba9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagCardinality True Passed
b66ded604a05835ee1675c06a004af0fa3fcde2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagCardinality False Passed
6326fc8912d056b07b78f9dfd85efcf4fb67d69c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagOfAll True Passed
fbce58b2360967bffe7cdc2a87ed265ab72de96b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagOfAll False Passed
fb1324a28b9560ea75da18da018f8cdbb3577ff5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagSubBag True Passed
2306d76964cae9f2c0958e4d0f55c4a97f66c94d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagSubBag False Passed
6658b042d498426ebfca2b31bebcd208fc3f4c70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda FiniteSetsIsFiniteSet True Passed
194ff595abf1fca4fba296be4dcfd5d4a7138e24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda FiniteSetsIsFiniteSet False Passed
0d1dc08cddcc52befa03e29d772890d8744337a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda FiniteSetsCardinality True Passed
7258f7f6ae14c287b93ed36a981dd465616ce063 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda FiniteSetsCardinality False Passed
d1c85128bb4dd2b69684901e3f09f3a253e0f738 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqHead True Passed
200b599c14c90bed092ee9d03cfbf8a2971bfb82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqHead False Passed
02799c41f366fe033dfae291ac95aad11b96f48d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqTail True Passed
f6d5fbb5298c164690f838425ea0cd373487a53c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqTail False Passed
a6efb9e16dac07688f944d42f199e515f55a9fca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqAppend True Passed
031572dd76978084ee3bd1a931f6ff61619e0f10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqAppend False Passed