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 case feature BagBagIn; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
20bd5cab265fe683398a5278709ace127b0f4cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BoolTrue True Passed
  • Model Under Test
  • Equivalent Model
d33794d78da92ecc21ac29242081dad67169805e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BoolTrue False Passed
  • Model Under Test
  • Equivalent Model
df0f5a22ac8ab5ca9bdfb4e362c91a38119bb647 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BoolFalse True Passed
  • Model Under Test
  • Equivalent Model
374677b7712ccde41ff34a55db6aa95401a831b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BoolFalse False Passed
  • Model Under Test
  • Equivalent Model
9ed79536f0c3d01600c731a059d45ccc845625bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BoolSet True Passed
  • Model Under Test
  • Equivalent Model
02d59660ae9bf122d8f68be9083300c7d7c544f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BoolSet False Passed
  • Model Under Test
  • Equivalent Model
549d2c0b50fe0d1518ab9ad55d3476899171564f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn And True Passed
  • Model Under Test
  • Equivalent Model
0b35fc7a14ed01a875aeb873e1ddbff2dcd24b1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn And False Passed
  • Model Under Test
  • Equivalent Model
9074bd6b040ee74e5c2a18235ef0ce0544e59b3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn AndMultiLine True Passed
  • Model Under Test
  • Equivalent Model
7c59b6a028ecca02023d7f8ad571995b6d402e13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn AndMultiLine False Passed
  • Model Under Test
  • Equivalent Model
f37d9b43e9ed8e666bf8ed3f7ab0fbb20caeebe9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Imply True Passed
  • Model Under Test
  • Equivalent Model
0629fe6d45e5c41ec5767c5e8a029e2c936cdc2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Imply False Passed
  • Model Under Test
  • Equivalent Model
bdc6088db964b575ccb780b3b26aa7303d442ac8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Not True Passed
  • Model Under Test
  • Equivalent Model
c31429d3abd18e915475e4929de557ef4d9a8fb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Not False Passed
  • Model Under Test
  • Equivalent Model
497081c28a43c4ac781fdbe355744047d0599582 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Or True Passed
  • Model Under Test
  • Equivalent Model
da0ff79703ba004cb5acbe8b7732158114092f75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Or False Passed
  • Model Under Test
  • Equivalent Model
bce3a48c1520d3f4a8b6dafb4feadebc54372a27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
f8410b789114b74f20ba87fe6f6f7c4fa1936ca5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
93696c4a4e042e04e8b53da65b65f5e582d5f9f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Eq True Passed
  • Model Under Test
  • Equivalent Model
bf6acc4d741ace58b822481bef4aee98d57b914a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Eq False Passed
  • Model Under Test
  • Equivalent Model
72d4201b6896433a2ca2d0954ffc40a81307b43b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Ne True Passed
  • Model Under Test
  • Equivalent Model
c4a93503c08629872a34b38886cbf3dc3191f5ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Ne False Passed
  • Model Under Test
  • Equivalent Model
cc7fdd1b4254099933792b9c65547bf6b83439f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Let True Passed
  • Model Under Test
  • Equivalent Model
de455f33b0f8b2d3169aa854b8b50c5be0e81c5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Let False Passed
  • Model Under Test
  • Equivalent Model
44460c8ca344daa01e575f75213316c46b2ea03d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SetEmpty True Passed
  • Model Under Test
  • Equivalent Model
1c8abdf4a9235eeef66154298bfa28ad7b40e43c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SetEmpty False Passed
  • Model Under Test
  • Equivalent Model
5f67c5fa3d5ce81553424c65bdbabacbd3faac68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Set0 True Passed
  • Model Under Test
  • Equivalent Model
dca50c469de67df4e442b60b3bf9eb34e2ffb7cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Set0 False Passed
  • Model Under Test
  • Equivalent Model
502abb4012c586844c971427517265ada2c7ae1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Set1 True Passed
  • Model Under Test
  • Equivalent Model
0350e74d09bef11456c70e6c3359408ace38b262 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Set1 False Passed
  • Model Under Test
  • Equivalent Model
5491111e182adffff4253bd5ec9492460402fea6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Set2 True Passed
  • Model Under Test
  • Equivalent Model
00bd8d8ee6ddd45d58dd537702fcf2370ed4be9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Set2 False Passed
  • Model Under Test
  • Equivalent Model
f9129065d6080b2a1a10370a9f14ccad231afc0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Fun True Passed
  • Model Under Test
  • Equivalent Model
b05f74e4e36e79ba0a57cab806a5ca54ad755952 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Fun False Passed
  • Model Under Test
  • Equivalent Model
b337b426b2144561894fc23f10fb70ed68fe3337 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn In True Passed
  • Model Under Test
  • Equivalent Model
c90ce37259ef89766a1bdbb55c62e29b47ca15d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn In False Passed
  • Model Under Test
  • Equivalent Model
2ffa544383dc10c4623979d56a6bb341bdc05ada TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NotIn True Passed
  • Model Under Test
  • Equivalent Model
bff60c9816b7ea269237c98ed1112b82a2ade14c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NotIn False Passed
  • Model Under Test
  • Equivalent Model
7b5dd53806ab1c43c26c83825c2121bc219addc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Exists True Passed
  • Model Under Test
  • Equivalent Model
4fc0cd26f5304dbda6694a2de37756627f3e26c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Exists False Passed
  • Model Under Test
  • Equivalent Model
3a06c44dd8876623f175e2246f7f74a4c45bb7f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Forall True Passed
  • Model Under Test
  • Equivalent Model
385521362eddd44f83ecebb74b69a8a179dd2c09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Forall False Passed
  • Model Under Test
  • Equivalent Model
d1fdfbaf3705e2be8c059ba9ac4285031dd99f1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Choose True Passed
  • Model Under Test
  • Equivalent Model
1b33b57d9dd5c8bae175662bb1bba91d8d9c22f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Choose False Passed
  • Model Under Test
  • Equivalent Model
2fe192bea072fbe72374d2d2ead58ced81099ec7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Record True Passed
  • Model Under Test
  • Equivalent Model
41fd4cdafb0ef70e402fa065410f5129771cc869 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Record False Passed
  • Model Under Test
  • Equivalent Model
f3d0fc21845eba7994ac8529505fb56bd8dbde1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Tuple True Passed
  • Model Under Test
  • Equivalent Model
bd5e280f8bd36ef347f3359eca2be2079eaa01f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Tuple False Passed
  • Model Under Test
  • Equivalent Model
736644b779d6798fd4c85259e11444ebc6c3eadd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn TupleEmpty True Passed
  • Model Under Test
  • Equivalent Model
1aff7d7dceff57df74565d3bb4caa16f881baf5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn TupleEmpty False Passed
  • Model Under Test
  • Equivalent Model
1caf7affc70fa4c51fa839783309c617e66c7082 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn FunApp True Passed
  • Model Under Test
  • Equivalent Model
0e0f9d038639bf5161c3d189cb256dd2b3f76154 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn FunApp False Passed
  • Model Under Test
  • Equivalent Model
4be9dbe6f53f105da983a34506972a3a647b049c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Prime True Passed
  • Model Under Test
  • Equivalent Model
9106042b658d3af218c0365ffe43745a0a790379 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Prime False Passed
  • Model Under Test
  • Equivalent Model
721339fedc0c8669d0fc2ff927b0a2e4e30a2189 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumZero True Passed
  • Model Under Test
  • Equivalent Model
cd32843f44121f44c8bb9574c74e628be893eb6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumZero False Passed
  • Model Under Test
  • Equivalent Model
25c2a238bd01c9409798b563e4c54d56823803a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumOne True Passed
  • Model Under Test
  • Equivalent Model
747c732ca98c327a3fa77c6902a46cada7c17423 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumOne False Passed
  • Model Under Test
  • Equivalent Model
ed6d81257cbdc6bbbde7432a1ceb7c79a481ed94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumMaxInt True Passed
  • Model Under Test
  • Equivalent Model
ef3b481544562665624aa2de1a60d44b051d24fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumMaxInt False Passed
  • Model Under Test
  • Equivalent Model
9d8e38c799767810c13d4eb4755446e12727505a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumUnaryMinus True Passed
  • Model Under Test
  • Equivalent Model
92999e6304418adef496a9d7e6d2309961c9412d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumUnaryMinus False Passed
  • Model Under Test
  • Equivalent Model
eeff0f5822a19f7c3c8bc4343ed600729c481baf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumPlus True Passed
  • Model Under Test
  • Equivalent Model
ffc77c368c161bb67956f70c77380f9d98f21121 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumPlus False Passed
  • Model Under Test
  • Equivalent Model
3a83335f591f616f818884f40e0790a797563774 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumMinus True Passed
  • Model Under Test
  • Equivalent Model
4b7a0665c1c39d6ec7d2e517f99032d8201212f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumMinus False Passed
  • Model Under Test
  • Equivalent Model
7330ac13d495c603314ae88345caddd8b8215253 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumMul True Passed
  • Model Under Test
  • Equivalent Model
00ce8c40daa6fa48c955342897f16a2714f8f179 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumMul False Passed
  • Model Under Test
  • Equivalent Model
aa50fd8eb9ef2135effa58595305a384d0a816ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumDiv True Passed
  • Model Under Test
  • Equivalent Model
7cf5927d9c02a8f1b039f1990833408c8341d4e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumDiv False Passed
  • Model Under Test
  • Equivalent Model
8342be7e95e1e4f6e2b76f0f7a75ed3a975caf4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumMod True Passed
  • Model Under Test
  • Equivalent Model
1704913c7862ca63321fc573d0b346ef73202fa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumMod False Passed
  • Model Under Test
  • Equivalent Model
f041bf432b7aa36c342394cc489434ce056cced4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumPow True Passed
  • Model Under Test
  • Equivalent Model
370b29c69741aa163e8dfaaf326551abb4471060 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumPow False Passed
  • Model Under Test
  • Equivalent Model
cf9f6bc8e2102b6ee14bc8eae4afca78cbbeade0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumGt True Passed
  • Model Under Test
  • Equivalent Model
34868191dc697bf20c7208c1cfd80f170b5f35f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumGt False Passed
  • Model Under Test
  • Equivalent Model
3e05b8161f4ed37f20c0d26af2b485d71ad679a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumGe True Passed
  • Model Under Test
  • Equivalent Model
2d1298b41702fd76c14800716d9e7f955354edfd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumGe False Passed
  • Model Under Test
  • Equivalent Model
382c8b0e87dbd3297e403e94345aad625a35ffca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumLt True Passed
  • Model Under Test
  • Equivalent Model
e5ea72ea7a201e6ddddac55885d2bd37f15738ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumLt False Passed
  • Model Under Test
  • Equivalent Model
7bc2e1d07dd345d00ea95a47a0feb900055e9db4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumLe True Passed
  • Model Under Test
  • Equivalent Model
333fee9e5ea1b1205726bc5c4fa56db314b9679f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumLe False Passed
  • Model Under Test
  • Equivalent Model
de22f70427102e776193ea370981ced70573f369 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn DefFun True Passed
  • Model Under Test
  • Equivalent Model
78f47074b335eb031579b94e709840631ac558cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn DefFun False Passed
  • Model Under Test
  • Equivalent Model
52869dd6e5b74a1c18671f59f794e5760f508767 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
88704a33884efee3ff09cc8cfcbfc0e60e9e864f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
83bb3e9071e775ef48d2759c96ecdb8467bbb17b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn DefFunRecursive True Passed
  • Model Under Test
  • Equivalent Model
423f5070ae0d3c44b588cba52364af0954d69f64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn DefFunRecursive False Passed
  • Model Under Test
  • Equivalent Model
3488abcc2fe6d6b88260cd7c595f24db4e633e33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn LetDefFunRecursive True Passed
  • Model Under Test
  • Equivalent Model
1ed559c6cea510b81a43df93977d40d278c8ff1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn LetDefFunRecursive False Passed
  • Model Under Test
  • Equivalent Model
45d55616807481a5769a79be5e28eba0cd79119e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Def0 True Passed
  • Model Under Test
  • Equivalent Model
d2ce7bdc6cc858104951d5bc1451d067bc196c8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Def0 False Passed
  • Model Under Test
  • Equivalent Model
ee1ee644425628a91d3dd312bb8af68f82e43930 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
b47b3107104a0c01080aa66d36335fb082ec1fa8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
d3f57989aa19f84f861c671a428c20e412ca0c1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Def1 True Passed
  • Model Under Test
  • Equivalent Model
e2a8c11e65274d994b5deca489b44bce72bcb4d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Def1 False Passed
  • Model Under Test
  • Equivalent Model
555cd40f800d9566c9623b6bc033acb3995166f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
e826e427c67c91954dab07964b080aa6f78f9290 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
5fea53eaeff3077a1d9b279638586b5e76a4436b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Def2 True Passed
  • Model Under Test
  • Equivalent Model
458da1721d6ee2a3eaec7c2609cb0f7753154822 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Def2 False Passed
  • Model Under Test
  • Equivalent Model
7798261dbc9d2b76288dc6e8f1d9e979521a60fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
fbba94ddb84014f36358c492ec973f4152f44679 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
c8f6a49e39b980b57d6d875b683117978da1d71e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Def1Recursive True Passed
  • Model Under Test
  • Equivalent Model
6c01977d9da3c9a70da2bf40ddeb3431bcb9de49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Def1Recursive False Passed
  • Model Under Test
  • Equivalent Model
bc2916c77bb83d14292891fefd4766355d6866fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn LetDef1Recursive True Passed
  • Model Under Test
  • Equivalent Model
c0bdf6ff881d70fd80c1508be7b153cc2f5ab096 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn LetDef1Recursive False Passed
  • Model Under Test
  • Equivalent Model
353cca80504fd9d90c7991b05655f40e50c40ee5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Extends True Passed
  • Model Under Test
  • Equivalent Model
1595f333758cc9c6789e02e3cc9f14e801cd14c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Extends False Passed
  • Model Under Test
  • Equivalent Model
de9f2fdba87fbf990e3a1418679cb9120194dd15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn ExtendsInDifferentFolder True Passed
  • Model Under Test
  • Equivalent Model
a06f620b20d423795140da9c75b5e67820ca6b0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn ExtendsInDifferentFolder False Passed
  • Model Under Test
  • Equivalent Model
2bf1d339f75f9824c28c41135f3ce75b90c2fb4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Variable True Passed
  • Model Under Test
  • Equivalent Model
6db8cfc080e0704c81c326167ff308d97b534802 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Variable False Passed
  • Model Under Test
  • Equivalent Model
fc913a95b025675f26ad62f79702e3bc04540033 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Constant True Passed
  • Model Under Test
  • Equivalent Model
33464c6ee058c1088bd59dd8ed6a14587202960f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Constant False Passed
  • Model Under Test
  • Equivalent Model
b545ebbb2cae38915e58bb0063ecca3b7cd4e9c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn ConstantRank1 True Passed
  • Model Under Test
  • Equivalent Model
d04265d923bec0a04f7ada267defdee6278542ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn ConstantRank1 False Passed
  • Model Under Test
  • Equivalent Model
3993a05b00bd4948001a3107575b2d0fc3ade3e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Instance True Passed
  • Model Under Test
  • Equivalent Model
068143a9cf1e58fa61061c3b711642a64c2e578d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Instance False Passed
  • Model Under Test
  • Equivalent Model
ca47cc16f72cda9809ad3477894cd4564951423c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceWith True Passed
  • Model Under Test
  • Equivalent Model
7a3dd2d3a4d460c1f8031e10fd1126ccfba424bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceWith False Passed
  • Model Under Test
  • Equivalent Model
82bb2488f721d26719a6e1c00bb10b6a03f055c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceNamed True Passed
  • Model Under Test
  • Equivalent Model
ce65a56d625e22b6a0e2388d99ad96fbb19745ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceNamed False Passed
  • Model Under Test
  • Equivalent Model
dcadba4f1a18fe702645239d30b6bed006fa5910 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceNamedWith True Passed
  • Model Under Test
  • Equivalent Model
849a7a748e43463e2486d1abfc36343b57919a39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceNamedWith False Passed
  • Model Under Test
  • Equivalent Model
e62ff9bf1689c01800d2c8ea331d4b7cccbf2630 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceInFolder True Passed
  • Model Under Test
  • Equivalent Model
8bf50048fbd8195cf355749718d12def95c94b87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceInFolder False Passed
  • Model Under Test
  • Equivalent Model
238659b514165bd1be1dc04a73bc60dd620249b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceWithInFolder True Passed
  • Model Under Test
  • Equivalent Model
c9ed1ea76a3ddf1e8bfa80dcb1950640c11beeab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceWithInFolder False Passed
  • Model Under Test
  • Equivalent Model
ad87f8eebcd495bf026c707a35ec5bf0cd725080 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceNamedInFolder True Passed
  • Model Under Test
  • Equivalent Model
7849955d4a2d8a2214876192669beb9c655c4db2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceNamedInFolder False Passed
  • Model Under Test
  • Equivalent Model
42dc24b9b13708f657a07a07b8218ac5f2f20ac7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceNamedWithInFolder True Passed
  • Model Under Test
  • Equivalent Model
2a92836e52c789ac20e8de9e63e3310c5110ab6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceNamedWithInFolder False Passed
  • Model Under Test
  • Equivalent Model
b0044ab4754272510535571f0d30a82af07fc3be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Enabled True Passed
  • Model Under Test
  • Equivalent Model
2eb92347ab1e62499c7d338c4e18d146d0d7be3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Enabled False Passed
  • Model Under Test
  • Equivalent Model
7089f3cbfc5584627b4d6c3edd91e62392f6fa74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Cross2 True Passed
  • Model Under Test
  • Equivalent Model
570c94e764e5b98d482730624d5c1bb9a053091f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Cross2 False Passed
  • Model Under Test
  • Equivalent Model
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
e818a276349736c8ecbe99318b0ea400b6dccec4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn FunSet True Passed
  • Model Under Test
  • Equivalent Model
a5cd3cfc8ab1cafea59fe57540464f35b3ff29bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn FunSet False Passed
  • Model Under Test
  • Equivalent Model
ac9f378c81d703be62cfcb830e023541b79dcc37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn RecordSet True Passed
  • Model Under Test
  • Equivalent Model
820868ebe1576cb463ef15a16959e8118bdd8f20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn RecordSet False Passed
  • Model Under Test
  • Equivalent Model
8301dbffb30e163c5367ab4be7239c924bb5f31f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SetDiff True Passed
  • Model Under Test
  • Equivalent Model
2989cb6c8e91fb9277ef20d0ca6f75c5f6eafbe9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SetDiff False Passed
  • Model Under Test
  • Equivalent Model
dd56d224d7f947bdd8b7de3b5b9e73ffb661f9df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SetUnion True Passed
  • Model Under Test
  • Equivalent Model
ec99ab5a9e6e51238ec49ca5d30402c961890943 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SetUnion False Passed
  • Model Under Test
  • Equivalent Model
a3d153cbbbd121081fbb7e9d929336028a8892ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SetIntersect True Passed
  • Model Under Test
  • Equivalent Model
56c2f8861e407b4bf165f7862e41facba81b171b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SetIntersect False Passed
  • Model Under Test
  • Equivalent Model
35451b1f8c94c1f57325757ace499b4cb92af2e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SubsetEq True Passed
  • Model Under Test
  • Equivalent Model
555338d97046f5a091e70d45de6e05ca9a861d60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SubsetEq False Passed
  • Model Under Test
  • Equivalent Model
ae3416e64f8ca71ec938d052380ffbb400126a27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn IfCond True Passed
  • Model Under Test
  • Equivalent Model
7b9b4486b4389e3768a94279bcc9c3da7ebac20d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn IfCond False Passed
  • Model Under Test
  • Equivalent Model
065a9ae68f675617dec0037b893eef6787e182e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn IfThen True Passed
  • Model Under Test
  • Equivalent Model
90fe222f22f95d3153d7751950ee731fc86d08de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn IfThen False Passed
  • Model Under Test
  • Equivalent Model
63b8b7bbe34d1a04c6930759e633618170772164 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn IfElse True Passed
  • Model Under Test
  • Equivalent Model
abf2c2da7611a7d30b97369b872696ad66de4577 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn IfElse False Passed
  • Model Under Test
  • Equivalent Model
407e219d089d92e9f5b71f22f47668705eae03a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Subset True Passed
  • Model Under Test
  • Equivalent Model
657623b9e4a626ba9b7317b713169cd43461e403 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Subset False Passed
  • Model Under Test
  • Equivalent Model
dcf72fa1e5a37f97d0cdeb0f6aea8c7e6b58dd6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Domain True Passed
  • Model Under Test
  • Equivalent Model
3dfef1841910413f73e6a6660c203161add8ff25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Domain False Passed
  • Model Under Test
  • Equivalent Model
38ddd9819bbe9260a1e15d6a9e11f8735f877002 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Union True Passed
  • Model Under Test
  • Equivalent Model
0aa64e17779b90aaaf4561a1e7629424cd5182fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Union False Passed
  • Model Under Test
  • Equivalent Model
fb8534be1b5de8c3dbf5b078138137fc6955bf00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Unchanged True Passed
  • Model Under Test
  • Equivalent Model
6551721a601a4da7ff45bfc312ea1b2dc035e232 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Unchanged False Passed
  • Model Under Test
  • Equivalent Model
708408233e1602c719e53c1fdb266da5ac7435ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Equivalence True Passed
  • Model Under Test
  • Equivalent Model
c831282616819a727be3dc71be6c53abdc1b2784 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Equivalence False Passed
  • Model Under Test
  • Equivalent Model
b489525a3c062672310a8b2d6b4455d17b3abbe1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn StringEmpty True Passed
  • Model Under Test
  • Equivalent Model
4674764281a8afe1fe53a8800a956350a9791c47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn StringEmpty False Passed
  • Model Under Test
  • Equivalent Model
59dd79fec8747836e2f990a15b065a758f54e2ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn String True Passed
  • Model Under Test
  • Equivalent Model
f5dbf7006d2ded1b40716741caff4ff7ed1f3b01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn String False Passed
  • Model Under Test
  • Equivalent Model
fc7ff1a1895e79f673125792530118ab2d7caead TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqLen True Passed
  • Model Under Test
  • Equivalent Model
c960a14c7437ddd119117a1c159791a509e76eda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqLen False Passed
  • Model Under Test
  • Equivalent Model
13f6da9d1c30310a4e394f7209be89ecfeaea505 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqConcat True Passed
  • Model Under Test
  • Equivalent Model
44e1e9b13e8649cbe38abe5c68fb9e9ae64f86ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqConcat False Passed
  • Model Under Test
  • Equivalent Model
cd264f9b65e45854077979b71c1bb57a1c22cb2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqSelectSeq True Passed
  • Model Under Test
  • Equivalent Model
2103bd00a1e0cf9a3017048bd0e5c31896115bb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqSelectSeq False Passed
  • Model Under Test
  • Equivalent Model
88ee89dac0cb24cc54ccc667d54be8cc6996ec87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqSubSeq True Passed
  • Model Under Test
  • Equivalent Model
2e22b4fda727283f7579a263291815858d41680a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqSubSeq False Passed
  • Model Under Test
  • Equivalent Model
68cf44e39f9bafa726835fa485091c3dd0d55751 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumRange True Passed
  • Model Under Test
  • Equivalent Model
47ce6c10a1989bc0c9748cfd4310ff2b72c2c3cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumRange False Passed
  • Model Under Test
  • Equivalent Model
e3a571e80d319e27349a24358b549dd6d809280c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn TlcSingletonFun True Passed
  • Model Under Test
  • Equivalent Model
01d623f2f4ae0a8df68bfa5f4e58433a415e37bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn TlcSingletonFun False Passed
  • Model Under Test
  • Equivalent Model
7af21094c59afda691cde4769a5c083b5f1c5488 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
6679637175da34378efdca1f4d213ef6f0587423 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn TlcExtendFun 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
ef478fb2aabb25347dabb8571e71c42df7d75a06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn TlcSortSeq True Passed
  • Model Under Test
  • Equivalent Model
a658cbc8942ed6b96efde3df752ab3a8ddf974f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn TlcSortSeq False Passed
  • Model Under Test
  • Equivalent Model
63c7f26aa1f8567f6e4b4fb2f662ee8bdf8323cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn TlcEval True Passed
  • Model Under Test
  • Equivalent Model
3a77a550fc0292f2b7fcd7a9df03f6dad02ad3c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn TlcEval False Passed
  • Model Under Test
  • Equivalent Model
eecb51737e23a2d08ed2e999ff16d828dac0d46f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagToSet True Passed
  • Model Under Test
  • Equivalent Model
be1e1a3bd84f061eb1c0d380155a83f512002cc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagToSet False Passed
  • Model Under Test
  • Equivalent Model
5fcb29fc25e71f964142719e3e16ee35c84a5e6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagSetToBag True Passed
  • Model Under Test
  • Equivalent Model
ada9cda599b3c09631117bd252a9145c7a659f79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagSetToBag False Passed
  • Model Under Test
  • Equivalent Model
af584821bc3d3c0b5d1835ecfb50c5b43e0abe8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagIn True Passed
  • Model Under Test
  • Equivalent Model
30d906e52db6f8e75735345efcba5a87205cc4f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagIn False Passed
  • Model Under Test
  • Equivalent Model
9e2339d0e644cabd33ff3de9235fa8b2e6c10c25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
bb4dddb6df1cdf3faf81b7c9c9b5047ea59503a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
c7c6cbb1650cc1610f21412a37e4729da748e320 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagAddBag True Passed
  • Model Under Test
  • Equivalent Model
fe8b314691c1ac3060c57a436b225eb2cab3146a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagAddBag False Passed
  • Model Under Test
  • Equivalent Model
dae98916ffb69faa03c8b3c8b05463d4df57491d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagSub True Passed
  • Model Under Test
  • Equivalent Model
d213140d4559425ca0380b9b205f4b663fadf277 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagSub False Passed
  • Model Under Test
  • Equivalent Model
7dda397bd59e223bd69f72a47016b9b5479d5173 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagCopiesIn True Passed
  • Model Under Test
  • Equivalent Model
2d46d9f2b3b8908c928a1d7f18d8c2d19283a6cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagCopiesIn False Passed
  • Model Under Test
  • Equivalent Model
ae5fd82349d52f32364302be108eaf3c52b03a94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagSubsetEqBag True Passed
  • Model Under Test
  • Equivalent Model
b21649198f0abb11d08b7f7b1fa723efa25bd6f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagSubsetEqBag False Passed
  • Model Under Test
  • Equivalent Model
b1eb0ee29af0d193b5a719fb6a33524aed577545 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagUnion True Passed
  • Model Under Test
  • Equivalent Model
c3a2919e1ae2b8c5f444e441bb3b87ce14ec1c24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagUnion False Passed
  • Model Under Test
  • Equivalent Model
4d58ec70e5159eaf1883143123f613de2e2547f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagCardinality True Passed
  • Model Under Test
  • Equivalent Model
073cd0a01803e8d4ed2dcd606f5e2ace8b2794c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagCardinality False Passed
  • Model Under Test
  • Equivalent Model
f325f8e134b80cfdc4336a28a2efa6b23a5f3981 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagOfAll True Passed
  • Model Under Test
  • Equivalent Model
51742a8182a7a407e6be9d2c23fef8e20f0560c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagOfAll False Passed
  • Model Under Test
  • Equivalent Model
2d9451f713d7efcf498a569f32ec7526f7605fd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagSubBag True Passed
  • Model Under Test
  • Equivalent Model
1832981e3983ecec20d88fe721761cb66ff9b163 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagSubBag False Passed
  • Model Under Test
  • Equivalent Model
00a33f3682cfe181d1ac86785639614aceea8c93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn FiniteSetsIsFiniteSet True Passed
  • Model Under Test
  • Equivalent Model
8915cd8c4555d99c7e28e0c5e97d5880812f74ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn FiniteSetsIsFiniteSet False Passed
  • Model Under Test
  • Equivalent Model
8f036533a185775852fafb06c99e872f209e8d33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn FiniteSetsCardinality True Passed
  • Model Under Test
  • Equivalent Model
41b0fb46ff4cec8dc3621a556416e90cdcc4d99a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn FiniteSetsCardinality False Passed
  • Model Under Test
  • Equivalent Model
72ca7f0224ee09432cd507f247fa9e895d97073e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqHead True Passed
  • Model Under Test
  • Equivalent Model
b205687f65ba50bd764ca120b6a6c3435df9222c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqHead False Passed
  • Model Under Test
  • Equivalent Model
7e421634754d357eeb25fc8ae5ed9757650db2f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqTail True Passed
  • Model Under Test
  • Equivalent Model
50815ce0b95a2dc06485e3c4f993a2b8ec97073b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqTail False Passed
  • Model Under Test
  • Equivalent Model
34ed197dca7ee2b79c4f15f1e0f983f2858fd72a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqAppend True Passed
  • Model Under Test
  • Equivalent Model
71e543834b82c4b18e4f48d7536462969a9fe10c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqAppend False Passed
  • Model Under Test
  • Equivalent Model