Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
ff9a5028d699163ab5fd7bb0a9205511c8d9d331 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SetDiff True Passed
66efa5f57d86bc92da3606e80d0d9f803083a6ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SetDiff False Passed
b8fbe1acf10989092e3dcc2f62ab711a25f2a330 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SetDiff True Passed
199f29bbb2d7148f746a04a30154357bee85a253 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SetDiff False Passed
eaab4c7e78642372eac73c96573d2b484c085b76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SetDiff True Passed
47de646c0b579608d829c49636ed402a98f9c756 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SetDiff False Passed
d153e06221d52529ed20630a998e15c19abcf0d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 SetDiff True Passed
d8a751a8e6a9feb74e317555448d8d3e83b3f098 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 SetDiff False Passed
45c5f3083278988736108b3fb4161c638d9d9929 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SetDiff True Passed
2cbf76d0ad55d474ea4022e49ac8df4953c64697 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SetDiff False Passed
0512bdd67a251db5a563f7f3f73ddb8509a7c5b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SetDiff True Passed
b8e97c041d94c3355de0d597326850fb919176ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SetDiff False Passed
f4576a6cd5608e8d8e2ae84f0b29ff0e159bca8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SetDiff True Passed
0531b89aa5d611370a86404913d48097dc4d6e22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SetDiff False Passed
cee3ba53c9c7841e77cb1b72f3fdeb71b7af407b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SetDiff True Passed
65e86fa0389c7e19e534d15b970be11653c72c8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SetDiff False Passed
0f5cbd78fc7ad3d1def9b502bd5acce1ed5f7404 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SetDiff True Passed
2d6de99da4182c0cd8259082a0d92fbf5d4a90b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SetDiff False Passed
948f093baa2e659cc7590143bd8b428b5c871232 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SetDiff True Passed
1b1ccf743babe477641c7017002582d0c2bc2694 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SetDiff False Passed
605c6d06943c26e7292b12c8eaaa752fdc04e3d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple SetDiff True Passed
b8e02501c3f4182a695ab0ba6e34d53e1093475c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple SetDiff False Passed
1370fa28f0db383693d79fbd6ffcc75f7852674a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SetDiff True Passed
99d100941f617b0ea33683e173c807a9da7baba4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SetDiff False Passed
c5161c0126a795e4c31904f331c02c055a37ac26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SetDiff True Passed
96367112c978c125663dffc489c69db9da5e321b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SetDiff False Passed
5895c7b62b4c4c095fff9c81067109944b24146b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt SetDiff True Passed
7f3a365b7b89f38aed9febd43bb61cce768e8a97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt SetDiff False Passed
fbd72e359293920a6b025503212c4751822666fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SetDiff True Passed
1f8479876bbfc1b41af996839323426c9010f711 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SetDiff False Passed
90d89d7a342b2c7fb2c3bcd2f8059b876b92de4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt SetDiff True Passed
743adfadfb4eed9c1f9af385a8e32f71ec969e5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt SetDiff False Passed
cac41625b537065572548b8f3d8d8932037996e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun SetDiff True Passed
b11b5a8a3ba06b2bfdc63bb76a936c9d287070a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun SetDiff False Passed
76ece9b26a2037c0151b9e63e911b2034ac0222b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SetDiff True Passed
d28f092c2dfe6e9db9271824f865483d43d3de89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SetDiff False Passed
bcd3afd53746065a428bfd9ac516ca5d5daa79ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SetDiff True Passed
dff1ab60c37b01c67982b6f2e21a02327d96483a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SetDiff False Passed
7fdc416cb67ccb3632b3339857f5f7cb6334871a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SetDiff True Passed
911a75a0a7dd4cb15998d3f0700b18e809c509db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SetDiff False Passed
dced00395d3b8dc21081f2259247919f3cc8cc70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SetDiff True Passed
68a146c526701a1e2ed2bf9b0abd3531a8866e9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SetDiff False Passed
c7215240fee315116b27b52d3df06b1679caa493 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive SetDiff True Passed
6b2d0ee24f45868af99ae62176b056484d51a198 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive SetDiff False Passed
e4160478796b158449671ccdcdc257eb86c42c3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SetDiff True Passed
6a372df3de1660624ffcb39f56ef253e4e08a2e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SetDiff False Passed
96c4507d5291f727420a56ebe08bb3eee1caf995 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 SetDiff True Passed
d66a80742b1c7f59a77fdd482a89ee108541086c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 SetDiff False Passed
e1e7ab9e892a40a81cca4a84f12d80c7a56d2e71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SetDiff True Passed
fe7986f7ec28b95741cbe94ee80eddced7dbfd58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SetDiff False Passed
e068fc2f1b468e1b651e5ffef50004c6f5ebc702 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 SetDiff True Passed
88f507ca8060b803a7a2938da355be5686aa27b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 SetDiff False Passed
7aca06a683e46d350afd24bcb01a09494f4510aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SetDiff True Passed
542e44898c2fe68d909ac61db48080047afeb56c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SetDiff False Passed
14fec2ac0d6d6691f0c7aa1fa32f2b50038605fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 SetDiff True Passed
1925234887b9ab7537393191c8471d28cd51b6d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 SetDiff False Passed
1059f0d1d75d98f2a4b0a1f148e2149e66485560 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SetDiff True Passed
c9eabebc4f23246b2b493b94472c1f35eab262ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SetDiff False Passed
4a90144046859b8ef2a68f2f4194d3e04901bdc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive SetDiff True Passed
909e3fbf517b59f341f6e53b830a7f29cd9f57e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive SetDiff False Passed
bd3e8547ad21a6551ac7b1d33420362b1eea7296 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends SetDiff True Passed
96fbb308880d18d6a82bc58543f88f8595f9a7b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends SetDiff False Passed
9d77ea7ef72a946803e258aff5bcfe146d6fff9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SetDiff True Passed
4e2ce4ca89c231a82bf113862de8cf6c3ab1fab8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SetDiff False Passed
a090c1eebf00078233ceafe9177f7625d569abff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SetDiff True Passed
1fc9526f6037f7b8275bf6df9eea541e7328b990 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SetDiff False Passed
6dea35f8de1e206b9b4ce814d96ecdc6ce46e430 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SetDiff True Passed
022d962438302fd87d87c1b31dc9079253921789 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SetDiff False Passed
b3f0c0b2eb6c1d7591f5b9fcb4143fc319d67b9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant SetDiff True Passed
650487d748451e755eeab6b4fc65f3799d616df6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant SetDiff False Passed
1f8c8208b6e41e3959d84f2fde63d3bee607132a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SetDiff True Passed
8667d95cead04d71862264a1e5353609c8a177a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SetDiff False Passed
477558b0035d4db70c8a3dc1c40385283175e3cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SetDiff True Passed
1e2deb0bf8b5236783ccaee61f42bea60e3909c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SetDiff False Passed
059be25868212bef6803a0f2f9fb974ed012889c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SetDiff True Passed
3fcefc03b2556bf3bf42118577c3a5ee7e676a9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SetDiff False Passed
b02d7fde254ab28f178b903603005f9e5e5e5d95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SetDiff True Passed
e106e94a1c342bbd094d670943d02ff2c48ae557 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SetDiff False Passed
29717bc60b06d59ffa771683a6176d10c1786094 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SetDiff True Passed
bed9594a8928b73cb9b5fa90907b9e8bebae8791 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SetDiff False Passed
fe6fa22ca180a6fc0f304acc7474c82eafbd7486 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SetDiff True Passed
1ab09a1c19184f6c17be63b695ae96efd9d48813 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SetDiff False Passed
9eb2d62147833f7de6d721e07b38d605d8383550 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SetDiff True Passed
059538cbf4e83d258a033bc1eb6a2e2ef475393b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SetDiff False Passed
4b39c3b7e2fa757db4103a705c00d74c9038c03f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SetDiff True Passed
f29553be63ec6263582b41fb860e0ff6724fcbef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SetDiff False Passed
6f924ce4dd94b551a763411b173b48a9c2718bb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SetDiff True Passed
60f2b508dfc727659635446d6b6b26a0b9c4d7af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SetDiff False Passed
8cadb376d65e03ce558190e4207d81293fcfd429 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SetDiff True Passed
472bc9014724582028a05b81378593790197d42a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SetDiff False Passed
b40a81df28657c145c51d19ff8f6b2707f9c5ac2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 SetDiff True Passed
3de39a4576be1dc3b095e7a4856b317946b47fab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 SetDiff False Passed
21e7286885f9c6110d6caf029a706ba52924c176 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 SetDiff True Passed
6e38ed4ace995cadad38ec2fbe1209156ba41137 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 SetDiff False Passed
e6db6d879c56c01edf93eb58f253b9c1f9165c24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SetDiff True Passed
c33f797d3a160af8e949733543118406e6e2209b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SetDiff False Passed
7a5bb4392a2aa6fdaf3259db65f8645b2d9c3f6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SetDiff True Passed
bb4c66b8b7861beee1a8752dfe5232e88506525e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SetDiff False Passed
35d534059781cbce7b8e5bd2c26e9b2bfb07c603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff SetDiff True Passed
5f15b2ac6f79750e67ecf6e433b7fe6cd7812e4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff SetDiff False Passed
e55425df7077c59c2f1136f7a71c1e0138334dba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion SetDiff True Passed
db4de55945b1304cb2fc4a41891f0d3bc2793a77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion SetDiff False Passed
ee832996e7897ede10d3e67e283d0bb702381476 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect SetDiff True Passed
35c3f994c4a82571a05a7a337a6fa0c215129810 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect SetDiff False Passed
01202f4d46605d3a54cf819d31a515a1f72cab62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq SetDiff True Passed
037fe1ef631b5c2bcef430cc2b0add3f49928413 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq SetDiff False Passed
fd9b01ebc5c18ff97e3f08bebe14c9f7d069ffcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SetDiff True Passed
6536cae6758dc7cbd65547e63585faba4b077704 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SetDiff False Passed
dbc71384e807b299d1d1473d5237f53036cf465e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SetDiff True Passed
d2567cbbc6425d6d747cf5a804ef1133a77c8278 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SetDiff False Passed
0d79f6daa9d935306355b6ef1a9afa35ab9f7c88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset SetDiff True Passed
c97101b5aac6abdfd46d87a34bde9979098f7cdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset SetDiff False Passed
9ab6199400b2f8bac278694632e7a59b2636e246 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union SetDiff True Passed
208faca4fdfb6f8ef45264715fbd841c13cf0bd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union SetDiff False Passed
d474b0040b7bedfab1f71f6858b320aff0fdd39c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged SetDiff True Passed
c2114a8c3287024903620599a6d53aa59d08d7de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged SetDiff False Passed
146fc5399e03a1d1996c6a590ea9f06c2a5110f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SetDiff True Passed
93a7dd689e9be37f0e51823bee71cc749f6738c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SetDiff False Passed
c7067b0edc324f06d15c0dfe46d34d9dd9a697f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SetDiff True Passed
94b088207ae9b2b1902fcd0af37d103ac618e056 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SetDiff False Passed
e92141e69efcf604a282b852f019c9f0f334f8e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun SetDiff True Passed
45ac4f9030dec05746229ee1d87e821d0c11c04f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun SetDiff False Passed
5eb6c406414848ec9a0ae13ee3b16b5745912c0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SetDiff True Passed
8573ab2ee6b41878dbe944e11dd852da83591603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SetDiff False Passed
06fcabbf030dc57a60adbf7647564c788bd1e030 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag SetDiff True Passed
96eeecdab797fb65b1fd9295daab0d25f78afe19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag SetDiff False Passed
c62c5519a7ecab43f89e81a6c6a92d25dd6c9761 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SetDiff True Passed
aafb854829bd7420d4a3277165c1193e839a7f53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SetDiff False Passed
c8e11dd3eb02ab98d3e62e616a5f7b052c1f9531 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SetDiff True Passed
785e99722c37000405d1b32944d1e85dbdd6227d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SetDiff False Passed
ff9584f0aede688ac61627638202fbd70ea29e17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion SetDiff True Passed
0bb98c71714a03a206dfea1967b4ba1a17590661 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion SetDiff False Passed
594968a2de9ad035d782ae62ed7def76a6fe879b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SetDiff True Passed
dfd8e7897a5ae4f0b3f801866d652c2907952602 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SetDiff False Passed
0e3a1f80cbc8b0ae2330642a1f88b8ff5c016e40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality SetDiff True Passed
d3fb6873f0ff4bcd620f6202adbe2b6395a876a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality SetDiff False Passed
8724dbea00d8e534641dce24b3cf16fbc96f4d44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SetDiff True Passed
720c0f60b0f8efc4dfdf683f57291807f811d4c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SetDiff False Passed