Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e3d39948d0805e259231982f3679f8a3448f0b5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne OneLineComment True Passed
6d12eaaa50934c98dbc9198c8e8c3dab1654a17a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne OneLineComment False Passed
51a4dcfe3da6605cf43c202cdad7114f1ba4788e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne MultiLineComment True Passed
15116d6adcd3c02537eb65f66371b8661f951039 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne MultiLineComment False Passed
d3d339e2701ce81236f2c1acbd3a05a16eed425c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BoolTrue True Passed
eec8608626b3c87fa4b62db8ffd07a9637d6f6e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BoolTrue False Passed
46f6fb1a5ae63e33200f5cdfa8286bf9cef402f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BoolFalse True Passed
017caaf95c56f03248f6a31b9bce56313d316f17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BoolFalse False Passed
28270ebcce0c1564ad9cb6941e8642afb8759620 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BoolSet True Passed
20a478df0c4e99e0c954630f176084305aeb12d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BoolSet False Passed
5f0ee90079688197d9e7489f1b8443792a5b7f43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne And True Passed
b2f5f29f8a5de947cc203e233e8bff851e306480 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne And False Passed
dff61ea7c20a632c0b62557387fdfe8b76323e09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne AndMultiLine True Passed
c802e91a3cc0532fc08608d0cec01b31def01d9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne AndMultiLine False Passed
001ec89373541f0f8e7252c8e10269b03097a160 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Imply True Passed
144b42af538cb4a7c6a31d802105fa94eccfa07f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Imply False Passed
2b4007536d7dc1ad888403f1fd05cb450559e618 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Not True Passed
b5655437566d74771ca107dac6f21801baff4ed8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Not False Passed
720bed61556595e64da653187ee7464dfba1e0d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Or True Passed
7bcb738cceca3aebd0665fcfe5760b89dd2f1971 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Or False Passed
dc0180c9d459e3b7ea15d12eab670020e0e39499 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne OrMultiLine True Passed
d91a668f4a11ba4b262c25e5983c42aa831b0c58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne OrMultiLine False Passed
1c3e82c86ab953afd57b52952bf8b71e56b1d113 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Eq True Passed
c0fcb5f764bbddc972ca7588bfa2071a0a1efb5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Eq False Passed
499ee28ded473f839973c9766757e6ab076b3728 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Ne True Passed
c15c8ee96a0e1b4c0bb02a7c381ba7436742f1fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Ne False Passed
5c17331a5aa90cf3f331bf190f3be7d034e5c6b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Let True Passed
4ec73f36631cbf15c6174e9d0986fb339d59b215 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Let False Passed
be627b3d544a90ce55bbf0968dba49c238db3dfa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SetEmpty True Passed
afbcefcdb62a6de68cfcbf8eef4320369d0de3e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SetEmpty False Passed
41c00df99002190a223484f3c9432800cdc4da23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Set0 True Passed
796c5492dd00bf1ca628ee0c642ee00b134856c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Set0 False Passed
a2006c1cd8fb0145feeafedf87fd2a461fabc7bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Set1 True Passed
d122e72d7fe0e4e1f24443f81fef1afc602c6b26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Set1 False Passed
f717449018907bf4aef6223e15b9ae83af52e894 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Set2 True Passed
113f5edaa4cd9750acc915a8b62a5a174874c263 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Set2 False Passed
e1907fadb8908ac8a373c535571a3b3ae0de13ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Fun True Passed
7109bba737da1191d7ea5c005cf5757a27b528c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Fun False Passed
0938fb735f9d7a4d43662c09941d51802ebe4754 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne In True Passed
dea4c84d31de504c7cdfc3b0c785742673b7a47c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne In False Passed
3943138f78547c081749c112aa4645f12ca315fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NotIn True Passed
8ce900e17e741d2caea5db6d2968bbe593808bdb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NotIn False Passed
7bf588c4b5c67db00f3b01922acfbcc59cadfb2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Exists True Passed
5836ec70a1d9f849a1768d2dff8b35f722d0b193 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Exists False Passed
ea3d8cc38dd7e0f2a5fb1c75ce9a7d68a62aaca7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Forall True Passed
f365cfcc8653ab4f22e9d8e1e4f69b7fb7bec5d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Forall False Passed
d7fb7dd3c033ae393ecea63a2017e4ece7a8ac7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Choose True Passed
2efa70f82322a4b433f3cdbb46e5fbf39013573c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Choose False Passed
e1d2fec7740c9b3054c0fa5dc62c95ad2fd95373 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Record True Passed
3f5803add20eb0dce87cd4f9f2bb3fd06778bda4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Record False Passed
13a6bc0155f71a24dbab836bcde7dc6c46955bad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Tuple True Passed
efbc18a4ae15e617089f1276a41588dc18ffd8a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Tuple False Passed
4c37f7a4d65c42f95d37c64dfe902f3444fc00c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TupleEmpty True Passed
80a0824cfa3bde6a6fa564669c8b52f9664711f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TupleEmpty False Passed
332cf1789217fb0b9f58202fc50b0791e1a7fb7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne FunApp True Passed
49b480768f474ea7d9821b400d8a994074f91ea4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne FunApp False Passed
c819651dacb24896e956940f83b757a95f4e3954 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Prime True Passed
0d43dc9a7c9d9006df93273dffb7c235efa766f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Prime False Passed
e4e4547e762c0afd2c4cf00c47354d365593b061 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumZero True Passed
1db32864920d82848b22c5d9da5ed0d2d2411384 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumZero False Passed
4007e6cdbb5ade56d449287fdb11878502d73987 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumOne True Passed
ce9acc012912e901f183026ab9bc7344c5e587b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumOne False Passed
835ead4c721c3b13339855c1e42b7ef0eebcd1e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumMaxInt True Passed
461b5ec416331afa02506d14f43355d60198c64e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumMaxInt False Passed
1808842842e9a0c19cf4a3c26db6b7c256a1ee15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumUnaryMinus True Passed
1ba75d25d8895dc99f00fea2adf61c7365833850 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumUnaryMinus False Passed
50ba3f32b9f187c08db4d741ee1581b3706653a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumPlus True Passed
9352dd52986c910772151714169020ece6d17b62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumPlus False Passed
dee8fc344ae8befa4dcb89520f323b95b4d2fb8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumMinus True Passed
8bdaeff94ffe46516bc90301c844eb249c9462c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumMinus False Passed
38ac1842da10dec242a8cba0ecc20c931c2cf386 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumMul True Passed
c7d9678859265856751a60e537d27437917f2f6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumMul False Passed
8d9cd9f2abce651025af41af9af9b0ace43e45f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumDiv True Passed
237dd51a34b61685377c0b48caeefd04ce63be1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumDiv False Passed
afeb85d61887af573a437803088e72732b60dbc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumMod True Passed
4adf15baea19ba1c6fcf588fc482a8e870d58ce3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumMod False Passed
1b040e69af7cc62b662b5540efcf1c131ff65ab9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumPow True Passed
d055229b6da5940e22846130d26695dbef767451 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumPow False Passed
79e6d09ee6ba6d84eec3c74acea328480427beca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumGt True Passed
1035721d351230ff1887ddc69a4f6d4625608482 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumGt False Passed
f16dce513c82500e1061834c3647cdd0a5a43ace TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumGe True Passed
9b70bb81dcab20c773ba409b0b291124b0d05239 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumGe False Passed
08717b0d2dd3ecab443500038789279b6a466e91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumLt True Passed
43a030fe44c06b539f09c1a5c81524469f85e38e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumLt False Passed
972182fb265046d9d9e57412dfc7f6c3a404b907 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumLe True Passed
e8d6d4513d13b38823350476d0cf92d6fb49bee7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumLe False Passed
ed6dcaebfe29e77ddf95b9a5d3bf3cfda693e15c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne DefFun True Passed
10b66bcd08e7afe6f9575580fea308f000c89b4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne DefFun False Passed
21f194baadceab85f0412624e2c5ec5490a45300 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne LetDefFun True Passed
d25d43e746d0e72fde8f586e8ae6ca987ee66509 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne LetDefFun False Passed
72d8f76810e984d06451345c95f0919892c0b554 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne DefFunRecursive True Passed
e728e23a5989907e9d74abd4cbbba5158f8010f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne DefFunRecursive False Passed
3519d4f7b8dfb3af0bfaa868fbda2e1f5e27406f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne LetDefFunRecursive True Passed
bbb2924d55a2fde90dca6d48207ddf3a14d7095d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne LetDefFunRecursive False Passed
dabbee8cc9e4e1c26556fb3c6cd43a779dc5c721 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Def0 True Passed
9b2500cecda8dc67df3e51251fa5ce33142120a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Def0 False Passed
a515eaff53871e23d77b436632ba3c35ffff7553 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne LetDef0 True Passed
4078e5f660db05b623a0b753ac177fa50047ecff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne LetDef0 False Passed
f57633b3444617d723dcf20224c1f97cc1b6fbc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Def1 True Passed
eab46843827aad18c20995a009e72a2a343e411d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Def1 False Passed
c1ba0451822f6e59ce41b128960868bf228975f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne LetDef1 True Passed
09351704369c045bb4b6d64ad7e4d1925c3cd3cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne LetDef1 False Passed
ed2e373b133a88b1587ee505723301d0157d46b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Def2 True Passed
b57ad396a31d8671ef187ccb6a419f70824bd0cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Def2 False Passed
89c0f0eb4f62d36b9b33f8b2cc55ae03c9dc3f87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne LetDef2 True Passed
96c9a42734a6f4cbd6dc0ed8b81aac2c56ead492 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne LetDef2 False Passed
df93ffc081f7371c6e93c3fd5389814397222407 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Def1Recursive True Passed
c6fda47526563a229b6acf4d4165ec9b6b753df7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Def1Recursive False Passed
be2e3c5a6eea9273d369a7d1c63f94075465414e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne LetDef1Recursive True Passed
f9952cb4ca1dd8f3ede5ef4b9907b05fdf8857c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne LetDef1Recursive False Passed
2b66c1f0163b54622fa2926d60b038cc22e5c2b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Extends True Passed
894e4eaaf7c005a4a1c4375b9753b5c9583e5c76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Extends False Passed
8d22c0657ecc6bbee440bf28f7edbab05f60872d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne ExtendsInDifferentFolder True Passed
90aa19d5dd2b665768dea88965df003ee566f45f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne ExtendsInDifferentFolder False Passed
ad22ccbceeae0d5d3bcaab5baec196c5272a4138 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Variable True Passed
61f3774db7773b05f032b875486b9c3d0f73734e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Variable False Passed
81a42ce8b4a2aba52eaf4703d0ebd153425e4c04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Constant True Passed
9fa9edcd5219e90d21a4a91352f5c7bf2cf67cfd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Constant False Passed
6f881a45f8234c0172f6d5f8bc665f3330e4243b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne ConstantModelValue True Passed
fe91df64d05029b8a0aa22d20056ed0546e286f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne ConstantModelValue False Passed
4bd6bae03d45eebf2842ada94b93cfb83f0de24f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne ConstantRank1 True Passed
101ab20825c828aef2e58c9f0058127f62df3284 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne ConstantRank1 False Passed
e754ebadef744d2ab4fc69e761db406174ee34bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Instance True Passed
81181d41035a55b86ffe7a8832ca094faf4594df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Instance False Passed
6a7568d63d24764480e628839acebc28b8700e3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceWith True Passed
147793121a0b09434adab76624a2680f6bfea1c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceWith False Passed
8c0810b1ee5764b3b773142db394d8cfb2e77fe4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceNamed True Passed
f755d324143f7e28b593dc08a5625c1e8000a2d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceNamed False Passed
7a000eb76b739397160e544eb9b9fb54e401540d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceNamedWith True Passed
569210f1ab55b594864485f197e2f552598f13c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceNamedWith False Passed
ccab5055338384e4d588f29424c421d4ca1b1049 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceInFolder True Passed
81a206be88256c1f8febd59a9f8b5db46c811853 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceInFolder False Passed
d86abafd421838268fc4e2fe243aeb355b3a10bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceWithInFolder True Passed
a12192895730dcdbfc3d25e61ad392058e02cc03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceWithInFolder False Passed
59e633d531cfb700c4371a11693662d9e0bc0607 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceNamedInFolder True Passed
219732e1b04477024c09724170f23fec9981ccec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceNamedInFolder False Passed
3e0b1e3e16e5f1f27db79501a6081d6146ce7693 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceNamedWithInFolder True Passed
8440b78ce9bb19ad1e68b35e6ac47177b18367ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceNamedWithInFolder False Passed
9c8c463152f691896012b959166de63c2998575e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Enabled True Passed
86b8bdb5c47e41ef7c6bf6586314551a1c0c4455 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Enabled False Passed
bfc585afb92774d93abfa1ef6e5e65e7e8b0c6de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Cross2 True Passed
7c4bbb10799c099706e20d14a5cff2e3e2de49ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Cross2 False Passed
08e10230ee2ce61881e77361c8bdac9a06e99349 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Cross3 True Passed
be91370c17ea58a66ce17b051f512416631640e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Cross3 False Passed
c60b0e40cf3243916a5f4d2accc0a83dc20e15d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne FunSet True Passed
3d07dde4edd0c8c04d792f83617c1fd3701c5e8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne FunSet False Passed
9d54c15b7473eb9ced2e5da50ed5827d7e697fe9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne RecordSet True Passed
d39aa6e549cdfda98417972f76570e241f8855ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne RecordSet False Passed
fd1cc3e4c3c9a1cd708523ad804be7229913e7d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SetDiff True Passed
1e67247b09a22da2fb7a5a4458de067dcc79ae8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SetDiff False Passed
a55ef6888b53f647567d052a2705bb557cd1a0d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SetUnion True Passed
c02238a8a1f58090d6ef7cde385d6066f34838ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SetUnion False Passed
787168d5911943470d671b3842520c85a10949b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SetIntersect True Passed
d7923b5394df07568c3d3ad4684eb91d9676fa32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SetIntersect False Passed
3cf7f2f6dbf6c9af852ee384186435c3acaa2ebe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SubsetEq True Passed
d5f4fc605708a4a75375af090dc3953b8c5723c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SubsetEq False Passed
d350aca74bb198b8bf1e090927ccd3107c4c7712 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne IfCond True Passed
080b688d5b1bd66373890c41c53d42514edb67ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne IfCond False Passed
dd64eb3f93847bf016e56dad4a5f822f13054df5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne IfThen True Passed
076f32da6691071a0bc8239634ef6c28f5ed2692 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne IfThen False Passed
7154254e0c535b77b7f114c03464bd2d4cbd2e86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne IfElse True Passed
2fd8127414be58de631b0eb6ef172900dd02feaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne IfElse False Passed
f8713ec87b52c9613ec240813c64e3867195a039 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Subset True Passed
87a1af44dd2afce12a4bcacd869cfc90f3b189ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Subset False Passed
918262125582a59a93317ba15452107b1bd236d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Domain True Passed
20ff949d45809233da8a640b96e33c55a8c012b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Domain False Passed
d4225c5fbc09db5d1eabeed4c4f41078ed349a7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Union True Passed
fc86f09198f36a043564b3820bfd763ff8fb8b8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Union False Passed
98d60e049a65f8c7bc84f360da48932c0bc6756f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Unchanged True Passed
ab8798399782cfb23a67f0b6f9a301ebfaa4f792 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Unchanged False Passed
14fb7e076d22c131647830ccade06bf204b18da8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Equivalence True Passed
b429ad6e33bba61324acdbda4a32596d4d04b934 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Equivalence False Passed
7b4ba32ef373fa10d4a00859456a449c4a180089 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne StringEmpty True Passed
2607e8787a2fe76f55db40182ee636a8d504c1b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne StringEmpty False Passed
1221d735a57b302adebe51e7b360e63840910f1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne String True Passed
1ac8177855beacf2a015ec14db895834757fbd43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne String False Passed
82d6c7015418ce92f7203adcd8daa7c0e6f90a70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqLen True Passed
44d76374aa144807cf49c2732a6110bd0ff4e190 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqLen False Passed
e62c81df1eb2e06e8748e092b73487eddb47a2ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqConcat True Passed
7de2a6d184d8bb398f4590854749687e3d455eb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqConcat False Passed
4c6c7555911eccd3355c0e0ac943675def11e285 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqSelectSeq True Passed
fd65540c6245a6eed54d804306114e05fa2069d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqSelectSeq False Passed
35c6a951ec0075d89a0e1de331d26b2c88f6e6d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqSubSeq True Passed
05c8ba2c5cf57faa924fcf10b6cc3220cf941cc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqSubSeq False Passed
1881c5f27bba749c5b44d33fc4235294a5da5f65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumRange True Passed
81567d0b7033bd3cd45ae4cfcd3d344515b384ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumRange False Passed
4cb44612d79a9f0c189d0ed42ac8702e707af44e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TlcSingletonFun True Passed
acb778e8e3934639bc32a605ccc9e07195276256 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TlcSingletonFun False Passed
28a5a4375ca253ab7960f0069e6436ec84ae4a96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TlcExtendFun True Passed
24344eb0f95e7fc8c2d5ce60cc61b385c90d24df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TlcExtendFun False Passed
7a880bbe14b360fdba945396ce2b4778daf0677c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TlcPermuteFun True Passed
36c2b9969f7f2f51f8b22e6ce6c1185bd6f95626 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TlcPermuteFun False Passed
932205fb220f212c4d25c1ddcbcaf2adabfe10c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TlcSortSeq True Passed
fd9fb44aa3ad803b1ae130b3f794d5636261aa9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TlcSortSeq False Passed
377ce9d28d77f8318b590b8af6b3337a766a3cab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TlcEval True Passed
f28a9c2bdd1fd234ef139260ca01136b46b13107 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TlcEval False Passed
e700fc957902510eeb9657484fd57a4e13937453 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagToSet True Passed
868df851f834711ea5de9e95aa30194fee27f4a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagToSet False Passed
ca657f2c25c16f5d58993a9c9a7c7aacb936c3ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagSetToBag True Passed
a711512902830d6336355834fcc45e3fbb638d88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagSetToBag False Passed
a7ddd7be57b09bfe2d506b975c2ae71237030a9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagIn True Passed
537b9aaa0557ffc61cef5407f68676f9b548dbb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagIn False Passed
b0448d52a37593b01ebbd8f9e7b2f3d908b75f15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagEmptyBag True Passed
4c655f94d6ae4201a574dfed9f0fd7d5ca0201f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagEmptyBag False Passed
62b5d82d2fe919c307cac05899ee7e1c89131393 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagAddBag True Passed
00de0a0525bac3de7d104899cbcee8e93ab5bd48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagAddBag False Passed
9dc8d7b5c174b71fd1022e33778b0bc7772b905b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagSub True Passed
d053f145148562f1c065768c520e6c1205f317c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagSub False Passed
98fb504a270df171096dcc566092048acf3a2021 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagCopiesIn True Passed
606484b33522a3f9c38ac32a1b333ec91721b0a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagCopiesIn False Passed
e9fb9124f3798725d7b64fbaa37a78eec8b2a43e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagSubsetEqBag True Passed
7a551e38f4195f9db456ac2dd1fe38930f5d11ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagSubsetEqBag False Passed
bcf0bd78d7b55817ab91cdb2392dcfce06cfeebd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagUnion True Passed
d4eee404d07ecacca4cb97b844fe648caebeab5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagUnion False Passed
8b285b71dcb3d73dd1aa4367736402f3f2ce2ef2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagCardinality True Passed
e821409938904792a621520549c1597ea15fa369 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagCardinality False Passed
a854caef3f951925bcc7622995eb9b6662f6a41b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagOfAll True Passed
ab185f171d474d0b6d591c8f976ace1f6dfccb91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagOfAll False Passed
bab16862f30a466fdefb01d1b70c2fc115c858ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagSubBag True Passed
d3c336b3bf6ec60baaebc62d1535c842500acb24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagSubBag False Passed
084049158d3eecc0d0251a6047c23a6d8ba6465b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne FiniteSetsIsFiniteSet True Passed
b3853b8a6634b0c9a72d4fd9dc5289fadc96864a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne FiniteSetsIsFiniteSet False Passed
9bed82922a44db39fa7ab08e21cd95a0090fc18a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne FiniteSetsCardinality True Passed
7293ad464d0bb579873211c95c43949b4b2b4c19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne FiniteSetsCardinality False Passed
498ee4a7c757340d989441d5b5aed75ae5ffa3e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqHead True Passed
25c9286b0d268b5be1e8b64213a5cb65f67702a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqHead False Passed
bf91ad52ef0cd30d5aacfa98fc5dcbcaf14891f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqTail True Passed
5c68d6dfb1320b4771b3d4458fd25281416751fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqTail False Passed
9b048d49924361d549d7abbf8b4a53aa4a574bfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqAppend True Passed
e68966c9a7f2932b020cdb67a1a7c9bcc00a7846 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqAppend False Passed