Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
d82646a2606df332589bb3d5a553ee3b0e287c44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumMaxInt True Passed
a5acb28b1a23820274577fc00191ddbba26227be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumMaxInt False Passed
36fee37988722aa68439e6d2cc0413af86848628 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumMaxInt True Passed
2ae4e4bd5b0ce513a947d13104f9ef4fd3756e2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumMaxInt False Passed
c12bfb90638adddac80d93c07812a04257c905c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumMaxInt True Passed
9a281a4b156a1468ffc61ba2c53de3c75b79224d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumMaxInt False Passed
09e60c3ba4d8b7bf5b391610b79ea74206b3290e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumMaxInt True Passed
d6835e67308e407c53ed6fbc7e88e2c67f3ef07a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumMaxInt False Passed
e47ac37a2083d5e455116353614010752a9e5cc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumMaxInt True Passed
be0a284d06f59bed4fe90cb94d073b2169e63815 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumMaxInt False Passed
a523ac94c55872acd482842794e1e2625cb4eace TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumMaxInt True Passed
de0f645a88b7c3c3b9d1c14e73aa9408f19c34ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumMaxInt False Passed
54d2dfbca86d73eeaee9f1adce8b5256b5af4352 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumMaxInt True Passed
3f32a5f3dcb290122d38e7a87aa2986b349de9f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumMaxInt False Passed
ca52a4ecdac2fa2c6676201d82c25ccfbe361aab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumMaxInt True Passed
c3736972f284e21eec56c091906cb6416094301a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumMaxInt False Passed
46260b6b11710d75bad91675fc2ad7d621e98cd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumMaxInt True Passed
e4ed818cc66a3358372978d6494499dbb1952c5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumMaxInt False Passed
3a38dc0bede9383a71861f33267edb99c0f30507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumMaxInt True Passed
4a78c863b8b7cd4b2a242a9e2cac8f6deefb3d84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumMaxInt False Passed
0cfd40576803a59d0e51a87f23b2d177ebf34b42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumMaxInt True Passed
4ec2e17a33e307b417f1aab94d97f64cfc24af64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumMaxInt False Passed
ad46801a9b2e5ffc581eae8c03a5a68c053de99a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumMaxInt True Passed
a77387424b5be4e4bbfff40720ff7cb1126b04ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumMaxInt False Passed
87ff40347e9e87fb4a28219def7a3268515dc34d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumMaxInt True Passed
dfb0d79902efcdc1c275eed4523ce0812b1e9413 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumMaxInt False Passed
fdd2c1f318553123c896d9f7854196062131c26f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumMaxInt True Passed
530d06053d40a6eb543bf3ddbd612942db8ad508 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumMaxInt False Passed
902c0db1064a48e49118fe28ba1900e0592fa51b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumMaxInt True Passed
1ea64664d98af9ba6089031a65a17d7578292014 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumMaxInt False Passed
805199e06ca577500e9644c95fb5887bbc39ae7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumMaxInt True Passed
ff9dbd14439173f9200bf64284fb83613ccf5c27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumMaxInt False Passed
2ce08edc63878b931e7ca7e64917ec60a8e7848d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumMaxInt True Passed
cb1b63769ec16c67e22f805356a1ee8bf39825f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumMaxInt False Passed
6c80f649a466ed428581d0c2e31c74096b43a2cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumMaxInt True Passed
23636d3b219e61d6d79c08f4cbf3e22581437479 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumMaxInt False Passed
165383edd21c91beb41608e081b2403a18d148ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumMaxInt True Passed
a69ae20e95629d6e003c36ee4cb880b7ef640906 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumMaxInt False Passed
cf313c82a6f2081b4c6fadde5012254ca9deb955 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumMaxInt True Passed
1ae8982e046c81ff68cefd2d5d2cbeba0f7168ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumMaxInt False Passed
0ba536c03c25d35dc2abe1eceb8b9daf3c068322 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumMaxInt True Passed
154b469fada2543b300ca95a329c1c00d5912469 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumMaxInt False Passed
573f064db69200dbc9953305a8f9604f2af9311d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumMaxInt True Passed
40af1c8a562255396fa533d2dc5dc2ecb4496532 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumMaxInt False Passed
44c8a3bb875fb47f869ee9bc70829a4e99d95ed8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumMaxInt True Passed
f4b7da6b81f45d8a93d8bef6c92eb4db16e0e864 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumMaxInt False Passed
299caa8c35a96c9c58b8336cf7b8e7c703c52d69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumMaxInt True Passed
5cbbaea5a782430a0f9760c5a24b6781e90aaaf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumMaxInt False Passed
9a6d67f52e0043612e614cbe7a8bf33e0d564cc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumMaxInt True Passed
bc11c0e8a4a28d176ff5a34bfb8b1d6066da495a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumMaxInt False Passed
e9cd5316d5f1418a8fff9e65bd984ade07bfa770 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt NumMaxInt True Passed
f0104c1acee7127e64268180ab7bb49247e5314e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt NumMaxInt False Passed
4abd36433108b6c0c52e0b2524c4c28c754a1896 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumMaxInt True Passed
b4fac6c7fffe07fc6df41227c41479be44db832e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumMaxInt False Passed
27cb6ec098c4feac17682190e211830af132ebda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumMaxInt True Passed
a7c95aca147a18b26f60279f4d116acf92e025ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumMaxInt False Passed
ba1f6b61944b01fad976e467527c5e7c943cce8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumMaxInt True Passed
ff91a5e5df2f21c29fc742a4cba459431bb8b92e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumMaxInt False Passed
3a73ce493f92a147853df58b23f940cbaef92ec1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumMaxInt True Passed
040dce4e1def7f9f375666fd0d94e5221b4d6001 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumMaxInt False Passed
5650d3d04d3bcd00b34fd5fd003315a2b939173a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumMaxInt True Passed
4d904b33fd6aef341994216667f3e1a14f2da8e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumMaxInt False Passed
655e220af6cfb65ac2c30469bcb63eef7534a000 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumMaxInt True Passed
ac95dc8c0160d9249735281ae501c75041e6b073 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumMaxInt False Passed
33d56dc1916382e943a0a2a563490a8df21416dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumMaxInt True Passed
c20f5966f5318323f5879766e51d1b52ea65c4e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumMaxInt False Passed
ccf30493df7113a701fbafc30b95df5404b6deeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumMaxInt True Passed
a83b5cec5a91938dcf05ae9c5b72eb0d399c93b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumMaxInt False Passed
6a86dbe0598cabf9c8f889d6061ddceab5bc8f9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumMaxInt True Passed
8d4545d1d2dbbd3b4a26bf4075e95a2896afc0fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumMaxInt False Passed
91f4b209a24e53675caeb6ff65bf4e2c9434308d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumMaxInt True Passed
a725e643815129c1e012e60fafa018cf98f59e05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumMaxInt False Passed
3f56a02bebbee23548216a1fd00893be0d1354f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumMaxInt True Passed
9b13acce18f578cbefb67e90b7eb9d5b6bd19b55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumMaxInt False Passed
059489ba1e898e52212e33012b917e8121cba7a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumMaxInt True Passed
67d1af3408f3c32e2c5e109adc083bd07b194274 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumMaxInt False Passed
3a40bb9879e2f4745eb89ea364ef0580c4db6a73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumMaxInt True Passed
aea902741ea75411da15e1d48b9ba169e5e1e320 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumMaxInt False Passed
c9db3f7a13230a18bc086fef4d513bb31516542e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumMaxInt True Passed
d3686290b8eb8136614bb2c634e7399003cded3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumMaxInt False Passed
fa60433a3078d0408af386770f299cd7a470ca75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumMaxInt True Passed
71c3a05f015294b78b10895fcfeb4579325c7f10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumMaxInt False Passed
f5c46784eebba416d416121a5c038056a85cf7a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumMaxInt True Passed
7b30b83d92c7f4d72fff5076e055674c0e90a4d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumMaxInt False Passed
790f4ed7fac3b2d92a3e0ab9a1d8c0671c16ac63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumMaxInt True Passed
c7515c48681fc0d017f06d58f0ee077bd12ea6d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumMaxInt False Passed
4b41fddf0c2d1d5f91b8be83f26bdd7ea2eb745c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumMaxInt True Passed
5f5059e385185b035bf3b6861189540eeb8ad22c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumMaxInt False Passed
5eb84eda43a3374213bc834b673e3163d763407a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumMaxInt True Passed
066cca7264008bc3c1507dbe08c58d97902bd295 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumMaxInt False Passed
4e2a3ebdca3b1174187ace4943cc1b8876b1cb3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumMaxInt True Passed
7101b75fa41ff0c6b79bf204a824ab0e22692395 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumMaxInt False Passed
a7d67b9d29c7b4a22e91229596da5d56c929d789 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumMaxInt True Passed
eff728332cacd8c709956c7e1f39be6aaabd4275 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumMaxInt False Passed
2937e3896ab188390886ce4d4b80e5dc74858155 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumMaxInt True Passed
ca39cdb87d42f58d361d71eab22418b56405d3ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumMaxInt False Passed
29f51c588a57bbd68aff90536c40b94a04b337f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumMaxInt True Passed
a5e7084efe6a49887809db600ddd95397672c38b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumMaxInt False Passed
e261334a77ef0549da7f1ed7f090f6e56d6f540a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumMaxInt True Passed
98a5c9276dc8a29883ef21d84ca26677aedb7acb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumMaxInt False Passed
46007f526aa8f31bd5122380afc56fd01226524b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumMaxInt True Passed
5f8f481535692a864256c23b120626403584fa53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumMaxInt False Passed
29a634dd666277cf6fe7cb1036ea612ac735ac20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumMaxInt True Passed
a179847804da97b2f75a98149a29b6d096ce21b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumMaxInt False Passed
8660cc604e41731c3554adb308b9b7af9014569d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumMaxInt True Passed
2feef98cf186ce79d6378a14d53569a2aad6ea6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumMaxInt False Passed
fc67e1aefe57de2dc3b237a75ea68897f04e6301 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumMaxInt True Passed
829e94c62c69795dcd407714789eddcbc2a965ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumMaxInt False Passed
5d638e5f3239cc938a0b63e1a8a599af509fe8b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumMaxInt True Passed
1aeb51feab2d0d4636de609e6a680c6f3a9a55aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumMaxInt False Passed
768724cc55142e36a664ee97064311703e339884 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumMaxInt True Passed
be686b19017ae77fdd9201249e9bf0e6e9048b19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumMaxInt False Passed
3aee9394ce92a0991d0148eee46f6e18cf377fe6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumMaxInt True Passed
353c84f75940828f418ed89e5dff913acc06c26b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumMaxInt False Passed
9fad92a7c71fc63a512a61414e8dd84eb9030c5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumMaxInt True Passed
8a0455d39b9d74e58fed010a415f503f86120656 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumMaxInt False Passed
0eefac6b04917b54f25367c7f94bea607b70b0cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumMaxInt True Passed
a0f05d8fce7b116b4cba766c4ead77aee921bad6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumMaxInt False Passed
852d8cc78e1ab23e2d49c7ef018739105b0bf936 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumMaxInt True Passed
c8623c2642dbf7eb6d04b17e3773c545904b884f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumMaxInt False Passed
9f95063be3771a37a5a3fae6121d0c14d7222799 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumMaxInt True Passed
eb161eb19d71f2d2952c672333d479b0402747ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumMaxInt False Passed
655eb968bbec58441304d4666a1e18f9e27b7802 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumMaxInt True Passed
77a253c383011a03ab4ea4b8a551f4f748ec9b21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumMaxInt False Passed
106f3d80d8a8da6664356826b4113930d1b99b53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumMaxInt True Passed
daa7de0282a0df0bcd3d8800399b5ae2af09b42d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumMaxInt False Passed
d4869af46c9ad18629b3b40016a359090cb4dc9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumMaxInt True Passed
469a7ccdc7ad7098294ef12d2c8da2b97a2f9270 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumMaxInt False Passed
307fe4c715a56167465f1b5293ba876677d088a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumMaxInt True Passed
5450c1720d1359798de0bb6743fc7d9709be6da8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumMaxInt False Passed
243a5747bbd082dc73bbe1f6f592e2e52729662d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumMaxInt True Passed
25fd1fa1c8868bcddd458ec64048bbad2dc80f3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumMaxInt False Passed