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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
8051a0f895c00a4aadb530ba40b18ae02597e868 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumPow True Passed
  • Model Under Test
  • Equivalent Model
066f0ac6940417a3f69fa139f8f93e9888ba8f90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumPow False Passed
  • Model Under Test
  • Equivalent Model
1b040e69af7cc62b662b5540efcf1c131ff65ab9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumPow True Passed
  • Model Under Test
  • Equivalent Model
d055229b6da5940e22846130d26695dbef767451 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumPow False Passed
  • Model Under Test
  • Equivalent Model
a4246960e58c996cc335f6e4c56fb415ae756101 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumPow True Passed
  • Model Under Test
  • Equivalent Model
82158b2afeb73ad2ea01c3e24780955498d0cad3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumPow False Passed
  • Model Under Test
  • Equivalent Model
54dce7cd208799c9e325893819d11d5b8091eae1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumPow True Passed
  • Model Under Test
  • Equivalent Model
3c00b6b45db461b05dc1074ad69641cc26d457ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumPow False Passed
  • Model Under Test
  • Equivalent Model
e1d7d2ca7bcf7b79cb01393c06bed97883af0b51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumPow True Passed
  • Model Under Test
  • Equivalent Model
9ee9973c2e63caac65e6bbfe04b52fe96a3dc669 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumPow False Passed
  • Model Under Test
  • Equivalent Model
228d5b6fa94c496660475d2808b92ac9740f56a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumPow True Passed
  • Model Under Test
  • Equivalent Model
d82b892a98bc3c6d1124d6c463ffa54eab5a7164 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumPow False Passed
  • Model Under Test
  • Equivalent Model
a289b4dbb61edf952dbdc0b04105311138fb15c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumPow True Passed
  • Model Under Test
  • Equivalent Model
06b1395d42cbe0d178a6758acf8336f2c210bc66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumPow False Passed
  • Model Under Test
  • Equivalent Model
4dbdc73ac501ee16fa32e739929f0d8a15b0f50b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumPow True Passed
  • Model Under Test
  • Equivalent Model
25a505c4ebd29e20cfad2ff51709064d8c7b53e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumPow False Passed
  • Model Under Test
  • Equivalent Model
cc12932d4688798184b34a630d39ff2403b55275 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumPow True Passed
  • Model Under Test
  • Equivalent Model
45f4bb26ef9b82d534188abc5b39dcc19c0f598e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumPow False Passed
  • Model Under Test
  • Equivalent Model
d563e88023d080282201936023ba6c6c76a932ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumPow True Passed
  • Model Under Test
  • Equivalent Model
2c677c67944ba9838d9d70890aa8aa5a51b29a51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumPow False Passed
  • Model Under Test
  • Equivalent Model
98879070d6992af4573a33eb98df7a2da8b8ebde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumPow True Passed
  • Model Under Test
  • Equivalent Model
6d8c72dd1d302548324abe407090463ca30a8493 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumPow False Passed
  • Model Under Test
  • Equivalent Model
ff50489492f259b4e1059c9f4ba684ba84eee1da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumPow True Passed
  • Model Under Test
  • Equivalent Model
8f539bc5bd58e968db1eaef0548ebe54c96263c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumPow False Passed
  • Model Under Test
  • Equivalent Model
6e333db67b364a9b43a50705b87010cdefd13380 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumPow True Passed
  • Model Under Test
  • Equivalent Model
6531049f3d9287079201565dc512e79521ee6f78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumPow False Passed
  • Model Under Test
  • Equivalent Model
dce5a4f26d4f8b9ab730dbca2af996f0e12bd106 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumPow True Passed
  • Model Under Test
  • Equivalent Model
15b78b548e8086dde534d46f2ae44e803b12b3fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumPow False Passed
  • Model Under Test
  • Equivalent Model
3403583157ef02aa0067fe785f5c4cd75cb1b2cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumPow True Passed
  • Model Under Test
  • Equivalent Model
fd1d6776083748c92e7e91424601518f63b132d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumPow False Passed
  • Model Under Test
  • Equivalent Model
3631066fbc9e89d8f6f4c47e196bffffaed7662c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumPow True Passed
  • Model Under Test
  • Equivalent Model
107f5f0c5fd9a715506e639ec6603785006ec583 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumPow False Passed
  • Model Under Test
  • Equivalent Model
acb26be47834a8428d4e613019a387a651fd1eeb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumPow True Passed
  • Model Under Test
  • Equivalent Model
d6231a024459b9d7d710380f9681b06b486dd01b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumPow False Passed
  • Model Under Test
  • Equivalent Model
fb3c4350231ee64ea8855499917fcb7535d1aa2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumPow True Passed
  • Model Under Test
  • Equivalent Model
a79d7596cbf64514c717d2010e8b8de2d7807737 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumPow False Passed
  • Model Under Test
  • Equivalent Model
b8b5f89e8e16dbf1a0ef4e1d300c864f21daf1a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumPow True Passed
  • Model Under Test
  • Equivalent Model
95e3b10693b21b7921f447287548aff56a955922 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumPow False Passed
  • Model Under Test
  • Equivalent Model
165720833dc41b66959fa60dd4c7688f84e63942 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumPow True Passed
  • Model Under Test
  • Equivalent Model
90848c1d0c500f3f26f209f99a4fbbeee3d9e413 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumPow False Passed
  • Model Under Test
  • Equivalent Model
a5f1cb2891f2df9883f11edc49bb52ce229ba77f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumPow True Passed
  • Model Under Test
  • Equivalent Model
4958dadb601fe4987a05549fad86c4ab7d385f94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumPow False Passed
  • Model Under Test
  • Equivalent Model
b60cf7f217a3760e2dff59559ace05542570f26f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul NumPow True Passed
  • Model Under Test
  • Equivalent Model
bb4040985c9ff9b213283e689709ccd9ccfe3a82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul NumPow False Passed
  • Model Under Test
  • Equivalent Model
acba502b3fb71b2950387288347651bfa4a3d12d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumPow True Passed
  • Model Under Test
  • Equivalent Model
82e9b82e22cf59dcb2da2c2992b12171aff18bc0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumPow False Passed
  • Model Under Test
  • Equivalent Model
281ad30c9fed6e0aa7451a11b2606f9120ae5f2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumPow True Passed
  • Model Under Test
  • Equivalent Model
d56e0325bf7fd2970d9e57b09c98cc29b80489c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumPow False Passed
  • Model Under Test
  • Equivalent Model
9f6497cc47b96d8609240b779d62aca01abc1828 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumPow True Passed
  • Model Under Test
  • Equivalent Model
93834a87cc6b11c7228dc66b438feca9df95b51b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumPow False Passed
  • Model Under Test
  • Equivalent Model
bb228c8c03ea9be981b17df67002965b5b915e94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumPow True Passed
  • Model Under Test
  • Equivalent Model
a957e90e6cd1fbf0a3c00e8eb56b430eded7a127 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumPow False Passed
  • Model Under Test
  • Equivalent Model
4fcd712b93fe3d264805ba5a6deded5b2d1dcb01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumPow True Passed
  • Model Under Test
  • Equivalent Model
dcdd7def10b89328fddc3004503326315c682fb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumPow False Passed
  • Model Under Test
  • Equivalent Model
39c81d249093479e7746abe6ca41d8651d477085 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumPow True Passed
  • Model Under Test
  • Equivalent Model
56b9c25e08c1910b5c11d3bc49f6968f9bd34cd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumPow False Passed
  • Model Under Test
  • Equivalent Model
17d587993f393f189fc534480c12768b257b7539 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumPow True Passed
  • Model Under Test
  • Equivalent Model
1332a4f445bf4df36790af5e37515ebea0ced99f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumPow False Passed
  • Model Under Test
  • Equivalent Model
eef944ef5513f5f72012d61a511b262217d0a3d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumPow True Passed
  • Model Under Test
  • Equivalent Model
1cf4f239596eceeaabe5597fa48dc36aed8c4010 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumPow False Passed
  • Model Under Test
  • Equivalent Model
717e09c479c260dcd51245a59b6d006dcbf4fc2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumPow True Passed
  • Model Under Test
  • Equivalent Model
08bd32d46e2fb778127f1b5fa91a27f6ed775740 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumPow False Passed
  • Model Under Test
  • Equivalent Model
e855262f4c9b997ef5c8963c12201b2da8f7a32b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumPow True Passed
  • Model Under Test
  • Equivalent Model
2629963b2b6c4a2ae9e2b7748b33fc01d85febb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumPow False Passed
  • Model Under Test
  • Equivalent Model
77f1fc2d988c80672defdf0564c966a4591ee742 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumPow True Passed
  • Model Under Test
  • Equivalent Model
51ea55b117bbffe48071477859e52207d23dc050 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumPow False Passed
  • Model Under Test
  • Equivalent Model
710095c886e0ce913ed79f3a03b0a46c48adb1a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumPow True Passed
  • Model Under Test
  • Equivalent Model
7d45cd32d779831a4b0538223da3a3b106509a40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumPow False Passed
  • Model Under Test
  • Equivalent Model
1d3a97c229b6bbfe65630ebcb99e25fd6c6bfb71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumPow True Passed
  • Model Under Test
  • Equivalent Model
f299bf3d5bda20b580376c9bd1ecbcfce54f50e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumPow False Passed
  • Model Under Test
  • Equivalent Model
a85bdd6fac8bd2b74a77a148296548e45eebd435 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumPow True Passed
  • Model Under Test
  • Equivalent Model
ff0e44a2e756d3d9a999b5115e80898a7010626b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumPow False Passed
  • Model Under Test
  • Equivalent Model
e65584f4e4ea7d453d93934abeb69866d544844e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumPow True Passed
  • Model Under Test
  • Equivalent Model
a2cd45d2b1b43916351b7dc117c535c16aeedebd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumPow False Passed
  • Model Under Test
  • Equivalent Model
210ab25d6f84c3c3dc8aeca9d693c0a9620f1845 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumPow True Passed
  • Model Under Test
  • Equivalent Model
92fa56b83b56a96a27fa0b30ff54280e4f108153 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumPow False Passed
  • Model Under Test
  • Equivalent Model
2602cfeab16bdb36ae6bb910c359f212a647fcf6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumPow True Passed
  • Model Under Test
  • Equivalent Model
60e68431e4cb4cbf7d8584c1daa8e9ee32b1bd50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumPow False Passed
  • Model Under Test
  • Equivalent Model
4fd3b9d2d808bbe0e4f0876d39195598a06943a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumPow True Passed
  • Model Under Test
  • Equivalent Model
d2d78d3dbe56759a9e866bcd3770ccb3e4d4b524 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumPow False Passed
  • Model Under Test
  • Equivalent Model
aef958f74f3c51ee0a8ec9bf8cd9c78f713fde3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumPow True Passed
  • Model Under Test
  • Equivalent Model
95aa3ad190855bb32a989aae3e7bcf4568485bd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumPow False Passed
  • Model Under Test
  • Equivalent Model
f4f3e9e4fb4b301c4c1f3abb2243724c8f987280 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumPow True Passed
  • Model Under Test
  • Equivalent Model
c2e706d25fba63a26e799148876b5540b1a2fcd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumPow False Passed
  • Model Under Test
  • Equivalent Model
6906b2820781fb76ed2c6c4b90a44085de61e8c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumPow True Passed
  • Model Under Test
  • Equivalent Model
81316d584812a26ec3046091010937d6c0d39921 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumPow False Passed
  • Model Under Test
  • Equivalent Model
387cab789eb7c40e88f502cb3b7428f171dfa29c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumPow True Passed
  • Model Under Test
  • Equivalent Model
aa2a21a54c4f748ee2bb35c41dd47c7e94a33486 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumPow False Passed
  • Model Under Test
  • Equivalent Model
6426b0c21d58421b4a32da1c50bcd1810dc92803 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumPow True Passed
  • Model Under Test
  • Equivalent Model
4c7f63c741cdb3b8beeae383d289e7759b004803 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumPow False Passed
  • Model Under Test
  • Equivalent Model
a27af366fa9845d14083de1907c3063e15c46cf3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumPow True Passed
  • Model Under Test
  • Equivalent Model
3eeed1ce298fa5da1a14a5f13d64f3e0f17e4059 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumPow False Passed
  • Model Under Test
  • Equivalent Model
d8d40662a7f3376dd491dfc35e579758a29a6fcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumPow True Passed
  • Model Under Test
  • Equivalent Model
d245e395fe6e75891f94ac343a08e86f82345ef0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumPow False Passed
  • Model Under Test
  • Equivalent Model
592e51e60d7c9fa6b42c003dc10d490f1b11d8c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumPow True Passed
  • Model Under Test
  • Equivalent Model
08780762fed2a5bcc4a1745ad29ab5d4cf688f26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumPow False Passed
  • Model Under Test
  • Equivalent Model
2c2196372195e191fbe608ba8599f67d080ef44d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumPow True Passed
  • Model Under Test
  • Equivalent Model
02df4ea3e2d2c5a78dc128ea520173660f17ae0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumPow False Passed
  • Model Under Test
  • Equivalent Model
e1a3d506ef2799fa28be80714f52a886613bf66d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumPow True Passed
  • Model Under Test
  • Equivalent Model
b851b4ff86853f4704d5cde7e3d07394c89aacd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumPow False Passed
  • Model Under Test
  • Equivalent Model
5d60f348f89dd1818063e79c71a7b79d2acae02d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumPow True Passed
  • Model Under Test
  • Equivalent Model
ab6b3680e70565d87c247aec85f790222642af08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumPow False Passed
  • Model Under Test
  • Equivalent Model
40e2dfd1babe6399af51743bf6289847e29132b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumPow True Passed
  • Model Under Test
  • Equivalent Model
92856778cb9b4478e010e6d90158831e67e56783 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumPow False Passed
  • Model Under Test
  • Equivalent Model
914c727de66490ec00d49baa4ad8767032badbce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumPow True Passed
  • Model Under Test
  • Equivalent Model
060ca571e625633bccee5e42a7d71cbe079ba710 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumPow False Passed
  • Model Under Test
  • Equivalent Model
9255934d73c9cc4f20c3ca23f81b275a67c128ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumPow True Passed
  • Model Under Test
  • Equivalent Model
2dba346a812823cd631ea8481d38e5836e39c6c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumPow False Passed
  • Model Under Test
  • Equivalent Model
d70ba13f1d8f1a247d05c395db0c70b00e66644e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumPow True Passed
  • Model Under Test
  • Equivalent Model
309a3f1872bf2224c639df60665aaf9885ef3480 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumPow False Passed
  • Model Under Test
  • Equivalent Model
9d66eaeb9c38c31c199f7b17951f9b840f95efc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumPow True Passed
  • Model Under Test
  • Equivalent Model
2cdf21ef6e3bb6080707dd106732188cb70cece0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumPow False Passed
  • Model Under Test
  • Equivalent Model
43174d0a071f386c598df12cd3561202931f8781 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumPow True Passed
  • Model Under Test
  • Equivalent Model
8303a7a34cdde05af74c865d9300910b02f317bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumPow False Passed
  • Model Under Test
  • Equivalent Model
47a3d8899d5b6020fe96a55a40258ff027dd833c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumPow True Passed
  • Model Under Test
  • Equivalent Model
b6d0f1fa119c03cb592c82625ff9dc506c7aafca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumPow False Passed
  • Model Under Test
  • Equivalent Model
8b249e526166c88d698424ab284d708ff328e7d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumPow True Passed
  • Model Under Test
  • Equivalent Model
bf2ce533ba713b61045870490ac7b7a1fd7f9361 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumPow False Passed
  • Model Under Test
  • Equivalent Model
aa1678f7506f4cda027b0b2bb26d1419eeb897a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumPow True Passed
  • Model Under Test
  • Equivalent Model
d4598f472d498ac425f1b51072b09b672ef615fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumPow False Passed
  • Model Under Test
  • Equivalent Model
207961261d37e9db1e3f2b5422fc673e67eb2905 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumPow True Passed
  • Model Under Test
  • Equivalent Model
22405fed7e9aaca4916c83bc78bf3bb75f2a810f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumPow False Passed
  • Model Under Test
  • Equivalent Model
1a808f6ca9f008d77e684e57067c3b153ef736c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumPow True Passed
  • Model Under Test
  • Equivalent Model
7db6310026bc3be620aa518eca03e9f3f0ffe8bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumPow False Passed
  • Model Under Test
  • Equivalent Model
6f8c458869e4a06475f2c3f75e3f7fdbcd1a8f01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumPow True Passed
  • Model Under Test
  • Equivalent Model
a26b4f6b57bb90af12db4796c55b45c564fdcc17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumPow 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
7ea801aa6b10359e8eccdc41bd0859df6b722097 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumPow True Passed
  • Model Under Test
  • Equivalent Model
6590e504bccf2fd131c0cbef8676b365d055d208 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumPow False Passed
  • Model Under Test
  • Equivalent Model
280a4224b0bdaf39ae3e073f42aead5de02404f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumPow True Passed
  • Model Under Test
  • Equivalent Model
293cbcbe287ac30acbc556045e0a2aa1451ae757 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumPow False Passed
  • Model Under Test
  • Equivalent Model