Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
22857f9a074a7c1126750949c6579d741375810b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceNamedWith True Passed
e55aaadc275a896399acafeb8953c3fbf4f75f70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceNamedWith False Passed
b70ef86a06ce34921b36895584ae93e486a9b1d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceNamedWith True Passed
2ddad8dfd3e7a17ae5ad154c4ace7b4d38ff6228 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceNamedWith False Passed
19746660eb77ffe7a6d3b131a94a0ed6cfbcf07f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceNamedWith True Passed
17f5df582b0f5c5d5aa098c11280c81068925e94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceNamedWith False Passed
706f644fd794bc74a8d7629cd12b9032d91307fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceNamedWith True Passed
572e9fe0a029058bad26e4f0dba519d1defb4ed8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceNamedWith False Passed
d537ae790089da48df8eec2c38d9bf8e043a564c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceNamedWith True Passed
3191ed7f06ebbad9d48c72ab899825685254f43e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceNamedWith False Passed
d27c8574e318d5d3f66deb9bed99594d9db2aa90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceNamedWith True Passed
bc392bf6c5c1adfb187851eaa5fdd2e51b5f1211 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceNamedWith False Passed
69020548bc3eaf04814308facf2684937a79ee6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceNamedWith True Passed
7a6aa6128bbbc6d0c8c9e6f6da3ca9b388042578 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceNamedWith False Passed
bd2486fd9a4873eb9e4cf9e8fc6a84db1d38eb93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceNamedWith True Passed
915d1720463ebd7d40a5e52038f6a45ec3094bc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceNamedWith False Passed
85be5389f64abc4e48766a7c0892f78bab0e1642 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceNamedWith True Passed
acb6269b43a7b01e164b4a4d79f00eb90d77cc04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceNamedWith False Passed
5ab1ce136cebd6668aa65853d165211c27be896e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceNamedWith True Passed
30b68090e161195b13e6bb1ca03aed314f5d8cd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceNamedWith False Passed
e507ef52cb1ece1c06ac8e9760aa3dcff60159df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceNamedWith True Passed
0c8b42b0b736566e631c4bea94848be57633331e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceNamedWith False Passed
c7dde245b09f22bae82593e41aa74694b2ca33b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 InstanceNamedWith True Passed
25d6e38f67d83b7d815bba66c41d817da82391ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 InstanceNamedWith False Passed
5b4daaaddeb4434abb3462ed3cd4ba196da5118d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceNamedWith True Passed
57292bab8fce716056e7e607f9b23024083c7bf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceNamedWith False Passed
66de30ddc9c10884dcf5979407689dbebfb68988 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceNamedWith True Passed
51a2a5d34368b7aec91e457344161189a5f5ff80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceNamedWith False Passed
39f9a1326a48bb28c07df3e86a118adc293ed54c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceNamedWith True Passed
0793213aa2e5d2abf865dc423e4451a33fc7bd66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceNamedWith False Passed
0dea00190d107bd97aad5ca89e88f049b9a160a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceNamedWith True Passed
2e3518b09d654b31d8864c2e28a30de3614b4bf0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceNamedWith False Passed
ce881da8a5548312fa868803a6b6086f69267a48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceNamedWith True Passed
c3546b12ad73acc298e42e52906d37051c025e2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceNamedWith False Passed
a876fd0bec0d517fdba1ef65b1215cb9ad7318a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists InstanceNamedWith True Passed
7b72aa269f4957a92f70a88a5bde4c4c841e41e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists InstanceNamedWith False Passed
6fac3b986ce01151c367be312d09a48dc7049fac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall InstanceNamedWith True Passed
bbe3705419d0ac40ec5b0da0dab087874141760a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall InstanceNamedWith False Passed
87364d6dad85c76c1d3472eea4ff62bc8fb9cac6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceNamedWith True Passed
92406f0748077d26b4f5e0d4d0d05f387cee3c2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceNamedWith False Passed
3c2ccf1e5276c982c46ca578cca7573ccebcdb8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceNamedWith True Passed
0dc3e2e4d051d62984ebe0039d9b31ae16afac5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceNamedWith False Passed
e0c2d704688f97b76f4378e862005d07550c5061 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple InstanceNamedWith True Passed
c533536d88e4ef73f76cf1eb880d91248707816f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple InstanceNamedWith False Passed
4bd9d2e5115d22a37711fc6ea9a2c670376fca40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceNamedWith True Passed
408a283ad5a57c621b5e6414fdfb1a3534bbf51a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceNamedWith False Passed
78fecc645f9e00b22d0a3995ed2ea19cabc47fec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 InstanceNamedWith True Passed
787c59ec67e8a4bb38bb08a857222905d0fb0f4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 InstanceNamedWith False Passed
f40260ed13180ebdda0581138dd1892a73086364 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceNamedWith True Passed
2fbba7aacc070b9d3c6ecac325fb3e133387a7f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceNamedWith False Passed
85109264d4b35405338f49551cecea5b68c9f161 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt InstanceNamedWith True Passed
9472ca6e4e66b96be13d403f6a06b78c3e818fcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt InstanceNamedWith False Passed
0560321a9b23aedfd07ab5ea355e2fceebbaabcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceNamedWith True Passed
fae7cbd039af368bdde0d6013ac56bd30b6e4b6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceNamedWith False Passed
8f1d2a8944afb4ea9dd5ec3c491a1fef90655d39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt InstanceNamedWith True Passed
8849d7ca4dc6040a35a3a172eae20d4ff6873097 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt InstanceNamedWith False Passed
8cabf60f1538306b71f47fccb47627e48bc38d41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun InstanceNamedWith True Passed
fcb3b848b26769541ef290cd19a26469b3f386aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun InstanceNamedWith False Passed
49b5ee6262c9bbc17f33b0ac4e0d1e7030574f24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple InstanceNamedWith True Passed
d3044db1b22e44bd84f9eb0392fcc401841d5a10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple InstanceNamedWith False Passed
1764f0065f896f46e9c2d34b3d895335b92bb84f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceNamedWith True Passed
84e705e9447d444477ff729c0dd48bc085a27e16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceNamedWith False Passed
d5f3a047d423e7a62eb5daa4f4f633c636439e34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceNamedWith True Passed
405c108118da1fe8fe78a31e8b50e8c42263f454 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceNamedWith False Passed
6c861eab2d0aa21e82d26dccef60c58189078d8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceNamedWith True Passed
b90aa05cc459a78b73261a625e90186ce21e5129 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceNamedWith False Passed
3cb57768b37f97a0c427295ee51daac8235769f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceNamedWith True Passed
f950a4340cd886e0cdc0399bb8d478d60f92e638 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceNamedWith False Passed
9705bfdd8430407a03942b30f2a4971745f6af4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceNamedWith True Passed
03ad1b7540b06f53ef7262ed33b22aa8141f6f48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceNamedWith False Passed
5552130f56ba469a08a479c8b3fac4d2cfbdb9ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceNamedWith True Passed
9ce1f78f8af64827db6c2bb377627fabb30f13f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceNamedWith False Passed
3c411b575171a9d36255a049ba8c62b49b0a7c6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceNamedWith True Passed
36de33fb97427f1ccfee5420a5d758a985f3cd27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceNamedWith False Passed
0ff54e7488319ae50863a60d8d871140154aff23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceNamedWith True Passed
0a6fb4cbeec3758e36efaabbf2232118774f95c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceNamedWith False Passed
2fe30d93fc08b927aa6d7bc87231114a44e6cd32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt InstanceNamedWith True Passed
8eefdc3f7446d4be8f2634ba0fd18737c773285e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt InstanceNamedWith False Passed
3c3c7f3b1dff02d28b00f27b2f3b5c35e519ba70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceNamedWith True Passed
d88ec6a5fb0ff84468c90e13dfc06ca27a97b678 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceNamedWith False Passed
22a7c27d44941f0ab9f9f0446bcadca207ed360f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceNamedWith True Passed
5018d095ec4b9ee63454481e6edb0309db27ad7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceNamedWith False Passed
9a15776f7bca522cd92ac935f295f80e377425cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceNamedWith True Passed
7a3877c49c48bc59be2fb3df77d2fd8fedf03dac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceNamedWith False Passed
da7786f5ca30c1c06bcb9ef6db0b2a1018e42197 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceNamedWith True Passed
d6ac7d450baa598f084d8424741ad377e286a9ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceNamedWith False Passed
88bbaacc421b137cf63176bb010e402fb86ec4e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceNamedWith True Passed
c6849e5fac2b510d2549c71decccabb578d9ed93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceNamedWith False Passed
1137db3fafb5cfb1cde6cca4ca3a687590bdd737 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceNamedWith True Passed
6c637eaf3bae14c929eb98ad70393dac93126ec6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceNamedWith False Passed
c6ae4202b30f393f262d88f88bbee0864b67b5ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive InstanceNamedWith True Passed
52297dab6318f224977490ab9ba309be59fd3f3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive InstanceNamedWith False Passed
d05c1a3bd82fc80b9c1306296424437d42e34a0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceNamedWith True Passed
56075ff0be20a1f0e08841cc618d36cd2cdce4b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceNamedWith False Passed
2490e4d4866ad0b2996fb7be1a32aa9d508b4199 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 InstanceNamedWith True Passed
8724425d7c4942438d10fe47cec6ea4bd0d18246 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 InstanceNamedWith False Passed
4465776cdd427691d40988b2364c0305c84014aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceNamedWith True Passed
91292c8c8979d9a79c5d7417c39a6fa4aec398d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceNamedWith False Passed
6c85c34e4926408258f19dd0feb941dd9480ca3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 InstanceNamedWith True Passed
dea63b3ba20c46b3a241e8d3b77928b3679f6de2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 InstanceNamedWith False Passed
6c6ac1ed3a5679df2a3d448458fbe50b49043bb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceNamedWith True Passed
89c38b2e68a5807399293d500606765354d4aedb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceNamedWith False Passed
ae83262df1356092788aa6fd8de773cbb9ed8ec1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 InstanceNamedWith True Passed
b62886f29b890e5c3d00fb56cc7113bf8d1dfde2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 InstanceNamedWith False Passed
36735dabd7b1f08dad8610995238a55d2267f783 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceNamedWith True Passed
d20de3cd1636ab6436e82da041df6238d81952eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceNamedWith False Passed
75da78700cdb222c79ec98fb1cea67a67d5fe08e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive InstanceNamedWith True Passed
1d7f21c1df188cd44ecf19bb8427f7d4c963da26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive InstanceNamedWith False Passed
213134d298c8fc106b8177de2a60c132c332c368 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends InstanceNamedWith True Passed
2ff0b644cedaeef89e30785f906ef243d768c40f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends InstanceNamedWith False Passed
37803ddaeaee7d8056728d6fa35370440a563941 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedWith True Passed
903f12d90d76872ce2cee380207fcbc813c8a03c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedWith False Passed
c7fb5eed04f6ccdf6cef8cd6de9a8474fc8f0f0a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceNamedWith True Passed
3b74ea0a28cd524fa540ac447a4f73880541084f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceNamedWith False Passed
5462def6ed98b29b228da71d023c65850a087c5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceNamedWith True Passed
df3911e4afbed376c273b750d513474fc9cbc75f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceNamedWith False Passed
16c847b70edb332f9b21a54eb5c499cf1da64e35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant InstanceNamedWith True Passed
d89e26afb9cd40eead1f6ca99ef2caee8c10b5e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant InstanceNamedWith False Passed
f5b705b0d1ddd4675bd808760ff11850a15ad603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceNamedWith True Passed
aa2c88f4a2bb493af3d09002c3c0ed1d37a8e1eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceNamedWith False Passed
a358a3b6220794c1eeda5d000e04f3e17bd60586 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceNamedWith True Passed
f1e6ae7753c8469e1b98ab1b2cec456aaf04cc16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceNamedWith False Passed
ca4c465aa79b9ece6d7f2e80011a154873c1db62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceNamedWith True Passed
c09c96d9f37ced1b1dda28a67040cc6a7e53ac8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceNamedWith False Passed
b76d946fa2ad06f302b651a2f82ccfc807a22b95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceNamedWith True Passed
247e6e01d945d6cbd477cef7960b1127da6a485c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceNamedWith False Passed
ffea1897b5e3dddb3f42a21e69a3a314f35bb7d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceNamedWith True Passed
601c6613818595966ea2424cbb7b21799aa000d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceNamedWith False Passed
7f2bffb3cd81fcfe26943bfdc98259a6af3ed89b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceNamedWith True Passed
a7ac9a94b73817e333b047ef261f895df159b98d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceNamedWith False Passed
5a67d3a32335bfb15bbf34e0460270d4a890f743 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceNamedWith True Passed
12eb0a0b33e5c3d8339e84ab0f5703a6947e99f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceNamedWith False Passed
8be74ed29e9adf503195b067ee2a59c8d84a7d0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedWith True Passed
4bbafe7e9020abe0262d0c3d4ebca3ad2a614fc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedWith False Passed
bc9c75af773d3d830651ff378cdde4f0645dfc6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedWith True Passed
5b060371dc01398b0e3e7564e0b64b6895a69d3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedWith False Passed
47b70efbfcd7e90de3a3a2e276a8f07c188d67d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled InstanceNamedWith True Passed
e07123cacaf894fae75b9acd82fff03643d26f6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled InstanceNamedWith False Passed
fa9164cb254bad78f3d1149b2358bbd760d92554 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceNamedWith True Passed
6e2a675715ba497898367592d306a101400629a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceNamedWith False Passed
e36955e35298c08faef4b4635c1e207b2367c57a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceNamedWith True Passed
5e89db1a9c10878ef00c9795ca54075643ea771c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceNamedWith False Passed
526063cae53a2b1673349f3df83eb8184864be01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceNamedWith True Passed
d8fdce10a25a6a65cf36366226edddb45067c786 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceNamedWith False Passed
b352fd2b1d4174a05b59a6e8fc1d1b4bf811c277 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceNamedWith True Passed
c387146dc158fcac04e263c2d6e9bc82f28d15ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceNamedWith False Passed
d3b48acc6fc094eba255da0bacaeb82a2db08258 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceNamedWith True Passed
6bb4916072ac1c3bf2e80c4810c8d5f374f9ddf0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceNamedWith False Passed
6576397e6f2af4cbc1725f3379397f54b2582fb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceNamedWith True Passed
1bf22e471a3387a0072995703999b95fd84cdc1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceNamedWith False Passed
b21cd52c697d75be1c23aa6477a71b476f23ec83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceNamedWith True Passed
45e0640ca8430c2668c3b46d98248afc0d2889a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceNamedWith False Passed
022c7579cfc5cce6fc0630e8b81d2e3189d71ad6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceNamedWith True Passed
4ee49decc4ca6483fc1dc543e83c79178114aa78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceNamedWith False Passed
1618867a60cdbf5db84ccef2edb128cda22b5595 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceNamedWith True Passed
0d77d5d2f65d6c949765113b6dfb728faf451100 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceNamedWith False Passed
91496ad6c2f786227cbf9338c5e305fc8868d046 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceNamedWith True Passed
4bc7c9f80b7d97996f3d9bb6a6b310bd0bab863e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceNamedWith False Passed
ca99d0f271caf5d421e84c5715a811f235cce619 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceNamedWith True Passed
c92c062873d365027608972547e82531cee4ed1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceNamedWith False Passed
10c7f8cb96b6c5c894f3814f937b8c8ef746c6da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceNamedWith True Passed
dfc6f47de9981f4a23a2352dc9724afdf86a101c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceNamedWith False Passed
2e9919be8b98744d9a70e9b16ed764e8d84e749d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceNamedWith True Passed
362fb0bf309029cd839ef12f969957a6cd5e887f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceNamedWith False Passed
d72938f1f134c5e1e0c73d86eaae8b1306c46d37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceNamedWith True Passed
9b70ef7820b28cf7240c29dac24f3430bdf0e69f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceNamedWith False Passed
9bcdf32be39bfbd5314457b7c82eef63a1b820f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceNamedWith True Passed
4f824055775ff38d79bcff4e6984f637a1df366a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceNamedWith False Passed
d2bce4519b139e95a017721c3be5f476b967e1c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceNamedWith True Passed
fd4869d55861c7531cd9855a87949077490fa5bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceNamedWith False Passed
4cee5f0d920631a4fdbc6abb49c9223111069805 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceNamedWith True Passed
aeed203b92a7f66d983ae42686c9a634ca096d7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceNamedWith False Passed
7a0e7c544613220a50821a7a69a1a1ece88750ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged InstanceNamedWith True Passed
7794a191ec757b47e04e8934acf4756f085d929a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged InstanceNamedWith False Passed
bcbe44408bab12f7832de71d9ac97439f88d4e6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceNamedWith True Passed
6d64bc3304b20cb6501a4d8dfe114de4c9a81dcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceNamedWith False Passed
8c058213750d755e5d165a788afb73ac414326f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceNamedWith True Passed
adae2682b46f457931ba13e41885b677a834721a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceNamedWith False Passed
1afcacb1a37ba3fa688480dcf4a0cf9b1ef22b35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceNamedWith True Passed
fa8bcdeacd0edc11e462f4ff01b2a461928059e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceNamedWith False Passed
f9df3bf11f9a000058b2673e6763ff5d0ddf0b63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceNamedWith True Passed
7d980b04d2b421e1bc4814c703d5e43ad9675ca0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceNamedWith False Passed
742065f1a5636c5ac91da33c6567ca035ed8a732 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceNamedWith True Passed
ee8ec53deeeb129df9965432a03e1333224ff826 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceNamedWith False Passed
e1d32e08ad86a27e2036a80cc90244aa1e8084ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceNamedWith True Passed
e5f9967447ec8e47ba17340541296d0797850f16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceNamedWith False Passed
e7bec460880c1bf3d8643f70b68f0875e5888981 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceNamedWith True Passed
888fdb6aab54b6b25704976451e51a96d747bdb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceNamedWith False Passed
7c20353153b75efcf4697a5ac84498def704e85b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceNamedWith True Passed
70f89ba6b206003841ad45cc5ae33b8a15c5e445 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceNamedWith False Passed
b907f872ed3b1f0d25fbb30f21d0e6bdfe6805d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceNamedWith True Passed
27f9050e58c386b6b12454631142c7aed8ae61aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceNamedWith False Passed
95cccf84218ba9f185e320e209335e537180de32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceNamedWith True Passed
5a91b0c4f102d9d06114c62208da8470a51f9133 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceNamedWith False Passed
b919f8cc559d91833747e99a054299e74f1f43c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceNamedWith True Passed
9d739e6d5c346d6c277bd8025b7f96e1a271ec09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceNamedWith False Passed
6141be058298020e88bd733097a745fafe08501a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceNamedWith True Passed
6a387d61ba0299f1e7073f2ea90339e86a9684e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceNamedWith False Passed
7364264fc77a504b0ffb082f5a23c0d52ac93d52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceNamedWith True Passed
44d987a836a782c18259431504111608ab0fc44d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceNamedWith False Passed
89c0ff1ee3f6b154a0e8ccafc43eb1ad92b60342 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceNamedWith True Passed
f4d80c8372d10cf935c986df907c5bfd9e290215 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceNamedWith False Passed
aea69024ce12220f0756e95b85a23be5c8884d8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceNamedWith True Passed
7a648c379a066e538ac348e25a9bbc145f5b624b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceNamedWith False Passed
a00e3079a80451255dc3b86cc278280f6fedcce8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceNamedWith True Passed
08ce186b958552865db697ba8aa0e889dc0e8a52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceNamedWith False Passed
406f3dbf909d7a382cf2f03fbfa2fddefda2cbb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceNamedWith True Passed
ada3fec206cfe62e0beb869b7fe49fc5339dbe0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceNamedWith False Passed
850ac2a1ae3eb0dbc1e50cb0cc01506a41109436 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceNamedWith True Passed
1c8a915a87d604433f6c4717a00426008ed6223b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceNamedWith False Passed
21616c11c5d8d7643514b3f47ac0cfea20d0a483 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceNamedWith True Passed
57b4b02f2a162fb20549e76e86203d34c7d4fc0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceNamedWith False Passed
235c3ce06f8bd299a93c94a549f3f078c00da57b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceNamedWith True Passed
8501047d3265692768273938ff25b1e0d04cdca0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceNamedWith False Passed
dd8d04e23684977dcab0b742924b52d8a29e0f2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceNamedWith True Passed
8207713605e5388520b377b4eff7eb6d80b77737 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceNamedWith False Passed
6db1a7b834eceee38ad619a3a78bf8c60e4a73aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceNamedWith True Passed
3068d5545c8a361e9d24c7e0280df7a7b507fc8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceNamedWith False Passed
10a8c3cc2b4c2adb1313f330bc0bea25b843079a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceNamedWith True Passed
fd40531ab98be911c8e0c173c3ccc85e88d4ce4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceNamedWith False Passed
1c05239c7564aadf8c5ed388d04f05d8f050bda1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedWith True Passed
4bb37c2defc75308337e35c62efa67fca43c5bae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedWith False Passed
a4850f567cdf88dacfac6f93dca327aad2ae5a4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedWith True Passed
57a72e87b79302cb5ecba0927f7735f2fab1c11e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedWith False Passed
f00e4d08c5b40f014b3e08db64b9ae510075a258 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceNamedWith True Passed
0ce94441bf38e2651f672c0f12f655d4cecd0f57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceNamedWith False Passed
ef1d8d1780d4618f09d4e177607d357f67665592 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceNamedWith True Passed
fb67429fc92eed12894849bb6ac95798d115532b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceNamedWith False Passed
ced79dd0105efb8a1d163bc8e5e0b7eba6509610 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceNamedWith True Passed
e98ab644deaccc0d55023c7fde0ac8c0bc9b7f7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceNamedWith False Passed