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 LetDef0; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e7ddb1d8b33e14a9187414d825a12ede552a6c63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
e37379ef06e1dab27c27b9218ec4b08d896c1f60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
fd209c943060e43392cc65da244c819351b4968b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
b5af66271035b6c446557015d1ca5a32c6197aa7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
2c7fa0c60825618856879536e7e9c4ca72a82522 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
b04c75f2322e25c33f9851187c04ddd8ef73afce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
c02102ea84504482c824691d4085fce756347750 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
aee827c81f56e278aba9ef2d48b21bf22ad66358 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
5bacf4298d52d3c623024ed38e20ac5b62ba4c07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
5d7c405e21a818fd68eae0d6b95e803ac06e85c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
588a989abbf74a825b2d8bfec13d4d831042ecfd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
b2f0ca060dcc1eac266e2708a7922b00d9e3b2a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
42f153ff97bfff1b2f487d6ce281ed4db268ab65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
91e1865ffb94ef5907ba1394ac31210efc7e68dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
dc967e0993853f2d6899b36e222fff646ddb6cf2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
2a705f1aa66aabb6ccb2bcf7701d107d651f3d4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
6dce2a36632242c7c1e4cd42661633d52aa789af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
fb59cf1e390da8050cc044ca6b36a0d435930655 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
a515eaff53871e23d77b436632ba3c35ffff7553 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
4078e5f660db05b623a0b753ac177fa50047ecff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
81fadb1d06e87c7dbf0da28a1359f8831fc78779 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
ad325a323ba1b951a1a86fe7b037e856ab5cbcd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
7361993e08e800f9423e0aeb7d148435de4f7b89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
65eab580e553973853b3e6a08ae238482e226cf5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
9f702713d0ca92937b7ba7d2fa97e6e87ea108ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
bf7b8cf2470d8ae87fd24484aedf7137aea91c32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
b0f6e340bebcbe08bb70c83d10d351f8ff0d4b42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
51f8c1bb933419c7e867d5daae0fcbb6bce72fb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
e30867606e118d748780199f237475a4956007f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
3501fc29522e3635f4789f741fb980c46ae362f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
067beab1b8c01fc3dd08b0fd0bd713546174c97a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
9f62392814aeacfa725f7d30a00847df97e8ce6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
10b9bb71a0019645b50480faabaa8f9ffe239058 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
3b2110c584b0233621a46f3999692a09a949c331 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
38f5162d94b59b3f3e98e60092eca4225bc8799f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
0a85fb3bcce583566d4a48766316034938c308f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
0a35a7b96fa6c9ad6d7fdf2dc184c2187952e29e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
ac4440822c87e77c031745749d046b9afed83bb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
86dcda346c7de313c83e4d2bdcf7994e72c468e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
a059cd87d07a247f04e464fa3818584ffe2f92e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
d2b09eddb8dcd66a223123bce1f2b6ae04fae530 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
889566f9d665a53e59d090b6fec281ae84bd36ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
c9f5bdc126d7cf09345001c19c763a6d4fe49d0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
f2a4664217936b5a18b5323db50b24d70f355a36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
26a4d0062303ec996b89499a2123a25c6738c7d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
0583888c55f96037e684b43e90ea00b7599837dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
e814ee30cbe23f64f4cdb103d64ee9f9a8c1e738 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
52dcd8833c0217caa1cf931963b78746769f139e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
8cbf8fe9ff73656375822cde51d6d8fc0b07ac84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
e9d56a718349ff91fdbac71c384646b37f746307 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
61b6e416610f9846dc3a6ca84d165a7061be72a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
b1572004e89bf780a9e042ab67d9ceed3b7fa2d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
f38ca649eb8fd838bf99043cea92cf37aa987245 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
061ea87651bcb48c5d7dca089639bef8fafd738e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
92507630182f70c724914b0fe9e8aa79c521b4f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
5eaa1c3062a06cb359ec4a9a9ae7c05bc18392d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
f9f66386e415e97c6ab6c19a4204c08046185448 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
94919632e2af792e9b4790079d2bd48f93a5aa4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
6826b56158f3384903ee39a882df857a556b8856 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
4ffebc37954994879e1ced758e64e80701984fc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
d29190c5d5440bff0696a281a2123db770d0ac48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
c2025993794148eaee84f67585d5929963f97646 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
ea2484cc94f5bbe4e8a0db663ae2686577319dbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
2dcb12475c0ab9ed7183af19cf188de5bf71f9d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
69a60ada7223f111f2094bb02d7872c507023453 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
2fdbba77d5edb21e1bf64390eb4e0d6e8fe10483 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
e309539446f253e57bf5ffacef9de8f2036ff1ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
286f941f2907517420b65e98157d518474f7c553 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
377c3bdd4568bc9332aa34fac60a9f583e7030e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
87ab998a7149421ded66148d16903d8dcd1719be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
35292051fac2eace4a95f9725e86060bf0a8c42f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
86d61331126f8b71aedda15df9bdfb90ce83669f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
508b8f8bcaab5186364701e278fe9256893e7518 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
7060966c6579ccaa7a1bee6369d740e27a997051 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
eb09b89513329cae1d435c1981dc030b74851640 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
64a8454abce7e03e25898a2b04d49f3e5db07ad0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
5a5ed7fdd23f805e8006d60467c90a630e5db77c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
e61ba2608ebfb5260c05ab7359a7a8f813bee650 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
e155add72d6690c292d24e652bc919c51f5af107 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
db72fc52e4a04fb31aa397d2a7238ec9f0084fef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
2523c3b9f95aeec58c2018572b8ab4e26d5eed77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
4e04388c5d6e0218df216280f84ca8643fc5bc97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
0e6498c2378716c298bf9e9ab66575a70d55ad25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
a56006b96bdc6e4267e3de1b7763237d35a94c1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
df79e075ae6bbe00003acbf9d26d269560d28686 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
98077c79ba5937efdbeb51a2f107a83923bfbf50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
c0c69fe0bd0506bae55766f2e67dbda03ccee1ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
d965986ac9dd04ea226ca84b12506ac6f697d680 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
9a5943401ad2aa347711aee9d273feab74539cd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
5a9b40a46e5b6442e1c2a065ded27666ea526b43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
28ad3ae676e2abfc866deb6e1b85850b1952b2f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
8f05c24ab735044205c5aa8bed62b774814604e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
1b83dbe0f70d989618fbd7e533aaafab93bde9c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
434f75baee139dec0c82d8225e00b483a867e0e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
4393238ca31bc8b71568c3cd2e87a21a23aa6000 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
3b4b554acfdd8b8c197a88d3223219026dea172c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
c4c9a465b51c78b3107c85d93d715e2cebbc2f13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
2b9ded16d386022a4f184be92e6973aae8e1fe52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
6e3b896b58bc71ca163b5049feecea097522d6cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
9a1d2667d3c179fbed9f66cf3c32f3a401f705b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
8b4ae8a2c6464d31f8eba06e8ffebf54ad0ffa8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
eafe137ae3932c877c86515b8555e85f4aebe1a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
243765baa4b00f832243d08d9d4f590273986ce7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
51660fa9ec4b5a20e300b83b1fe9799261fe4e03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
e5a98e41e736828e8fa042e29d59137949dec7d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
1247b86f9a3b74b9fdb51b02fa0287ae38604524 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
6b4c67e273efa3be8e101c704ffd62dc2a6159dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
714a51b5c30e0c778e7e6a596c54125cf6c6eecf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
bddf98f9c6efdccaf01d3efb1aa7ed6578655298 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
d4235f3afe4265acc85e3b98682637bcb42010c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
903df29f549a3d83f38614e2be0379295be71524 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
8dce0a80209f8f8110b024f4945ef979efac0206 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
591dbef257b1a885b6a28607d673f9a60791e1c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
449e70d731c5804a6722b0554968f38ee3e3d4a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
70b12ff160da7a294f70b3eea440c955606026fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
ceed1c285ddb79e2047f7b01e4ad6b1164fe4df7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
e374958e8f100c714dfa94655191c5f89d976fda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
4669a9c7924eea5a734acf43f8591226077bee8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
04a13c7e1fdf02d19cf37410ae86fd8402b3a421 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
95b7ed40e2aec0cd869a0cf7e4769b9a5393ef34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
46823d5c8429c91fa6e045b86abcaf12fd42eb57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
483cc06cd9eff400f08c264c70e58820ae729402 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
3374e33ab689da39328fe1d12e2a2dbcbc897bf6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
857abd9951a3e76552c016d294d6243342858aa5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
6d705e1846a50c95d1f6ec7096bf8af099c7ff63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
20627be43c177f24bde310a8e6f60eb35aa392ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
93a35421d53ee517d48fe435b2e42e7a60458891 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
dfce571a624793ddfe060ba8a708d0622ca89da3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
a1b9a8aa777d96c09dee799481a45671056ec408 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
d0f5e1860ae54ea193c251387a5a66367c5b237e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
a0f4a1837684f79c2558272077043fd589b48cf7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
5d49af20948e8ee4266ece330efdf061ecbc4da6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
2e6f0940b0fff2bad07a8022e1373c1403b079d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
d6b76a2fccf2dad0986f80405660f19a04f9a6da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
8c0e2ba5c7e1113afad98b832490de99c8c62ccb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
015052462b5df8c5f62d8294ce003d43fd718430 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
6f56d1137d5684a7f9b7187a1dd8116737bb8715 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
a854db00b12252c5ed946632ffc068e5de029b94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
67cbf213dbdb1dedcbc1da23d4a63d615b3727c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
7b7af3f8d89f0ae8f047793cebc40c36b38dba29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
31a6ffa0f917abe17030e6e1f939f1bdd23dc240 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
134ac83098dfe1df9157f7178e8bb24ecb96a46d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
4031f6ddb10270778b98a6df3fb640f6afd8cb9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
67bea275dfa79272f611bc697e9558639861e1af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
c9d8ccd79e9763d66a9101432f8fb8b44075cbe5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
2df4e42fff08c7aa90b6f1c42640ad4776a3d7e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
0cbdc6b3fdf93cc3f7797574384996fcb33b5b49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
be787945e79890dd4cfc0694d1a251776c744130 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
903ea432b8d0e4589a58bf6bb289cb45354c6e51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
83564729089d7a22046c9dc36a5e67a5bfbb8284 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
e7d3da74e99e511c9106110c902ee9d84b2551af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
7e7659af22540da8137d2fc15558900b7ad6ab0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
5649c7683f38d22bac070734c8a7cb352f8a3e9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
9f5902b983d3f85c2165da6b41083cb9b10e8182 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
319d55ec2a28d79729f8c1acab060f66306559d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
6f24ed4af37dac3f5d7b25e1981ccc284299126a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
d505b96c529512dd46564743b8a7e7009114318b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
71936ea362946c989cef5f807eb1bf2c00c67293 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
d8bb9b5a8ab739e5d17d6cb4535ec089adfd4aa2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
d627506281e8f3603c854e0331b4dd56b5f8c5ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
b7b63337866698c60bdb1fb04c06ef205967e237 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
f21d94ecbb2c55fc7ab362e17946dbd6481ed0a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
8b33ffd79b7f69a27b60b7aad52c6de97c616f73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
eeae1693582f142df32dac01cdea8e775dbc6ddc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
f43077b166852063fe9892b839742987098a7f04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
58666e2e55ae20aedb37b5effd2f5a330b5bdeb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
5295b433e8cf6dc12e114f599be6cad42a82c82c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
465dc574d10f3a59e7f4753e727fe4a841abc3f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
5cf69100206b2b2c64fb4bc8fe7fdf5a8f632ecc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
9f74f7bf04c4db56e1a868b0b04b31396b9e88a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
3846b649ab52bf64fd0cde9122a8cec4dc4717d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
1a0ac20d43dd61be7652f9c36ab972093748ab6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
aea2e538256fdb6fe5d5953fb3d24785b4a79940 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
7ceac3db8f11bf3563b7eac64e0d1c2a5faae433 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
bf4b9c2769d2eb946d11523ae37d1846c7ad6b58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
958f0c301aa7f0b3c274eb5b0dcfa3d2c213c7b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
e66587cdf2d7b768b9da38c1387ee6619e1f50c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
57da547fccbe0adbe5cecfe389da4c728402d530 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
55f0a3eee3643e1736a4575e58220c66c836d103 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
1c180026bba90becc5d0961f91ad06cd420dec27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
5afcfa9a95899c62419302b3f90c84215ea37edc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
dd7f3a2680eeaeab567b86443fa0e82aed87ea49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
2d259ec9ca81a629603b64038dd01653c4852f61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
9c7642b76ba5ba30208564abb475eb01258f67f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
88f98414e97152a412264b6e71b56a6e69c55481 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
0aa0bb8462ecc51aee0e6d17fd1c5d77800891e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
1ffa5d63486c06a3dba54ef898041aa509ec581c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
1299af04a209aa33cef2a8aabff73607b648ea54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
817914e2dc1727e31859940d8d90a57d1b695184 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
16c47964dbd790a95f29d028c00cd2576d65b8fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
bcb2bbed337327fd9a6ad7bf9f44c56b9697fd91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
0a5033fed74bf6ea72186a4396ca2fe451b9e5aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
1c710c139c16a6d0ad0016d831983a8895d00d9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
e2fa9c5ccc153e55174e97786b50f751f752502c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
7e1f10893cb36ee778298360603d31d67b0604ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
41898c1751aad630e9d41f152ec931d2663cb50c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
43070e92b0b4f3be8dd0257d5f458eae2f55c27d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
ff34490f3b1d336bce93c47808699f5c5e8f041b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
cf34704412958fb9ce94431bb786ba3bfe1a5c42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
883c50a1e482831809b073972aa046be5a4dae7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
752f12f91ba383b8d6ece7cead106fbc8d2838ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
cf6ec41b6f5cab0615893b6cc4401245b3665632 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
ee1ee644425628a91d3dd312bb8af68f82e43930 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
b47b3107104a0c01080aa66d36335fb082ec1fa8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
c7fb797776281ac09fe2734ac77e0138e498ebd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
404a4e9fb4ba6af2cdd0e17b9df3e29047a9ea0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
b97d4d30400d4c64e6fce6936182d8e216c67afc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
16ec5824065fa41d1d4e86223a676cafb24e51f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
902debf0cc348b8e178e3e3554bba79e41df5204 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
227778ec46ad969abbf4fb41da4e378f4788f9e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
3688a877a30ab19cb92b5729030d6a78fb952096 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
ecc653b1ef5bbb11a6bf5005196f60a2f10054ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
57effb76b8b1380ff9176b92d7a25a1f1f324789 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
2b6b39e6b904649b17dd2cd657c5c323803c39a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
e45a5ecbc1adc5cc17fdc485780be7236f03bcbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
4afeb58495406a71d1e8da94028f2f4b09bb7900 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
d884d135af6a6d1b463a8db2f7db7772ed7dca33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
d64d5bb56eb44315a12a6033e654f4ee1593d1be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
583f1d530406d79afbdcfbf671c5885c0ef5c24a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
c1fdd6fd251597568ab8e310c6bab5ef524d2d93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
abc61d78753e7949cf2a9941a4cfcb43ad9007a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
3ae4ba77c60dcb3a0307d6aa734312539f993235 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
f6f023279d5fd9c5c077f577d94b309e416a3924 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
4b81bd9cebe4cd67f6e2941a4c090a0e7b7f3ea3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
d150d9544ba2671d4cc146c91afab6bed179c618 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
421f932069c32573d41973f522ef926d7f10facc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
e87311a8d7f660253f6466516352e8dae186a52d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
97ce95e63bb908993286cf7364effd88d246dd4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
bc5f7d1754314767138acded56a479f40a8fec20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
36b864e94b5f41a62d78f0542fcf2389318ce9f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend LetDef0 False Passed
  • Model Under Test
  • Equivalent Model