Index

Tests by plug feature Let; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
0ed2ff81085155093c192262d2811bd85c75d95a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Let True Passed
4c9397921a7402210b07288646031830923ee103 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Let False Passed
f062e04f20a8d5f32bdb5d61002a7d0667410d66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Let True Passed
090444b21998ad0401d5065736f394cef5a4a841 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Let False Passed
01d71a7656a9544d36c270fd2164bf2a486067f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Let True Passed
b311d8985a4fd20773f270b0e9922c1ac27d39d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Let False Passed
eed2400671f82d3b58a4c67a883c687c52dc0c19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Let True Passed
7aa7ecd671b778a7a8901eeaed3dcaffe44eca76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Let False Passed
e589d4fe0e3ee9fffee0eee85b54c2da16adba77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Let True Passed
49b24144df955e1d4008a4f890e2fbe571364770 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Let False Passed
20da956840373975485f0e75459f291d97dd0c71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Let True Passed
73a7c0a4f99aa2753b1b140dc07ec3ab8a5b54e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Let False Passed
12c610071f260fbde23f6d59eb1c3900b49f69f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Let True Passed
a71ec0e3c5309d993f8411fc0863ed71bb6b9c49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Let False Passed
db866943b26d8641892cdfb0f88674d873fd7fbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Let True Passed
61f787b4bf84077d71760a337627fedc62e953da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Let False Passed
5aa05974251c18e10c11510bafd02a874ff1952d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Let True Passed
929e26d2fca1e9e81d8dfcb47033d85fc341733e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Let False Passed
5c17331a5aa90cf3f331bf190f3be7d034e5c6b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Let True Passed
4ec73f36631cbf15c6174e9d0986fb339d59b215 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Let False Passed
c92a4db6acdb01307ad98a132fee5bfc43255c45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Let True Passed
8ad92625662a42444316560207c97a40af717b13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Let False Passed
bb5bfe6cdd75e31b88412f68446a608de9f2a5ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Let True Passed
878e85e096f5f793412729691c491bc8525fea8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Let False Passed
a308eb19922989b6a8aaceaef4d8b0006fbe528f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Let True Passed
e2db2a60e7bdd0982ea1cd6cfa241e38c54d28c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Let False Passed
21df8d2324452e55aca29d70a818d2ccfbc2df35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Let True Passed
2429a5ec6367a189d853d953cd8f490951665523 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Let False Passed
b086b4cb1c3a9e763cb31c57028b7f04f095d5ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Let True Passed
3aeadca47483529bd596481f30a3144e787f2124 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Let False Passed
691370a69042c0de511c56bb4632d9b831e5ba2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Let True Passed
9df2d1dd5b794ce4494718170f7f8a33cfdf6e38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Let False Passed
89bfea311d58f9dc22da97fda429ec99bcccd053 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Let True Passed
513b4c82a95b3154a78db6b4675b64c944a32b0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Let False Passed
1b33e4cfedf61bd1c294def8b63bf0e8d3681f0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Let True Passed
4b1dd3489f9acbdaa36ae8609c82bf8269321093 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Let False Passed
c4a97ef2da3ac552a887be3234e5377d29cf2e14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Let True Passed
5ede08daddabe74f7d0d5f2c04dc82b22aae938b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Let False Passed
bf4078973d26554ad9e8ee926e91d73b516aca16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Let True Passed
d0d80fad88e2a66abb25b845eb558b3b2c0ed9aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Let False Passed
b56174fcb4c099e8cc59473000d3fe598452398f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Let True Passed
97d74403f2bf6f83f05efe324089151262c9cd35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Let False Passed
8595f430352bb54a855ce6bef459c80ee888b3fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Let True Passed
0b119de1ad3f32505e25105aa8ca8d0f2ab3761a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Let False Passed
1198345bd935a6d1a62e07f92810a74c0ad9c40e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Let True Passed
cf75039d2d935e0f95a6b451297ec884185d4057 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Let False Passed
318baa785751dba8668fd3d73dfd0b87d662620b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Let True Passed
4052f116dd442d49fdc1c93edf4990e4682124fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Let False Passed
9a3b5153914fbb49a3518adfe1c10797c0c30853 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Let True Passed
f992bdf6f603a1b221722c144f2d86fad015085f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Let False Passed
1f32c33376e7affcadb1d47d70071e6e51540c9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Let True Passed
bec1fa79d4eedfb7bce39aa8c43534fa1dfbb5ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Let False Passed
7c57a22b3424cff864aba6d69d9524354d3fc218 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Let True Passed
9aa05d2027102a904e97f7bed1d058f0b4bf711b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Let False Passed
dbe072b2de80bdd5c329696ad9fd805c6a1569d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Let True Passed
c99423ecfbeb9efb05cfb5f6b864a392dbb8ae7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Let False Passed
fe0ebdf437567276b7c97859af38ad7b62b88fce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Let True Passed
967319e312d97fde099498be9f4778afaf584c4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Let False Passed
d1831600078dbf22d51368723024a6edf6f498e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Let True Passed
bc9f09428a02898afc93e85ce1c1cee061af0f9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Let False Passed
645556dd32e07bb134518b1053cfa56658ed5ec3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Let True Passed
67b6a7e7c020e8997026785565aff43acef063fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Let False Passed
21ba63f84942f04d97a80b526595e5d91f94d48e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Let True Passed
acd83c5112afe293d7f7d546e7d95688c98b81a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Let False Passed
e913013eab7c9b1ec9d140cdb9a101f55690f822 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Let True Passed
048c12bcfa69d237bac6260c2811e64b2c7e9bdb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Let False Passed
3dfabfc6d302eff585b26faa9602e63269af7e52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Let True Passed
094cdae91bdf321dcd73fe120642e57f57d8e87b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Let False Passed
a11f0cbcb31fb48539da19da2b4d90083f9f9609 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul Let True Passed
1ce8c55418d688d2193897989c08810626e42acb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul Let False Passed
d0776e48e7fbb5aa03fc06994f6947107c64e793 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Let True Passed
8ba2cf6b82f6ae6844df136fdba3af4524a3df92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Let False Passed
782bc93b5638e5d45ffd78daa0ff86a0c75b9863 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Let True Passed
2b43da930def8ee1159bae755c9da8fdf2635a80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Let False Passed
96452b68603d9c4732953deff200c26f171da0df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Let True Passed
7228ca656a702bcdde6bf6f14d2c16497af26af9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Let False Passed
62677aabd150451a1f1f76f40f9b6d5d6065153c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Let True Passed
e7c04065b41bc383c26071dcf2604eec27079f59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Let False Passed
22bd0aeb94b785418bef71a3284d75e625046403 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Let True Passed
172dd229765905a5a9bb1a00d3f5829bb457b31b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Let False Passed
6ba1152c1895486fedae1c08573b55234c21719f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Let True Passed
0e7c691322bb6911a8f0529f2c71f88e0e6574a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Let False Passed
937ce6a70f11634d944c2c347d11b1852d5df7d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Let True Passed
d4c202b72792f2429bd98be3432ae07964b76623 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Let False Passed
a3254582165c93113526776c4702ca0e8325a800 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Let True Passed
47f5e863fe5e1c0f5afbd38645332962e5f07c48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Let False Passed
2a2425e2c83ddf10d5af88373ea09297f4b139ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Let True Passed
7fe33173d630d83244d31276bc9832fb340db909 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Let False Passed
6cf4c7640012f93b05311f20c703b4a8550ef4e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Let True Passed
4c7a68ebe01c59b0f298946f84bf07fb0ea459b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Let False Passed
414f387f05b83f96fc575579816e3889f9699137 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Let True Passed
2ea1c1f76f1a98542dfb0e76a0e01ab463839992 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Let False Passed
ae11f3fe4285bde3efb56b1cfb2f2465a2c67c89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Let True Passed
c936136ec745fde24a8a974cd1ed6acfe66297d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Let False Passed
1035eaefb6ddb72d68eedab923f40bd8dd08bf36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Let True Passed
702cdd4f44c7f72a24925b964a6461af57fe54b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Let False Passed
de75f274e063f9ffc469d20f2fb3b4b3949396c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Let True Passed
83e9ce1f0b4ca660a232d6119e29151152429208 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Let False Passed
5615dae4efe782700b089eb03ec32061cd36bbbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Let True Passed
815f9302f37be0e87ec1c85060cfa07ac5bb87c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Let False Passed
b1fe77d81f8406a837911721073e543e1fd1fa60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Let True Passed
2d89eab7dd062c230f356e47e838876d0e31ce33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Let False Passed
e72575cfa3070437580fe7028cc96d2ddbf2b749 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Let True Passed
49bc388f7af415accc71579d3dd2b7d7182c20ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Let False Passed
89f7ad1a6589a90a34713a55aee6e5b4f0db109a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Let True Passed
dae9d7f08f741ddd7154caa97f2a7f41a04bd5fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Let False Passed
eede2b266d5217d8f14fa8214831af70591d9336 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Let True Passed
912fab8332e4114084b71bc0cbccef73ca06b8c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Let False Passed
bf308a964c6c607a9bd244d661500dbdb4ba49ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Let True Passed
8fe7bb423fae2f44904e3072ec553139e7dad8e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Let False Passed
4c16d8ef1fe6beeff0660a9125719ffd497c974f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Let True Passed
cd80ceae8da72f555119bcccac5ca86dfa177931 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Let False Passed
6955cb809b0ace0115f7daf1a499dbcfcf5681b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Let True Passed
884fb226521c252d1f493ff61df16187f94bf6f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Let False Passed
0acee6d56f3b19e8ec44c4c11d9c97a03e4a308a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Let True Passed
67d19f5c0b5095bddec8ec4149a9fee452ae4052 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Let False Passed
253bbf2a2fa7cce7dbd1e6baaa3bbe9a1bfa98cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Let True Passed
5587b90992337d9f06eca9c9b51243c5758d65b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Let False Passed
88950b6fd68b551bf66a5a3736b86139d6345661 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Let True Passed
d2e871245fc38967e42ace3c812a2e2d8602b2ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Let False Passed
94aa6990a01358bc6f7e4015a369c532e7fb2f88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Let True Passed
9f723adcef8589eb2671432719ab33050357a332 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Let False Passed
c3b6c5bcb907c59128649546dcd6d8eaac529bf4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Let True Passed
09c8930d0043804a784834005dc879cce1eafc45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Let False Passed
d4b6acc50824982173649795c08a00aaa18f7880 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Let True Passed
af8962a7349b2b961a4d67018d434228273696f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Let False Passed
d177cd32c2c7bb450e2214a085767487f7b6ccb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Let True Passed
9373a7087b079dc7b4b994398c5c7b70b5b3846d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Let False Passed
eac8ee2c8291b8b569156619daaf54a782f8d16e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Let True Passed
0cd08115202b80633b194182f4cae36fc79eb753 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Let False Passed
981ef458c7583e25af684dbcde5c94110a72d99d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Let True Passed
d40d3094e94d31a350fb227050603fb8e6f7c48e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Let False Passed
b01070af45c250ea8d96593a00ca030773577374 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Let True Passed
c8f92a291f163d2a42156baa49f68b35ce64d778 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Let False Passed
0aca62a36e8ab7b73dc54ce92afe91ee327fcade TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Let True Passed
b69656596d2ade846725520a5764e5808c065d19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Let False Passed
fdcef5218d9f6187cb27d5d9160494ead0944244 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Let True Passed
46c445a529959c74ce5b66b392e1ca827611c4d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Let False Passed
85c104f38b37ddff94ff1ceccb47e240600765e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Let True Passed
3c1feb8100e2be50b8cf10bd004f0a8b4730a9ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Let False Passed
da84d7b8c9a509a5c216d30d405b1773e9063253 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Let True Passed
fd336474a5088c988f23d719e360a4b992769a49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Let False Passed
a3d8824afdb506c73041a14ecbf7e2d0b140a740 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Let True Passed
3ea120965282f7355a262eb61e565b7ed73b3d4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Let False Passed
6b63da1738eb0e5dab7908443df5b6c6d8735257 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Let True Passed
771ca2edb815640423c4952c619322f0a25a685e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Let False Passed
697832ee64d5bd8f2917f1bd164bd88b2e8d3e2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Let True Passed
32ba00b4aaaf205d5a0ee9eb396373a23c9b4b9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Let False Passed
05c72f91d19143bcf87e3023786a712c0a037cf5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Let True Passed
f245fd89a93637ff6a614ddf6e190ab91bc9b89b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Let False Passed
af932c0cdea994defadf0cbe6a890e0e9295cace TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Let True Passed
0c8a40f520ae1bd38dedce698cba4a95994228bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Let False Passed
9e1a7f1649a5d52ea68351d37aa018d47675405b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Let True Passed
0e19dfea1f3a3292354e27eb9278f4582618af1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Let False Passed
eae011ce822e9f14e365aa19f8dda435fd0f7d34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Let True Passed
c756b977d588ffa5ae544c5a2b3fb8210725a4ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Let False Passed
3a5fa93278e4d2db0c001f67e1dae7926afbe0d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Let True Passed
1b27d8a435b5af5dbe0597c5131357799ac329ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Let False Passed
a274e4592c0100853ea7dd8cb72498a0d28bbaa3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Let True Passed
8099c452b422162e43d5207f0e4613d0b0b7fda3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Let False Passed
c1055404986c407832f18419e1f09ed70c07925d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Let True Passed
97059335a4b895f552b174e3e08e605bcccd516a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Let False Passed
a582f2be6fda64d176f3645a1f5c3a6f8a84ee2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Let True Passed
bbbb0a3decdd1344787ee1e43933154a2311c07b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Let False Passed
193b513dcfed9f75448ec2e35e49acc6a9cf619e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Let True Passed
0477a0a78603fa7a28805e81fcb0d5a17dd8d6c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Let False Passed
a9f6dff7990bb87e430e8b139539bf8e66ab4cdf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Let True Passed
a740e7d9ffe699574774546d7df84be6b48234ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Let False Passed
345d756cf6840ffd1657c1ac4890ce2afae48a73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Let True Passed
24b84d41b4f10498f727a23f1ef13eb69bfbf1f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Let False Passed
e21c643c858a1d3b3a749d8ad37bdfc82dcea8bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Let True Passed
3f373c4203c231f09ff757e5226d245656735000 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Let False Passed
d66755757b4c1cf68c888a6f680875ece4c11c94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Let True Passed
e661752d276b12b5ff71ecb8540638b7b146c68f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Let False Passed
a561c32ae5333377f3744161f7c6a82db1430fd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Let True Passed
28e7c33a303cff490d8b509a0efab85b007ca8ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Let False Passed
379b2dd63789de6ab924611914f8efc4d605472f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Let True Passed
9454c77dc44866807c2ad9170ba3db156079fb11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Let False Passed
e851b3ffe6f18165e21a13406916a5efb75fa5b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Let True Passed
3a879e6d14b37b8aef0e0aefeb38e06004947c69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Let False Passed
7083b662a2f36fad321d54e9063906c1c9807691 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Let True Passed
498945c69696f321697683195a181688354db05b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Let False Passed
4646126aa11f78a5c762b932c9eda0da22431f7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Let True Passed
027a5bc7a98ca9169180f841c2f494ea8c7e9d64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Let False Passed
a123ebb5d42169296fe8ce6feedecd804e440e22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Let True Passed
0d16a5b927b1f418bd41b75e2996d5ecd26afee0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Let False Passed
642b7417388eb6d018a7d7fb1ac80e4037f07db5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Let True Passed
0686e1c4bcdd79ed319b3f6a4cd21c2050ddbf9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Let False Passed
16ab02eaee6380f15625c62f005947e3a7f746c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Let True Passed
c205abfc10eeba995511d51427b17af694fd6e60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Let False Passed
947e735b4208b9380a1092c7a4fa6ce45a45a52e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Let True Passed
501537db8551f02c69bdf6dcb2a83174207a3ff0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Let False Passed
e731367d14d84ca677a4a5f3660a4804a3ce70f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Let True Passed
36419371401244b55751b3d624ff5d06b02fc1c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Let False Passed
4533f60b33e0ca490e519a921096adc82a0e60ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Let True Passed
56f41dee1fe04033f9d21ef993f611427837520f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Let False Passed
53a42772074f3c2faf687426f561f2d4f038f1e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Let True Passed
98140103147f7daeba5fe70760ff3e802cd02bf4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Let False Passed
4fc13c76d7fa478081b56a2125ad436d4db9ac8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Let True Passed
3d2f6eb66f6015b857e614bdc5966ed3f763f8be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Let False Passed
0ee2333ce74df3224ba7e178b146987f2190ea6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Let True Passed
7f44fa1154e9fe80e18aaa6e685d3b6e02d4275f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Let False Passed
cc7fdd1b4254099933792b9c65547bf6b83439f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Let True Passed
de455f33b0f8b2d3169aa854b8b50c5be0e81c5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Let False Passed
9e53dd009b4466d8ac8fcb0dfd546f62e3cb1797 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Let True Passed
b42e3f54e0ad66042c18ccb800b75d23eedd5873 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Let False Passed
8387ba3231efd3dce7e40d112009a3330335de96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Let True Passed
93fa83fee5edad2cd9f6b0509c131a6485400101 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Let False Passed
9d772b3dde422d00ec19ef95abc9ea30dd72bdd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Let True Passed
8bc3483e6269708dce34b137bd2e38a26f8f0792 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Let False Passed
8abe4f7f4bd3777e2a139c1ac1d39ba8114983ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Let True Passed
8138d76867375eca4f59ab3173b7b08405225769 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Let False Passed
64176c42fffcb3b074987af892c89d9611afe0e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Let True Passed
f95e71a1e80020b5c6b3efa56343acc0b6457d1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Let False Passed
cd7a879efefe68af1600c3aa9a3b9acc813228be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Let True Passed
f569f79f413ad0311e923f8288199481c7c0d8c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Let False Passed
e94296f5c6621840c6e7b2d0854cce2916c275a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Let True Passed
46bfa2f122398409aa0f63b26efd37296eccd355 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Let False Passed
a1e25eb40a8bad5d0f6baf58d3e7849f4a5590b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Let True Passed
aa31fa4ff9358308d90aa7d2e0f5008b5ebe473f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Let False Passed
c4152dbc0e4cab30b696102e9a9517f7d017ed39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Let True Passed
f3cb1fa468aa80456a8cd04b0ed405b91c98be2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Let False Passed
3358d0ed5449163184b4f7613ae0095d616e8dd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Let True Passed
8efc5ad758a35fc43ca21d7daa250bc8bd798e69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Let False Passed
12d5fb6ce242b19965bf31c03ca522d24353dbb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Let True Passed
a5375780b83ab24a02e1db1451ee989fdec03ada TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Let False Passed
9d9a67bad9109e437cfc17274b3217d672ae7a34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Let True Passed
ac257936fd18428eacf6d606509f829bb3c6c94e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Let False Passed
59aaffba5dba58273503e66d1b577e89d4bc3f29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Let True Passed
ade1d0eb20861f4e0c6aff2d1ccb34347c4eed6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Let False Passed