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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
105729b19b9ca871368403e2841e5c2717f60d07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
99e3a3d58459ce1cebe5c7f8c228c35a35984fcc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
07843aa7e98dcbb2a446ba1114f97b14d569c862 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
72100e57aacb3fc3aa6c6a05a6ff11d0ea35f7b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
c39cc21faaf5599cd9e98c94f81286e87fe5ed7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
d335d878d1bd4668954cc1d1d299e6c48bf2e612 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
3594edd6eea607b69ec59d8db5b8444545f56d44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
fa0b5b33e2a96c18f41377b8ec7105ab571c8ab1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
8f2d4b95d8f0c33172429fb3ec39afb30722c3c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
f3eb0e82b0e88a5eb4057f2b74df518fd4c5bdb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
e319a1c65e8678569ebb9cc44b588fb6487d8f86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
44d5f3f811260bd55b13dc22f772781fa3216c7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
d391f658addab8165cab3de816aa3b445fc7f339 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
64385a10c0f85c8b7e2e2b4603e984537a309844 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
ba6988f05f2559023d8725fa33d7aca68e911bd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
4d683929f74dd872c441be77ee8983190d2f4df9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
a6bf62a1094308fdc65e1aeb916fdd1cd4077d11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
f9bbebe2812a33986ab736d84c0443a279e20b87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
89c0f0eb4f62d36b9b33f8b2cc55ae03c9dc3f87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
96c9a42734a6f4cbd6dc0ed8b81aac2c56ead492 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
9c25b829e8cdeb2ef8b142008aff2b4b898d4118 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
9ba5272f31cb39733b8804c624d6b50026adea4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
2bc7984f04d6c16d5e77a24ce7faac224b55926c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
3f70da35ed8b707fe5144a4e9b6bde1428a543e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
f8c347352675a575aff1aee37799c4c814b6aa65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
b000f78701434f179ce16c10df108fce866dff52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
b6e5a731fcb46c409652a8bf63170918686b0424 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
c932cdcb855ed4b71d4c07a7e8273a48a0fa7f98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
ef340a7e50754ba08e177b924e679fec5ffc1d29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
373e99da4da36722a37d2f1c89180f372cfd0d7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
5b70adfa3837abda9a95865a495f2ca2fbfab930 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
6e8cd7cab1ffd583b2ddc725a5964feea859e87f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
96752732cbc6a99cded8ef67b75b9d1a6381d9e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
8cc04f7c85d5d63cd0fab54eeb516018a33b2db1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
416b0e9a8b310e0239e1eeb1207bcee6883cc4aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
4109b62b8d4a7535d0071a7eed5e892da3377f85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
f64a6a7e507f2f830ec6c775690dd1aab52f42d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
61db0936e4cff1fb67b314368f09c394977d88c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
e8551e29395f4cddc280a79c1dbde032fd660149 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
165921d07e20bb505b0d12a8ffec26fea3ade589 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
db28e695f66a3526459174159b66c52f81ed7edc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
c030726347bb21fb0e8eb31a48aa9c44aafead17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
1d478a1e6c10fb5444dc6fd1cbe129a970e274b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
c73407533682517d0cf4d0c1c542f715a2dd7af6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
8d4110c668f580be7e71571e75916934a443034f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
3973f5fe26f275fc7f6dc7c0b1dd3fe30acbd6c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
c3321c615922a1d9fc76feb1c85e4d49d21dc2c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
6126a8d2af7ffdf541838c3728d3514694c576d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
378aec466edcb0e698a6d960168036586eafa3fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
a921d1c3a2cc6b0144c1b7013b6db0793a8653d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
98dabce5d80e61a7b472bb17ce0c3aacd8dfe47c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
4367529891e73c484e1b29bc650788a81216560d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
c5c293ba34e8be327deab5e405c6de102f608eb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
439dfd195fd7f46232e370ef2561352e0620006f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
481e32dfd57541c1d7082d0097363f46c2d5cdea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
cfdcd827dde2e07012e8a898e92ad69b2b8c902a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
713f434847e9d0afacde2662401a018a9150ff87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
203c846e28cef7b57d3ae4e6d75e9f2f200a2c4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
716066792cc15625e6141aa2f7cd0546889d3729 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
25953203a663b3bf1b74fa0b5dc57e6da9de9db7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
84302beb120cdbacd0e3e1ec1f866a41e2c22559 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
25c26d58876a9cd0c8db8c37830450af1c3f6ad5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
d87b89c607300f5d6ab726420da0826d6df0f820 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
b7ac5cf515684e744b84ed25ce1cd5c5088e2bcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
8baaa28bde98bee3e4b0581ac15828d5e068f436 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
845adda3f492ff6cc35ed6ef8b1c99279012b052 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
4899a5eb0e9a1253189208779afb729c22654c44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
14d8877d7fb7d1ab7861d0b92172725b7188ca13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
9f13eb8addaeb9ce122605f19a4233a36a7c4a3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
d3fa7f548fc339608a882b631fb95d0d7e0d71a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
2ac557ec8f26fc19ff98ebacf1a61540b130719f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
32f7069304f2b9f93874c1fba5af39a11fd90774 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
93f1e8048b8ed64fb8f8465dd71b205df19d05da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
b85a88311c32075622a290742d35145704697831 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
9639ff9af9b019a8f962268f32cc8a20e2be5205 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
e4ce420e4b15fb5bf6f0520ff882b41cf899553f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
1d8fbd4f67d0fc287478808b24c8a82acb84e96e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
9380a5873e4cfbe58f337fca4ce8b14a437ff2b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
cc55200d775e1ab86747da9ef9b558c0e0eb2c0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
5b047e6a7697086daef725f8f253be0e7b64c47d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
b91784cf4ccb7cbb22b9db2b45184074329fa3c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
ea4ddba86a3e4dd83b0e7813fc7dfc0e4af9ff76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
75742a4f81ddaf589c486d73b43c95b255257bf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
86485eb35d7589ce3d104d6251fbdb9cf2e4e121 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
35534a9c40c80f508e0c6bca381bea8a13b04f17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
0d308a650d48c438856abcfa97567e80754c24e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
7c7fd73b5e661de3de09d592f375ca3578544898 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
d1eafa2006a691bf158fb2e5784e0a4e624e98fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
9c7b6e656cc1314e41c2185e0bc6a4ca12a3563d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
5665e933387e2fdf07833a2e0984c3ddaed02a4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
6ea73cfa00b20c9ff53dda4a9ce2928f2356752b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
27e18e92d8e09dcb723cc4de98cffebb8eebbc0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
129e63dbcdbe6936c2e2b2e4f1ace5538ec5fbe8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
1b567336be6f0b89bc96883f6c13e8ab4a3c61ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
99916aebd7038c9913ebb43d054c3a3627c59731 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
21f19319b73587180bc4ba9cb94f06e8ebf60c21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
b95fedc9cc0ba4cfa132f510e3295939299ad031 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
ef53cfd65b65c9d3188a572fe6acf546afd74cf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
d0ddc15061303b0293c9627659b426642cf1022b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
a0538e7eb3eecf7d7011767873fe9c5fe972702b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
b3a5f2375eaba241ef638bc50a060b1ab48ace6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
be96eacd77d2208febdd3a39c7f97e372ed370b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
65049d726769f08ebaad260ecbbf020fd58e2b5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
88f2f3da6caba417d609b62ccb06d72b25fbec84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
b55ce02f56a437f73fb994f8bd70dd999361f4e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
2566ae09bfc86db9ac10bfbd42874a14de0e687e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
0acaec4e1ec0aea055237c2041c75b9d6a4846bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
db975ff370ebf8a9e33505f51d5ef78fcf5c8fb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
315dd5d5e827fda2b686d51e8553095e731fcf6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
dc3804585a9cab890584737ad687b361bd015079 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
64607346f4e1df5ab40fcf29844504246ad352f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
9e7be2633426d44c36f9eff196f0516c87f195f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
451a427128fd45273c66f1c4cdccec474ea1535a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
8338767c8b9416f9d3832a8aa984a3d09aaa69ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
79702e85847cab0263b4bdd82a05453c30d05cb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
489e9683da6875a745a25c7731abd88e659b5521 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
8613e36f555e3d48e6da47a6e4b00007aea75b87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
46aebe0fcde36003cdd9474baeab98f4aaaa5a57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
64e1dcd47951d3d6ea16e0b263f8324825afb14c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
0d2a123330678b65cd794351929ec9495ecfc3fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
2aa420505f09c7f4235197d2071abbea8aba56b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
130aefb197496e2aed0cc46622a84e0d9871cd5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
d50af9ede6061d7f2c314898cf1f070ad90b22a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
03adabd7de2edef79dd9541291c2fa103a7223b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
6ceff9ac7a307fed6de2113082b27c7da6645e52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
871ceb6f86e1ddacaaaec4749f650a064a9133f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
e53139864566f46802f313dd5b49f91f670352a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
1e81042b6339fbea5c5e83af6d047c00491bad83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
8a268638ebd4ef28c542f8e013736b62bc9a87d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
72b8388d101725ab38a84254e8735838187a3395 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
03b749ef5760371409aff61af6b3aa52ebcbad77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
be7e16eee98797afd45dfff2387fab9d5148385a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
8e6320190c161707d5a0d22d7d89194592bf0a4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
9e366ae9565b367ba35ab3d87ca3ddfd6a35af7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
ef425dbafe5fcaae26543208ae2deb1fd01e5426 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
a65f5cf5201e7c4121836c6b355cfb79dbeed0e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
ff8dd42c7110031c6cee2fb35e0d673731c3cb15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
cbd9b474f7d4298c93011edb2b1648525d3d02bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
f20b52295f54259005f6aca7f71c664320ee48c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
817f8ad96c2e99ee828a8ccc09a0cebd0f44dcaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
6e0f1de9cf17994d30bb6e68f62f56cec83f7798 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
66ab6d322fc38b8b522caa7932d1a3e550c6b99b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
f9a5d70d8c7a24a6729dcd02b45c2544ff138835 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
4abec53d8eed1353910ea2846f7a4f6481b1aa87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
d209d5896825214da851aeb8f1879071aba4d6e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
ee213f27dc97a911d3f404b81e509c51e2fccc60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
46979dc6eedefe3f2062d8f167d831648745b1f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
07902b9ab4fac3130b6a225b17093d4a6a8a8c86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
e43304b383549ae5c5504a99d15e0ff38f3a5ba9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
fd653c157d7afb41bfb8b48a0e92414a21bc3d5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
0573bd1219371d9052bf877e425d175a297e091d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
d361bbc483ba7cf8d170631d43ab7bf2ed3e5ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
f9386a1b1af477ac49cb72d2ad90ae856afbd9dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
7e85d94d3efa26e94ba9bf9238c1ee2ba2c1b884 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
e75adf71c842a142c3e0e0f3b01b2ddf029ac0b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
b007db8ee7a0ba7f7c7e96ca3c141a845aa19eb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
ca1184e4f3d86e3319796264096d0b3006c31237 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
1893746ba99a2c97ba430e5f60010456c4c96a47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
32bc6efbae9c0f2b5c8f33d73ac36070e4b237df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
f21e357eeebc3e5a2778fee25c1874be6924d07e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
5851a7fe7156f5c92bd3e69b368747ab77bd4687 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
ac6fb4746ecdd4e0465aaf6142498388fb0ab094 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
a566d9ddbf0974b311ecf2f26ad7c274e824ed4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
84d9db8cf341b3bb2c86eff479b5b30a951d6483 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
e69a6385e2c5f0b1e6598a41f2be8b822f61744e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
63ff89f4d20e2776e3a63cbafe49b014811bee42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
55e418b2650ee7b69888f94d853be930c00bb989 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
56d60f8e750e2af76094f1b2360f01185c636d01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
4ea8ff477bc8af52190255ff6611b9f78481ed47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
4bbec0a1d56ada86ad8f541e4625348420caded0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
129c3db412cfc466a5c233192c08a8deee94bcf1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
ce0803657569ad1f709734837df39847097aba3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
9cf26bebf6442a5045f6ff138234b5404677e291 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
f9c44fa9170b632448d43157004320823c915259 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
131a5eaaa4d0ef68993a0b64ac28f9141d195f33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
2ee9cf3544bf5abaa228dfe8a1e87d4c1d18ace9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
c7e009e5e7df1d97ce38b5bf8097f3e044eedfdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
2db5afe7d5d3809aa7d4280b0dfd6483621adce9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
dc885eb3855060d7393e3ee82d74be4790c91c8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
d3c0eaf945e9ec2673547acb8db74fd27e1250a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
7d6ca89d52b21ef33474efb3d6b36b27134eefb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
5c1ab94e5ba6786d4005284b13354e5723c9d4e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
d13dfc5c1c8030d0ea5623d750d9a097c39ce21b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
9394a5ff4d84b41eb1efb55ea43d19d031999ccf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
905ba4f7e18b128f101facaf3196c4777caed13f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
b7c06389796e6632bc80aa6f33ae498bb1995119 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
687457f95de7ebfb7c9a31bb3c649bd41b86fbd9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
05a5d08946fc050c05f7d650985191a15bbc00b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
1eb58d7fb34ef026df2dd4541a10947e77f096e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
2356836ba9c20be22d7b5c1806e5b5b5405c5cca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
95aa91c6dee381f74ce66cdf1f6a8bb7304aa83a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
2c622c290bc290b844ab20087fdc4252846d4d18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
7a998ec3320f516e2ff6ced7a6604450746d03c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
39174de7dde4977e08ad679ee0a468eb4950d4e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
332a6cf1a13830b729fe1fddf7529d44f2a917fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
51a83b48fda23cebb364503d325eaa945b642794 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
e41528083edf62359ecb930a4ebdb6209c3f7e5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
84763d0fdf3fab14351053a47ac40ef69127bb94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
0f12f8a1433850ac6d2667edfe6acf2b3e14a494 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
009d25fb7827a42c3c8ecfcaa123ae45e18698ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
5bb27f4971ffd7e8ab76b910fa1647899a9bcfcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
659ea06f7863e050028b27598e4c928d7b582829 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
7798261dbc9d2b76288dc6e8f1d9e979521a60fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
fbba94ddb84014f36358c492ec973f4152f44679 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
760c8c3600b20408e2dad732d7bdefe995dcf93f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
2b48dac537eeb4aec5e29dfc12d2c195c0197494 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
00e483edd065ddec09cdec24498f8cca74cd16d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
e44e6b4ecd5ad5fc9efd699751a9997c1421e635 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
d92789eee6cb94245e9600a5db415037d3365238 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
c415c449599a25cde64c932815d4a67cb91990bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
3ddeb791cd254ccb281918d52e1070189856e59c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
47d59d57e6fe2f6dc2bffbaf91d9117e0508ebec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
232d85a59e6f47f40451d40c926a91499c388114 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
a2ce5eb96250f61a168461a6c5a9f008122933f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
fcfcc287f9f68d87fbcdd4ebcd1d820fb5779cd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
3873fd1bad1f434d49e9f3d65cd950dc86199a25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
f580ae60f3d508e788abe48a8a89a0b5e3ac3c7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
8e06dcd26c169389c62c3c5d33f30bb5cca7d665 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
9d394326d9a922813db28e8a1a0215a4f0cba018 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
743487cf650108faf7551c306fc8dc45ae01c430 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
c97a72944ce312bee548191af9a982575d39c624 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
4a879972a179d5957f69bd4cbb9d861be3548aad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
793b3d956567a5ffc0c4d1820deba577f3166f72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
9e214a94981a0661c1cdc60c94964306ba992479 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
0d953b063261360d6e5cb566dc8550fb4bc63071 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
d5fea2ab4fc15c8e5d70d27f6a2952ef378bf3d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
c7cec57d9ecf11ae4726706e84130dce861abbc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
9374847a59f27ef372dde73387e5fcf0262f1215 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
b57453de638d56b839c37739ec4442e9863cd84b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
dee6db5977cb2e4c2580654a396526f13235d483 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend LetDef2 False Passed
  • Model Under Test
  • Equivalent Model