Index


  • Introduction

  • Skipped feature combinations
  • Failed test cases
  • Tests by feature combinations
  • SYMMETRY tests
  • Tests under anomalous conditions

  • Tests by feature combinations: -workers 2
  • SYMMETRY tests: -workers 2

  • Tests by feature combinations: -workers auto
  • SYMMETRY tests: -workers auto

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
1e2af93354332c1cc6469896322b2985ef7986d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
daeb0b028d28ab3b2700c97246a817195bc89084 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
b0448d52a37593b01ebbd8f9e7b2f3d908b75f15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
4c655f94d6ae4201a574dfed9f0fd7d5ca0201f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
812e6ff33dc500c635613e9a9f03f024f0729a47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
22cb37e84dfa5b3078e2feed96600e819a0571d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
fcdde9cc6580485449f8a089aa843edc54d9b765 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
3460ba3355d9976819186e7c07d1d9192887c024 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
dbf5a3177ab4cc4f6ea9ae6417f6af406f1b3a80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
05a79325fdddd4f25219d308b4426a048890d44c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
fbf4112c3477b9b5781033179b64cbafecc19886 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
9254c5410c322dc97befcbfb5d30648d81e9e74b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
c3bd20b97e6e01b019c862aa18b5a9bcbdb1eaad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
07e9ae554e51870f50d4372e815985bd053da297 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
7b1820ff5997c1271a3be0dc7c34263d918e976a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
3b2ca00f3d30927be8ed6308ce7bd60614692061 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
707ad16bc55ce81caeb0de4d85983871d814e5a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
40026dc121e91b67585fdf34d0934a3d3888f0c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
f371dc207dddd76d9e70bf9845908c01040363b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
356c325556770f85bab411bcd38272fa2e612b53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
18ffa0df3bc0a44eb9a9bbfadaeab764757c749e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
b6f0c64ece207c743c3d91e29b1181b05bd905cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
7436b2f2b94032055f2e135cc7f429ba79726b0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
f295d5231e1b1b95859505feff019c2c23856162 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
37621716eb7e40eb6ecc6913be5179d26a401298 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
ab9c6c08f45aaa859e2f5734f97abdcba99f74bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
e73f34f5e7290a4d408110cc3b341f381fb003c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
ca12452343881897871d40c54bace61eb16a5ce2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
a0cf7f8a2dbd23c9b839e1b7132350aceb6b454b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
117a1462dcce4f615f874b35a79d88fe7f7fe5a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
b36cece6e01f53354e47f2ef158b8083900d681b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
8f4515caff5b752d48ff74a5f0fb3a30ef7a8103 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
25c4be2d98fce1e981a95b6489a99ddba588d2fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
f66c4aa2ebb66c9c019a5beb5ac199fa5b3c0905 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
ff7c68ec11b60d98dd3200cb5fc269cc74be15bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
3bdf881f05c907bfe9a7aa8acc3e7b7386a861e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
522cb0ee360b61a49056a4c119da1a40486c70df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
9f124064d486d62adae6e21a8d0459d6270af954 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
cfbd65eba30b805a4ed15b64fa93598064fa84e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
069e98b6b1c069e0e3d0ec282c0dad8bf3e7ab23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
7c819f7a2184bee1b92c59d75cb9750b2dbabd79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
3a187f9371754262f7a2e65b23bea1920343f557 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
23abce591be741fcc78963746a7becd457b86411 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
eeb58322232fc90e02414c55c02ed987c41c995a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
93efddabdcbbe35dace8d8fdcefc7f11d6fdecdb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
05c08154f126e2a4295c08af66a7b8523dcdb0dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
cd5c78aa6969589202207c0f426eac8c9e064233 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
e0162b36768b80cb49a032351362e2cbc3aa1dd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
2c8e8531862abf8ce107357a2bdcd32825af9d1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
14331d9e0a0db245a85bd8242893983c741c0dec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
3cd22ff2f7786dd06325b51be3ea8543a1d4d0c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
fe078cbf83d2247f0d57738d90046c6ef75fb14a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
584c3632c7251649d6863417cc7fc4a92c7d367c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
738ba0fb31b50fd3615e0c05dc7afe343646316b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
7f2895101c38dce801d52f1ae5d52edfe5f88770 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
f136fbee3b66fbfcc5074adaebbfe92816a0f6bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
473bd142155c415bc9d2b753e1b32abdc1e8ccf0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
81ff3ecbc7ed9740281d330bb8bc23f0f1dc1184 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
33abfb8c6fbcab9c68da05711c4ed055a459dc13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
9df757c90a5da898d3313bace6fc0857e9b67e2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
f1606520db9538f6ef533b3eca248a62191a3d1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
3175f2fd16c822c43813d52a50b2321dc04977e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
987674639ba304a27172d9887f8e526f186a1046 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
239f9743fdd313ead09480fa722374e87697de8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
ed1aeeecee77a72276e78c6c6db28d4279b02e57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
3c2d3009073f5e7f79980d0aa49173f0a6f2cc87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
6611b7aec9fc781e1a36d11d05295785bdaee0ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
170b3d57c6479374d957842b65cea3d9bc24a041 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
f67363e68a478248557e9cb442fb1c92639453c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
2d8a4659a7a25d218e9091c12ed422858b0047ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
a58ca1143c8802285de86b07457dd7733844d86e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
0a18601227921d2eb6bfb33087a3be8697054e39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
352a3039186c64270584618aeb453d4a042aa36c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
a01e86bb960ee2e1414e37d959ca1ad43b89de8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
80847e89a72b7be4e68cf09fc23f45f132211bb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
cab8a39d0e6ac8671a94a7f950eedaa9df715848 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
bdaf71d258aee08b16737529e219ddf7363e7e59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
5d4e09e8a896161a532a4e13d7a30c8d0e1bf674 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
0b030186fbe1c1f0ed80df8aebd586f627e8b061 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
6c4148233768dcf950f3c46ccd7a2fec9603eff2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
a50bb5979eba068340e3e49f0a3dcf79353c262f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
c64b3450c0419c986684b55b9e512039d16c64e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
5bba1e4e6048cf429214b9f47f06bd0e20a83962 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
2b1d1ac0272a406a4da726b6a1890c6581899f41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
2bf1844579a784b1eaf8fe64d036f8017e431552 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
bffbcd986783d3fd903428e9e1b766eb2b64026b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
f1f8f48973e496f78009fc826924e57a1cdd4e9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
2e2bbdfd5486ed6e5339fa9cd7167aef8df29129 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
0db2de5e7aaa70110011924fd6c78d5d23f52fa6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
41ca7e295ccda2db1b03c00275c92e13e3a7cb88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
ef2c56b45990fb9a9d47591779b3daff06aeb599 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
ec4bec0776864ec79a414e18e56ac8ffdcdac73b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
2566c6263580e60a4f1a56abcc2c9290aef0a275 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
a95a2fc8602c490194e36fc5729d418a67e70271 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
0d6f93779a6bdf11dc6016e5cbf6dce31713137d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
63f520ffab538d7ba3cb16960c2d8c7c461956f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
becc9c273d94afde9d7d6ca6442c9b64dca5c18c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
7aab9587296cb0e3795a938254257e0bbcb9ed7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
b264194c019f84a302eceb216b25d364bff36d19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
fb35c6d9ed4e0069c0aef9358bfaffea7c001564 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
04883e4fff5c0a8f9f5784e0912decd59ebcf0c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
52a5c6205ff1d99e5e2b21c88ad7bbd2ef0cba29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
9e2339d0e644cabd33ff3de9235fa8b2e6c10c25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
bb4dddb6df1cdf3faf81b7c9c9b5047ea59503a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
0fd3b24a936bb27c8ba70184f6271276784f0d0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
89a5a8c4424b96d3e6e13a4172a2e1c65f8a704d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
687ae5e6ceab10a9901ff50eb106a12112dec237 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
1d7e6fcd41001c690bbbde80939743667d3bccc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
7e10d59ff9a73a0370042e83f4ef881927c53d67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
5f612562db254c98b0b5fcecc8524e6c42675866 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
2153435d62ee35a9eb3bed53987e5724f325bc23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
3096dba220299a8d8c58aa0c7404cd548f36f96b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
42992aaf74e45a01eb983a63daa79885b43bb648 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
a73cd0f6de7f4dc027d67576a17e2d80e115cd38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
934bad3d815f21a8c3b63cec1392d9aea0037641 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
5ae7e41d3514812a7e4678a3306d0daf29672165 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
750e283c4b4e79c68c26caefe0aeae6d708947b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
9397a1bf97bcc63e96c0cb394cbb5775ea6c1472 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
d1b3ac223b896d9afcf82632d1103e6ee2b48342 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
731fb336eaa6d2461e5b468f85a421b3d79566f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model