Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
9487a536b4fe9066009fda70c272555ccaed9e62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Eq True Passed
5174650ed28b7da3e0ffe54de21c5b56a3f91ab2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Eq False Passed
d256cfd5cdda17a95101a8af519ad1489ac557dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Eq True Passed
592c48c18630f9c1dfe3f179306461f2439a33b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Eq False Passed
7e973cf90ffe0649e71ddb11c68c2347099d35de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Eq True Passed
01162ec300f7b8642ace73eac0eca84f5bed0145 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Eq False Passed
1d0d368b5fb37afd2cd6471cc7bb2941b0791893 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Eq True Passed
a4b08bb4f8c9267e3031cabbf5d68308563b40ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Eq False Passed
ab1b05f23943033305b1426bfe42f62d7e80a3a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Eq True Passed
3715d26e900a890457e95523f902a958c8ec5d83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Eq False Passed
9aa57bd81357559d69e35105bc69bb0be9a71bd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Eq True Passed
b19d654b9f2120c185bc07ccaf52a7c79a4de0fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Eq False Passed
a4fc7c6b610b52982ecd1c487d85ca9f1a319e67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Eq True Passed
7ee664b5b5ac3a1345a5eccbf787188f9986cbbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Eq False Passed
8536b5a5e17a79597bc7e2c83f5709f528b80a64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Eq True Passed
7fd028bad201a426c44a1a28728b2e1f950666a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Eq False Passed
0af97c1028040349c01f09365dfa0dc589c2aa44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Eq True Passed
098ef030f2aa907fa68f65ec5a10b8b9ca698f45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Eq False Passed
c9573a9bf051e5ea2dd70b71dd1ae00b1152db65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Eq True Passed
d88995664f6494ef52c812fbaed4ecba80ad70e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Eq False Passed
737df35636c5caf579ca79200d8a19046f666821 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Eq True Passed
2deb2be38e7d4a94315552b47cb1379db85e826a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Eq False Passed
d5eeb14f9d30b672063389b45132c3156f198476 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Eq True Passed
b64a826ab75d592fc46fdf663f0afa3b0def6dec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Eq False Passed
332636f15b3eb9c482e2f6f2e0867521f84bf94f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Eq True Passed
bff04e0efe9bf48ee077f2a05f4b51170c223faf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Eq False Passed
f1ec2e0c10c0bd3b70ef3767e1573a0090d7c535 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Eq True Passed
54f0de432e3a6fac16f727b5ffa00b4f515084e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Eq False Passed
06ec9513c05c3f26ce166da757a2352cff1c8110 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Eq True Passed
dc0f5bbb735014adb642cc44ba8d778831b21107 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Eq False Passed
afb72ca2028963d9f0572a2da907a17ee3cc1d79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Eq True Passed
77e399b6c098427e8ee9e5225e1af40675144488 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Eq False Passed
649a57cc5918bccb0597282cd09bf7a0530cde46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Eq True Passed
294bef084ee3bae068a6f2e0ef38afec391e2bc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Eq False Passed
f121f6a0e9370aa438ac9a4909fd14b88b4042b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Eq True Passed
bb4de2f66cff0e94c2801c79eef7f4ef057c9d49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Eq False Passed
db1a1c52d43a0a4a5b49776118536030b20b4db7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Eq True Passed
30a8268293007fbf8d84e62486282af6248a0eb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Eq False Passed
39b7d218ea51f21c3e645786f0e4f86b81ca23e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Eq True Passed
02e887463e5dfaf61d1fca4eef5412278b250e88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Eq False Passed
29006314675776be2effc117455c0fbdf175e47e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Eq True Passed
10cf2247886dc02b78e1dc1d21f16a1f1594d706 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Eq False Passed
c662c125632c8647e853cf44f059316ee53c04df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Eq True Passed
e9dec05d4b5b3d3c82fe4c938c5853dbdd17b599 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Eq False Passed
c57a3ae743775784e9e0c5ec1ae3b08dbe6ea895 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Eq True Passed
e4d25b81e965810e5054d9ad2787b64f51927c1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Eq False Passed
81fbcbdd91fc046a615e3099d662532b5cfabdb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Eq True Passed
88e31d0e90cc0dc101c159482c77d9ef21ab6e1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Eq False Passed
9a3cdd09e68adc9e347d38e1991ae570e0cb38ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Eq True Passed
fd1b95c7c1c7ae33781dc35a16435e6b93278cef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Eq False Passed
5984641c3dd36bcd0ad5c10f2002330a2337b159 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Eq True Passed
3831e38946ca633f28e12cf10ac96f4bedd84b09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Eq False Passed
e7e0fc3c2aeea7fde2b5be922f033bdd71bfe7de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Eq True Passed
8cd8aef490a4d7ad7151400ad86734bc90df729d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Eq False Passed
8948aa1d217054cdedac862d67d71a45be93038c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Eq True Passed
e8f2f3e510be72e23000483e46182c5627ae09d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Eq False Passed
0539b10e0649cad327b0e49dc5c7bdb4eff0373a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Eq True Passed
3adbd9a066e8d31ce1111c8bfff2d8cc0268d96e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Eq False Passed
b4c0add9ff7f54bea8c94521df6c807decc72241 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Eq True Passed
e1d22e3108859184994a966117c208b4a4e8dc61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Eq False Passed
48b9d868112ab5c6b310086ba471b2fec7b8026c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Eq True Passed
5f09ecb08019be481134a9067ce779dbcc4fe548 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Eq False Passed
eded07c55028d038905174691b1505aa0997bc68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Eq True Passed
497015274946ff67a4461d981eeadc020b95d974 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Eq False Passed
70965965fbdbeea3539ed76e4926321956e4eb7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Eq True Passed
729cd8d702b8df4aff60e57e2056decba681bc41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Eq False Passed
babb197a2af3fe1d564275a7ff802fb73b8f4e14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Eq True Passed
7c5596d61ea29ece3232decc7df512bbb85d98b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Eq False Passed
cb3dad9571db0876bd7e2b8af772a1a265738fe7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Eq True Passed
87f4ad008189275004215bdb51225cf0a0f7864a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Eq False Passed
0f95031235ed00d042cc6517c6d3bf02b6efd724 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Eq True Passed
3b9f4c8b87023cf933ebcce61b7f18a7a05e30da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Eq False Passed
73476399f6b700ceca77b99b425344d4866c40e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Eq True Passed
936abc909a24638e94e12b57f3835ce9b136ac77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Eq False Passed
b2ea0534bbc4e328628a958383c35920937c0a13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Eq True Passed
288c37d81db8285f01eb712e7172aaf8f210b957 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Eq False Passed
0e20712e3adeb48c106a8912aa2b1cad41de8f98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Eq True Passed
286fe39a75d27a99a4a1d0c8c588afa9053346f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Eq False Passed
41f7a8db4b23eebb372f434102cb2846f1e651fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Eq True Passed
c9cecb137f20c2465e0a886da7f695a479da4d25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Eq False Passed
3002d45d9960b309eab999cad81a938c70fd0470 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Eq True Passed
c72c601e6d0ca26b158baef14a83becbdead7aee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Eq False Passed
379a3bdf4b449faf8fb3e5cd511fca104b66a48f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Eq True Passed
2f29a44f8d3a173a1a515c23c46d36e9e38cf3ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Eq False Passed
4f95fbf0bcd98dc66dce1088408ceee8860d4a9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Eq True Passed
74d325c224da9c1c46bb0b8b3d4100148f1900b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Eq False Passed
8ee21f2092566837a2b04863d4cb4739078866ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Eq True Passed
fd0c27f1869e3047180c8651efe6d7f3dadae80e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Eq False Passed
4971717c8f5cbc0ded740558bd43291d436ad665 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Eq True Passed
d0c03d4e6291bb175be010b1b8e123731c2fd992 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Eq False Passed
2a6ecfd2c196c4aedae940919d0677a5642dfde4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Eq True Passed
43849343938b24f6e5ca58bf6fe93746eae3954a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Eq False Passed
48c72c26a8d46d8c2ee7ca329f689bfda737baf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Eq True Passed
437df0deda640ee55c099846ffab0ee85946229f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Eq False Passed
8f67b0b57a421c73f33bdaed0058166159825fc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Eq True Passed
0a5ff83aafdc934fc71700daf5234fba6e80c257 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Eq False Passed
555a1e07888b6a50af99b80bf9cd0d03a4ca39d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Eq True Passed
592aaea4a736b70630f8f7f36878e6387add8f68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Eq False Passed
416feb845560920fdf3c101bcd4f64031a6ac2b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Eq True Passed
02355ade31ed16dffa1d24f733cc676971a51765 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Eq False Passed
9d1f6fa4661dbb02641d657868272142b90c2dd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Eq True Passed
8d957eac08a5d040a12649729515e1a067dc3f57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Eq False Passed
7daaba51d0d3260f1972c8d45cf9f0f3c948205d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Eq True Passed
b0349ecfd1d704cef94e552f7125303e66d04bb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Eq False Passed
a8a2f765973415b9727d284cbeff8167e4729745 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Eq True Passed
d7429b9fd2671af78d1705db880af5957cde1f99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Eq False Passed
ccce71c981e61b2c0b9a4828f1c6884759dd81dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Eq True Passed
2229aa5cb6e4494e671a2595b47dfaea6ff1e45b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Eq False Passed
55e4eb6237a972e24edbb3d6e7b3438f9fb5a58a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Eq True Passed
37bce7a79a36737179cc98dab9cbf1498cb4aefc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Eq False Passed
849ea197091698bc608b0ed1ff127891a61b00d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Eq True Passed
9a241ebe2518d8dc5fa08bc8c2a874edebc1599f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Eq False Passed
a919dd12a9bf9fc7daf7001dba783ebba13570cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Eq True Passed
8fa1374910c33b791bbd96fb7cd99ac2bf9343c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Eq False Passed
1926c64aa830d168686cb1584a7bbe0a9015d3b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Eq True Passed
3fb00541e05b21a8dd54e4b3c5c3b08cfadebdb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Eq False Passed
8d7444d549e4cb9b89d1192ff203c90d5c1d7150 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Eq True Passed
aec83ce2fe0bbba3ac7bb0c8c7ba5757a35907fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Eq False Passed
6b719d0517fd5dfa93f2618976c9b6dff3f68df8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Eq True Passed
3a0e9b65cbff821bd51db789a42ba3781e6a7b4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Eq False Passed
7103fa77db374d5ae291114969351ceb08cc4f11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Eq True Passed
db909a176cdf9361f7280f3ae1d399d6d905ce50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Eq False Passed
6b0da93fb7a91230cc962e955572f902cad938fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Eq True Passed
bce0857fc7dbb75accd409a3a5065e71a19e2ef7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Eq False Passed
410b340eafcad262f6cc7f44412c0bb68f4b6060 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Eq True Passed
81299a050fd68239a50d6644258a51d0bf28d710 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Eq False Passed
ecdb24c7a934497e0b09c5edde363587b1759890 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Eq True Passed
55ee791edfec990336edf404ade2e24cff7bd9ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Eq False Passed
575ddff59cca870e99d373f76c27fcdc139aad6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Eq True Passed
06ed16b184fab0462bfeeaac631188eaea23c1aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Eq False Passed
99f75d6ce0ad3fd8925fd734d1a06ff7151240bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Eq True Passed
1fcca56b0976d1a2555d4607ea2347e759f5b601 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Eq False Passed
1c7169a0de7303aa3c3b9f0bcdf52fc63af74245 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Eq True Passed
4d5d90a7032e6713ec0f0bdbb06817939d31c15c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Eq False Passed
308d97fcace89de4a8a156fd9f3437df0d6a863a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Eq True Passed
8ecb938640672e22bcae96855502b04f214d71a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Eq False Passed
b59d4fb91281d81c48c51872d8b4c0440937c545 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Eq True Passed
0935f6d5119ad9eb7b9afaf22c7bb778095147f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Eq False Passed