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 Def0; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
8fb9ec906757a4577fea1f05f0477b63a962cc30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Def0 True Passed
  • Model Under Test
  • Equivalent Model
229e0ec399aa7d15dd37045f00ac598bf188f15a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Def0 False Passed
  • Model Under Test
  • Equivalent Model
c8949520aa9269509dfb54f982348e69f1c5ed16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Def0 True Passed
  • Model Under Test
  • Equivalent Model
ae14909834278b2ee40b27f0e0e5c1ce4603c659 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Def0 False Passed
  • Model Under Test
  • Equivalent Model
0616c4af237f61c715e848237791465bb55f5081 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Def0 True Passed
  • Model Under Test
  • Equivalent Model
f8690996a5ff79b6ed78abd018269ea7bc914203 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Def0 False Passed
  • Model Under Test
  • Equivalent Model
27e529f9e5ede0f37c7754d02d65a5c5743c9980 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Def0 True Passed
  • Model Under Test
  • Equivalent Model
a905354e85a3d39e1bc9bd0f807d71b91a960d54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Def0 False Passed
  • Model Under Test
  • Equivalent Model
5813758f8a0ab358b61e70f3ee1fcece39f60d54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Def0 True Passed
  • Model Under Test
  • Equivalent Model
efecd6b002b33d977aae57f97eb87d54ba395dca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Def0 False Passed
  • Model Under Test
  • Equivalent Model
dcffd463f1e78066ede2c0a3612eff6a4002e282 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Def0 True Passed
  • Model Under Test
  • Equivalent Model
d8bf8e79a080867e25617dd801bb5fe756804c6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Def0 False Passed
  • Model Under Test
  • Equivalent Model
9ed4f7b4c3e3ef864df296b253cf2c7448cac3a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Def0 True Passed
  • Model Under Test
  • Equivalent Model
9fe37f20223c6479d92bac1a09a6e26460dbdd1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Def0 False Passed
  • Model Under Test
  • Equivalent Model
2452ee57118eb58f62234a3197a6f0a5db81a3c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Def0 True Passed
  • Model Under Test
  • Equivalent Model
bc56c23012be6a8475a07e3109220fa383d3e259 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Def0 False Passed
  • Model Under Test
  • Equivalent Model
a819980e9ece430346c8baa94e1b7ec54c819dd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Def0 True Passed
  • Model Under Test
  • Equivalent Model
be43658d834986f9e0ec08ac11b77232984cbd3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Def0 False Passed
  • Model Under Test
  • Equivalent Model
ae896d64df6587d322a97a8097e6c5f9d7b936b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Def0 True Passed
  • Model Under Test
  • Equivalent Model
06160236d3215ab1ec6d353e158083172f32093e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Def0 False Passed
  • Model Under Test
  • Equivalent Model
d18c82169178b7b09737528124e6edd3b493eafc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Def0 True Passed
  • Model Under Test
  • Equivalent Model
28b5fe536afb83adbc1913e25b146dbd16664cbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Def0 False Passed
  • Model Under Test
  • Equivalent Model
8cfdbc8c6912fc9a81e7323a1f1cd4a65e8f2c5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Def0 True Passed
  • Model Under Test
  • Equivalent Model
1695ecd4306998002b069cdd343491d9302902a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Def0 False Passed
  • Model Under Test
  • Equivalent Model
8d52dc947a77e6eb051ab43fae028183d300aa05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Def0 True Passed
  • Model Under Test
  • Equivalent Model
74cec45c2c7efe5e9cca3e930422317c956ceed0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Def0 False Passed
  • Model Under Test
  • Equivalent Model
081426ea372070fe188b014857b1ceb00e89a4b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Def0 True Passed
  • Model Under Test
  • Equivalent Model
0a9403f9026334ff11fb7d8bbaa8a5f157286fed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Def0 False Passed
  • Model Under Test
  • Equivalent Model
6b5aad5193a0359edf8b76de461145f1316839e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Def0 True Passed
  • Model Under Test
  • Equivalent Model
a9af2d953e0e92f5a67dfc3e3f34a7888cde5b46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Def0 False Passed
  • Model Under Test
  • Equivalent Model
605342feea6ed222496269fb6c12ef7b12ff8269 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Def0 True Passed
  • Model Under Test
  • Equivalent Model
0dab73e96b20abb87351f139291a20a68068716a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Def0 False Passed
  • Model Under Test
  • Equivalent Model
1c5ab9de5e3f0008524696a6b6ddd94541bff97a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Def0 True Passed
  • Model Under Test
  • Equivalent Model
e9b0038c9362c8d4f76613ae0b9901fa59243df7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Def0 False Passed
  • Model Under Test
  • Equivalent Model
5e7581c2f763cf8c7fff8e69e5ac9d82c75bb17e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Def0 True Passed
  • Model Under Test
  • Equivalent Model
679374159f2e498348f7fa2a7025a955461aa2c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Def0 False Passed
  • Model Under Test
  • Equivalent Model
80acf6debcdd4ee5391e516ca9618bee72833ac8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Def0 True Passed
  • Model Under Test
  • Equivalent Model
71fc613ee2da6cf6c529f9509a1e185f6d6cc8de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Def0 False Passed
  • Model Under Test
  • Equivalent Model
ebaa9bb41606d467be64463b12c857296545aa87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Def0 True Passed
  • Model Under Test
  • Equivalent Model
399d3309f324c2073c6eec4fe236004097257058 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Def0 False Passed
  • Model Under Test
  • Equivalent Model
2ac53d877ee8078a620647d78c03b00aa2d4cdb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Def0 True Passed
  • Model Under Test
  • Equivalent Model
a9fca5fd54fbad901de95503e4e6a000a748f689 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Def0 False Passed
  • Model Under Test
  • Equivalent Model
7d365e316ae9fbed36f1a45c90a04b13e11e0ae1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Def0 True Passed
  • Model Under Test
  • Equivalent Model
d60802a6f4321171dc5e9ae607513169478dca6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Def0 False Passed
  • Model Under Test
  • Equivalent Model
8b09f2fa5c00570de6d7b948804241b64c89a8f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Def0 True Passed
  • Model Under Test
  • Equivalent Model
8eccbed8fdf998dc04ceeca58c9214c4984b69d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Def0 False Passed
  • Model Under Test
  • Equivalent Model
7c06caf0a0b5802254fda76c817e52d63e476952 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Def0 True Passed
  • Model Under Test
  • Equivalent Model
afaec351c16ffd780973068a54cfe32602e874e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Def0 False Passed
  • Model Under Test
  • Equivalent Model
6528b8004ca851c76236e1306bc1a780e0e48a78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Def0 True Passed
  • Model Under Test
  • Equivalent Model
1fb1bb5d9b7d90bdd475d570be9abdc5e75c0507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Def0 False Passed
  • Model Under Test
  • Equivalent Model
8b105d9bdcaec6a2ef0b77394ae628717129f595 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Def0 True Passed
  • Model Under Test
  • Equivalent Model
6d622bb3f75d04a4a5306e8f149077db418df78f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Def0 False Passed
  • Model Under Test
  • Equivalent Model
900d0e342ef1940580226e9a06bf811f08f07098 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Def0 True Passed
  • Model Under Test
  • Equivalent Model
532ed0eb2807d8e7b2e084c1dcd3f9f79328a6f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Def0 False Passed
  • Model Under Test
  • Equivalent Model
5f2dd5227c53980c633ec30f994cd4e35df34a91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Def0 True Passed
  • Model Under Test
  • Equivalent Model
4514d5af275ace8c956c30bf4aa2b25514f6b88f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Def0 False Passed
  • Model Under Test
  • Equivalent Model
e5b17718ae2f6b8b0c6e4d969cae9366e3c84b64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Def0 True Passed
  • Model Under Test
  • Equivalent Model
5da5cf0e693b28e3ce6884ae829567e0e9255615 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Def0 False Passed
  • Model Under Test
  • Equivalent Model
282aa74a2b95572dc77a23c3311ae1b4797949ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple Def0 True Passed
  • Model Under Test
  • Equivalent Model
ef264dd27bb9a1e316f4843136d75b4811be695f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple Def0 False Passed
  • Model Under Test
  • Equivalent Model
3b3b33bf64b97d919610cf8563c9523fef53c980 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Def0 True Passed
  • Model Under Test
  • Equivalent Model
623bbf4c924ea86ffe02e84e598df0810f359f17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Def0 False Passed
  • Model Under Test
  • Equivalent Model
d4a2068045d7aab605fbf41c93b381d1bc07e764 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Def0 True Passed
  • Model Under Test
  • Equivalent Model
e0f48202bcbe76a71d78d69cf6f407f279ec7fe6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Def0 False Passed
  • Model Under Test
  • Equivalent Model
5faea408a2fb26b6869a407ab39fad9f5166107d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Def0 True Passed
  • Model Under Test
  • Equivalent Model
317859a4d2050097a6d8ec40ecf05cbda1e6abd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Def0 False Passed
  • Model Under Test
  • Equivalent Model
a5c7d0bbd6ff50ec257d08ca5d8617618533c3e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Def0 True Passed
  • Model Under Test
  • Equivalent Model
51d69d38124cbaa643ef1ab0829f2d9f65480516 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Def0 False Passed
  • Model Under Test
  • Equivalent Model
888fbe9cb06f98e5cc93248728a678b912aad061 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Def0 True Passed
  • Model Under Test
  • Equivalent Model
c6b415f1f72615f2afbaeabc246a6c2626ac45d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Def0 False Passed
  • Model Under Test
  • Equivalent Model
6b13f518c70e5113d4d4dd71f8b35fe981c95828 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Def0 True Passed
  • Model Under Test
  • Equivalent Model
53cc48f7d2c4baf9d20688c2fc4d3f8ba68c8b3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Def0 False Passed
  • Model Under Test
  • Equivalent Model
688ec4a321d1f9b8f17df6ce545488ac862dd426 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Def0 True Passed
  • Model Under Test
  • Equivalent Model
9d26e1eaad48a8a34f05b21bb8a0fa76081bd45b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Def0 False Passed
  • Model Under Test
  • Equivalent Model
8538eb2951268d63d66e0447ae9dcb0c02321c58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Def0 True Passed
  • Model Under Test
  • Equivalent Model
6dfb1836fc16a34f86e3528ee2b5c6e10a73dfb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Def0 False Passed
  • Model Under Test
  • Equivalent Model
19df8b5484c79ac82e212b74611c84fd22a67a7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt Def0 True Passed
  • Model Under Test
  • Equivalent Model
a8cfbfe6ae4aa6f21f4bb1c627244451da801572 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt Def0 False Passed
  • Model Under Test
  • Equivalent Model
ef15c7c0f689ae3ad5c14f46c5572486f1e03363 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Def0 True Passed
  • Model Under Test
  • Equivalent Model
0db32a5159effae750a73d4b347de14efd5fc078 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Def0 False Passed
  • Model Under Test
  • Equivalent Model
9415baa3cc78c42db82c68e3520748cec0d9b3c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Def0 True Passed
  • Model Under Test
  • Equivalent Model
a682b0cfe00253ccc2b4947ee978d5b8baab4dff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Def0 False Passed
  • Model Under Test
  • Equivalent Model
7a8ad27adc16a8ed2aaaf915f47f22177b4f2c8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Def0 True Passed
  • Model Under Test
  • Equivalent Model
c116a6596ae540e0ee669cf14b86ea7df2c5d6a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Def0 False Passed
  • Model Under Test
  • Equivalent Model
5ebdf3d629e0408dacb7b4154327567fca3deedf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Def0 True Passed
  • Model Under Test
  • Equivalent Model
55268ae4d8bc55db10158c7e7e93785ba9c99415 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Def0 False Passed
  • Model Under Test
  • Equivalent Model
6a24c1d39a800f71c1b4529caf2006134a904112 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Def0 True Passed
  • Model Under Test
  • Equivalent Model
5410351351df412ae923861255ed09ca612d088c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Def0 False Passed
  • Model Under Test
  • Equivalent Model
49d0690b1d2004845dfe6ac386d9ef81117c50bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Def0 True Passed
  • Model Under Test
  • Equivalent Model
b20de7ee8a1a40760a2dc8b95fb777a017e52951 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Def0 False Passed
  • Model Under Test
  • Equivalent Model
b41c9ee14676af460540da952069e9b392f5ba2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Def0 True Passed
  • Model Under Test
  • Equivalent Model
a04781673cc49bd3b1c2b2bce0e468339c4af836 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Def0 False Passed
  • Model Under Test
  • Equivalent Model
2b8aca45031c3681eef7c75e2b5545146aed7b41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Def0 True Passed
  • Model Under Test
  • Equivalent Model
9481a7647fdd440d9d0b965a936c4a30ba6f2570 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Def0 False Passed
  • Model Under Test
  • Equivalent Model
cc66c98ec8d719c6f047b65ef227a06326b15ee0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Def0 True Passed
  • Model Under Test
  • Equivalent Model
710d1b4de18d91a07da73fdbf63dd92fd4a24cda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Def0 False Passed
  • Model Under Test
  • Equivalent Model
5d78a0bb440b28d972cb4c4d9c3242febba39cf5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Def0 True Passed
  • Model Under Test
  • Equivalent Model
2a23adefcef261e22d2b0b38b42641d8c523e658 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Def0 False Passed
  • Model Under Test
  • Equivalent Model
28b765dc8f4cf8e948f86713cf37445eecf30323 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Def0 True Passed
  • Model Under Test
  • Equivalent Model
c4a4523f7128c5fa8cee199b9a103d99c19617fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Def0 False Passed
  • Model Under Test
  • Equivalent Model
49497fd24cde9b5246f74fb32a8223aa34a61e4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Def0 True Passed
  • Model Under Test
  • Equivalent Model
98c55f498f8c207bd9a92232c577f7b93d3dd53a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Def0 False Passed
  • Model Under Test
  • Equivalent Model
10b4ed8e6eaf805c6fce52d42c55375ed1eae9b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Def0 True Passed
  • Model Under Test
  • Equivalent Model
208d540023f65f6985b124a36f2c6a27cf496b68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Def0 False Passed
  • Model Under Test
  • Equivalent Model
cb9d264a7c3384a1d5251c7d8fa41621d85e7b0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Def0 True Passed
  • Model Under Test
  • Equivalent Model
d4124784ee9f0ddbe1a5f4522b5cc7d8a0eb8aba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Def0 False Passed
  • Model Under Test
  • Equivalent Model
248b8336e0c8aa7491be53d96c13bc7402720402 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Def0 True Passed
  • Model Under Test
  • Equivalent Model
ef1b8506dd185ebefb65a705ca4e69a7d4b66fbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Def0 False Passed
  • Model Under Test
  • Equivalent Model
217a19857966cfc4a474343c5ae1ad0fd93e4ba1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Def0 True Passed
  • Model Under Test
  • Equivalent Model
b76ea1e5a28f7d3c9f542070c482edd38caf53be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Def0 False Passed
  • Model Under Test
  • Equivalent Model
348cdd05c80de0f23b5a6966d368bd95387a42a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Def0 True Passed
  • Model Under Test
  • Equivalent Model
bb40682fd141570310d00026a6e2f378ca55ec92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Def0 False Passed
  • Model Under Test
  • Equivalent Model
36c18181d9af791d4959f9d47c2aa40761aa9ba5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Def0 True Passed
  • Model Under Test
  • Equivalent Model
dca4e93bb0c780d54b556488603fb5ef765b33c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Def0 False Passed
  • Model Under Test
  • Equivalent Model
b73c68eef2189e2fd29b581722d038887a7f3bbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Def0 True Passed
  • Model Under Test
  • Equivalent Model
b474bcee69c58e31524e0e20989d99e2aec740ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Def0 False Passed
  • Model Under Test
  • Equivalent Model
5d74dafcb2f7687491f8f68cd9b785a20c1e912b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Def0 True Passed
  • Model Under Test
  • Equivalent Model
db9a28d43b7c8664fa919d6fc2dfb967f65cb961 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Def0 False Passed
  • Model Under Test
  • Equivalent Model
2de80fa09f25eb61f53c395cadcf124ca648bda8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Def0 True Passed
  • Model Under Test
  • Equivalent Model
e1d0ec09d64709c34589a55e3a57a5611193e2d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Def0 False Passed
  • Model Under Test
  • Equivalent Model
fe4217eb43ea005ef3273f7198b5b5faa1428611 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Def0 True Passed
  • Model Under Test
  • Equivalent Model
c60ff3815141cfbfffd6d1438dd77270be85fa4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Def0 False Passed
  • Model Under Test
  • Equivalent Model
e787f2a675862220d561320d18af37877863ad8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Def0 True Passed
  • Model Under Test
  • Equivalent Model
309df2cb25fcf5af4dd2e2b9d53b1fbb302c58a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Def0 False Passed
  • Model Under Test
  • Equivalent Model
fce2b5aeb339565629ea5ad19bbfb2e14512f50d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Def0 True Passed
  • Model Under Test
  • Equivalent Model
12d9c1affab93ec1f34ece27ec16dae0660eda46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Def0 False Passed
  • Model Under Test
  • Equivalent Model
7b264bd5aa94490297ff464914fc2619b7dd1fdb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Def0 True Passed
  • Model Under Test
  • Equivalent Model
a1732ba4ed9dc8bcae87337d18e8e6e938741484 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Def0 False Passed
  • Model Under Test
  • Equivalent Model
7407a9facb966bfdba6f977d57f35235d896272c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Def0 True Passed
  • Model Under Test
  • Equivalent Model
4e1871623a1d8f61ecabfe0d4f7a16a1523a7574 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Def0 False Passed
  • Model Under Test
  • Equivalent Model
82157f5c3a2293cda4b5f8603622f8dcff3e759b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Def0 True Passed
  • Model Under Test
  • Equivalent Model
bb288752bc03c21a81e8203c7368da43cdaad960 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Def0 False Passed
  • Model Under Test
  • Equivalent Model
ba1271faa84ce440fc88927429923ea382caf4b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Def0 True Passed
  • Model Under Test
  • Equivalent Model
a6d5fc5aa6502c30c57b641389e7dbf08ab8e48b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Def0 False Passed
  • Model Under Test
  • Equivalent Model
3bc6556124cbb6fe2976b62c6ee1ad274d59c616 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Def0 True Passed
  • Model Under Test
  • Equivalent Model
f44ca0a1ba10ec06a90f195b599770e0f7dae49e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Def0 False Passed
  • Model Under Test
  • Equivalent Model
96e70c62b3875110293fb72b1f8d1772c3ed95a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Def0 True Passed
  • Model Under Test
  • Equivalent Model
96962626cece384c42cc1b34db8fcdd8765fcd1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Def0 False Passed
  • Model Under Test
  • Equivalent Model
bafd010e1de9c854297f6471228860ddb0df321a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Def0 True Passed
  • Model Under Test
  • Equivalent Model
428f4f098f37d1bcfa751b58e40c8ec1bc87275d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Def0 False Passed
  • Model Under Test
  • Equivalent Model
f53a9574be97d6403a402564f22730ba0bc1063d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Def0 True Passed
  • Model Under Test
  • Equivalent Model
48642eaafd2d344fbc111ed18f1d5c55e2973bba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Def0 False Passed
  • Model Under Test
  • Equivalent Model
5726dd8d1b80a19a7793ea124a6fe0654433471d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Def0 True Passed
  • Model Under Test
  • Equivalent Model
b552162b8dd936b1426ca18e25f0867dc0953314 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Def0 False Passed
  • Model Under Test
  • Equivalent Model
6eb29d887e4c15c59f6e29a9e717724b77b8007c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Def0 True Passed
  • Model Under Test
  • Equivalent Model
14ae64014e6c84d741c0030eeb753e9d2c76734b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Def0 False Passed
  • Model Under Test
  • Equivalent Model
9bcd695055a8074a4263bba6c93ce4b6f9f892f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Def0 True Passed
  • Model Under Test
  • Equivalent Model
8b091d0368fede7091b0103cecf11476a5a4c74a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Def0 False Passed
  • Model Under Test
  • Equivalent Model
7006e01989fc43fef35292d088ee042a39836dfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Def0 True Passed
  • Model Under Test
  • Equivalent Model
104bb6481f607c11433496e1d0b22f9b9c5f3fef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Def0 False Passed
  • Model Under Test
  • Equivalent Model
8d5b4509a7f95021054dfe949f54ff6f71d95803 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Def0 True Passed
  • Model Under Test
  • Equivalent Model
800902e81959a7a4aba30e2d6ec404766b5a9c25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Def0 False Passed
  • Model Under Test
  • Equivalent Model
55c59d7433b78bddbced5747c90d317eaffda656 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Def0 True Passed
  • Model Under Test
  • Equivalent Model
63896fe81cf06c2905926d0e33309964de7bb92d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Def0 False Passed
  • Model Under Test
  • Equivalent Model
b3d7d67e7d7830d65226c2239f42361ccf101a0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Def0 True Passed
  • Model Under Test
  • Equivalent Model
be1058cbea77503317cf11700481faa1e2924964 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Def0 False Passed
  • Model Under Test
  • Equivalent Model
914af7e54da46e74139b2da741e98d426e645116 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Def0 True Passed
  • Model Under Test
  • Equivalent Model
a331c2daf0324690a215cb03673ac9bce81ef872 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Def0 False Passed
  • Model Under Test
  • Equivalent Model
36218ea6bc7dc5692a09f79462414b9c37f642db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Def0 True Passed
  • Model Under Test
  • Equivalent Model
3a1b911a41e9bb8e42c2463102b855c301da6b70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Def0 False Passed
  • Model Under Test
  • Equivalent Model
977f014e4960b3531b9bd644b166d535a270226d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Def0 True Passed
  • Model Under Test
  • Equivalent Model
1555e50c6d20e8eb7304cdce738cd8113db8b282 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Def0 False Passed
  • Model Under Test
  • Equivalent Model
0affbc861f80858da255274f90ed156eb4e035d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Def0 True Passed
  • Model Under Test
  • Equivalent Model
a7ddf01c99d3de9452aa7b112059a47560ad91e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Def0 False Passed
  • Model Under Test
  • Equivalent Model
b3bde8f12e2d9693f4c626c9224d6f04c11bd7cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Def0 True Passed
  • Model Under Test
  • Equivalent Model
bbd6c30b2bb2e0c035535526ae73537aa6a42226 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Def0 False Passed
  • Model Under Test
  • Equivalent Model
d96e6031b8f574ef4f18c7a2ea1413b7b1457b70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Def0 True Passed
  • Model Under Test
  • Equivalent Model
f3ec73a27b0c467dba6a20a912c1fe648eecf18d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Def0 False Passed
  • Model Under Test
  • Equivalent Model
232ad3bd1b4218b4da6da6a7d16e0422407b6741 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Def0 True Passed
  • Model Under Test
  • Equivalent Model
5718c51e29804332cb8f5fe777e28b7867e17c14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Def0 False Passed
  • Model Under Test
  • Equivalent Model
575c63876c4ce6f4d7a82e7e00cd88a39033bb14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Def0 True Passed
  • Model Under Test
  • Equivalent Model
ff6c5053b4eb156ea959769e4b61e4a468c053cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Def0 False Passed
  • Model Under Test
  • Equivalent Model
06634ebb9ffd9265e20892640b288e3d41598f34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Def0 True Passed
  • Model Under Test
  • Equivalent Model
f759b64a12d1ad9c1bc2ca8527278b7440d950c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Def0 False Passed
  • Model Under Test
  • Equivalent Model
991b684c67314fed4808616903816b40f47786a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Def0 True Passed
  • Model Under Test
  • Equivalent Model
87188b8fb655a4c2e5ad1fd82fea00ba1681aa58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Def0 False Passed
  • Model Under Test
  • Equivalent Model
ea7d27cebd1fb4ed0389726b0d9915cc4c88e03c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Def0 True Passed
  • Model Under Test
  • Equivalent Model
a620614762a0cedf05deab0bc8655416340d0420 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Def0 False Passed
  • Model Under Test
  • Equivalent Model
2e51dbde34345fc38e68ebf8d78835e5566d6a61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Def0 True Passed
  • Model Under Test
  • Equivalent Model
ce6b3a3c68f1c2cfc22743c12258027541cedef6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Def0 False Passed
  • Model Under Test
  • Equivalent Model
7e6543c19cf2f66eade934ff6ed36679f8ea2dc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Def0 True Passed
  • Model Under Test
  • Equivalent Model
aecd761c5b451d1146e93edcabaf1705fac9656c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Def0 False Passed
  • Model Under Test
  • Equivalent Model
66ac638bc8075b5618d87c48cf60b91752fd36ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Def0 True Passed
  • Model Under Test
  • Equivalent Model
1fb5b55c60f1857f92fe48063e4c6974ba2df7e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Def0 False Passed
  • Model Under Test
  • Equivalent Model
feb50f5c6989908d3dcc3951cee27d55f93e54a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Def0 True Passed
  • Model Under Test
  • Equivalent Model
530b43713db0d481fd21cde56df77bdd1eb0cc3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Def0 False Passed
  • Model Under Test
  • Equivalent Model
ae02877a94a32a99811c6c27506878e80fb67d37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Def0 True Passed
  • Model Under Test
  • Equivalent Model
21e3a097eaa08b69642ce531d80109d4e76375dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Def0 False Passed
  • Model Under Test
  • Equivalent Model
136292a3ba93b4eab3065cb7d1f32edb9c7e1dba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Def0 True Passed
  • Model Under Test
  • Equivalent Model
c5f7cd14a74c572c9b88ca5099326499b3ac3d33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Def0 False Passed
  • Model Under Test
  • Equivalent Model
4e9cae1ae295e15b25b8c7ec6e95121265e05ebe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Def0 True Passed
  • Model Under Test
  • Equivalent Model
8d92b7463b6e561e3fc9931a13dd6dfcc2df4b84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Def0 False Passed
  • Model Under Test
  • Equivalent Model
1563effaa8840ab3954da154f3821e2deccb943c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Def0 True Passed
  • Model Under Test
  • Equivalent Model
4ae6227c7d77d0713531c354229f28a35dadecc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Def0 False Passed
  • Model Under Test
  • Equivalent Model
ec5a720c1fe5528ff5cacc836273cf2d5bffa1dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Def0 True Passed
  • Model Under Test
  • Equivalent Model
808259c4d18aa066292da96ed5d775cbe0ea854c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Def0 False Passed
  • Model Under Test
  • Equivalent Model
4dca0ef9ab0fa1b2404f172fea622308bc8fb2ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Def0 True Passed
  • Model Under Test
  • Equivalent Model
4369ebdcfb74da2982a865420a5583ad3b68d149 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Def0 False Passed
  • Model Under Test
  • Equivalent Model
925a46b2d74552412dd033d77634da5a269c3777 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Def0 True Passed
  • Model Under Test
  • Equivalent Model
d0a3bb4da2eb8831b71f5b840cbdfa2c255ba6af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Def0 False Passed
  • Model Under Test
  • Equivalent Model
560db1e0afe86dfd6487628ddc7947d6f54c09b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Def0 True Passed
  • Model Under Test
  • Equivalent Model
67351e9822d6e96c9885a3cea4d51423e1d3b559 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Def0 False Passed
  • Model Under Test
  • Equivalent Model
a04c74dd714978a95fec10f00cdfb3a7677a5de8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Def0 True Passed
  • Model Under Test
  • Equivalent Model
28b7df455e75a295a24ab0023619e56c3ed7d35c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Def0 False Passed
  • Model Under Test
  • Equivalent Model
5e9872e156c0c888e82222311fbcb537859f7bc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Def0 True Passed
  • Model Under Test
  • Equivalent Model
6b4f9214a627cf647653933d5e7a3faa0c747c47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Def0 False Passed
  • Model Under Test
  • Equivalent Model
445337b2b6d46563caa57057dd8567a892306f13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Def0 True Passed
  • Model Under Test
  • Equivalent Model
c7386a0acca1d0eeef64fb70d5bc996613b1911f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Def0 False Passed
  • Model Under Test
  • Equivalent Model
63b1aac0f40dbffc793c82049351026293426ae0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Def0 True Passed
  • Model Under Test
  • Equivalent Model
526205c8ff2aa8006afd0c9ca067c88793865b13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Def0 False Passed
  • Model Under Test
  • Equivalent Model
e8277f3f07c560eaef033edf5e6614c079fba2bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Def0 True Passed
  • Model Under Test
  • Equivalent Model
c31bc833a294430c97a8a76b363fbbc8317f8715 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Def0 False Passed
  • Model Under Test
  • Equivalent Model
229c8487b72f20af0edb748c00f59180bcdc8b8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Def0 True Passed
  • Model Under Test
  • Equivalent Model
2b4951ab7fb7004fa826992f902aecb812730fe1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Def0 False Passed
  • Model Under Test
  • Equivalent Model
20f7538133eb6cc0fe3db42f03916d6f98a87a67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Def0 True Passed
  • Model Under Test
  • Equivalent Model
8ed0000880e14a0782b69f801fd741d356d994bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Def0 False Passed
  • Model Under Test
  • Equivalent Model
53dbad2b82dd20cc2b4def183c7e2fb294fdb6a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Def0 True Passed
  • Model Under Test
  • Equivalent Model
c4e47b73f6ab8464c01b5ea67153faace49b632b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Def0 False Passed
  • Model Under Test
  • Equivalent Model
07d0898f04bfe434ca701797a490f1fdb3a3e931 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Def0 True Passed
  • Model Under Test
  • Equivalent Model
ce46afe837fb321ec2cf750ed8c290b724ddf38a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Def0 False Passed
  • Model Under Test
  • Equivalent Model
77461cc46fde780babe3faefedc9abf1f9aa7fb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Def0 True Passed
  • Model Under Test
  • Equivalent Model
c6d5db41d80aea3da8d6c224a76906751841560e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Def0 False Passed
  • Model Under Test
  • Equivalent Model
fc02daf3c0090077bfd811e89c5ef7ff6353202c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Def0 True Passed
  • Model Under Test
  • Equivalent Model
a3e137698aaae7a4ae43fbd77fb5acf25a67b677 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Def0 False Passed
  • Model Under Test
  • Equivalent Model
c4944bb78b5df1042f383ac68a5e079d48fb1a8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Def0 True Passed
  • Model Under Test
  • Equivalent Model
39c2eb93f749fa182d6d6bef7762a2e6216ed92a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Def0 False Passed
  • Model Under Test
  • Equivalent Model
c89467413c29a73f987b5182171432901a070607 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Def0 True Passed
  • Model Under Test
  • Equivalent Model
6b13b3db787fd7695e06c642b342043cb9d74c4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Def0 False Passed
  • Model Under Test
  • Equivalent Model
fac1b88d07d2f63eeb9139bace3f888971029089 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Def0 True Passed
  • Model Under Test
  • Equivalent Model
b428d47c7425dc38cce29b2ec6ce67c67bdbcdcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Def0 False Passed
  • Model Under Test
  • Equivalent Model