Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
34d47518a7d136afcea3438ad9467a3fc8021b7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 OneLineComment True Passed
5d4cc265d7a13d44863fb3a1f0583a3b83f970d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 OneLineComment False Passed
e59a305a9a767a02f363390c671999186c907c56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 MultiLineComment True Passed
4029cb7bb686152d39049ca7ccf32f5f2b0e1f86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 MultiLineComment False Passed
0fc6c7f1f493569c6877774593d126c96012fd09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BoolTrue True Passed
dafbdcec99783db130f05dcf77ef8ceb81d006d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BoolTrue False Passed
90e4b8d1adcc08abd02972854c23e2b03701cb8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BoolFalse True Passed
df17dc01f56e962c85f258d4dc1254adbdbbd993 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BoolFalse False Passed
e82270de2041b3147f2e39f9ec8b03c6988658db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BoolSet True Passed
a77054a27178ec2497b6a116feb47a0227b5578e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BoolSet False Passed
8c6a0ef13aeef0c520d8085990c51c692d134af9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 And True Passed
02c933f31138d91c2e14a20c5891863157313f06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 And False Passed
fdf8db886d9e0226b358b5498526a5fef0da9467 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 AndMultiLine True Passed
9aecd26f88ee853a6f30fff427456d8c3f43a1f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 AndMultiLine False Passed
4f735c97446451b322056da15b5978b4a18bb459 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Imply True Passed
36ff2fc3460f95a2b66743844917cdd048a3c34f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Imply False Passed
118e0f3602c9572af1ad1ccf30ef5d8657c67d59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Not True Passed
b87e0ddb994a769774a852ad736410f4d4d33e98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Not False Passed
7c920741a83738b0a3b53d8bfbb537af5a088677 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Or True Passed
ffa06312b485b90f602dfca9310ef7158896f4dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Or False Passed
f99af055f9ddfd99380d6fe9f41e019311a4dab0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 OrMultiLine True Passed
42f2dba49ab95695d0bf44359605866d058462e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 OrMultiLine False Passed
48c72c26a8d46d8c2ee7ca329f689bfda737baf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Eq True Passed
437df0deda640ee55c099846ffab0ee85946229f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Eq False Passed
f8ba57d8183e5dadf66d1eb182f4cc594b9cc5c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Ne True Passed
5357420457c440a8fc72346ec08d6a804d4ab35c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Ne False Passed
bc7404bc70b9235740077145eab0efdc4ced5a1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Let True Passed
a0b27b6bb99e007549ae84f8062773bdc7d641a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Let False Passed
354be2a3a5ad9a2e012d2d3fb57c56abb30e2ccb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SetEmpty True Passed
2e8a3e3390d7769769e6abe09138025432d5b4eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SetEmpty False Passed
2e947c236b9a78b18444fa39f54c1d74058d07d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Set0 True Passed
24568a6267cb6ed3eaccbc9f2fb0c2c530c5d66d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Set0 False Passed
439234adffe61dfcada885ac73ff0a3eea78cc14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Set1 True Passed
fffca15322ad476d05a5d259e51911ad4ce52ce1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Set1 False Passed
594fcb6244784950bbdf8c3abb75d19fb41ee8d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Set2 True Passed
ad5545440548cbbe1083af9f033dd5ce0ca5b5a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Set2 False Passed
aca0258c3a85716785e68d2ff0a9036403a2a356 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Fun True Passed
2e65f7c0ede8360a800823f161230568e8401d54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Fun False Passed
18d9c121147bf0bf0ada6b0512bc91bdbcd8f09b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 In True Passed
58a31e332084d93ba7553306cc051d24db95a899 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 In False Passed
64670cf9596958baff370983e802490a033746dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NotIn True Passed
f0dac87b4d1c9292d45d71afedc345b0476dd1cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NotIn False Passed
be2eb8d9163bc6d0e4b7294219d60f2541a1d9d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Exists True Passed
c562a540cab9f1274987d155a8b84479db927811 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Exists False Passed
8de1876695b4895028a3dde58c7b4129e9ba8063 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Forall True Passed
dd56e49deb2fe1fab2a2773f92000430b0989f05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Forall False Passed
07dd3860d7e5439aa80778cb9ac35e9a95fb33a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Choose True Passed
4112b56d91a7c84978fa54cfe4d6e83fa8481c18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Choose False Passed
b065640e8e02890c46c32731737bbc3fc8f15ee4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Record True Passed
8d86e5e0c15bcbbb291e5aba37ae3d1379cedbd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Record False Passed
2bc3022aa915b672f1a5f781a354f684055e28e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Tuple True Passed
124b88320538f92ea50d7fbe4d1f3f471959eac2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Tuple False Passed
042e9df632557b644796ec568639f48dcff38484 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TupleEmpty True Passed
d8029337ef5ded08da0a36018d09d15bac691fff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TupleEmpty False Passed
d2f4d9eb6a1a1f1d5ce4a4b69d8e6711c0607595 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 FunApp True Passed
1c62cf3e74bc8365cfd7591f1bf40953a525e38a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 FunApp False Passed
41047fe5981f77877e629c1d0ab5d567f63a1f87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumZero True Passed
ce4b0d83789a3d7bf0909f21e00c87ec97540bc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumZero False Passed
f41fa0804d7ae01300228908961406ef3dc39bb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumOne True Passed
28ff5f7a37d63a6434bcd2414f161050f85ec54b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumOne False Passed
a7d67b9d29c7b4a22e91229596da5d56c929d789 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumMaxInt True Passed
eff728332cacd8c709956c7e1f39be6aaabd4275 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumMaxInt False Passed
84893939a41dedab11d0a8581cdf725ce4f3d92f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumUnaryMinus True Passed
4abc3fb2db84004014c9fdc88c33c5d77f4d0415 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumUnaryMinus False Passed
531b3eb33099c9d0baba1d2da39ddbb9b10f7998 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumPlus True Passed
6eb836a8bee6ef95905d87da8e5eb2053887d1de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumPlus False Passed
eac98440eaddf9e58ec9a6df3ecaf8d2203eae1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumMinus True Passed
f22c18a1c7f8a4780dc7e607a0c3467a501554c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumMinus False Passed
f1059eae550f3f6bb9e4caf33eddb71c121cda2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumMul True Passed
ea38acde6564783395d6b05fa810530bb6df1ba7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumMul False Passed
49856f6b4c66e943b448ad3e47cd1c6b13868591 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumDiv True Passed
ca16d706ae065869796759c9a4a06562569eebd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumDiv False Passed
edda03739a89420a93ea144e2d863480c8a79cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumMod True Passed
b8d370c6eacf9c200aeeea11091fe975c20751a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumMod False Passed
65460539988e52b5b32d331686e31bd5656404c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumPow True Passed
e98e4730618e52ce736272a3a873edab54c44840 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumPow False Passed
cb9334659dcab3147a406420a95609165e442b4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumGt True Passed
d80c75cda3ecf4d410d28fba693ac96ef41e498a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumGt False Passed
46b60171e5895531c21eab7d7650d42619a47fa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumGe True Passed
dcf9e0c99ec2fc65facbdd1b254470f92b901bd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumGe False Passed
80833e700f0e38f72d4096e63231f471e08f0d9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumLt True Passed
06d757308f8c924880f73307de6060b6eee7659b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumLt False Passed
a73528f74ba67f2ebfcf7e37018256a0a1f5553c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumLe True Passed
23e3594f11546122fcbc076434ac52c263f90cb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumLe False Passed
9a29ec9ca86d4bf6397b2701d892c448a9b6b0fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 DefFun True Passed
7b45f6faa4533b865695e7ca4e13f657510a297d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 DefFun False Passed
233bdd5a7fd5ea7035869e0d5270ee684824923c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 LetDefFun True Passed
59004f3755a267e2ab05adf6d90dcff90cfae775 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 LetDefFun False Passed
c096ecc33d15dbe2ccbb95339e19908a67d061b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 DefFunRecursive True Passed
1310ba64cb485e839bc761a3be9da46ccb15b699 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 DefFunRecursive False Passed
488d05550b1adee511271b0ff0cfa640116d1883 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 LetDefFunRecursive True Passed
e8b52fa7880e21b1d776e0ed4bdb0ab59b30508b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 LetDefFunRecursive False Passed
2de80fa09f25eb61f53c395cadcf124ca648bda8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Def0 True Passed
e1d0ec09d64709c34589a55e3a57a5611193e2d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Def0 False Passed
6291fe92c6da416fbe65a64aa55b11afd78a5edc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 LetDef0 True Passed
598493b3693839eb95a7be3b9c02230168f9c0ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 LetDef0 False Passed
e201d0e3a29a8f615bd73758166cfe61e1cb8e2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Def1 True Passed
e7f46ddf06dd39d518c17e511db00a7e4f8a4eb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Def1 False Passed
0c8b36374e76e3ce48fbd3fd89bb9c4216289bc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 LetDef1 True Passed
cd2578576ca21bb9d474c2ddaa52011788beb9bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 LetDef1 False Passed
b04fa1c996f006b37e58de9b19e7cd20fe469090 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Def2 True Passed
dc1b59f62786a65f89e1c70027d16284ced84fdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Def2 False Passed
1adca7724ca074e25648dd32dd2b7a1ffe564481 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 LetDef2 True Passed
3a0c9f0a1fb15f2f03e2d5232d0ef63c369d8131 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 LetDef2 False Passed
d50d14d5035105567ce62fecf45fe3f6be2b19ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Def1Recursive True Passed
880ba838d8a46af535896c85b70c426fc5434422 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Def1Recursive False Passed
9fc70e6eb33f9ac74d060e46aa4aeb6853504f5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 LetDef1Recursive True Passed
b698a55e0837296701dedacb762f80e46a99a6e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 LetDef1Recursive False Passed
f9d636345c2ba599025272e3ede976dc2cfe66be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Extends True Passed
8112cc417f8967124d71fad9aa3d205a481a7155 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Extends False Passed
17b0d061d46e43de6f96707d4b0c5cf00c9ec5a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 ExtendsInDifferentFolder True Passed
265ee0381cf7dfea979c8dee79cfd2aafdc9ce0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 ExtendsInDifferentFolder False Passed
69564987e335d498bcc0537067be83497d73b35e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Constant True Passed
f837b94893e1f835cff6a98ab11e34093ed7d88f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Constant False Passed
d82ff9f23e00117950de814cf93d947803fb8cbb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 ConstantModelValue True Passed
be07abf2738770f2fde34da26c421a7937d9fbc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 ConstantModelValue False Passed
31721973c085d19e115c4c964e8dedc3e47b962d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 ConstantRank1 True Passed
7da4abeba58183cb8b772ca8e9efde40c97ce5db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 ConstantRank1 False Passed
68934e691ae11a0f666f8549cdf63849c649a642 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Instance True Passed
ac1331c27b2ef543104f1b0320e77075d3b629f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Instance False Passed
b66bbbdbe9bb5490ebe302aade924dc801e39718 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceWith True Passed
58d748971ac289f1b852f05ced9d17be589d8704 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceWith False Passed
18577d6113a0a0854c1e70b1fe56b346b8b4e5c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceNamed True Passed
75cb43637214f45bf904a330a4c6979a4f0ba606 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceNamed False Passed
f5b705b0d1ddd4675bd808760ff11850a15ad603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceNamedWith True Passed
aa2c88f4a2bb493af3d09002c3c0ed1d37a8e1eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceNamedWith False Passed
f65181ee108da0894e377d3147494c7e8cb2badf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceInFolder True Passed
0da98662bc411d35d37badbbc1d2793b24e9dda9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceInFolder False Passed
ab8242a168fdccd106e2894d3f7fa48f0b86ff97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceWithInFolder True Passed
02718392994951416e391cf7000aec51cc989c89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceWithInFolder False Passed
0a3cbb028eac01cdc68813aac2ccca6d7057458e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceNamedInFolder True Passed
d009037c305e3c4e8f13674cf71a334b434737e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceNamedInFolder False Passed
6f9965658b7e57b62b62ea678cbc3c74a5c853cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceNamedWithInFolder True Passed
032cb2a45aea5f2cdf928694a979589c8389692c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceNamedWithInFolder False Passed
2ab93ec1a584dddf69707b5de12da6e55e6ca8d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Cross2 True Passed
a6d92cfb28781f5b75affed4ee7d2b976212bd54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Cross2 False Passed
484b555ab4955d997dcdf52820f90e01913392fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Cross3 True Passed
5b5132dfcdebe2ee730233b066b9ace7cc1cef88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Cross3 False Passed
d79623304f29aeed4b59d62f7a4af08498b3a72e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 FunSet True Passed
a8b9c9b2939b842a890001b8ce3c4e0828f12832 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 FunSet False Passed
15a492614a2f111d9b1e94449d455af8474f09cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 RecordSet True Passed
1cfd6c22e396e084b0adc188adcbcff2d8f470bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 RecordSet False Passed
1f8c8208b6e41e3959d84f2fde63d3bee607132a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SetDiff True Passed
8667d95cead04d71862264a1e5353609c8a177a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SetDiff False Passed
44bea61abdd63273b226f94e0da35f054b2055c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SetUnion True Passed
a75844ea49987959b06867897c4a396b11b6df39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SetUnion False Passed
b54d1ea7b0bfc57ca109e3d424a3cfb2557371df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SetIntersect True Passed
0332985308a99c127c1f5f1bcf94689c897f4025 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SetIntersect False Passed
d6e1cf630b1a6df0e454a1d6d89a9acf46c49756 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SubsetEq True Passed
e22e0f7c0bb43b8ced766ab989eb5eba074bf71f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SubsetEq False Passed
9377452e51acf5f937b22cbd27659ea931f3b5e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 IfCond True Passed
9400823b1f2eba042eeac46b3979eede6b93fa6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 IfCond False Passed
6d15d55afc2273c903a6beb5403ecc3f19d07e49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 IfThen True Passed
afa0550806a8b510a0f65ea9ec100067667c5eea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 IfThen False Passed
470a71a0a34fe4a0b74900df8ba1a6d217ee6792 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 IfElse True Passed
3bbc2f7391c8cc8b204d92e8da9835f3d290ab62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 IfElse False Passed
70679c5c3e5401d669a61d2e6072a71055758c61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Subset True Passed
a461814f51a31f4e39336188220dab817b6826ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Subset False Passed
d223552ce699f58c8e4690feb823c00c1867913f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Domain True Passed
6b9def32ad31c2ea68e979d4127b1e0772bf49b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Domain False Passed
c7b36e58d01b79489f8fb5415deb04657b698d33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Union True Passed
e5792232c8c24ec19d0e7ac206a2af3da4254c0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Union False Passed
39b158537285e409c681d9773331a357457fc5cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Equivalence True Passed
1aacb2363d30182a38aa4ffee2dca7e794693c2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Equivalence False Passed
6cf9dd055755283b134c33ca13b5da007048c4e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 StringEmpty True Passed
5cd1c0de310f8847b66eee6f2ca9c72cd7fde2ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 StringEmpty False Passed
3f5b6d7121a1f79bea4e4c2e932ec4b8df6833a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 String True Passed
c49bafdca9492eaf5d4b71a8931526e2a247f229 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 String False Passed
9f337c52f56d1e39d7853a055c41cbe659be3b88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqLen True Passed
7e8633e9045a72513668ffcf312075ad87a59a3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqLen False Passed
fe63d0fef3725d423bfdf7d733503d3b14e080b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqConcat True Passed
1d444a648ab7ccb7ed332be38244f5521b86dd29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqConcat False Passed
7024f50506f67d33f6802356b5f811e62a11162a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqSelectSeq True Passed
72d6ff0216ed73f38ae48fb422d5de2ccadb1767 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqSelectSeq False Passed
e1e2b4d2f756ac53c1a423d7536fc74db06f7dfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqSubSeq True Passed
6aa77a7d281b32a7307fce4f23d5c98e165048eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqSubSeq False Passed
5c9c33139b92cff32ebf498b9649166c54790b46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumRange True Passed
6c4fb938361c6333a6a1f1dbf991553a10b18e03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumRange False Passed
cc3c23dfb9ee92847eeba47abb666fb3c30cf196 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TlcSingletonFun True Passed
a0ffffa0c3854dc65f2309cdb27175be186b5e5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TlcSingletonFun False Passed
e6621d29e724c6cf7586fe669e6e257dfc203809 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TlcExtendFun True Passed
03518cf940d3e349ecc8b292f37c94f698d967ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TlcExtendFun False Passed
bb9a9cf4133238a4f7d0ef9adfa1d0d4b0fd53b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TlcPermuteFun True Passed
f72657a3ca42a50849cff50c09b21096c2fd894b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TlcPermuteFun False Passed
c2cbd6f76bf986e740b07467b6d7647787373d23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TlcSortSeq True Passed
0412f76aae332e3be17752b40685169bd6370e60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TlcSortSeq False Passed
e5645eee8f75d9f5127ed94412958149c83fb465 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TlcEval True Passed
40c05b65d71ad12ec37899e4fe020a8b69114a5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TlcEval False Passed
41f83365b794a4ea2eb5f5a86fc046bbe04edf33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagToSet True Passed
2e2965c2b96b291fbd8e75cd331b58822f519547 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagToSet False Passed
0d2010477f8e7984ae956b2cb3e0a15f93ce2445 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagSetToBag True Passed
874736387fba0c0db5006605ecdb8259b76c6749 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagSetToBag False Passed
61f157cda80fabe78661cca7ecf886379b3fda0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagIn True Passed
0d895775ce213878522945c1a0bd077a7c6caa37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagIn False Passed
3ac896a8e7a1c0100dd74fbb5dc7f3ba57210019 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagEmptyBag True Passed
c1dcddca4d43ce4dc96cbdfd3b69abb67d1e6346 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagEmptyBag False Passed
d069e142eab7252a568894b0dddb2ba8079970f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagAddBag True Passed
edcc9b8df9fde4b18c01888d5d20261e0de9c39b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagAddBag False Passed
2d28a911e22ff88ef15b4726774b8730bfb6203e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagSub True Passed
be55b31e607f946e9496439b4ff1c3bbc1f009a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagSub False Passed
3e92e8935156a2ea581a238caf768bca261ce7e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagCopiesIn True Passed
82bbe53728e43177ade3528e73bc00450f797212 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagCopiesIn False Passed
4a762815544b724d35bc747e55d7806a61ce85b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagSubsetEqBag True Passed
b39607c1b4093233d3412ddc44f43952ef0ee1fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagSubsetEqBag False Passed
03d3e094225f03bcbdc6a727396a67e20f8316ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagUnion True Passed
0742d693ac55090e8863c753815364dc40f5d095 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagUnion False Passed
d0b8d14aa6b67501d35e2899767216f450efdb22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagCardinality True Passed
a46a99c95e369f2c6110e1892499b1555f7c5757 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagCardinality False Passed
c79abfc28eedd6daf0357d729c5dc3988b51fc56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagOfAll True Passed
3a2812432797a6b7344b3aefb4af9da21d922715 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagOfAll False Passed
e4c67e75f94e4eccebead878eb4734e3b3ba74a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagSubBag True Passed
2b7330dd64b70a65db789184a37196259f066429 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagSubBag False Passed
e5427ccb2d95a2bb8aa74074da273475e7df77de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 FiniteSetsIsFiniteSet True Passed
25d7edcd6473b85afafd202c56ff3d10498b9c21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 FiniteSetsIsFiniteSet False Passed
b417ae0306c00854674109d95c15e2e3b06a19a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 FiniteSetsCardinality True Passed
de3e5996bd74733a9c15f156f153552a3fbe0c53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 FiniteSetsCardinality False Passed
61369db072b470023696c030fd5c61d1d190ba0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqHead True Passed
46ebe79a7f14264c13879fc8f6abad42c318f75b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqHead False Passed
ef1fe54663e51fc1df651f946fa5de1dbcd773f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqTail True Passed
a75aeb1caa4b07945598169c1530380b389c9c32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqTail False Passed
2589bdd0694f2bcec53b32eca6f9ab1f97a961ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqAppend True Passed
4970ed19c947d4a35536fdfb14dc2ae2300e4abd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqAppend False Passed