Index

Tests by plug feature RecordSet; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
5d7a9cb43be554c66b4899e577768a1574f53c57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq RecordSet True Passed
7b84e44080a42c3e78843a18295cb7334c746419 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq RecordSet False Passed
9d54c15b7473eb9ced2e5da50ed5827d7e697fe9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne RecordSet True Passed
d39aa6e549cdfda98417972f76570e241f8855ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne RecordSet False Passed
acbf2f9a7741144bf276f768f3004e4c2abeb838 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let RecordSet True Passed
c7ee75e0496b65efc4ac510752eec096725cfe43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let RecordSet False Passed
64228d7b6e6c2b48c79cd3e37b2702888e5f6bd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 RecordSet True Passed
5616dc001029718b8b9258d8b8426fa7ab229f7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 RecordSet False Passed
3de6e997ca715ef77e219fc845cdb022d55d70b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 RecordSet True Passed
3d6afa54c41060a4eb0cc5c786192b4502bc45bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 RecordSet False Passed
734464359e7abf95ed1fcdc1d974bfb17e5821bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 RecordSet True Passed
865fdeef37942a744afc74c67586efa269bbd6d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 RecordSet False Passed
21e8a2fd580c4805fbb197c93c2811620b236487 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun RecordSet True Passed
fe6c7c065d11a4f06945ddc7195d588f05d9a742 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun RecordSet False Passed
229da9045494f30665a72498f4d386ad4d042bdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In RecordSet True Passed
7fee41680ae329089d0f64d38cea82758b0d75a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In RecordSet False Passed
bfdb50018bda6fe2a50f4967651dfd776742f6c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn RecordSet True Passed
d16c93495a0a50c732f208cce0d02f9f253a0b99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn RecordSet False Passed
732f5fe7f31872436858cac20e508c82773c9c86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record RecordSet True Passed
5b567462daede05403c155e5caeb4442108fb2d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record RecordSet False Passed
47db7a5831fbc73ec2c3abdec5b613a224097fce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple RecordSet True Passed
dc7a23b2eb3cbd8ebcbb925d7eb365b4a6bfb88e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple RecordSet False Passed
540ccbdee8257c51303dba7fdb203828a424625b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp RecordSet True Passed
f09150e8a54288c5f4674c22e429b0ba79c56b03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp RecordSet False Passed
08d58ff02e1477145e0c25cf42d69d88890ecbea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun RecordSet True Passed
16de3a3fa8872d226e370228c51490c4503c68ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun RecordSet False Passed
60f50bfbc331072f9cd889c5e1668fdee1d5dd95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt RecordSet True Passed
c9ed2173343aa61edcf741b668f33ce25fa85c81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt RecordSet False Passed
fef40b8d1026500edb3c091de42605e11badca04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec RecordSet True Passed
4c78c78c27358b96e3788255a1ea61f483f66bc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec RecordSet False Passed
a2aa7dfeadc4e48c1dfe57be5acd048d98b474b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt RecordSet True Passed
0278a94eb0d6f3edd9e988a0039bc4ce78381736 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt RecordSet False Passed
e003f6f15d7943adc26b6f20a638cac9051ce002 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun RecordSet True Passed
1ba874b5004cbd371dda16a759f71f3eec67f0c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun RecordSet False Passed
e551fb895514708f7dac0a5fc20bdb5aec91ee49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime RecordSet True Passed
4cb67cb3b1f931f4cb92174524279625e5470287 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime RecordSet False Passed
5a7b09c0c20b76008a211690ce6d9c14662589ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun RecordSet True Passed
bd24fce9a2d45e41972842ad7384ac4af26ee23f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun RecordSet False Passed
39e7e443cfbea1c1c846b67f2fad2fa1bcf55d4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun RecordSet True Passed
c8b22a0374c92fba36f4fede0ddb4bd120eeffe5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun RecordSet False Passed
651890b0561a19589699dcaa94f8f7e70f7f1475 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive RecordSet True Passed
7192e49aa9d9c4bb97d76fd5b6336cf2ccf0837a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive RecordSet False Passed
2bb967f2e7d2efe6b1758a057292837e2ac89be6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive RecordSet True Passed
b13ca7103a18d4fb88255f6a4db251ef068fe44e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive RecordSet False Passed
2b9f0a43a9e80c1e962c9af8e7a95d6d8b19dad5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 RecordSet True Passed
c26b0a4dbafd938ed442f41c5d1676ba2ac52c93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 RecordSet False Passed
336800f2c8a560ed29478c62748b104b49ad05aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 RecordSet True Passed
a3df3ecf02703fce29240492f4928310069d3c8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 RecordSet False Passed
9bbeadbce9b71fec021627dd6288ff304dcdd763 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 RecordSet True Passed
99d1dd2e9008efb012d7f8c2aa1f79f5b7d44a4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 RecordSet False Passed
0cee30367cdf13667a4ca35d03e7e172a69d0c18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 RecordSet True Passed
8003b1147a6d74bc27c6b23a26650cf6118c0b77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 RecordSet False Passed
b3bd7cb858443eef7bc68f71a846ecfddac00896 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 RecordSet True Passed
f555ed4d61abe143633a913ea9987d829be46276 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 RecordSet False Passed
4747e58af10efc258e0e74b4cc91906509370dda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 RecordSet True Passed
e02273ae3a6a2544d2b0077c08e5fa55020e59b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 RecordSet False Passed
2b1cea17cdba02823ffd2eba2fe86c4aa0955fd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive RecordSet True Passed
a710d5680c8296f7c6260907a6b159d4ee9e922c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive RecordSet False Passed
047315307f370d8d7ba3a75f8e3f13406b4edb94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive RecordSet True Passed
55eed25ec81e4cbaf61347de2d2334161f25cae1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive RecordSet False Passed
29f0f499a9eebb8e8eb07bcebae13a9281a5b54a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends RecordSet True Passed
7790385ac8aafdada7bc608ed756c8b4558a6eae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends RecordSet False Passed
2dd03fd52c5f007050afeed019c0cf71125b8ea9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder RecordSet True Passed
cc037b5e4109ad2a0304c6161da1086f1e6d5d42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder RecordSet False Passed
0180508a74993e351d0490dafd2f74b0bd80bd6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable RecordSet True Passed
f5ce7290748489be442e6235b1fdbcb8d1f6e62f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable RecordSet False Passed
1e30d1704a3188897e840037d15539546fae0882 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude RecordSet True Passed
b24c1066e14fc8f0a58ff5960d935a99aaeae21d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude RecordSet False Passed
9cdf103478c424667a742d8f64f190627a6c1bd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant RecordSet True Passed
0e1da90e16e89b81b6bbdb9bb8d0054736e0ce1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant RecordSet False Passed
673e3d963263a1472e34419f46a96e8aa5930f86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 RecordSet True Passed
72d0bdb758bd23ad9c780437babe60a04094e0ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 RecordSet False Passed
dfe56ee1cfc48a11af59ea517074b03e21726982 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance RecordSet True Passed
d99d4ca015f37da7646d0a5fba0704611c2af8a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance RecordSet False Passed
49ee3982d40f74fa9f5375e7c9a676e47f782232 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith RecordSet True Passed
156eb1cbbab951790545f335655137dcdfe6125e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith RecordSet False Passed
cdbd1239e72f214d1da6ab98db00b190d3c4cb3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed RecordSet True Passed
d9bd06fbbe3390a6cde497a4451eba1dca191407 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed RecordSet False Passed
11f867f8dd9d14f44567d91071691f3b9bcc0428 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith RecordSet True Passed
8c849a075572b60bd0d2e6b28886178e43a4efda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith RecordSet False Passed
7c4b567a4f1f5b740c7a01612307a6c9f4909863 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder RecordSet True Passed
544a46f521abc117be232e890cf2dcefcaed8dca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder RecordSet False Passed
cc27ebd4921f86c2e246e24aa40b91c31e665e3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder RecordSet True Passed
410e32a710b15a37e641788ae51d09363169d772 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder RecordSet False Passed
3e6d2c05d91e63c175a2642cdf9f73254a3f51d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder RecordSet True Passed
993aa13527d67972c3bb08b57375bf7457bb744e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder RecordSet False Passed
11a475483fe628e4c4c1c4a8ce0045d54ae03bda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder RecordSet True Passed
d699eae4cf72ba1ab2f5064cda681c6e78b2868d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder RecordSet False Passed
7e88627269c4883a21101d970fbfaccf65c39344 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda RecordSet True Passed
643dec0031c4689e5455eaa488a220e9947ff01a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda RecordSet False Passed
1c19af3f9bda0e85c1f04d4f464f0fdc29b01282 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 RecordSet True Passed
70cfd6e4f0a92a48dd2e58575c556c71d31e3331 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 RecordSet False Passed
75d69c301518e0c3e16eeb505cae26a26d2070ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 RecordSet True Passed
0e9a68ec5c73ea0175ae294d1a314d07843b7f7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 RecordSet False Passed
1f490c6bd87e30b20a82f86cfef409d75bd0a13c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet RecordSet True Passed
290be5e74915a33daeecc05b7aaeee80096061b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet RecordSet False Passed
48798bd5a69b3d9de430c2ad88fbb5fb9e4badda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet RecordSet True Passed
d3e454f549393b2dedf42f75aea1277672c8f6da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet RecordSet False Passed
34f560276f6bd470341c5948d139cb9e1fca2c19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff RecordSet True Passed
3c5cb98d083c904d3e26e47a7a4631c6d055583f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff RecordSet False Passed
c861cab8a81ae148dc577b739968ef41df3ef484 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion RecordSet True Passed
2781e72cb830bc418eca94b92a150b3331fd34ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion RecordSet False Passed
9a3fe33b42d03b8fb304cd9164d0c8ff37b94c18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect RecordSet True Passed
277072000b028b8b5e813da24d4da564f1ece08d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect RecordSet False Passed
bbe311fd8d4263db02257be2188564a0a3e226a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq RecordSet True Passed
a47f7932eb02c27a8938ea7ac4196b5f1f627df8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq RecordSet False Passed
bdd5cf6274b75b332a6d9c79dc193fbc331d4225 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen RecordSet True Passed
faa9c8fcd6de8e56a153f17e24db12a211ce1c48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen RecordSet False Passed
64c4d0cb426d565940e0f24a3a4748c3282420c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse RecordSet True Passed
8a7e9bf1b0644ed9b5458909f3eb06a9b6a36cc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse RecordSet False Passed
6310316887bec649362713e8d5e5234d0ce9765f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset RecordSet True Passed
606f7d827e77664970a082230b4325a25e85e021 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset RecordSet False Passed
659ad1ac84eb9efa6fe354dfdb5d50bb8bba1129 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged RecordSet True Passed
205c11b38b214110f675d4f80ec8157147b7ef8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged RecordSet False Passed
a5805ebb8e894f8489fef1f0e3f15156fd63ee0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq RecordSet True Passed
f358f59fd1d0233743b55fd037b758fb6fef36f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq RecordSet False Passed
a0a5e68214006ff88f98c042cbf0de8bf0d35e8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun RecordSet True Passed
5d25fcbe1d8d17d598e46a362408177af2726fde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun RecordSet False Passed
16f6129ca17c975a16b59b2cb1e1d957b477a0d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun RecordSet True Passed
e64a06955bbeb50179dbe360a46b333ca938b143 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun RecordSet False Passed
fe3d1e55918d76dc82004536e06bb2681558de15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval RecordSet True Passed
57bce11117c5b477578e4f45343cbacfa21b8bc9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval RecordSet False Passed
45c8aefdaa72886ab19fe2a3d2afeee7065606b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag RecordSet True Passed
488617f430fc4915e437a3837dd7b86dc6205689 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag RecordSet False Passed
ac9f378c81d703be62cfcb830e023541b79dcc37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn RecordSet True Passed
820868ebe1576cb463ef15a16959e8118bdd8f20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn RecordSet False Passed
f047d4ae5f3d04470bbdd2681d1515dedb2b4f43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn RecordSet True Passed
967d59422530a8746fa354dfff431cccc58b6e26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn RecordSet False Passed
228de7e787ec44bba34083378e353f321aba4b75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet RecordSet True Passed
c006c127dbd26b6335195973354a698ca04c8fa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet RecordSet False Passed
7adf64e82b58c81bd3591277e59d3af46d5cd784 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality RecordSet True Passed
e6c7e561ce02e1e3e99a5b7f752098c0484d6d60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality RecordSet False Passed
23a7deab47536e2cd31df483334a6dbf5acd4515 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend RecordSet True Passed
b0c9c98047fca62fc91952fed02eeb8c542e468f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend RecordSet False Passed