Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
70733ace58de2b38387e49cd5c3050d049ae3204 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceInFolder True Passed
3170645053b3fca71ddf88f3e6dc957e9bcb7ac8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceInFolder False Passed
3fcc62eb1c27bd609510cedb60004fde05d1a22b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceInFolder True Passed
6af3d24b25f076b4f177efd23061a76edc1c7328 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceInFolder False Passed
e9ba30f801ba05ad82f7151475412fb1c34767a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceInFolder True Passed
c18a5020c1dfe81f9c9f64b8dc8326d05f32da0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceInFolder False Passed
2c3d0b81d5bd41f9e9abe9435a8861928b9a19ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceInFolder True Passed
336471d567b681a8770174a7c2910634378a73e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceInFolder False Passed
32ebdc3b86903eac7b4af54dd2f85377cee049ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceInFolder True Passed
dcee9471c170fccf42025752a5e757236d978e79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceInFolder False Passed
e5c989d4fd79a32695838a82f8c6d62912dd6546 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceInFolder True Passed
0b72cfb826a8d469fb1d5719a3a29c7ff092d19b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceInFolder False Passed
07820c81c994b9034740be2b99a1bb42969b639a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceInFolder True Passed
941b13c9d5a282214e7badcb1142fb589d07e7d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceInFolder False Passed
ab8438400c05b9c893731e3fe6606c2570113041 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed InstanceInFolder True Passed
7587cdcbdc3ad55c86f04d5bc93300e4ad9a4f2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed InstanceInFolder False Passed
05c9e3a62267327c3729ca31aebfa0510eb6f87e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq InstanceInFolder True Passed
62893832b062a302360c41650fc096289bb46bb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq InstanceInFolder False Passed
ccab5055338384e4d588f29424c421d4ca1b1049 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceInFolder True Passed
81a206be88256c1f8febd59a9f8b5db46c811853 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceInFolder False Passed
5dbfae4bfbe4a6e7c5c2d13d2f5f27ad306dfc68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceInFolder True Passed
81c964e6cb8aded2dbd3eb7e96ceadf6e89abc79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceInFolder False Passed
afee9a5cd7fb38d69d241a8e9bcf4aed518c9c00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 InstanceInFolder True Passed
a7bfa8587668d578fd91c7dbf561bfd3cc23655e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 InstanceInFolder False Passed
4351e646031ea74cad8ba4133fff2dae682cd5b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceInFolder True Passed
b5d0f0d17ae24734096b581be54bb6a619057809 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceInFolder False Passed
ff2fe610423d2068c981767ac6bf40802ecb59e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceInFolder True Passed
df9c7dd8b93348816a67933ab00001547a8b543c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceInFolder False Passed
62a1f33f20d6792be1c786c6f5733343fe6c5d27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceInFolder True Passed
886472e4a6a15636ceec4b545a61900daaa2a970 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceInFolder False Passed
2024b8d37a4191c2558dfc3a28b5e648a753f11e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceInFolder True Passed
5bb43eaf24e9ed760b17a2170cb95b45f005d655 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceInFolder False Passed
0888c7b246fa94916e034a2954008739830f5af2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn InstanceInFolder True Passed
0c3efbbfb98954553e3d6e2c06f9b6b7df58d108 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn InstanceInFolder False Passed
5e4ace8ff3205547da17e2d4b9b79e5490b21399 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists InstanceInFolder True Passed
17df8b1ebe920ad13eaedc465c9896dee35cf8d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists InstanceInFolder False Passed
4a36167c24dfa57a0890e25cd5d8b1f725698ffb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall InstanceInFolder True Passed
3357354d61cc21479b8601ad89dbbacc89596fad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall InstanceInFolder False Passed
19a55b3b2d22ed67a58071061c3568c2f78af8de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceInFolder True Passed
ca1f2aaa5427d399cc65d241a3bc7b91e9feb09b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceInFolder False Passed
06882ee367c62816bdcbf5f9a1304a0d6a882e17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record InstanceInFolder True Passed
882c41694b0559a048a2d49bc6f9cae91441728c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record InstanceInFolder False Passed
2a2066d2cd431264ad3473984726e2dab77cf3f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple InstanceInFolder True Passed
2f0e84f5d44b7dfeb7db7dc23820c2c58968e615 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple InstanceInFolder False Passed
0020c88aa4de62fafec2eb32df38c2bf7117dac8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceInFolder True Passed
6f567c2caf1708ab513b87e78831af587036211a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceInFolder False Passed
72295ace3c8c0f31f8f2fc12137a995579c185a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceInFolder True Passed
45e43d84f56de918e892fe085a4895d8ec30d8f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceInFolder False Passed
2997ffe965d8a5ae299ea5a4827e8c1d76346f9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceInFolder True Passed
bc1dcbd8bec244c92d89f4c06536d68dd8ea57dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceInFolder False Passed
1afc3618570f1752f2daf49aa5e6f12cae4344e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt InstanceInFolder True Passed
9bad4fe8d6c0615aa09cb5f82f3b11c377af83f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt InstanceInFolder False Passed
c5e02124d8a580ff664f7845495d810b7036b4e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceInFolder True Passed
130cb25cbccddde7db18a6148ad3a06f06b0a91f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceInFolder False Passed
a2de7225dd7cdf79fbbfaffbe09c5b6d0d47198e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt InstanceInFolder True Passed
eae46ab3afa4c40c5fd565d17eb6b2593d0159f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt InstanceInFolder False Passed
8314cc25de7d1ead220cd2f83387e43cb05a1559 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceInFolder True Passed
bc546e3fb31c8ce12b3123c7c26c76afa947f59a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceInFolder False Passed
1fb9773f1297f68658abd12a9d2dd9aea3757afb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceInFolder True Passed
b6f6cb679cd302ea0b6756e8f27f8c1fe3f9b4d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceInFolder False Passed
0ea16956d4091a5b557579a56a03dafe6de56cb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime InstanceInFolder True Passed
b16b01c602dfba8eba9ce15d0393640a76fa0ad4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime InstanceInFolder False Passed
6b77538b9a0516397ffa262c12c33b40dfb5489c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceInFolder True Passed
d4a7609013229e501bf8fc01905ba8c1b81ae403 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceInFolder False Passed
e79cd863970bc21944b0cce8a00bae52389fd0f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceInFolder True Passed
06fb70de78176efc1e60e70983a7f37566295721 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceInFolder False Passed
ad8f3b1ab0b8feb695d2246f5612a75300eaa87e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceInFolder True Passed
7890b958ab816f118da9df2825caa78a59ed4316 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceInFolder False Passed
7f4b2db661eb4a348a5ba67b3fd8dc015570c7d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul InstanceInFolder True Passed
913f31ec4bb17f1e929d3e760ec7e94e7d36214c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul InstanceInFolder False Passed
1c18f771492ac8ad26f34a9041f804b03bf17cd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceInFolder True Passed
b1f2a2c8e7d2937fe9390ed2c93b6026480b1bcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceInFolder False Passed
e352f999235aacf67cadad6af8a168527b24a138 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceInFolder True Passed
b5be469530e63e7999a25f11d6be64db81b271e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceInFolder False Passed
bf77c79f0ad7d5bfe9bc70d88e9d39a7787580a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceInFolder True Passed
0fca1260662cac45b477ddae0246d25a79c83c86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceInFolder False Passed
0e5f2360d642a5c5c042215778780a6fb63fb48f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceInFolder True Passed
92dc5cdace883a5d23a60596895ef7ff985c5ed4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceInFolder False Passed
f515ae08d29dbb69fddb4b4ac52502230d039c7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceInFolder True Passed
f8a876d1a53a0ba7c6b3e4539c149bf5c507f1ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceInFolder False Passed
7c12ec12fa8cb221b111238cb532d3c0e4ccc6b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceInFolder True Passed
fe0b58212f667115690973c35a441911082d1169 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceInFolder False Passed
730906ef73e4d130f430397b580733ddee5581ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceInFolder True Passed
644894f19536f2aa1ffc631efe4a31675d73b62d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceInFolder False Passed
4935e85d6043b0b76b8a9a2311b7345c2a34bd57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceInFolder True Passed
cfdceb6502febbcb05851d0c727e14b8de3db11d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceInFolder False Passed
7322ac9fa236dfbe6cff5240eea1e9aa8c329a95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceInFolder True Passed
3a8dd1431ae3de7b1386fd689070532dd5c6b467 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceInFolder False Passed
a26726f44b5ad7b35969a8329f0dabacf2031ffd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceInFolder True Passed
d9e28af020f19c6fbc7fb2d2948a9897bd475d60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceInFolder False Passed
1bd8a048167471d3200b80017317e9a326fa6bc4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive InstanceInFolder True Passed
2e301e260491fae265161a4aaa958dd8d2a5efd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive InstanceInFolder False Passed
86d1512e91eeef6c46a52c631dc959f299323a27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 InstanceInFolder True Passed
f792efb563443df7f276aaf02941270e38d4a159 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 InstanceInFolder False Passed
091b627531ba459f7b6ae777145544af3230070a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 InstanceInFolder True Passed
e5ff7e3ad3af393b0df5151ee15d3ea8a5e01c3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 InstanceInFolder False Passed
948de7a10d1da26b02ae51a9e4c2ed05e935b9ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceInFolder True Passed
35b458a59936a00d458790c6deef82c3b0e41946 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceInFolder False Passed
229f38e1ef59b366ee600eadd226ef2371a0daf6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceInFolder True Passed
3b5d912381ee45a53f64077d18ec89b4d17b410c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceInFolder False Passed
752b3e6c11b38b27e0f186d580f3e6152daa33d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 InstanceInFolder True Passed
b9214b2a8aec9e9e2789c5b24dc7d7d0b4e5660b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 InstanceInFolder False Passed
bce0f6788c7f48de4887e60f7e5882d22e9d258e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 InstanceInFolder True Passed
f274da052c7d052ffdf6cdfca6accf4ef90b1d8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 InstanceInFolder False Passed
1f8f1f63dea57f5f0c4a14be40b90c3bfe7f24d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceInFolder True Passed
e37f26a197696639337dab9435f59e2faa7b3b89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceInFolder False Passed
5b8f4cf7fc1c411e233b36e8b7c3b7ce6273f70f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive InstanceInFolder True Passed
49b9c38760bc270616b3892cef1d4edf074d6b50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive InstanceInFolder False Passed
3e22a40f3b167d363a041ab0e5e2d888c26d599b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends InstanceInFolder True Passed
bb39025a51b904bac49442f3fbbb946508cf6db8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends InstanceInFolder False Passed
e5f5d139c7c1a33e65424dd77fed985a032f83c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceInFolder True Passed
0274d608965304e3ffeea953ca13170e3056b4a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceInFolder False Passed
33b8eb9930f6c31e6e7547d5d1b461f74128834a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceInFolder True Passed
3a537fd61a135e3cad449de9409b5a99699f5deb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceInFolder False Passed
22411c5706ed8417054cb458632a49bff0ec5153 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceInFolder True Passed
8af28712916eba757a1575db6838c526a09d4e54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceInFolder False Passed
ee3343838024045a83efbd950468ddd9508f5f37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant InstanceInFolder True Passed
d7ee3bbf1d462ad853c2b29efb111700b26dc0dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant InstanceInFolder False Passed
e6a9f242cb2fd8e5fb0caa335b35bc63037694f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceInFolder True Passed
d57127ac73776522a3dcf27a4fc714bf001bae84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceInFolder False Passed
eec25f8d9e7974d288baf5ab1261e9e99d15a716 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance InstanceInFolder True Passed
52582a299243f60cedc4711ad7bd4ecf12ac5848 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance InstanceInFolder False Passed
db8181113120b9c4a0f222e22569a000ed72e042 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceInFolder True Passed
cdad34cf2a07b7ad63d9b080b0a9a387b8ff283d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceInFolder False Passed
2249a3e8b38923276dfa62d357799c4ac9a5cc10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceInFolder True Passed
9bd6b24332a00f91284eea5127b3a6d2bf0378cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceInFolder False Passed
a17c976f6aca54b4b669edb0f1cb64515c9fb50a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceInFolder True Passed
770e3bc8c47aa014be92e099d87e5713d12fdffe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceInFolder False Passed
1f14ad8b94d964a5e147b80050b830abb2024c25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceInFolder True Passed
72e7b39ea7d1973add1c1745263efd6a7c93a7b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceInFolder False Passed
1f676d3e32dd868e1c96620eb0cf1d8bf6aee97d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceInFolder True Passed
c0bd593cf9d167f24d753f046246254decb80cff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceInFolder False Passed
8a90ba67975618ea0bc7ebe30dd2b5e2acc86f87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceInFolder True Passed
fb1684b0e460b884f009ad4d4abfef111f18d861 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceInFolder False Passed
99cf36f0aac64182b1b682e9eb579a08ba118950 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceInFolder True Passed
2284af6e46ae9d8be4bfa5a74549d970b3e39ecf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceInFolder False Passed
05fbb7fe72189c53bc69923e5a9da3027937f1b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled InstanceInFolder True Passed
5cab60e8281451afaa908e9a5e7d4f817f39f562 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled InstanceInFolder False Passed
91c86a6a2bd2fd4fd9b098baca3387c386281ab8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceInFolder True Passed
0b3d72d320a257404f8e356f0aa5d60d9de168df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceInFolder False Passed
7d4571419558a40f5e3133b7a331408613c0b773 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceInFolder True Passed
a5a317cd3423cc38736ebe0c8e0d741ca85ffddf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceInFolder False Passed
b78eb75b5c399709c34fff972368d02be55e422d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda InstanceInFolder True Passed
8bc7dc311fcb362219319d01e6bfb5e9097fa90c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda InstanceInFolder False Passed
2fdd53d4e62c7dcc7d771a13e08ee4fa6c3e4cc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceInFolder True Passed
3c13c46e7c5fe4e2d290974e39cc7363c48d176c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceInFolder False Passed
6164361f3d453c8ea81ea7b3ec1bf94900656b1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceInFolder True Passed
7dfdbfa2b8d34a630cf02758d010af188f29d840 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceInFolder False Passed
74f347b50e47595c5072a1eba38b7b3747ca5e38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceInFolder True Passed
f03fa21ff67536170300b6e8b9af13f7d59a7142 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceInFolder False Passed
b996be9db1d825aff9a95994d4c585a57bf16adf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceInFolder True Passed
aae13df865de3586799b430b670229b599f18ab9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceInFolder False Passed
bbf3cf57fe956ac63bd7b9cd37222d52ff07d185 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceInFolder True Passed
6c4c23f4bc2c71fd19c6620bb657afbc0f491a23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceInFolder False Passed
723d64059171ea352ef7b521f4c1c698b1bfee4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceInFolder True Passed
a94b248470cda703f58af4346afbbcf6fac945a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceInFolder False Passed
6b50363c2253abb58b5b99312ad6f27cc32ef56f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceInFolder True Passed
8c6bafc38570034da73391ef4ec399acb6690c3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceInFolder False Passed
09bbedc0e27e508f824e4d547389a51167615436 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceInFolder True Passed
ac6069fea0f1008c3686980fef500995237b9bbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceInFolder False Passed
60e4a120c46a27aaf550aead16a2d9bf72934d5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceInFolder True Passed
cb8cc8376f39465e0dcdb7c0886ebf8e5212176f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceInFolder False Passed
13bddecadc8b52e9690a5dbfb9c5e8f100d9b11c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceInFolder True Passed
a509080505b89b0e08c3e20855b53739c984db87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceInFolder False Passed
7b1630c707152a60b37d21662856ee3e7be08f1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceInFolder True Passed
8ea3880da2ebdacac4ad2986964b3311925a0ec1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceInFolder False Passed
191e2bc7c2165c82dc431566cf52b10461cdc24e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceInFolder True Passed
c167635a88d0af6b07800567b49f58eae7bdc386 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceInFolder False Passed
67ad8f4a477cb90dcb92d4d2bfe374d61f66c775 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceInFolder True Passed
e550a62f34877d1f27ba52be59ce0f770d75dc4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceInFolder False Passed
b0bccfeb3d69c39e78e86b478e88da8292506fcc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union InstanceInFolder True Passed
6fc32ab616365f2690062a7627e138650580d81e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union InstanceInFolder False Passed
65d931a7afe5803c7e56be69da45a61818bc72f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceInFolder True Passed
fa67fa53f5e0062a5b2c865d5a420bc2a2d0098b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceInFolder False Passed
3c8f3a9624bfe9e7bc75ebeaa27cc68e37a34e99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceInFolder True Passed
7b1c7e9c8e7f73742e367751a6a8454f71c5665c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceInFolder False Passed
7094b237a4a0104dda80d5d9a3aed45fbc4783fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceInFolder True Passed
1e71c030a5082563ba25ef13f5b14102d13e1f8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceInFolder False Passed
7cef346d8dbe7e4b09e5f3befca1cd78b712e970 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceInFolder True Passed
a31b9807da316be068e8347bd4baa41754da347d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceInFolder False Passed
9f6d1902e8927c959b28352fe8a534e264bebbd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceInFolder True Passed
1a8482ccbee9dc9d9928b390273a2880a5145477 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceInFolder False Passed
f06192a94605072cfcd5fbf534f96c106e3dfac1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceInFolder True Passed
40a284a8be3e85cbbb554b93d2a862256c625ecb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceInFolder False Passed
f6589705fdf1759f0bcb9a12700d23c39a11c305 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceInFolder True Passed
606d3ad333a9d54844b36b923fe07e87449bc480 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceInFolder False Passed
f598600ba5c124bd37a0f55ed10fbf9d236ab88d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceInFolder True Passed
b1e94b3ac57d09b1bfce8b19807411aa60e14874 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceInFolder False Passed
12b598106a9df9c6710bfc716a3e597a43a45043 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceInFolder True Passed
4ff107fc595f0e18d2207d1bd79bfc52429c4121 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceInFolder False Passed
12661062522f447c007ad82e00eafa25f678c2cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceInFolder True Passed
48becde417531387d0388c04c1083115e32aacb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceInFolder False Passed
9a73aef025672f257d6e318c52155c9a1a8c74fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceInFolder True Passed
f9e6649c862b2cf1ed0cd2687ba849291cee1604 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceInFolder False Passed
8b9f2ec9c01ec714422f82aa830e946f730e8beb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceInFolder True Passed
07b28440c5e798db213c78ae1c55737fdcd54085 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceInFolder False Passed
9e4f416569305095174042cb1e54ca6d3b465bb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceInFolder True Passed
570ca0aec420f8b691e8171404cfa5383c77eac0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceInFolder False Passed
0698ebc4d3d382f86a45c9c329c8d23ab793711d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceInFolder True Passed
974fd5be081d6ea66f6cf6b2a2ccd25143ae3132 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceInFolder False Passed
7f40ebea5cb93a052edf6448d3610e2810cfc396 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceInFolder True Passed
05e8b02f6764a0894252ff5585b273fc880bdbe1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceInFolder False Passed
e62ff9bf1689c01800d2c8ea331d4b7cccbf2630 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceInFolder True Passed
8bf50048fbd8195cf355749718d12def95c94b87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceInFolder False Passed
07b0c99af4aa241a4397b2d293c9da285044e046 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceInFolder True Passed
5c4dadfb2bc162be8ec44a6b84ce49fada8ca673 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceInFolder False Passed
f7ed59d268c02c2a988c514f527813beee3f4242 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceInFolder True Passed
2f9e8aaf743ae5fc1ce62716a0101030163ababf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceInFolder False Passed
eb3d18ed531762552871e0389f2d3efbcf0b5a38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceInFolder True Passed
127ac7cfb3a412703cbbede5213277eacfea541e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceInFolder False Passed
319cae2aa18d8659f6f09aaf879ba82470597890 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceInFolder True Passed
29573793ee9eb8dcb81e6921f14239e4d2c19754 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceInFolder False Passed
2e42b22e01b73f6ca5abe83ed15955804dcdc6f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceInFolder True Passed
dad68ae8be8515f7c699b7602e16db8d0b03ef2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceInFolder False Passed
a2076edf837b35784caa350c3961e8c79890e86f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceInFolder True Passed
a62949a7f4c3b987a99a042264018300777729a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceInFolder False Passed
fd8c93984e5348f2d2ccb20c68d06134a2e9616d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceInFolder True Passed
8c5074c816d958adf3d5ea8e30805aae776e65a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceInFolder False Passed
b6437fbde75a505900c5be4efa6cd5b116be7eee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceInFolder True Passed
f0f84db3c23efcbcba502627fe3430d989ff6b7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceInFolder False Passed
5a0f12b8bbe5a386efbf40a058fda8ae07e077af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceInFolder True Passed
40a1942ce3a78a746eee87a454c15a8c74f98e53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceInFolder False Passed
97dcf2432e688e70a0d7f49a8cc3ae22c5a94d88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceInFolder True Passed
5a1c690e0da255364db44b75fcf267b73b1c46ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceInFolder False Passed
76f56a746510921a82058a057f87ef0ba2553f88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceInFolder True Passed
feab49f97590c74a29ed3ae02d4c4550d6df7852 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceInFolder False Passed
8908310a7148ab470600465819e161b5063f1ec7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceInFolder True Passed
62964d90d5607fc1178db8f2bb5bdd5753d1a317 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceInFolder False Passed
63a4ca1dd83355747d66af0fcecb34264c9986b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceInFolder True Passed
2e27db237fc6ee9d56b024b86d25af2c397ef8d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceInFolder False Passed