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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
b953b85b24f6d98b2a0ab66be3ea048f82b97764 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
a7ef4cfdf0e9ed885b7ccf3188357bd403d5a094 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
7a880bbe14b360fdba945396ce2b4778daf0677c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
36c2b9969f7f2f51f8b22e6ce6c1185bd6f95626 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
e52ee992dca627de70582f5c792349660a282122 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
55468f007da6a41cef07b2f07beec4832d28bcb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
2c96dbce7db3e60b6e0418e09fa81e8eb4fed466 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
126804f36643e87d35c678b919ade49c57c37c36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
330853e96cb4a16050ddea374311252729c769b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
bb0e681c03c1eabf44984dd6938f0981cf84dd13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
ee5444ea09cf8921b0a20452e7c36343d9bf97fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
5523e88f692e1c914870058ca43d8e9fa42dd6fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
78962983c7fc1d70c924f27ee885f6ffa5708ad7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
065a527e90f0810677ecd016a389d40b8fc8f2e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
aef986f6360090cd3113d42027242a24f33a6b52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
f23cf0a7df8a379bd4e443ca72cd1ea2d6b63aa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
bfd47f1bd54ac098b6bd68342f9fed41ec6d69f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
a86d3f812b0fd11be8b732f295ee37346c014773 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
d2b1597cee981be1765ecfe9d52318766b899967 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
960cc2c199eb8a8101a732d1ad8f93328a4b762a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
dc09607c5d043c1e442c125217f9a93dba2b6257 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
2c5db570e1db96dfee89d73eb8b1fa406dc5ba04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
fe11e3f88ad01fb75109b53fcd4381c02626145e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
518a408d27b8b01123901fddb01eeca0ff7f996c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
e3a1c814fbfc4ce9a92a0680c0dc833ee5852023 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
0c2c6bdd537808eeb04bb916513cd5f49ea6e714 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
26e230e53220394f23cfab51a6339d8384bba618 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
ef8b53a3c25b9f4417d98fc4b977e5fc5c0c9dcc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
93a281aaeb5ed55da2eaededbdfdbe36ae9ccae5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
b7217a0c37078f78a57760b184beafdb01e59443 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
0acc8212585bde9c1996f95114628fc49b98b391 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
632cd38302a901f728a14032e12494498c83c3c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
9d1e19219ad766c6a1d44bef06bf38e8aacb71b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
a483982b651e611cb3dd759b8553ff1afa381221 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
2193eeda547f0a017b9863bd767974baff2736c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
2ff262a6360fadaade921e317fed04a129632b39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
e0e80b51a358aaccf8c85b5230b77ca100e2cd76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
15852b1914d34fff0c56ed4788f5311205fd28b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
b963305222c6a8414f9d4f3d86bd93868f9b8c1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
8cf56b0baeae7286c304192e81d31c0997761577 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
f9c78aad43e49151aab620c7097cf2e17172c40c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
cb4841a0ba6ee3065d495c75ff51cbf8957d1014 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
6e6ad229e5fb17c6cee90f1cdcfedb8ee40a1aba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
ddff1d439e212cf6e1d222755015b945f898ae80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
993d86633027ef3ca6e0bd693b95d1942daede63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
97b0e6be9954ad82d032233177ac1181b5a6cec0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
bf08b413c7ff6ace25616c4e155131ca7f7764df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
b66d2348d803534b58ee47634a6687a48f4dcb70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
d813acc0c9c4fa7f6f6e4577a882c30da853fb08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
f877cd06d8930702df6a24e448863635854bd99c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
2ac20370a591b921d92af7c8551cf761277b63bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
a7bbdf7be96a2038af1e3158a59a23222a1b6964 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
a314db9f8dbcdc67e47747a6466045d7c526fb06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
7d07230d5eb2a252a4368feadd47e631ce19101d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
029eb20d68ce2e77024a7c4c23df9ac1c06cad74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
f731ea53ca8dbae5ad375e7b43b1089920f36a16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
58a27baa353494363ca2f05b8395da133175cf41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
f956f09f1ae2b73c09db1c866efe29f134eca033 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
93ce4ce6721c2c747222465d55bf60f4feaaa4c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
707805c3eccf62d24b6830b7a04c87f2357b8fcc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
ebd90cc32246603d7eba6b540b7f96fc2528e287 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
8de65267ec6da21dcaa732ce04347dfe121ef71d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
25a20679a78972c6a267576faef78a9d1e8691d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
87f401e4294083d90a3fcede21d8e4323a71ed4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
93754bdb5111e92ee12ce79efe79bd43d107c32b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
7956f46396a495fe45508b4adc95aaa08a64dee2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
68096b9d4244f1bde42dfe9e4bfae26c85c53cbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
d004f09558ea29313c20d902f1b5d34e44f027e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
23851c4a13aaf3ffc43b181feb0bb88a010d7a2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
ce5d345801f3c0f360821a52738817bd4608af56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
a30867e24f2f4c044002bd6cf13523e3c17de22f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
703fca677537ab29d86c96e96b9a5fe9f8016295 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
d045492245d08b4abcad0acb5dffc0884b665b2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
4717077093a60649d569c1e7a89629b6dc0882d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
ab3b5f46a3d61556fe06262d5394d34da18b3031 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
e58a1d608e7cfae7c902d7ff5fdc72ff33e85d08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
acf8683c3a36b755fb8b0734d806ecb82caac326 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
5dc682629d075631703b00397644587a9c0b78c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
ee6252cb8076c141a30f22f3405bade59fd85e1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
93602d103ab5d9f4c57d6f8e4ec695776c2d5a70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
ae8a201ae7b5d9caf2119b9bb661790f2d28be87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
d1c2f42481cf72abcf43da670f2f303e598d9f7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
c908d30ca4cd9905fb6c8728d0884c060418a8a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
49c6a9975fe62645e25f342fc19be18654ea5982 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
33f4e1727b076473b9977021db73b3e0b3c7ac79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
13807cb10f7ab1a68e0c99a640d6a980e36853d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
f5db3f26fa48127ffdf83a5a9b66dedc16f7948d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
d6b9a8b8f929a741d6c786443ef51e9006198170 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
0abaf6fbd64381a31742d7ea33222e980a428944 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
2e24ba5a36cba6cae3f190492bd6263e0da86fde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
2d4e4f66d62cab4f21d4d66f75b24c15ab1480b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
a62fb63162342e060ed58bc440c2e50c81ed8746 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
a4cf56246075580bfe2e284654e1165dfc3d1d5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
8b1a2c97ed357e3008d40656d770e8f7cc7c46e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
030a38fab547d9e4d426b17050d05df204687a83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
4cdb8e913b1f7ece78732c18711f3f84d9ed63ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
e7241811b3dc4e7a048ded2390e1277c2a571c0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
4524f2a6faf3cfbec28c3e5979649c8d8149a04b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
d0899dd90c653bea1d8c6b6d407523d39b71b3ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
97bcdb46d905141a69b52f7b8d0eaed506267c43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
3077b1560323b97cee711b385ce0a4d562383bd6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
015ec5f1c4a0138e19940c5c0c2d24a96907de4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
ca37cbdfefbaa73bf86b025a764b5be6d732d310 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
98df2a90c72baa8332ffda8f95541ef504b5ddda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
6e7e5658c2ab7b903493a7cc38026a134feadb41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
e579ba166807840a4fc380a81716f394f9362eb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
c5075f4ccf0343fa0266ed8dc363ba87b19b432b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
2c9ee9ca94c0b31c9859723c913d1938164fadad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
51208b4b1823e8fddab2235ca19dec084f66e232 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
47a8591eb140b1d7de053f9a4e4323442854f50d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
3d1d9183f2ffd68e91cefccb45776031321d1d23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
d2ce2bb25f67037f2b16b5c94b00d8d217bf373a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
4906d4abff78d68945f45f23b60faed4813a5c92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
efe459927083cba6a26f12f781b87e726101a20a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
5ab909a32eebc6010b5619c6a628535a01899668 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
92330b9c20e2e41d60ccfbdc2966ec4f48c32a94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
6d95375c3340d0147c8f29ad5bcfc63e731e1966 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
5d28b93b8f40c213abc8758c695a400d2c2c948c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
43830d5a8ceed8bc529a1476be4e58ef44834c0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
f0cc8b36893667603ad7a579920792b147bf75ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
f3df8c5a4636218a9a700e543f07c1160efd7208 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
016a03d427445e58c8ce7c3c1b1cfe255f660bf0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
ae58cef5a672f1e1973b0100effc6dec2895aa3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
e00ea81437ee999fc26c53443a2d8c7a7ada9bf7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
52b203c8a41b5819788eef0d63a80952fd69823d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
8a5c473bb426e7f530539a2a81f48df8f6713dd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
3f3a27bfb25fcaafea7d6245e5b660399eb16990 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
974e83b18f62a4cc24c3c8d0733e08cb6b6dfb2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
2184d4092a3643d014954392c20389187010d0d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
29f48545df57de2d0e2262e6a350516a3b042adc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
27d014f359e360f8cad518d9478ab5789d4e9146 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
b6b3dd546458ba60309e9cc310e633c1163a401d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
0f31dc9a1a7377a062a5bc6359b35e7a77c3bf10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
7d23a90b3fd125505772b740943ffe9bc90b2d19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model