Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
848d26771995888db6dec71da21c3d2eead606c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun OneLineComment True Passed
7ba05496b796422190f3a5380f8825828611c840 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun OneLineComment False Passed
34748add22330fb70b582e081db172b7aecef6f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun MultiLineComment True Passed
6cf8b0699092c5d054e2b3a4b8fd4024eeb70e28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun MultiLineComment False Passed
3dcac2e24633557ff650bd41e9a02da25b5400d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BoolTrue True Passed
216e6422e2e092dc978366b1d1375dde09561144 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BoolTrue False Passed
7b51b11e4ac77bd8b3575bd0b1b1287809442cc9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BoolFalse True Passed
cd1cd8db479ac5a4ec4160b412b7eca2a75adf2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BoolFalse False Passed
ec7685a17110ee877ce3f6edd38cbb5d8e729005 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BoolSet True Passed
12d09bf5855ca64f8505934e5a7c9878d716b614 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BoolSet False Passed
6e7b1b6ebc4727ccbbfb8e96fcc9c3e84cc730cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun And True Passed
dbf549c7bb831018b5c8962c5285f98c14b6f2f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun And False Passed
7a499191cc59686eefab47b4734c9d3aec1ebf34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun AndMultiLine True Passed
f5f44ff9e40741f01804e6ce699479bd3ca1965f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun AndMultiLine False Passed
9138f2a88becb9a234012329a512335c82599996 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Imply True Passed
9a4d94e603ae82551769406671f5082917eebefa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Imply False Passed
06eb496e722ef5a5f1cd2cb50415194a7052f4ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Not True Passed
45c4684e7afb682f2a1b8a7eb8e08551a8b073e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Not False Passed
3794ae000447e43ee9d39a4bb1535f963d994afa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Or True Passed
9d9e42c851e618234179c4d79a0d5871891e8053 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Or False Passed
c0573691cfd2320cd4a087e88d6b7e8c9b065689 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun OrMultiLine True Passed
74837c03ac6c9954dcbbf3f8dd10c46ddd200f5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun OrMultiLine False Passed
52526ab1b9fb2ff4f146d4830baa9590ae8e7eff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Eq True Passed
7d153987046fee9dad1377932e48771d26cb9a0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Eq False Passed
ff726e1d1ed266f4d96aaf4a655e3823830b4f84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Ne True Passed
2856d8f76a7cb3f978870a4b5ead67a544259493 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Ne False Passed
16ab02eaee6380f15625c62f005947e3a7f746c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Let True Passed
c205abfc10eeba995511d51427b17af694fd6e60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Let False Passed
90653112c4f9cf12bc2d3f416d60cfab8cf8fff1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SetEmpty True Passed
e5f44e639249002443c0ee274d8e150c20abce5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SetEmpty False Passed
23786ad7318c0df46ca6f36d842a1d5b23cbe9fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Set0 True Passed
7e578e4dc61fa8e4042be37a845ad2eae5e97013 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Set0 False Passed
c0b93581953a8f8140b0d80fa92a8def3e0bb32e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Set1 True Passed
e7e90ae936ee77daf0ec058e3e130563d6c75dcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Set1 False Passed
15988696a0c1d68ecad5756be123d46d19455d2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Set2 True Passed
6f328090f2ea024a9bd9481d510e1b575f5bf39a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Set2 False Passed
087414218373cb9a65e2ec748605e673d26601c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Fun True Passed
53341a8ea436f4f2b90dce9a55cecfdeb5ce7620 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Fun False Passed
df98c1c27fa79d1fbd7092941f32af33cca5dc8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun In True Passed
c8269983a888c41e57cdbdf48aedf8324622aaa8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun In False Passed
ac8b6e52127e5230c323a82dd301d4e8be9c576a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NotIn True Passed
61a93ee913da5449bd3467b44097c2f5fe43c320 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NotIn False Passed
bc3da3935010d7e04ca46885bda2a7b8c23480c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Exists True Passed
a7499145821dc8d7d4091f2b18ee2f41ca45eee8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Exists False Passed
c4dfa118578dcec51cc5460592e43c32f5b8a544 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Forall True Passed
5055b532a93734fd9007aa759aa540c5b278c381 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Forall False Passed
2311c36e9c129f669940c3431ab807acc1b8b541 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Choose True Passed
c1c80b72c26c729784d83ac92f75303a762aa981 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Choose False Passed
4ea456cf90d867a27cf60b551aeb9cc5fa98b037 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Record True Passed
a1bf66e28a63955cc1da7a25a7b0c5c17f9ca686 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Record False Passed
a499fbf5b0bd57b621a6123489db3278de4aed02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Tuple True Passed
6439078d901cc0301415985100b4c414d2284841 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Tuple False Passed
b12bda3ebd8e0ba488385241f425e06dbbcae793 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TupleEmpty True Passed
2fbc57b6aca5bb84145ad08b29eb93c4de64ae7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TupleEmpty False Passed
a4b0c41ae7dae7e2fe2bb6ed3ee70ce60c05658f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun FunApp True Passed
148f41f4fc83d703771f81a0517026604b71cd4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun FunApp False Passed
f2354b43ae5804c1039b1f222003cadb8be6b4b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Prime True Passed
28bb5fb414b793674f742fde02f87da04302c66b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Prime False Passed
e66b042a90ab5b2d6f48e95af3b2b7582ac1491f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumZero True Passed
ef813bf425d5587074e8ec6c3a806829bfaee5ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumZero False Passed
2f4b0dc0c24a172a9ca13efdf9a1f4117ae03abd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumOne True Passed
2a63005c203f385355e7b0b6c568520d851482ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumOne False Passed
61715259f9a3f03a327a07ffcb606632c9cf30ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumMaxInt True Passed
b27e80aa6fee2f81c1bee998638a6ab73188e8c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumMaxInt False Passed
c204d4db4d44bc57c86689e461db96158b2f4d73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumUnaryMinus True Passed
707489a414c11b181e644c2ee242ce5eb6f744e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumUnaryMinus False Passed
3e832c284f05db2c82ad24fad692df92f3859dcc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumPlus True Passed
1acded257f2cf1b502cb5ebd659b15dc48e475cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumPlus False Passed
49b681281e0f18b811c0e38244cde19f6d10bb26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumMinus True Passed
fff199579d223e1bcaaac9cfcdf14db8caf02abc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumMinus False Passed
a1bd3dde743504eb197b98466686a9af2bed9ff7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumMul True Passed
f8c6fe12d504dc7732642d00d872c1e6b1cb1f61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumMul False Passed
e6b470613fc90003d31b46b77e2ec5f4cecaefd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumDiv True Passed
f266fa47bd94e04477f0a02766acafd0fdccfea6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumDiv False Passed
5655efee41534c9a8985d0103782d44aaceab5fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumMod True Passed
3d7704aba160d05c4c0c8f05f2d18fe189847a30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumMod False Passed
1a808f6ca9f008d77e684e57067c3b153ef736c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumPow True Passed
7db6310026bc3be620aa518eca03e9f3f0ffe8bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumPow False Passed
0d6ee30b172eef63cf96158071c293566084fbdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumGt True Passed
f389eb3053dadadd3f010ae1b7454ca715b6b6da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumGt False Passed
2990130dfa15ac6ceab3c9d983714b277dce209f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumGe True Passed
7623b833bf24d8984707abf60768439410beac2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumGe False Passed
499c1d7630d255edd704d8eb3365e934b833c806 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumLt True Passed
eba269601f75379251f309e9390928b4c5d8649f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumLt False Passed
374a63bf3f69651ed9c364365d1adfbfd77f8978 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumLe True Passed
a4523932802a13eae6eabff519cca7667de3cec1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumLe False Passed
7ef991a3c5ad59e81100995374de9a5b51e9963b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun DefFun True Passed
8676f3afe713aebec1bedb574e37f2a1b2091fbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun DefFun False Passed
371e70d0393e7894c785591224308e4fe28edf39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun LetDefFun True Passed
b09c08a7e8903cf1e2842ade6462fdb6b0386727 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun LetDefFun False Passed
1ba1ab1064c02d96b9fcac8f3fae90897f57546a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun DefFunRecursive True Passed
18ffe80769ca34207c09619a7b3e4cec86f3808f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun DefFunRecursive False Passed
61610b59f63bcdda5e0d163e2a840ad84ca68695 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun LetDefFunRecursive True Passed
ae38418a88638461bd57c4b11d250884a224271f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun LetDefFunRecursive False Passed
887b5508c52f0c233f75c2bf4a39167d300efb6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Def0 True Passed
c228b8c86c93f651fd419905531c1b5c26e6bc82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Def0 False Passed
817914e2dc1727e31859940d8d90a57d1b695184 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun LetDef0 True Passed
16c47964dbd790a95f29d028c00cd2576d65b8fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun LetDef0 False Passed
92a32f9861e2e7200e61270252b6209bab27ec21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Def1 True Passed
368e2c24eefa9cef3c16e576f26ff88b5cf47ac7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Def1 False Passed
78713a0ae3559317df1bd1e434369ef9ca7fd62e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun LetDef1 True Passed
795d1fea4ef4ae4a6108c897764d9b0a71fd79b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun LetDef1 False Passed
3ec74609c5fc733cd89020a1c72d5d353723de01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Def2 True Passed
ae800e13149e618fb0e10d24da6a3af496674e27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Def2 False Passed
1eb58d7fb34ef026df2dd4541a10947e77f096e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun LetDef2 True Passed
2356836ba9c20be22d7b5c1806e5b5b5405c5cca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun LetDef2 False Passed
bc3a07115e2a7909a3b8e08a03d7be43689978ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Def1Recursive True Passed
f50cbdf7a42df8bf77832e3a99223f6be95bdb53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Def1Recursive False Passed
00d7b782804f9a8def7213d604db9398dd33f0a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun LetDef1Recursive True Passed
7f3ef599ebcf2484f480f73293b337fbeb7e4061 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun LetDef1Recursive False Passed
6175040e1063f9253f2077f4ec14eb67cdf8b2c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Extends True Passed
3cefca1bd0075342be6d7cf4a8e818f596aaa0de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Extends False Passed
853206c330ca42789a6dac7782696abd82798820 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun ExtendsInDifferentFolder True Passed
ae7af43c43f030254486d0243c551f3071970fc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun ExtendsInDifferentFolder False Passed
b527ea799a4c31b944ace5f7953b34c4c8974ee8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Variable True Passed
c1c92db3c7fc5c3911b13693e5d41372b6b482a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Variable False Passed
2debea9ddcf16af12827b24c663911d5a2770388 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Constant True Passed
65c47720b628619640b155f4289945937faa7b54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Constant False Passed
669f89b5e11f7e111f3639c3b099448fcc18a61b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun ConstantRank1 True Passed
73c08a9025fc1cd4448ebe8bbb69e61b97fdccc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun ConstantRank1 False Passed
1cd45a86a3cd38ad6b653e73a9fecc23a8171116 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Instance True Passed
c124dab92c7651393deadef23fd84d8abcee201f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Instance False Passed
fd44e51d30b6377fbf0d3caeaf01deb66aa9fd9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceWith True Passed
ef6f7de7d2773671f0d8336e14842e634fbdfe66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceWith False Passed
f143fcaf25292cb690f6f968d3f4afbc4c035002 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceNamed True Passed
cb9b317ca3614b07896fc27d174656a7538574c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceNamed False Passed
d581bcabf8026651f155bf9af4420e343b988446 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceNamedWith True Passed
da1f7e9e3ef8d66c33eea48db44273bd5b1e0963 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceNamedWith False Passed
12b598106a9df9c6710bfc716a3e597a43a45043 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceInFolder True Passed
4ff107fc595f0e18d2207d1bd79bfc52429c4121 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceInFolder False Passed
2f1dd227090ae97825dbea42389e39253e56e5fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceWithInFolder True Passed
3ca891497a3148740e444210245937d06db12315 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceWithInFolder False Passed
5ac8901656f0ea42b14e6336c373ca6eceece260 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceNamedInFolder True Passed
831d387ea2a8c55d5cc91fd4d23d1a1d19859260 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceNamedInFolder False Passed
59a3f5210547835eac40eb20bef10b2a80f8a92e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceNamedWithInFolder True Passed
d1a8bc4431ac3acae7459b2deb9d8e4e33041a6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceNamedWithInFolder False Passed
7c22a25e5401880c62fe323522c7d6d2c2f07b98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Enabled True Passed
bac3392e2dcd34b9992afc6ffb71bc2cc1fd7ed5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Enabled False Passed
b3ffe7290d01e053cda8e32efd53498235446e01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Cross2 True Passed
7e5f5e3114599148087244374ab649365ba2461c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Cross2 False Passed
d7af84f8da28bbb76aa251b3e4ee0b853f55b999 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Cross3 True Passed
fbdd812870951a132e27a565434c7c7a5bf97bed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Cross3 False Passed
5a89e411b9a95482c91f454343e49ab0dbf6655c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun FunSet True Passed
da0658f345f10e41f943c456b47eb129358577c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun FunSet False Passed
a0a5e68214006ff88f98c042cbf0de8bf0d35e8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun RecordSet True Passed
5d25fcbe1d8d17d598e46a362408177af2726fde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun RecordSet False Passed
2c56fa9baa7d8e98f7448ff71b4b792bfce5afa5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SetDiff True Passed
2d07abff18c667a09605dddc2ff0e957b37c0023 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SetDiff False Passed
70ad1fc066e887901b283a7062b1d059bb9fa82e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SetUnion True Passed
f3af6c09080e16980ea43b86828c1701cba5e0f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SetUnion False Passed
bf270e2ab1a7ae8032a1fb16f605351cbc8e031d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SetIntersect True Passed
d918d5125988a0511bc27dbd43e36dfcf8627b45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SetIntersect False Passed
e990cf7e1049caf3823ef43f6cc335e56dd8019c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SubsetEq True Passed
d85209089d542869c11cefee9e46e90ac4e3ecf5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SubsetEq False Passed
b73618764d95227ac889f020a13bfa4db5a2e50c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun IfCond True Passed
0f9f83139f05cd230c59b4e3bcfa467c0c2b1523 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun IfCond False Passed
55a19dd5906b779f2956722cb87ff41696101bc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun IfThen True Passed
61299b379668c09d89dfad4d8cad22fd3c2d5fe7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun IfThen False Passed
f43fee6b4e35097ca02c5abbab87b1ceacb048ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun IfElse True Passed
a4d1f8b0d2337760a273b86cdf3f41da30c4e13c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun IfElse False Passed
b67c03e4e130d1d2c72ca089b72be49c017ac912 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Subset True Passed
5363ba5f0f2187660b977f9fda62d55dc022f181 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Subset False Passed
6bdf78b2baeb946be1cf969c0cdbed60986b4e92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Domain True Passed
8de6ef9df810cbe426361829ce92f882dc72ec00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Domain False Passed
04c232de0740690d1b297889a185057bd200e94f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Union True Passed
7757b0684fc5f3a5ef5f4567df10e3b35fb46fe8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Union False Passed
b61e6549952018b21ca020d014e1d646a713b90c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Unchanged True Passed
36646df6aadef5c9e074d096c9c6c1f781d62412 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Unchanged False Passed
2a6b07892a58656d0e7ce11452d3ce965d780d9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Equivalence True Passed
106a20d202bb3bb8b174e46e2da2142e6269ee9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Equivalence False Passed
203a67af7179d1c5569fae1745d6be97df2618a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun StringEmpty True Passed
9960ee882fe791f9df62d2ab77e203db93a5c72c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun StringEmpty False Passed
7ec84677979bd8919a2ee5e46e8111a16249f72f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun String True Passed
08e8427a0e33293a50f9ccf0dc236072b19da777 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun String False Passed
44ad489fbc3a6dcd26bdffc99a751aa393772d8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqLen True Passed
70b20232b6111d7fd4701d9050a7d200fe2040cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqLen False Passed
1e6b47e9c52ac0e99d70eb15f2e7a07ecb1fa609 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqConcat True Passed
c1c7eb0c177d1f7649285a7daaa87bcc3abe0252 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqConcat False Passed
9f732a693bf7d687a0c1246992c13d54c683c02d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqSelectSeq True Passed
9c69b4cc78a2eb9e7a0bf8fe30c812c9fa84472b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqSelectSeq False Passed
7b4f931e195cec2ee1dd438c2ca089de07e3a19d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqSubSeq True Passed
388374298b1e7c6d92bbca4fcfe5d0bbaeaf027d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqSubSeq False Passed
891ea7c9c758d4ffe668fa141f5f16546a650c06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumRange True Passed
19bdc126333572436868011a964513f80e880534 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumRange False Passed
f1dfb61dd756ff67144fd4d875b76391db0e1561 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TlcSingletonFun True Passed
8f7a1db0d6593dc83baeb02eb46f63dc795a003d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TlcSingletonFun False Passed
f4e0b0df14329fd2b21cabdbe982532b3ad0975f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TlcExtendFun True Passed
9cb99d3a3e9eae145c9bab7b1fd71a9a14ec4f50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TlcExtendFun False Passed
6d95375c3340d0147c8f29ad5bcfc63e731e1966 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TlcPermuteFun True Passed
5d28b93b8f40c213abc8758c695a400d2c2c948c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TlcPermuteFun False Passed
b81bd5b14234940c76a51621441e851410d4c9f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TlcSortSeq True Passed
885adc9e06abf1d2ddb6b38d83aa1bf76b7feec1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TlcSortSeq False Passed
4bd5e380cdf9b6b25a34c762fd96424adbf299e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TlcEval True Passed
71768be30ad138c4336047579204ab882b2b0c57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TlcEval False Passed
1e3f883efbd5679942df9c9b4d8225d88f94523c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagToSet True Passed
b9da45ae60db6c33ed64e49bbc606a40b3be5b29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagToSet False Passed
a756772a6377c629352caa517c188e723aa4697e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagSetToBag True Passed
c6ecb711c544411ea377cdee255f0dfcd9238a7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagSetToBag False Passed
4a4cf687d6a0ad26a1f0ea235616a6b3516411a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagIn True Passed
b9b4c920ecd6bdb4d1b6b165aae949eccd72eaae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagIn False Passed
becc9c273d94afde9d7d6ca6442c9b64dca5c18c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagEmptyBag True Passed
7aab9587296cb0e3795a938254257e0bbcb9ed7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagEmptyBag False Passed
c95fa71122567ee221aabfef7db7c099d16d962a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagAddBag True Passed
32bd55d3ef264b5869d0524a30f01154902161f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagAddBag False Passed
682b1d47ce515fc942494eab43b0b8948007f699 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagSub True Passed
f184f45cd2aaf870bb355778992f7a216a16ff75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagSub False Passed
7a587343380f63be6eb52f77deedb46729ee2e21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagCopiesIn True Passed
899c9c770c7fdc06382f77be6c32584b41220b3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagCopiesIn False Passed
c1d7dbbaef62b689c5b8e46a09fa2f7a7b46e394 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagSubsetEqBag True Passed
d5430d352ea77ab1c0d69128d983463f89a04e50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagSubsetEqBag False Passed
b9719c9e31620fadf5bfe2824e8fd99b71da96a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagUnion True Passed
25698eda85004ce0d08d010fa9cbeb0e4ab58d8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagUnion False Passed
f30a206d7869d58ff703336c6285a43453a2b504 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagCardinality True Passed
1b9f29af4f5dd208926a33e06637c6fe32031503 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagCardinality False Passed
3f9f7b91bad8f7680bd0fa3cb5c2be46079eeb6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagOfAll True Passed
97ca27aec3b044fad0f41404de29891ae505a1bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagOfAll False Passed
c5c8f3904bf81a2172bb585f6bb549c4a1ccd1dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagSubBag True Passed
783c0b59123599e7c2121e7c9f229852c5444575 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagSubBag False Passed
f113253ac1b57314cd81d5b1147f6d30676ad81b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun FiniteSetsIsFiniteSet True Passed
0c3e7e5be7fa6acccc951585c9bf0c1c588f7e68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun FiniteSetsIsFiniteSet False Passed
afeeabeb9d0c021b972bcde5fb567fc868c3c56e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun FiniteSetsCardinality True Passed
a51d0359dfd697595af79dc1118b1d272b568bcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun FiniteSetsCardinality False Passed
71b66895cf33922109510db8fd051fcd861ed9c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqHead True Passed
9da5ade08a548261e23bfbd7066d70a39f565292 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqHead False Passed
52c6441d22885958fcdfad933bd8a12a3e584b52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqTail True Passed
35dcfa540b47b3eae32040efb20b9feb301e2869 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqTail False Passed
b0ac0f3271f8a4604935a8288d4868fc586135be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqAppend True Passed
a2baff21889a2690e47012414b9ac9c241e9f022 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqAppend False Passed