Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
46627b0a03bb80584183d2791f660770da2f6d48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And BagBagIn True Passed
0db82959176a9ddb2acbe65fdac7cbfe0797037c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And BagBagIn False Passed
267981f9ad86e82c2508fae2da48b209817d9193 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine BagBagIn True Passed
8c63b34f1be89bfa27e187c103c4eaa6151f154a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine BagBagIn False Passed
296410f3b36f14883f914eb580b86eec83c3887b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply BagBagIn True Passed
c4f00559ff61b35c7b3a0a7fcd4000fe37aeaf8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply BagBagIn False Passed
bb9fa71153a96d0f950a2e87f45e70a5c6f3baa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not BagBagIn True Passed
e66f981de949973d33a9afa5c4959c670c1eef2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not BagBagIn False Passed
51defbffae79b11a39015530d668f653dff093e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or BagBagIn True Passed
e0036788fce24e8b5fb013a58b7b369728cff279 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or BagBagIn False Passed
022c000df19c301470bc5dd669523869c1a557e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine BagBagIn True Passed
8598e44e7e6c06a4d140781ab2a4a7bdffd242a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine BagBagIn False Passed
2fd8454e30ecf1755b9df7d93c102772c44a344f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp BagBagIn True Passed
5c9e44c77e12f3c0eb03b4393267b7b9d3b11606 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp BagBagIn False Passed
0de301c241827cb455a41fc7c3ff81735b6f5d56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed BagBagIn True Passed
f00e5001a689dafed7b9fa74d3251413090bd58e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed BagBagIn False Passed
f1a8004a7795d4bea753006013b95a398698e32e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagIn True Passed
a780c83a65d901573bcc88fa5a96d3bb6ac29ad3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagIn False Passed
8605512974740ce8efc9dc720deb158a2a29d872 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagIn True Passed
7b6ed7e96646820de194f8f4f50fd179ea13b1b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagIn False Passed
bd3f01d2f50073d75f0eff74d4095d5e8b74ae8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagIn True Passed
76c5dd9b964e7fea8a521b5a48f58dca6191bc4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagIn False Passed
4e6b97c17329dc0381ab13b68fbe2d9f945cc4c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagBagIn True Passed
b097adf35ee709e8f71885d628294cd88329af21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagBagIn False Passed
eb77776d86b73f9c53b681c55323a260cb9393e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagIn True Passed
ce73eac4c220459a58dffbf14ecf94118df3d313 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagIn False Passed
cfa8d89c042e6cfd6b301670012d20d136b54763 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagIn True Passed
db39453e0c7520f9aad36f693a116f8bf911290b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagIn False Passed
bce7d3ae9459458f84af6c0a9e512821459b5fc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagIn True Passed
dbd34994ac801555a327021cc9f590551e93c01b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagIn False Passed
efd9bd760062bc179828075090c14c9746d9dca5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagIn True Passed
4eefd41c2fce612dd8f97399afcf31d1d81ef924 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagIn False Passed
f7130263a010825c71a88aa16de0bff7ea6a2e90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagIn True Passed
dd08c98ae7331778bda239ae4a2a3ed6d8826ab2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagIn False Passed
a3c111dde9cf269ac915b3d5037cb165ca483048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists BagBagIn True Passed
4512827d06fb3b0b89aa599b30eadbfdd01d78d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists BagBagIn False Passed
f945116bb265bdde563da74b0bf59e6a0a188d97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall BagBagIn True Passed
9e6d6172774d9049f13ee633211ed32197946f4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall BagBagIn False Passed
613282e8ddb8df2b0603626f372a26c6d9779e78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose BagBagIn True Passed
0a3bd16f5768a2909ed0800a84f11900750f87cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose BagBagIn False Passed
628a181181996e4b3c28c9b1dffd5fcb4cc9c34d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagIn True Passed
410e804f7a10c2d279b0ee5db6b3f428b6ef290d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagIn False Passed
24bb212a8e4879c003418bdc37a11392b947ae4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagBagIn True Passed
2c7b3531f600654c55b3f79ea5aaa9e0f991f2b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagBagIn False Passed
d448f6fc3b4867344ce065f84fb600b796d62325 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagIn True Passed
4e7a29f69fbb31c94a38b24d5bfd587c168125d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagIn False Passed
f5ae7b4080109f38b34d45bd3b547842388a34c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagIn True Passed
98846ed30462de2677f92db659769c071494748a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagIn False Passed
42d7a6b05e9be61744742d8777a7d47dded78c6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagBagIn True Passed
f3d9c11aebb064bf694b145e868af7f15f8afab7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagBagIn False Passed
6c1ac248a304a8bc1a5e34836591250183d12dc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagIn True Passed
019f679166447156b79796466b6c0d99e2a68d67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagIn False Passed
525912859bfef2f1123ce2ccecf96912fc92a66f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagBagIn True Passed
e3f220de799f22ef24e4d8c43b9b0a110a8a9cca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagBagIn False Passed
b909fe06de43639b9dadd77f5cf4daf288c3c958 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagBagIn True Passed
f7b810d62b65e5e66f5504a2d2800b787593d8e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagBagIn False Passed
24e1fb0bd16b44663447b1d657bde96e6d1d2781 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagIn True Passed
d7ed27b07ff5c2e694c00fedd3e2905804e5a0a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagIn False Passed
ce0e516697f19946e9a711d696dc817775fc8eed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagIn True Passed
fae075d0a4ec744c6b9c042f7af78bd35aa81dea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagIn False Passed
82ac2e5d4f5564f3927eb9e5fc043a30d922a80d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagIn True Passed
0160d53e3e2c2a2eeaec073b5a7a40216b1d7bef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagIn False Passed
520473d98a42739da0092da2a23ae528931ee010 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagIn True Passed
1c46ba707d17c185543f974b89df00b0937d4ca4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagIn False Passed
63400eb5038c10f1f77c8700004c322dea33dd5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagBagIn True Passed
60ce87f92ae71f6a7927e207826f380982620a6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagBagIn False Passed
0ddf90ca12f089155deed41cb7bd7857a0ea0a5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagIn True Passed
060c69d29b92b6f464762181cc37df30eed63c2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagIn False Passed
7c0dd9d1e99e0901cfbdd350de991792f8e46852 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagBagIn True Passed
b6b3f24607be987e04002010826b0b8925a83f34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagBagIn False Passed
424bc51246f9f1e13f71c12d424f91636d2afe01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagIn True Passed
f7b260dd466ca584deb817beccdd83b2ae006d56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagIn False Passed
05be759dc6e4b8838dd83ef97f72858957e0f290 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagBagIn True Passed
4675f2c8e45c70ece5f842923e5c3a033e8e32ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagBagIn False Passed
2dfb6ff7f5b4f4e7661aaccd589801050e2f7095 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagIn True Passed
17fcc83055f0bb91fede5fc4597df7b63885bfa4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagIn False Passed
e192af3f9db97c3b0c969358ae94c5391ed9e122 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagBagIn True Passed
05970bfc7560dadae5599e532f22ae8173f24cb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagBagIn False Passed
8b0e1beddbf4cc6872c0f1f265dca5e794b9e405 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagIn True Passed
d9cc321edc8bc54478b09d3f24589b5a9c374400 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagIn False Passed
2c24f57c16901c7a33953df8140063cc95ec28ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagBagIn True Passed
6b61d9cab913b32009840124537af6b3893eb27a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagBagIn False Passed
c75efa872c23bd8c840aa5ccfa1aa16cea3697bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagBagIn True Passed
59fce192f580d48292c6be7eb939167385749b43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagBagIn False Passed
492fe8b507c6c27b93ab75ba461ee4a2d5579da9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagIn True Passed
b14e246f477d012259415da433deddf1516c17dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagIn False Passed
f493e7a2a1ff58d36d5fe6926017faecdd1e7e18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagIn True Passed
7e724bd5c9659dcbdbc4e80eb2d252cae9f24983 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagIn False Passed
3d8b766cf9b8cbb160186733c8da1155d3220fdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagIn True Passed
1563257ce314dca32f50e5ce10d342496bd47703 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagIn False Passed
4f436d55d177b5d41008e7a96f3450f0d2ac4476 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagBagIn True Passed
d881e3398765683bbf17f86f97b2621587862073 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagBagIn False Passed
61f157cda80fabe78661cca7ecf886379b3fda0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagIn True Passed
0d895775ce213878522945c1a0bd077a7c6caa37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagIn False Passed
145452a9f0d4d85dbd6b195bac1be31429f2927e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagIn True Passed
6fd884295c026ef3dde0fe77a20bae5dcf5e7086 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagIn False Passed
261886d1d0810e3331c616670b23b02a4fe714a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagIn True Passed
4e7314050ba65a74a25cce608e4112106ac9b90c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagIn False Passed
28c41b5e776d5db875fa3c0e946f9796871f7d8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagIn True Passed
894c75a8f044aceb33555abf9332202eb475a241 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagIn False Passed
8e052c99acef591c49198cf833c0b2c895218c3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagIn True Passed
20d004def16d0e7484efac633dc3502692479614 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagIn False Passed
9621a90c2471295ce99c76e71c91c8127fb4f418 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagIn True Passed
416353a38a66f01701e808937572a010e47a5b01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagIn False Passed
9d7bbc4caed62112bd0520c32f8748028539098a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagIn True Passed
6c52963fa9a4b6612e6c1827932f45e88161332f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagIn False Passed
07cbc6b749b52cec3ba8a5be5fc1bda2f4cf2022 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagIn True Passed
546fbb240352945ada9c6cc3357863f2e08c13fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagIn False Passed
28e6fd056b8a88e225a0100a6c8704d763dcb1cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagIn True Passed
3bcdb0d1ea9e7c1445fd29edf3a5fe3499268114 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagIn False Passed
59dbd2f175ee385c5be333d93d24dc33c632ddcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled BagBagIn True Passed
835ccbf4c62dc537931539ef7326b186954a59de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled BagBagIn False Passed
94f2506008c2b0b6aa15923db670c28ed06be130 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume BagBagIn True Passed
420cffafd023bd1cc644b27fe8d872b529b2d5c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume BagBagIn False Passed
05ecd7b1682cc8cc4cb8daa579719d1591d49ee8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed BagBagIn True Passed
3a111e0bc94b6c4c3125e48e1479a59e747c4486 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed BagBagIn False Passed
e9f302e6a53de7a5edd5c3fa610c9953e7122bea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagIn True Passed
fd5a7162539841063b79e4b5e835c7508bbb6de2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagIn False Passed
732b0e9f2ed1a9a6da82488fd8fbc191d3e10fab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond BagBagIn True Passed
43364ecb166395bea2f4cfbc3c1ca968ef8a69e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond BagBagIn False Passed
3c26e43b4f568d5a3476c2fd0aff755a0d2110f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagIn True Passed
f168ed127a894c4a89e367848344f08f32ef25b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagIn False Passed
d5c8823c057c2b4ec35535b56c64223cadf50983 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagIn True Passed
c3f1bef00cba4b99bab0cffdf68d55fe7c9e1107 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagIn False Passed
7a10e78f2a67da51f4052a785d9a0cc54c6addd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagBagIn True Passed
ef228f1b4f3e2e166f6f83f14840434c7e7ff8c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagBagIn False Passed
b3edaf6165d9b1e45961f1d32463130b4bf854c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence BagBagIn True Passed
3106dd7129c8ea2f6874fc0690519693ca5614e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence BagBagIn False Passed
f9dc74adbdc4144b3cc70d0929095de0b0661325 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagIn True Passed
d953092341bfb2127bd80891cb4b4d923dbc5081 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagIn False Passed
492753e419b938f75cfc26fedb82579649d34da7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagIn True Passed
5bbf09a29bad7efe147a52485b771bf741642341 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagIn False Passed
b8df96414fc079c4d857dc6b23e8e516d4fb4d00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagIn True Passed
be390ea2cf6c660eb783e298ae59c30ccc1d5de4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagIn False Passed
056ee842b169855ebfebe29f199f04e4869333c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagIn True Passed
ca85a8e51025665332869372ced73338f764ebb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagIn False Passed
04b9303118559b5f77f06b85fa9188f42a06c255 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagIn True Passed
6580c008aa4ff6d72d6036dfce972576c3b4f396 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagIn False Passed