Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e95887a499745418cf62eb13be66423c670be83a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumUnaryMinus True Passed
a23f02db92e57e6a31816a3b2ea28150e9870617 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumUnaryMinus False Passed
3ab9ab768b36b0aae47061033a2b974e8d351e1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumUnaryMinus True Passed
849731fbe1ad03affbcea222268654aa08d9e15f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumUnaryMinus False Passed
815695030ee93217509f9eacfb2dc1cfb1f99567 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumUnaryMinus True Passed
4e2deec0aab8dd5ac5dda57012fa7ce27a33f57e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumUnaryMinus False Passed
e60ce375899b0190af51c24682902f5366d2a57e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumUnaryMinus True Passed
4b4e42b43fc4d14f485c9ad4092fb7497d834fa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumUnaryMinus False Passed
dfd7a730a7048da1963a4653fab5da843754b03c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumUnaryMinus True Passed
0da320d485bb3e3f4435cc55815eafe201c542f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumUnaryMinus False Passed
cf8fada1e33a0827bf1f3b476c7c819140e717a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumUnaryMinus True Passed
9fa48e11140d164ddc29469c362b2fe21a65cbfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumUnaryMinus False Passed
7938034ddcf65e1285f04b6620bacd9662e02028 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumUnaryMinus True Passed
e78c0156f573f3a036e0e55f7ea7299767e3bf27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumUnaryMinus False Passed
19999b3e61a5eeca225de3fd7f8f3c201399777a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumUnaryMinus True Passed
26556a64175696d679c33b43d0d553f77fab6c24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumUnaryMinus False Passed
e1e41155657c486bb18b11f41465a3e5e85ad88e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumUnaryMinus True Passed
324abe1608411b97918336dc871f9a2b9a158930 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumUnaryMinus False Passed
fcf0d07ceb9ee5baeeefa6a153ee600c73c00667 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumUnaryMinus True Passed
2056bc2d462cb0b8a7b532a92e67a65497c6a723 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumUnaryMinus False Passed
2ee171126572991a59ed1f453b78b1821f032a47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumUnaryMinus True Passed
056188fb20fd6e467b06e6b132fcbbaa0a99c095 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumUnaryMinus False Passed
10d0285c388e88f1d3d43637de971fbf57674d68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumUnaryMinus True Passed
d0d31c1845dfa05954ebcdb79fe858dbe1c57515 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumUnaryMinus False Passed
8f96e9179f46899cb7b32f8b7bec198173c506ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumUnaryMinus True Passed
813cf3bdb37aaee3ff2c908683b21476113fd8a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumUnaryMinus False Passed
0a136753049488bf37f7b3116b4b1f840f88d264 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumUnaryMinus True Passed
2ed6f6e0394b647502e601d7ed4efe71325a5b26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumUnaryMinus False Passed
e52a11f7ee5e48ac82b1fe46a84323534b557418 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumUnaryMinus True Passed
8d0ed6fa8987e378be5003089bbef47c08758026 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumUnaryMinus False Passed
04d623fe939a0fed7e92eca01b26f18e952ced0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumUnaryMinus True Passed
5cbf3ada05af5de4c79173d86f62d42a5e512f18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumUnaryMinus False Passed
7bc697c0f7ed2cce6a8d99646a8d699f8348c121 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumUnaryMinus True Passed
58a3022fde5892fa6d8d698d6fd0e64fbf41232f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumUnaryMinus False Passed
f7a02ff902a762532ca78256036c2d3cac2a9d16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumUnaryMinus True Passed
4cf240602a16ac4786da02a3d13ca924e3af8d5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumUnaryMinus False Passed
d98f9fd4d8cf963154d5a11c2c2b0af19285f177 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumUnaryMinus True Passed
24f8ccc65ffa32323c8292939755f757537210d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumUnaryMinus False Passed
7c377051fc48bd66fe75acfdc67a14f0c982a88c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumUnaryMinus True Passed
de7b54cc0c665ab9cb62e7f510777213321f9177 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumUnaryMinus False Passed
8736f2ef6eed136e6af3c0223dcfb7d8d39c052f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumUnaryMinus True Passed
0fbd5da1cd39ff87bb9f8b3fcc730291b41481af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumUnaryMinus False Passed
62915e700713fdc351fbc552d2ebbdcac2e2435e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumUnaryMinus True Passed
a43d4f9c71cd36b4523d78fa57148b9856930b68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumUnaryMinus False Passed
83f064e1b30fd3098686c3e6df7c0cf2cb3f961a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumUnaryMinus True Passed
87c5246ccfdb98d58d26fc84b2bb05720139bf8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumUnaryMinus False Passed
2a17ca25b8b8e5752db910fc104bababec5c5555 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumUnaryMinus True Passed
62a36169988da8fd658e8f304fba3c8b11191cfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumUnaryMinus False Passed
6ef5240df43ad872326134c56700733648760c34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumUnaryMinus True Passed
732952a2c7918199c5df061f0fc660a38201f1ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumUnaryMinus False Passed
52ac3f39ae7c4cd5bcf3724187c80df9c8c073c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt NumUnaryMinus True Passed
5946a4bec26aea27b80fc276bcfa831036e33071 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt NumUnaryMinus False Passed
f5cb8966d9af61407c88f69a80d65e233e154ecf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumUnaryMinus True Passed
2a2a87de105b377e4948d839a9fac1446a26a9b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumUnaryMinus False Passed
bf56c8bea8a1813acc1647621019be2494e4980a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumUnaryMinus True Passed
8f3ee686d95198311b8b10dcda531ec856785bca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumUnaryMinus False Passed
e1503bd6bb381baed5e1439e1aa23cf451542ff4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumUnaryMinus True Passed
8b899f37e99854da1a122b32240df5a1b7c595f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumUnaryMinus False Passed
04cf4c07c94a9653881d467fb9e8515bd7fee4ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumUnaryMinus True Passed
c75cd5e126dae6a9f6d4cb3ad83cf885dd699232 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumUnaryMinus False Passed
f6318a276eccbef67f689c3fc578dafc76b385b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumUnaryMinus True Passed
69b5ee6d1da406c7dcfbb0d1cb0b63d51594ee01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumUnaryMinus False Passed
aa090162cac434069509eb054fc7b8178a84caa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumUnaryMinus True Passed
d764b322ffa9e8ecd71b4d1113863e00a7aa7c44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumUnaryMinus False Passed
1f4f825687f09b85a1a6938803059d849b817e83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumUnaryMinus True Passed
22de08581fc9ce9d5c489dc6b6f8e578da4794f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumUnaryMinus False Passed
d4843ec1cc7e7a0e767953874fe60428d08211e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumUnaryMinus True Passed
554e41b207c70eac29b4845cf7a6ec01d97c9792 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumUnaryMinus False Passed
5cda9b2d120a645fc28679916fec7d86d935f77d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumUnaryMinus True Passed
3f91b2a836a7cc5254c1112cb2b1cc7b04215794 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumUnaryMinus False Passed
848882784e27957a7f1629987d462ed8337cbedc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumUnaryMinus True Passed
9973a369e152eeaffd8dedc0d172ac3db103593d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumUnaryMinus False Passed
a7d29ec21a7f47f0316022b7b46d2a9f932ed1e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumUnaryMinus True Passed
5b7ff7aa894dae0720088e3a25527706f449cd1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumUnaryMinus False Passed
cecd722ccd3489a8a20f755d1665a8ec52b37a93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumUnaryMinus True Passed
f13547f1d2625cf5102ddce74a0c53d090cfbcd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumUnaryMinus False Passed
ea8bde0c48c65ce637ef6dbb982d75b84e72ac7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumUnaryMinus True Passed
58330a26923e436157d5a59d18ea0fde222fcc39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumUnaryMinus False Passed
84f68fcf6f4414215244e5b646938f1259a8a459 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumUnaryMinus True Passed
c83cda74ac24390b408bf6ae6b8afa397e224933 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumUnaryMinus False Passed
ff5471d00ee411a181bbe739a849ddad4aa7c3de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumUnaryMinus True Passed
a1d897b07c9932b574ad82d5337d5d813c4a4893 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumUnaryMinus False Passed
38621ea8410b865fece44f066e3d16f343fc140c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumUnaryMinus True Passed
d49d10baed60e6e5265addc8c43ce7ba78539083 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumUnaryMinus False Passed
139bb0e2dfa261b9fa33343a437e611d85c44639 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumUnaryMinus True Passed
10d176dc567e9d4d9a817a1391b7a10977ed3540 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumUnaryMinus False Passed
78d550cb01e9e871599516fe870b18356df322c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumUnaryMinus True Passed
c6bdb82d13faff46f467581ffd90c87e4cc9e9f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumUnaryMinus False Passed
345ae7b7fc3c6e5d6f902735a4b539883c109d63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumUnaryMinus True Passed
35b3b27a0febe7133d42c032cf23dfb352a94aa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumUnaryMinus False Passed
340510c08c97ec9f06007702108858ca50c934e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumUnaryMinus True Passed
e5824f7db3d9620828b7c401154c772a9a7b2077 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumUnaryMinus False Passed
84893939a41dedab11d0a8581cdf725ce4f3d92f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumUnaryMinus True Passed
4abc3fb2db84004014c9fdc88c33c5d77f4d0415 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumUnaryMinus False Passed
d13ebb41bdbd772cfdc0e1354ad5898f7ec94ef2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumUnaryMinus True Passed
88e867549fcbb53d889cc1da6d400a177ef0f8a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumUnaryMinus False Passed
9e97646e0b04668ed73c4647182865d0ad48abca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumUnaryMinus True Passed
af50df7f77feee4c9260ebcf200903a1364e4162 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumUnaryMinus False Passed
5881f4df32d884acdb0569a5cbb1e5b08c838e23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumUnaryMinus True Passed
33e497b9e215f0e613537b6854c58b93bece3178 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumUnaryMinus False Passed
58f2fd91ecf178cd8581bfe90377f24b0b014655 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumUnaryMinus True Passed
a893688ebc4518eef50bc3b2a28b31958b6f1612 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumUnaryMinus False Passed
f24b78519dace9bda22c7d0a4dbf3c2cef133a54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumUnaryMinus True Passed
15d2b9e1c9cf7f4345e3d056bef925c5878f0b33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumUnaryMinus False Passed
5f7b1c1d9a96387b346db55697db9ecd6a181822 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumUnaryMinus True Passed
a2e28596d1ab394f5a8b1a243ba6da8163c64491 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumUnaryMinus False Passed
6aa8dfb807552307d1058983187ad0dc29bb4695 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumUnaryMinus True Passed
9373669b6af0ca2ae5a1dbf477308867bf5a1e9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumUnaryMinus False Passed
be0387cb14a1aae376e5ce55a12b068c1bba1ea7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumUnaryMinus True Passed
bb3fed8370ca854ad2eaea87fcf05b3fa82672b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumUnaryMinus False Passed
fb527ef04498b4d4c0a8358f9bdf5aa648485e2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumUnaryMinus True Passed
68caf393b5d62ab96dc3f3086c535e7f3f2e1719 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumUnaryMinus False Passed
962c87d93fc49315dd0d993c41ee31fd3763c010 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumUnaryMinus True Passed
9a0b42d0b13c53762d18ab1077eea641aa188f90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumUnaryMinus False Passed
b4350f36a153105ec29efb9e38a5f825c3ddcd68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumUnaryMinus True Passed
9e02022561a3f8b5eb684719c3149df1dde1f3cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumUnaryMinus False Passed
c6ff152fbaf4a11527fd30e8e29516320934969d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumUnaryMinus True Passed
3f42d0e8544ab0311c9d286c1cb2e9c9f940f014 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumUnaryMinus False Passed
d043cbe4863734b3f653918aa1114612dcc84d17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumUnaryMinus True Passed
17590fb2f85ec5d55786947153e3e239a956f3d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumUnaryMinus False Passed
8a02e34fc77b547c6fc96b03b81348539621262b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumUnaryMinus True Passed
10a9e5816f55ebadd5013d2c6fe68b1523fb41bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumUnaryMinus False Passed
20df2d21070418c89ad194a5ab5e62676b0d1fae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumUnaryMinus True Passed
7f3945d92957f72f48f46328b86b60551e11825b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumUnaryMinus False Passed
8febde35e6d2a0fc7993d17d39cb0b355681c96c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumUnaryMinus True Passed
d1c9a6d970633e9a95ba35279d356ba5ba0c1803 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumUnaryMinus False Passed
966657bc5db1998831b3ba65d928d9020298107d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumUnaryMinus True Passed
1b4afb942a6dbfdb81087ad3251d7f43e6a5afc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumUnaryMinus False Passed
a962f524d69f6f4825f488bf182e5870bf3760fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumUnaryMinus True Passed
9e0c094fd442400f0b7344daae5f64844beda2e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumUnaryMinus False Passed
0c0a1325403909ca88ba1508036ddc47a8e21925 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumUnaryMinus True Passed
4790206e2c4822da65833f98aedffe6bfc4f0dd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumUnaryMinus False Passed