Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
dd81846ade725c8f483ae5dbcd807fbe7c2bfe37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne OneLineComment True Passed
df7f16ed01a4ab17f90e79e38b5a0d3aaadd7a4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne OneLineComment False Passed
3fba68681e20bf1af47cb08d26f1e5ae1900737e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne MultiLineComment True Passed
6cceb053461d286b2b20bdbcc3cbb19b855d5ae3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne MultiLineComment False Passed
f671ce6d4074e360880c11f4c77483443cb0dab4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BoolTrue True Passed
3e9fa2ff9a603f510e0ba746e08417a48ed55d4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BoolTrue False Passed
20f8c6af6be320355f62e3a4a72e92a7b9852880 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BoolFalse True Passed
c3b157aa371ae6f5d84021114c7f87f50438f0fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BoolFalse False Passed
fc701b011f0d5377944160b65bd6efe4d68b427f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BoolSet True Passed
e9fc061bd81b3aacdc056bd811b3577191cb1875 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BoolSet False Passed
f3e432837499383de29e070fe6b7d93d24aa7e6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne And True Passed
eff893eb4887d3bc8391df03d13829fc86b8c689 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne And False Passed
a7190d01e34e83e07aca4a921351c2c2df7793dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne AndMultiLine True Passed
065f049d7d7f14def29bbe97d0d25c5a84d317fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne AndMultiLine False Passed
c92a8ffdfb3e6b9cf519efcc4c194976039ce996 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Imply True Passed
200f43c340b0951a38c656062b3db1a5a5e292f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Imply False Passed
1ceaa44eac4947924b89f3db708a725eac7e944c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Not True Passed
9dec10dd438ef461db9db50869c2d81533227ef7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Not False Passed
aa945a47f7ed9a1968b6eed0b4186491b837cf8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Or True Passed
7324afcc587ba16cd9f204a9785f4c4bd3bbd247 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Or False Passed
dc2bf8302becb3b3a6763e8809762ec6f7691ded TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne OrMultiLine True Passed
18f103f2ba41452f7ffca7171604f0c0b3fbc1c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne OrMultiLine False Passed
c9573a9bf051e5ea2dd70b71dd1ae00b1152db65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Eq True Passed
d88995664f6494ef52c812fbaed4ecba80ad70e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Eq False Passed
7bdb64115277493eb373f876d0716afd77b4dbbb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Ne True Passed
0cbc29d2746fa312874c23fcbb546e95d8519ba9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Ne False Passed
cf11d9c43f5e6bdbd323aa6394e5f4313ebecf4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Let True Passed
9f2278bccfc8f8a7686f841a7dc9d8f4d2d85853 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Let False Passed
f447989d5b8b94d0b45d409e310ea99c6882e443 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SetEmpty True Passed
9396984a7d6181e0ec39b57362ba9d281272a56e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SetEmpty False Passed
c842a2cc3f69e634ea29f2f2577c15a55b46cd08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Set0 True Passed
1f181c968b9ae0371af4da7dec358de0066dfe05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Set0 False Passed
747dfb6c38db936cbda7dfcda729988abef733d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Set1 True Passed
629d4900f2d4052316c9e6103fb72b5112069c45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Set1 False Passed
fc1c1a9833c8a19a0b610f975eba4dd933770831 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Set2 True Passed
7392ba7d3ccc0c5764ad471c59867dc5788670cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Set2 False Passed
a2479a15087c13cf39dee47fb66b2c69e2c07cf0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Fun True Passed
181b2f08a56880e1ae88f7a08c80bcad5693e9bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Fun False Passed
d3c540a20a2049e50c0ceb5af03f6dc289eb79d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne In True Passed
ce39c2acfb9b42e078ca88e2fc3bd86733e1eea6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne In False Passed
465efad28c9df80f62b2a5a31fdd108044af4aaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NotIn True Passed
ca60ff9a96f4fe47c8650d62189dba246a70aa73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NotIn False Passed
ec72f7f30a3543f7519e4535fba5b3936dcbad9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Exists True Passed
d00d9f7793fde26c8f125d92b60038337c939770 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Exists False Passed
80e3fcba5a9d6656a2970e5bcb10e9b4da8c93ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Forall True Passed
09547a28c1978ab8ccc09e7b0a0aaccc9ccc7950 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Forall False Passed
2f858ff833a93b6a22201abae84d1e51fcaf2f28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Choose True Passed
66b021d4de9f395bc9ec2ea8a9f0497e598b2570 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Choose False Passed
0b2eb9ca7e31b3ab9cd1b107a97ca4f93bf71a30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Record True Passed
2ed3a1727c5f5dc430778e7a910db4367910fefb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Record False Passed
9ba013b249aaa6436a9048ca59a82ef9730166e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Tuple True Passed
171e6fc629b4570883de17fcca66f588feb149b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Tuple False Passed
fcefc5b3dc81fb76575bb9ae6439f577050c10dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TupleEmpty True Passed
bc6a31330c3cfbfad3c83cc1704e8c8194677ea1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TupleEmpty False Passed
97f19b3bdbbb26d6ba88f60bfc0dc1e59f2d5006 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne FunApp True Passed
2eac35023321d70b8d027f42311c2f60ed26acbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne FunApp False Passed
7af9c8384d3c7efbf4d75bf9224b6ac8d5bbad46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Prime True Passed
c103a1b112c26f3132bf53dddb728e355205d1e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Prime False Passed
84bd29560005cd9ec7b9cb9c5a04a975dfbba413 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumZero True Passed
ecfeb2c260107fcb280fbbf3b1f7b372ca168ac5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumZero False Passed
9bc1316f218fe2b017bde459f115d392f5e1bdfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumOne True Passed
ed79e201148a05ea16a28404863bd3953bbc7403 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumOne False Passed
36fee37988722aa68439e6d2cc0413af86848628 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumMaxInt True Passed
2ae4e4bd5b0ce513a947d13104f9ef4fd3756e2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumMaxInt False Passed
3ab9ab768b36b0aae47061033a2b974e8d351e1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumUnaryMinus True Passed
849731fbe1ad03affbcea222268654aa08d9e15f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumUnaryMinus False Passed
f5f51d9c6c93e051ba4fc9a8374acb968836742d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumPlus True Passed
593aabc92626e53291867f4876e149b9016ecdd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumPlus False Passed
d5674b1ad422ec4becc7170fd74256c869eaff99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumMinus True Passed
c73bc5e1870397fa42914c086791d96fe623e3dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumMinus False Passed
08f274a7e8e277e4264fc94c423cf7a515e6bfc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumMul True Passed
72b8a03b85fab2d46284dd2be5a3f0a72af69bae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumMul False Passed
2463c8a6e21938cb45768fdb46eebf2c1ac4537f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumDiv True Passed
72a5c42a70f9dae3fcfb9a666012e5b4166a9d10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumDiv False Passed
4f0c637dd7d47c2595502a218cfe792190a6c844 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumMod True Passed
ac1a47bda06f8e6539baf09519627245c0f18ad6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumMod False Passed
488a03f1032975ccd88ba8b21ba54dfe27969bb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumPow True Passed
25254ee6cb70a0109f737c72c3cf289b6b15fb9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumPow False Passed
2ac5b6f17efda603a503ad36306553645cf93120 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumGt True Passed
fd70c4c41cb9c5f0f1d99a441b8b62753d6967a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumGt False Passed
c963ac4ca021b40be4e0fbbcc5e55c5efc5d9285 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumGe True Passed
a720a03931747a3a975af56e4eca0dd09c11feca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumGe False Passed
2aa2cee033540a42b2f6e08eb239594d8304d2db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumLt True Passed
75a51e781fddf522c1ba15577d826745ace7e1d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumLt False Passed
f3fff1a52a188fe42754c62aba05a26d9512d5c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumLe True Passed
dc27ba1e3306c0c957bc9bc7427bdf495999c235 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumLe False Passed
ad96a24ca2edd7a2ddfc6585762ebd8929adc47f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne DefFun True Passed
41d5b1b9c3af531f59bd5398a89c9d9a79d5aa16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne DefFun False Passed
da6d7e0dab1b6b8219e3f38215d851819e6eeb1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne LetDefFun True Passed
3bbb9ee69197f04c51726a8c3456445d815707dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne LetDefFun False Passed
38339f86cedaa0508301982a2c8edb29f8d4c704 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne DefFunRecursive True Passed
dcc1e3426309cc9db6b361565c0be2d25faf4a7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne DefFunRecursive False Passed
9d95f088a175ea76222ab8d9e686562071e004f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne LetDefFunRecursive True Passed
551b089ae41bf59b8d981ad86d3abc62e6acc6b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne LetDefFunRecursive False Passed
ae896d64df6587d322a97a8097e6c5f9d7b936b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Def0 True Passed
06160236d3215ab1ec6d353e158083172f32093e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Def0 False Passed
99007e452c410ad4d803e9c7fa9f4d8d0793ddb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne LetDef0 True Passed
b2e15489025bb4075750739cf6e213fa1a952914 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne LetDef0 False Passed
ff692f8b776007e2dddf126249cb1c78d3fa0d6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Def1 True Passed
0c4e68e0cd2bb2a046476482996ff5ac39b9cda3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Def1 False Passed
802ea038208e6e9c7f4e7cb3db6c455a7ee02774 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne LetDef1 True Passed
db86d3e28369a7b4f5cd813f4d7c8738d9a19609 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne LetDef1 False Passed
947927e669aabd37ff16f6f398d3867167b76ce8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Def2 True Passed
8f089c942f2e7daef233b0f3801f05e39ddc92f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Def2 False Passed
3e569dddf60e3fc1fe6c2a5e85f99da056b6630c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne LetDef2 True Passed
bae216b687ef9e4568d2a8d855dbd16c3a3ff61c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne LetDef2 False Passed
1aac3d105d0692f766714f151b53a33de36e315f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Def1Recursive True Passed
e6cf9d599f99db8746ab05e606d938c4422a7c84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Def1Recursive False Passed
d037adb42b5d07f1cab69835b7f67b520cc960da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne LetDef1Recursive True Passed
648d3a2a0f0cac9011c2d742a303ca242cde7988 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne LetDef1Recursive False Passed
ea474333dc25b4fe1a9b93e7599052b5a71174af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Extends True Passed
f28c9d9450585cdcb68d1d7afbda3f43d547e093 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Extends False Passed
a31300133a81621767dffc6cd3461a1864df1da4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne ExtendsInDifferentFolder True Passed
adaa461e521e0a89dcb01133530a7c98033dfe7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne ExtendsInDifferentFolder False Passed
6284fa491bde6d1a00ceeb556edd866217234a39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Variable True Passed
2c58c5a68f63323600b09a1f4fce27cea96e0e7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Variable False Passed
604e7362b760553761ff109e163232c92e75c655 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Constant True Passed
7a00533332ac0aa0318018cdb56640da0624a362 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Constant False Passed
6cc5c5a1f72d26cc5b3e953e67b542f25e4e93ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne ConstantModelValue True Passed
701a6b2d7bfc6b08b912e981b1463a2ab6af0b74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne ConstantModelValue False Passed
1a49a28355bb02ac8282c1b8d9537fcccf7046f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne ConstantRank1 True Passed
d7686aeb022a07be49ab28b14c7b868e5eb25ea7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne ConstantRank1 False Passed
74024a06d845695d422e79e78c5f2a7091fdfb30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Instance True Passed
2f041bec252a93268ff0b0e8b40a5c3d58ecd767 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Instance False Passed
33bc0c6e07529709543949bb75678db8491fa1be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceWith True Passed
c07f9c405d9e0641742b9889b4bf077ba1119d14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceWith False Passed
b74a6eb828c0cb7a3c64b18387d708b985427c3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceNamed True Passed
52c7d6e6bed9891e786a62ec315912cc0652b7fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceNamed False Passed
5ab1ce136cebd6668aa65853d165211c27be896e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceNamedWith True Passed
30b68090e161195b13e6bb1ca03aed314f5d8cd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceNamedWith False Passed
053fb1e03a916904691ecbd4fcfdad1e3c0f4f86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceInFolder True Passed
e3706b3e1982303f6ecd638a0869bb1d1cb7340c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceInFolder False Passed
e1629791981c1407e3ae211f264b184426384ab3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceWithInFolder True Passed
0688a7f526735620e97ee7f1113817732ed895d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceWithInFolder False Passed
2bb776ee3f53d18b0d734d903c8b61845e188895 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceNamedInFolder True Passed
b93348ffdde2ac49cd4a0f9213436817839358f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceNamedInFolder False Passed
5a88b87991a124f6719441c8b51cebd98d86150c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceNamedWithInFolder True Passed
35814a70addddbe4c1ee878a7090abd6718116b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceNamedWithInFolder False Passed
72e36159b0da83d4c910249c34b30a42b4c38abd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Enabled True Passed
4fd9413c41513bdeb486e276bfda682c891b5b2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Enabled False Passed
6f7afa4a1e24d4662f97a5c8e0eccdec0b240b09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Cross2 True Passed
5104c8dc3e0823978934f66d6a4d1e1b83a8bdfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Cross2 False Passed
849493e9de04b4e7b1304b62e9aa87eaafd14add TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Cross3 True Passed
6a92ece594ac55bae2c8a04342a5f2b8a39fec61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Cross3 False Passed
427956d42209cdd485d713252a083e1ca8e64cc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne FunSet True Passed
59050bfaae28e7ca15445a8fbe5b440c124e1836 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne FunSet False Passed
2924ea13f8370a32708c281819a2f4e5f04654b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne RecordSet True Passed
d00ed13aa7bde9c1968241b21ba9a4bba4747e61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne RecordSet False Passed
b8fbe1acf10989092e3dcc2f62ab711a25f2a330 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SetDiff True Passed
199f29bbb2d7148f746a04a30154357bee85a253 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SetDiff False Passed
cc0532cfa027a675c859e1d0ea69f54127178c43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SetUnion True Passed
a501bf1952b3a452cb72446b5180cb2e928efc14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SetUnion False Passed
d2d3636826374388b924d6f49e9355c76c3578a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SetIntersect True Passed
412f7e33119ec120a830a109ab2d8065249a88f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SetIntersect False Passed
1f0d3678e6d1e49b9187884911b2c5d0dc64e2ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SubsetEq True Passed
1b7929d745406c8fea865c8985f827b42db253a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SubsetEq False Passed
fc6a37205688d24b034c40555c3e6928717693ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne IfCond True Passed
d3c2836082af6bc972ac470495f9ff1278fe66a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne IfCond False Passed
8b97b4ceafa622296e59733ad4ede4f356aa218f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne IfThen True Passed
33e17369161b492b24316026bce48e703f06ebc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne IfThen False Passed
35800a62a69f915a66954cba2d712c187e199c0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne IfElse True Passed
d37dcce596ba69562fd8eb4bd61f2bd1103b25cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne IfElse False Passed
a3b4c5f2f8ae9948a6da534ad41cbde8c56e662a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Subset True Passed
87a4e7c005e97e6a662afce00c7ddb65a0bb641d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Subset False Passed
9c6d68d06848422d50aa84fe979a3127c0c38052 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Domain True Passed
7b518cc5b7eab4853f2010e7e1b25c32abfec500 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Domain False Passed
7875e8f3f11426aca6a0153fcccbe4c2e0c771c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Union True Passed
573d283396983ec0d50a1a182471c04d1d7f78e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Union False Passed
19cb29276f36b0029d98aa73f16306bc51a4ee0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Unchanged True Passed
c91af0b9f0b096764261847938a6d80214bc2e77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Unchanged False Passed
591a30db1d66e479f001afa1f81f5f11d95fc8e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Equivalence True Passed
f1b175e1b47017150a26cc12e6f155019e9c9767 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Equivalence False Passed
0a9a4a7085b8143ab14081dd645727509fc291af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne StringEmpty True Passed
3180a038768a078400a1ff24230d8ff0d1388549 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne StringEmpty False Passed
1da0d69ca724379e8f6fecf51a9bb996d6951b39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne String True Passed
d32cf8a11e8c2e47ee6fa323cb308945936268e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne String False Passed
8513e093672f08103e8fbcd5558efc7f16273228 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqLen True Passed
6a94478245f99c8235eb886872b5516e06add7f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqLen False Passed
21b95e0b5fc6f231a0d91c3b0b004a62069af38b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqConcat True Passed
70caa2f308f68e7c351ff9ad4d8afbdce0ce5e07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqConcat False Passed
e82c96e6f75976c2accb149a6f4e626130389449 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqSelectSeq True Passed
bc1764edef9ae9cc208476fcaff879a4e6c43fe5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqSelectSeq False Passed
27e9c7d972a0a41f11b19eb1cb25af6406e918c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqSubSeq True Passed
7839c864c090dce0f9ad78ecce97abf12f0b6f76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqSubSeq False Passed
3ef18b6d13a7c76b93cbd7961f976625ea17978f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumRange True Passed
5ca2ca4f3d462bfe4c005772297a2d2231a22f03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumRange False Passed
72f662d22876adee43bb757884fd19967ff22533 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TlcSingletonFun True Passed
1c87099805b16034d4306b3b146214837d825e3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TlcSingletonFun False Passed
3680e2313a68b1e87a43f62e28ebb67b56669b34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TlcExtendFun True Passed
7068e20d58ee8a5fb43be7d94f7084b1bdf80943 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TlcExtendFun False Passed
eaec3a73f12f90e2b1fbf8af265260110f0b41ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TlcPermuteFun True Passed
b9a7219a5984dd493da258fa9852839afc546956 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TlcPermuteFun False Passed
a4f583115e6abcabdffb17d2f68d0aa20bf93ec7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TlcSortSeq True Passed
4e421725dc1fe033ef53874421d7e88f8797bed5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TlcSortSeq False Passed
ce38650b94e97f08ac4092330f98a9b095077e22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TlcEval True Passed
a4cbfa178af9570e8e0750fbfced95cb881a85ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TlcEval False Passed
12218548f6c1943bb48d306d0cdcb3abe7c9a504 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagToSet True Passed
15d211df0d3de53fcd1b3710876df4ac99d34634 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagToSet False Passed
3bf72c6db1e02eb61d80b9a732c767ef004a6bb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagSetToBag True Passed
e555dc092dd88c2471a9bc8ccbdbe5f98e9e719c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagSetToBag False Passed
8605512974740ce8efc9dc720deb158a2a29d872 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagIn True Passed
7b6ed7e96646820de194f8f4f50fd179ea13b1b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagIn False Passed
b4ec425ba28744012f050e91762e9e3d418fe1d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagEmptyBag True Passed
a65486a56f9e80ed953d1eee726029a2c3f18e68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagEmptyBag False Passed
5a0564ce069605d83b0707b86d15a01d6a3a4e12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagAddBag True Passed
9baf5a21efca4b5d7f95f56dd062983dbef9b56d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagAddBag False Passed
fa16e06148c09811242283bfc3c9d15c2924442a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagSub True Passed
8720550acfa646a94ab7b92d2166d9d64c06c8cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagSub False Passed
26e49b0fb649bee96321548e60c73dd41e1dc55a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagCopiesIn True Passed
acb629e2e80ca45b06f3a257c0eecf9bc28089f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagCopiesIn False Passed
32a711035378891a527f679560d25fd525fd3b8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagSubsetEqBag True Passed
505b1476a52d02a98e472e2313e363710efa4350 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagSubsetEqBag False Passed
2c217f8ca333159a1b383d557dc2cfa6a279e597 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagUnion True Passed
49252ecabfc9cb694a686aa47de374def1d219b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagUnion False Passed
69113958970bfcdd5da7f10fc7f4db2090dc69e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagCardinality True Passed
033723a345fccd8de2657694760053b5561bd133 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagCardinality False Passed
1e1379044257386cb201763b2c618a18fbeb4b98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagOfAll True Passed
c13827b61fe10dc4bcd28abd03c80da3b7ee935c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagOfAll False Passed
00a513697af5af0cde8a34c807d91802b7a85a4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagSubBag True Passed
c181d1a68846b1b677a97f320ff96ef70df41077 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagSubBag False Passed
ba7affec78c192bef04976363a806f4f0d666fc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne FiniteSetsIsFiniteSet True Passed
1c28dee483ded6236e1453a5f4867f364eee3493 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne FiniteSetsIsFiniteSet False Passed
0fb3c4513616be1a2bdae4e4a671c596f765b7bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne FiniteSetsCardinality True Passed
5086e88b4bde79ceca7c3597c5fdf92001774583 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne FiniteSetsCardinality False Passed
8fd942513c67058cc7ccd724e3e31194ed890d5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqHead True Passed
34e5e4921489bbf959f4ea45309f34b4645d945f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqHead False Passed
af950202024d8178cf5f6008c0bcdca95f80adba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqTail True Passed
1431f602a226e6b29e8e0b0bed60729f56cd85de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqTail False Passed
8cda5ec023885f170b663ca7a99c472724b9ef40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqAppend True Passed
702edf91dc6b6e45886441c726d16df1c40b72a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqAppend False Passed