Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e32cd565dcdc0934b98c994e10c24b306bcb4476 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Imply True Passed
99c9e6e2fbee0a756b5d10e4337e9ae9a17e79b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Imply False Passed
737f6c44936a27b6a355696ca0187850b5961e44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Imply True Passed
8fbb6c88b296fd4422ae27b90711bf8c6e8bfebe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Imply False Passed
2d59580cc4e1553b70e74bc132a91082a62988eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Imply True Passed
31e184c092eccbe3fa33e6827f2b44f098ac68b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Imply False Passed
ccfed29cfa6e5a11292a88c1ba9d2a285ed5a43e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Imply True Passed
47c46b03f94bd052db95e8f3b50b7e068620653f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Imply False Passed
f938d45a030b1841339e3c71b5bc9bbbd97b67e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Imply True Passed
3e9336e2e37a0083d274fef8eb9b42330c09d08f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Imply False Passed
4678d23c92448aed4fb279788b1a5c937ac284b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Imply True Passed
f97789f629ed954c34ee86cadf471466605e41da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Imply False Passed
ecf88718868d10a115eac0e5b022e1e4a85b6a10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Imply True Passed
ebb3637f013f8d653bad283cb4b058a6ab4e5373 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Imply False Passed
36fd70e0b061b4246a4c9e108cdc06accc60ba8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Imply True Passed
667c936d5867bb49f86052f43dc829cbbcbf2047 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Imply False Passed
89bad894247b978d054447e37e679c67360a9cc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Imply True Passed
f407b6b1f1dea2f73499a640c2a072a54fe1f0d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Imply False Passed
c92a8ffdfb3e6b9cf519efcc4c194976039ce996 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Imply True Passed
200f43c340b0951a38c656062b3db1a5a5e292f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Imply False Passed
12cc65ea42af22df57c579eef0bb87bc82a537f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Imply True Passed
b06850cefc2d842d18bffcd85eeefd15a9c8d214 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Imply False Passed
c2e853ad24a5dcaf5eb92c5d96ace9f683ac555b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Imply True Passed
d064a95677f6205cd686d51d125f26bbffbd640b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Imply False Passed
4d832b61401fa3397859b5a68ea162c031104b5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Imply True Passed
4a28a46a286f99890f6b4ec1b3374c88987ec8d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Imply False Passed
3c83305c34c08cc537e27ecdc2990d9a3d3da841 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Imply True Passed
4539c170ea5a4c16a315a45259f4aca01da8cf55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Imply False Passed
f71bed61273e21da47aefaed3aa7d8bda9ed75cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Imply True Passed
8e07e60012c2c943367cbe069421781ccd1e03dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Imply False Passed
3186d82f99bdd1a98aa10b629bf4c8d3fd4bb15f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Imply True Passed
11fcedc9a62e23155e97e5ecc42b148295005b69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Imply False Passed
3d7ecbac6897911f9d1c1be2cd0fda4a4168e47b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Imply True Passed
ee5a987e56cd2ebcc85b15ac8edf17602a46ccb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Imply False Passed
ffd0661a698329c8410f179e449aa587d929634a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Imply True Passed
e0f19e3c42daf40ca5c299c0c72b3ec90feb2468 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Imply False Passed
70ea5b329d80fdcc3b7bfa8d748142f72c63273b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Imply True Passed
f96f79e65b72b6891575c09bb74ea9e1c3c6321f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Imply False Passed
529ee76a1d58fd05875eac7a18967f3c70010548 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Imply True Passed
4b2aff4cfc869752f8f2cfd59fae608d11e95b8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Imply False Passed
0336e5d4795f29c85cb4707c7d3ae2b717ce6cbc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Imply True Passed
50d835c84e4cb3f3f595163046d35969e74b82aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Imply False Passed
1400fb72722c8a56541005aae1d08c1f6844123b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Imply True Passed
6539edc18dc5b9357755a7a61f2462ccce343829 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Imply False Passed
3f354b946eacf2275971502cdd240e57c8974718 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Imply True Passed
7bc04a6710dd72b91c96d539c1e2d963be76320b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Imply False Passed
f808d6052217ae2a1dc076349285038231aad382 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Imply True Passed
31d0299dbe6e53e2e43d03d33ba37d3220396ee8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Imply False Passed
07bd52f51b33b411d401845afabff13660b84926 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Imply True Passed
f413a89dee3f3c50d383fbe01bbf46e7e82a165c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Imply False Passed
14b5d740eb75e7200a33eedc891eee960190ff73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Imply True Passed
22869f5693c96045e3def784fcd4d333761ef2be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Imply False Passed
52b76341be2e2ce353460125666bfda6f8db3828 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Imply True Passed
66965bef970519806134585b29ac675c8cc20ccc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Imply False Passed
0c5b2173d1bacf773d9d600e3b027abc95d266ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Imply True Passed
db59b8a25959abd9f4c9b5cf5427f53201c9dba4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Imply False Passed
23c4cb8f3d613b3885ac9d361cf2e26ef82d97a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Imply True Passed
bee38a9102a1cfb523d750906163530b2f2f471b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Imply False Passed
7ec1685d68cd9fa8b5707c138c7953a2f80ddc3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Imply True Passed
ee6d89a41cafa9a547b0c351b2e5de495a7986bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Imply False Passed
9fe5521331eedda587e1700e4ac72991b4772ab5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Imply True Passed
7119a273afaa3b0930e53f74b14779aa62db0e6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Imply False Passed
5b9d99cf98b60f6615686ba4b59212bd7a8c404b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Imply True Passed
808ca9c6495bd42da8d6f92bc6cb512fdcef1db1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Imply False Passed
1389e487fcf5b4b2ff2e71aaf5391447732532aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Imply True Passed
eef0dffa73b390ee2b9e43305a6797d71e887b34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Imply False Passed
20377f324b9761f0e84a146836b465cadae9d351 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Imply True Passed
585a9e60272f14a801dd052099c79685243806c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Imply False Passed
e02df194c00002e4b83a03a04f6ea9eac19dcae4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Imply True Passed
8cb52f462adf13bfd745a594f24923ec7eaa16a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Imply False Passed
67f924fd2b4f0e842596d7b30b89f83ca4e85e9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Imply True Passed
b19edc057dc04a050ed741345ae88a0ff0b80a87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Imply False Passed
56eb4761b25fc9efc7ae303c31be04efeefbd61d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Imply True Passed
d75c5813481134313a9c04156e6919ea2b4e36b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Imply False Passed
7b56010a4677a6c3158a73432f46eb9f289b6fb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Imply True Passed
a6c1e5cc59a89dcf2740fde0a1c518cc8c6ab8d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Imply False Passed
608e8c314ee16be0b42dcdee06c53ed07f17acf7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Imply True Passed
fc16c698f61fb3628d90881511514d20b1406e9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Imply False Passed
f23c55ea1ae15fee06bc65b063c900b76a86f6e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Imply True Passed
339f4fb16a4fdffb15bf4475b51e448f7af5823b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Imply False Passed
41b760b8ea0f38497480a5473f488088aa16a698 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Imply True Passed
bf064bdb29d2421c6666725e9b3865686f1e64da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Imply False Passed
9141cb23506792029e31c7715e650b341d6d2923 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Imply True Passed
42f85795274c730a50a479e24b7ac7908a818f23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Imply False Passed
1325ab898697bbc1b1297f0a3f75b338bb827fb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Imply True Passed
c42ad25386b7f30cb5ee98bc4d2bbc701ea0de12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Imply False Passed
3cdb308d9a8dcbb532cf9e8d3f115b3054dbad9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Imply True Passed
123eef1dde55f25fb2922a2469bbbad466d8fff4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Imply False Passed
513cfd729ea8bd8f89d2cb7b508f634f927391a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Imply True Passed
671a9bb5965426598839b90634acc12953a9588f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Imply False Passed
8ca55667cffbcc9280e5a733cfc4f907b0c6576b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Imply True Passed
b031924a098e7998aa1f778770e7381533394ca2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Imply False Passed
4f735c97446451b322056da15b5978b4a18bb459 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Imply True Passed
36ff2fc3460f95a2b66743844917cdd048a3c34f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Imply False Passed
93380202ffbef67d7ce4d711340b19b91c09076d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Imply True Passed
6fe70b6d46a23cccd7ef21e4abe6cc49180be590 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Imply False Passed
73269cd2a5241daa07bb23b4609bb1022b79e643 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Imply True Passed
8a903dd8428ef8a13a98efa68a82c1e57abcc34a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Imply False Passed
33ba37ed12ec4caafcbdf568c0e0e1a9216ba5ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Imply True Passed
1e5a9e64bc9b4cc1103fc10dae42b2fd9049489c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Imply False Passed
a9f8d573e76add0c5a69e9e75e9e5ca770e4e44e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Imply True Passed
06ca5e4c1c1c0caf4385ff82beb760dcb8110647 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Imply False Passed
4da4820532409df683239a3e35d5206111cc64bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Imply True Passed
84fb79d6fce6ae52f0e3b4a6afb04cdf31a10960 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Imply False Passed
914f4904a7d60b6f83539935cec42d02c411f5bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Imply True Passed
e2ced3e2629b4f2653186b0ee83001d7d0c4643e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Imply False Passed
e6ef8bff7975902fb0f5ff311bfe79da6057fd71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Imply True Passed
dbd01905ed78738b18039bc2ab17b40deee24c3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Imply False Passed
a0faa1e87513d962fd1510d4f49663a0ca0e984e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Imply True Passed
f9e2f5627c5b67d96234b99fa51b1916be1fed65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Imply False Passed
1c0d35e06f18da3c7ec3acd168c911d76aa68511 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Imply True Passed
52fcfc02bdfff53953c35ba10a9bd633c2fac1c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Imply False Passed
946efcae5267276f7d541923a9a5df7d63013f3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Imply True Passed
960ca45b3b7b39b653b84ad579a7880192c96567 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Imply False Passed
93fc5845f808244fac57511c2535e1dfb54d3a23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Imply True Passed
3935c03cf0efb7af30ac392b4fbf354800cafe5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Imply False Passed
7d18913d83b9a4229071849aadce900eaf00b40e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Imply True Passed
63885d252578ec912f6087080c578b6edd189cd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Imply False Passed
d977738289589dc04434b27127906f885f3f9072 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Imply True Passed
ca6aa96581ad19f4b22b1c2e9895871db86ed25f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Imply False Passed
c51af292e43a1e2131f1ed4c78102e79afff97be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Imply True Passed
2dfa28928b8e570924cc02cab91e564f5a7ab8ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Imply False Passed
54ca25e8668fec87aabadadb95b03ba80654c55c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Imply True Passed
61f32a50b3ca57c5ae3689d7a64dfddb0c708367 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Imply False Passed
6e0a2cd250c00d21a998ec530429417235fce7ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Imply True Passed
692d197d363fcb9311813c46a45a928692ba8b6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Imply False Passed
033755136890e05cfafd937c69b23c491c82e342 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Imply True Passed
6afb61ec04bd46562179064f27f75ebd65e9a3a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Imply False Passed
9f9e12c6c7c0bc8310d8ba9690d82fa918d1e7ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Imply True Passed
9ff1654182e49cbe550a6a7d56327028c913a552 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Imply False Passed
0f4b791d25967212f19d55f38a7f61f816dc747e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Imply True Passed
6838c4a19d6a70eb9305dca7f9f61e1652178ca2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Imply False Passed
fbf8b11e5a8abe2f92a8d70262988c9682d4f369 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Imply True Passed
2adebd9e09d44c32657879e90f67c68a0e56f841 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Imply False Passed
1e22959c30d7f7e982fe7cd409e888c12b5aa10e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Imply True Passed
2be4fb8c0309ba8718ff49728bb03ffdc8e95cb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Imply False Passed
3980b4bc24d919bcf9b70593f1350782895f31b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Imply True Passed
b97bac29980b26b065476001ce81a9af579a13c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Imply False Passed