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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
a613658b64b7f9b74fceffabc66260b751644c97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Cross2 True Passed
  • Model Under Test
  • Equivalent Model
f6736adc843ad531037d8767954c6de6877c3c97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Cross2 False Passed
  • Model Under Test
  • Equivalent Model
bfc585afb92774d93abfa1ef6e5e65e7e8b0c6de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Cross2 True Passed
  • Model Under Test
  • Equivalent Model
7c4bbb10799c099706e20d14a5cff2e3e2de49ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Cross2 False Passed
  • Model Under Test
  • Equivalent Model
2bc785f20dd0fb0d11e57341bcd062a5b7f8f52c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Cross2 True Passed
  • Model Under Test
  • Equivalent Model
9d80bade69fac0d813a57d874b08d2b7b1ac2301 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Cross2 False Passed
  • Model Under Test
  • Equivalent Model
5491101a2d4595e2f63ff8fd33e595cf2efafbf2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Cross2 True Passed
  • Model Under Test
  • Equivalent Model
5cbc352edb379dfe41ad64df56b062afc34b3750 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Cross2 False Passed
  • Model Under Test
  • Equivalent Model
f9ebfeeca17858c2fb757eee9e61cb745dad1f92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Cross2 True Passed
  • Model Under Test
  • Equivalent Model
a36869257851c585de28edf361b09780fd30b19c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Cross2 False Passed
  • Model Under Test
  • Equivalent Model
a0010f82624b83188650a4b517a47af019455e6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Cross2 True Passed
  • Model Under Test
  • Equivalent Model
dc1e7b77976f79ce27fe60ce1d18e30b7691ebc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Cross2 False Passed
  • Model Under Test
  • Equivalent Model
4055f7b2b1128c266f069fbae44e7ef436016189 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Cross2 True Passed
  • Model Under Test
  • Equivalent Model
56b492340cfa75c4b1bffdd23b730ad19a31e270 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Cross2 False Passed
  • Model Under Test
  • Equivalent Model
fa6a562b6f7bcc071e81f57eaa8427572a543c58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Cross2 True Passed
  • Model Under Test
  • Equivalent Model
86dd193a4fa55bb388ce568b330921c018617406 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Cross2 False Passed
  • Model Under Test
  • Equivalent Model
7f8dd0fa4f7e8c1f7dfc6b76a4c2bd9c79e68eaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Cross2 True Passed
  • Model Under Test
  • Equivalent Model
60f154520fbbbce4cadf82c2017039f44f81e0f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Cross2 False Passed
  • Model Under Test
  • Equivalent Model
1252cb16722c7bb91052e16c49c7316301c84bb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Cross2 True Passed
  • Model Under Test
  • Equivalent Model
5793b485c9afd6934808ecc5ec35e2055c5f5ec7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Cross2 False Passed
  • Model Under Test
  • Equivalent Model
95c135cdb8cca1338a23a543dd38555718a9ccba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Cross2 True Passed
  • Model Under Test
  • Equivalent Model
5061f86a30c45963dfc62d32c65d2e9bc5871836 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Cross2 False Passed
  • Model Under Test
  • Equivalent Model
9ca4847a4a5372ec832a2d2529ec807c0c087b75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Cross2 True Passed
  • Model Under Test
  • Equivalent Model
8901f96b1d2035f762864affb285e8df30deace5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Cross2 False Passed
  • Model Under Test
  • Equivalent Model
47b10761a710637905d30566587a387578c411ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Cross2 True Passed
  • Model Under Test
  • Equivalent Model
f4f34dc4adf0d876c013694c5e51423143c7fda1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Cross2 False Passed
  • Model Under Test
  • Equivalent Model
141639c8a484ec422cc4bddba8c3f1cb115f9742 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Cross2 True Passed
  • Model Under Test
  • Equivalent Model
a3dbdabfafaaa44102098d6c0289926dcdfb6a01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Cross2 False Passed
  • Model Under Test
  • Equivalent Model
9e94afd65365df8d3988d7b5c919e298d14d27c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Cross2 True Passed
  • Model Under Test
  • Equivalent Model
b743fa41f468854ced773ff574afbd2de46bce18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Cross2 False Passed
  • Model Under Test
  • Equivalent Model
d0bff252637551f17271089e34590c6be42526d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Cross2 True Passed
  • Model Under Test
  • Equivalent Model
37f2be5fc9d018c29487ce83a0b707a708da4d08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Cross2 False Passed
  • Model Under Test
  • Equivalent Model
13dfaa0adf41e8e772702e4ebc26b072dd85c0af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Cross2 True Passed
  • Model Under Test
  • Equivalent Model
2dfad2d397a3bbbfc223e1bd4d95e6143e53e091 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Cross2 False Passed
  • Model Under Test
  • Equivalent Model
d42dfbd9d4e9e76e68a598c29da392ed8feeee3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Cross2 True Passed
  • Model Under Test
  • Equivalent Model
7684ec506ed1c5defefed2c9c044a8c053a05523 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Cross2 False Passed
  • Model Under Test
  • Equivalent Model
8bbd8693ae47d210dabec557cd12ab6c314b9c8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Cross2 True Passed
  • Model Under Test
  • Equivalent Model
55d22b2abe22404978ba804c6b37fa8182de3340 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Cross2 False Passed
  • Model Under Test
  • Equivalent Model
89d80ea1d4d378b25c5ca39e0e670f6221e1e685 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Cross2 True Passed
  • Model Under Test
  • Equivalent Model
139a40aa6806480fd8d1248ad20def05d20f53b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Cross2 False Passed
  • Model Under Test
  • Equivalent Model
8753e9338505da4eb40f9a8153ee11e0b249c57e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Cross2 True Passed
  • Model Under Test
  • Equivalent Model
3bf8c588a16563c2fc570cf90c31c04e41ef97c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Cross2 False Passed
  • Model Under Test
  • Equivalent Model
61ca651359239fa4763546df157934be1a149312 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Cross2 True Passed
  • Model Under Test
  • Equivalent Model
ba64059901e713242d743705d030d55dc7329080 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Cross2 False Passed
  • Model Under Test
  • Equivalent Model
d69e8d025f0d7ae8533070cc73248feea8b412b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Cross2 True Passed
  • Model Under Test
  • Equivalent Model
6c856adbab2ce6b6ed204eb9db45200e44b48416 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Cross2 False Passed
  • Model Under Test
  • Equivalent Model
74692e65a7f252d3eb2f01a5c3ad092e3be03d80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Cross2 True Passed
  • Model Under Test
  • Equivalent Model
7be114be06a292aead06edd003c09140664ae869 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Cross2 False Passed
  • Model Under Test
  • Equivalent Model
a1998ef2b7ad8bde2a8039ee67edaa33f5326deb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Cross2 True Passed
  • Model Under Test
  • Equivalent Model
8742944284ffc28882f602888086988768c9e6c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Cross2 False Passed
  • Model Under Test
  • Equivalent Model
aa684b3bfb4b50ab5b94afbcdb31386ecc56f374 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Cross2 True Passed
  • Model Under Test
  • Equivalent Model
b622934923517d89cdc79a76ae614d02f2d96fb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Cross2 False Passed
  • Model Under Test
  • Equivalent Model
0fc4fd2a94be950b375f698b7dddbefdd915a548 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Cross2 True Passed
  • Model Under Test
  • Equivalent Model
15b43195fa6253d9c3ab36a38fab0dde2d205698 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Cross2 False Passed
  • Model Under Test
  • Equivalent Model
d6a2f0a57fae1ad2d2709e47ec17e390e30dafba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Cross2 True Passed
  • Model Under Test
  • Equivalent Model
2babad342777e98e8c16147a465e60a3e34182dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Cross2 False Passed
  • Model Under Test
  • Equivalent Model
f81da67c179c0dbbd96197fdb22cffdafc3d5ee5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Cross2 True Passed
  • Model Under Test
  • Equivalent Model
83296bbb6b04124358a460a36e57486608b8a086 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Cross2 False Passed
  • Model Under Test
  • Equivalent Model
55f829d2f76e14c2e9ecd7478c5f7b8cf74e4bb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Cross2 True Passed
  • Model Under Test
  • Equivalent Model
86088b3ab13aea4f59d2080fdc77d745ef44a706 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Cross2 False Passed
  • Model Under Test
  • Equivalent Model
30bde3a0545846d00f51a45c4528a2a50d2eda2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Cross2 True Passed
  • Model Under Test
  • Equivalent Model
a33db22ae543a4d1b2f513053a9bbf8e206bcf44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Cross2 False Passed
  • Model Under Test
  • Equivalent Model
8b14ab0804f55fcc2843a29911bf6ec3eb54b93b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Cross2 True Passed
  • Model Under Test
  • Equivalent Model
ea865893c485f830e04435183d43e7a2d74c209f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Cross2 False Passed
  • Model Under Test
  • Equivalent Model
495d925dc90c0812222cd09e5137d5da5f1de3cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Cross2 True Passed
  • Model Under Test
  • Equivalent Model
73d7e4b596c9d6c93f8a5239ee60309eb6163ad3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Cross2 False Passed
  • Model Under Test
  • Equivalent Model
c29d698d768423841e055bb4b9f2c0c7f1eb5180 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Cross2 True Passed
  • Model Under Test
  • Equivalent Model
b9fed3bd1f6333f3aa25e909d3d9104ae1ea220c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Cross2 False Passed
  • Model Under Test
  • Equivalent Model
53831857e0d5172a9af4b3d320f6d521fcb92984 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Cross2 True Passed
  • Model Under Test
  • Equivalent Model
858f27f397d9701aaddc491c26878ebf4e667006 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Cross2 False Passed
  • Model Under Test
  • Equivalent Model
c6d5904ca52291ebfe4b0405048d898517d03f36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Cross2 True Passed
  • Model Under Test
  • Equivalent Model
b0eebfbc86a8263cdc697bff8c1b137b1a9bfb5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Cross2 False Passed
  • Model Under Test
  • Equivalent Model
93558f5eaadce1f42e106e8ed214b2a60db7bbf1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Cross2 True Passed
  • Model Under Test
  • Equivalent Model
ec726e71b729a9800418629ed757addba92f12e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Cross2 False Passed
  • Model Under Test
  • Equivalent Model
92e7e67c269becaf310ecdbdb835efa1a336e448 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Cross2 True Passed
  • Model Under Test
  • Equivalent Model
700989f1d698988af8e5cb2c0a1c3e52d4e5df17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Cross2 False Passed
  • Model Under Test
  • Equivalent Model
b2ba7e16af9c8aebbdd8e0f58b4afacdd859be76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Cross2 True Passed
  • Model Under Test
  • Equivalent Model
5ad3da8a6130b6dceaa32020ac7ac4ff20255c21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Cross2 False Passed
  • Model Under Test
  • Equivalent Model
f76dac8e608d6d5c9f3d68141bbe1553e223197f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Cross2 True Passed
  • Model Under Test
  • Equivalent Model
e195cf829b07ec7e7d10531c530837f4ee00b176 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Cross2 False Passed
  • Model Under Test
  • Equivalent Model
d75399672dfbb46d5d80a8bbd0cbb887688726d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Cross2 True Passed
  • Model Under Test
  • Equivalent Model
5d45033634cbfc0aafc32bbb1b7b097dc8eae73e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Cross2 False Passed
  • Model Under Test
  • Equivalent Model
8508a159610c67de532693cf707d787b917b27ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Cross2 True Passed
  • Model Under Test
  • Equivalent Model
cf3ff23497b877f554e16ce0ec5a8e188dba3ca3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Cross2 False Passed
  • Model Under Test
  • Equivalent Model
a09393964223155486442ce826039c6a6a4baf29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Cross2 True Passed
  • Model Under Test
  • Equivalent Model
2d9032b3d8a3ae1ba804d97983514b9612cf9ab4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Cross2 False Passed
  • Model Under Test
  • Equivalent Model
f062f766d6e66e30761522a889614f72ac5e8607 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Cross2 True Passed
  • Model Under Test
  • Equivalent Model
0cbb95f2ccfce7008cebd954f6ba66b0a97f354a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Cross2 False Passed
  • Model Under Test
  • Equivalent Model
39c02d5b2f3831b7746d5cfe32701d1e784c694c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Cross2 True Passed
  • Model Under Test
  • Equivalent Model
5e4ac938dd77f7ab5e68d65b960cfad6ec31773e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Cross2 False Passed
  • Model Under Test
  • Equivalent Model
cb9aed5cc7f1fbb7540c3651e612d0466745d7f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Cross2 True Passed
  • Model Under Test
  • Equivalent Model
f942af1e2a3e6dbdadba04c6c074e5bf2c52ecc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Cross2 False Passed
  • Model Under Test
  • Equivalent Model
1af72de656b0e7ba3a49fe4b23ed56ce3c22a635 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Cross2 True Passed
  • Model Under Test
  • Equivalent Model
3581e4c4954be2baca1d6be295e316719d2f3eb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Cross2 False Passed
  • Model Under Test
  • Equivalent Model
3813da91d168d7855df7fa82c44a7792b28890b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Cross2 True Passed
  • Model Under Test
  • Equivalent Model
bfce17f4a71be02d10beca054294bee90bf45aca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Cross2 False Passed
  • Model Under Test
  • Equivalent Model
dac9271913fdc841df95ac978ebda922e0eb59f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Cross2 True Passed
  • Model Under Test
  • Equivalent Model
f72605fb1a67c6b323ed7c79667b6ac05a137317 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Cross2 False Passed
  • Model Under Test
  • Equivalent Model
1f9d3a5415c9b8ef7e8c18f04b1ea21712bade53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Cross2 True Passed
  • Model Under Test
  • Equivalent Model
09de0c194e39e6c0a108fad9c014d059ed3d4970 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Cross2 False Passed
  • Model Under Test
  • Equivalent Model
3546dca08cde9b2c58d2dbb75fbd2871ae5d780c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Cross2 True Passed
  • Model Under Test
  • Equivalent Model
899160a2d9104adee8e9ee2cea239ee74ad4a831 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Cross2 False Passed
  • Model Under Test
  • Equivalent Model
f064eae9eaaf98d78a329e8fd13de90598c83014 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Cross2 True Passed
  • Model Under Test
  • Equivalent Model
af89211ab676b999338cac0935634deda4b1f7ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Cross2 False Passed
  • Model Under Test
  • Equivalent Model
8352d4bc5816101e54622fc08fdf4aab7596fd8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Cross2 True Passed
  • Model Under Test
  • Equivalent Model
d50e573a7ec2384cb52778e678523e93ba8fd9a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Cross2 False Passed
  • Model Under Test
  • Equivalent Model
3188e905ec96dde74886e16a629d61b76811fa9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Cross2 True Passed
  • Model Under Test
  • Equivalent Model
9f3bf49d2985bb48ac9a3ff02b45f61ae42822c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Cross2 False Passed
  • Model Under Test
  • Equivalent Model
874cb4b9bc48f569eb80057cac94da204b0e8d86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Cross2 True Passed
  • Model Under Test
  • Equivalent Model
0de349832a454dae3277f9450462f4548fb3d792 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Cross2 False Passed
  • Model Under Test
  • Equivalent Model
75f7cbf870e8343f883508bc2c94a1db7f8bf80e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Cross2 True Passed
  • Model Under Test
  • Equivalent Model
074aa6bdfe747a0d79e4a33ee75628d83744299a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Cross2 False Passed
  • Model Under Test
  • Equivalent Model
7611ca7b207a897cbbc0a4eb048ca1477168274a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Cross2 True Passed
  • Model Under Test
  • Equivalent Model
1958c9e4738981cac983c2428be2d89fa31c7913 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Cross2 False Passed
  • Model Under Test
  • Equivalent Model
b59a2d8fa556c879b2e149753b0767a05d60075b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Cross2 True Passed
  • Model Under Test
  • Equivalent Model
741d457bfa1ea55370325a1affe6d9ac1659fe77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Cross2 False Passed
  • Model Under Test
  • Equivalent Model
b3ffe7290d01e053cda8e32efd53498235446e01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Cross2 True Passed
  • Model Under Test
  • Equivalent Model
7e5f5e3114599148087244374ab649365ba2461c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Cross2 False Passed
  • Model Under Test
  • Equivalent Model
a767d12682ff5e26e501aa161c305be566cce2fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Cross2 True Passed
  • Model Under Test
  • Equivalent Model
b0da0edb8e27602b09364c26e3d550b1a23920c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Cross2 False Passed
  • Model Under Test
  • Equivalent Model
7d03e3ca1c7afb0cce67a86197aadb1de503ccc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Cross2 True Passed
  • Model Under Test
  • Equivalent Model
d36e9c53c58023915a865a907b4327e7df517ead TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Cross2 False Passed
  • Model Under Test
  • Equivalent Model
6ccbb42133cdf4b66fcf46d22f96ea4463e20ba3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Cross2 True Passed
  • Model Under Test
  • Equivalent Model
103478d1016eb4b80a231aede6db7eb32ad15d00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Cross2 False Passed
  • Model Under Test
  • Equivalent Model
7089f3cbfc5584627b4d6c3edd91e62392f6fa74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Cross2 True Passed
  • Model Under Test
  • Equivalent Model
570c94e764e5b98d482730624d5c1bb9a053091f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Cross2 False Passed
  • Model Under Test
  • Equivalent Model
349b578e5c6344e15c44b132654d32d4da5462ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Cross2 True Passed
  • Model Under Test
  • Equivalent Model
dd06f639cfdc1d618a2e870367aff8d1d91163d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Cross2 False Passed
  • Model Under Test
  • Equivalent Model
ab64f8e3221490a0293d5e4742e3eaefc7b6e32f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Cross2 True Passed
  • Model Under Test
  • Equivalent Model
c1c067fe5c7c50a51fa8586ea97f94bead668c43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Cross2 False Passed
  • Model Under Test
  • Equivalent Model
6e1e3f7cc141688edcd52c18babc5a0ddcb3402b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Cross2 True Passed
  • Model Under Test
  • Equivalent Model
c4906da013c64131bd711c08b6a58f4c5061265a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Cross2 False Passed
  • Model Under Test
  • Equivalent Model
d6247080b68a33b760f760868ea2c73c3d48cafa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Cross2 True Passed
  • Model Under Test
  • Equivalent Model
07f17b14737b2c0e525c1c07bd8cbf4712f7d7da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Cross2 False Passed
  • Model Under Test
  • Equivalent Model