Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e8c0269ade38c335e6c7f93daaf05a9960f752c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And NumLe True Passed
42b9ebed4b0b71ff00c6e74853c26e03c6e123f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And NumLe False Passed
38f2bbd5f4fea1c964c6296620482699d62f70df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine NumLe True Passed
629130c98ee2f9f0daffb69f9e86b0c8ae3d801c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine NumLe False Passed
a6d1c745e7735f58738bb7cfbba9f73aae7585a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply NumLe True Passed
7e16b791a06f5a3f075a4e4646776cd473d420e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply NumLe False Passed
1159eabb46812b632dba0c4f5b58fa1d5b6e3b1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not NumLe True Passed
af42effb09c6b6cba2ca85b715f536369dca6216 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not NumLe False Passed
3ba6e84ec338e62a3106a0c2b543f6088307f4a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or NumLe True Passed
559cbd6f1af4de72c34b188728008c7ab6700b62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or NumLe False Passed
c4b2ead3015e0e808d967f373c9526eaad313523 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine NumLe True Passed
cf9fe16e557c8ef4adc0e8c94470cac22e79cfff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine NumLe False Passed
6be332ab2646b769e247b23a0512bf9ed414de66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp NumLe True Passed
aea112a3750efb1793f74faa624925d464df2a62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp NumLe False Passed
5e7f69cdce50ccd810bd3979e1b47375ed45a457 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed NumLe True Passed
eaf2a76109f21dac00de64b3af821f429bc209f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed NumLe False Passed
4c92b7472f7614b20d64abee6f1544983fcf105a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumLe True Passed
557502c3c13214e001fb4a382f1de26bad408cdb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumLe False Passed
f3fff1a52a188fe42754c62aba05a26d9512d5c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumLe True Passed
dc27ba1e3306c0c957bc9bc7427bdf495999c235 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumLe False Passed
da3df5032894b132d8a3a67df097bbd8507f9b4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumLe True Passed
81a5e4ff6c4f13b5b12a7277fa37aa4959b535dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumLe False Passed
36e0bc5da8280858c69d875f920fe11743935951 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumLe True Passed
0da7b7250be9fc42c037884d21239017bded06df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumLe False Passed
26d7a6c5b0f9ed2cdf17532aa0840f05f65715ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumLe True Passed
5da128f971d102b87bfabdf46d725fdb487b379b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumLe False Passed
d28246935992dd541b833d91ee93358739606a33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumLe True Passed
58c7d471c094597fadae2dba92dc434922ea5490 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumLe False Passed
d892cbe276a5f54d3824dc27ef707a25eac81b09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumLe True Passed
aae40aef22c7675411c5ad26e0cc932691b11ac8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumLe False Passed
8691040acd71e9cf7ff4f178909d0fb93b9c431d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumLe True Passed
2f377104aa796772cab50a0db67143a7d54a0580 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumLe False Passed
b1f8e27ea5a3acdfa9601f8b2d2be08b1213854a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumLe True Passed
cfc080cbdb8d0b4c1a005a93315857abe81016d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumLe False Passed
64b3f3e80916a6c02ae3cbfa795176b6bd348a52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists NumLe True Passed
311b010e03d9da68ab9f15434fb341ec28101f34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists NumLe False Passed
c18bfe89845ed8f1aeaddcf78f7c9e4d8fa590cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall NumLe True Passed
7c2a5a6fcb50c23691b58851290436ba5c7605ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall NumLe False Passed
15c83be2a08b5ff557773c4b84917c68473f7f80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose NumLe True Passed
8f219c9bebf59febc2301896018e3862f548ffe7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose NumLe False Passed
d530fe3e30f6fdf623155b7f84507e978ffc78fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumLe True Passed
351cd058e63815c84e8b254d4f08a8e258db89d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumLe False Passed
1b9822e7c3c91310c04ffb76eafad827e56a3e51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumLe True Passed
1996afd59ae3f40d4e229ce7844d54bd6a272460 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumLe False Passed
ec776d199c2f39bbd455fbbc4d7adb9e83a19ebc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumLe True Passed
5d9fe03fc682b57ea8d9dae699836507b54eeb78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumLe False Passed
5a66f8b3a8763230fd242d46bbfee79096a84b48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumLe True Passed
9790c9c9b51f20360a2bea48a895876120fdb2ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumLe False Passed
5a3d9d6de5c8104fc8620accb421766f609d8153 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumLe True Passed
d427c6d9b6bb48839fe78693e52bfaec34d17235 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumLe False Passed
00e7c6d9eb407cae8a30b4c1d5f0d200b86d22bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumLe True Passed
d9f02eb62f626345c529cb3931e7918148799dd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumLe False Passed
6a364d10ae8c68c992b6f9a63a412b192cba7e9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumLe True Passed
0fc640fa3e9d7cc83c730a3e5639349721eab454 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumLe False Passed
0df8218b9c053806b55193e7adf962ded2f70608 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumLe True Passed
9987c400ca17cc6d6ee2c22694887184bd92c6bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumLe False Passed
a8049893d984aca451ce5704b6d6a418ba5934fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumLe True Passed
d24708391ce4fdfe5f049e446daa849242f7780d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumLe False Passed
7e281ac8d8a8d5f44f3abb1211929c9316db8663 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumLe True Passed
31c23bb41ae1316dbb6bfca2a22f007589848ada TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumLe False Passed
69a1ac99bc31abd68938e0c0cd879be9cad51040 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumLe True Passed
f16bff73895651923d41397c21832ac8a9ef884a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumLe False Passed
85542315ea7d39395655c02d29e8f30fa5407ef1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumLe True Passed
a7d251bc5ecad9dda9cc8eadbf69c170689bc858 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumLe False Passed
bb84162dca5b7d709caee290590e53ed10deed95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumLe True Passed
53e62f34b46fe1e21efe3591fb6b0069e6c80595 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumLe False Passed
04ff7f33e855f4697c6d29aba7572e420c9ff67f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumLe True Passed
1ede13d28c7ea2abd2674faa7eb327d795d6c6a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumLe False Passed
34f560b44edbe45841068a5b6597dace74e73f45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumLe True Passed
8e56a67d378a6bfec7901a6de7b6028d7adb0169 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumLe False Passed
4270336bc7536055f2b21ae903a9d0d1cc6473e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumLe True Passed
ba1679dece013d84fcdc8710ac30ade6d59366f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumLe False Passed
88dbcc31a1585e6f2c1bb2d3d8df0509ce64e4bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumLe True Passed
0693c0d6da8ef88a1d8fe1c6edb7832ed8c8907d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumLe False Passed
2b0725027375b9c3af9fc630a97aa2fa505d3155 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumLe True Passed
f83a3bb530720e6348d385aecd5e2de40dd07cf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumLe False Passed
e529dea2975d77bedeaa6152d33f92d901a6b7ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumLe True Passed
6bfaf385aa8a51811a08711383a6a980dce461be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumLe False Passed
69dae718d2fefb3771a0fa1bfc3ef5613751a13f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumLe True Passed
ab7d3714830bee974eabcb1c6974e3431105a241 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumLe False Passed
fad9661ff5564b5120dffc15fa77c4ab5c404dc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumLe True Passed
ee1b8d3172cc8e5dff4425f06db36999353dcaa3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumLe False Passed
619e2958861c42c75796b2768eb797ed3b144b3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumLe True Passed
7c326410edaa6ae9edeeee1cda4b6468437c3c8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumLe False Passed
09100cb3e4461b9b2afd923c37225fcf32bf3660 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumLe True Passed
dcf3ed852c516a3a66d14e57e5165c8e419cf3cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumLe False Passed
2e844d0f7f346a8efa846c872cf78a8cccbf1e4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumLe True Passed
e30557a6cbfb0fa02265f9e0bf3fb74f755acd50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumLe False Passed
72a85beeb2f406a7ccbab09ebb957ceb3c0371a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumLe True Passed
62739c0b2b4d377d3d3476bbb5685e01c5de0ce9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumLe False Passed
dcac1ddc90af6552c9d1ff3872cd7ce6946735fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumLe True Passed
f7f9218cf70f9b830bf1dd57119c55c6c4de1bac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumLe False Passed
a73528f74ba67f2ebfcf7e37018256a0a1f5553c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumLe True Passed
23e3594f11546122fcbc076434ac52c263f90cb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumLe False Passed
0e0be0ff4052b224fa0cfc841ec099290aefd6b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumLe True Passed
68f26edb52cf9991ef1637d5219cdea043069d17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumLe False Passed
7a15b7532361394fc630ba250969161cc61f8217 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumLe True Passed
01b5ab8572476a3c2f3789266039bebf3f9380cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumLe False Passed
5a7db4c485d5bbc292c0d07e9bdf1acfa3017fbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumLe True Passed
0a1a79a0aff531abbf817d0c2d80e3b7ea26294d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumLe False Passed
dc64d66d16ba043728a3cdcd2fd9a3721a084311 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumLe True Passed
ec8c9cdf5bc1318568bb36511603bcbb656d17e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumLe False Passed
a861ae78bd58efa4879a9dc6785ffc117070c2c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumLe True Passed
349c6a768fe4067e8b190e1d26c96e00769a1b38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumLe False Passed
42f3e656a4450a90b1d6efd74a4c39108266a102 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumLe True Passed
da63483c60bf0a0779c21a7eed27d08c4ba6295d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumLe False Passed
28f8dd907cd67f40ffffb23ec63b51797f53aa35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumLe True Passed
4d6d2964d2d52d43c5f15f4c1d26ab054cb36074 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumLe False Passed
af7c0f3f35e9e00bf66f177581d8712acdb104cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumLe True Passed
8e0cfc5d507d78564d36ec75af6aaacff2331bae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumLe False Passed
500412e249fb073491b4661e7c4e747374894fe1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled NumLe True Passed
0c3acd6e049d4e34b56d72052133704f3b5bc648 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled NumLe False Passed
2624c30fe18bab18ef1de313041f40303ca85f90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume NumLe True Passed
2004147a75d3211f9adf794b2be140f31af07831 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume NumLe False Passed
83a7a4b8291da039a77434a7019b3cfe547de667 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed NumLe True Passed
021ff759d834bd4379e3ef829f17b6a259fefd87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed NumLe False Passed
c8fe0e29e98f9cd1b345416ccb414cb391971eab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumLe True Passed
c8cc772ee5bd0689ccc33182fa4a5b54e0e5c2d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumLe False Passed
1702b423e9c5dc1c93516ee5d3e3d97f70b6ce0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond NumLe True Passed
2fe70a6e592e0bc8efffe5e000bb5d18c536deac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond NumLe False Passed
98c81f20908df400a26ad0a533cfc402fe9f7309 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumLe True Passed
9e5dc46432c6a25938f6cdcc6547b5f50368d588 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumLe False Passed
d3c808aff3f0bb0019ba0956bdfc3ff8579adbc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumLe True Passed
9375595c4394fd8643e3589626d66cd4b4bfa6f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumLe False Passed
1c4f2055cc1fae00fa04f1621391ac71c9755bd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumLe True Passed
c5830368757b3252c1367de7b2fc60fd96879828 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumLe False Passed
475c06d6f4b359c9e32f4d2919eccc82ae87bf00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence NumLe True Passed
02942a6d5b4d0b4bb4461c1a2ccf6883a354b8f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence NumLe False Passed
0e36dfc820a55eb503af06cff54b0f6eb1a78a0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumLe True Passed
8a272b508449ad588965178d5a898fe1d480632f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumLe False Passed
06378374d9667b0d9d29439936352cef6c0def7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumLe True Passed
eaf75be409ab49ebae6a4c2e43117edffa23c2d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumLe False Passed
3ba804f7f9b447702a208fda1588a34ade101706 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumLe True Passed
31c645d8f37957407da1e06c8f3ce90e70e9204f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumLe False Passed
eabe51a6bcd6c81ad332871e40383d13137629af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumLe True Passed
7a5f60ef4757f641be907b261fadfa6b6e5b3875 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumLe False Passed
40df0e5984053bf61a0629cd76fe4750ce0642cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumLe True Passed
ebc3213f55ec8b27ec33eb2cbe9ff1a180de6a87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumLe False Passed