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 Constant; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
f0c0d174d1ecab9cbec6211385db3f968b95b662 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Constant True Passed
  • Model Under Test
  • Equivalent Model
d526e0d6c0c7e1bfb79987aebedc59bccfec2926 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Constant False Passed
  • Model Under Test
  • Equivalent Model
d84f93aaa74b71e08001d1f2dc9c4cabdd6d93b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Constant True Passed
  • Model Under Test
  • Equivalent Model
919e183130e08d26bd9ee9ca6dc633cea9547219 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Constant False Passed
  • Model Under Test
  • Equivalent Model
35d3d90b86b68e477153d4ee5492b8c3a5167cd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Constant True Passed
  • Model Under Test
  • Equivalent Model
3ab6c51f9e92d912167184a947633287228650ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Constant False Passed
  • Model Under Test
  • Equivalent Model
d1b19c15e995a2ec1773f0907135b720d7dcc6c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Constant True Passed
  • Model Under Test
  • Equivalent Model
e4014fe47c0ae31f2425bfdb54dda49b736ecf66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Constant False Passed
  • Model Under Test
  • Equivalent Model
21b2fe9c8f82df2a65829a526e2c1ffb12c5aae6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Constant True Passed
  • Model Under Test
  • Equivalent Model
d6cfd2d8a0dc710a9ec792c763e375d7b0c59cfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Constant False Passed
  • Model Under Test
  • Equivalent Model
3a61a859222369f378a974043f6cb8409d801fdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Constant True Passed
  • Model Under Test
  • Equivalent Model
2ed2e1a7f87b778fc0654e20b486331a032a1a2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Constant False Passed
  • Model Under Test
  • Equivalent Model
77294c33ea9c4fc60f8f274e79e9f2a6880bb021 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Constant True Passed
  • Model Under Test
  • Equivalent Model
549d61a5cc378dd719940ef53b4779eaf4273856 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Constant False Passed
  • Model Under Test
  • Equivalent Model
b44747a9f3162cb373143fc5a3905a55225cf03b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Constant True Passed
  • Model Under Test
  • Equivalent Model
10c4c09749a5c7899eee3ec07cfe5a5a80822956 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Constant False Passed
  • Model Under Test
  • Equivalent Model
604e7362b760553761ff109e163232c92e75c655 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Constant True Passed
  • Model Under Test
  • Equivalent Model
7a00533332ac0aa0318018cdb56640da0624a362 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Constant False Passed
  • Model Under Test
  • Equivalent Model
86e9aaaaeee46695f5d5f2153a4787998364eeeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Constant True Passed
  • Model Under Test
  • Equivalent Model
ffbd0cb0ee90b339962cc5aaa503034ea99b12cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Constant False Passed
  • Model Under Test
  • Equivalent Model
aeea194188f939191b637c99d69cfcaea1a07850 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Constant True Passed
  • Model Under Test
  • Equivalent Model
2a3af6f30e703c6b6d1e659a332481141df5b489 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Constant False Passed
  • Model Under Test
  • Equivalent Model
bebab58d0c937f3db50879b1b4f3e912f1cd18c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Constant True Passed
  • Model Under Test
  • Equivalent Model
4cbb1f0a0c8b4abeef87505488f6d03c1fb731e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Constant False Passed
  • Model Under Test
  • Equivalent Model
bdb86337f82247cc1572858bb5b915cbb330bcc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Constant True Passed
  • Model Under Test
  • Equivalent Model
e02f31d9f9045a53a204ddc894243ff6d9c6f72c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Constant False Passed
  • Model Under Test
  • Equivalent Model
276d5c49d8b477978eb7f3cdd2dfb5dd4ce64389 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Constant True Passed
  • Model Under Test
  • Equivalent Model
7c7338bb4405e196213622460f2906c83f88da08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Constant False Passed
  • Model Under Test
  • Equivalent Model
a94d76a98455e44777ba43a22ae6870c5ef40d70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Constant True Passed
  • Model Under Test
  • Equivalent Model
8f1f761d726738e04060f2701d437d344a849ba7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Constant False Passed
  • Model Under Test
  • Equivalent Model
044fd63a65ca516050d4036dc0f669df3900c431 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Constant True Passed
  • Model Under Test
  • Equivalent Model
5a05c4742e3cc21f2ef9d273f465f534ae44de5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Constant False Passed
  • Model Under Test
  • Equivalent Model
6f826fae11931a4a2c33db6b5b2a1f786d0e164a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Constant True Passed
  • Model Under Test
  • Equivalent Model
fcdeeb291f0d2c6b9c2a246529d501a6a9aedc3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Constant False Passed
  • Model Under Test
  • Equivalent Model
56fde93079072064df3fbdac53c44d2e79b3e1b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Constant True Passed
  • Model Under Test
  • Equivalent Model
2d4ea133641345b01cfaf036df5720984f9c8af3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Constant False Passed
  • Model Under Test
  • Equivalent Model
b4e424bf12b78c4593494c6ad78b0fb4e09aa486 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Constant True Passed
  • Model Under Test
  • Equivalent Model
1c35450ca5a6b7ddd95be3b39ef779192cbfc0d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Constant False Passed
  • Model Under Test
  • Equivalent Model
2b7296c3929f59392642336c18559417ce82945e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Constant True Passed
  • Model Under Test
  • Equivalent Model
52cc3f1d4a2b9059e49552658da7fe1b95a81b32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Constant False Passed
  • Model Under Test
  • Equivalent Model
5b8722435f538987c20da63e2d4ba535f657242a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Constant True Passed
  • Model Under Test
  • Equivalent Model
55e831aff2607da007d0c044a5fc9acc25e2fca9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Constant False Passed
  • Model Under Test
  • Equivalent Model
da49dd37d9942c660d8cd1e2bcd40ab251e58fa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Constant True Passed
  • Model Under Test
  • Equivalent Model
d1491721eb6038a7a2820a9b621a55a95214b66c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Constant False Passed
  • Model Under Test
  • Equivalent Model
b2a0df66894eb62163c6e21ddbcf9d4f91b32e9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Constant True Passed
  • Model Under Test
  • Equivalent Model
8c74d963527c3cd0d3a10c3ddb9bd3490e9f655b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Constant False Passed
  • Model Under Test
  • Equivalent Model
c203d8540c53d699af3b68a013d1ec4d02d4b775 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Constant True Passed
  • Model Under Test
  • Equivalent Model
c21907dbc5c6151f7bd875e685f46e29ea2468f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Constant False Passed
  • Model Under Test
  • Equivalent Model
8efdfcd80807d90c0dda9f0e897f669cf9437c10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Constant True Passed
  • Model Under Test
  • Equivalent Model
c82f941218b3882f4e6d0813c417048441cd0a99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Constant False Passed
  • Model Under Test
  • Equivalent Model
eb9f53813b07d935cdba308ed78534845b78d605 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Constant True Passed
  • Model Under Test
  • Equivalent Model
08efb9864f70b24f4637eb03795436d956cae3ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Constant False Passed
  • Model Under Test
  • Equivalent Model
ef8e3061d6e71e0e769a19aef5c31f2c622d1d62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Constant True Passed
  • Model Under Test
  • Equivalent Model
a72980ad9580769b44a31ced39682e0b6effe411 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Constant False Passed
  • Model Under Test
  • Equivalent Model
faea3b24a1c7aaa87fa0a27534e2525781789c2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Constant True Passed
  • Model Under Test
  • Equivalent Model
2427496c51c7a98d6c6b5004de3eaf5725c8cee1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Constant False Passed
  • Model Under Test
  • Equivalent Model
c9db6fbd0d29364a484c8f1f127d6fede3e91498 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple Constant True Passed
  • Model Under Test
  • Equivalent Model
3d274ba5a1b5ff48d5b144c8438661b5635ca42d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple Constant False Passed
  • Model Under Test
  • Equivalent Model
79ecf68827574d73b10b6807676ab5dea83af6e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Constant True Passed
  • Model Under Test
  • Equivalent Model
ca9ccca1eb32713452efe7ee7c67993b3eaadcd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Constant False Passed
  • Model Under Test
  • Equivalent Model
4ede55fbd5fe7a11eb196acc2927e854abd6d411 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Constant True Passed
  • Model Under Test
  • Equivalent Model
35c6236fd80fd66ad211842ded218c5920dc85aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Constant False Passed
  • Model Under Test
  • Equivalent Model
75f28f97f445395890b523f12aaa03ec6f113327 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Constant True Passed
  • Model Under Test
  • Equivalent Model
7ca971b403623c0677948b3e96bf3d8cd7c79cf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Constant False Passed
  • Model Under Test
  • Equivalent Model
85a2306ef4725b6e0d4d85dce546080a4b617cc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Constant True Passed
  • Model Under Test
  • Equivalent Model
00ac934e388b1e9c4a1fd8d708412106b65c95ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Constant False Passed
  • Model Under Test
  • Equivalent Model
b30bb3e7d1e6f356d7ba53f667c1950e55064462 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Constant True Passed
  • Model Under Test
  • Equivalent Model
beaa693640d02d2a711ed301815ce605472d9f04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Constant False Passed
  • Model Under Test
  • Equivalent Model
b1108d8c0a9f9a3c9e41b50e560d39bdd04227d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Constant True Passed
  • Model Under Test
  • Equivalent Model
af0c10180b666b9499b1b0ffdd554c56e7e5ebc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Constant False Passed
  • Model Under Test
  • Equivalent Model
ad378a2b13ac004ac9ecb26fed4228d39e50fa45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Constant True Passed
  • Model Under Test
  • Equivalent Model
e7cf588b5a03c2b3f927c77435615fdd1bf02eaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Constant False Passed
  • Model Under Test
  • Equivalent Model
58483db6cf4ae9e0fc7fddc0ace7527ff757547a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Constant True Passed
  • Model Under Test
  • Equivalent Model
14b282160f9def61e9cc622e8ac2f3c7106e0186 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Constant False Passed
  • Model Under Test
  • Equivalent Model
1725a5d9efc117387a4939679a4347c9c8ccc9d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt Constant True Passed
  • Model Under Test
  • Equivalent Model
03686bb719cb2e00c5b40a9e62d3b784963d96b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt Constant False Passed
  • Model Under Test
  • Equivalent Model
c1877ba1b53ed5c44d8ccdec2dadb9f373b39035 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Constant True Passed
  • Model Under Test
  • Equivalent Model
7b3bedcde19c38c771752319f69fc2d79c37fa6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Constant False Passed
  • Model Under Test
  • Equivalent Model
98b0e0b05433e83e517c2d20cdde14adfdc9b1c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Constant True Passed
  • Model Under Test
  • Equivalent Model
b0a487ae1b7071ab7e08848c1814fb0017348098 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Constant False Passed
  • Model Under Test
  • Equivalent Model
2b50df9cb4cac98340ec34b24033bd63d25594bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Constant True Passed
  • Model Under Test
  • Equivalent Model
fbce81b2c1209e91bcaccb4e7abfa6cfd0da4ca1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Constant False Passed
  • Model Under Test
  • Equivalent Model
071545b2bcc048b2bbaa8522b3b46fd9b940d53f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Constant True Passed
  • Model Under Test
  • Equivalent Model
3585ebbe8760a6906dcc23e9975c808e86aa8e5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Constant False Passed
  • Model Under Test
  • Equivalent Model
d630bc3282727969c9fa4d966a99a1b5d4c2fe8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Constant True Passed
  • Model Under Test
  • Equivalent Model
83e5307618f0e7bef96d2f02f8fa6e2e6f277ddc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Constant False Passed
  • Model Under Test
  • Equivalent Model
4b1963953ac9050ec1d3e44ee644ddb5f9f9b2e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Constant True Passed
  • Model Under Test
  • Equivalent Model
374dfcb7fe7862002b2931e6b4831859675ec43b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Constant False Passed
  • Model Under Test
  • Equivalent Model
bcd6640e11d0930c5025f9a0d831e33092e547fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Constant True Passed
  • Model Under Test
  • Equivalent Model
38b5d91923538c143507031c7886e940b92abe32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Constant False Passed
  • Model Under Test
  • Equivalent Model
4b82bbe2e47c7a7f9181648240ab3a706684f631 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Constant True Passed
  • Model Under Test
  • Equivalent Model
3500b77af56b88fa7be1afec9523a6a8e4e18efe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Constant False Passed
  • Model Under Test
  • Equivalent Model
92ce168e763594ff0edf7cfbccb6d746bf5bcd77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Constant True Passed
  • Model Under Test
  • Equivalent Model
3208517685ddb5a7bf9b4cfefd97adc4ad2b44d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Constant False Passed
  • Model Under Test
  • Equivalent Model
92b839948cc3753a0dc6b4bdded867ae7fd47b95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Constant True Passed
  • Model Under Test
  • Equivalent Model
ea39ec45d4e6b7897f490c96ea42054427bc249c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Constant False Passed
  • Model Under Test
  • Equivalent Model
7d7620dc9c733d4a6ab1b379d8971e2201f51732 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Constant True Passed
  • Model Under Test
  • Equivalent Model
0d0c727661a2f110c87a4a7f4e07f94c828e4799 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Constant False Passed
  • Model Under Test
  • Equivalent Model
d9806ec579af6677dcda485ddb908641ff47aac2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Constant True Passed
  • Model Under Test
  • Equivalent Model
fb3bf5f2e290c5733f4080647a89c1fe7e20c608 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Constant False Passed
  • Model Under Test
  • Equivalent Model
83af1a2c6c3cdb0f9e14ee9f481f1a62330be186 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Constant True Passed
  • Model Under Test
  • Equivalent Model
796eb0b4b9a3d2234c94577503a5b58f1873f953 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Constant False Passed
  • Model Under Test
  • Equivalent Model
6c4792fced6c736a6ba4ebc02eb9d74ca5f28d0a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Constant True Passed
  • Model Under Test
  • Equivalent Model
f2c003888e27f0823ef8d36b60aa40415ebce0f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Constant False Passed
  • Model Under Test
  • Equivalent Model
0ae7518670c2c82c27cfc15de496c108bd3a8e31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Constant True Passed
  • Model Under Test
  • Equivalent Model
46af77ffb13885a34d84d91a41fd9339344c6a41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Constant False Passed
  • Model Under Test
  • Equivalent Model
35fafc58128d654c9833ed026d5905c4cc69fcfb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Constant True Passed
  • Model Under Test
  • Equivalent Model
a879c8c1c0341c6f7cd60efa392233eb7bdca0af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Constant False Passed
  • Model Under Test
  • Equivalent Model
215c3f60c925e93babcb540b31a7d166ae683a7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Constant True Passed
  • Model Under Test
  • Equivalent Model
71022128a76648278ba2954bc042ddf42d7569fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Constant False Passed
  • Model Under Test
  • Equivalent Model
d4fa68d79378492e0cd1bf989e30b9d5e75fff26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Constant True Passed
  • Model Under Test
  • Equivalent Model
03c117556e94c1cd39292acfdd1c2fea6b259040 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Constant False Passed
  • Model Under Test
  • Equivalent Model
69564987e335d498bcc0537067be83497d73b35e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Constant True Passed
  • Model Under Test
  • Equivalent Model
f837b94893e1f835cff6a98ab11e34093ed7d88f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Constant False Passed
  • Model Under Test
  • Equivalent Model
d2eac1394697aa8c5338da8e7f1f418341afe8d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Constant True Passed
  • Model Under Test
  • Equivalent Model
632829d60fb2916d651f118755c56326281a45c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Constant False Passed
  • Model Under Test
  • Equivalent Model
857912b899bd1dd27fbeeb6812e492450b275bb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Constant True Passed
  • Model Under Test
  • Equivalent Model
fbbe7273cd787069e89b7473cfdae72c36db36dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Constant False Passed
  • Model Under Test
  • Equivalent Model
aa178543d6783afc17d320cab1a6daaad29529ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Constant True Passed
  • Model Under Test
  • Equivalent Model
4a5418dbb07e1cb475407aa1ffef2371feefc399 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Constant False Passed
  • Model Under Test
  • Equivalent Model
7cf503be7c95a1f5ab9a5a08219c7fe81ca50beb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Constant True Passed
  • Model Under Test
  • Equivalent Model
9b156197ee00927be5140aba2222ce241cde982c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Constant False Passed
  • Model Under Test
  • Equivalent Model
84a1d425cb3a88657fb4d0080522547c25d0dfef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Constant True Passed
  • Model Under Test
  • Equivalent Model
94ac9590fc568c528e8848a4a670bef44cc0db33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Constant False Passed
  • Model Under Test
  • Equivalent Model
a618f64fc965662698b8c49612ca23ea80d13980 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Constant True Passed
  • Model Under Test
  • Equivalent Model
51f9d3b363552777b9a41278e31289f29de04d00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Constant False Passed
  • Model Under Test
  • Equivalent Model
86d8d54370f08555285f58d6f4a83a718f2af2e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Constant True Passed
  • Model Under Test
  • Equivalent Model
19e292ddb8fa232b2550e3a7f3b20335ca0eaa5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Constant False Passed
  • Model Under Test
  • Equivalent Model
a7f56511361117ffaab2e7fb8d1411b913cc3bbc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Constant True Passed
  • Model Under Test
  • Equivalent Model
f8b6bb94c5a454d887d615b10178cd95deb3c4dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Constant False Passed
  • Model Under Test
  • Equivalent Model
899917793ac5f28782ee756938fed96819c9384e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Constant True Passed
  • Model Under Test
  • Equivalent Model
237db80d9b12ad5cc1da6a934e80288ed1b5d5fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Constant False Passed
  • Model Under Test
  • Equivalent Model
6ffbef0752715e6d53159a3f6ba303da2080fc67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Constant True Passed
  • Model Under Test
  • Equivalent Model
9a187ebac873764bc359d33a3358a9198fdb59aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Constant False Passed
  • Model Under Test
  • Equivalent Model
f29fd2cce647537ebdf8772ba3a8fc379c933103 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Constant True Passed
  • Model Under Test
  • Equivalent Model
264a574dde93faf3f45be75cfaef6e850be4f685 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Constant False Passed
  • Model Under Test
  • Equivalent Model
6fcb979350f4b99b3acf071b15b5917d116d2162 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Constant True Passed
  • Model Under Test
  • Equivalent Model
499d00fd6acf6512e1cb03d97ed8fac6d5cfb47b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Constant False Passed
  • Model Under Test
  • Equivalent Model
00f177c1d3fed3ce8cfa89c644cb6c25fefd33df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Constant True Passed
  • Model Under Test
  • Equivalent Model
056787e0aaa93acdd06e902c3b0b14b3a500c41d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Constant False Passed
  • Model Under Test
  • Equivalent Model
e11de026e1f89ab1be591075b1c309e1ea8305ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Constant True Passed
  • Model Under Test
  • Equivalent Model
2f9b02f2c9d7f5e507b7af6f9eb1ec4bc61909ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Constant False Passed
  • Model Under Test
  • Equivalent Model
44e3da3fbeb7b8e5a11bb44b5a357483f5eb7cbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Constant True Passed
  • Model Under Test
  • Equivalent Model
2e3db0b6a010e5bab611ce14b1977b21c9a7cc69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Constant False Passed
  • Model Under Test
  • Equivalent Model
2c52aaef30000489680b675a60ca26dad47737a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Constant True Passed
  • Model Under Test
  • Equivalent Model
68a956f3a9a045d4b331c8cc2aab0fd6e3108c7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Constant False Passed
  • Model Under Test
  • Equivalent Model
80b812b1958b776bde9a0a2efa7c1283eaf3351d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Constant True Passed
  • Model Under Test
  • Equivalent Model
293ac1a1be7196bfb74381bee31aab7c0f91f1fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Constant False Passed
  • Model Under Test
  • Equivalent Model
411a5ca416bbf552dbb7837503f3f286f484eb7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Constant True Passed
  • Model Under Test
  • Equivalent Model
c4745df8daf43549797c53299cb1f33806fa0f1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Constant False Passed
  • Model Under Test
  • Equivalent Model
e6ded5a7e5b143ac94ba0f7ba44cbce1a4ab4fde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Constant True Passed
  • Model Under Test
  • Equivalent Model
e5933f50807a38ac2f034a8b95a7577853892284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Constant False Passed
  • Model Under Test
  • Equivalent Model
4a713257b4c3f91d4b21c1c5ce46eee647c5d5fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Constant True Passed
  • Model Under Test
  • Equivalent Model
aa1a2dd8bfe9beb96ab4b520e8d51652f0ff3479 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Constant False Passed
  • Model Under Test
  • Equivalent Model
3b296f65cbe441c86b130571ea3e2cb1d0231f19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Constant True Passed
  • Model Under Test
  • Equivalent Model
610ade41f0e4a3a597e2a2c59eae65af68c3f294 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Constant False Passed
  • Model Under Test
  • Equivalent Model
981447cf31018cab82a95ae0338e5f6bad2ac0cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Constant True Passed
  • Model Under Test
  • Equivalent Model
52ff7c192f2b75ee6f27b21fb271ceb2e468bb31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Constant False Passed
  • Model Under Test
  • Equivalent Model
b670b32b785107c2a915adfecc91928b4ec08b90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Constant True Passed
  • Model Under Test
  • Equivalent Model
3b55335198be31ab5f9c4d2b53818b263be60340 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Constant False Passed
  • Model Under Test
  • Equivalent Model
8229a435e2b2c9146f4a0b38678ab18285908e2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Constant True Passed
  • Model Under Test
  • Equivalent Model
90c40b243b337914aeaa51db20d84f9cf37aec9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Constant False Passed
  • Model Under Test
  • Equivalent Model
2cf7e5d185eda74c5ebca68a00d32129f7dacb2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Constant True Passed
  • Model Under Test
  • Equivalent Model
4926934c7202cab7c148ecef8bfe63ad37895b21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Constant False Passed
  • Model Under Test
  • Equivalent Model
f1613f12c90c42e7a78b0cfb1f97ef252eee131e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Constant True Passed
  • Model Under Test
  • Equivalent Model
29954bc93ea37c4f1fe299543d14fd565180cdca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Constant False Passed
  • Model Under Test
  • Equivalent Model
3651db6b37689425cf37d98f64ecabcc6b748517 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Constant True Passed
  • Model Under Test
  • Equivalent Model
1bb70228218083045efbd813c04e58e2bc166af2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Constant False Passed
  • Model Under Test
  • Equivalent Model
6c14bd8801d6cdaa9637e7a2567484955832cc47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Constant True Passed
  • Model Under Test
  • Equivalent Model
c2133d0b12615325eb3f743febc67cc028bbf14c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Constant False Passed
  • Model Under Test
  • Equivalent Model
bc47bf1631279ef02552f325669696fd5ea1dd74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Constant True Passed
  • Model Under Test
  • Equivalent Model
2da272bab8947b49b81462abe59f5e3b5215263f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Constant False Passed
  • Model Under Test
  • Equivalent Model
71e334d0571eb7deacaeafdf16c610c298ce6c22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Constant True Passed
  • Model Under Test
  • Equivalent Model
97e29240a9a939c90e0008369194300b3358dc8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Constant False Passed
  • Model Under Test
  • Equivalent Model
f6ade84ea41a2d444fa1aa27b6060ad2d2bf73bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Constant True Passed
  • Model Under Test
  • Equivalent Model
59bcad759e3968e63eb2606717f6cd772daec17a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Constant False Passed
  • Model Under Test
  • Equivalent Model
75600c0d0ec52168af61c54ad11f1cd192164dbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Constant True Passed
  • Model Under Test
  • Equivalent Model
a0957ca3662c8f131451f26019b8ae473c130cdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Constant False Passed
  • Model Under Test
  • Equivalent Model
cbed39b2b8ccdec1cb08431cf556ec071dbc7440 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Constant True Passed
  • Model Under Test
  • Equivalent Model
2450318aee7e7832a8d5f609d4d372219a852774 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Constant False Passed
  • Model Under Test
  • Equivalent Model
d005a2004f2d29c6d4f964be4e6cb2573184d523 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Constant True Passed
  • Model Under Test
  • Equivalent Model
c08239688f779a69a501c174284bfb44d6f40165 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Constant False Passed
  • Model Under Test
  • Equivalent Model
d91e38d26b1d360cce3406e5a9696dbd3e5e822d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Constant True Passed
  • Model Under Test
  • Equivalent Model
c9eccfa099025137ae1e9e8426509b01a0c757d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Constant False Passed
  • Model Under Test
  • Equivalent Model
0b4421ecd87a3289b4912264bb409e46ec8a9ba1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Constant True Passed
  • Model Under Test
  • Equivalent Model
5ae14bfcc81fde2216c4426c4be617335d7bbeab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Constant False Passed
  • Model Under Test
  • Equivalent Model
844032179d95e7c0d2d813aa60982e820fa96d37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Constant True Passed
  • Model Under Test
  • Equivalent Model
c116012e0f9829ae21ebefbb61b1c3343f0cd000 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Constant False Passed
  • Model Under Test
  • Equivalent Model
6c142068ffd581de0530f0b457057630bcfdff89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Constant True Passed
  • Model Under Test
  • Equivalent Model
6aa371daa87fac2e06b53a4b0ed8cd4fc63bc818 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Constant False Passed
  • Model Under Test
  • Equivalent Model
d899b39c3efb05dae1efe3068abeb47c427d0153 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Constant True Passed
  • Model Under Test
  • Equivalent Model
637648d3c8cb0270234214cc9b50f339b2e26234 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Constant False Passed
  • Model Under Test
  • Equivalent Model
7ae87077af41f50e8fea502593966c4e119a7c53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Constant True Passed
  • Model Under Test
  • Equivalent Model
27f05a70bc8a37ab6beacd805c9f115e1fcb0896 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Constant False Passed
  • Model Under Test
  • Equivalent Model
2c280a292f3bcc7519b6c53ad32e7e0b6bf57e43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Constant True Passed
  • Model Under Test
  • Equivalent Model
e680a0241ee1ab5a752ef868720dfecd556d9ae0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Constant False Passed
  • Model Under Test
  • Equivalent Model
2f6a4b58a36df45872595cfae4837f39b3711eac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Constant True Passed
  • Model Under Test
  • Equivalent Model
60e9b7ceb348107cf2ea7590c7f8761f9a6be718 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Constant False Passed
  • Model Under Test
  • Equivalent Model
73f6975dd2891b146983c1f40dee6a691c19f171 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Constant True Passed
  • Model Under Test
  • Equivalent Model
3cdca338c164dd55fdf47292372186d7fc1f36f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Constant False Passed
  • Model Under Test
  • Equivalent Model
594d1db8a90cfeb350e447ba0c439e2ae3a86eb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Constant True Passed
  • Model Under Test
  • Equivalent Model
326a5a5b6c5c90e18d5613523720e393aa2cc2e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Constant False Passed
  • Model Under Test
  • Equivalent Model
854d8beda16f873709b9dfef0a56e76ebda06620 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Constant True Passed
  • Model Under Test
  • Equivalent Model
badfaf3ae1ecafa9f6386c350477f254446fb8c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Constant False Passed
  • Model Under Test
  • Equivalent Model
c5887d84d9f0a25c3c4d1d3dc0aaabafa3e54923 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Constant True Passed
  • Model Under Test
  • Equivalent Model
9d20099de7d86c4d32085c769f853d6439da515c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Constant False Passed
  • Model Under Test
  • Equivalent Model
01e9d82387d941a24dfadc46858b2dbb6c5b751f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Constant True Passed
  • Model Under Test
  • Equivalent Model
3dd9862669bf69bac4ebe43e3ce1eec73e47a183 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Constant False Passed
  • Model Under Test
  • Equivalent Model
109469cb39b0a95a85b32797fd343a576c2868dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Constant True Passed
  • Model Under Test
  • Equivalent Model
b4713d07152882bbf952bc10d43bc06c41c2e988 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Constant False Passed
  • Model Under Test
  • Equivalent Model
80142be720e685b90a9ce86f6435316fd53f945a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Constant True Passed
  • Model Under Test
  • Equivalent Model
40cff286f0eb1307d7139893078db38f63db3cf9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Constant False Passed
  • Model Under Test
  • Equivalent Model
89a79dc170cda5218cb00ce72a75baaa3eb199ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Constant True Passed
  • Model Under Test
  • Equivalent Model
d51ab9f9dbcbdab364217b4bbc457b84e6764f02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Constant False Passed
  • Model Under Test
  • Equivalent Model
5d1000f87e7c44b4bff76dae04bc47aa5f47f757 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Constant True Passed
  • Model Under Test
  • Equivalent Model
276ab149c17c9aba05b61fcddb03f57171cba4b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Constant False Passed
  • Model Under Test
  • Equivalent Model
3cbf8a3fc21abccc6a81abf358310d0334ed1398 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Constant True Passed
  • Model Under Test
  • Equivalent Model
3c444bee6a3b6a7cb40fc8aff22f7c408bbb01c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Constant False Passed
  • Model Under Test
  • Equivalent Model
7f19625f54943c2dda439ea0ca7a5419cd6958fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Constant True Passed
  • Model Under Test
  • Equivalent Model
bccd61df71003f25dfca02298e197a090c1a2858 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Constant False Passed
  • Model Under Test
  • Equivalent Model
1ae3f39aa8423fe5450a4f556794f8bd0c45ffc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Constant True Passed
  • Model Under Test
  • Equivalent Model
076f78df1b18484e52f08ca4dcc3dfafc3209001 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Constant False Passed
  • Model Under Test
  • Equivalent Model