Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e313de56c5f91836432d4234e137089e7e715fac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And MultiLineComment True Passed
8adb328fcbe51afe7e247f9627ba0cd3a8112e17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And MultiLineComment False Passed
edfbf60cc9f74eb3fa5604c3cc2431b85b964c0a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine MultiLineComment True Passed
877287b11246461f2ddee69989e435b6fb9c5f93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine MultiLineComment False Passed
e8505829c0f74b214a68a32dddc2e7c20b06772e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply MultiLineComment True Passed
52fb7767286cb738e76b01d689c5b440cb3a1516 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply MultiLineComment False Passed
6cf009936a1d77cd2790aeb503c05d8b2f6677de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not MultiLineComment True Passed
66d1aeca9197b019b344ab5dee4dff021dff0b62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not MultiLineComment False Passed
7524ecf6805c8171bd24c375b2872a61d3bac392 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or MultiLineComment True Passed
3863ce666fcdbeb29b8c1f1b6649c28dd888602b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or MultiLineComment False Passed
375221f88170b225767c9c57f076ea4da61ba648 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine MultiLineComment True Passed
5a33be83cfb7dba0d41305afe56a7340680a52b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine MultiLineComment False Passed
d7a12be72f5efdfa9b3c3e1f34899799fe39ac6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp MultiLineComment True Passed
f8c06b4c79433826f730c0586b5ae49dd4305d1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp MultiLineComment False Passed
9aeead28bc7f33d91e09e24fa93962ff2c9400b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed MultiLineComment True Passed
da4a2727b71df0251d6171c883a658165536f497 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed MultiLineComment False Passed
ba586c3ec8685249b5b1cb812b3e3ffc7f024ef7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq MultiLineComment True Passed
49af8bbc6b9064f3dd03bf21df674a210ecd6fe4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq MultiLineComment False Passed
3fba68681e20bf1af47cb08d26f1e5ae1900737e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne MultiLineComment True Passed
6cceb053461d286b2b20bdbcc3cbb19b855d5ae3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne MultiLineComment False Passed
c026f0c5f31ed41d4f0204cf179124161d9944f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let MultiLineComment True Passed
0983abc42864543857a890f23366a8e4e0ed9fe6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let MultiLineComment False Passed
7f2e73098eb167f87107dea13991f627729686c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 MultiLineComment True Passed
74d2574cf21219946ad5113c2b4c6eaf1308c89e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 MultiLineComment False Passed
85194ff7069031eca9bc6e64dc917a4c8862e3d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 MultiLineComment True Passed
b578120529f8edd4caba9721b5b3efa735151fcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 MultiLineComment False Passed
996aa8c63808526674c3e9db731246f99b620025 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 MultiLineComment True Passed
3bcb853d60c1fb1a149d485a398c15c23120fb36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 MultiLineComment False Passed
57dc264482781cf4f33d45152c11d72454c970d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun MultiLineComment True Passed
569b20232c893229ab5c16b7c419461b2c2e1994 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun MultiLineComment False Passed
9844209c0a40a8266ea6254428bbae32d8c44999 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists MultiLineComment True Passed
cd3d764e63820522c79354fc52f367d0cea4d14c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists MultiLineComment False Passed
685f81820e4de9f013aa03e61ae0c84ea2959595 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall MultiLineComment True Passed
09a8e4caa1f0cf1228ec46d40d59722b1ade40f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall MultiLineComment False Passed
e1ea2dc9d7979f75e8302faec3e1916ecc01f324 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose MultiLineComment True Passed
69ea5f508653df55d187df8fe0be4df3abecf3f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose MultiLineComment False Passed
5ab8bbfa2d71cfea5841f6312c2fa5ae1c3c61eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record MultiLineComment True Passed
2ab9452bebe436e3cc5558ae7ead495346a5c30e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record MultiLineComment False Passed
11846a8d3545c3d56a7711a60cf26ab3c27c7d01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple MultiLineComment True Passed
1c771bddcf1798e98ea3f193308ddb111f4428c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple MultiLineComment False Passed
fb65b2adb666134feba9e94b6f28da342f033368 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun MultiLineComment True Passed
81b96529bc8bbbb789813aeeb974540a8ce71f1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun MultiLineComment False Passed
a78b1fdd9e1537fb9a35d26884cf8dbe92f7a2f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt MultiLineComment True Passed
e80ccefeeebeb70db4d641ded1817becceab08aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt MultiLineComment False Passed
0774de6d3058c94417ab81a9bffdfc0ce2e5c368 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec MultiLineComment True Passed
84791f1f5d5f30a92a9f9132452eaa6bcb2495b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec MultiLineComment False Passed
5a50374ace7c6f75561f1d0e35512d0ac958e948 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt MultiLineComment True Passed
fd86cdf6aa0406849e37cdcc3b6a89d5c956ce59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt MultiLineComment False Passed
834d712b5ad8fcf52fc1f8d77b9f64faa3664cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun MultiLineComment True Passed
bd87a2518bbe89262236173ce25087594ee6adae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun MultiLineComment False Passed
b37a0e153e12bef9b40e6a42f1c7de8f25f48af1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple MultiLineComment True Passed
dcabe6ea8af258b5b479cee8dccde33371f6d05a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple MultiLineComment False Passed
8b8541e7086abdd7891ba3d07c33e5f1ab2c0ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime MultiLineComment True Passed
534419ddcdb83d04784ef5361611f936d83d198e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime MultiLineComment False Passed
6d134787557e8e53c59386b8e326798004bb52c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus MultiLineComment True Passed
4dd9b737fd366ef006f9fb5f2d5be904dfbf5492 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus MultiLineComment False Passed
47f5c66e9179d34676687d294376be572715fc99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus MultiLineComment True Passed
1df7938f4553d55820b3834ee21fedac1ef60ae0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus MultiLineComment False Passed
578748f3a070987b8d5fcd236ffd17d60cc4bf97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus MultiLineComment True Passed
c43e73c2f27bf59dcb69bf5a4a1f03661448d8b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus MultiLineComment False Passed
99876ee2412f04144510fba2fe9ae0d9a2d856e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul MultiLineComment True Passed
cf5fcaeb8c9d84cb1f0d9dbf7a8c2da8e9bcdc0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul MultiLineComment False Passed
ec6542c64b70fa9f6f6f242bec51a5595d68c50c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv MultiLineComment True Passed
c1f479b9fa65e90978221ba15c016cc94fa28b3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv MultiLineComment False Passed
7995e160c746ef11be532957bde58e297eedb2af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod MultiLineComment True Passed
3873431b2e8fa5861f0fe911aad5c8cf3a1a0571 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod MultiLineComment False Passed
0ead93317c5e7d1acf84fa5e4d320db292afad3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow MultiLineComment True Passed
f0ad207980af91174359beaed1df78ca02249d16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow MultiLineComment False Passed
4fa4cd7d14068b69a9c1d2b50d1b4a4405385fbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt MultiLineComment True Passed
4dc14cf086f2a00574e454cf3ee2ab24051dae04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt MultiLineComment False Passed
69a9c74679a9da72b1a3e235830e4321086c0288 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe MultiLineComment True Passed
04083e117b67dcf59b794f0554ff52e612d0b28f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe MultiLineComment False Passed
f63fc7cda59a71074e3efa1f600e7dc457f57c6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt MultiLineComment True Passed
edf05a3c4335f95be29f2075313a68db1717e70b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt MultiLineComment False Passed
7d58fdf8984c42dcecac7a15ecdda3feb92b769b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe MultiLineComment True Passed
e6ff5104ea37b9a88d86a84bf4eb508b8945187c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe MultiLineComment False Passed
35e2e716e343c4888681591fa79620be8ecd57f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun MultiLineComment True Passed
0dfc673151b1cc3c0446963ed9c4714f4ccc21ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun MultiLineComment False Passed
e513565fff38a6eb9a67b4337fac2533329dd7f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun MultiLineComment True Passed
18533306f3e91f765e24ab29990af1046432c859 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun MultiLineComment False Passed
ef6068e15e3b6c1a2ff4c6d1b32ca2cb8202a620 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive MultiLineComment True Passed
8e48ca480a14d68f6f7be2498a55340d0af77894 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive MultiLineComment False Passed
e43cbb2bbd6ca24d579508d9fe9d4f0e8a92f69b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive MultiLineComment True Passed
8a3565cf5de2ee0be54bea2f0820a06526efcc5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive MultiLineComment False Passed
3c00095697b141b2e8d83cea042901ca5111f38e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 MultiLineComment True Passed
fe59693a6146a90483665685994a7fdda4978787 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 MultiLineComment False Passed
0fbfd9bb8520e4890f03bd2fc98f1e9fc36560a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 MultiLineComment True Passed
6733901c56537cbb453b5dec6b8a9dbc323691a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 MultiLineComment False Passed
4ab028646eea8727890b525b77357b71d95f0073 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 MultiLineComment True Passed
a8e190f839ba39ba41b4cbf534c6e81b746bd0f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 MultiLineComment False Passed
97e7f1829542cd7924ed77b6023cc5b7924db6b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 MultiLineComment True Passed
c7666848b1a83b6dcdd62dc44dd13b6597f91a50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 MultiLineComment False Passed
9ff41c3eaeb7d8dcad58a734273508459eb248cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 MultiLineComment True Passed
183101c36b5fa6815dfc84f54b2907343be78095 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 MultiLineComment False Passed
743aadef4369744e65da2fca8047011697d00bc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 MultiLineComment True Passed
3e4520d15fc134b540c660cfa7c601d2fd63dd58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 MultiLineComment False Passed
2a50c010a94a3751fbad21c464a0a4b17730384a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive MultiLineComment True Passed
f62f485b5fd45a3163b14f877845164b041977cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive MultiLineComment False Passed
758127262a40e3cd4fba08e44c5107c1408d6598 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive MultiLineComment True Passed
26ffa8b50d0bd79fefa6cd8b9cee7b9147775a23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive MultiLineComment False Passed
e3f00ef80e08a4027674f0e1a200d0a9a3be003a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends MultiLineComment True Passed
62137f900441bdd16b4d514ff4a7e977a777094b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends MultiLineComment False Passed
b1f066d2af7fcdcccea18c72e8591b4e615617e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder MultiLineComment True Passed
cdfb86d0d783ab9627cfe079b7fbb7d152626c17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder MultiLineComment False Passed
bdff2eba2db6981daa5f5772bbf2f81dae15f9e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable MultiLineComment True Passed
adf172d9ef6655c14f557d0a6291b56a2e1ca270 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable MultiLineComment False Passed
6f9bdb068c92563b923fa2dbed86ccc79a4b02df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude MultiLineComment True Passed
fe84e9adc77d05b38e0541138dba77e19ebe5df7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude MultiLineComment False Passed
66afefa070950bd2af493422d074fb00a75e0451 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant MultiLineComment True Passed
f7f9d6e90892cb7bf82139bf63e37c93422010d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant MultiLineComment False Passed
e59a305a9a767a02f363390c671999186c907c56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 MultiLineComment True Passed
4029cb7bb686152d39049ca7ccf32f5f2b0e1f86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 MultiLineComment False Passed
58c0e50f6537b6d002d02aef9647acec8ef2fdd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance MultiLineComment True Passed
8dfec053522e16fbf261475c87572adb14bd6e87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance MultiLineComment False Passed
89a01309e55d768109f06b5ebbbdc52a4cd47c65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith MultiLineComment True Passed
e1d86af564b6e950d0a1e61f8b3d54a9caf97579 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith MultiLineComment False Passed
91a1c7f9a2f37fb7ac7fe7f9d73b75cfd5584373 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed MultiLineComment True Passed
91b22c613fc0b96d151d62c2312668c93e054192 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed MultiLineComment False Passed
2e51f07f26484c0e2c12df2368fa0a405e6a057a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith MultiLineComment True Passed
7ee426687cc7f6e5c3e66e3ac94bb3d2a8b76dea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith MultiLineComment False Passed
b1257e5a7e1c8ade6182d7b09747bb5407f6b86a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder MultiLineComment True Passed
90ca586e30788a9f7004a4072952d30190e6ab47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder MultiLineComment False Passed
6c571cf61f19b5438dd3de9fcda41ffcc2fad0b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder MultiLineComment True Passed
72eec995b837ec5897007147588f0232c7777c38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder MultiLineComment False Passed
8cc724aeed0146eb25c47fbf94e9e0d02fef5da4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder MultiLineComment True Passed
3a18b323fa2934c79803c7cfd98fb29f644acf62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder MultiLineComment False Passed
cc69dd8b55804eebe90fb374dab0e50e011cee7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder MultiLineComment True Passed
305a7aa8901738f35413e5f95d20033013d67fa9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder MultiLineComment False Passed
d4f22b188942f76a5add0cb3b69332fa4d388d6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled MultiLineComment True Passed
bd5e765b58d8d237c1f2199d712c76191404d0f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled MultiLineComment False Passed
0eb0f537ab065212248a61f1870cdb2dd2407aa9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume MultiLineComment True Passed
46c9b3aa8581564c703bcec6cfa890d3f7c8f1cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume MultiLineComment False Passed
2521a7c2a2884735c7a9c5bbf659f07a381fce1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed MultiLineComment True Passed
10833f28e208bca603b7685853c68c26a2ffad1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed MultiLineComment False Passed
1b82757ccf2c2aa89114c7d50ed6d89ed02b6268 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda MultiLineComment True Passed
1880a1f3f579a7dae1bc6273e9f6bffe6cfa8dc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda MultiLineComment False Passed
e642d5b034325806665a7ead314674600a553ad7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 MultiLineComment True Passed
553fb87d31ebf022e22f801f83c8cea74034ee68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 MultiLineComment False Passed
cc2bae25e357344604bbcae534ca905ca6fb1b3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 MultiLineComment True Passed
071f05aca08b7c926e68d3430b6f7b81388a0476 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 MultiLineComment False Passed
11d8341bb386f21b5f2c86e03d49c73815c52ec6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff MultiLineComment True Passed
afcaa07591f4b44aa4cbf13d8419fd3db4057c47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff MultiLineComment False Passed
11d1b82615bf535d295e61fa5315d081d069e037 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion MultiLineComment True Passed
aa6cdd3ab6f4742523891186139b4b0f848d1f05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion MultiLineComment False Passed
dbb3edd2b0772a7ceed73703f7cf34b341117045 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect MultiLineComment True Passed
5d7d66c67fe4746d9d763cea830540787e5c3fe8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect MultiLineComment False Passed
a8ae723547210f137fe0a53bdb74e69ecd4cf6c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq MultiLineComment True Passed
0995ac192e3d463c24b6092c65cdc4d359c4d372 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq MultiLineComment False Passed
f059a873304ddb4757c4f1532ffa1bc2a57041e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond MultiLineComment True Passed
2d005fdbe71c19381bdf643f7a12b375d9912df1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond MultiLineComment False Passed
2504e07469e70f2f2578c895de5850f0222af908 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen MultiLineComment True Passed
a5f31fde226841cd10858c538d46e9f5ff71d4ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen MultiLineComment False Passed
6467c3f09f6cfb3c76091bdb39fc8b1e6ef0aa1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse MultiLineComment True Passed
c018de2db270d28f053081840e58e93df04ec24b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse MultiLineComment False Passed
ceeb83e50c154ee1c1377658eeed536c151524e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset MultiLineComment True Passed
2c9f023c1a97e8382a718f44e21ca9893998d3fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset MultiLineComment False Passed
573fa7f3680fe7c57b3fa532f88f96e5cc5b5511 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain MultiLineComment True Passed
30f81378612de5fa245f0dd91bfe94679c1e336d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain MultiLineComment False Passed
a1218d40855b4d3929eece9b67baca7ace75ed64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union MultiLineComment True Passed
8fbe7e5164b8b420d0b68dbba1266b59b3411122 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union MultiLineComment False Passed
d55d433759726a55d29ed303bf0f75bf131d42d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged MultiLineComment True Passed
e89fc4fe398169a4808cc8097b634983909d0411 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged MultiLineComment False Passed
34068fb9a357711b9a143f69d3b06ba2fdf3c47f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence MultiLineComment True Passed
7ad411f11c08351b0d9e465ad2534bb9246a263e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence MultiLineComment False Passed
348a30718e57c939d5441b2eb923f732594193ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange MultiLineComment True Passed
44be62b847da945e1d4ac6f1e20fd67735b8bda4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange MultiLineComment False Passed
4baf6528fa321b4aba30500d89be4ab343c16313 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun MultiLineComment True Passed
1119f2a630129b7e3ec790150fd9dfb19361afb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun MultiLineComment False Passed
7986998a20521f4d5c4acd503049ddd5c38b1b5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun MultiLineComment True Passed
5f6fc433e31015801e25a47612269d54aff0ac42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun MultiLineComment False Passed
c68f7c0ac17b7f4574589a1576da57ad4d6f65d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun MultiLineComment True Passed
c6ad12f441d359b4c466dc7b1dd7c9db742c0397 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun MultiLineComment False Passed
99b9b647a2c2b9f127d8afa99832fb24ad174487 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq MultiLineComment True Passed
2c11af8e76f10987fe16f94026f0f8c9f0a1dd7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq MultiLineComment False Passed
bd9969969d831e5ba70edadf87aecd6c013b12e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval MultiLineComment True Passed
691ce0d96aae07cbe210fff629fd08301dd3087a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval MultiLineComment False Passed
06277fc895a4fd7e802db05688f0ab0faeaf62e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet MultiLineComment True Passed
0cc72d92e3ba775fa31725c7664da64f4e1fb1dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet MultiLineComment False Passed
87b7fc5eb2b5bf6c82793416a4b84e6b924c3534 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag MultiLineComment True Passed
9302a38cf2417b193f966784a00d2126a52f049e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag MultiLineComment False Passed
1b41d0ea5802cb3fa3a8dc975c09fbe532fb0ac4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag MultiLineComment True Passed
52966747d909f2fecf63810d6f50a18224a65717 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag MultiLineComment False Passed
11450aa68b9b47823ff6f99685fe708b0b97bd02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub MultiLineComment True Passed
427a435a5f780835eeac5e97d0e514c13a9f0042 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub MultiLineComment False Passed
ef32629b95958e6a896baed535522aefe845e3aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag MultiLineComment True Passed
1d86fee24ae63d63df71997ea021494068cef2ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag MultiLineComment False Passed
c7d0f943ea2aab61c409c0c2a71791e00b5f2f53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion MultiLineComment True Passed
da8613f9312e083047f3c86e1a0040fb319d8f5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion MultiLineComment False Passed
6b839a698deb12c5949028c535526c06be32210a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality MultiLineComment True Passed
8ca9cdf2968759254e3c7f53ab8372b0f0b2973d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality MultiLineComment False Passed
5ae259140f817d4afe521322572c8f0d9606c248 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll MultiLineComment True Passed
b2c69ce7b066b240660604205c4e8a739c23b0f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll MultiLineComment False Passed
de316ccc18fd605d9850955ae9422099795d2ed6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag MultiLineComment True Passed
29b8ff6f61abc5f317b6bc5e966dff1ce26408ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag MultiLineComment False Passed
3d604f5b6b5764d9d12739e85c3345cb01a582d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality MultiLineComment True Passed
608c58b6a3638b9ca102e8881799935ef64a68d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality MultiLineComment False Passed
29ac120885314782d67152f2cb4f4a02470db379 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead MultiLineComment True Passed
4178775c1c986b6100c80b3f45861baf67bae006 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead MultiLineComment False Passed
ef6f637854267fe7c1a18f15ff6a0a64ec69be4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail MultiLineComment True Passed
c616990d88bb78611b14ba9001cc9fa61c5b9591 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail MultiLineComment False Passed