Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
2150ca082e2b2343735fce3b94ad3867a2c04f1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let OneLineComment True Passed
5791d826ba2fadc43396798dbe19147523cb24f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let OneLineComment False Passed
c026f0c5f31ed41d4f0204cf179124161d9944f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let MultiLineComment True Passed
0983abc42864543857a890f23366a8e4e0ed9fe6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let MultiLineComment False Passed
51bc1792ea26f6ca015de54ce60f65d2b4bc13db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BoolTrue True Passed
a2282f7bb439272582954d4224f353628e7a6279 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BoolTrue False Passed
f41884e342f1307100bde97c7b5a34fb94d1734f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BoolFalse True Passed
7a9707c18231c7f196bfc1f513bfc4c2ddaecb30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BoolFalse False Passed
98b094ef2100cdd357e8afb31a80c4dae4e326e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BoolSet True Passed
0826f0ae3463bd53c5d60c9b22f17d58278f95ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BoolSet False Passed
606fee067baa6729dab2b8a262c124ac8f3d990a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let And True Passed
4f8fa7b11b974f8e5c4a1704f4e10930b8f3395c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let And False Passed
8e1154db17085d257b48150d188676b867fcac5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let AndMultiLine True Passed
b17db5d227f4b59624663eab4405dee53add5d2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let AndMultiLine False Passed
12cc65ea42af22df57c579eef0bb87bc82a537f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Imply True Passed
b06850cefc2d842d18bffcd85eeefd15a9c8d214 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Imply False Passed
6831b625bcbeffc1cafc7c1963c47fba0cec249b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Not True Passed
4101ec5e4fb9196168f43120aeb285be191b7fd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Not False Passed
dd1a40595a7913f4cb7d37809832a2da3ed80309 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Or True Passed
db42bb9869712f76916da047206120fa1b57b3a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Or False Passed
1bc286b1a917da5a657315b7e9256f86f20f0db3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let OrMultiLine True Passed
bbbf6171e5922bc35c319c7e768c44db1a6a6b4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let OrMultiLine False Passed
737df35636c5caf579ca79200d8a19046f666821 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Eq True Passed
2deb2be38e7d4a94315552b47cb1379db85e826a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Eq False Passed
de008c70d985596fcec6d58268ad7ac86a458e17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Ne True Passed
07b11af8bc928a1bca9da9818dff4961169214c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Ne False Passed
0ebadd897752047e59b68e0f6f1b94ca539c6643 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Let True Passed
2e3bf97ec350a3911b4eafd99c435a2d42b59401 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Let False Passed
029595ee34f4788bfba59c3f07bbe2f09d374c4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SetEmpty True Passed
83117f11d1a02ac344aa7d63c09500e512172fee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SetEmpty False Passed
54bc8d35e799ba8b2e456cd556c39b5ff19fa4c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Set0 True Passed
b2111e04f0cd7c7abeab29bdb40468ae8a3d7de2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Set0 False Passed
e406d1206c5f227c1e64bcd61f6b6c92a2d60cc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Set1 True Passed
ba1ae9161b554bbe31b012f4e45943165af94f0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Set1 False Passed
c8f98954ea10f6baa9996d47ec0e94f77903a009 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Set2 True Passed
e2de77dfb5ba71dbbda8f90303e8a9951cc3ea0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Set2 False Passed
7c9150f7b7ac1f1d78d3926c8b0ee45e224e32ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Fun True Passed
ed0b76c336f1383ed1c491b66f426a5c4c6dd295 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Fun False Passed
1ae725c63d516f1e1276a82bd489e54bcd72afc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let In True Passed
632e407a23db9d39e5a15a15a809c7880fef6546 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let In False Passed
f2ee6fffb26c8b89eaf588020bb48050b3932049 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NotIn True Passed
975e6de064e26d0e3a565e38391a1d20e0d9c612 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NotIn False Passed
64c9d8c7621527a1b52457ef08f53a612893c226 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Exists True Passed
9a1985a60e686e4c50398145ebf72b405357d41e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Exists False Passed
24e07a86183d4f36eadaaa16e0f0bfc1125eff3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Forall True Passed
2814452ee5237f83c8126b0a6abcf893670ff356 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Forall False Passed
02021ae99650ab6cddb1eb7e0389cdacf98d235a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Choose True Passed
5fe48128380cf02f0c259943c1ab44a78e2b940a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Choose False Passed
2a5346e7951724ec75aa0068543477b41fbccfc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Record True Passed
a68f2b4ff539bd62f9e68ee041a7b35fa41ec092 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Record False Passed
7a72c25df30603cd6c9ffddfa1c2d89d1d27619d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Tuple True Passed
aeba51f2a3ad724e57b669ca787ff61f43566729 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Tuple False Passed
881c092f25a78623bd6ac4c206579549d887808d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TupleEmpty True Passed
58f0b01216c6f84016b6c934310853f226d284ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TupleEmpty False Passed
a819fb42efe3d8dea4d34a2a507e42f75e8a28e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let FunApp True Passed
e93cd2ea115f70226f55c6231069d585356d3dd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let FunApp False Passed
753c2c5d0551adace54ff94cf81fe88db092ca4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Prime True Passed
78a43829ebedbfb796b8a269f80394e53f14c746 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Prime False Passed
5b89f0eab1efb1a92695c392e7fdd85f8799ed0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumZero True Passed
9029f4f3d08c8120f878eac9f0ba998a41277a05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumZero False Passed
947316dc81fafc17627415c98503dd88c2004dbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumOne True Passed
166082f823e545a3dc3893f8a5315a71c62154e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumOne False Passed
c12bfb90638adddac80d93c07812a04257c905c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumMaxInt True Passed
9a281a4b156a1468ffc61ba2c53de3c75b79224d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumMaxInt False Passed
815695030ee93217509f9eacfb2dc1cfb1f99567 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumUnaryMinus True Passed
4e2deec0aab8dd5ac5dda57012fa7ce27a33f57e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumUnaryMinus False Passed
6114e52292dd99f15ffbef0323af9ed819610b9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumPlus True Passed
74fe247b1eed6a83f93030f7d72a4f044e9ac6de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumPlus False Passed
7713a3521f10cec56fb7543b69719f71cb922c0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumMinus True Passed
1001d6e5a36c0163b30bdbdd897391b8a4946c64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumMinus False Passed
8a5f337c53a18ad9137f095219f42ce60ceb2e9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumMul True Passed
a481890ee170777f11a9734b2341f41deebe672b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumMul False Passed
0b753b9f3abfc9428f123482d9ff1cfa7c93e15b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumDiv True Passed
26bcbfd53ce89fc22f1b81f67f266e9b1d1234b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumDiv False Passed
b9e8544be835d96a8bc3728cad30742d9670ac9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumMod True Passed
7f17bfdf44a43fc16c5be4efd9f08983bf469c33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumMod False Passed
b448617cb39067a88cf0115c1e2b168cbc0d8a74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumPow True Passed
3e848425faa5a042399fedf016a695c2c73e476e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumPow False Passed
772e91f06b5ef22d1574095854ad0ebaa651753f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumGt True Passed
dc8e6f1c9ff6872b26302ab8d3728e783b484b7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumGt False Passed
a5f7585f7a234e855a35dc83acbbdb495660cc55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumGe True Passed
c0aa97279f2a36e535244f5b513917eebb6dea79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumGe False Passed
03521f7b878c85fbd5f7f851c1f1df4cb87e2ed3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumLt True Passed
c9465d92dc8c04bfe28a31a12a3ff3d71784dca2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumLt False Passed
da3df5032894b132d8a3a67df097bbd8507f9b4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumLe True Passed
81a5e4ff6c4f13b5b12a7277fa37aa4959b535dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumLe False Passed
365ea6e9cd94556c9fadf8aacde8d34144f1a27b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let DefFun True Passed
e0c89007a1ab76916da5e24101b844d1a83edaba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let DefFun False Passed
df7484f517ab993a744dcd0a2052b5af7b5af075 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let LetDefFun True Passed
e04fa67d477d136efdd11c6634137f98906bb940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let LetDefFun False Passed
2c968345e91cea0aed585777c6de5fb05bf08cd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let DefFunRecursive True Passed
67f5846f21aedd4f6ed839d431d650dd3624b7c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let DefFunRecursive False Passed
b74f9e9a194170f532e06f85bb8b9f81c951fb1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let LetDefFunRecursive True Passed
ed41df6ea8fd533930897ad5cfa646e2cb2aed37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let LetDefFunRecursive False Passed
d18c82169178b7b09737528124e6edd3b493eafc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Def0 True Passed
28b5fe536afb83adbc1913e25b146dbd16664cbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Def0 False Passed
76980afce80f9040e9fbf7ba1c3c2d3122f662a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let LetDef0 True Passed
2c5b4e42f23546e8f70a9bb8792a3360dcaa433e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let LetDef0 False Passed
c3120b7f81e3a0ea08f335cb2341cf79b209fecd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Def1 True Passed
f75d6668a10b084eae7e70c20687f1ff5f6282fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Def1 False Passed
9e194c4cb21e683342b88a3513d134cee20f9e99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let LetDef1 True Passed
2ec3c20a77eac22c19efa9be84af6818b24bdb95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let LetDef1 False Passed
66c26434b4dde4703297a9c9f48fd1be394d397e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Def2 True Passed
3cbc248958c2bcce5bd4878ad929e3885e753a11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Def2 False Passed
09c2eb20504d8b684b0cb48384ca7f461447fa02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let LetDef2 True Passed
8b8037b104f0135aed15d30fd94265c37d656035 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let LetDef2 False Passed
e033cf3caa1babd921ed15d36946aa32ea9da94d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Def1Recursive True Passed
fe9c0d94858f79021cc39543fdc3570e168f8b23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Def1Recursive False Passed
8bfd9e7d994fe59bc6d092ba342aa22f952bc7c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let LetDef1Recursive True Passed
bc3d315aae3875dce7329b5b5ef38edbb10f0ec7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let LetDef1Recursive False Passed
9b86d174c56eb2c39d0f25027a1b62f48c0f5a0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Extends True Passed
23037bdd260d62728df158bc05982dc2068ac880 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Extends False Passed
5c9564c16550bcacac4142d44c208f6229b3f41d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let ExtendsInDifferentFolder True Passed
f4376ad2be14a5fb88d9fd00c273c1d2f5029820 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let ExtendsInDifferentFolder False Passed
e7d89e2f1d2e1f46ec3ec65b1ab3614d38e15871 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Variable True Passed
cf6418e905efb0b9af0a85773dfe52daa8e1d6eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Variable False Passed
86e9aaaaeee46695f5d5f2153a4787998364eeeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Constant True Passed
ffbd0cb0ee90b339962cc5aaa503034ea99b12cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Constant False Passed
a47828e6679033656f2d390c6a840594fdb8a22a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let ConstantModelValue True Passed
c8bf6d9831edbe5bc8a17b1ff627ad94e5ea156d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let ConstantModelValue False Passed
11b7fcf2ff3b2037d4e84b16c01244c69485c9f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let ConstantRank1 True Passed
14222ec7c202165e8cade937ea0c112baba7d4f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let ConstantRank1 False Passed
1a7431b319afb45b53a8557fdf777db80fb878c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Instance True Passed
3feeaa8a03c2baf0ded6794ad25bd8af7040bbba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Instance False Passed
94a514b2f645a0c4e6eb62de619437e750ebcda2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceWith True Passed
2672efb8a1666b6eb9c81dd41c726e19ecc8dabf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceWith False Passed
d34e2cbe7e44e887180a93ca8eac80654d3fd40f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceNamed True Passed
7bf2296bdb10bb8dc29bf193a67dbb3db089401e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceNamed False Passed
e507ef52cb1ece1c06ac8e9760aa3dcff60159df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceNamedWith True Passed
0c8b42b0b736566e631c4bea94848be57633331e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceNamedWith False Passed
a81a6393d1b4df09255318f6cdb0d0226ae3eebc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceInFolder True Passed
501e09a8d3114945ce13d32343edf43d895bb58f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceInFolder False Passed
056937a4e9b3171e5674b0f8808e654a237070b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceWithInFolder True Passed
9c8ec43363b25508a9c731723b3ca8d7e20a135a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceWithInFolder False Passed
a478740971415ebb16d1fd4cb040f1ee705c4d24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceNamedInFolder True Passed
6c5019470668a26b61a7027c4b3cdc61d77c2933 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceNamedInFolder False Passed
9ae2d23361fc1563f28512a9d7ac006db9345bc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceNamedWithInFolder True Passed
90572bf0267911b46f1e263319feb9658753750d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceNamedWithInFolder False Passed
a23c2dcac7849498cf2a85b913c481a3ea00f20f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Enabled True Passed
2782b083e57f6b36f3d6ddbf2e35b2623e87c52f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Enabled False Passed
0b290b7a381e4d7eee3aa959877b9e1763afdb51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Cross2 True Passed
d41eb3da38b0602bb83a8a094d5453a5db70dea0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Cross2 False Passed
809ebeec93822b340902b0982dec5f8179e11d68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Cross3 True Passed
8c72e9a8f964673f7b0ef9217e949435b5328efe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Cross3 False Passed
208b023fb7808d42fb29147fcdbb132adcb678fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let FunSet True Passed
87d0db0b3b4e713d188364cc4f9fe836a7b36066 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let FunSet False Passed
73b6c71d6abeaef328a6847b51bcc1f629684dc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let RecordSet True Passed
af3e4aa64f790f2b139cff0982d209760e6e019e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let RecordSet False Passed
eaab4c7e78642372eac73c96573d2b484c085b76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SetDiff True Passed
47de646c0b579608d829c49636ed402a98f9c756 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SetDiff False Passed
32c524277b7d1cf352b6e395182f75667ead874a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SetUnion True Passed
b6bfc60143d8a865d940544ea3d4fea3b3da1008 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SetUnion False Passed
a9b0b2cd05ac3bfb3ff4dee3e8ad1940e8931e3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SetIntersect True Passed
8ac8aba0b0a002bbb7761004958922f151b46372 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SetIntersect False Passed
7ca466d15e1532433784dd8cb0858a08cab625f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SubsetEq True Passed
1dcba842e60073b2b19b730c6c6545a4833d3822 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SubsetEq False Passed
3950f8a4b65fe550084cd998b9c2255e96fdccf5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let IfCond True Passed
87a600c524718f3b0c86a891af57ab9477d2b2df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let IfCond False Passed
4e822c0686e1309c19a7263cd9e5b6080e8bfd7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let IfThen True Passed
ca1f903bde01ce69a48e6729f9f79ea08db5cff3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let IfThen False Passed
530f033f27207e4235324e86cdc1d11df854574a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let IfElse True Passed
12d12e456d1d40d26b1f5eaf4e98b03b3e7c0588 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let IfElse False Passed
7cf094e10ede066aebf01efc68fd7927f5c77283 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Subset True Passed
256acdf025b307c04f8edfffbc3177ed00e50d4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Subset False Passed
4a49457d34e8754801442e6227c188452aaf23dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Domain True Passed
42c87858fe7fab7b961dc36a049d1c986b229767 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Domain False Passed
055eafe41313d0d7eaa74652a3b97e4fd44bc9b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Union True Passed
fbb8c06c17a70dceb6bf264b5310d94a3dda4868 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Union False Passed
ece4f0a7d78945fcf10dc8e2a4990c426b798aa4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Unchanged True Passed
193f9a0bf39dc60e8fce914fe2a07737c6f45090 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Unchanged False Passed
caa67b8ae0fd947470b77484ced90c81187db06e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Equivalence True Passed
9e2bec35afe314714eb78d0a3e5a162a0cffec45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Equivalence False Passed
ebd132702d46d00e608d01a3ce7c60a4edc9f93f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let StringEmpty True Passed
1d7dfb1df9ad286049ab2f565b6fe8d9e103a4a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let StringEmpty False Passed
b2478d9bbba5ccb1626356c11e3abfae00e0d789 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let String True Passed
32b5dc6256a4f78691a9fe22c17527e8d9c90123 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let String False Passed
2edb604e85cbe5c69bddf9f3ef03d9675c20b1c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqLen True Passed
ca6b234d89824e7faef19049356ee9243eaf2d81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqLen False Passed
fd1f97c0f04ccf476c842844b41f979c56d1f5c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqConcat True Passed
ca556f5cfe98e5279da68666674b3a77097991bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqConcat False Passed
0f41b54bab24e1f4178405307bd67cba1dc44df7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqSelectSeq True Passed
044474d819e2c7db1cd173f8e22b2a47e2d9575a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqSelectSeq False Passed
2ce032e17ab6f24a33379607d4863d2ae67237f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqSubSeq True Passed
cf6e13339b3a6662283a5cd41eda1ceac86e00bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqSubSeq False Passed
51fc7b4d7a0d043ba5424692baca582446b5e5ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumRange True Passed
134175fcbc8144ded1a2fe00aa705d99b626dbca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumRange False Passed
72ae49247424774bd70daaa18e5e45298ebec9c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TlcSingletonFun True Passed
b2961a4a0cddd80e51afec69d74e698cb94459cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TlcSingletonFun False Passed
4b22b51f320fdca8fa519410386be4ca8ca5d41e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TlcExtendFun True Passed
3a2956c78ced6b2110f017f5c00b9e199d62c55b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TlcExtendFun False Passed
763cd78cb7b4db3c78a118db4724eeef6ccc92b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TlcPermuteFun True Passed
758514b04ea9c669e58dc0438ab21fa4d10cdfde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TlcPermuteFun False Passed
82487ed16f47413fd724544ae2c6fb9ad3e3dd5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TlcSortSeq True Passed
a01abb4a7a7b2bf259ca72c7088681feda295941 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TlcSortSeq False Passed
ec4a71a51ab52c2c80aaeffcff4a6ddb161b916a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TlcEval True Passed
55be4039e849e7cf355cff934828b6dfb68c13ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TlcEval False Passed
d618378a91bf0650366536cab2e954724f80ff87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagToSet True Passed
bd1f03b306d5a25d58b6ab71582d50a5f7e3205d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagToSet False Passed
1d5ea3c4ded3c320fd83848577dbf6e09f8bf451 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagSetToBag True Passed
c98667e02fe6203d0ec838cfd1d23fa59c962189 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagSetToBag False Passed
bd3f01d2f50073d75f0eff74d4095d5e8b74ae8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagIn True Passed
76c5dd9b964e7fea8a521b5a48f58dca6191bc4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagIn False Passed
d0de8b234e13ff1aaf38e5a66ccdb26570d343b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagEmptyBag True Passed
b927314d6d45077465589b125bdd6e1e8e3e1771 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagEmptyBag False Passed
c0efbdecc5d6c4da2ed6238346344551a3429ac4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagAddBag True Passed
2e61d6ba1f32dd809287774acb1790a93026350f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagAddBag False Passed
2bedcf2854a6e2267c9ee82ee9bbcd920e221359 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagSub True Passed
c43107d5dca74d04f9526031b914a033d4f6408c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagSub False Passed
5bdc20d8d4200b724b2f096dd378dea342071870 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagCopiesIn True Passed
ba5df183a5dee08e1712e7b8a1ba8d0f6506802e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagCopiesIn False Passed
1a4668f240bc8148840f8534301080d4110b129b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagSubsetEqBag True Passed
923e7c852bffab3a985f1023737f196bddbde869 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagSubsetEqBag False Passed
0abe4467cd797d1d9c7443064e3a6b0013a5ab30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagUnion True Passed
078665cd8f12708bb91f8a56bf9cb4f6601c118f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagUnion False Passed
7b5054cc1e4dd6ceef8c4c9a88eebf9b86ebb7b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagCardinality True Passed
746b8a27f6b35852100156c3990a88da3e72dbf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagCardinality False Passed
4062e00dc085298cba5278b2e8c199db6d7143cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagOfAll True Passed
1a123465d078d20207a1efdd6a0ded9975ec62a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagOfAll False Passed
b90fd524aa02630f5ce3ffa2731f049ec43bb1d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagSubBag True Passed
658d699ee508ae3594260bf59428764a261fabc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagSubBag False Passed
2e86b6c07af9207c98804be966839a06a4038b6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let FiniteSetsIsFiniteSet True Passed
09b894b992f92c911289973b1991fa1197b8fe6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let FiniteSetsIsFiniteSet False Passed
364ecf8e5005f633289981aa2598f6244f1c0d62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let FiniteSetsCardinality True Passed
829e46e361f87a2aac2e68ee5abd9f1f3dc64211 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let FiniteSetsCardinality False Passed
bcf8d280e3615f7843c27572f8569338737c8d23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqHead True Passed
ae06766803bdef7ba8ede2dfcb1cd423c6f03cff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqHead False Passed
0e98ae2f243097e236874b673f5f111ae21cd0bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqTail True Passed
b03b4f9735db7c3740f769087396d10868affda9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqTail False Passed
bd80f3e431a823bfa4508d9ac86a43f3e2269ed2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqAppend True Passed
51b9f34e5fbeab2f08e7ff72e7519fe0f45b642e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqAppend False Passed