Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
ec858820128a6a0167d5cac4d7cbcbf0cf61a09f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun OneLineComment True Passed
5e3e9ab807600df8df1c7c6a8a3c3c005ebd59bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun OneLineComment False Passed
57dc264482781cf4f33d45152c11d72454c970d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun MultiLineComment True Passed
569b20232c893229ab5c16b7c419461b2c2e1994 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun MultiLineComment False Passed
d0f30455c3b034594311bf210ff8645949b535b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BoolTrue True Passed
d32bc8b20c01357cc3650ecdb833925ba3774249 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BoolTrue False Passed
ed8fa9778fd484e2f8dee8db2388e647fe3ca872 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BoolFalse True Passed
6e1b7337640a51b75ec14be621bb5171dd79fff3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BoolFalse False Passed
57eb437550ddaa9e42d0bcc8772ef61be2a8f9e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BoolSet True Passed
7d8cf83d0a18b4fba2ab4b85c29dabddcdef0adf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BoolSet False Passed
977de5e933c3e30bf25a9de34456b221ba3d3609 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun And True Passed
7517a507d9c132ec2c5d58b7d1fe41acaba60d0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun And False Passed
61a91e930964e8b0e0d0e513ade43a16f8518417 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun AndMultiLine True Passed
ce5ae2a3c8231c04fceb25de7c730a43e7c03a36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun AndMultiLine False Passed
f71bed61273e21da47aefaed3aa7d8bda9ed75cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Imply True Passed
8e07e60012c2c943367cbe069421781ccd1e03dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Imply False Passed
745672c120d365e59c4416ab9256f336089fe126 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Not True Passed
dc73d02175441a015197bcb9b7700717307373b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Not False Passed
076847dc723e74fbfaec88e57ccfb3b35baa1e47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Or True Passed
d14162d17f30da6998b1b2daa4bf517bbfa8092c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Or False Passed
6e8252be6c83fe9cda461b99129f557b72938986 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun OrMultiLine True Passed
e8021fbe2a2d5f59de115efa211b8c78846e6f10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun OrMultiLine False Passed
06ec9513c05c3f26ce166da757a2352cff1c8110 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Eq True Passed
dc0f5bbb735014adb642cc44ba8d778831b21107 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Eq False Passed
1d55357004b26ca4c0c30697d9d23a23e26d16e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Ne True Passed
f80e707a2424c3157b1397c68437427674f52de5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Ne False Passed
aef2d9f64766af2653b9797111ff5f1219572baf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Let True Passed
0dcefbae9193d7ddd5080783db57d8c5f7eda758 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Let False Passed
ae60dfc5ddff10d97b38e9465f29063b24ec4376 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SetEmpty True Passed
68de81127f82c67c4b501c759f4d383c83ec5678 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SetEmpty False Passed
98d2411c9df0ba783cd48081216e0716b855ca25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Set0 True Passed
d724ca1d8c280c9ff676cc3ef4444797c2f07ce3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Set0 False Passed
502385f120466eaf065a2a791e9da36bb7f1dd38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Set1 True Passed
a2ac87a916875ba250b80b971f82b2608bdbcdf4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Set1 False Passed
8db69c7e03a55179b01b124da920b30ad6da51b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Set2 True Passed
03cc387a5de2f4263dac65270f2ca4e84c3a9042 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Set2 False Passed
0e4a7e2cbc86260d30e27bae8b38f94ce14730e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Fun True Passed
955c64a934ff61d9eaef79cdb3290e43f6945870 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Fun False Passed
52b37ce4b68bfb73bf3baeea3d945723eaf13e90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun In True Passed
74ff8f9890ac767f28c68c439ea48ae96968509e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun In False Passed
b1fefb5a7e6066bd46bc1cef4b63df675a4fe4e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NotIn True Passed
6b6da5b418de487770f7a8c5000bc46a7b22d4ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NotIn False Passed
7e39193f525191c1e6acbc617ab315520422453e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Exists True Passed
ac3c133599ddee488ec8e08a7e76c500b29c441e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Exists False Passed
918f942a60605ad085e05aca804e4798bacca3e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Forall True Passed
d1b4f0d19e94a78758eb9e58a433fe81f1d09441 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Forall False Passed
7b0336cb57c130363078b5b9239e9e6b3eefd299 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Choose True Passed
b5fc2e8023a6bd7ce38c051cf4b060ec788cdfff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Choose False Passed
ad9a8ba62a840d374a71bd434af86194fb1bcb12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Record True Passed
454574110738b7fb88efc70b3db62453a2158e96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Record False Passed
48f1169247d0ce7bc962012d6fc5d5cad6d76af9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Tuple True Passed
2293b0e42a6ef3e82404bea3d7fbe96a31710670 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Tuple False Passed
e8e19a23c62a3a955c4f3a95cb34b41c318d451b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TupleEmpty True Passed
d2cab602773c0b2a7fd18c0508dd13ab4295d02e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TupleEmpty False Passed
eac4fb97bcce617cc0b7f7e473f5c18e2cab086e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun FunApp True Passed
cd5c1889f1ed62ffb543549f678aa457b8991a4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun FunApp False Passed
19666bc92f68ac5bd6e634c342fba9f68f9c0084 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Prime True Passed
5593c359f6e443cd68d802bfdada67d15b5b5252 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Prime False Passed
3359922468b71895b7f60ae780bee449dbc01a5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumZero True Passed
70b7207daaf5193cbaa7b57a9c01ed4a751294b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumZero False Passed
fc4b412cdfacb864294812a8b508d27fbe9dfe74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumOne True Passed
d6a8e3e797d20733b43cd04cc0074611207123f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumOne False Passed
54d2dfbca86d73eeaee9f1adce8b5256b5af4352 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumMaxInt True Passed
3f32a5f3dcb290122d38e7a87aa2986b349de9f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumMaxInt False Passed
7938034ddcf65e1285f04b6620bacd9662e02028 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumUnaryMinus True Passed
e78c0156f573f3a036e0e55f7ea7299767e3bf27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumUnaryMinus False Passed
28d83be85c6a5c02e0d166dac1c3b2d89092f018 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumPlus True Passed
ca23710b7f9e782ed3db2c705e3bc3bb1497378c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumPlus False Passed
b922fd8537884eb5861a3728d36e278213f20503 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumMinus True Passed
a2d5b0e57b233dfae08ec94ca8e8e56e272cf61c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumMinus False Passed
7aa877b186477daa5716647d7c395b27bf9bc211 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumMul True Passed
1e93252ee171663404f08fd1ca603c423f7525a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumMul False Passed
c1c004cab16adbc7f25d1c3ab2e0e4e83f609bd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumDiv True Passed
798e402d002f477a7168ee96e8e8e9c26d61a818 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumDiv False Passed
8401012e6f57af69bcebea5131737541659ed14a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumMod True Passed
49aa37ee4ec257ca470c08427f7af496f5f6c4ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumMod False Passed
b8ae3b137020b6d4626ae692006d25d6ce518b02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumPow True Passed
6f33737cea70df40eb4dfedd9d5c2c4ca55c8d0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumPow False Passed
8004e6a91cd633f91d5199d9e2c5503095981c04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumGt True Passed
8d322d48db0954a07a3fa7688b102f7b6a99b72e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumGt False Passed
35feb9f532e1f057237df70471ad45b9f1580924 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumGe True Passed
25acfa2fe6e7ba58715f0b46cdbc7be7ed75fdda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumGe False Passed
467745983a766ae1dc906a1df2f6860c1216daca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumLt True Passed
0ebfa2b8f4e75d68fb76751697f0f86c6b29ccfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumLt False Passed
d892cbe276a5f54d3824dc27ef707a25eac81b09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumLe True Passed
aae40aef22c7675411c5ad26e0cc932691b11ac8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumLe False Passed
8fe3b79478caceb88b1f8d919ee81ffb3b2edc53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun DefFun True Passed
7c3ce41a0afb4beb458f45a7306455e8d88edddb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun DefFun False Passed
0c0d9e0a818ead8cc40e77a83676709b15ab1fa1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun LetDefFun True Passed
9943d9d454d427172a76157c709584e10aed8aa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun LetDefFun False Passed
7bd14d82de2f9df13939189a162689e3eff0533d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun DefFunRecursive True Passed
78e899f7a4f176edb4c4fd676ab4defcbe2ca032 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun DefFunRecursive False Passed
a153498479809d3c4b2007369bdcb3fff3d46cb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun LetDefFunRecursive True Passed
64e25daec785b379cb7c35dcdfc49f7270d0bb33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun LetDefFunRecursive False Passed
6b5aad5193a0359edf8b76de461145f1316839e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Def0 True Passed
a9af2d953e0e92f5a67dfc3e3f34a7888cde5b46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Def0 False Passed
559114d1bba596c015c59d4a50a2521504d6a25a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun LetDef0 True Passed
2b2c6cb94c4e978c30063b58be4908d7c72c9f9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun LetDef0 False Passed
cec0ec4db470b1c4f8fc919e07ea04caad72059f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Def1 True Passed
35e4bc933684abb2060e7d2cac0d157a8e6b8cff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Def1 False Passed
c768711decef0817d26c70e1e68b3e4232e4536c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun LetDef1 True Passed
6f48f5ebf025e4e7bb400df698ef3ce67ec6988b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun LetDef1 False Passed
5b5557029142425d63bd0344066eaf13a930111b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Def2 True Passed
1aaa9880eba1796d2052941664875a75abcf060f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Def2 False Passed
25eb5972ad7596434690aaabf4ad342eeb73051b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun LetDef2 True Passed
9010c8463df11668ac83d5efdf34347a482c892d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun LetDef2 False Passed
a8a579377e9265551839818d396acda8d5692fd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Def1Recursive True Passed
717292996f725452f92fb28af813f92ccc9e4430 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Def1Recursive False Passed
a355423931a972f26c1c7065176f7252ca4e9fe2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun LetDef1Recursive True Passed
ded995b172aff9757df6095f6a5e3cfd4aa851b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun LetDef1Recursive False Passed
a2a26f28d1238185bee2aa36203f115b63dceace TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Extends True Passed
6159959709ec21af79e67ebd54b95eda2643a108 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Extends False Passed
aba892c10d1721d153956410031d4b9f07204ec0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun ExtendsInDifferentFolder True Passed
8f2fa227526b70bef92b4da71117a72b0248fbde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun ExtendsInDifferentFolder False Passed
79189a7a0268c0b785e1d21d1d70bff383507179 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Variable True Passed
69035e85d39c4ad6bc2e53137f70ef62191a0259 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Variable False Passed
276d5c49d8b477978eb7f3cdd2dfb5dd4ce64389 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Constant True Passed
7c7338bb4405e196213622460f2906c83f88da08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Constant False Passed
41b6f82e5a3a4c84ec5b99f3e4695afd792c6dce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun ConstantModelValue True Passed
c6462eaf2632a37f63525ce29167b47da5fb3f44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun ConstantModelValue False Passed
6bbfc2e5af005ae9ea80dcf539ba6338ff77e5a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun ConstantRank1 True Passed
3bc57da63d5ce8bcfbaa21af9db1e959c94a44db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun ConstantRank1 False Passed
f852cfc6d6a52dc20c262fe6ec47c199663b0c9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Instance True Passed
d999018d1dbd60dc743deea6d51cbba8106d98b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Instance False Passed
394f079524e92c6f2bc802081a5b923cc0b3980c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceWith True Passed
1121fc9dff3d472b014c5de7443e003aedc703f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceWith False Passed
bf3f1718123514913feb581a17f4edfb18a58bd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceNamed True Passed
d32579ccc3bd93b13e0a93db641be0d52661364d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceNamed False Passed
39f9a1326a48bb28c07df3e86a118adc293ed54c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceNamedWith True Passed
0793213aa2e5d2abf865dc423e4451a33fc7bd66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceNamedWith False Passed
594a28e6971e2a9e19e880d6b322de6ac6d98402 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceInFolder True Passed
d0299b0937924900b3a9c94d4dec03c18fb87816 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceInFolder False Passed
22487e5c1dd8d5e46bbc16963e588a2290b1864e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceWithInFolder True Passed
0c955dc7576c71f47bd2fb3f89bf2dcb82d74c1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceWithInFolder False Passed
25c331da8a501364296f120f049ee6ae130566f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceNamedInFolder True Passed
689173c93276f9b98965110bc214f639428a9be3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceNamedInFolder False Passed
05b5079ce6bfb39eb903e6477062faec5eaf1d22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceNamedWithInFolder True Passed
0678ffc525eea410f47ce205bf6d52a5fb4e8691 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceNamedWithInFolder False Passed
eae18e893e59ff7b7d6752b16c0d0404d871a4ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Enabled True Passed
37d123b2a0d32f459c4531de651b0ac81c655078 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Enabled False Passed
da1a11d9f898c04041cecb728efc606ee9d471db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Cross2 True Passed
06803ecd2b3540ec654718768de558f04cda71f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Cross2 False Passed
ca0b2cbe6ed84d3289bca18a5b4452ab4faf6337 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Cross3 True Passed
fd1e05d188230ba33886097e621d37b90b93ac30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Cross3 False Passed
ea6b006ab7d429d36ec92e2f8f2777991febe2e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun FunSet True Passed
30458350edc6f9270a5a13e563b7339fbfcf4f08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun FunSet False Passed
c7e5d504057f4fdbe4becf5f2e72e841a01f3339 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun RecordSet True Passed
10bc51c676c5db00112ce094c4e7977f95fa7ebd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun RecordSet False Passed
f4576a6cd5608e8d8e2ae84f0b29ff0e159bca8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SetDiff True Passed
0531b89aa5d611370a86404913d48097dc4d6e22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SetDiff False Passed
bc2a1f8de45de1dd4bca1fb2ce29593f728eddfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SetUnion True Passed
94f263450a973bcb690236853b3f53ab6342dae2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SetUnion False Passed
ed036214ce459dba7074f012aa43e0312011daab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SetIntersect True Passed
b9342f91b0d0676e99b27ed067818f279d6899f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SetIntersect False Passed
5df776931a34e354d736cbe19b2503468a962223 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SubsetEq True Passed
073370a434ebeffef9967551de4dac072ee562b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SubsetEq False Passed
f687c8ddaec4a51d8d3b99cdd0cb1ad98ec682c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun IfCond True Passed
74ec7acad2e5db98e215fa2612cd51a7e70b526a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun IfCond False Passed
ad6d2327af04f243626fb2f87e50fd21b71c0d0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun IfThen True Passed
3f916c2d23a9067e081c68ae12f0085d4643e9c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun IfThen False Passed
dfb79a1fb500a6df5f9c0e98ae64c248e4a875dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun IfElse True Passed
07a663d22065eac8b15ab61a49f87bcaf74631cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun IfElse False Passed
c3e116663a6f53bda54712253ca36c890aba4edf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Subset True Passed
7691cea914c3e906ab99c364460757f5cafd2cf0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Subset False Passed
dd85cd5c4e68759ab8d3d62914859c323fd90030 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Domain True Passed
b5aa96f365b3a2e366433ce0e01f7bca0e84204d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Domain False Passed
88d45b9d2a6977fb1c040cc5bcbfdc0491b80bb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Union True Passed
510db3846294e5c3be29096c2252507c1db4dbbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Union False Passed
ffaec5e08c87834187938bdef2a4f23e764c69c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Unchanged True Passed
5c87b9c11e111767b2a45cc61423536e1b29aa69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Unchanged False Passed
610971137477f6852412f63afd1ed025fb78149d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Equivalence True Passed
1f000dfb76d2ffb5f5b82f6b0a7228dd2e9a4b24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Equivalence False Passed
29835e0d574c7cb1ed7792b8efcc3a72aefdab5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun StringEmpty True Passed
925c2d7dff4a3e93ac9e4f0c8af85eb1ec1edb0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun StringEmpty False Passed
d8e0033a5aa9422c0ce6c1bdc397b6ab57575871 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun String True Passed
c37f1a267c69023125e80218e0460bd7f5f8e675 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun String False Passed
62f6464ae7f655b0cad08b5a8287892ea0acae62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqLen True Passed
a47f724660207d07f3ce77097976394a67022d7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqLen False Passed
9dbd9474fbd043dcd11c0c33e3a1cb6c7a9f9b6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqConcat True Passed
01ce9757e991c3fc716fb58ee8debe3a04b8a5db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqConcat False Passed
84166882d572090d4c2f4de6c9551bd9f1f298b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqSelectSeq True Passed
385e54be99c51d8873baa9f6c48179399b3d8ff0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqSelectSeq False Passed
c778b7198dd1e7dd0b488672d8fccd6b840827a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqSubSeq True Passed
c60d7f5adef43a0573c8d288512068f472c4ada7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqSubSeq False Passed
8c9d60f4941a79b48be12e07d337a64ed51c9845 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumRange True Passed
76643877f9c3f37ad4c7f68aa410d4f04cf2240e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumRange False Passed
8df22ff3bb792424d2665dd9c1ae482e0c094b16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TlcSingletonFun True Passed
51b71cd535d59005744e12b0df3bfab45c2c8bd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TlcSingletonFun False Passed
9e48bd692d9f5439d105cc51185a073daa677ea2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TlcExtendFun True Passed
363039d42b61341c24b26b3455de6e77398866b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TlcExtendFun False Passed
49feb98bbca69f2b2ec8a98af917ec0a4fe00b45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TlcPermuteFun True Passed
65596b7e73c5d5307ed329a9e872ff6b73184a02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TlcPermuteFun False Passed
7a73c97355d7db9cf1a449961d65e7de9d316a22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TlcSortSeq True Passed
49611f9e2fecab3a80fed2177c44cd4b01050894 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TlcSortSeq False Passed
936bc957a49828fbb5f3b92608a6a622cf4c6d7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TlcEval True Passed
be56d944714f0beabf4f967bdd0c7997793a5724 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TlcEval False Passed
4fe1d348d88e9d66cf31973e8106e25a6522313a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagToSet True Passed
8fab0d2e36924d8f652834bbb40db229e2f8aad5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagToSet False Passed
e997fa0f82d7c035fc116f133295670fb8c3874c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagSetToBag True Passed
5406427a6bffde8dff90a703c3ae0a3e06044689 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagSetToBag False Passed
bce7d3ae9459458f84af6c0a9e512821459b5fc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagIn True Passed
dbd34994ac801555a327021cc9f590551e93c01b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagIn False Passed
eb545638c2208316472fa713eed834fa360d236a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagEmptyBag True Passed
32e504ec617c2a5afb8029e210edfe5d98f00f14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagEmptyBag False Passed
54819f1e44ada0082aa02bf686c54a8be8e59088 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagAddBag True Passed
5ba3113af409f63cad4880786b4514c484fa55e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagAddBag False Passed
ebe9dae3038e8d8a29a2d39ac2554134f7f472be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagSub True Passed
1c6eadb8d18525a4cb731908142dab9267df033d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagSub False Passed
9664f1e0e97bce5bef05c846b6d9eaa14a3591ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagCopiesIn True Passed
f372e21e9f45e07057da999c4120fb0b3a425067 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagCopiesIn False Passed
e76bb0405971a0a1560f6b880b557c87709394d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagSubsetEqBag True Passed
61a4905f6330e938a7a1e0cfbc4eba3a7acf3214 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagSubsetEqBag False Passed
3de51bd29ebffc41ede0eddc770a875b4e80a08b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagUnion True Passed
d91c3ebd1fbddf3bfb1fe24af462eeb033cf0377 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagUnion False Passed
e56c873ff0a127bb0471d4365376cf09652f387d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagCardinality True Passed
25300604f581c0e9fdf3a5f1e01dfe144e2a5d55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagCardinality False Passed
dce8849da9744802f94814826ef1f74a167cc52e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagOfAll True Passed
ef8afca73634cc720f352b12fbf710df5a928e56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagOfAll False Passed
07f4774d646893ce8f93371ddb3980de16073dda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagSubBag True Passed
ec7ccd7795a9927ade77cc32b22aaffa339d48ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagSubBag False Passed
f2c0f9b17b30d4e9ad0465995de48358c45afb0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun FiniteSetsIsFiniteSet True Passed
53bc6c8fbcb15d37087d3917b7ca46bb60082a3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun FiniteSetsIsFiniteSet False Passed
de4598f5575dbc1a7a541e1566efc6074349f08b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun FiniteSetsCardinality True Passed
381cda01bf3fa7eafa01f25db0b0e81390ebfe11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun FiniteSetsCardinality False Passed
25ec2b56a2c8f152cbdef5be380bc797a97e7827 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqHead True Passed
394710cb36fe28618b76d917767905de5763ee28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqHead False Passed
7bb41438ee3c10436550826530c7eb3ad71531f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqTail True Passed
1d796fd79b3c78d5ade62885382bd690f9b5c3b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqTail False Passed
45c902801aab29b97dc34593f5d12ac3e05ea19c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqAppend True Passed
1815f0c27ae2f905cbcd486fddd5ad203edf0d46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqAppend False Passed