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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
cfd58327eb48943af64af9f78090afe14f5979e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Cross3 True Passed
  • Model Under Test
  • Equivalent Model
e02581c36bca3a2e4d18d1ae9748d48bde66bf24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Cross3 False Passed
  • Model Under Test
  • Equivalent Model
08e10230ee2ce61881e77361c8bdac9a06e99349 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Cross3 True Passed
  • Model Under Test
  • Equivalent Model
be91370c17ea58a66ce17b051f512416631640e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Cross3 False Passed
  • Model Under Test
  • Equivalent Model
3d383f0309ecc0d31d4452a6f8921b67bf50535b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Cross3 True Passed
  • Model Under Test
  • Equivalent Model
4d4d0932ccb6904efafc805320e4847d98496e93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Cross3 False Passed
  • Model Under Test
  • Equivalent Model
4a195ac898f99ac21e61db1f0e16c81f411fec8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Cross3 True Passed
  • Model Under Test
  • Equivalent Model
9e44724876cc26a679dbfac92d041ce15b5c5aca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Cross3 False Passed
  • Model Under Test
  • Equivalent Model
8d77fc87429092f9a228a068ddda2ad23351d6ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Cross3 True Passed
  • Model Under Test
  • Equivalent Model
80a5f94e764902f60ee1ed73ce3c1adf2f08883d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Cross3 False Passed
  • Model Under Test
  • Equivalent Model
d0c01ba84e21303efc2320696a4de2480b272221 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Cross3 True Passed
  • Model Under Test
  • Equivalent Model
fc089cf0a64eacc612666a1187f01e26002997e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Cross3 False Passed
  • Model Under Test
  • Equivalent Model
2e680f7cf249d02529cd7942eef90431dfa77737 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Cross3 True Passed
  • Model Under Test
  • Equivalent Model
6b7293f80b254f885c2fb12ef89cfbba2ad64f9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Cross3 False Passed
  • Model Under Test
  • Equivalent Model
2e7e5f9957128992f3c29ccafff62dc4a9387a94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Cross3 True Passed
  • Model Under Test
  • Equivalent Model
c20c07ca8ca5ff3a98155e59a89cf09c89c0d587 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Cross3 False Passed
  • Model Under Test
  • Equivalent Model
7fcec1e3b33262b71901e875f59e3660d453bc21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Cross3 True Passed
  • Model Under Test
  • Equivalent Model
61be6d62ad4e768225a55f07c2be5c00a2568224 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Cross3 False Passed
  • Model Under Test
  • Equivalent Model
47d2a086af6d0a11071d9702a5970bcd82b4fe52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Cross3 True Passed
  • Model Under Test
  • Equivalent Model
1fa19d25b68b3c9534db3e9cfe98c0ab1a0d0376 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Cross3 False Passed
  • Model Under Test
  • Equivalent Model
e9f087fb2a146a57333520403d8f6cc669092cdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Cross3 True Passed
  • Model Under Test
  • Equivalent Model
2ce7987be700fde5779648005e20bedf1103c3c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Cross3 False Passed
  • Model Under Test
  • Equivalent Model
990535dce5926e298449d673eefdc3ca6c8b896e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Cross3 True Passed
  • Model Under Test
  • Equivalent Model
a796bc982e7b5a1875aa96a08e445e69d22b7867 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Cross3 False Passed
  • Model Under Test
  • Equivalent Model
fe262f53269da1f315bd0693a02eacde5c966472 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Cross3 True Passed
  • Model Under Test
  • Equivalent Model
b1851a5cd5f6c6bab0dbfab7dc7daf530cf9f45e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Cross3 False Passed
  • Model Under Test
  • Equivalent Model
801f6c8521d5ff153bfff5f3d160113dd32fbbf7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Cross3 True Passed
  • Model Under Test
  • Equivalent Model
f78b37a4d29b8b72675ff5f96524c398c06324d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Cross3 False Passed
  • Model Under Test
  • Equivalent Model
2da62a1feb0994c7575d9674df7a643dc3e8c988 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Cross3 True Passed
  • Model Under Test
  • Equivalent Model
6f0d9a2110c16f1040514dde5937a6258f915bc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Cross3 False Passed
  • Model Under Test
  • Equivalent Model
0a610603ed926c2436cf4cc7f95e3923649999f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Cross3 True Passed
  • Model Under Test
  • Equivalent Model
1cc80f3c0efceee81b718469611ae6fea65e1e9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Cross3 False Passed
  • Model Under Test
  • Equivalent Model
dd1071e49a4a7ae19d3c229ff94ae5db61aa6e87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Cross3 True Passed
  • Model Under Test
  • Equivalent Model
85cd06918daa33c960dbae447c9789274fc28560 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Cross3 False Passed
  • Model Under Test
  • Equivalent Model
078edf80afa33dd959375cd8c3248e896301cc15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Cross3 True Passed
  • Model Under Test
  • Equivalent Model
d594a686d326b3b96a4e27777d9425015d36aaab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Cross3 False Passed
  • Model Under Test
  • Equivalent Model
e6965a31482c40e210ca0ca768c23466929ad36c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Cross3 True Passed
  • Model Under Test
  • Equivalent Model
afdbd629be64649e7e954df311c16fe370629ef8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Cross3 False Passed
  • Model Under Test
  • Equivalent Model
18c972b66687088e3dc8407f2ad1132a35360af8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Cross3 True Passed
  • Model Under Test
  • Equivalent Model
2a6ea087841301d3015ed6fdacac7606120166f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Cross3 False Passed
  • Model Under Test
  • Equivalent Model
707662a24b5f3b89a6bf75bc52f93d3deeeda01d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Cross3 True Passed
  • Model Under Test
  • Equivalent Model
933177dc373f578f1c51bfa9c4ac2c6f029aed5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Cross3 False Passed
  • Model Under Test
  • Equivalent Model
56237231d78cc2342d6f45faeb84128fd57a2910 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Cross3 True Passed
  • Model Under Test
  • Equivalent Model
e8cbc52625ef0188d9c102a5a1a0d0e6a005c345 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Cross3 False Passed
  • Model Under Test
  • Equivalent Model
b209952a7df6d7378c53bc02a3fcffb1ea847265 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Cross3 True Passed
  • Model Under Test
  • Equivalent Model
cb6af4587fe0165abdb69a9020147432ee49470d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Cross3 False Passed
  • Model Under Test
  • Equivalent Model
b60fc3b8c8b2325b948d34423dc12a97ce76885e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Cross3 True Passed
  • Model Under Test
  • Equivalent Model
56131ad1d61e8f53bcd8adcef862807cf0a8874f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Cross3 False Passed
  • Model Under Test
  • Equivalent Model
fad2041acf58fd312c52cbedce7a26feb690dd35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Cross3 True Passed
  • Model Under Test
  • Equivalent Model
6bd39d72a070f2135cb4fe35036e85de2c722b12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Cross3 False Passed
  • Model Under Test
  • Equivalent Model
2e40f1b019203e2a2b83a6e983fc39a42402cf29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Cross3 True Passed
  • Model Under Test
  • Equivalent Model
14cbc7292ddd4ec362d41e3f807bb8fb5b26a164 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Cross3 False Passed
  • Model Under Test
  • Equivalent Model
1d2f73f4ef8719625ff379ecceb9c2f05a0d0b3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Cross3 True Passed
  • Model Under Test
  • Equivalent Model
fa4ea0c259f723b98030455fa3a928627818c6ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Cross3 False Passed
  • Model Under Test
  • Equivalent Model
e65fd39de1a3d6ce55f31509b610860097943250 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Cross3 True Passed
  • Model Under Test
  • Equivalent Model
c2ee9da1766ab339393f01aa021f3fdc016077e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Cross3 False Passed
  • Model Under Test
  • Equivalent Model
83c2eadb784311fe208add49aa0e19abb48757df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Cross3 True Passed
  • Model Under Test
  • Equivalent Model
6adc4913df9f55110806ff441c88761659f40ee7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Cross3 False Passed
  • Model Under Test
  • Equivalent Model
aea4e0c52804f0aff71c05e5e3ad84e2666f9273 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Cross3 True Passed
  • Model Under Test
  • Equivalent Model
d6131bd6c40e7b07431319a803206bc21358be46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Cross3 False Passed
  • Model Under Test
  • Equivalent Model
770af5931963a34667ce19aafcebe29bad3c7117 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Cross3 True Passed
  • Model Under Test
  • Equivalent Model
703ff370315be98b2a096bdc86382f319801faf5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Cross3 False Passed
  • Model Under Test
  • Equivalent Model
d21fd4ad53ee3a572657fa4b5cfbcea299648c92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Cross3 True Passed
  • Model Under Test
  • Equivalent Model
fd16c3d945d6e690c4ece3e91580dfb106074716 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Cross3 False Passed
  • Model Under Test
  • Equivalent Model
9ffe7255430870e16329323e2c9ba43fefab4d6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Cross3 True Passed
  • Model Under Test
  • Equivalent Model
91a388064c5b27e4425671d01ed31ab5bc9f42bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Cross3 False Passed
  • Model Under Test
  • Equivalent Model
acde55c4fa264964742bedbf90cf1f3ce8565f20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Cross3 True Passed
  • Model Under Test
  • Equivalent Model
7a2e0c667290a069ed856b21edcc4a85079302b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Cross3 False Passed
  • Model Under Test
  • Equivalent Model
e2b2979c532b6ae5c3491c34ed598969484f020b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Cross3 True Passed
  • Model Under Test
  • Equivalent Model
0c5df502cafcc833199b04948917a6f9f13b7e00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Cross3 False Passed
  • Model Under Test
  • Equivalent Model
8cd5d6d94d3506ba4f51ea3242e8f11fcf279c88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Cross3 True Passed
  • Model Under Test
  • Equivalent Model
ec7d8263c85e320468bc28f25e87d33a690190b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Cross3 False Passed
  • Model Under Test
  • Equivalent Model
2e2f680b4d2de003e93f83c2c48dcb7b6de4356f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Cross3 True Passed
  • Model Under Test
  • Equivalent Model
4963a76e96789f22de9dadb83a489d8b98d4cbb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Cross3 False Passed
  • Model Under Test
  • Equivalent Model
50446ffc3ee040d9235e4b3e5892dbf9ed130c92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Cross3 True Passed
  • Model Under Test
  • Equivalent Model
d45d2fd316b27d07e14e17f15ffc946b9ee1e2dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Cross3 False Passed
  • Model Under Test
  • Equivalent Model
2715915900ab5ab6ca78c48d95023f3311478177 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Cross3 True Passed
  • Model Under Test
  • Equivalent Model
b2d22ebe7bf134e3e72076614aeaa204d6b106eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Cross3 False Passed
  • Model Under Test
  • Equivalent Model
099fba635a3141bb6d115b74fa6974de18c8b427 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Cross3 True Passed
  • Model Under Test
  • Equivalent Model
bb6b8fe9fac65bdb9a181412cb94cdbefbf59e50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Cross3 False Passed
  • Model Under Test
  • Equivalent Model
cc09568460eda037c30cb78fbd412d431da7d170 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Cross3 True Passed
  • Model Under Test
  • Equivalent Model
bc0a242d8d36110757b71cb7c7593da419f1c781 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Cross3 False Passed
  • Model Under Test
  • Equivalent Model
3a43192de469bb2359075be39b9f9ec659eb5fab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Cross3 True Passed
  • Model Under Test
  • Equivalent Model
ebd36a4bb5c1423b32a8ef559ef58134ee96b616 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Cross3 False Passed
  • Model Under Test
  • Equivalent Model
08ceb88a87bf34ffb3bd790e63c7eba83e58cd81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Cross3 True Passed
  • Model Under Test
  • Equivalent Model
3bcd96f4f480d496bdd0e82a222f799091a46e4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Cross3 False Passed
  • Model Under Test
  • Equivalent Model
5845da539448d6bcb20fe2fc46657b869db174c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Cross3 True Passed
  • Model Under Test
  • Equivalent Model
6fd7162a74e8a7c7ab333420165e4626d41d1448 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Cross3 False Passed
  • Model Under Test
  • Equivalent Model
f0821510c8c45bf34307c10794d20abdbd1b21e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Cross3 True Passed
  • Model Under Test
  • Equivalent Model
15e62180156872994c3f34a57e16cbfdc69ab7a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Cross3 False Passed
  • Model Under Test
  • Equivalent Model
e2f92e67484b58c5e5a69b15a670f86c863c79a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Cross3 True Passed
  • Model Under Test
  • Equivalent Model
8e46995df0df98bf7125c29a535afe63fb284b53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Cross3 False Passed
  • Model Under Test
  • Equivalent Model
2731f2cf3b28ccc6163d991d095818e9a4f72c59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Cross3 True Passed
  • Model Under Test
  • Equivalent Model
084f46f80bbfbe9a50e687d7f4ace3f25ea9e427 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Cross3 False Passed
  • Model Under Test
  • Equivalent Model
77c0a710a760d4fadef882919ca360c885e95070 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Cross3 True Passed
  • Model Under Test
  • Equivalent Model
2d03efc39f9e052b3b88cebd593e8be9ff9f3751 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Cross3 False Passed
  • Model Under Test
  • Equivalent Model
9901694bb803ca4e5fa9065f46d3877f4b2205f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Cross3 True Passed
  • Model Under Test
  • Equivalent Model
9e128928555809f2e2eeeda7abbaddbf0453154b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Cross3 False Passed
  • Model Under Test
  • Equivalent Model
a1ceb3a6a6a33991bd51d400c5da44ce26eacd15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Cross3 True Passed
  • Model Under Test
  • Equivalent Model
cc2cb3851bbadb896f78a9672030c625399283cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Cross3 False Passed
  • Model Under Test
  • Equivalent Model
0093062e1e08d217fad451573c45b32a074cb751 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Cross3 True Passed
  • Model Under Test
  • Equivalent Model
5aeaed3c527e3c4f5e3835f9ab64be6fea99096e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Cross3 False Passed
  • Model Under Test
  • Equivalent Model
11de3a032a1faa60f48384b835d04ab75622095e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Cross3 True Passed
  • Model Under Test
  • Equivalent Model
60fbdccb62d3a5a26f6e3d79fe6f41933acf8291 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Cross3 False Passed
  • Model Under Test
  • Equivalent Model
bb90555cb1fc04bcf3cdb052288f2726844bfd5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Cross3 True Passed
  • Model Under Test
  • Equivalent Model
921dc868c41433a330d1469550b00e009390a76a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Cross3 False Passed
  • Model Under Test
  • Equivalent Model
b135e2a241de51d9c52959f24f40a607c4613ddf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Cross3 True Passed
  • Model Under Test
  • Equivalent Model
992871945706234ccf88d877a020591d28551b1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Cross3 False Passed
  • Model Under Test
  • Equivalent Model
8f43ec62d9f061c2dee6c1339e9f6151849b35d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Cross3 True Passed
  • Model Under Test
  • Equivalent Model
d13ec826932e39578eb432b412a0bb8f8bbb4423 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Cross3 False Passed
  • Model Under Test
  • Equivalent Model
c25860b3134cd24a22922ad36874f4cfab0b6885 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Cross3 True Passed
  • Model Under Test
  • Equivalent Model
00d0ea0b657f43a188d6a44217aa18dfe162ec58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Cross3 False Passed
  • Model Under Test
  • Equivalent Model
483e6209fefc6712afcc57a662cc3e1380c3d805 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Cross3 True Passed
  • Model Under Test
  • Equivalent Model
44e70dd74aa7a8cbf9d151c60be71ab3c0a64e4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Cross3 False Passed
  • Model Under Test
  • Equivalent Model
4c566d5e21aca21ab6c890028875b3a44f6db7d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Cross3 True Passed
  • Model Under Test
  • Equivalent Model
c5c6d3d056b56f3c3a15398a26bb5d989c48c8a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Cross3 False Passed
  • Model Under Test
  • Equivalent Model
d7af84f8da28bbb76aa251b3e4ee0b853f55b999 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Cross3 True Passed
  • Model Under Test
  • Equivalent Model
fbdd812870951a132e27a565434c7c7a5bf97bed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Cross3 False Passed
  • Model Under Test
  • Equivalent Model
fc5bb7bf894c74b732770c2d80fe3ae327c6fe4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Cross3 True Passed
  • Model Under Test
  • Equivalent Model
d64125fda9dedc4c12d38a98e00ea52bc73b4487 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Cross3 False Passed
  • Model Under Test
  • Equivalent Model
80ce644985f43832738cdf2ceb13ca416f50ac3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Cross3 True Passed
  • Model Under Test
  • Equivalent Model
030e7304c1ce04dd8e0ea2aab62b16cd5d98371c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Cross3 False Passed
  • Model Under Test
  • Equivalent Model
7fa542afd3848e429bf109cdb938d10db265403d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Cross3 True Passed
  • Model Under Test
  • Equivalent Model
cbc175a8a7db91845a423d407eca09b62a2a7630 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Cross3 False Passed
  • Model Under Test
  • Equivalent Model
abb7efea4cbdc17fe6a623c6392ce263b037494b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Cross3 True Passed
  • Model Under Test
  • Equivalent Model
7c249ee66d9bf2aa1d9df4f08fbdf2c01968b4d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Cross3 False Passed
  • Model Under Test
  • Equivalent Model
50759fce2907f370beb54313608e4e5dc30d9f3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Cross3 True Passed
  • Model Under Test
  • Equivalent Model
8f80452a52e0e01325ac6ea397bc95ee97640427 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Cross3 False Passed
  • Model Under Test
  • Equivalent Model
02609e73c68dd1b3064f10e7e0a2dbffc0261ef7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Cross3 True Passed
  • Model Under Test
  • Equivalent Model
6048321bd6ae89c565ce76e7cd96137d92ad939f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Cross3 False Passed
  • Model Under Test
  • Equivalent Model
c02e481c0ee27ce9daf63ff4fce0ae72157fe9a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Cross3 True Passed
  • Model Under Test
  • Equivalent Model
d7b900bc340af8ff2058174d220400aa5ea8f40e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Cross3 False Passed
  • Model Under Test
  • Equivalent Model
222b64ed5253b3ef3a591faf28cbacfa07f22c0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Cross3 True Passed
  • Model Under Test
  • Equivalent Model
ba173f39eae4d3878f1dfe7569405dbc71572186 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Cross3 False Passed
  • Model Under Test
  • Equivalent Model