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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
df33cd6735a19a8bbd9ec8ee20d0426750f1cb60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumPlus True Passed
  • Model Under Test
  • Equivalent Model
ace3174561ab266adc89cedabd874459b9914116 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumPlus False Passed
  • Model Under Test
  • Equivalent Model
f5f51d9c6c93e051ba4fc9a8374acb968836742d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumPlus True Passed
  • Model Under Test
  • Equivalent Model
593aabc92626e53291867f4876e149b9016ecdd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumPlus False Passed
  • Model Under Test
  • Equivalent Model
6114e52292dd99f15ffbef0323af9ed819610b9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumPlus True Passed
  • Model Under Test
  • Equivalent Model
74fe247b1eed6a83f93030f7d72a4f044e9ac6de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumPlus False Passed
  • Model Under Test
  • Equivalent Model
215392f904356e1143303b947fc56175ea6baa4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumPlus True Passed
  • Model Under Test
  • Equivalent Model
f5754655d7b68c8d1ea20e0f4342c53831757eb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumPlus False Passed
  • Model Under Test
  • Equivalent Model
2436c3810d073cc82ae03d23ed1de2b0216b752b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumPlus True Passed
  • Model Under Test
  • Equivalent Model
4c86c66510a7474cd328ca951828344ca102f0fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumPlus False Passed
  • Model Under Test
  • Equivalent Model
48028df3398df0baff837ba551701e91f6f6cb60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumPlus True Passed
  • Model Under Test
  • Equivalent Model
2b61e88e37e6bf3d977dc45f44d69386e2dc2550 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumPlus False Passed
  • Model Under Test
  • Equivalent Model
28d83be85c6a5c02e0d166dac1c3b2d89092f018 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumPlus True Passed
  • Model Under Test
  • Equivalent Model
ca23710b7f9e782ed3db2c705e3bc3bb1497378c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumPlus False Passed
  • Model Under Test
  • Equivalent Model
0df2c53cbfc07667f4078bd2c8f5d7995cb34e6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumPlus True Passed
  • Model Under Test
  • Equivalent Model
b10dde5f6001321473d8ffc5782d64f956c33a52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumPlus False Passed
  • Model Under Test
  • Equivalent Model
c89aac5cb83089a4b95762cd376c00c0dd5dc9d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumPlus True Passed
  • Model Under Test
  • Equivalent Model
aa875d6bf0d55d61f977a84825bdc672a3d85ce9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumPlus False Passed
  • Model Under Test
  • Equivalent Model
06803137b7dd82eb181e35c4c4a0f547306361b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumPlus True Passed
  • Model Under Test
  • Equivalent Model
45fb4b40b88f1fc1071850a06fef5ae0aafc60eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumPlus False Passed
  • Model Under Test
  • Equivalent Model
59e9365db31ecd36d86f6cacc208e0e67cb11787 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumPlus True Passed
  • Model Under Test
  • Equivalent Model
73f98210c2f8ce0e924e74a0d67f1bcb541aae17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumPlus False Passed
  • Model Under Test
  • Equivalent Model
886520bd2a6e2e57847accdcbd728920b160000b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumPlus True Passed
  • Model Under Test
  • Equivalent Model
86d4e275fe3d192dedb60e75c6c7ccf176c022fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumPlus False Passed
  • Model Under Test
  • Equivalent Model
0314b5e524d90e22e1d479a969c97b0943f46196 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumPlus True Passed
  • Model Under Test
  • Equivalent Model
96a8b303d6dc410000adc7d38c1234bdcf142cf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumPlus False Passed
  • Model Under Test
  • Equivalent Model
9b4c2c967533c1aee75841b562db7c959a99c9f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumPlus True Passed
  • Model Under Test
  • Equivalent Model
8b1a7f5783d3d949d3a1bbac9aa9e04b550957a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumPlus False Passed
  • Model Under Test
  • Equivalent Model
a286e7f1284069370213f0ecf84e5db78f96940a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumPlus True Passed
  • Model Under Test
  • Equivalent Model
cfce4639dadb7be2ebdf713a554ce75ca058eb2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumPlus False Passed
  • Model Under Test
  • Equivalent Model
b9263e241491a9e5dfab6202ba3f1de86059528f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumPlus True Passed
  • Model Under Test
  • Equivalent Model
ae3cc9eb740f342f3f86a257c7a117518e134487 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumPlus False Passed
  • Model Under Test
  • Equivalent Model
b2ffc0332707fe5b46ec70abe7a4ff7bb106fd8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumPlus True Passed
  • Model Under Test
  • Equivalent Model
150ce6574f7ccf90d4f48d6dd92f3a4679a952d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumPlus False Passed
  • Model Under Test
  • Equivalent Model
667ca9c9cd8892ef2145317fa30da0f8dc734e0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumPlus True Passed
  • Model Under Test
  • Equivalent Model
fefda49b13d2bc5730617270cbdbe5530cfde4d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumPlus False Passed
  • Model Under Test
  • Equivalent Model
69e93a618b332b3ed80d5cfc447f9b3e783e71ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumPlus True Passed
  • Model Under Test
  • Equivalent Model
4b7e842a2458b06539a525ca3f516d9c76737936 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumPlus False Passed
  • Model Under Test
  • Equivalent Model
a74142cc70672b98f448ca541a2899dd045dabd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumPlus True Passed
  • Model Under Test
  • Equivalent Model
0d30935ff5ba76cabfefc48aa79912499a674000 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumPlus False Passed
  • Model Under Test
  • Equivalent Model
29afb4abb39cd9b945fd78fd19040a818e543cd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumPlus True Passed
  • Model Under Test
  • Equivalent Model
205849ae88813d910b90d718230892f969586799 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumPlus False Passed
  • Model Under Test
  • Equivalent Model
37130736394206a3279f27adb8b1ee35de6f2cd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumPlus True Passed
  • Model Under Test
  • Equivalent Model
c7667248b21f15e3c7a768e7472975dda86a811e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumPlus False Passed
  • Model Under Test
  • Equivalent Model
b388b07890cfd41369619c74a5be96941e778901 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumPlus True Passed
  • Model Under Test
  • Equivalent Model
a34b5ad08d42c3b688ff181969ae3e6e77fe7d6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumPlus False Passed
  • Model Under Test
  • Equivalent Model
f7f8413d3e95eb66dbef2e8604f3168da981f35c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumPlus True Passed
  • Model Under Test
  • Equivalent Model
17c8f33eb1d5e5d6896b1aa5299fd56234ff8b0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumPlus False Passed
  • Model Under Test
  • Equivalent Model
8fb33b0e1fbd67b7364a736f3b8e3cd1b1643b56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumPlus True Passed
  • Model Under Test
  • Equivalent Model
47b0ea765c4979e393eba0c8087ddebe9aae1ad2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumPlus False Passed
  • Model Under Test
  • Equivalent Model
ac86d5e169d67f2beee1c61f169f5dbcde972984 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt NumPlus True Passed
  • Model Under Test
  • Equivalent Model
b559c4d22e32e27d7c7a98033ce6203834a6c025 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt NumPlus False Passed
  • Model Under Test
  • Equivalent Model
a39c0c805275e8e4c0d8bc75030d16eea137273b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumPlus True Passed
  • Model Under Test
  • Equivalent Model
edb67c1735c584801cc59844c305756dc1ee4dd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumPlus False Passed
  • Model Under Test
  • Equivalent Model
216d5172e5dfa86cde48bdd21022a95db93df6a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumPlus True Passed
  • Model Under Test
  • Equivalent Model
dd5912a199a78f3a74e9d545b3b250d513c85ec9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumPlus False Passed
  • Model Under Test
  • Equivalent Model
9a032d27b9db537fae113262acfa46c62cd9665a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumPlus True Passed
  • Model Under Test
  • Equivalent Model
e88cfe944e1a2c3c827f45fd788a7ce1e420959d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumPlus False Passed
  • Model Under Test
  • Equivalent Model
ef90cc071320430fb2e11f27537a1787b435376d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumPlus True Passed
  • Model Under Test
  • Equivalent Model
57310fb417135d46f3c8c8e6c18b5e7b1e34b5c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumPlus False Passed
  • Model Under Test
  • Equivalent Model
d783c8e8d512fb792dae1e3cc5b23a66d8f39b27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumPlus True Passed
  • Model Under Test
  • Equivalent Model
e7a803c746d3fd15dd0f2a48637df632d8aefea7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumPlus False Passed
  • Model Under Test
  • Equivalent Model
156061ea5677450ab47b0bef5fd1c6b53e128f85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumPlus True Passed
  • Model Under Test
  • Equivalent Model
b313f2f3523378e24d526e07777ba176300be49c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumPlus False Passed
  • Model Under Test
  • Equivalent Model
373c20148372c071802e58d999932b3f086545d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumPlus True Passed
  • Model Under Test
  • Equivalent Model
2e3b9aa08aab516e8104107ac7de0040ed3f4929 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumPlus False Passed
  • Model Under Test
  • Equivalent Model
cc65d838499bac543c00a750a310a20cc4735738 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumPlus True Passed
  • Model Under Test
  • Equivalent Model
b1763421d1445d12e5ed23952995d3c281f44048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumPlus False Passed
  • Model Under Test
  • Equivalent Model
71f3bd9ff93243b57960750a2f11a5517cdc8825 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumPlus True Passed
  • Model Under Test
  • Equivalent Model
2192e8a2a4723ace173f15f1180002813e3f8b9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumPlus False Passed
  • Model Under Test
  • Equivalent Model
8daeeda37a123cafb50ba98b7076811c3d38b48d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumPlus True Passed
  • Model Under Test
  • Equivalent Model
9ed43f20de34ec7f77b0a0bdc47b4093067b3487 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumPlus False Passed
  • Model Under Test
  • Equivalent Model
8d6952d740c8522fe31bc46753ebcb5f9bdd9e85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumPlus True Passed
  • Model Under Test
  • Equivalent Model
c3433be502dc497d4cece032018b4c788d808add TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumPlus False Passed
  • Model Under Test
  • Equivalent Model
ae06da50120235581112fcf3204ce8c03696bb6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumPlus True Passed
  • Model Under Test
  • Equivalent Model
51bfdaf68522f82a26016ba06481dfdb9b07bba2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumPlus False Passed
  • Model Under Test
  • Equivalent Model
7d01a30ecb0005cb0e962592a51e64557ab9fb2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumPlus True Passed
  • Model Under Test
  • Equivalent Model
6a7293df3ff1ed555cddd03e1a12f8f261ee1bcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumPlus False Passed
  • Model Under Test
  • Equivalent Model
c064090b119fb0f998fa1c5902f7443505e8f905 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumPlus True Passed
  • Model Under Test
  • Equivalent Model
3bdf7604300a0473b54aecad984f3410e5103a05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumPlus False Passed
  • Model Under Test
  • Equivalent Model
1ccaac6ab530f8cc1c30119332ea632dea4c9156 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumPlus True Passed
  • Model Under Test
  • Equivalent Model
619d133ef20b42a5aee7466770bd06c2539c20dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumPlus False Passed
  • Model Under Test
  • Equivalent Model
7cc3303688075057fd94c0b753974908a94d4027 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumPlus True Passed
  • Model Under Test
  • Equivalent Model
1e19c7d283532fd55a9d705bd191169b90f6d723 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumPlus False Passed
  • Model Under Test
  • Equivalent Model
5f3ebbd4d218e1fd9eaaa59df4f740f02ec171d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumPlus True Passed
  • Model Under Test
  • Equivalent Model
13648b670f5c2d3a88d52cf2f586be49c1bd4ec5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumPlus False Passed
  • Model Under Test
  • Equivalent Model
f0a07f516bef64a47495ecf2c14ef6799d513859 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumPlus True Passed
  • Model Under Test
  • Equivalent Model
26598df2aaecbdb753b3a84cf9becaa73ef164f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumPlus False Passed
  • Model Under Test
  • Equivalent Model
dc0fb8d71ba49e5949593d0fc2e283cafff74d81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumPlus True Passed
  • Model Under Test
  • Equivalent Model
2e8c5716416979c6374450811dedfe6de71aeb20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumPlus False Passed
  • Model Under Test
  • Equivalent Model
446206e32377b2a956ea916280c4e63933604f9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumPlus True Passed
  • Model Under Test
  • Equivalent Model
69d55529d93f6e1a271ad32bbc2e1aa97560c2ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumPlus False Passed
  • Model Under Test
  • Equivalent Model
531b3eb33099c9d0baba1d2da39ddbb9b10f7998 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumPlus True Passed
  • Model Under Test
  • Equivalent Model
6eb836a8bee6ef95905d87da8e5eb2053887d1de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumPlus False Passed
  • Model Under Test
  • Equivalent Model
8770f855a299d19651d9038895aa2e3deab995fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumPlus True Passed
  • Model Under Test
  • Equivalent Model
65e1645c6ea207de970008682e8677f4961dda71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumPlus False Passed
  • Model Under Test
  • Equivalent Model
5d0a3432bee6d6f90f62e3fb1cb7a4bfae5a5683 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumPlus True Passed
  • Model Under Test
  • Equivalent Model
7196be6e8e2e3803638e79793c774578523f4238 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumPlus False Passed
  • Model Under Test
  • Equivalent Model
cefe6b97b432283799cfece69cefcec6d4a6d222 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumPlus True Passed
  • Model Under Test
  • Equivalent Model
488aefd24c78a4bc7d244ba2e858b0ed856ec270 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumPlus False Passed
  • Model Under Test
  • Equivalent Model
a397a05509a82d2d80812e6fd2f3f43077e0d795 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumPlus True Passed
  • Model Under Test
  • Equivalent Model
e8ce4a82512183b904f95dfc47858ab575c325cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumPlus False Passed
  • Model Under Test
  • Equivalent Model
3a20326cd68aa3a28db68f5f4f990f0b02848932 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumPlus True Passed
  • Model Under Test
  • Equivalent Model
811228e7a5c0908a1a3c305be51161b197529624 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumPlus False Passed
  • Model Under Test
  • Equivalent Model
06b945874509967644e75d642c24f4e462f2cbfb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumPlus True Passed
  • Model Under Test
  • Equivalent Model
aed415b93198f3717575ef6a8ab953250ff65985 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumPlus False Passed
  • Model Under Test
  • Equivalent Model
8b32e91db225b95afea165777a1a0108dbbef2df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumPlus True Passed
  • Model Under Test
  • Equivalent Model
7046558b807f896d9d4243f623d55c555a2c65c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumPlus False Passed
  • Model Under Test
  • Equivalent Model
b61ce271397e83184c3185fcf3644a5bcde45d12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumPlus True Passed
  • Model Under Test
  • Equivalent Model
db2f0018df70075de5e9ef3b413f18473b3b2ee3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumPlus False Passed
  • Model Under Test
  • Equivalent Model
753b109e21936f9c49b63aa8ebfe18fd6a684296 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumPlus True Passed
  • Model Under Test
  • Equivalent Model
c2927bd77e7a386ec225452b4aaa3750cb0e6330 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumPlus False Passed
  • Model Under Test
  • Equivalent Model
7f9226d5b46cb3df35d2879e18a60b3501961fe4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumPlus True Passed
  • Model Under Test
  • Equivalent Model
4e52cbd0de39eeebe32ca8313c52861f2cd8d107 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumPlus False Passed
  • Model Under Test
  • Equivalent Model
ab56366624cbbfaf2439e6c0fccfbd031b89370a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumPlus True Passed
  • Model Under Test
  • Equivalent Model
723e7821f98b32209077a2d3c76fb2b1bd880b82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumPlus False Passed
  • Model Under Test
  • Equivalent Model
b56f7a5dcfe61bffa07024e56e63975201c48dcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumPlus True Passed
  • Model Under Test
  • Equivalent Model
5b6c69cb9446e00f70fbde2038b96cc9595d6cba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumPlus False Passed
  • Model Under Test
  • Equivalent Model
0c01bc6dea81eb033e88dcbf1384582ad7fa1543 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumPlus True Passed
  • Model Under Test
  • Equivalent Model
339d1e1f2f4a500acbfbaa25b00fa800cc8db03d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumPlus False Passed
  • Model Under Test
  • Equivalent Model
bef22c83d28153e36654720360d4509fa6de6436 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumPlus True Passed
  • Model Under Test
  • Equivalent Model
e59cb3cec0215bfd57a39bc738d9a3b33abf5d17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumPlus False Passed
  • Model Under Test
  • Equivalent Model
7d0f6923a18f3c098ed0950a697f366514008ca4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumPlus True Passed
  • Model Under Test
  • Equivalent Model
c55d9dd241b22211d64c03773fa6cd7529040022 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumPlus False Passed
  • Model Under Test
  • Equivalent Model
73712e7315bcfc96334cb98cace3657da2dbfce3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumPlus True Passed
  • Model Under Test
  • Equivalent Model
911a128634173f7f51293087af1c4ab9534ffc16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumPlus False Passed
  • Model Under Test
  • Equivalent Model
0dc8e3033f62f454f41533fe28aca7044d4cedf4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumPlus True Passed
  • Model Under Test
  • Equivalent Model
72ac718a36e6c0dfde78ea17a951f863fcada32f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumPlus False Passed
  • Model Under Test
  • Equivalent Model
a0723d38b2655b0d2e8e7822ab7911d5e7b9d5ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumPlus True Passed
  • Model Under Test
  • Equivalent Model
2a461fea448536ffba9bb91016ba7713753f32f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumPlus False Passed
  • Model Under Test
  • Equivalent Model
fe1029e2c50d596edf8f165360a5ee46a916246a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumPlus True Passed
  • Model Under Test
  • Equivalent Model
4114c0e11816a854c7d3dfcaaaeb1dfd73474b25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumPlus False Passed
  • Model Under Test
  • Equivalent Model