Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
780eac362635ee999dbae285ce200151d61a8538 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceWith True Passed
7f24f8cbd89124c17aa84253edb3ab096083dc62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceWith False Passed
cfcbc2b300b30dde638061ece50741045b4a2688 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceWith True Passed
d093d5978177178b9b2853e62cadc364802aca46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceWith False Passed
90e0661475524205dcd1a1223eee80ec105c0cda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceWith True Passed
d20c817bcd37dd7efe90e0b92d4d530cb3c3faf7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceWith False Passed
407fbf5efe302250b31d912aa7ee7bfd29c1f81e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceWith True Passed
395a96b4a643cb8224976b1e56035082492f5bb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceWith False Passed
2b6a4a8c51029e2d42e5e23dc5028040ba21ca27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceWith True Passed
5a8ec194f8685edf73334b62b2f8b7870e836b3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceWith False Passed
dfab1a26a826c66fed5791e50b4bb5e95a022c9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceWith True Passed
1b19d449cc114597e3019f3a68ac4b7b81b9177b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceWith False Passed
5004da8051aa0e794fcee7473760bba3d70cb81b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceWith True Passed
18ad687fade5ee5fe5e053ec1d93c3f03163e6f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceWith False Passed
cb09e5772dc9bc0b992600fb0ba0495c9dda7cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceWith True Passed
cb0e1a26290f73a0c3e6c90e90e71772c5255b99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceWith False Passed
eb7a51739b256b21dcd9d231ee1e035f3d3cabda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceWith True Passed
e452502aef734ff29dd1f86af428cb3bce2d48f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceWith False Passed
33bc0c6e07529709543949bb75678db8491fa1be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceWith True Passed
c07f9c405d9e0641742b9889b4bf077ba1119d14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceWith False Passed
94a514b2f645a0c4e6eb62de619437e750ebcda2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceWith True Passed
2672efb8a1666b6eb9c81dd41c726e19ecc8dabf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceWith False Passed
e89208f7011836010c10481904a69b5b3fe365b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 InstanceWith True Passed
332882c006c41699c18d3ff18f2046e0818a19ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 InstanceWith False Passed
5688abce669a2d81b83d6b1486c84e99c68b68e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceWith True Passed
6ee60d89df8c14e4ce466b99d13e429bb75ebc9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceWith False Passed
636766d009aa73614bb37a25e702554c8597c3fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceWith True Passed
1d534beff6bbda45bbf7aeca129c71fbb7ca622d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceWith False Passed
394f079524e92c6f2bc802081a5b923cc0b3980c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceWith True Passed
1121fc9dff3d472b014c5de7443e003aedc703f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceWith False Passed
3905001036c895ac226ce75e888b5dd06dcc4050 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceWith True Passed
a8b561aef891e9c5266c95e9ef9be87359945332 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceWith False Passed
b62927af17fe7615de9aa8043e3895c57b36ca67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceWith True Passed
38599d4c9776287e3b624cb6ece6c19b7d1eaef3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceWith False Passed
82c1da64feda86638a5842314c4dfc203619e68b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists InstanceWith True Passed
63fa21d9f52b7517fb40e6c957d5c35742559926 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists InstanceWith False Passed
1fd1ddcb93563d0b45cc4f4d54d9beaf96a339e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall InstanceWith True Passed
6238f6665e4b3508bbebe8a5b588dc37fe667c58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall InstanceWith False Passed
11eba710307a12f555211c5d0a7e5860eb28b3b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceWith True Passed
2a52a04403bc8ddc61815f83220f51cf32597915 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceWith False Passed
8e7f2be866fd72b5a737c1aaeb43c01c6fdc239b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceWith True Passed
7ac6bd9288177310eb04bb8b0610e39cbe2cad4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceWith False Passed
18f6947d8f903d096c7167c36aebbaeb138b1c1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple InstanceWith True Passed
fd37fe9b93a4e1981afed765e2531e42c26072fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple InstanceWith False Passed
a7699151e390dc85f6f56f30c171d0ddb758bec5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceWith True Passed
d4962b396f465218918f064572b7302f649b58b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceWith False Passed
e6b14f2df2482ff4c00320cc8d49f545e7f795a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 InstanceWith True Passed
34986dd94a8b0b1b6149d6ae64b9ca1f07d1a3ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 InstanceWith False Passed
2b787e290da139193770dce7f76421a2cc403ff1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceWith True Passed
4a9df8efb790cb0c913db37743ed4857d2bdaa7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceWith False Passed
f36b3024968c11a7cd5b4d88e161c9238d86c9d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt InstanceWith True Passed
fae636801133bf138740bb04125345a3d69d4953 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt InstanceWith False Passed
9099c693c0b9763a881a66145aa7b17f2dd7a743 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceWith True Passed
b428f172704f34f25fb1259778576c8ccfc1aee2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceWith False Passed
41fc2c89eb2aa6e71cdee7d384620ec93ab7641f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt InstanceWith True Passed
f4dfd4e86965498ea2c435cdabace331c6f953ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt InstanceWith False Passed
51fce6e2e49f238f125ba7da4a2edbacf09d9660 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun InstanceWith True Passed
ef3735ec27f95583c99db0f983d7cbed9b5f50b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun InstanceWith False Passed
de6f47d99aab52b1c4ff6f61b8c4443c46343913 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple InstanceWith True Passed
8d563a383611522243254f105478b4960a9716a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple InstanceWith False Passed
ecb1b6c9e7a8b0d7f9266c81e5f64dfb1bf88d8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceWith True Passed
091962e0aa79ba0c277a32d5c7e7e4f85ba51d52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceWith False Passed
5204b7af13afd2c1250181d4eeed3512137b4a6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceWith True Passed
fa6f6b036102bf7b971afd68b41a7c0f23b0f1b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceWith False Passed
0fd56bf0fcd3335c1bc97ea605c78f989fbcac23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceWith True Passed
81c9ad6ea636e596119c03b7d9c3aca7c1503bd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceWith False Passed
71d1c1a5d64fde31a421825d00e2382e8655c1eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceWith True Passed
b4be32fac52ef693442305b06775eabfadc1cff7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceWith False Passed
7218951574efcb1aafc9ef2ee1307b58f67f8f74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceWith True Passed
d50ca2997f0b33e88a880dd45d77ce540f304036 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceWith False Passed
48f5c7f81e7198727271e92435764738d96addf9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceWith True Passed
5af96152d42bbbbe9c4962f740852ec98a507110 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceWith False Passed
ab01d5b41dbe1f9f159e4d3773181e1a69483009 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceWith True Passed
43208d29e84434249c83377141088781caafcb43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceWith False Passed
7ef360bd9891c82d0f69ddfff5e7c62c821314b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceWith True Passed
bb477cea4312ef96294e541dfd1e2ce40c4f68c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceWith False Passed
6e159d081741fab93dedd1f8916367a2b841722c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt InstanceWith True Passed
18bf8d001c82ecdc95847829cc81fd7820197acc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt InstanceWith False Passed
a0731fcaf4fb2406e656d63adb2be300802d4a82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceWith True Passed
456029354f6031840752fe891200723ce15fc691 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceWith False Passed
5dbf51525f6e28cf21cefbf8de359d3068385f51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceWith True Passed
a7e9d5c09b3bb30e823722065b2f3f6858981dc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceWith False Passed
f1faed1098de05da4572368e5e99f82a9f4df080 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceWith True Passed
a503c0eb41fffa82443b2889ccf8b30e1b704048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceWith False Passed
8d170aca5deeadd8f0d08f973ae9ef46a7a7ec4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceWith True Passed
3c3871168596afe14a6a6d4baab8cbc51cdf9b69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceWith False Passed
be655a84bbfd8aa2b4c588ebc8ba6e9fdd11343d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceWith True Passed
62f1bf46e12d7df72740635264a0f651c3549f1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceWith False Passed
2288134caf6545d8449e29aa64b1822d0eb47d1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceWith True Passed
72d455f5b6f7486966d3a6e438138a0f352169ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceWith False Passed
2c31b3f760d501b57c50b8f00854685a9027d072 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive InstanceWith True Passed
b6dcb21b2ef7c38d08f14008e9e6bee0435cafa3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive InstanceWith False Passed
c8f0cd031b6bd0afef55850682502a75a8821727 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceWith True Passed
8bc1d4c6899bdf9542c06f47d1d178301fff311b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceWith False Passed
6ae69c3c0a59e81b40682355045f59f0040a1a2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 InstanceWith True Passed
60a01c852cb7ec7e93a5ed2565760650f0cfcbf9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 InstanceWith False Passed
c45b23d5e7d74b98725ef88332bd05b4e8576358 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceWith True Passed
84dff9ca57f7b795c69e6d0de9ad54f774c1107d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceWith False Passed
69652b6733db28389f6957c8e44979462197e919 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 InstanceWith True Passed
be508a0fd7db110e0d3891c24678687b14642169 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 InstanceWith False Passed
41bec08b9a3bd296e01db830411b63e882b26846 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceWith True Passed
68cd001f887bab27c3559c8b76e500ff675dc048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceWith False Passed
16fb010b6389c0f66df228c92d16fe3a235df02b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 InstanceWith True Passed
95b236bb770518706f18be0c279106ab75b8c525 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 InstanceWith False Passed
c7b46aabfd9e9a1871f3753c8b1203d8c259e6d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceWith True Passed
ee45cc847631b08d0595f9f497fb1de5e15d8828 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceWith False Passed
83f019b857bdf108d4b62c48508340872a77445b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive InstanceWith True Passed
fbae92cd5cb00b2f1cd8cb897923b96d75f4c558 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive InstanceWith False Passed
fae54bbd6c9896a6e962dc0fdb2378447f415318 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends InstanceWith True Passed
148e408bf07439d5b11b557386ef25ddb87fb2bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends InstanceWith False Passed
cc3752fac7c514d6a95199a3034676c785208ec2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceWith True Passed
bc0866762af109db563b1dd65cbc4aa25138168a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceWith False Passed
4e631ba2fa0da30ca2bc5ca1a164febd7829c830 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceWith True Passed
0fc9951911762fe72de39f3c66ebbe343946c32f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceWith False Passed
5253f52b27a24dffd8fb481785983ec45c3c777c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceWith True Passed
db5ffe356e4c1c88a3860b885586e491b6b8709e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceWith False Passed
6759b096bfad86c9dbc0e4fb1c2a4072f37c852c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant InstanceWith True Passed
f688f00273c13b55f4286182544266a7b48194c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant InstanceWith False Passed
b66bbbdbe9bb5490ebe302aade924dc801e39718 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceWith True Passed
58d748971ac289f1b852f05ced9d17be589d8704 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceWith False Passed
a1904c7f8a8d055c807565b29055726f621bd249 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceWith True Passed
92d8abdbaa0cbf07075f06573d23a1bdac34f9f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceWith False Passed
94949781241ff450da1c1d2c3587edfd5587d5c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceWith True Passed
db1a7c66dcea62b6fd0640df7214e9fbf565400b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceWith False Passed
f5721dbbb341bb9242bafb44fb6ec51b28684883 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceWith True Passed
75afcb87cb4ad965c890f56bf0955112982e6707 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceWith False Passed
eb1fda5439e86755a98f3f11ef1e52d1422805e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceWith True Passed
79fd1183710f2825225c28bc9a2e5f3f760f5531 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceWith False Passed
4d32f23d0634d91438e03ede3ddfed4f325d2a03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceWith True Passed
e2550bf0df5207aa3cac77101115cc4a0f74152c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceWith False Passed
a95a8b9e6e56c08a9033047df5a3a357acd4ff52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceWith True Passed
bf85af9270253748cc7d70afb0a35ab17130745e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceWith False Passed
1f01681097bc41f8aea56c3fd1ca2767a3aa00e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceWith True Passed
f59895182a0d1df8a7253e48832f884a68c0dc37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceWith False Passed
56258e3deaff64df7f729b2094c4feecfccba913 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceWith True Passed
a6c83c79e164a7c2c1f3404601661d883cc42a2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceWith False Passed
dba0dd1d59f89fb1b1fb91b69d3b660b628bf834 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled InstanceWith True Passed
6ba7b5662e033059e00404bdddaa5c5b0ac43b0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled InstanceWith False Passed
6f6a9ec554bf3926bb63773a4f75be1f610d1107 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceWith True Passed
a943e5c91b0b61cb4cf7171ac78b704ebec24524 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceWith False Passed
01f3bddfb292208aad577cce2a26cad467555405 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceWith True Passed
8c5751c384ca82f31215e6992968432338d252ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceWith False Passed
1c23c3bcb98ffd865a876a652b3fb06758a051b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceWith True Passed
2aae4bbe5a938f1b17a1f91a2ba013eedc565ddc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceWith False Passed
ddf86622e9e24b9610cb7785d0f5670863324398 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceWith True Passed
7c0779e719468587b05087261c919c2869ab6c07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceWith False Passed
95f7441850cbd35016f4c024a8e88cd8d0e0681f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceWith True Passed
37621ca8ddd0123bf360497eebf5d548e757ef61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceWith False Passed
407128f029b7651346aff26b46d72374a1d1e562 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceWith True Passed
ba5f702d362f9c3f9c5111950b53f7895599dd22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceWith False Passed
f8cac25a17de8d2a6891eddb0742da19ec96606a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceWith True Passed
0d97e6ad226fc21aade066d2e475dfa3385a020d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceWith False Passed
4ddbe93738675be3efa20ccc640e6361bc4d5f43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceWith True Passed
5625ddf2733a0fdc024809bc12d537411f7566c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceWith False Passed
c90757f15f65f696a79e8317df6207e48dfcdf69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceWith True Passed
62f412b97a6c4d465fe4cbd30b0d70de11d2f7da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceWith False Passed
25c455e39e5a158c59f729b28e02399813815586 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceWith True Passed
83f50a43bf7ac696ab05bbdc584a41e00ee63e3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceWith False Passed
7cd97a9672b2a0805c259525172b31fa59ac33ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceWith True Passed
be6fd8bbb42b92533807c99cbe299865f054e1fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceWith False Passed
eea45f1f5b3c1153d14bfe56b5e9932eee45be2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceWith True Passed
bd27a09fa845077339ce1032620cad73db3e0558 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceWith False Passed
877c0134b11112078beee69a20d1165204e5a893 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceWith True Passed
5362796272d5f32d4a2e97e400a400075aaa143b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceWith False Passed
7a38b83fc1ead3c57384c245fe5c37082fcf578a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceWith True Passed
4de927157bf1c35c789765bd5daa16ef1167a356 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceWith False Passed
6aa7a8212254e35e3496985f2e1795c81e7282ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceWith True Passed
a82d57f66cf9e961290005a10553c75afae09bb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceWith False Passed
648997c1c96998107770e92f93ca666c35a1ec07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceWith True Passed
c2dc53d2a8abdc5fefad714835bdd2507941ca77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceWith False Passed
bf1a1d64db1541dbd31f16534b76b8457509d644 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceWith True Passed
97003a3cb506a09f8ad657e5d45c5734980d1971 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceWith False Passed
6ccb0ef04d7cb2c17f5fb1e141a87170f5e09097 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged InstanceWith True Passed
c81768728b0fd403add070aeb32167debdee527d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged InstanceWith False Passed
562bb704ccc474867533911fcefa88297ddbc05a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceWith True Passed
c10a1eb92e847c99193c119f300a0652a044ed3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceWith False Passed
c7b71225f08d4910040cd534fce86b022e64d546 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceWith True Passed
5c9933be00b8a9a6da774f6348830045d02e2995 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceWith False Passed
b34f3ff1fb3eeadd0e9a854eecfd4930950d475d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceWith True Passed
47c3c164910a4c93a243d07712393621f54a17fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceWith False Passed
a6f81a30df2ae1057f5eb42d2be7492323bf8364 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceWith True Passed
37255ce8c0b834c4e76124de90b977c3444bf46b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceWith False Passed
ebf98ed818ad362c1058650603319055c2fec3ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceWith True Passed
c04aa9d665c88eb96e8a151762960419531179c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceWith False Passed
bdb4b045c044f7e64ae806b41d4514e23374891e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceWith True Passed
608be8b040657a89c325929169db61f593a7c43d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceWith False Passed
c910d0102a764f1d2eb5229af2d5384fdea56c82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceWith True Passed
a9d404ec89d684a9a6b81e5c0000dc4e222d2ed2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceWith False Passed
b57536864384e0df011965cf8767409cc1793330 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceWith True Passed
9cf31f9e4ba1bb9e2fe1034c9e41a5601516c017 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceWith False Passed
7b6e5197ea9bc81f666e1a721b53bfdff2b59c4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceWith True Passed
8928a469d0e523453c9e1f518abb0be1a52ef8a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceWith False Passed
039451ed1ca0f851ec07d83602b52ef5cfdf5d5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceWith True Passed
fe820b14314ec822f6ee32e17e163cef92aeb59a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceWith False Passed
e87c452de54cf22b1dfcdd1fe91133f91436839f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceWith True Passed
caa80aa399e37020f739fa428ef40e9fdf6ffeb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceWith False Passed
992a45bc388ef7cf7307ddc10e035c71e93c18e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceWith True Passed
50dbca330a36091981d6f2979140a3526bf7ada3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceWith False Passed
8b4909be8c7d56d5167f03c39786c1ef187d3e29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceWith True Passed
2ce201c23ed5f6a5a9cac8aa2932929a81ad4be0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceWith False Passed
c47afa498673e8189138bdbe122111ad45d2d167 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceWith True Passed
e068851583cbf0f053a2e61b202820bbcf378ed2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceWith False Passed
2318f26da9b8fa3f4a02f63df663f800b15cc077 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceWith True Passed
e5924a7ac68ade0d1b47e426ba1eadd471a5c44c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceWith False Passed
76b5c754fbbb0a5b83b379a12d0c34242c2e6e6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceWith True Passed
e8d97973075b2d57832ebe70c9791336b9b8f06f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceWith False Passed
82c79ab05911896f6ec18452a331243efd4210fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceWith True Passed
340e92dfb6a343b068c46577c69e2aaaf644054b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceWith False Passed
00e01dd2eb0979ebead9ccc3f687be92ff6355c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceWith True Passed
cd567c54b9438c3ad967f2c777e6103cf9908140 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceWith False Passed
5a90e21dcfe492d7a79a2233c2ee80ddb814a646 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceWith True Passed
1d1f373ce36658a4ca53591c6a8df4a1ac49cb59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceWith False Passed
b828192b4d2f9a22c2ea4bc384fdee4b638d3583 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceWith True Passed
0635bcd8beda076a126763f46e7b976bfab1ed51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceWith False Passed
fa6edab87da70207177d8ba4c8185672c07889a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceWith True Passed
6e7a165c3dc5b6d8424d8897a80db209e913e4e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceWith False Passed
700a50ab3d25bb09800ec0d6e898bece03cc10ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceWith True Passed
f89581e4df4cded18b4ef87a5e09162c9fb66ec1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceWith False Passed
1f1aa1b473e4c229cfb4e9024c84fb4668010233 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceWith True Passed
c7d23bc6353134883049259e52b2c4d5c7aa850c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceWith False Passed
14d44025c31b9db553b4f57d73e21a0d18b09acf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceWith True Passed
79db7a6038599d9c9369d8a270e6bcaf7090de85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceWith False Passed
feddc35aea51ba0ead48cc7061d588966969f2e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceWith True Passed
c800423dc71006d14a5fbf2824de56bacef4248c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceWith False Passed
2c5a2224bc35493f3cf8d1f42ddeb7205ad70a19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceWith True Passed
9be5a053712bb4fd782010b3dab9bbcdb8af67d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceWith False Passed
9a2ef94391598cee4089c002bd8dc9a594415f7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceWith True Passed
34074571437958752239930abe43dcd6c06433b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceWith False Passed
48deb832e70ffdda80b771cc5686bf3cee38fc17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceWith True Passed
f2c6b5dbb4142cc2dcc4f35ff42cbbd17f9063f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceWith False Passed