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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
9575c2b582acfc74e8396a5fbb014eddba7f2210 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
34ae55d1d98472c45fd0aaf93677abaca0d241f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
c836f8c2ef6c53134845ea3a0b8fee2274593e8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
b4018bbe37ac21bfb76b70b7e67e288699e26c71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
ab383bd348603eeebbf9af9413ee92f4d0829027 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
be4693b742adc8b5cd80a661059fa8a38f4fc02d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
2455f9eb39b57dd2e70ed7bc6c4c6efd1de17624 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
155b781d95157c502d889a10884b8df88b6580cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
24e3b9fe3d2f414404a69090b4fae8e277c6a0bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
67a9a625e02e533e7251f7906ed6984e52b45b2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
813fc96bb08b9ed4b776229e1c0d42643411ecd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
0faa6938be7cac503ce71ce53dd2b2b9b60a4ad9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
2cbd93acfef81921ae9bdf3c96284e3821456fc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
4fb85fedffcae5db56eeeb357c0c1b4971783420 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
44497c6a0160ef9e726685718fa70044514d11e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
de237c68068a35e84a82e4f640d3a44e6495425a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
268a416d64b58f04375e826733e91e506ed0ae7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
4dbc9047f0476c982a764929fbda86f137ec6e2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
c1ba0451822f6e59ce41b128960868bf228975f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
09351704369c045bb4b6d64ad7e4d1925c3cd3cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
04ff965a668c56fd80665615e4d9975d8245a950 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
74100471c85040f888230cb962133ec3f115429f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
7d00a9a226fe508aebb1bcde8700f9ac067c2bfa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
0cff1eb600fdcbfd02014c140dcf2a47811cca86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
d8fe027d060e276e5777fe62425b8798e61bf48d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
62bc85a30c39b6dec20c269468264de020c779e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
331f718838fdec8745adaad8a78ac4ee36c177b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
db07f8b5f3cc5c3dde8f37f66c5df50091f91c0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
23d05a2d4f825b0044aca6b6eaaf92c9aae5b304 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
6d1155939fa681623c1e4320b0be5c40395f334c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
064f96a9c7c3e37f8c3838cb85d35a05da048e47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
de83ce851240b37a1e9ddd3ed7ad4993b7ee2b0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
f0a205631ea21abbc56e4df8e21b77f322b0ff89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
52ba4755cee70b8e427f562a8308e352e47356f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
1194a80faa9bbaa850509702988236877d2bcec8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
83620f8c2744b1e06539c87889a2396902ab51f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
4783f2aad4231a7e1416d516cddf23a16b3dedcc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
d367e88fdf72106214e7cc17381137bcd50a2d91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
7231177fbc11cd7d825151b0d2ed5ba513556a3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
cf20aab6e6a81c47127315ac3798a2f74204f558 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
19a640d156c432c2daf9486877b64c5e743baa82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
346bfb5e5e55fec8222ec04a387777f56363cc16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
c0351edf826ee53d842ca2997f7c92f36e7cd15c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
149ac8c31e556b163856db37f984295dd84eb46e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
1c33a52cd4d37cf709924e447335d48a0873a7e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
855437fdb0d70597fa965babf008bab25d7da8ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
50b7ea3285bac95b1e228ee60eb820a97106ded4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
629eea2f5f8b7f4cd6ffad99b901b7ce48aa7e04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
af0437e69f6c20be9f89ac4d25b57b7d0e79a2ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
b8a33906344202badc4f493f39f08a4e52ff17fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
9188802ff4309582e3303f6f53ae1aad231553af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
4a252c4a04cc44ef8b135b1436521e1beb38fd03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
06a53bd1442bc3f0bcf1afc132930c5cf0535111 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
fa9e878911a6f8dbf64d8e01fa7b48eaeebabb0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
6103f8835d8b78ccc851612fc78c88ece4eda5c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
465db5caa0d7d9d4e3b519bec20dba7917f36b0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
a56dc7a3ba2e2ee17314ed81442c6945fe60a073 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
7e8149c9d281c820229939ebe6196c1dda7e11e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
249572133900ffc7df6d82e0851d66f6d18f77c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
7af3d5cafceb84b683947fb78d93963c8bcffd08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
cad4b9bbce55b0b50b5a318a6fe248fb68c45f5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
caa5b1ba067d6769fbdd113b9274a645fb99f160 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
249c57a2e81c84af7861ce135b7838f2ee6ff22e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
472112cd4c9ae7da0568d0996b599ceda9367d69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
215e8c20af396055cd0b035feacf359f190c3ed4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
7dcdd09a441f188b2e89e1aa7d73f335ea1845e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
04ebc6b8159e80d01ceb114ceb2c73f8aed4691b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
82e9b7c587bcbfbe784589d3ae737935b26ae9bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
6855f735046d3bf5f47e109c1ef533c08b2d3525 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
8f570b55f76978e789c2f42dcf3d0dce64cf58a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
570aaf75001280447c81141e997baf6b4a34a2e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
a2b78ff42b491848fd9eff535357b21de2e8f20c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
24e8436bf4f424622f31e7f88a7cc27c34c7b5e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
06e379e6e3aa8a66d68c2b15ea865d637f45d14b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
cba0700931ed859b7099800f45b70d53cbdcf12b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
1eb169129d0868607aaae419fd1e19374ab29526 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
7eb24d9e6903b2d69f2b00ccb86ed9f3f751e1da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
4ef43a46a26087483f43bffae06bb18741d33e2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
535637cb900f5c8ae29551450423219bb71c44b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
f1ae974348098b736df760b1a7428078f64d2ff2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
88ae0c59871d5ca45e35883890d90ce31a3d405d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
63b8663d4c4de14a4bc3cdf2f175d54688525dbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
eafb7b6b8b255981810645d24c55ebcca970c219 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
32a5c4714db715a7ed5939e99e92aa7a945e0e5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
43a2ac720cdecf70d1e159c39ade83e566ba9452 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
563260e45b8a602bcf3a75bce94ed516c0afb3df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
d9a45f06b20822d8279ab873903424a139c1f311 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
69b82bcef938601a23b273f09044fd92349f7526 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
6dc8cd3b5e1a13134b3502e95e56ce34c29822ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
c5cf11f6bbe9371181a9c25c7bbeaa2e1c8902d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
097cf5da6e3777f82b1789a5a652570fcbfce28a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
d749e097deb6dea7050f75bfbe03733233adf575 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
ba6e5f48b0a54039382f704b4a50a95e001525f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
de1d6f469b33e005322127f18fa147a527f6d090 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
2422e01a98d487f249317cf70f6bb4985acc9b9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
d439af185ff281d5ff0ca8b0fc5ba5c76b67b609 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
74356745e240f6d89fe46d773cdcd7378ef39f26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
a776a05fab5fe9fab25609125dd0ae1d36c037dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
81a0d2ca9f0d48d39f610c15b1d60b4c14fc3594 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
1fb604bc36da99c19700b6518943d42220519eaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
24830e0214ffabc59ff69634ea2ece444edb4bf0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
a86bd91067df051d20b4b919568b6877bc8812cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
d89328103f2875479bb9c73c677699137eb2c71b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
14edf9cf3005e2fc5a083191a0f12e7ff76b7f06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
f04ee3094653a4fd34d9347035cfae5324e15965 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
db315579cc1f62b3d5205ee5cde52b5257f37064 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
1f6aafa8c58d556d4c9ad57273079fd2aa9bb53f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
f2fdda335d2de423a735393a70fbd71b7f073620 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
c1e7f2019da5b1998ebfff3c7d1fd99c58a7b464 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
ae1bd5d0938cfe4b3a1e7aa6ab61499c6246f060 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
63860bde881ee815a94afa69cbf32d577feeaeca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
6607720d07d7b35e6516049e9f418796433a0b8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
ae7b6aad2d5b0d623f7067c4f2560bc7111e0f1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
49a76b47479b5e889b1752ffb76d72d745b6b9b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
c117a53d3e91af2e5655681a80f4793e6bdf6d76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
8a012074bdbb59367a120e33d2f404aeb87c835e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
091a8831c1124fba03ec7819bc3b1e44fbcf9565 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
bd79eedc1d077e314b1e6b64c137d9bf10025caa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
5cda6f98c40aa1cbdc8142f663933d61536fa375 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
33e3b5bbbdb99382895545e7139fc07c6371ea30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
5a2e4e876547db352e6f1bed565956c7945a2453 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
e360edd1f401120f4f74a1cb40161da01b0a7828 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
e67e67aa2951e5f18979ebd8c6d027cc243e6545 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
c47bab6b2f55a056cda267c5889871d22281fd97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
225a8c253ebf4dbb6e151254c88ce3efa89f87cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
c2c190510b5c27770a9518d899253642c4d9067d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
6f2a346a1c3716ac85f7ab95f6166d959fa6d421 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
33b80dea79613bcad28b5303ba102ee95d900eb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
0f921156c91855f8a30a5ce8e3506b65871cfc9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
4d0f2903b0cbd6f0a5c9171cad535b8de6e938c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
d270977d89930238e27e0d403d10dba8bd140351 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
72a3192629cfb2db93fd7a2fe979a095f5aae1ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
07887480256b778a4485ef6a16cb80c318fd10af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
860dbe3c22abc6fd10518d6efb350ef2b080dba0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
ac5130c7ce706d27476e2197c8f7045bac411cd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
0cd4dddb876a206f5f12bb9ae64df4f0cc14332b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
3a348b9d93b8aa7a6b7fa3f1a3507c50d3e64743 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
55300b5559868346496d366f63787cc3e5131e80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
5570bb6ae6f7bc053fd7420257b8b2e61f3e5a50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
d74aee3bdcd0ad0f0a7da10deef10e6b057aaea0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
a39c4bf32ebecf5cbd6a48f4bd7f584cbd711612 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
1f1010531c22156a2eb64702757c669ed8e227fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
f22bafe22e0a062bf9122d138ceaef1285b2860b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
89b0dedd9db72a9ed3d2f462479179a6a46ab64f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
5edd7f86f3d8243070d76b9806a891e6cd413470 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
4220092451d51c3df027f14bf5e6fd5ae4301724 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
4ccee7dca8e3f524f43ce37c40418b4e5a4cb496 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
a4b8dce30b33cee9d6051216176297a52633d56e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
001ccc6a861459ac0bc1f8eae7a7bf391ad19a1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
93f9076e3b52cf4b9611d5b1eade829ec026c816 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
24bff107c3d5387c8f36e6f997a4cf9c081482a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
d46bf74b4ade0989fe1b50894100d624d0c555c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
9c3bff146368b73bd069e340de4592b6eadc1818 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
274410d3f3e7b0492430f6cf53d461ac6cf7dd7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
82794dab1aba9d9bc4a724e293ad104834c85ea0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
9f14dfc36f3e35a702d62853e0f58e6c20f9caab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
0ff5829a5c39bfa86cbb81bea338b189a45fb1bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
491b570a389511ff6c5661faca5bf714739d19ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
5b781036800596ade531547402b75affcd5893e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
5e0a64a08b5892fff3c619e4632f2b5b049876f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
aa0458b1a9b48194c6f85b1a8b9e9ade39a8ed98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
2a93b818f8f984768525a26e9c54ef9754cfc5e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
4ab53d69cfe5708c5b10ab6edb5482b819658603 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
720a328096b10008e2ce89af2030a782eda16a00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
7e5f218a549790847336f713e5a325e1c77af6f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
8c98ef0c913ea1fc13df190bf2ebd4989a32adcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
8f06218ac18bfc795b40eaef3a1f01d2a7bc50e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
5976e8025d9ed6abdcc35e45572286fdb22d820f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
843fa296638b12b89f01530879641693d59bbb4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
d7b983f1722516fef121ee25c960f5c9ad06351b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
a9a2b965554315bd11f3f3d0af7d2198befe2c6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
cf50f00c42070498d1c4098e62df579414729c17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
f30d6310a51d11e5a6bbd2a3fc0641273425bc46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
c50087a7db96fe4f7ae92cf8a10aa35ec2ee042b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
beed2da187f686ca3ca5adc0a25256df54942658 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
e8c5278a41557440971e98083fe4cd5e9b47fbe2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
3942a922d4b948e3e443ef5d2743f9106cf44ab5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
cf84f60b265d2101ab2fa45c1f10322dc29295fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
8b3fb3fa3b9f30dffa1bb0e23c78e84225bb11e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
4dcf18c907c669578d0cb90833fd511272c5027d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
843cc30ee7f465c2110e271f3f09570583c4e824 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
13e864665d7a6fba5080f1dd0325dc9bb6b71ad7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
76ca1fc6e1fc2e4493bef17dbc94849efcad145d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
71235d8112cf3bd20f80d3c8bbe7c3027f03346b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
58ab9109459175e4864c96c339bdca9c6ba054af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
04192a3c300d5b08b58baf7c4179e157850e822d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
5a7fe91f515e7ae4064723d2afac6df051289745 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
01e53b7681eb3de268bb6e2d6c3091bb2fd47d0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
78713a0ae3559317df1bd1e434369ef9ca7fd62e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
795d1fea4ef4ae4a6108c897764d9b0a71fd79b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
8934e01f335851533d11dd47d8c5265b05ab93ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
5df4c868d4fd7045f473ba176f22956c9e8e49b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
cb16b2879314b514269099ab9624bd272b6a777f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
283a5a7fb6c7eaed481e99d970b2703723e1c831 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
5de35e7dc9af0fd938d70ee1aee2fd28438639ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
9873677cd64c171d887f20b1214e6ba3c83d64d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
7ae74d80d7aea16f3a7135bc8d505b0c286990d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
fb78461faf0b8ade818cbe47729e127ad24e9a71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
15298cbfe44e55e7533db774e5938e6e7ae8b8f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
33906470059c604107c11a9b1c70d18198ccf7be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
4845f2906d6f8290bdb44473b83a11dc493e49ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
4bbd8fe02f5e6bca3c2c7196086b53dfb4e6618b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
555cd40f800d9566c9623b6bc033acb3995166f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
e826e427c67c91954dab07964b080aa6f78f9290 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
c8b667f2092591060f4e9f95bb2c2a3737c01463 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
49da2d42533be38e51d94ef44421540198fbd9c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
5455740d9d04aad356d0e2b57effb19caba4246c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
f2044bc4e57f85fa7ab2c5bd3e25931af2cd99b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
2532095a4f53d188092d4f4f53d0a5801d058ecb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
a729af185a67165e11cbd0ee77d22af29c6de63a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
773ab194a6e7eaec27a56ff3d0b7aae2781aca3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
0487ab97b90ec663f4b6634696f0b31974d4d360 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
0ebdce04f9940976d73b6d5db6cf89f9c004d520 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
0906a788aad9e9086b2bd22efba7b40f0ea86151 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
c081f4d58192ad305ff901706d6a553bc0d2da87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
0299a1dbf9def07949d20ee6a547cb26c279cfa4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
ae6831e5ac2f4917f9febcaba2a5e1dd81928790 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
a8c661967c6cb2091a55de0ed8b7e1f50010acdf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
7a72ec45063eafad1a69b3f01808611039bb819f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
59d8ea5eee6ea7e2c551828afcac620809d1efe4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
c46108d130be362ce06292c0a41945e0f20a33e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
e8266238d5b7f3f995a3e12cd4a7f8aa31bf56b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
545ed7dff26c4d6fdb33cbec1ca642947f6e4ab6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
535ec6956bcecf713408640611abdca040af57ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
9d1ab07e9807530213a22b0829a45fb2bbe71846 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
818914aa4794086ba056172743ef3d5241feb1e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
53af85700a118f15d1a94e0cf7141b29a0155b2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
cf896cb02f96996f9c34a55cc8a85b4e32921002 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
ed374570668e4d029e2e5b8893893b2d616fac05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
64482f0dedce15f179e6300bf7ee2db13784aa17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend LetDef1 False Passed
  • Model Under Test
  • Equivalent Model