Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
bebaceeeacd97927635ffd1f1079d53404c04f19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumDiv True Passed
3b4e9523bf8527930c7aa73702be271772e25e7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumDiv False Passed
8d9cd9f2abce651025af41af9af9b0ace43e45f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumDiv True Passed
237dd51a34b61685377c0b48caeefd04ce63be1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumDiv False Passed
bda82bdd9578580809c77ebdf50425ca430c7e1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumDiv True Passed
44b72704eaa524e3664fcf03473844acde2d8159 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumDiv False Passed
7f1b5300eb56666594dd8cc657e49d1d8697ef47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumDiv True Passed
a47d92ac42f6e0b0141dd6b121393a20f2a1da13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumDiv False Passed
4976a2b02dbb56d86f3afec71983e3f0b166831c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumDiv True Passed
1adf0e0237aefedfd5d6f873be4275657a69b3fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumDiv False Passed
abaf6019fcddd8777b0a611ac643d1ca39ddbfcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumDiv True Passed
7b6ef1e6fd9dbb7f664c28055539932449621f87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumDiv False Passed
79cdbc8ccff3aa9f46ea77070c520faf9584025d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumDiv True Passed
af0fb805367ca858fcd571dabbe615f2c0cfc57e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumDiv False Passed
76537747970020b3e175ded096a80d71347252cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumDiv True Passed
f9d5e3114dc29dbd5519459209f34405a425bbc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumDiv False Passed
658b467fb52d4a08aa34c959bb485f86feb265bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumDiv True Passed
059f802185b887c6a0fe0aa2e2a7c30496a5d54c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumDiv False Passed
0e9ebbe3fc2a41cfaa843aef539ec9d90036b055 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumDiv True Passed
8b1bc36e4a27ab3b015c96e3cb241c553347b323 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumDiv False Passed
b0e5561d679a740cecfb9056ba854ed67966c39d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumDiv True Passed
828426722ee81b3e3f0e4117a72a0d0af0ee1aae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumDiv False Passed
7bd858149eaba2bb7642671011c501649ef300ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumDiv True Passed
3ac0114a6a96f811ba6fd3a424ee9150a2b96ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumDiv False Passed
fc99cba29be9452671ca161924d50bfe6634b8f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumDiv True Passed
235c909d8a0bd5bffbefd6916746a37b6fca470d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumDiv False Passed
7455fcd8a3e9a5e6c728167d48b8a778780f32cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumDiv True Passed
9f52035cde2f12616cc2fca0356f3edb4112a62f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumDiv False Passed
bef7ebdff4e9871ee3f31857452374ee0f587276 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumDiv True Passed
5fd440bd21e497a2add7c5e074653932f67ec013 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumDiv False Passed
43bb0d57cf4be460a12cf30bbefe1daa1c908742 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumDiv True Passed
7ecff32b1a2c80cb9baf454b9e4acaa1f8eb980f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumDiv False Passed
0f55b4a558a1cb831cefab5b5699366041ea1357 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumDiv True Passed
50defc761c12ad1b7206cd66cb4471bdb9d7821a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumDiv False Passed
777242e8e46d3c4240a60f7762644d28bcf45444 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumDiv True Passed
a42b5110a1b1ed5bdad9551a7a7d0376ca51b4e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumDiv False Passed
e23a20f947430dec6542f1c64815e4114681a8e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumDiv True Passed
bd3e031509eb01186f682e0bbc4c7977daff638c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumDiv False Passed
a7959620b75292b03066d08a07655ba054659fcc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumDiv True Passed
f10fde80c9557f021caeb05d57e210d819dab759 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumDiv False Passed
5a619b8c23b64e5f39f81f1754c06aec81ecd1f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumDiv True Passed
a3f85d4fcdf8f698addb032a2788926a22ffded3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumDiv False Passed
1a669a7ffffc38519dcbde6eb172c86b7ebb2711 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul NumDiv True Passed
f949b6505fb65e9c3f4c419893b45ccf89666215 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul NumDiv False Passed
b0924fadf0c62e1274b66ca18caaf798dc710b50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumDiv True Passed
ecae5092d7fbfc462ca539ebe32f0869cf83b342 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumDiv False Passed
06ea4344ca4a5b6c895b39e2b78a9d903e4fda05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumDiv True Passed
248fbed2ef8a4619bf7a225a1b5b4ddf7b1f4e7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumDiv False Passed
e91f535138a1b049b4a4a7089b06873d0d324f63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumDiv True Passed
702e8c72cce193ccb42bce78d0ce1df7e658bb10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumDiv False Passed
e5f88564dd6069be1dc872e2fe98473cd7d7a193 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumDiv True Passed
c8fab9c9832360d963f4c1b1f496efd44dac5776 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumDiv False Passed
de3fdaa192d934971ddc6ff426bb5760b9fb34b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumDiv True Passed
057bcc75d44f887540ee9e1092650b94d0b5e148 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumDiv False Passed
93d153a9fd75349bc68d957e40f7de288995b121 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumDiv True Passed
fbaa98c8fe111a18ff3376e2b9bcd9a54d1e1ad5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumDiv False Passed
e50782ff9d4cc4b40ae9e12e82c25170a70aaba4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumDiv True Passed
e35885c92c6e9d458cdff560eb5b11313c1138e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumDiv False Passed
dc78fb6f7ea34845e414617cddc8233a8697fb77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumDiv True Passed
822e4607b49b720b4cdbbecdcf37c3658c70034e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumDiv False Passed
0d2ec3f9d2ce7ef41073c5845a40118e1ba58a40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumDiv True Passed
479a7e4154eb7c392a1f5a1e6ea5fda1f0af9d37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumDiv False Passed
298b82a2cffbb0eca54e07d156ddfb7e8d06f82c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumDiv True Passed
0d1277d20061677ad5b277b12861e462da18342a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumDiv False Passed
00f210d17b028a59cb926b589685ab997b1b9b0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumDiv True Passed
5edfb27337d0e259a3dfa0ee17d80c42e9ecf5d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumDiv False Passed
8aeab4e244ac3ae3ad5968b6126d32782263d49f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumDiv True Passed
28392c6516573c587226003a9d1e2a269dc40877 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumDiv False Passed
3f37c2efb48be0d8b33c405e5b553de9c3765b5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumDiv True Passed
6f46f75bce708a4b9c82a01d259d674703a16bcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumDiv False Passed
2967c23ac8f9c20cd491eb0aff48ffb116f79244 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumDiv True Passed
e868744d29fbd5048246514708ecb6c6cd1268db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumDiv False Passed
11bd88ec05d263c550984dac279867f75a3d206b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumDiv True Passed
b0e03be885d192b4d1520459e18e17a409db9db5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumDiv False Passed
4a94718a14b8b044daddc5bf7a0dac0e55ddebf2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumDiv True Passed
cfa93840917fc6467652ad4339574f33ada333a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumDiv False Passed
0be240f485cb0663d460045f0bfb1dfcd2a28f5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumDiv True Passed
e1fed5552f10d352d69f22e40e06ee03304a6f16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumDiv False Passed
09570be4c3546ceb192a486c85ac0ed9237e3fe2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumDiv True Passed
48332a5fb7f1dadc235e76fbbd835343fd499ff9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumDiv False Passed
493e9173b736a4d7719f41b86715e76a1ca1776b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumDiv True Passed
829f16b773f0703b5e50359fc08d1b8dbf00e815 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumDiv False Passed
364a418d5efb02f4e51babfb0ccbdf9a561a4f8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumDiv True Passed
60741b9a837b18876fd64fc9e6a266a01a75c58d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumDiv False Passed
5d9a397a56f0719ac2b3c5f52f7645f9d2f4fbcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumDiv True Passed
9f0ec70c2f57a08a77bdb4a27029ff62cacfb5ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumDiv False Passed
723d5f951faf61e5f0a23e31c579d539c74d6751 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumDiv True Passed
b8dfc062637cd407551d1f2fdb92da5e2c9a7c04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumDiv False Passed
9ec5f53b1a3a9bc0ced3d78e74f27b0afd714fb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumDiv True Passed
a538b94c691b0ca401c392eb9a3f94c7ede0c692 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumDiv False Passed
08d5f5fc4af84fe35215b5943998fc5389a005c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumDiv True Passed
a8ff94103f90be3ef89e94b5b26628c161dd39b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumDiv False Passed
32b80c6c4dcd9e32957c14d5c707c71292bf1d93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumDiv True Passed
22c0b9ab7dc92705164499ac71af91ebb538f774 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumDiv False Passed
a0cdb27002fd699f22e9badfd854e85232a39602 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumDiv True Passed
578bc4e7cbc2a0bcbd208f03488bed17a3266043 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumDiv False Passed
fe57c111b7a8c3b3b45ba2126eb37b3ea5b21c94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumDiv True Passed
ffcaaca07d7271f612381bcc39b7197ed2bac0ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumDiv False Passed
159affa527aa4c4d373666e353a6858a9d3e9337 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumDiv True Passed
408e4731dd5db3be5637bdcb7fa67c39ed6de4f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumDiv False Passed
1c1e7a218f492e1c647ebff47752eae4582911e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumDiv True Passed
3d91d23d3118a317b8d770f42ccb8d2202b884c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumDiv False Passed
92e7d9148309e88767d5b75c3f42bacbabbdaedf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumDiv True Passed
7667aa1c80ae2abd9bae21eb3b0b9b83fb6eb7fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumDiv False Passed
428316d560832d47857bff235f58ee2807b2efe3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumDiv True Passed
568a0050578909fd04048692456e8245745ff0c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumDiv False Passed
e4f16c9b499bca35d5e878cabf1df583eaf2fb32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumDiv True Passed
8573fad148c8c4d1831ecbb1c99da2f3e4677adb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumDiv False Passed
6d7a390e7630aea9042939baa4ac367c8ca84a17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumDiv True Passed
7718ff667b1713d038a9c09b0099dc6c0d00bf32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumDiv False Passed
a4f807ead705f153d06f746ee446b39d72e5f213 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumDiv True Passed
c1b51faabd095537fbd871dd47537da6f821be95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumDiv False Passed
c97db002b8fe1d99271c78829c1028e4b16d2b28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumDiv True Passed
c6d6aec4b2aa11dbb1637c5cb8eb4967caaf1420 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumDiv False Passed
c3c00e4b4e1d2815780f8c4ca3c60a474544e034 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumDiv True Passed
c46f9599238ea2d4a90b6f1ce76a445616e653ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumDiv False Passed
df6082c3ed38a2632e630440238dba4698715f09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumDiv True Passed
dbbec198552296bcf79779cf47aceab32ffb83ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumDiv False Passed
eeb7f4ec71e684a74df841ab5edbeb845b3bb164 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumDiv True Passed
2620ada82be2626ce14f89e3a0dc7f697e68c406 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumDiv False Passed
5c526d763b12a932441f9013420c2a6a61b18408 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumDiv True Passed
f74ed45040129b16226caa8029b4b0945663a759 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumDiv False Passed
e6b470613fc90003d31b46b77e2ec5f4cecaefd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumDiv True Passed
f266fa47bd94e04477f0a02766acafd0fdccfea6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumDiv False Passed
1302c7a7f9719422ccaad80016d7df47cebc964e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumDiv True Passed
765689197ca5d2d1c7a35895ce409acf21baa9d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumDiv False Passed
aa50fd8eb9ef2135effa58595305a384d0a816ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumDiv True Passed
7cf5927d9c02a8f1b039f1990833408c8341d4e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumDiv False Passed
8ca2603983c8ce8f37977a48f8e72fd643f74cfd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumDiv True Passed
f3d29a953ca2034598b3ef17c8e32363bf31bf64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumDiv False Passed
ce189dc8502be6e1ca6c503a97a22181e96d710b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumDiv True Passed
d87892bec48372c4b211c0cee05dea5009e1df36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumDiv False Passed