Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
4620d8bd6aaabf94d34c7822ad1d6a07c7cac0c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And ConstantRank1 True Passed
1a88014be171022f57b882b5b0911d208f317330 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And ConstantRank1 False Passed
c15b089bd02d3bf56a0ff856941d903a18106dbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine ConstantRank1 True Passed
ff788670a7e2bddd03af84b59312ce1f9b177217 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine ConstantRank1 False Passed
8931945fb2bca06498cee47bf94e344736c2f33e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply ConstantRank1 True Passed
4ca4a16dc8917b566356044767c1a1730dfd5b03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply ConstantRank1 False Passed
4c5db19da29c84fde215a8fc8c2f2f010eec9cf1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not ConstantRank1 True Passed
9a1b33e5edc7882b929d1a1109b1b74ad14adcaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not ConstantRank1 False Passed
98f1382ef6898746ba5376d38f79068b05ce1959 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or ConstantRank1 True Passed
59de296668b644925b639e39c033f6fa1b7e8523 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or ConstantRank1 False Passed
35732ebcd600026799691f38e02005116e639f3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine ConstantRank1 True Passed
23bea4310d03c2df00c4f936caf745933517d184 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine ConstantRank1 False Passed
27ce1fbeee894edb2617835a3026022babb1515b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed ConstantRank1 True Passed
5dcb66129b5deecb582d775de5b8ae5c9526d006 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed ConstantRank1 False Passed
7d1d67538c1a7c1cbafe092f5f909aa72990180d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq ConstantRank1 True Passed
564770d386059389d95e5630084733e13ff51a29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq ConstantRank1 False Passed
4bd6bae03d45eebf2842ada94b93cfb83f0de24f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne ConstantRank1 True Passed
101ab20825c828aef2e58c9f0058127f62df3284 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne ConstantRank1 False Passed
25b70b43e1bc45d6ed69974620bf838cd8aac3f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let ConstantRank1 True Passed
c453f8ab314ff0d7c033c7bcc8179c6e50f24781 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let ConstantRank1 False Passed
33b0fdbc9735d0118aa261a20e7cc6af462318d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 ConstantRank1 True Passed
06e89a0bcd3f45899e8febed6db5242dbc95411f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 ConstantRank1 False Passed
42e7a2e6a3d8411ef3a67da437c065dcec96c78c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 ConstantRank1 True Passed
44cb30eb13854c3042671e355d76d15afbabf7e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 ConstantRank1 False Passed
ace947b9e3e3d1afd69deec18cd1a5487d345c1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 ConstantRank1 True Passed
cd4cb269bcfa7d228fcd7ae0e145e55756d7d1c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 ConstantRank1 False Passed
cb7ba4b0b84771a296f8c88311abfc50e9fd4944 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun ConstantRank1 True Passed
9cb4287fc0fc360e4e0e69572336e478d7250b5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun ConstantRank1 False Passed
19b8099ddc626430b7e7d2f25b03a3a0ce667e29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In ConstantRank1 True Passed
a9fb14597632aa33b4820d6a4950852122bc43ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In ConstantRank1 False Passed
e59371a29336a1cc0b0dc252921fa0b8a3f74e7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn ConstantRank1 True Passed
aa7764419ac2a06cc96b1e5b8ef33a244103e434 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn ConstantRank1 False Passed
bb8d73d5a9b9cdd972fa90fe17d777beffeab68f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists ConstantRank1 True Passed
545fc7282feb31ec87a1e21fe2172591f7bdaf17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists ConstantRank1 False Passed
96c1a32a29e3f348b761762155002c6b1615ad71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall ConstantRank1 True Passed
b63ab8b191065268bbd50bae98026e4a85294b4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall ConstantRank1 False Passed
d2401231f69936c9be9253426d7a9a6454a92181 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose ConstantRank1 True Passed
fba1f0f31ef8106095c2c8af60e9bdb13a4388d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose ConstantRank1 False Passed
bd413644ac064e2af7b96b70225a368441b06f4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record ConstantRank1 True Passed
ee0fb4db338edf1aeb7b2f56cf02f6a0365a211b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record ConstantRank1 False Passed
557b14cb1f28f0510ea032f3e384325f8b0b0ee1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple ConstantRank1 True Passed
5984ecdb25ba4ba7aa5510318b0647028a276402 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple ConstantRank1 False Passed
5205f15ea8f7a5b46b0198b402d9cfffee780795 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp ConstantRank1 True Passed
ed56924020644880e100f0655a598875205228d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp ConstantRank1 False Passed
cfb0997da825ff13ffcda3a9fa61e41c8cbdbb03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 ConstantRank1 True Passed
bef1808eea67e7fad5ed99cf5eece685bb187516 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 ConstantRank1 False Passed
ab7d7d378e9c49fdaf0fc584ebc6d6a6bed6a3a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun ConstantRank1 True Passed
b1c2dff4f6498102631cbb7228e7695867e02f83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun ConstantRank1 False Passed
8dd517653cdabdf2f55bc5afa2beccebd73a721f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt ConstantRank1 True Passed
3f1417389a1beb4be7f98a541c2af774d6e5d38a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt ConstantRank1 False Passed
6c7f455b565d24558c7df265e0872f5ed3ec74a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec ConstantRank1 True Passed
8a0932e9f93697bb92a75a194e3fa54bff37efbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec ConstantRank1 False Passed
332d9ea94bc217050459850935e919273221052f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt ConstantRank1 True Passed
b839aa2c355b218d4279fe692c2d26a77815a821 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt ConstantRank1 False Passed
eff233ecc6f6570b823bcdcad61921087f1a79ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun ConstantRank1 True Passed
b991c3287283ce7c85809a708ca43b55feacc8f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun ConstantRank1 False Passed
4ed3ae93e29db0839fa3fd0e6eb2807db7e01df5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple ConstantRank1 True Passed
9d3fa2c5ca4499c6002c9e8a915b5b9f9fe1dd5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple ConstantRank1 False Passed
4fb9b612f2aafeda31e5419482731a54d29f26ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime ConstantRank1 True Passed
6b2ae24f96bfa820671111f6bd9e284d79bdbc24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime ConstantRank1 False Passed
c5de1934a3add5b3e935f8aed902254e212344ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus ConstantRank1 True Passed
6c866ec4ffa2c006079140a0a72b55f18386d148 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus ConstantRank1 False Passed
fb9ac2e68aee8e1ac5d45cd6e04dea98eba19931 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus ConstantRank1 True Passed
e1fdc87995c8a10d7595d380fa259fbb0c03a056 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus ConstantRank1 False Passed
e90f2c5c747e379bc985ffd3a82cee5a5b6741d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus ConstantRank1 True Passed
5ce89c5970f50a22424c3bc1d6655c22e4aa8182 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus ConstantRank1 False Passed
d503d433819e27678558ce409e03660b967f9f7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul ConstantRank1 True Passed
9bc83cea4ac27a0f49bd2962442e77c798c08156 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul ConstantRank1 False Passed
5dca4c499c3ab495037911c2617f99beb55b5d84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv ConstantRank1 True Passed
51825ff58649827f3283e91fb5f16192345ba151 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv ConstantRank1 False Passed
2f22d9330974cc3c9c4820b4f3d13fdf0b3a3305 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod ConstantRank1 True Passed
cfbd2f25b2d86220a0fb653595af826fee6c438d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod ConstantRank1 False Passed
0995685aee57bda91fdff122582c186e5f00c65c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow ConstantRank1 True Passed
371fa31f3353bf04dcfeba113a38d1333f6c0bff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow ConstantRank1 False Passed
af5c05bbc54db3db55f96b003de627c675af17a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt ConstantRank1 True Passed
dfd5533e8ad47954fbe50d5ba12d7b5ba19e6643 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt ConstantRank1 False Passed
19b0610301ecd6f8a315bdeb5e44c485deebd7a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe ConstantRank1 True Passed
df6d4974bfb6b04051770df8dc6e7b79e39be422 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe ConstantRank1 False Passed
6ebae745cf369bc0b1a2e75fb6c10b0e51cfddfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt ConstantRank1 True Passed
187f0a165ef6a2c977d309e4bf31cfe3a667ac9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt ConstantRank1 False Passed
3d66878ba5017dceede99ba4462b61046d990710 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe ConstantRank1 True Passed
c20dae0cde399656e7e68c7eeea2737bade8c7cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe ConstantRank1 False Passed
f8078d85da26ddfccb0c4bf4006397c125a1e988 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun ConstantRank1 True Passed
b8f3d12e6e96ad61dbedf868ea52f18ae3bbd423 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun ConstantRank1 False Passed
7030dd952d194a334e46745c4c9276b45a84318f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun ConstantRank1 True Passed
026531d10ba40a9a31867ce57ff92ac8d8f8927c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun ConstantRank1 False Passed
f32dfa74d693f348a9cdd50b68b333f98d6d0e75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive ConstantRank1 True Passed
d91c5cedc7371778e18b6f6713f7fda5c6c3dd89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive ConstantRank1 False Passed
d32a5040b30274995a4cdae4bf8bf4aab908c954 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive ConstantRank1 True Passed
30aea0839f27f2fbfa515c3355212d58b30aad27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive ConstantRank1 False Passed
1c37517415293f22c8627d82aa3c0e3b27990672 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 ConstantRank1 True Passed
9bcfbf49b9013aa7c1f707b6191b6ea9a8d4c42a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 ConstantRank1 False Passed
dbdb0dc40bb06cb30cacf162fa08def8cf8002e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 ConstantRank1 True Passed
3c546a2095a6c3c07617872c9d269698c398d5f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 ConstantRank1 False Passed
f6ddfc45496ee4d112aac54655907e15fefe65f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 ConstantRank1 True Passed
713508a404c2dee386b08bece48af593b6b2b7f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 ConstantRank1 False Passed
798e59ff5ba1d5a683acf4b7f6323b810f0f0bf4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 ConstantRank1 True Passed
bbf70d2ed92d5998d30b8f0067c8eebe5379c15e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 ConstantRank1 False Passed
e7e0b7608de567532a646e241483c8e9e896868f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 ConstantRank1 True Passed
614f8a47ebb672b279c8298eb5beb593fd45c939 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 ConstantRank1 False Passed
4cafff6ae9a07a23a57cbf537601710506a702d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 ConstantRank1 True Passed
69b82cfb346176ece437358068fa3c3b0fcd9720 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 ConstantRank1 False Passed
d9f79f85ad4b0d97b06d4e210c6d18b3a89ac718 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive ConstantRank1 True Passed
89749369bfb8a62ab40e8400c2328c042c072956 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive ConstantRank1 False Passed
01f4f5312bc033ad3c597d8d48905a6496b40f22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive ConstantRank1 True Passed
6b780f01235779cc88785a85bb364e9ce777a1c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive ConstantRank1 False Passed
9942e909e0f7b75ab21ce4194606c32e6f20586a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends ConstantRank1 True Passed
44f3c605109121c5d0dc1002a1f8eba49d8a46b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends ConstantRank1 False Passed
cf5da42730bc0b8391286949fa3af30147b91930 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder ConstantRank1 True Passed
9f28efc3e718fc4c27bcdc227c768514609eb03a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder ConstantRank1 False Passed
f4cba23da96ca1390b4065e9adbf02035d24b9d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant ConstantRank1 True Passed
2249090331c2a8316e9cee33dd25aafe1590019d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant ConstantRank1 False Passed
1b97bf3ea888358f8431e8064c8f89d1ce4c2ed5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 ConstantRank1 True Passed
0d438f89303db56f069113355f1d11ca200b5830 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 ConstantRank1 False Passed
400f73c576499588875ede7ebbdda665d28b0bd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance ConstantRank1 True Passed
0e2c2152f4f89fb73c55cbc2d4bbd0f31dc000b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance ConstantRank1 False Passed
7ddcd9ec18fa0b2019b739759f61e3511691c378 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith ConstantRank1 True Passed
0d2703cc18660447471f792b1eb5de609cbbaa58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith ConstantRank1 False Passed
53f2160d80d562177c4053c654ea4f957168de9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed ConstantRank1 True Passed
9db43ba0c98ba3b53116bebcde3310f4811f100f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed ConstantRank1 False Passed
f0bb9da4213599c3baaefa919c88a7543e99bf45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith ConstantRank1 True Passed
ebe9d306dd9013d0e83eafdb1a59354cca07c77a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith ConstantRank1 False Passed
5fc448876cf1ae72dce3b9af71eeb91ce46d462b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder ConstantRank1 True Passed
e276119ceeb0b3f7977b19885003200dd093e91e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder ConstantRank1 False Passed
292de82f7a23593ffa695b418ef5d490b76e17a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder ConstantRank1 True Passed
37dfeba107575ae85dc43ae35ef1f61ea2ff12b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder ConstantRank1 False Passed
6c9e1ecb39e4f6fa917070cc0479e957335a29e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder ConstantRank1 True Passed
51f66f39dfd51a85ef547cb8712701ec786ddc56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder ConstantRank1 False Passed
4a45e784f4c21dd63f98a4a45b7985eef86e9e1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder ConstantRank1 True Passed
3d1971dd72de42b4c91f4abc7d4b69ff279c2f1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder ConstantRank1 False Passed
cd311eb68b0681a43da196b23af66765791141af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled ConstantRank1 True Passed
63c3dfbfe4153172fa8a9d65a529d7e80f635e95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled ConstantRank1 False Passed
ec5fd00d5bbee3fae6e4e9d2bde471db846c0bfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume ConstantRank1 True Passed
60105f8d7fa5a32f3fd1d88c3ca50e80dac93337 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume ConstantRank1 False Passed
9693823730ddb7597057cf18cf6e24c0dbd0df57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed ConstantRank1 True Passed
8c0d484bcc9e6428ae58215b173b16ef7bd736b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed ConstantRank1 False Passed
81a0f4b80a725216d12a67f17938cf6e783ed84a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda ConstantRank1 True Passed
ea2e936d14b09d4d9c5590f31b0bcac7e7c82ca2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda ConstantRank1 False Passed
afbb243d4c61fcce31d48cd65691e776bdf21fbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 ConstantRank1 True Passed
0d59b44df0d93a53f114a612f68683b4b7bc69c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 ConstantRank1 False Passed
6c758dc1c6b629d2b8c1709bc43b909dc2cbf505 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 ConstantRank1 True Passed
ac864e138fb94d08ab5e3d8c76d7526ab090693b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 ConstantRank1 False Passed
ff14102f0eeaae374a9b5a6d1078d0073582c80a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet ConstantRank1 True Passed
10a0858f0587bee189a35d41a547c941bfa19051 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet ConstantRank1 False Passed
ad53686cf1d8fad933e55a8d593aed6cde6b61c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet ConstantRank1 True Passed
2e36ebad742c8de6ae3bca8fac7b3b3796d4ba8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet ConstantRank1 False Passed
bb9a8afdbeb804e1e602db544c0a67e441de94f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff ConstantRank1 True Passed
7e6f32c42b74e7b0de4819fbb0cc7efaba7f600e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff ConstantRank1 False Passed
27fbda04deff51249dc44519f4978803e509099a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion ConstantRank1 True Passed
4b5be5b4ba74475d7e36308588f14488a2fdf0e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion ConstantRank1 False Passed
2bc1b4ee77561aaf9ad0554d165ffe29065aaeb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect ConstantRank1 True Passed
b69361902a1e0411386d767f8144497b1e39defd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect ConstantRank1 False Passed
e37023fd2c444bbf956f4e4b507271c8f23caf66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq ConstantRank1 True Passed
c450e8f1fed1771581382e15a0a99a596ea95403 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq ConstantRank1 False Passed
a57101c8e985e5a93e1f2e519a8adca73f14de84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond ConstantRank1 True Passed
eb5015afd9c4d8a889bc449897ee3cb492ab1ae7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond ConstantRank1 False Passed
7d0cf78d5e3aadedfe3ba62f6ba729a26f207fe5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen ConstantRank1 True Passed
e17c2eb673e43692aee0ff06e7508f95cb4d34ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen ConstantRank1 False Passed
35812cc35524dfea9dbbf465e2cdb34424d1ecfe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse ConstantRank1 True Passed
bc1b86352627dcd507777d79c43c10a08c307c77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse ConstantRank1 False Passed
e8bded04b9e34027a13bad719728ccf94faf4528 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset ConstantRank1 True Passed
2a48c792d98aac084ecbef01125abbf76a7cd27b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset ConstantRank1 False Passed
fa701a6f38ee02a29b1921e57d740ce742eaa671 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain ConstantRank1 True Passed
48d087f650313b3ad8f0fa487d194e5af1b3a6c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain ConstantRank1 False Passed
32db15cbacec2f4b5e8647acc91711f14c5adaa1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union ConstantRank1 True Passed
75f1fd2fd6d9d7de03c6c2a3c0b77e332a9c6ee9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union ConstantRank1 False Passed
7314b3eef29ef28e869f796db25f20bf23816876 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence ConstantRank1 True Passed
ed2ad5d8c1d29823928905eee1baff17aad76dcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence ConstantRank1 False Passed
a6993307b4b2ef4826420d49c33570ec895bab85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen ConstantRank1 True Passed
0ef65f13640500a54f1d31d3d2ac47d963719d56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen ConstantRank1 False Passed
b4d74d29cb34405e09d0b75fb8fa24a37499e69d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat ConstantRank1 True Passed
c66d0cdf0e711e3aec1ce1ff1b8350b04e7556e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat ConstantRank1 False Passed
64acb2b8707f76081651cdb57f66d81f08b646ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq ConstantRank1 True Passed
4345713043beb64c25c9e2e6c661930f5e315058 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq ConstantRank1 False Passed
c7c1221ffef62892e750c78aa19859bc575ae73f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq ConstantRank1 True Passed
531c89d26e2da80137311c2337e0426b3a54dd87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq ConstantRank1 False Passed
644b06518a697446906d8c26b7387384600d288c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq ConstantRank1 True Passed
eab2f4b9379223b938dff7f6773a84382e018791 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq ConstantRank1 False Passed
a32d091cbcf57b08a7db987a076c4ea51eed2794 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange ConstantRank1 True Passed
c786b7f07b7c50c63727a873a18be6eaa9cc7be0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange ConstantRank1 False Passed
669f89b5e11f7e111f3639c3b099448fcc18a61b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun ConstantRank1 True Passed
73c08a9025fc1cd4448ebe8bbb69e61b97fdccc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun ConstantRank1 False Passed
fce2b5dd922bf357e13d01571a17784d02fc6f4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun ConstantRank1 True Passed
4406ae085756e1f9d71f213973179f2a9a401f64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun ConstantRank1 False Passed
db893174d68cf71fb72654d30d1893232cbc7783 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun ConstantRank1 True Passed
a59caa5df73d0e5c30e6182f2dc919ce78271bb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun ConstantRank1 False Passed
ff2bc6dd444b461e9f3946aa566acd1c6fea673b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq ConstantRank1 True Passed
97dc1d8ddf9e8c3a019727cab735cf654161689b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq ConstantRank1 False Passed
07c812a9d2face9679f0da787f231e2f9787d967 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval ConstantRank1 True Passed
2a3aa4dd64e44207212dbb82f04ffaab1fce451a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval ConstantRank1 False Passed
f8d659d8949c69e66cc4a86869c30a1a37c02430 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet ConstantRank1 True Passed
b7f753a94e5a9bf2fac0e12f9336d58f8e5fa911 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet ConstantRank1 False Passed
9582ae77597c1c3ca87a8e96e26d0708615a4d38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag ConstantRank1 True Passed
f3d953f5d117274e7ce3bf609bb3fae7a39985d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag ConstantRank1 False Passed
b545ebbb2cae38915e58bb0063ecca3b7cd4e9c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn ConstantRank1 True Passed
d04265d923bec0a04f7ada267defdee6278542ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn ConstantRank1 False Passed
00bbf83d303de74bc4906055b6a6724333e81095 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag ConstantRank1 True Passed
a667a3dcfa00d5a7289fce5418a34a64b1adfdf1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag ConstantRank1 False Passed
dd20edb0508ea347779fc8122e2b2a9d9a45d703 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub ConstantRank1 True Passed
261424acf4935214d6d429e43358cfec5337c155 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub ConstantRank1 False Passed
3799eca739c87b56adf0b3571387ce27e06ff86f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn ConstantRank1 True Passed
153b5d6f3bcb48190ca5bc672c87ba849f82a3c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn ConstantRank1 False Passed
ebdd2acd1e9e7742394968c5c2b0e36a9809888c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag ConstantRank1 True Passed
0fbae7dfe6017c65478b2970d29ed3dcab3eae81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag ConstantRank1 False Passed
977def64c697b352b1e7ed30fd91377c677f35b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion ConstantRank1 True Passed
e232a9027fc8a129a8c883c6f7c30a04c694b93d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion ConstantRank1 False Passed
fa0d591211f1c0f493b8030a092658f3b00a749a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality ConstantRank1 True Passed
e55c9d1bc9b8f29525d5fac9da4c3bceaa0e0b49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality ConstantRank1 False Passed
34fa5b00cd1b7661d04a17a641be526378c60f4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll ConstantRank1 True Passed
11b6fadb910d4624bb8e6bde5e5927797e706655 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll ConstantRank1 False Passed
8badc635bf2e5c3a6fe22490a7bd2b1deaaa6f58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag ConstantRank1 True Passed
ba94eccd7067f03a2f1651fcdbd18a337d52e127 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag ConstantRank1 False Passed
1b12d883dc76e08effff20a2a6a62741060b99fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet ConstantRank1 True Passed
b7ed72bcfe71a1c78cc872dcf588ffa5411c0d81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet ConstantRank1 False Passed
8c662877ea69b8db7a4c69fb34426727dae9d823 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality ConstantRank1 True Passed
208dad9a998a642ceb94416cad904a235b362958 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality ConstantRank1 False Passed
750930b1d0fe6ec9e6dc9446f05d1e4b52e8eace TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead ConstantRank1 True Passed
983095e7f83ac56a5819fcaf7c2d29f04cdebc20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead ConstantRank1 False Passed
9e6770b28bb82baedfab869ef4f05fa217084364 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail ConstantRank1 True Passed
8b5c847ccdb7b552b3f9ca4e9248f372cb778a82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail ConstantRank1 False Passed
55dfe1c0c28f2df648896e4b71a0d5a1da0f0699 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend ConstantRank1 True Passed
7f4cf25db6036bb56738e3ce65cbaebd7f614c7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend ConstantRank1 False Passed