Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
a11847db13a91e19f0eadaff9ce6722adbcc8b7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceWithInFolder True Passed
52270770103569dcda6bf83e97a02f4c8e68e25e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceWithInFolder False Passed
1d9c2bb73e9d5133d93a6a77dea31378e8e6076b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceWithInFolder True Passed
8ae290f0ae3f0f39f8af889076d03a0f11724c28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceWithInFolder False Passed
2f9b3e3466b1fc47bc4f14c81333498569b1f30f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceWithInFolder True Passed
b9b0db8e161d8a633722ca7810b47412ee9380da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceWithInFolder False Passed
8535f88dadf3e8ac6322500ea2132b8eab9d4ae6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceWithInFolder True Passed
6461f42b6e980923c225c3f7644c381e56b85ea0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceWithInFolder False Passed
7d6caa73c0774927ec881e3619c5e562519d2025 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceWithInFolder True Passed
89b745a2417c21fd85274fc3c9ff97128f01a833 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceWithInFolder False Passed
d72a4d1496410a13ad7c6df90f7707103925b3ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceWithInFolder True Passed
bc4c870f2c922f690a37ad05e539bd31ba1ec2b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceWithInFolder False Passed
3b4c12ee2dcdf8d2cd3281773c9bbf1e1c0333f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceWithInFolder True Passed
2d92d34e6b06d6b1ffbff0ff2d4ff495d040c863 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceWithInFolder False Passed
862a856d8181871611f7b545f792c6ff18fbdce5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed InstanceWithInFolder True Passed
939feb24d0eb349cc54c0ad27d49571c86a6191a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed InstanceWithInFolder False Passed
20a99cc345d23c9b2c32944881132bafa22dd93a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq InstanceWithInFolder True Passed
8bcb74612a7a1f92d841529cd3b9e222cd55e585 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq InstanceWithInFolder False Passed
d86abafd421838268fc4e2fe243aeb355b3a10bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceWithInFolder True Passed
a12192895730dcdbfc3d25e61ad392058e02cc03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceWithInFolder False Passed
d255c55eb4c8193e1603e9365c3700e5f60d23e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceWithInFolder True Passed
1f85de762ddc3809bb7193c5c93b092a59f988a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceWithInFolder False Passed
7710229962f82a79e663d88a9b4a232027941a77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 InstanceWithInFolder True Passed
a2ebb32e4f20de2d599820ac3edf0ec067ed2636 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 InstanceWithInFolder False Passed
8aa91c3651d49e445b8a21ba221313596a553dc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceWithInFolder True Passed
9041e51f57328ca56c76afed70cfa5f31857c50d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceWithInFolder False Passed
7a8092d078d467cd8e22cfcfc169912aa6345d65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceWithInFolder True Passed
5cac22886f93927692cffe4fe5e1f71b4693d463 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceWithInFolder False Passed
8d1bb69f665e1d5510a365a2e1e14217a0e2707f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceWithInFolder True Passed
dedc537c518c622976dc604c4b815919a0548555 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceWithInFolder False Passed
b1077ee4365c0b567d1a8f3b27051b6da1281fbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceWithInFolder True Passed
7ef01d2ed94a18dcadaf893b0e553d2ad7bbd5a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceWithInFolder False Passed
f8a24727dd02b1fce10221012693167c648b0e79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn InstanceWithInFolder True Passed
8009f7e2673c4db324626c312814dbe40f7f6f6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn InstanceWithInFolder False Passed
1c516410af05236e210c4fb83ce88ee98cc6b0bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists InstanceWithInFolder True Passed
7f1cea26d0233e6d8919f77b0ba6d9acd6ba4bd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists InstanceWithInFolder False Passed
a0e853783dcac5a0da157f9a52bca31edfe564d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall InstanceWithInFolder True Passed
ed15e9bbd121c789e15ceb72cbe7b0b7ebe152a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall InstanceWithInFolder False Passed
63bcfef9c58031820b9624526db9480ce2371142 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceWithInFolder True Passed
1f0d835a26ba8c196410695ce58beabde8e9b8ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceWithInFolder False Passed
d1ab9517924058918258522078b3d9e2cfb623e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record InstanceWithInFolder True Passed
2adb4f1e2b4892a6fcf698e10ca52f56d6cca1d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record InstanceWithInFolder False Passed
00576fb5676f229b2b8614bc71bfc0e9bb5cdb8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple InstanceWithInFolder True Passed
b56c46cf277a66992ddb43c13d9464fa444a947e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple InstanceWithInFolder False Passed
6db10a1d029233af66cf50a3834961a674ed8df7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceWithInFolder True Passed
3a6b062d21ee113f00524fa9ea97d641476de3d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceWithInFolder False Passed
1b779ef39a7a7c157a8f60cf0ef838b2d54c51bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceWithInFolder True Passed
986dc6b0bb2f9af71dc935d3a744d322124a25de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceWithInFolder False Passed
36dda1acd81a9760749d17bf9fb0dd61af24e654 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceWithInFolder True Passed
c2f9b01a2ecbebdb3ad312aaf0d8dfdc8728d349 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceWithInFolder False Passed
db3ae5c754b09736598e4c624d953236e8c34211 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt InstanceWithInFolder True Passed
f6d3f8afd844cc0bc38c40830b9a3194ab4482ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt InstanceWithInFolder False Passed
f0277f523d7ab26c885332d7e0fca9c7db7f074e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceWithInFolder True Passed
29d60ea570357b8b4ea94f2e364b9d993574bb78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceWithInFolder False Passed
ab8fdf713242f28cf699467735be7ac5e3bf1552 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt InstanceWithInFolder True Passed
34020702900bc4236866fae5198854f16012709a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt InstanceWithInFolder False Passed
355e5b860181c4c646cce47cac3261567cf6471c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceWithInFolder True Passed
fc7401876352e16e255171e169cff067aefc5ec5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceWithInFolder False Passed
b2186d9abdbd72c2a8a2d4b36450da71310c8d58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceWithInFolder True Passed
8c946a5c836233c97c212b8aecd68d019228e281 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceWithInFolder False Passed
1f09b9632ffa8c3412c2e8aa1ba1fad181377d2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime InstanceWithInFolder True Passed
961c0fc9f9208aef5a216fec26b08e185d5dee10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime InstanceWithInFolder False Passed
9bc818d436c4d62386ca3d70894a012fd89b70f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceWithInFolder True Passed
779b098a2b2a4138463b018dcb06b5c9e1a8f6b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceWithInFolder False Passed
1fc44b2fce145f94db31873cee88a43ca3955c8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceWithInFolder True Passed
985e80d282b5fecb7ddfda5d07a18b9415d038e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceWithInFolder False Passed
48e7521672510b4e1c0e56be8c0e0bf83f5c60bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceWithInFolder True Passed
1a7cd759885b101f7452e78b3b8446822effb049 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceWithInFolder False Passed
6cdee01b77fe7ba118973b8cb10e6bee512f33d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul InstanceWithInFolder True Passed
f8648a505a981d1c7c6bf5781ec682c5a7112c1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul InstanceWithInFolder False Passed
9e11fc67a19f168d50c429697f2f9bcf29f52d1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceWithInFolder True Passed
5c991b8f34e3f5698909346e595bb0aeb93accfe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceWithInFolder False Passed
7c49a6a5198aa0cc307df86893d5fa42cf91320c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceWithInFolder True Passed
f49901eeba99f29fe1e1267c5f9041ae5d096e01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceWithInFolder False Passed
a1cf504d7e2635a100f0754fff5a151eed5fe24a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceWithInFolder True Passed
dc9594b9be0b81f8fecbb3e2a43bab78fbf3c9c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceWithInFolder False Passed
ab2279725882c959a5c3211368a33420b85dc53e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceWithInFolder True Passed
4ae06d5747fda792cd381aa0e72757832aa096a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceWithInFolder False Passed
3b5e6954cdd70102818a2314aa0b80f3daf0329c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceWithInFolder True Passed
e67dd17a2fb5ce163240c6e72710c5716847700f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceWithInFolder False Passed
9bc86c28ad8db0eac60ef9ac0c1430d39aaf5f16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceWithInFolder True Passed
a34a7d91ff5f6203d8b94cf3abb50ed6af86c9e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceWithInFolder False Passed
da6114d79f6fcf7d8e97b7f37de6d85e8fd27e6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceWithInFolder True Passed
68df8f57d708471422d003cfe52ca7a146d219c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceWithInFolder False Passed
e41f9574dda6c68539fecbc0526b78c99f0c1de9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceWithInFolder True Passed
e04792bf3069d57187b09b0cfa65c8aaf19f580b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceWithInFolder False Passed
81aad5e67cbbccb911ab40e3405401d4a6115f9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceWithInFolder True Passed
9e4d5db880a5c9412d4dafc9a9f79509d33ca167 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceWithInFolder False Passed
a51d4e8b1ac3224414aceae0dab5d0b5f0b47103 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceWithInFolder True Passed
ec22b2a1cca4cdd23b2f5c930f157ed3eb168a41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceWithInFolder False Passed
a4ca95e2b1af5e38201d4176608ca324a0a60e01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive InstanceWithInFolder True Passed
311ee4a84e12b5d1357a1ced76401f9926bbf651 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive InstanceWithInFolder False Passed
af4258d577fe3df685426afa7dac3cd55365b6cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 InstanceWithInFolder True Passed
b6b33a5b9fc9aae91d177fe60ce291a738306368 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 InstanceWithInFolder False Passed
63552a7aa5abffc112facf2506ec74b95fba3c51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 InstanceWithInFolder True Passed
344e6093e6894e96f115f36b170d9e4d2d503069 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 InstanceWithInFolder False Passed
57438a828f9d606249356d58a31ba1d1ef4c44bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceWithInFolder True Passed
1e39b4c6684ca525fd1973f57e3babb612477517 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceWithInFolder False Passed
e24d2929c6e197482cbec7edceba1c78552e04b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceWithInFolder True Passed
32f5bf0a96cb4b71c5311a89dbf68cdda52eb9e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceWithInFolder False Passed
d116cd160aac0aea999fda8abf63ebf8c08d2f41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 InstanceWithInFolder True Passed
bf2c760d00024dbe11157d39cb543546625105e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 InstanceWithInFolder False Passed
a98463ebf3c845cebaff130fb048087aff185bf7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 InstanceWithInFolder True Passed
c23ae20f55a77ffd7490358857b801b8be21383c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 InstanceWithInFolder False Passed
17e686d133509738f58ebdba4999cc46c55febc0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceWithInFolder True Passed
fa848ab12faa5580dfc353b7f9b5ae86ac25adfc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceWithInFolder False Passed
0b38b275faec578db7f2e736b968fb13e7c1a2f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive InstanceWithInFolder True Passed
29627ce92ef16017af3b62aced25cb455f490724 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive InstanceWithInFolder False Passed
e31ef07d5c4948ea8678ccb65fb314e2a2d6a687 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends InstanceWithInFolder True Passed
a72ce58120c0f9a06c0c43156c4193752c0e0b55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends InstanceWithInFolder False Passed
0d9d3d7a7a967dd9da0db357b853c45a2c329122 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceWithInFolder True Passed
f6d40aa552db053ab42d3ffbc1c183b0215a8bf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceWithInFolder False Passed
2e2b5100558c10ea84887a9d96cdce8de6050ad3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceWithInFolder True Passed
691fff4209c4fd7a99146137245b37cc541e209f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceWithInFolder False Passed
997d57063c7c90f390410cf79268bc8639a71846 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceWithInFolder True Passed
6375febd4646e31e991c16bd223f8deba8a6d31f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceWithInFolder False Passed
271031c9914188ce69d41213d9ffa93592f0e728 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant InstanceWithInFolder True Passed
79f4b9ca7c2475c8fe84361cddfdacbf0781deb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant InstanceWithInFolder False Passed
7930994537d239904fd3487de7db7c81653a300b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceWithInFolder True Passed
18aeed1a4436e183bdc5eef55888127700be9a26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceWithInFolder False Passed
fab6d03faa92bb919d0bde3401dc6d0daf7a26e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance InstanceWithInFolder True Passed
8cc1ba92afe5ed3af551b1b0ce85b529d6e5b447 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance InstanceWithInFolder False Passed
afc3343bf811ea581e17ce51d56ae886da287876 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceWithInFolder True Passed
f717022d10537c2da094469fe8fe3b5aa04cc9e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceWithInFolder False Passed
cf4d07e29543243e1f79d4eae9ac015d9f1f33b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceWithInFolder True Passed
ef7a84a0d45d71f883d6ace24e929138a19fd725 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceWithInFolder False Passed
ee7826c81185b19f9f1c8b97f846f7b7e1289c7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceWithInFolder True Passed
141688f27ba85dd89a0755efcca61fd5e222282d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceWithInFolder False Passed
bffe82512fd88be333f473b89cc854e7a50b95ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceWithInFolder True Passed
2cf44fdf591e40cd83bf54f1690a0381ef938258 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceWithInFolder False Passed
2cb9a18472f79eda3745e68d464ea2868164a8ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceWithInFolder True Passed
530c8814d4faeacef5a1f25b9435bc6c8cafdb8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceWithInFolder False Passed
77d54aa45f75ad74e0bc7afe91a2555fb8d38749 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceWithInFolder True Passed
8a9578138e7044de29cb8d9e63f55e7855f584f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceWithInFolder False Passed
a60b415db992349ca2d621808d0153e46e32d969 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceWithInFolder True Passed
de729f6a28cd69f5828bb2b3821b5c46c2d26deb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceWithInFolder False Passed
1d952f6e81da3bceec389f3128f8a2cb17686087 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled InstanceWithInFolder True Passed
1b134d1437a58c9508ec5ecd0aae65f7ea26e65e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled InstanceWithInFolder False Passed
56754fcf29f3468d42f3a4f6cb2cd1e181c4044d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceWithInFolder True Passed
fca72b100a9280a82dbbdc1102df7281e7d15e8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceWithInFolder False Passed
4f48e7d12a59ab1ed1874a6826c23f69eb27e28b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceWithInFolder True Passed
11c8b59454b364c5b177ab68732aea6e739c432f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceWithInFolder False Passed
c6a5cd4eac83fbdf3b490c94aad2b0426f2ba8f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda InstanceWithInFolder True Passed
14c4e04b4b4ba3af3f0408bbca9bef8ee92e0074 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda InstanceWithInFolder False Passed
8b7d9e74c578b02264e099a5eea0b5f8c9068d52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceWithInFolder True Passed
3e5d08e0d21e997b522197b6dee0f34c774d0551 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceWithInFolder False Passed
b9c7e35627852bebe44df90f8d985ef571cb0e2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceWithInFolder True Passed
3eec4f55900f72b0594cde55473a948db87bf437 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceWithInFolder False Passed
a1179582da241c86151e9f088f26eaea7d2a0122 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceWithInFolder True Passed
51ebe5a1b83d5a50a68c923abe617685376ddf80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceWithInFolder False Passed
42ac5eb0ec440534122df26865e6453fb0687c1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceWithInFolder True Passed
4e595624289987e9d57d22761f0757a226cb5c1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceWithInFolder False Passed
cc13ecf66cbda94eb7c12b7b7e5867d14a51cac1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceWithInFolder True Passed
b0122c034134994fd6f4fd3b0f27cd847dd7533d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceWithInFolder False Passed
5d24a2550f60bb034c9a1797fbcd57953535937f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceWithInFolder True Passed
56692da1e3a7079fddf1d58db15c49313cd54dae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceWithInFolder False Passed
bfb02c1b7a346e74470f397ad638c6997bac0063 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceWithInFolder True Passed
597ded1b2287001ed89b3bcb0333a6ec06a97791 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceWithInFolder False Passed
8c2fcdc1e45644bbbbc210a3f5da4d2f5de3338e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceWithInFolder True Passed
a1783569f450da54fa821124cd9a4a4e256762ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceWithInFolder False Passed
c170b38a83f6402b80767fea45c019d70fd8a842 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceWithInFolder True Passed
16464ee89635fb6c974d59c7d82f3fa90a7d4cc4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceWithInFolder False Passed
7a003f466e38bfe38850d1f77311ef777f2e3e3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceWithInFolder True Passed
433709c8b71513ce60e4de77e538801449354822 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceWithInFolder False Passed
9b81f9a465e4984cd7184b6674e0f6ba755108ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceWithInFolder True Passed
508fac88ece982b97f9fd1e2241ba6d67e84b572 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceWithInFolder False Passed
8dd7199b6e27af7b9441e688db6ce7b6ca07b31f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceWithInFolder True Passed
92de43d27f7b2d72bfa45d90a0a551e20c7871e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceWithInFolder False Passed
2cd2e33615a87ae6e21874b6aa472263ce6d2176 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceWithInFolder True Passed
2d7501d7714ec79fe5ea96c9323ed65995e8e05e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceWithInFolder False Passed
ca41191f6c8475ccbfcce3b0fd149daf17ec2487 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union InstanceWithInFolder True Passed
457728bb757cc143dfc45b2b574085c4da3a8365 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union InstanceWithInFolder False Passed
6b11b91b00e1b0fe151fb439496145d43959bbdf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceWithInFolder True Passed
b026dc1910fede94eac9300c20035e7800a06dea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceWithInFolder False Passed
35e3fe0bb84562fa334200462292a020221cf761 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceWithInFolder True Passed
03771ce1b37257838aac33dd4a07c1f61750845e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceWithInFolder False Passed
d284c851e126a212088229505f1b8b70809e86d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceWithInFolder True Passed
50c646a0d7e26413c62ee294cfe017cc919257f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceWithInFolder False Passed
4f57acf50efc9211e561912d234db15c3766ba12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceWithInFolder True Passed
f9196a3dfb4061055fc11105cdf62018e9621c5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceWithInFolder False Passed
71ffc951e268f113b86ae0f9549deb452f2b2c6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceWithInFolder True Passed
a09f09ed67be536ddb41ccc62b96fa54fc212ca4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceWithInFolder False Passed
ef7de71f97d24439ff32d38ccc7d339cfb1ed764 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceWithInFolder True Passed
97a28f9579df6e6f2473fe0ba2a3346fc292829f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceWithInFolder False Passed
ccbc76933e52cc15b5ab47372eb78181b4042ff3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceWithInFolder True Passed
b5162caf69d0d87913b5201681fa224ca61768ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceWithInFolder False Passed
76e14ed8e8a04a4d3dda8d62cf38303293d200e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceWithInFolder True Passed
33674b38325bc78276800a787758f4b8e65d2849 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceWithInFolder False Passed
2f1dd227090ae97825dbea42389e39253e56e5fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceWithInFolder True Passed
3ca891497a3148740e444210245937d06db12315 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceWithInFolder False Passed
93b2e506e5073c645975a9957800dc2530cff2e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceWithInFolder True Passed
2bc3c1a756fadb4cc7cb99cb93f7b8a21ea5e8b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceWithInFolder False Passed
a7a58c9c443bafc6568b70a96b8e9723a8bf80ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceWithInFolder True Passed
8df4d644a9dd3c92b69d924b68e73acca3a3eacc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceWithInFolder False Passed
839889542a9a0176146b8ed49cc3e6717dca4c07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceWithInFolder True Passed
f8eb2196cb30c91f756a03567391421b7d4825ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceWithInFolder False Passed
679d08e8c24ccafee512d1bc435350fc2e5c2157 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceWithInFolder True Passed
70ac9fccce9891278d90a617659caf7858ed04d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceWithInFolder False Passed
72071f444ea571a03325a9f90ca160d5997d40ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceWithInFolder True Passed
28d714fd318b02727d9ecf7f77a09004d460d64c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceWithInFolder False Passed
b73062193a20a0f28de6dae9bb5290ff4e99557c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceWithInFolder True Passed
ede60abcc77b6420d07891050cff756154a1b09f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceWithInFolder False Passed
238659b514165bd1be1dc04a73bc60dd620249b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceWithInFolder True Passed
c9ed1ea76a3ddf1e8bfa80dcb1950640c11beeab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceWithInFolder False Passed
67b2b944f7065b290c86907a9a5a8d33272bc993 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceWithInFolder True Passed
be55a70cde77c0e9267ccc0d06624031aa28de01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceWithInFolder False Passed
acd25290acdc13f1e05614abaa7a8d8986204476 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceWithInFolder True Passed
c636a53ed8afe289e94c5c51a9578cfd1f8070d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceWithInFolder False Passed
07004d3e51fe2457ef45372531141f5467f69fd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceWithInFolder True Passed
6cbd97ce5c8a9689b2b6ec44550a0c32e5c2854c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceWithInFolder False Passed
df0a2668903110f91a9fcefcdf5bb583c820fed0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceWithInFolder True Passed
4cac3fb5e07d84bcf7829836114606b6cc609de9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceWithInFolder False Passed
d6f19457d6cf192780a4b3de458e5e0af014cac9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceWithInFolder True Passed
d473a6b3e65d05299d2db36c3fa4b8656334354f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceWithInFolder False Passed
4bfe534fe88fb9731b4088dce33fa410f4ce62ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceWithInFolder True Passed
8c4c1e2333abeb686decb345cd191e0543fa18d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceWithInFolder False Passed
5789a40c7035d8ed51384656988b2cf651216e4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceWithInFolder True Passed
3db3ceed4b533609338c0bb172d6dcb869515c3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceWithInFolder False Passed
7aa28e67c4abc05f0baaa752ecf387394dc20b58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceWithInFolder True Passed
5c598312f7891da29234883f7ec289ed0d2554fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceWithInFolder False Passed
5aa2dc990b451e3184818439c23714b64adc64d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceWithInFolder True Passed
d1d1a90bf434ddd04727848ced013ab6e801a7d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceWithInFolder False Passed
8ae13447b33fcf6ff594429c37dd4158a6ee2212 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceWithInFolder True Passed
6cdfe0870e7e458c63525d1bf374efb14d930877 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceWithInFolder False Passed
b72d0965f2d926beae70a5145b1da0ef223126d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceWithInFolder True Passed
22a00c41f107c2b4f3d44efcc43952e1605db76b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceWithInFolder False Passed
08894fc1e1060900a97385675a80799252c09067 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceWithInFolder True Passed
3cb1d56bbd11a7a0cdfa31afc770da5a2854c26a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceWithInFolder False Passed
2c2edb2897073f16cd049f7f3f5dd979c34b93b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceWithInFolder True Passed
b9fb1befe45d09b44269d55707b328cb5f0091e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceWithInFolder False Passed