Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
9057509ad6544dba4425713da39762fd9c8586a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And MultiLineComment True Passed
c4d9b02be55842a60cc63529a007e03b0fbca409 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And MultiLineComment False Passed
d1e68ad0151d06ba6bc18af10c98879e6be1bd15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine MultiLineComment True Passed
36723059f25cbd5718cbfacaa5f7bcdddc9a539a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine MultiLineComment False Passed
263d7efeb971d1102a5370bf5d8228ea4fb83a5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply MultiLineComment True Passed
2ffa40d2dff52a37af44528af2357bb6daede507 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply MultiLineComment False Passed
68f53c672a8a11db692ff0a9645f35b7cf059a0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not MultiLineComment True Passed
e975ec2e9c50111ad3d48d6bb3786621500e9ca5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not MultiLineComment False Passed
cbf8b6e84e62565f41d60d1d0d890bd3690a9284 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or MultiLineComment True Passed
4e1455f1d6b89f6916c323e2bc1a1903d54fcd38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or MultiLineComment False Passed
6605d753e87df9eadb35d7247e9a21d377a32860 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine MultiLineComment True Passed
ea02b897c821932f7157716b055893a85167a335 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine MultiLineComment False Passed
2c3a5f7c4d944c9c276abecbed8ef7e0f6c09429 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp MultiLineComment True Passed
35b29045501261c48b493416fcea659deb839ada TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp MultiLineComment False Passed
3beede663e6b89ca6edaa95c812792ceb8e16a72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed MultiLineComment True Passed
62be4e3140bbcdd43bb744e36488b05cbc8ac66c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed MultiLineComment False Passed
b8edc17da5936e8bc77518c7ef8462f57bb943fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq MultiLineComment True Passed
3bd3ddf6c9710db7286b113818c9cb6af84fb9f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq MultiLineComment False Passed
51a4dcfe3da6605cf43c202cdad7114f1ba4788e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne MultiLineComment True Passed
15116d6adcd3c02537eb65f66371b8661f951039 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne MultiLineComment False Passed
e1627dc55d0465eb164247bc35cd5f71741b176d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let MultiLineComment True Passed
b7f17ec8a64f310fa6f14cd9cb9a7e2715b34090 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let MultiLineComment False Passed
84d2cb654112d4454fb03bc0f80a698fcac3cf69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 MultiLineComment True Passed
f1299bf11f3c1abdb4db5c9c02607cec474cfbe3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 MultiLineComment False Passed
4b697a7ceecd9ca32e5e16bb85ccaa724675f64d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 MultiLineComment True Passed
8f0033654c0cdec35c07b106d0b1ef8788ef7aa6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 MultiLineComment False Passed
227be039d32e274b3f8184ad003e2ff5a565f810 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 MultiLineComment True Passed
3232dd61a1d2327e0df4c66c217e919a98439c65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 MultiLineComment False Passed
cd809030cffecbb2cae6a4f0b7d258cbba479f7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun MultiLineComment True Passed
5b036dd74507d4653e49a278320fd9bae54351f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun MultiLineComment False Passed
398581dfec0fc92d72a18a636001f58157c48e95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists MultiLineComment True Passed
a6cddfe88e7b203546336e473d9530ef7c60beed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists MultiLineComment False Passed
29b2e316c3d45852e25668e8eeef8e384b3d7550 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall MultiLineComment True Passed
b70d53b1fe2bd27e9cad1bb3d18bc05946bdd123 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall MultiLineComment False Passed
4daf72ac725419ebd3191fce1eba1e9cf6911cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose MultiLineComment True Passed
d872af512325e6aa7f64cd93b90e48116fc2c5b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose MultiLineComment False Passed
746646630db17f1da665ef4b7261cabeff1883dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record MultiLineComment True Passed
118021fc1a1964bf5bdc89d70dc4a037e0a3967c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record MultiLineComment False Passed
6c98f260553de2f63959c0d0db45ff30977c3574 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple MultiLineComment True Passed
efa6e3d13fc504bcb6d1beefcc9788c344d2ba7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple MultiLineComment False Passed
7152e6d86fa8c8d533dc74f4a391bb73e1b010b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun MultiLineComment True Passed
f7de27a0a2dad687fa855e5fca02420df15598f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun MultiLineComment False Passed
6706462daf26b99e9c4005ca0ee530acc96227d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt MultiLineComment True Passed
acbf5875070e67554e2572a9d491578bfd5e2b37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt MultiLineComment False Passed
b86d2f17050683abc3720f67fc510ebd2d530b3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec MultiLineComment True Passed
dea431bc99f82b357ca6b4486b0c9e395e7d0b34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec MultiLineComment False Passed
e9a6465a2c0931e08776b431decab96d72c3c357 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt MultiLineComment True Passed
5006a52a5de02aa5324b8e3f68ae5c03fbc742ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt MultiLineComment False Passed
2463f666f65c31986ff34aabea469f86a4548d56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun MultiLineComment True Passed
237a756e6bf5a69c0b0fec7d7685e6d49d844d98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun MultiLineComment False Passed
62dfa99db807d8087abf5eabe959241f966e08f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple MultiLineComment True Passed
e9286c246981c567465dd223a069032320cb5877 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple MultiLineComment False Passed
1e152d259e195c686696d65edbc7e9e98eaf163d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime MultiLineComment True Passed
f87476c8efac859054064a1eb123a1db995b2e0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime MultiLineComment False Passed
6cb3763ee5bde3e1f6a95668c66526af4a5fb519 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus MultiLineComment True Passed
711f3990ef3ebdfe19a55e046c76630aa06ffa07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus MultiLineComment False Passed
db0c3b71b097701223436101a5eed11025cd4d0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus MultiLineComment True Passed
09557407e9b99727fb071f01391a4dcd28fe5142 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus MultiLineComment False Passed
cd8aca6390c37ca4acd2e2527c56aeef7089024d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus MultiLineComment True Passed
e59fe363444f520a2b4eebe7797cfdd4c3dac945 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus MultiLineComment False Passed
b7120efc3d97ae303409993ba51642cd0aa043b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul MultiLineComment True Passed
4ffe8c361f7d9075473a30cacafbf5bed477e8b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul MultiLineComment False Passed
277d8f3e9847840252e447812ec6c35a175f5abc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv MultiLineComment True Passed
4bdbb63f88d0f0758f3c77b326dd2fea049a0525 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv MultiLineComment False Passed
d752a1e5274a42359e39c336af240b413f5cfbee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod MultiLineComment True Passed
8e327b674d27028f7ac656b222f493beec4633ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod MultiLineComment False Passed
0fd2bf90234beda69b830f4a3ed860916459b26d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow MultiLineComment True Passed
3a0752541f4679f3b6550a5c1c243f4b865db158 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow MultiLineComment False Passed
851dc6071f1091885fc65e2826e6cbc61cc01d99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt MultiLineComment True Passed
ab26e95033c20da7d0ae6aed51f30c5cb8128254 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt MultiLineComment False Passed
d3d9127771c2f7d91ca26d0a8b847aef0b5cead4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe MultiLineComment True Passed
a846a2ab235a4d5769aeab5415c2428d097571ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe MultiLineComment False Passed
c8a9656f9f93fd7888c2950a7d9e40088b2dd97f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt MultiLineComment True Passed
00141e4c2b1df34e3e7d2e1a2657fcffcef7661b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt MultiLineComment False Passed
13c1fa745c086bee13c42614e0e722933dc71735 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe MultiLineComment True Passed
8edc5c7824b57bd1885f74015b7b142f40c9746c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe MultiLineComment False Passed
894cc669e36b80808319600a347a5e944288d219 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun MultiLineComment True Passed
76ecb16a537d644fea101ed2329d2f202a8da8b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun MultiLineComment False Passed
8732f50397e4bdd2f37965ea48cd16157d99b52f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun MultiLineComment True Passed
49ab4ebe1fc151ad356ae52eb76207dba24efaa2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun MultiLineComment False Passed
b6e7397d0f6ad64663f0e8a0c29dec995a9fa4b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive MultiLineComment True Passed
b893b576c117de16da24c048dd82fcd74cc217b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive MultiLineComment False Passed
e89604e9057210c4c966fa2889e721612f3ad138 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive MultiLineComment True Passed
3cd6fb96cf29b71033d691c60aee8b2e5b22775d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive MultiLineComment False Passed
87dad6e09e5c4e34f4ea7089ee0568243c137fe1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 MultiLineComment True Passed
0f429b94b14b4ec8b18dd9acc0ec068ef4decdff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 MultiLineComment False Passed
3ac580d6716d8b0282b7e78c283c9fcf9e8398ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 MultiLineComment True Passed
ecbc00ee801d9ab859c2c5c3b8370e031368d4a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 MultiLineComment False Passed
1bcc1e2d6f7e61d3681dd9607769a51df83653bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 MultiLineComment True Passed
ae8094a4f5a24878947e5aa515084186be7af2da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 MultiLineComment False Passed
e9bb48943cd35f0dbcaf67934116e45239daad30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 MultiLineComment True Passed
85466107b5e2baf4766601c8bd3dc772f0245c4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 MultiLineComment False Passed
f909337afde215aacc0f8c6615e879c58620d8b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 MultiLineComment True Passed
d4777e35909a4fae7077ac22e687ec0e0a2e1ace TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 MultiLineComment False Passed
4f4ec34d7c1a2d3e677ae169ed775d73da590cd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 MultiLineComment True Passed
11c89dbc490d7036827aae28456f5c8c1b8093bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 MultiLineComment False Passed
2a76fbc4d735d7638ecff65375c621836d2b4cbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive MultiLineComment True Passed
9d7979a1dcb22b40879d9ed307e365dc11d4f055 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive MultiLineComment False Passed
bb170287b0dfe673c79212a784d4abd6018d081d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive MultiLineComment True Passed
e97775ffd9d698c3e1d6330564a225886067ffbe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive MultiLineComment False Passed
d6a85eb9f916ff1227ee432cd122ab36100f890c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends MultiLineComment True Passed
87e2f02516389f120442be76eaadea4edd7f256d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends MultiLineComment False Passed
27bf4817135e479a6f32cd13a3ffee8ea2174ed2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder MultiLineComment True Passed
cd8b78c0e748f74ebfc50615d38ccc654a267127 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder MultiLineComment False Passed
64b25610958b8a7459d73a5efbd7021e68ab5f3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable MultiLineComment True Passed
b97024caa5c5d5c30ad2c7ad38109c9164b5c472 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable MultiLineComment False Passed
ee5f5e707c15dbea7c14833331be987c4ad82dae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude MultiLineComment True Passed
d9e186b53df139cca31ccbd9f16503f8badee1b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude MultiLineComment False Passed
c84f04889c40dcae28cb913977544b97cc31e1d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant MultiLineComment True Passed
dc6b22d67d78655ab142f2bcb4e911fd29050bf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant MultiLineComment False Passed
0499bb3874c368ed3a7421667c5d2e14c475b498 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 MultiLineComment True Passed
17460e114fd6f5d799b1a6447938817bd3d7a87a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 MultiLineComment False Passed
c8d8f16f86712f28246dc570c668e7e82f0e1b57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance MultiLineComment True Passed
bc2e14f8e46a9bfe1dcc66199ca81b08d7c79f31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance MultiLineComment False Passed
c180a513c4bc1741a1d1ed0a0a49525b64eb0c58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith MultiLineComment True Passed
e84372899ddc82efac2dbdab50619bbb32f217e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith MultiLineComment False Passed
65803bdff2dc4dd0cfc61bb73fba2a33133942d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed MultiLineComment True Passed
62e4ef7303e6ea7b63dda3994b050eae435e3719 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed MultiLineComment False Passed
fc9e72d058f1c46762e8b153ce33593738f6b41e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith MultiLineComment True Passed
6d4b0ad80aa1334bde154e3d3c4409e1cc2c5c05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith MultiLineComment False Passed
404a9bd5f6c03485c9363ad40f1f25dc42770865 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder MultiLineComment True Passed
051901b948cf52cad497eafd4668e32532b4de61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder MultiLineComment False Passed
575779094164ae5efbbbd8d2f1258347f750146e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder MultiLineComment True Passed
cad029270b89e8038db28aca036e6377a65566f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder MultiLineComment False Passed
3ab55862b83dd7bfc7ad34a8c35a3cc164e30aeb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder MultiLineComment True Passed
0c5fe9ae5998ae6bdb0bb5b1e4827abbb01023ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder MultiLineComment False Passed
37de9f4d7d773fc7400939f140156c0ad2e5e507 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder MultiLineComment True Passed
945e8acc60f5eec2e7495f23fc3e1adfc2d9d0aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder MultiLineComment False Passed
566768ea94fadf8e66aa42eab98d76a077b17322 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled MultiLineComment True Passed
e75a462fde642b8cbc5f3976d2aa1502e1c3a592 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled MultiLineComment False Passed
cfb8d9ad285c86277413c227ccaa52bec9109e9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume MultiLineComment True Passed
92fbb4a2a50db6302934c334d830f2d768794bed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume MultiLineComment False Passed
dac0df4c0fab4d6c80a4fa2c153a3cc9d145ab85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed MultiLineComment True Passed
0c0e62e1a4f9aae0fc30ad8fe47f5dd4c2c6a6be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed MultiLineComment False Passed
c5c782a1ce3fe365730d594dc3ae8fc71e956364 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda MultiLineComment True Passed
3f25406b6d7a15148ce9a49fd5406413c7652d5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda MultiLineComment False Passed
3eb8f85d8032a0fd05cbace32344a289e8a7b0ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 MultiLineComment True Passed
dbab7f37c7f64992c92a8f7a768631583020fbd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 MultiLineComment False Passed
5bd1b4aa2690c7da9910e631aa8e27fa9b5baf6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 MultiLineComment True Passed
be6c19e4a826eb3acdf32f2a3ef8eee0a28e5787 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 MultiLineComment False Passed
36247cd76657485bea1700f2030a7737213f66f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff MultiLineComment True Passed
0bdabefe6319cf223b8e4aa13deff21d97622950 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff MultiLineComment False Passed
fdd16747d51a4e560b59c0a4ebe49f5e83611557 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion MultiLineComment True Passed
421cb90ea8fd3f22bbaccbd4fb2c580e08a480bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion MultiLineComment False Passed
03d6796e1c029b1607aab05b54ea5ac2d66cdf17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect MultiLineComment True Passed
8579af70fd25211b45d38da12d6b6b190ed097b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect MultiLineComment False Passed
3037396b485cff4226afb15b62b45b1b2e85e364 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq MultiLineComment True Passed
10fc797bb0b201cec38f0cde408f7b2ba27e950c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq MultiLineComment False Passed
e48045e4b8791a4de6a43e19f30fc2f03c11cfd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond MultiLineComment True Passed
8f6ea3a0e2a762770b08fc69b8fa56e4f57bb469 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond MultiLineComment False Passed
ceae9391812ef4c48637b304dfb3b7fa89914fdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen MultiLineComment True Passed
079cb88f63866b6aace9affbd82c2a42a406bbbe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen MultiLineComment False Passed
36c93dec85382b8df1cd06461af73a86d75f61a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse MultiLineComment True Passed
e3c613e5550201b70c1399a69af05f898e9fe9a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse MultiLineComment False Passed
0ec9c00916eb04e85df9c56830e929f1d416c2f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset MultiLineComment True Passed
4c329d1f9ece08edc6838e0510a5a90e7d176760 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset MultiLineComment False Passed
30edcffe2dddf3ecd9538dea1d2fa33d144a02e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain MultiLineComment True Passed
940cc95dc8ccda7eb54b6c23641426569a23242f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain MultiLineComment False Passed
1d55633b7de71806b6189c408669543e0caa6da9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union MultiLineComment True Passed
0fcd908d77fc194c9dcb4bd9a22f26b7e1ae8eec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union MultiLineComment False Passed
017be0341bd21e5b392a3b3c40351d291c84da1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged MultiLineComment True Passed
059da7b4c85aa0f353a7ccfdcf8b89141da6bca7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged MultiLineComment False Passed
cc51dd14cabed90991667d8899a3a415f7864851 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence MultiLineComment True Passed
9f59661cd3be49c1256b0b556810171a0677e340 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence MultiLineComment False Passed
c38cda8c9978772d484fc185a774c93f226b57da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange MultiLineComment True Passed
b830354d67ae0017b398499c8ed2f76d7dffdfda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange MultiLineComment False Passed
34748add22330fb70b582e081db172b7aecef6f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun MultiLineComment True Passed
6cf8b0699092c5d054e2b3a4b8fd4024eeb70e28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun MultiLineComment False Passed
da1edbc143c4d78dd3b1494d1b6d8ca90e75396b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun MultiLineComment True Passed
219ad312e33a79354cb27ddf36bbe7e37c1235e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun MultiLineComment False Passed
0fd2477f61d2183d54539f5d0a37befb54a84027 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun MultiLineComment True Passed
425a93de4d8dcd62153c89611cc3c804053bd86a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun MultiLineComment False Passed
006f03b0bf47d0f49f416abee46b148ec99cb156 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq MultiLineComment True Passed
ec98fcc9a73c9847ca18652ada15fec83f6b37e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq MultiLineComment False Passed
98b5b88231952a7f39ec3091003737830a14af13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval MultiLineComment True Passed
6d16d96792376b50818d2b236962d1e51a4d3d29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval MultiLineComment False Passed
9882d030f6ed2f676beba16bafba29a4d4348bd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet MultiLineComment True Passed
58bcd3f7b84c2f154beaf8517b5ac8514d277656 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet MultiLineComment False Passed
badf0c05369d1dbb672b455998fd27e163d58bc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag MultiLineComment True Passed
eec53422a7d664138d47cb06787db9e7442251af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag MultiLineComment False Passed
d70fa95cb5b58c7f835007f44b8d1469e5e015fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag MultiLineComment True Passed
1883c20a46c350725c7b9172c0c6e03d14b749e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag MultiLineComment False Passed
5cdc9f52f2378de7a1c2a65b8601e323f1bbc376 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub MultiLineComment True Passed
87980ec3125c304761feddb1c8c5d5ba213d1e82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub MultiLineComment False Passed
b901f3e8c39a62fd71fd67e4da688e6129c2dd2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag MultiLineComment True Passed
7bfff0ca6a5f32d744821d4d8c1b458e9d942c3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag MultiLineComment False Passed
c28f73caf58f9862d2150a61e8142d4a999cf686 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion MultiLineComment True Passed
9c7d519acc69c6bf688b4f24e8526084d91a0233 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion MultiLineComment False Passed
511d5e9cb1d982ee9ba6ff45cbd5382bf40ae04b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality MultiLineComment True Passed
75304e18793ba847d5d902197429193ca7f35d46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality MultiLineComment False Passed
3bd6c2042e98ecbc25f418b009225314364b878d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll MultiLineComment True Passed
e0d13f279bbc696eb3581c1b0f75b0f75601bd6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll MultiLineComment False Passed
c16f5aeb1fc8d94633c7cedb21f3dedec0c95a6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag MultiLineComment True Passed
6d39db91c2da022622059ccbd3ae2369c831145e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag MultiLineComment False Passed
f165b5dbc659646b2ea057bae5b8d9dc01f9537a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality MultiLineComment True Passed
cc21393ef90116fd3b389a6726ee3e8307d98a75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality MultiLineComment False Passed
bed95caac65ea8061b073517013ba685466d1b29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead MultiLineComment True Passed
2eec9db62cf4fc5eba5318bd35fd712608f70e4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead MultiLineComment False Passed
a0e39dc93f043569d3bd85a40ebe03b1345ef7d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail MultiLineComment True Passed
3a9f1383bfc0cf67f2c21abf5b50472962b9a8d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail MultiLineComment False Passed