Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
284924dcc02d233e58af197ec682900cf76faf4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval OneLineComment True Passed
4b9d2ce604e557697c17b450d9999281e6a4fd61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval OneLineComment False Passed
98b5b88231952a7f39ec3091003737830a14af13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval MultiLineComment True Passed
6d16d96792376b50818d2b236962d1e51a4d3d29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval MultiLineComment False Passed
d5ed83e7126d41a50ae96c9000e8ebfce93c2535 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BoolTrue True Passed
6b8c9dfae0dac8524f75071f62809ad7306e6ffd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BoolTrue False Passed
f1b21ab41a7126426f9be5e4c165f25fa6ab75d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BoolFalse True Passed
b42f22bdbc8959cdb6940294a042089147de6503 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BoolFalse False Passed
3b10f2bd378c8ec561e7dbe297e4516e3f83f587 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BoolSet True Passed
fcfe1c6ca54ec503ed963009015cc127d846cc3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BoolSet False Passed
d62a31af2b64961735e665e912f37bf546c70514 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval And True Passed
e504e9479461b1272b21965619e064661806b707 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval And False Passed
3c6fa41a1a19057e2a29d580d3ac92ec4fa2b138 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval AndMultiLine True Passed
a195ef35c306eae13c6e202f8b27e6488d9eebb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval AndMultiLine False Passed
81af702d925da636da2e3759ad5041675cb6dbe1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Imply True Passed
ac4def088a2e6acc1d42888793ff6ba8b84ce6be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Imply False Passed
9ad739b6aa61c944ab6d119824bd014878eb4e6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Not True Passed
74e34fc8bcf8a33951b9804fbe0d2db1ede7fc31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Not False Passed
8d633faefe846ef3155307c430c2e89642d4901d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Or True Passed
5e341034ec58d2dc3492473ad8f5e8535fd93d05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Or False Passed
9b12df744c65ce8e4a75818ce0c37eade07b4c92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval OrMultiLine True Passed
1f520981c4df40cd60bf7eb433d20300796d3df7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval OrMultiLine False Passed
6fabf884207fe3ad524725e3dddca9f53d7e7796 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Eq True Passed
06ac5dc5119146418e6bface03206033aa52b561 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Eq False Passed
17442b9365e6bd944c74ce212132e4c44a726e2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Ne True Passed
98b487f02e3671be2b20cb750eff2b3643d4d81d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Ne False Passed
53a42772074f3c2faf687426f561f2d4f038f1e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Let True Passed
98140103147f7daeba5fe70760ff3e802cd02bf4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Let False Passed
3e7921a95156543872af8fdbae98466a5480f6eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SetEmpty True Passed
ba70d42cb7e3f0a5a2b3aff47a3a747314f5f3ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SetEmpty False Passed
13bad0192230eb7d741936c69d2aefd7452719ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Set0 True Passed
dcf2fe907e0e32fed6c2fc95c23cad36166dfa81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Set0 False Passed
77ff590048d8a0d037c474c7d1100fd1589f197f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Set1 True Passed
e03a3185e66283c74eb212b03031d9fb99659929 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Set1 False Passed
315a1053664b5d6ac21afe7346189e1730a35520 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Set2 True Passed
b2a508d9390ce0c5ead2ca4e8ff3b77fb7e2446d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Set2 False Passed
a834fc91195f39efebf719a293040a3a461937d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Fun True Passed
12a78e36f76e671e576b70bb19cbe3b07e7c17a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Fun False Passed
c7ea78fd1bd757e4873cd30fe4aeffab4e295b6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval In True Passed
2360e19b054465619080a04bcde6f21249e4ea5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval In False Passed
da3800dcd9f9aa9fd04a134c30fb8754c08e9bab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NotIn True Passed
04e1bb271dc7de943a649d9fb18ff20f3bc34db2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NotIn False Passed
9c92aa092024f10b5efeb54db75cd02b33014ca4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Exists True Passed
bd6fd0ecb06ea7b3679aa6ae51f80e1d0f3e510e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Exists False Passed
313eef7c6bc4e1de4e635b9f83a1afa7c83a8026 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Forall True Passed
433bf6e2b11b57a628221812ab1cb781e34b8ff2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Forall False Passed
72a0f1704d5c6d143d48894895ba789e054fa698 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Choose True Passed
33d59e896c39661998603e931195e7408154ccd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Choose False Passed
bccfdc2897a5127b89ef51219b3087e44e68e77a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Record True Passed
f1c41ba681e6fb6f910a6abb2d6f4ffd2ad73a08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Record False Passed
74e15d9b942086f58fa2e543cafd917493091ada TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Tuple True Passed
03149330633ae8094845025b0e7ead8433974e9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Tuple False Passed
b4db42c70bf00c278000ce09852a2497aac64eab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TupleEmpty True Passed
131067de631029b667f49fc6855e4fcc465e407b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TupleEmpty False Passed
6ac244cc4f6286dc78ddfd8c1ca4f370f575fdf1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval FunApp True Passed
2dd59e90358aceeff248e0218c30fea198decddf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval FunApp False Passed
44112332a5fcf72d96f1ad88625ed2d61af85c06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Prime True Passed
251299ab69b0f217dc5aaa34902837d248996bdf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Prime False Passed
6c5b871549ecc3a65f1c533772adda951e1ba1ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumZero True Passed
e9d0669047a1f18af96cefae5f8f37b84084496d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumZero False Passed
7ad572a7f728f3046db51c6d1ba196d57d458be8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumOne True Passed
1850eb488c21dfeab2250edceac93ae20565c4f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumOne False Passed
16fa6dce2bb5424e054116d5ed817407058911e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumMaxInt True Passed
bf3335f06dffa883e3395c05b2ebc82b1636ad9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumMaxInt False Passed
b76ef262ad49bf5d88af558c5d00f75fbb4b2bd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumUnaryMinus True Passed
b17acca66575030f5f406ff2addf158f672bf5c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumUnaryMinus False Passed
dc367afc2672b2dceac7b5872f8d4bb5ba59bda9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumPlus True Passed
f46a248563258fe32e29d0fed76571d384a8d9ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumPlus False Passed
cfba99dc63a198565518eb7d21049541932e7a0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumMinus True Passed
784c20148649caa32e7d0b1014fc3f75b40a48e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumMinus False Passed
50738323657d511db629b9219fcefac78f7e1941 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumMul True Passed
04f07aa48cb9c490fc91102f1d7a3a6553387c14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumMul False Passed
1302c7a7f9719422ccaad80016d7df47cebc964e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumDiv True Passed
765689197ca5d2d1c7a35895ce409acf21baa9d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumDiv False Passed
9358c91986c1064af091ce580a236e4cd4bfd509 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumMod True Passed
43f32a8be34ba7280e58acbd4aaf8063ee953cde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumMod False Passed
6f8c458869e4a06475f2c3f75e3f7fdbcd1a8f01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumPow True Passed
a26b4f6b57bb90af12db4796c55b45c564fdcc17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumPow False Passed
c71648a877c56e7d6d2a6da6692bdf068ef14d41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumGt True Passed
15e91e8cc27de778f3c4e61d5795fa939d95f570 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumGt False Passed
e459f4e95a71756b9b8f12360cbc8b1edc3cf10e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumGe True Passed
01f5f1dfdec8cc77a2ce8e2d1da010a5a925e3a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumGe False Passed
7b9746e52b8b566abc663dea2c9d896a642a1dbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumLt True Passed
33b31c9380bda5e3ae95c5783d72b4cdd7f61bb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumLt False Passed
5bf92bc1e00b4b91277f48e4f09c854f21c8b4c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumLe True Passed
c962f5b47fd67060b8f47e6af2ce2412f3155c6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumLe False Passed
c29a2a9da1bf47e3fe5e2f13e708f0e22e250f9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval DefFun True Passed
a36c528aa02d3656f3a4e59cf7e34b51906d0514 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval DefFun False Passed
f179f634997ed774e2fa90d87c2d9d6baebae878 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval LetDefFun True Passed
3e344c49b8f6e99c7a11e3b5ca4b25b19a348a8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval LetDefFun False Passed
e9d90b1107d361d37b8535aa6fca94ac17ba1861 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval DefFunRecursive True Passed
0c7098bb3b33b5311067c61b4821bf083cd9b538 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval DefFunRecursive False Passed
e57d0894e3f2412975eb058787d7d6885c737e2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval LetDefFunRecursive True Passed
3c3c0c3bf379e82bedc6ee004baa6ee2e80aa3c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval LetDefFunRecursive False Passed
244fbfa20f3922cb6f01610f2db67189a97497a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Def0 True Passed
65ca91c745392a53c13d0f9207091cb4d9c296ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Def0 False Passed
43070e92b0b4f3be8dd0257d5f458eae2f55c27d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval LetDef0 True Passed
ff34490f3b1d336bce93c47808699f5c5e8f041b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval LetDef0 False Passed
2b540e4d4dd75ac404e201b5e797af8eefb7f8fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Def1 True Passed
eb4574211c4d4f142719cc5e67459be27e98ec35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Def1 False Passed
7ae74d80d7aea16f3a7135bc8d505b0c286990d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval LetDef1 True Passed
fb78461faf0b8ade818cbe47729e127ad24e9a71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval LetDef1 False Passed
4a50126924f5ab079a367b9ccf00c36364aa28f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Def2 True Passed
76abdcfa6089b77954cc88c9643495af3e27fa83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Def2 False Passed
e41528083edf62359ecb930a4ebdb6209c3f7e5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval LetDef2 True Passed
84763d0fdf3fab14351053a47ac40ef69127bb94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval LetDef2 False Passed
9b4f359ec978eac0156d279770d6808e8e351e28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Def1Recursive True Passed
ced44b2cd987ef1174c3750525307933f12d3a7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Def1Recursive False Passed
93cdc925d818f847bebc00949c7969c02b81ab80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval LetDef1Recursive True Passed
1e2accb6e58fee01f67969d01375d37a298cf616 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval LetDef1Recursive False Passed
277178963ab53cf3147198121305fd44d32b9e6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Extends True Passed
a18ebc05b8e5ebc4a846044ec136c97f17214307 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Extends False Passed
00084bbcb1c2bd6fe1773dc9bf5cde3ce3421df8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval ExtendsInDifferentFolder True Passed
77100d5fe1a3a4b94c9b8d364d5f3786d84733d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval ExtendsInDifferentFolder False Passed
94bc5e2d9d3a83ee61166aab1ae5d5eb383c389b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Variable True Passed
eeccc3b96b2c7eb9c843df97b44a4f40c0ec68ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Variable False Passed
4adda23856b92040d126bc89a1a22eb45f310415 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Constant True Passed
b372736932502c8c1164291c697a2997878640de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Constant False Passed
07c812a9d2face9679f0da787f231e2f9787d967 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval ConstantRank1 True Passed
2a3aa4dd64e44207212dbb82f04ffaab1fce451a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval ConstantRank1 False Passed
7465a17321907ab7080bd67f58e3d83b66be77e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Instance True Passed
5c47f5f2bcd5971d97fd76caa2bfcb42a722936c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Instance False Passed
d4c71d15bb27063e8fee93418c7d8d18b5b5b5ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceWith True Passed
17f31ac729f50a8a650755c1668e50246056a36e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceWith False Passed
d1acadc33db52e8e44767b5e990d3ab54725126c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceNamed True Passed
4c463019af34ba9bc91835be97134e4a514faa1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceNamed False Passed
6d8faf033f690b063974333e925bb6ff97250073 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceNamedWith True Passed
cf5bc181bd8393efa98361c32603b7696f771ef9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceNamedWith False Passed
9e4f416569305095174042cb1e54ca6d3b465bb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceInFolder True Passed
570ca0aec420f8b691e8171404cfa5383c77eac0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceInFolder False Passed
679d08e8c24ccafee512d1bc435350fc2e5c2157 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceWithInFolder True Passed
70ac9fccce9891278d90a617659caf7858ed04d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceWithInFolder False Passed
bba4866a6c896e4288b9a1da7e78cbd878c90637 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceNamedInFolder True Passed
5f029eb5f4d79b0aa77e1ed15a98dce5f8987ee0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceNamedInFolder False Passed
e720c81155883a24ae87754c97f9bc2dc7d7bb2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceNamedWithInFolder True Passed
f6dc444b61515ed2e536115ef2ae0f92e12429ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceNamedWithInFolder False Passed
4ae9a1d21a5ed4bad880f23879eb0215c808db68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Enabled True Passed
1ca73c56d85706479a3af4225f3a4a9eb0b2a3c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Enabled False Passed
7d03e3ca1c7afb0cce67a86197aadb1de503ccc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Cross2 True Passed
d36e9c53c58023915a865a907b4327e7df517ead TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Cross2 False Passed
80ce644985f43832738cdf2ceb13ca416f50ac3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Cross3 True Passed
030e7304c1ce04dd8e0ea2aab62b16cd5d98371c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Cross3 False Passed
767b385aae3acd4d65903b60754dcdeccdaed052 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval FunSet True Passed
22326922a9eb9fb75e587377fb1778dd1131cb2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval FunSet False Passed
fe3d1e55918d76dc82004536e06bb2681558de15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval RecordSet True Passed
57bce11117c5b477578e4f45343cbacfa21b8bc9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval RecordSet False Passed
abbc0a1c4042664c517a0ebf661ba17d63042dce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SetDiff True Passed
906460c672fb6506e3cbb29c9db2f1b673f71f71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SetDiff False Passed
e792da34853a91ed32ab193240fa39e6b44eb7e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SetUnion True Passed
f909700a196d174acc1fc9c5722e409a448ad17d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SetUnion False Passed
a7bb7489448628a2d9db818008898c8337f22aab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SetIntersect True Passed
1512e50dc5e09325bacd58939c30fd5cbe5041af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SetIntersect False Passed
f6bb85cdf4f8901cd436ff98af3046f28c759a9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SubsetEq True Passed
5171ca348ba95aeaa886fc904129a9d60fb5ab1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SubsetEq False Passed
b0d0c1524ebce5b166d6c1159cfc7d04b60e0634 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval IfCond True Passed
deae79a8bf9858053dd146c8bf2f5dc2f4b4eb68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval IfCond False Passed
c47b5b53dde63a9b9370bf65a4d4aa7cdd9fbc40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval IfThen True Passed
a311fe20a3d6f33ee9e343c99f4b1572d0150d88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval IfThen False Passed
afdb5f12049a0c5cf6f7afd82752f6ed7c9a1c05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval IfElse True Passed
106992dcd0582a422b1d8686a5dff7c1e3ddac12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval IfElse False Passed
1bd11726aa8dff18dfdc67fcb52f37fceead59a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Subset True Passed
54d1a662f3ac21ea987b6fd4559024c0edc33890 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Subset False Passed
4960c9794f2384d176d37ea8b6b513c9131e56bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Domain True Passed
596a351749ed0abf3f1ace350bf10f553818097e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Domain False Passed
0465ca9b4032f145946c5a9b0b7f6f3db242a584 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Union True Passed
ab12a53a3bba0e2d84cbd5613a21a50127f88018 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Union False Passed
e0f08cc0a302e4fd0cfa450e5f9e7c0b73d3e0be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Unchanged True Passed
9cf3ed3f743219b200a1a91adec88402e912b97b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Unchanged False Passed
6c43a54e1a8a6e0be26a0b584f529904c2c34ff0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Equivalence True Passed
8adc372e51dec93010b27df436e09aead2123c40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Equivalence False Passed
ec99cefc2229749d08d608c0cae8ba094f4cd325 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval StringEmpty True Passed
1facfc0d7320d57da2584e425e0487a802be3292 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval StringEmpty False Passed
5e35e069bf738c4dc4ab4de274c08829d609b873 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval String True Passed
1f9798a7f4d43fc15836483601434427a3f6d4b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval String False Passed
6ca201599abcfa690ba25386062a684a137284d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqLen True Passed
a79954973e0a5f7dccd50e4dbc734e9f79dfd3be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqLen False Passed
a9f5ec53966ef5ccd4ef63b3fbdb54619c78c68c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqConcat True Passed
6759eb6d1b0a16572a903287ccc445d58e1efc77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqConcat False Passed
1c6fe105e19b5329ef1e182d48ac4485cee956f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqSelectSeq True Passed
736a0569df06da30e046748fe70124e5e9889f6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqSelectSeq False Passed
bafd179364e81af55430b8282fa097c710a38d5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqSubSeq True Passed
317db32e58a28830890df1bfd83a01bfedfd3197 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqSubSeq False Passed
956e4ff302dde56158bafa8a6965921690d15710 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumRange True Passed
b492588acdd2656a03bee0f2786280f27cdbdf3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumRange False Passed
445794ab6a4f6fa767628af649cf53d774127c6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TlcSingletonFun True Passed
5ab8c31bffe6781ca283841678b675453b22316d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TlcSingletonFun False Passed
bb4be61c8af44ead37089677f15cec19bc523abd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TlcExtendFun True Passed
ac7df85f2954b858ed24c4b49bb9e7eb77479b1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TlcExtendFun False Passed
f3df8c5a4636218a9a700e543f07c1160efd7208 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TlcPermuteFun True Passed
016a03d427445e58c8ce7c3c1b1cfe255f660bf0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TlcPermuteFun False Passed
786a296c421ceac86f15f5846a3bb044df8893ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TlcSortSeq True Passed
93d592a60bb32f2b2e13ed1c6013aac1728039aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TlcSortSeq False Passed
ff58d97e1b74a962551912ca2e6ba831a9ec79d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TlcEval True Passed
9d130f01e063f7382e69b5bd3883aae501778ee9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TlcEval False Passed
d8ac06f586dc7cf220ff574c758ddaf6ff0fefd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagToSet True Passed
7c489eb9b9ea59e48e74e9ed7ae51f078b08a38a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagToSet False Passed
a76e443d3202d95dc86f6cf552b698a6552f2c30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagSetToBag True Passed
32884be220cfd42c180168d096764c158177a6fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagSetToBag False Passed
dfe1f907a35edfd127baaa32265c9caeaaee2649 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagIn True Passed
8b31cd62a07cb68a5aacf9169bfc6157df5e95a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagIn False Passed
b264194c019f84a302eceb216b25d364bff36d19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagEmptyBag True Passed
fb35c6d9ed4e0069c0aef9358bfaffea7c001564 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagEmptyBag False Passed
1bac2885c7309c594b7a6717289760d257dcd488 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagAddBag True Passed
9aa25a5e2b4205fc83dee4e711b06679182761a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagAddBag False Passed
434e328d842f4f266ea8be56eb3b5b06d6c01bb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagSub True Passed
0c74f5633725ee0f9290c420d935e4c04f244249 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagSub False Passed
322e7f8c6ce5cd12dc85dcab6add033ff7b0e60e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagCopiesIn True Passed
8e38d4503b34710e884626e3a8261447bedd09ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagCopiesIn False Passed
32c4ff16bb7d490f1f586d0f345500f17939e079 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagSubsetEqBag True Passed
adda96a282071c354185f6a522581a1b7a6d19b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagSubsetEqBag False Passed
cd2f3d6ac65489042659e4c84c68fb447bec4e46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagUnion True Passed
9ca401fa32c6a9aca1e3ae3b1c3e13dd9e975e47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagUnion False Passed
01b6f2dfdfc5cd72d383c83ab8b349677e1c02f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagCardinality True Passed
22a977494e5392cce4c8b4ba3463af1782da1853 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagCardinality False Passed
48417fcb00b7144c3c81d4401a1baeef59004922 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagOfAll True Passed
0d577f2d7dc28a2fedeebc8d748a61a299f1018b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagOfAll False Passed
b0da536f82ca14f0a8da340520137929ca74fbe7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagSubBag True Passed
ee7371d8e96f21771755eb8a9c0b178896e99369 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagSubBag False Passed
9ee8946f3d3a4d9c483e92b14f06708a822369de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval FiniteSetsIsFiniteSet True Passed
86c4f02f6d130e63a226ef940bffd69d831c515f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval FiniteSetsIsFiniteSet False Passed
8bd077a67f564518a6a0253c58dd680a7c6a9bba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval FiniteSetsCardinality True Passed
4024dd3cc59666c27f4d2bdc677906136e0b15bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval FiniteSetsCardinality False Passed
0e6ae1cdcbdf798ca69b04278bc10417bf62e130 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqHead True Passed
fb7f98a3364173a25adae07cfd517ef830d7a592 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqHead False Passed
32606476cb4b44f1177a55a4fe63afb23e49c318 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqTail True Passed
45a22390d07db9c95756ee84725760cbfe3c960f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqTail False Passed
89fd9e694d1d4beaaf283e23d6ef689105c7045a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqAppend True Passed
db8830057d87b4419569a94d893aca9029cfdeb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqAppend False Passed