Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
fc886b983f5e5e6fb055cf9f0cb60b6ef7a28baf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceNamedInFolder True Passed
a699a859f1e3a0d4e830204bfb3204f988a2e9d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceNamedInFolder False Passed
206495ea6135460668c3f7dac38f4b83661266ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceNamedInFolder True Passed
1853f9d6b090cbe51406b39def8d0e5f90908a7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceNamedInFolder False Passed
5862e073c9ac3fb0e3255023160915d55cf72579 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceNamedInFolder True Passed
4f7cc505e6f3b940479a9a34e5b3b084b62bb350 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceNamedInFolder False Passed
af2dd335e0811f215e39ed047e9bdb37aa1b6c33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceNamedInFolder True Passed
053b96249a34422bbd196a7bee30e712ccffe3d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceNamedInFolder False Passed
1401a839f7cf0acee35fffece1ed7b8dce2b63bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceNamedInFolder True Passed
190cd39776be1318eff0a1998abf4c58832fc7db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceNamedInFolder False Passed
829fe012aa45baafcf45d9776a4b5248e2adea35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceNamedInFolder True Passed
859dc1db39756b2c76df4dfc820228f7e8447836 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceNamedInFolder False Passed
4b890267c87bc0fdc2582303e6b7997ffc3cf465 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceNamedInFolder True Passed
4e3a677679a76913d12351485ef35fbe2700376a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceNamedInFolder False Passed
e119e61ac433b89589a005f4eadf215cac838ea4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed InstanceNamedInFolder True Passed
26a54aae09642f6ccff7c91803587d1416023b3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed InstanceNamedInFolder False Passed
65de9b55289c5a30f32c5497fb3020ececf86a74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq InstanceNamedInFolder True Passed
2557c3617eb52322b5f952cebd6bd3b4556fcfb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq InstanceNamedInFolder False Passed
59e633d531cfb700c4371a11693662d9e0bc0607 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceNamedInFolder True Passed
219732e1b04477024c09724170f23fec9981ccec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceNamedInFolder False Passed
2936077f548b975103c9c4cac566ec2fff8b22e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceNamedInFolder True Passed
25289563a28ed9a219ad02abb015c80ce2e8ba10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceNamedInFolder False Passed
4c239feeb7e61c84be39ed912a069e142e008b1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 InstanceNamedInFolder True Passed
fac8a489e94df35abec4668b4b59d48fb4426ecc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 InstanceNamedInFolder False Passed
943f66e202eb326bd7c3a711eda3bd47009d45ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceNamedInFolder True Passed
c98548080e49f31476b78df7ec048808b8105554 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceNamedInFolder False Passed
7eeb5fc237ae84c1922b2cb971d9e09ba62218bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceNamedInFolder True Passed
ba14240cb4d37db49698f7b841476cacb66fb510 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceNamedInFolder False Passed
8edd6e492f5c7df029920d439539848a604c0be6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceNamedInFolder True Passed
a197051b1a621a41e4dffd9bb759fd2de234b46b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceNamedInFolder False Passed
96115494bafb633fa618282ff88d09684908c917 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceNamedInFolder True Passed
feb18d165addcfabf91f59a3d011e7fcda0253bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceNamedInFolder False Passed
7ed0f360dda84a8b564c5d763bf4980cc2bf2345 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn InstanceNamedInFolder True Passed
3fe27ed1ce2a06be7d4e52abd61fcbef022923b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn InstanceNamedInFolder False Passed
d5d6094a6a5342abcc823d3cdedd472c35d41be4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists InstanceNamedInFolder True Passed
d89b835d6d2f3ab1d486f9a47a61e636181afca6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists InstanceNamedInFolder False Passed
399949eeda40195a0927f93fa8586a0e906aa01c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall InstanceNamedInFolder True Passed
083717438ab23b7683c3bdb0d2f4575d9ed1ee59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall InstanceNamedInFolder False Passed
e843d5ec0064499c1f310b91dd54bc81e6f4d7b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceNamedInFolder True Passed
b6b31b876b76897ea125b3ff6ffb54293847d1d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceNamedInFolder False Passed
64b53bebbaa598a0102c33e1533b0992e2c20916 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record InstanceNamedInFolder True Passed
2ecc70c9b2aedf4f801cc452f1ff009dfd09db47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record InstanceNamedInFolder False Passed
06f557d8430f022b82f685afb21a5e264d4624d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple InstanceNamedInFolder True Passed
319dafce313204d2eec8c365a58f7110b337a30e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple InstanceNamedInFolder False Passed
9a8311574a663faa6a224aa6ec2198be2a72cb09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceNamedInFolder True Passed
4de75691e2dfa8d3129fa84e0bbe93518ce12782 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceNamedInFolder False Passed
d2c9c333202214f4988f3a092ae0c2ea93d64281 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceNamedInFolder True Passed
dc5f9d087e7ed48030453b9860b7a6385fb87b5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceNamedInFolder False Passed
6bb85b64a92eb742fdabdbb650747fe06d0f0084 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceNamedInFolder True Passed
4e96d0f2cb75939d66a241ace2257be62c3309fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceNamedInFolder False Passed
d95c2fe35ff070e1460d5f25235d788f4126a7f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt InstanceNamedInFolder True Passed
e6dbeb594c72aab201de16cf55c69aab35ebbdc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt InstanceNamedInFolder False Passed
c135cdcac90612d6361968c1da8f55bcfa5926bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceNamedInFolder True Passed
26635208682ccb5c328ef1bacbb4c096abb14c75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceNamedInFolder False Passed
a175a5a325ef86269c827c6f4c7546d5c5a28aa6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt InstanceNamedInFolder True Passed
b760059e75098800eb7f1edcda61d49e39eb73be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt InstanceNamedInFolder False Passed
32fa228a9c84433e684d151a9224b561b5599f54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceNamedInFolder True Passed
3872ddc198300aabd63237772d0e4e0a926e0faa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceNamedInFolder False Passed
b905171e949c09c403e0d836fcc9c4c05ff190bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceNamedInFolder True Passed
1d39bcb29b965bcac8ce492f9592a66c98ca242b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceNamedInFolder False Passed
af868fde047bc9e7b87bfa0062d8784598f1524d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime InstanceNamedInFolder True Passed
52511786f504d3e8fe55f72563a638d2ae7d8a86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime InstanceNamedInFolder False Passed
7136d63bf45474e6664e1af000f651f97abcb0ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceNamedInFolder True Passed
213e69913a1d3d0797b831ecf16e71336ce98825 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceNamedInFolder False Passed
42b07ef5b0e1214260371b6b23227175ebd0bfde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceNamedInFolder True Passed
764d3d5634a4fb522a6e16bf186913095d89a936 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceNamedInFolder False Passed
fb44f8f459c1c5035347ec1217a969e96db36c4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceNamedInFolder True Passed
ee2b554988ea1d778fe0e48d02aca6b562e3b4ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceNamedInFolder False Passed
7ec74814e6dc4ce64a24dce0d6c2eec54cf6cbe5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul InstanceNamedInFolder True Passed
a4fcb902d84e5951aa2d1daa30dc83914f8e4258 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul InstanceNamedInFolder False Passed
b95c9821afaf7d5a49c5f398551ee053fe07c89c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceNamedInFolder True Passed
14fe85ddf25fcbcfeb1f9a7758f4cf327776b993 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceNamedInFolder False Passed
e5f1718432493436c07d1323b911255889e6fd26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceNamedInFolder True Passed
4f1a768c8ead2aa2fd4983d404eb413bcd3e351c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceNamedInFolder False Passed
164743556ab1a46f0709bf6a17b7fca76d503125 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceNamedInFolder True Passed
f6fc86d7ac5cc5fbb40ad8e281982691095a85c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceNamedInFolder False Passed
3e8fb6a61f52d02d07a31d006e63096f1e1cb816 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceNamedInFolder True Passed
7c32fdb0d0175f6a94d25bbc00dc6b433c37a5b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceNamedInFolder False Passed
1bf34f6aae9f1f6e4fb9d1ac0bf385cf98626fbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceNamedInFolder True Passed
b10648f75850337691153cf3a046f31553ed3745 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceNamedInFolder False Passed
8e3044fb5e5e35b4bfe12ec18dc8f5d0534a8345 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceNamedInFolder True Passed
1e29b02bfda30d624f049cc948c3887828c0868c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceNamedInFolder False Passed
80d207df2df68caf1a34a666188124e3cca95f7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceNamedInFolder True Passed
777e8727d4d2fd676cc190db0ee70f06327252e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceNamedInFolder False Passed
90091d24bc3a4469fd3ce29af5fff7f4e7b948c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceNamedInFolder True Passed
c16206ac6df2caeff04e8c2d938bb893bd343e0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceNamedInFolder False Passed
729f585083313092c76bab6367cfb7b88ab61643 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceNamedInFolder True Passed
adc057aa704fd2039f2a591a6ec0f7f65b43d6db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceNamedInFolder False Passed
494efe8ad12d3c68789e2f6fcb4546c0214a2a54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceNamedInFolder True Passed
7b1bae262d4f1c65bdd60b95ed13b6ce8d658f44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceNamedInFolder False Passed
99c0d2132f4d704c00efafe6b765945b194c99c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive InstanceNamedInFolder True Passed
acf83269215fef75099178fcc77ab3c4a25be796 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive InstanceNamedInFolder False Passed
363ba04fa112c731295073f3ba52768c9edff015 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 InstanceNamedInFolder True Passed
8b893da8f54ae95390a5795232773a49d5f08a98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 InstanceNamedInFolder False Passed
05c38bd721a5042bc2955b0c6e25c0ddf8061b89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 InstanceNamedInFolder True Passed
8fd5d8c98cf3e05ac15b000da8ae56c52e34e427 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 InstanceNamedInFolder False Passed
74382535bd17e149375300dd3202f38e3806d822 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceNamedInFolder True Passed
f1e066182116455ae9ce9dc15e69f1e627ca3535 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceNamedInFolder False Passed
7115be9535fa75be357de5e711f33bea58c1c253 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceNamedInFolder True Passed
1fa190d6af37aee84d1efe0aa198165f18b49b5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceNamedInFolder False Passed
38413adb02208ceaaa6b0043664b8dc8b2723989 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 InstanceNamedInFolder True Passed
3058846a3b3cc523ce6c6f53c84f48c804e145ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 InstanceNamedInFolder False Passed
3fc8b3cc6b20ce124d6be04fe5b5899a8cfce8c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 InstanceNamedInFolder True Passed
0c9b1f06084d874681f9cbe17b0c430babf86d2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 InstanceNamedInFolder False Passed
0f3a9c5b7fb3ff6d1ccf24ffc0795e7157e2ad67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceNamedInFolder True Passed
f4b017296494f8a34f72c95d11f3381a12863753 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceNamedInFolder False Passed
70aa94dcec78ec7f28a3694e78107a7cd29373d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive InstanceNamedInFolder True Passed
aebdc6128acd5e24888bdef4257277bce538b1b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive InstanceNamedInFolder False Passed
ba3c019ce6ab0be64cf843964fe4eabb1b3c1ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends InstanceNamedInFolder True Passed
098c260ede91c901f55e1252da2700e015c8c6e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends InstanceNamedInFolder False Passed
3f1c404e5ecfb456d0818793d3b82cf239cec82f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedInFolder True Passed
36d1a2efd4a1eb0e6aa0fc89279b1e70ec5bb22f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedInFolder False Passed
1d42357bc8f25756e16ed8bd38d2df0e96dd7455 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceNamedInFolder True Passed
c7e6a4bde124ce58779dcddce5fef7efee91566e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceNamedInFolder False Passed
bcb8ebec52b0b812e616d3baa1f61624454fea9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceNamedInFolder True Passed
e4dbceb4c5daa4e0811310a92b90a90e2224d2bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceNamedInFolder False Passed
a136d58569524c656bb4444846e1c890fce35503 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant InstanceNamedInFolder True Passed
6d461029458958fadc38bf9362aeee1109430709 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant InstanceNamedInFolder False Passed
36ea344d77afca911051c5dbdf2889778cb2436c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceNamedInFolder True Passed
7639b2ce8d189e5790bfbedf7f6717a924e79e46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceNamedInFolder False Passed
cba0a0b59c9718d066f89833586ad86bda35647f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance InstanceNamedInFolder True Passed
3c1c723eb7b1dc9e8888a901971aa64098233255 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance InstanceNamedInFolder False Passed
2383393f5a86ec4bc5b291abecb4d62c42af4ee9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceNamedInFolder True Passed
c7b83217b5864afed05b012a5657bf42e171a6c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceNamedInFolder False Passed
9b2f263e18c5bd3be3e4f94fe0ec6eadd5e95e5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceNamedInFolder True Passed
36efe3e7ce29b58674f8e32f8cb1605be396d86e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceNamedInFolder False Passed
99537291f18174a2ae82686834e295c3af551de1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceNamedInFolder True Passed
9439f015ddeee3a465bb9241acf5829a3fc25b47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceNamedInFolder False Passed
60cd910e97d1891babf937b32bed1784bc66b455 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceNamedInFolder True Passed
2601f503cb2003a0722b1b24738ade45f75539c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceNamedInFolder False Passed
770fb0b73956c65ce61f15b57dad97c4c3122a0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceNamedInFolder True Passed
b8a8820a30b9111c142eea5fa1785022290f79b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceNamedInFolder False Passed
d921737ce3ea6b0ec03277dca77ee9c526230b0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedInFolder True Passed
25382077ebf7a9043ccf079afda392605ffd5ba0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedInFolder False Passed
ffb6f8ff69fbac72897715b21d0538ddad84e8c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedInFolder True Passed
a1c3d25c8c4900718b6e6c774479cf9c0c5208d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedInFolder False Passed
67f43ec27b9648d9c121c272f2ae794d4141a5a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled InstanceNamedInFolder True Passed
e5d28d136cdc6f1809e04c924090cc436f5a3ec9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled InstanceNamedInFolder False Passed
904800660441131998c2cab458ffae7eab320a01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceNamedInFolder True Passed
ac8374f38b09d81a006d764508fe5c6b9997688e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceNamedInFolder False Passed
31bd72fe7ed30f0794c315f4b5f1eff3e77e02ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceNamedInFolder True Passed
cae0b20868eb176dd575930a97bff2ba083924a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceNamedInFolder False Passed
8d02fd37cea647c1005c0181477d8b214c2a503b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda InstanceNamedInFolder True Passed
3a8be8dfdb0256cd2dc19debab22ee300ccf550a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda InstanceNamedInFolder False Passed
395ab6c74d128c2b5eb969a3783b3e1f260a45fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceNamedInFolder True Passed
7bb7365f2ab23ee3cee1e2e9b11b222a382222e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceNamedInFolder False Passed
f76749cb487d644b80e73e03e972533e4c9fd714 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceNamedInFolder True Passed
0ded9931d668bc9580c51d280d41dc94dc49cb4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceNamedInFolder False Passed
212d37e741c5ab199c78599502923565b2de30d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceNamedInFolder True Passed
e9c6553e0c887668d2be0494e66956ffa4d4f771 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceNamedInFolder False Passed
9c40e9fa35d016dbae9b14ff4928ed3011105054 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceNamedInFolder True Passed
31d3b8d7d9dd0a9882539ba0c8cc38c5db928675 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceNamedInFolder False Passed
31cd44d01a38160511f2ef11bc31326e22189269 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceNamedInFolder True Passed
47297e681d7eace7d95a7fe06a3afbe195937489 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceNamedInFolder False Passed
3e7939e26595d3464e6636681b6ee036283d5203 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceNamedInFolder True Passed
bc61e7410531c05ab67335e7cb17e5bac10b6b9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceNamedInFolder False Passed
ad3c3c202efb9ce14e0ddefaede016f8598e1a34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceNamedInFolder True Passed
c008a2f5ff8fbf965d3831779ca7dc4a2e32a3a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceNamedInFolder False Passed
3e934bb5535d819b0c5d58264d0c67bbdda6a9ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceNamedInFolder True Passed
f734fa14bbb73de955bfa06cabc86d89bf221ce6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceNamedInFolder False Passed
c5fb50ee3c2d006e725196bc5463d3e8ae8c3311 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceNamedInFolder True Passed
94462d9230cc41d4028be5ea90be42b28cc871f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceNamedInFolder False Passed
d30bcb654d844adacde00021c349917fb510f8b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceNamedInFolder True Passed
31409e77c05c523f8cafafbef9388d157324c0f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceNamedInFolder False Passed
dbd451ed384f4216ccb7a939a6ff07f958499450 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceNamedInFolder True Passed
8f510ff88472e6fbbbba78675882003882414732 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceNamedInFolder False Passed
976f9878775335badf483903f4b4a742f926312f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceNamedInFolder True Passed
627c55e56c24cc3b32cb9b823c7a4080ee3057c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceNamedInFolder False Passed
8bddd81b55929b9828330c8959ecda9225ff4910 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceNamedInFolder True Passed
3825e58a43c8a76fb3883552a54293907cde4c0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceNamedInFolder False Passed
f377ce3647fb878ce648722d63956d8531aebb3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union InstanceNamedInFolder True Passed
f159b91f5e0ac16d25c61b8e28703540cc44d780 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union InstanceNamedInFolder False Passed
4f3f11c9b94ca7c9be5c15c16cb1cda2c2b05186 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceNamedInFolder True Passed
2e55db14c43f3b40aaf5ee7675a1cbb92aa76fa2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceNamedInFolder False Passed
fbba85f2c281e35e7be6f7790ae049f79eb40760 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceNamedInFolder True Passed
fab8ecb729814086d3130c630379ee72fd8c0644 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceNamedInFolder False Passed
e371626a949144f57c1435d3c4235ae00a2e9aab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceNamedInFolder True Passed
7978da2acf1e89e6e5077973065e90a69fec12ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceNamedInFolder False Passed
5f3bb68051cef1f0aa20ed02b152394bdfca93ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceNamedInFolder True Passed
8a38929bcc0b520f45cb92147105ed58a14ffeda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceNamedInFolder False Passed
9b7431912af93cdb50f65b3311cad276bd1f4f80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceNamedInFolder True Passed
7f696f0890d938b94af148f470ab59cf1f816a11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceNamedInFolder False Passed
0e411f21faff7985eb7ba0d94e3bd0d27db8817c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceNamedInFolder True Passed
be0476fadb54f42b0b053ae8ede96def35f4d4bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceNamedInFolder False Passed
6fb09f13d69c479849771a816118c5f99987c5f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceNamedInFolder True Passed
9f82bf591ed2607935e229b9fddb77ac6f2e8c81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceNamedInFolder False Passed
6d64891d1d84b1d82b6f549e11cddcf3ed74ff58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceNamedInFolder True Passed
45df9d5324c75d1192ffb7291a7e94dd649c5203 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceNamedInFolder False Passed
5ac8901656f0ea42b14e6336c373ca6eceece260 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceNamedInFolder True Passed
831d387ea2a8c55d5cc91fd4d23d1a1d19859260 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceNamedInFolder False Passed
3f5f6edb3b810b16e335406b4fdb496c3b6b9b21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceNamedInFolder True Passed
e63a1bc74e4c89baed0dac8991f8c580d0f25327 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceNamedInFolder False Passed
c17c6c06015d56e8e8286c6c738aebb3309d83b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceNamedInFolder True Passed
5a5944175a88883dfd5e2d6253573a9645605c6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceNamedInFolder False Passed
4a155a40593e01511d0995f66238d42faf1c111c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceNamedInFolder True Passed
2f4001af4fbc9f54e8e3e063efd97cbcdfa38378 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceNamedInFolder False Passed
bba4866a6c896e4288b9a1da7e78cbd878c90637 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceNamedInFolder True Passed
5f029eb5f4d79b0aa77e1ed15a98dce5f8987ee0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceNamedInFolder False Passed
95ca66605a8c3f5bfc7329a1371e8b45cba87b01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceNamedInFolder True Passed
e9b41b8d105fe6739e12320f9ef2c856679da7e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceNamedInFolder False Passed
df8528e09d9e675b9a501efe0267542919395b83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceNamedInFolder True Passed
2cefcc3d37690a6ffd2512a2cd0d685fc1b6c7f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceNamedInFolder False Passed
ad87f8eebcd495bf026c707a35ec5bf0cd725080 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceNamedInFolder True Passed
7849955d4a2d8a2214876192669beb9c655c4db2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceNamedInFolder False Passed
05ef129c7226f8678c9eb65c8365cf3c962571e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceNamedInFolder True Passed
c24a13624ed36fb59ea3905af5440028340e001d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceNamedInFolder False Passed
4d489cfbf2117f0040e39b797023ce38401d576c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceNamedInFolder True Passed
b3b5d685543a5436408f873bef51f7d706c337c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceNamedInFolder False Passed
0330e39714c376ffece5f587f35714bd332504c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceNamedInFolder True Passed
1bad807988933e59880bf5b983cfabc592b9f7b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceNamedInFolder False Passed
d5c24c58726f0205a9cb28b955ccbe5fa61dc0ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceNamedInFolder True Passed
3882306dab252106afb69895ff21e7e2a045d600 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceNamedInFolder False Passed
26cfa0939965991cdd942363313411a90687f159 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceNamedInFolder True Passed
3bb693200f2e03baab646ecb9afb27df7122a361 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceNamedInFolder False Passed
44d429cf585ae544d4328d3a6d3d58a94d0a5084 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceNamedInFolder True Passed
ee0da07484d326fe15f07a5f8ebe8d5ea09bede3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceNamedInFolder False Passed
181fb7abeb38d88bc0b8cac1c024530cc45dfe2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceNamedInFolder True Passed
d0792e34ce5d72fb80c8d75d9ddc124ce289fe67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceNamedInFolder False Passed
6f9b601b6e29084f66322bcc5027cb675c60507c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceNamedInFolder True Passed
76ce03d93a225d7c23301f800aaa4c5e2c751954 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceNamedInFolder False Passed
abe15b1f1b8c192a0751ecd65547c9b8270e7cd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedInFolder True Passed
2908f2630ea75e840b21c4a3374a68d7d0eb6814 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedInFolder False Passed
c546598b93ce29b256688190868f0605e1578821 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedInFolder True Passed
4c0559e137a13c61cc32a489eab19cec1fa83744 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedInFolder False Passed
255cddea9124bd753e11e77cca7969715e1aa9f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceNamedInFolder True Passed
743571bd947b513d8db1df579bd33412c95356b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceNamedInFolder False Passed
a0eaac3aab9e061baf4c3cc294385bca8213549d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceNamedInFolder True Passed
5cae4bbb503ae80f3e5b30d31efb036cfe934136 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceNamedInFolder False Passed
a0a50a7bd9ab4ab5da8604f9f5d2e2a8124eceb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceNamedInFolder True Passed
b58b793fba11a346c513f6efd6022e9d3c9205d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceNamedInFolder False Passed