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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
7c39c3bfa8fb2582a19d445e6c7f4599eebfac44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Prime True Passed
  • Model Under Test
  • Equivalent Model
188c1030f569402a91f5ba629441dff2d596c271 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Prime False Passed
  • Model Under Test
  • Equivalent Model
169a0e826efd5b2a95135e3b0d8b2d2ab349efa5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Prime True Passed
  • Model Under Test
  • Equivalent Model
2b206143ae506228ed12e7e5a74819f6e4af758b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Prime False Passed
  • Model Under Test
  • Equivalent Model
5dd388f6b4511c8378eee027b8a4c6e61accf0e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Prime True Passed
  • Model Under Test
  • Equivalent Model
a018a6325c3bedb9213475e8ccb288e195840b0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Prime False Passed
  • Model Under Test
  • Equivalent Model
bb196a80c7fb3ca779ecf7ceb136e7a4492e79e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Prime True Passed
  • Model Under Test
  • Equivalent Model
b1d7f478aaa70bd63301cb581058af8a5090ab38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Prime False Passed
  • Model Under Test
  • Equivalent Model
add2d234b47640d476d61db4781fbd9e8f55b49d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Prime True Passed
  • Model Under Test
  • Equivalent Model
267f2826b830ca28335007c708b4e6bea8245050 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Prime False Passed
  • Model Under Test
  • Equivalent Model
dff7b9e7f0979151848a0c8de71573e92272efc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Prime True Passed
  • Model Under Test
  • Equivalent Model
f8732071f29dc84dc202e18389dad98cbd080042 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Prime False Passed
  • Model Under Test
  • Equivalent Model
d1514c872e1bec4cb58981628cc793778d36819b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Prime True Passed
  • Model Under Test
  • Equivalent Model
ce383db9b80b6e05f154be69047d95fe39c34a6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Prime False Passed
  • Model Under Test
  • Equivalent Model
24aeb59b31c5b6b14b2e711d80e0b5a4467e4755 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Prime True Passed
  • Model Under Test
  • Equivalent Model
68d99e61a4fb1ff68efc497bcab21be15e65f5d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Prime False Passed
  • Model Under Test
  • Equivalent Model
7af9c8384d3c7efbf4d75bf9224b6ac8d5bbad46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Prime True Passed
  • Model Under Test
  • Equivalent Model
c103a1b112c26f3132bf53dddb728e355205d1e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Prime False Passed
  • Model Under Test
  • Equivalent Model
753c2c5d0551adace54ff94cf81fe88db092ca4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Prime True Passed
  • Model Under Test
  • Equivalent Model
78a43829ebedbfb796b8a269f80394e53f14c746 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Prime False Passed
  • Model Under Test
  • Equivalent Model
e76a0cc7f650ef71d755f83bc57113b6d5c6d732 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Prime True Passed
  • Model Under Test
  • Equivalent Model
1d7ffa788be697043d8b78c26c174a3be8e10976 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Prime False Passed
  • Model Under Test
  • Equivalent Model
5e59687368b05f2c2cfffcc73a042c467c1497e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Prime True Passed
  • Model Under Test
  • Equivalent Model
5c06c7a9ac2ff911c149217e31617521b0a56349 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Prime False Passed
  • Model Under Test
  • Equivalent Model
00f97fd9fd219968474b2a0986d8217bf100a45f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Prime True Passed
  • Model Under Test
  • Equivalent Model
ed8c963506c1df8ed29dec6a5f2676d74ab86451 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Prime False Passed
  • Model Under Test
  • Equivalent Model
19666bc92f68ac5bd6e634c342fba9f68f9c0084 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Prime True Passed
  • Model Under Test
  • Equivalent Model
5593c359f6e443cd68d802bfdada67d15b5b5252 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Prime False Passed
  • Model Under Test
  • Equivalent Model
1278551be07fe267faefaa75c59eb7fca10b4b27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Prime True Passed
  • Model Under Test
  • Equivalent Model
874f3e652bcad2b9f20c2a03357c23b259186980 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Prime False Passed
  • Model Under Test
  • Equivalent Model
39c7262d8af46a7aee0c92cee0503f908cde3bde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Prime True Passed
  • Model Under Test
  • Equivalent Model
9b37b67a1635b2aeaa591a8d68a047738080f86d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Prime False Passed
  • Model Under Test
  • Equivalent Model
5392afd9b9c3c9209bc1586b9a0854dde5bf2ac4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Prime True Passed
  • Model Under Test
  • Equivalent Model
7f99add5e1ebc245f5b48d687461e2b029d64b48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Prime False Passed
  • Model Under Test
  • Equivalent Model
6661c5ea48656a79c26e19b53d4cd993df261d36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Prime True Passed
  • Model Under Test
  • Equivalent Model
b57b5400b0b96c3fece90b55f0feed8dcf7e76cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Prime False Passed
  • Model Under Test
  • Equivalent Model
b4809847819b593b8f3cd0aeb5da66f53f33c103 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Prime True Passed
  • Model Under Test
  • Equivalent Model
1b4b3bc4301f5bf1e058cb712bce7b058a677fff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Prime False Passed
  • Model Under Test
  • Equivalent Model
3e64ab94ac43909237f1b25834226646e1117f43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Prime True Passed
  • Model Under Test
  • Equivalent Model
2796bf53de6f03515a8cdd205121e3ad81ed13a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Prime False Passed
  • Model Under Test
  • Equivalent Model
7ac875de6bf3522a86ba4418bf95373ada426633 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Prime True Passed
  • Model Under Test
  • Equivalent Model
f5256a1f9026c33a124030030dff5c6b20abb387 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Prime False Passed
  • Model Under Test
  • Equivalent Model
d827939e8e59f094e276ff4eb3be05f1c51d57d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Prime True Passed
  • Model Under Test
  • Equivalent Model
b5458355c6b6753ee2fcd1fa985181ccad536059 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Prime False Passed
  • Model Under Test
  • Equivalent Model
948b012e44a7305d686c948ba816f830f92bf191 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Prime True Passed
  • Model Under Test
  • Equivalent Model
be6300b580724912221cdd2b523499dac4ac0694 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Prime False Passed
  • Model Under Test
  • Equivalent Model
072edc9bfe6592c58301c8153c64919187e66fc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Prime True Passed
  • Model Under Test
  • Equivalent Model
9f229ed8d5fd9f66f54e0e3d93b44e0b88fa155f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Prime False Passed
  • Model Under Test
  • Equivalent Model
4d1f5625fffaf8b02f770ff82319755cf2f6c70a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Prime True Passed
  • Model Under Test
  • Equivalent Model
5b750d0228a5ef9f4ee051ada9f3101377af770c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Prime False Passed
  • Model Under Test
  • Equivalent Model
e16e6c9e6276a245bd3f97dd274497d31d264e6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Prime True Passed
  • Model Under Test
  • Equivalent Model
5ce5c389a0186093a73410b7a2e07e96124668d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Prime False Passed
  • Model Under Test
  • Equivalent Model
6e052a3710d9e1acdf4a2af92d4c173e87e30ecb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Prime True Passed
  • Model Under Test
  • Equivalent Model
45cb80cb1c28dd792834e6eb0b3ea179ae81b8b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Prime False Passed
  • Model Under Test
  • Equivalent Model
cd4709d836e67d5dc44f3d229a5ae9ae266b5ccd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Prime True Passed
  • Model Under Test
  • Equivalent Model
5b9c7d58a040e03df7c5f9fd7b0c2662f3eef55a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Prime False Passed
  • Model Under Test
  • Equivalent Model
490f5614754054aca4743efeb01be86b9accbbff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple Prime True Passed
  • Model Under Test
  • Equivalent Model
984d3bc68cb774ec43bd508887d5d6547448726c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple Prime False Passed
  • Model Under Test
  • Equivalent Model
a71f374a6019f3f1f0b9a3b4c7f6e2cb3a84201f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Prime True Passed
  • Model Under Test
  • Equivalent Model
b1d3c13503af81a10c4939ff6bd0b6130f6d67b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Prime False Passed
  • Model Under Test
  • Equivalent Model
ffdd3bcf54bd5937d00fa988a350aad746ddad3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Prime True Passed
  • Model Under Test
  • Equivalent Model
ac83da67985b6bd4d50d2a1bccc952c3f93ae7da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Prime False Passed
  • Model Under Test
  • Equivalent Model
f204c0d29813c851c919d49f254024ad88552677 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Prime True Passed
  • Model Under Test
  • Equivalent Model
83b4e32b9f100bf3acb4bbf06572884d07866a14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Prime False Passed
  • Model Under Test
  • Equivalent Model
85c6ff40c3e73c19600f872152fa23b991897100 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Prime True Passed
  • Model Under Test
  • Equivalent Model
0586013bf47f7170961b154fb57a977a4946aad9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Prime False Passed
  • Model Under Test
  • Equivalent Model
ff7c473d045c00237b0d47c445e844211beeb846 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Prime True Passed
  • Model Under Test
  • Equivalent Model
40203990b5338ae82e3c675e616ea28052597898 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Prime False Passed
  • Model Under Test
  • Equivalent Model
f3051c63099c942457a2edf78b3fc45551aa7f5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Prime True Passed
  • Model Under Test
  • Equivalent Model
50a51e0bc7d82e13eea3a69343a7118a2fdb998b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Prime False Passed
  • Model Under Test
  • Equivalent Model
d57678eb47c6333afaa2b2abf0f06eb53e205d90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Prime True Passed
  • Model Under Test
  • Equivalent Model
7c9185d5da4a269099046b0552db6949659c62a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Prime False Passed
  • Model Under Test
  • Equivalent Model
b72c8048d03156bd248ccfbe55442cc7293e56f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt Prime True Passed
  • Model Under Test
  • Equivalent Model
a0a936401820411dce4160696c8bc9783a35e74e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt Prime False Passed
  • Model Under Test
  • Equivalent Model
892acb9f7886a3ede2b3d5864f2a751a00a324cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Prime True Passed
  • Model Under Test
  • Equivalent Model
007d08bca4b3224e186fef80aba2a66b14d07b54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Prime False Passed
  • Model Under Test
  • Equivalent Model
3423c016303a1f2fc50879d06348082218ddd3aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Prime True Passed
  • Model Under Test
  • Equivalent Model
2bf8aa0caedcf3ff6523d3a3ec01f91a47fd16a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Prime False Passed
  • Model Under Test
  • Equivalent Model
f6610812561cdd2102640609af663903c0618daa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Prime True Passed
  • Model Under Test
  • Equivalent Model
acc2852711ddabfc9d294fe0b58bc052bd7b8deb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Prime False Passed
  • Model Under Test
  • Equivalent Model
00b25b144d3cf4b5d7c01c01d23e467c06471488 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Prime True Passed
  • Model Under Test
  • Equivalent Model
85b95df236914d66f696f33cfe45e9d22c4285f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Prime False Passed
  • Model Under Test
  • Equivalent Model
11c18e81d2c6203d9399bff4977ce0e4802a29d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Prime True Passed
  • Model Under Test
  • Equivalent Model
3c10496f0ade0eff0a8e1938503236e9db016760 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Prime False Passed
  • Model Under Test
  • Equivalent Model
0795f1c6b5ac95ee035ebf0f8bb4a94d900b91d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Prime True Passed
  • Model Under Test
  • Equivalent Model
90460b40bfea908ff49277cff6dc1f3d8a927344 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Prime False Passed
  • Model Under Test
  • Equivalent Model
9639d059797197f4766233bd6b4e9fd78116aee2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Prime True Passed
  • Model Under Test
  • Equivalent Model
ee196f07b8506d8bf7767049fd0a415805496c66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Prime False Passed
  • Model Under Test
  • Equivalent Model
0683c52a6a25b15c607ec60c094c4692f91326a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Prime True Passed
  • Model Under Test
  • Equivalent Model
0a62eb0bd13a520cbcc8da4d00a823768d98ca00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Prime False Passed
  • Model Under Test
  • Equivalent Model
c3e3012668734121e837c93e41ecc2dd056babf5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Prime True Passed
  • Model Under Test
  • Equivalent Model
af2718d9c6f4c5ecba0ce05e27c29d256d1cb706 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Prime False Passed
  • Model Under Test
  • Equivalent Model
94c44512bc8a6397f9bbb8aefe8478cee40f6382 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Prime True Passed
  • Model Under Test
  • Equivalent Model
876c8598456bedb4836b392ff605c52184b77dd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Prime False Passed
  • Model Under Test
  • Equivalent Model
200e4c3cc0713ed938d617d75cbc819d741b9ebc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Prime True Passed
  • Model Under Test
  • Equivalent Model
7e236ad5ba1af010734610ac4c069e88fcff65e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Prime False Passed
  • Model Under Test
  • Equivalent Model
2b1bf25b42f1cbfdd4e5c7a5c95b5f67f4196bce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Prime True Passed
  • Model Under Test
  • Equivalent Model
5e5aa33cf6eb4767c2d8485592e7d8189ec2cffe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Prime False Passed
  • Model Under Test
  • Equivalent Model
5c33a2372b998075643cb6c8022a51943a6f992e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Prime True Passed
  • Model Under Test
  • Equivalent Model
d7605378194e0bf3378f289bd573ed6303d5e61d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Prime False Passed
  • Model Under Test
  • Equivalent Model
4aff230eb731e8d75565190b5a51a25bf2440b3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Prime True Passed
  • Model Under Test
  • Equivalent Model
754fdf45e5a2f696332e05c420985e4721ec7d8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Prime False Passed
  • Model Under Test
  • Equivalent Model
9649c445fb796b9b1346e435dd6e234a5aee404d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Prime True Passed
  • Model Under Test
  • Equivalent Model
71059ccb3fd19b386b30b344de4a55f50290b7e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Prime False Passed
  • Model Under Test
  • Equivalent Model
46db21f20ea6752033c3a61218cf0342d1d197c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Prime True Passed
  • Model Under Test
  • Equivalent Model
255942a8eb0c49a02d498ead59789616deb91d06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Prime False Passed
  • Model Under Test
  • Equivalent Model
eb30a5e4ddb21d50c442549ecaae1968b15a7a79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Prime True Passed
  • Model Under Test
  • Equivalent Model
92fd8e045cc4a65390cb47e3959ac834053406a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Prime False Passed
  • Model Under Test
  • Equivalent Model
93da4e168222271ec5bc9b845087da0987dac965 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Prime True Passed
  • Model Under Test
  • Equivalent Model
a8f9e10ebd4ceba6c6531388a5741f125ab5fa26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Prime False Passed
  • Model Under Test
  • Equivalent Model
f40aec876d107be043b7e672421e8a7a64f74fb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Prime True Passed
  • Model Under Test
  • Equivalent Model
dd040e81c4926fc4413276149d6194b8876d5e1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Prime False Passed
  • Model Under Test
  • Equivalent Model
b4b84c649bbe82c2d614b7841fb4b9e2abd154b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Prime True Passed
  • Model Under Test
  • Equivalent Model
97d5d749eba1d4ba45253621e2221dfbe502775c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Prime False Passed
  • Model Under Test
  • Equivalent Model
3bca7e8d6c2bec16c57f656249ecf2611a8f73ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Prime True Passed
  • Model Under Test
  • Equivalent Model
7a71b8684c8025fb0cb38e3e25213687c3cfdb83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Prime False Passed
  • Model Under Test
  • Equivalent Model
3b6e9c1539f3c0d8656bf72381cd7fc7c47ec07d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Prime True Passed
  • Model Under Test
  • Equivalent Model
ad87cf0c1faa80c1cd5e96c22d5dfab7629d4c0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Prime False Passed
  • Model Under Test
  • Equivalent Model
3b4efa66e40918b457ebeda1f2e6754569fce480 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Prime True Passed
  • Model Under Test
  • Equivalent Model
6bb0591104b47161203eb48f073f778e60ef8f71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Prime False Passed
  • Model Under Test
  • Equivalent Model
1851ccc1ba1bd54d224ad99b2b0f9794d1aa25e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Prime True Passed
  • Model Under Test
  • Equivalent Model
26bcbf99dfeee4f97839e0e78c3162406f32918d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Prime False Passed
  • Model Under Test
  • Equivalent Model
a536034c02bdfbb9eda656aced5faa3c7abf4b76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Prime True Passed
  • Model Under Test
  • Equivalent Model
6138b8023ba298980f9519a044c53351148f7661 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Prime False Passed
  • Model Under Test
  • Equivalent Model
92f6582d049b24a03b68b94e4fa856a4d1842e3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Prime True Passed
  • Model Under Test
  • Equivalent Model
4860bbaa2ea032547704516424dc6d052f240c3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Prime False Passed
  • Model Under Test
  • Equivalent Model
d18c1ada988d49bf64025a638f58e0a4635c9a5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Prime True Passed
  • Model Under Test
  • Equivalent Model
3f6301e868f77ce99f0ddb733f9a850d2ce5b1fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Prime False Passed
  • Model Under Test
  • Equivalent Model
bfd0cbec2b210f8e404ce440f13cd40d98b1293c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Prime True Passed
  • Model Under Test
  • Equivalent Model
b64c7e11778cc7de794a9e88a8d7f3bccb832107 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Prime False Passed
  • Model Under Test
  • Equivalent Model
c62b2bcc80a3ea7992c94b16d9de20b60b026b3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Prime True Passed
  • Model Under Test
  • Equivalent Model
4f904291073b8912dbdb8732c0a79a1683d39ed3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Prime False Passed
  • Model Under Test
  • Equivalent Model
8f136054959879b2bcbcbc29b0228825d747a1d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Prime True Passed
  • Model Under Test
  • Equivalent Model
e5e9890d3fd40862381a11fa701e02abd68cb118 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Prime False Passed
  • Model Under Test
  • Equivalent Model
683c0726fc76a94bc564df4c04fd13f3810811f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Prime True Passed
  • Model Under Test
  • Equivalent Model
0c5af19a81b3577416c1646bcb90b5f5b8430bd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Prime False Passed
  • Model Under Test
  • Equivalent Model
5c385e4e1d13b30fa286a2824c0f325d0e63312a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Prime True Passed
  • Model Under Test
  • Equivalent Model
5b8ecc4e99ccbf5e4136b2779cf7b21dee94f268 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Prime False Passed
  • Model Under Test
  • Equivalent Model
c9a63e0017f2702bcb9377f63c0a977ed9144307 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Prime True Passed
  • Model Under Test
  • Equivalent Model
a3f4db401a729399ef245e68c7e8e7a3c78abd30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Prime False Passed
  • Model Under Test
  • Equivalent Model
7d64cee33973605d80f0740a6f52bba9f0857540 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Prime True Passed
  • Model Under Test
  • Equivalent Model
68ea6fbedf937005b214e16c2b5b9846d3d6ab76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Prime False Passed
  • Model Under Test
  • Equivalent Model
b7be530a5fe5334c44b80eba7b1e4d5d046c6418 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Prime True Passed
  • Model Under Test
  • Equivalent Model
d0c089f450cf9f6e0ebb4be44c02608c109e74e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Prime False Passed
  • Model Under Test
  • Equivalent Model
bc9fff9fd434cf70b59ad6fca72654c163080f0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Prime True Passed
  • Model Under Test
  • Equivalent Model
dc5c7e55e93b24846cfe322964cbd44991a58a3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Prime False Passed
  • Model Under Test
  • Equivalent Model
e8edc135a99a0810f7867579beccc97b88521d64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Prime True Passed
  • Model Under Test
  • Equivalent Model
d898dc26fef6497bc64a8bda7bb1512f23629280 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Prime False Passed
  • Model Under Test
  • Equivalent Model
fa28bc856a46e8559535cb6bbcbcb195df65e13f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Prime True Passed
  • Model Under Test
  • Equivalent Model
22c4ef927825d2dad5a103b7e961b0369a79729d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Prime False Passed
  • Model Under Test
  • Equivalent Model
b8b93165faa90b2e9d71f1a82469842492a938be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Prime True Passed
  • Model Under Test
  • Equivalent Model
eb258115a0024a665f19a83b483ff58f2903c30d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Prime False Passed
  • Model Under Test
  • Equivalent Model
863751abed9d01d352c6b4e6d4633e6fb487ff16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Prime True Passed
  • Model Under Test
  • Equivalent Model
f258537ec151a83a382b2336819d3a893282ff73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Prime False Passed
  • Model Under Test
  • Equivalent Model
9f131414e06eea2b42adbb6e981a667a6bf054cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Prime True Passed
  • Model Under Test
  • Equivalent Model
dcfb8b7a17bb87812b9b1357ec15be9fd9693a01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Prime False Passed
  • Model Under Test
  • Equivalent Model
687801a713e2c7567fb2ed9eb720c0cf756db572 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Prime True Passed
  • Model Under Test
  • Equivalent Model
89af8c880dd999a24ddf97f076c76a2145fedd45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Prime False Passed
  • Model Under Test
  • Equivalent Model
9f46d7f6b77a024a61563634981ff3eb73eb5d54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Prime True Passed
  • Model Under Test
  • Equivalent Model
836f5c93d9a6dd59d8eb3d008c4cf668d4126e15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Prime False Passed
  • Model Under Test
  • Equivalent Model
39bf167374db32a91e62aff6bb33e3c07c4fe28f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Prime True Passed
  • Model Under Test
  • Equivalent Model
877570be9a7fa8dd68eedbc48ac79748c7ce6bb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Prime False Passed
  • Model Under Test
  • Equivalent Model
729ee86b108a8688d487c6504b09191748245737 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Prime True Passed
  • Model Under Test
  • Equivalent Model
4a37a649ccf03ce4dfb5d251731625ea44341a7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Prime False Passed
  • Model Under Test
  • Equivalent Model
7931d1eb1332009c8c15b884321684f5cc9983f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Prime True Passed
  • Model Under Test
  • Equivalent Model
d1a84cfd2ea813ed2a0c66e51b351b852e1ef278 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Prime False Passed
  • Model Under Test
  • Equivalent Model
c76c7967016024a1144ca814dc0fbcd209d76197 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Prime True Passed
  • Model Under Test
  • Equivalent Model
ffbdd1f9b9ee236b71fc5cab7f61b38d2cdb8f30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Prime False Passed
  • Model Under Test
  • Equivalent Model
6c2936e89108afbdcecf5f444ad25df3ed986058 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Prime True Passed
  • Model Under Test
  • Equivalent Model
d7322261db8d75a0fd324de022b6fbc20e22594c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Prime False Passed
  • Model Under Test
  • Equivalent Model
c35f1facb6980fb406691d612d0e99aaed2d0386 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Prime True Passed
  • Model Under Test
  • Equivalent Model
669d1ddc0ef58111c0f19685defebe76012e30ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Prime False Passed
  • Model Under Test
  • Equivalent Model
07e84a4769a6e0181aba00fd003eaa38403f7273 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Prime True Passed
  • Model Under Test
  • Equivalent Model
918fc65d8d611a5222b9d263881329c7d4fe092b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Prime False Passed
  • Model Under Test
  • Equivalent Model
57bbb58af06fc1b390eead61ab91046243fa1b5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Prime True Passed
  • Model Under Test
  • Equivalent Model
09c516649fbaf45a4a50b8e76934621929f85a70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Prime False Passed
  • Model Under Test
  • Equivalent Model
b66901ee08814cf54b3c1036da9c8eafb4a99195 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Prime True Passed
  • Model Under Test
  • Equivalent Model
d936ddc91ebedc74aa909657d8cc13e9984afa2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Prime False Passed
  • Model Under Test
  • Equivalent Model
8d52c0e88cbed16ca85e2647affa4dbbebd13bd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Prime True Passed
  • Model Under Test
  • Equivalent Model
262a61dc32f9d78f1301e0aba14210609650dba1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Prime False Passed
  • Model Under Test
  • Equivalent Model
eea8eca29f3f02ccee129138be064fe57085106d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Prime True Passed
  • Model Under Test
  • Equivalent Model
4a7bacaddd3fae3de7e834e0c564073a02af67ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Prime False Passed
  • Model Under Test
  • Equivalent Model
f9ded002d9c0477222e9b4ad72ee8e1fa8425b98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Prime True Passed
  • Model Under Test
  • Equivalent Model
edd20032c877f8c8eae58e5ddcf33efc4eca2d5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Prime False Passed
  • Model Under Test
  • Equivalent Model
46d17198aba88269ae6c7462042187d71d1d20ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Prime True Passed
  • Model Under Test
  • Equivalent Model
543a26cdf04ca1bfddda84c393dff579d781d136 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Prime False Passed
  • Model Under Test
  • Equivalent Model
b68384298093d65916754942eda6afa9d2469609 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Prime True Passed
  • Model Under Test
  • Equivalent Model
e64ad252b4029060ccb9dc9677bfe47777a2f904 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Prime False Passed
  • Model Under Test
  • Equivalent Model
15bca1cbe8888840d4b0fefe1a1eb663eb73da18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Prime True Passed
  • Model Under Test
  • Equivalent Model
32f77ad81ed4cc5e082ea1c7de48c4edeaeb0fc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Prime False Passed
  • Model Under Test
  • Equivalent Model
4f82a0bb866a9a6ed32eedee363eb70d918a79c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Prime True Passed
  • Model Under Test
  • Equivalent Model
aeef01f32a17aecadfeeef28ff34435aab7c258e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Prime False Passed
  • Model Under Test
  • Equivalent Model
0a3b3b7a4ad1f7fb7b34aaac64a9e29ce7d5ed61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Prime True Passed
  • Model Under Test
  • Equivalent Model
cfa68119486e02f5303b6e2a44a584e987eb0991 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Prime False Passed
  • Model Under Test
  • Equivalent Model
b25a7d512c4b1c6f647182ce13e1351d131cbd1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Prime True Passed
  • Model Under Test
  • Equivalent Model
3738158a265ce722c8de7f229bedefe889b392d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Prime False Passed
  • Model Under Test
  • Equivalent Model
6b7768a593b4ad2fa34594ddc9be21c20a55d3ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Prime True Passed
  • Model Under Test
  • Equivalent Model
e8a3bc06fd6a01a60f8f9759da87c95ce5f5ddaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Prime False Passed
  • Model Under Test
  • Equivalent Model
a5cf932405010b2b32f10eba4c31275dcbf2430a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Prime True Passed
  • Model Under Test
  • Equivalent Model
b6b98d26e222aa6594074184c07f39adb7a7719c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Prime False Passed
  • Model Under Test
  • Equivalent Model
adc1173a479d7cb9ca5b5619eb4d6e627521a741 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Prime True Passed
  • Model Under Test
  • Equivalent Model
84cfd5ae2392d2282a265c5f807d8cb8f2ef8cb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Prime False Passed
  • Model Under Test
  • Equivalent Model
427a7237924e24f9cb9ce79ee811b2cd2b758c8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Prime True Passed
  • Model Under Test
  • Equivalent Model
09dc87e91e2e3c45489274628e671024247f2468 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Prime False Passed
  • Model Under Test
  • Equivalent Model
fbc28fff54c13a3e511cfee5e707b5e8cd23e297 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Prime True Passed
  • Model Under Test
  • Equivalent Model
c7559da405bf85003dbf929bccfade1acbf94374 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Prime False Passed
  • Model Under Test
  • Equivalent Model
6102509da28c82f24bb5cd7b6ec2defa7f7d358b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Prime True Passed
  • Model Under Test
  • Equivalent Model
31ba8218818297a883cde23c11d0afd5c6aef9d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Prime False Passed
  • Model Under Test
  • Equivalent Model
c01ab87b0920c680d2311507f9c8fd3f3310705c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Prime True Passed
  • Model Under Test
  • Equivalent Model
4c1b583a654add43e431f923d8c6537cea66ac80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Prime False Passed
  • Model Under Test
  • Equivalent Model
38ecdbe289fe7808e80e8a1528557c6afad9d972 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Prime True Passed
  • Model Under Test
  • Equivalent Model
8f12aeb8deddabbef8e082702538d598a481de3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Prime False Passed
  • Model Under Test
  • Equivalent Model
1e13716f665ae82c30e7341d0862b62dfe20413d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Prime True Passed
  • Model Under Test
  • Equivalent Model
50babd0938e2a05156aa9ab64f918b09e1ed705b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Prime False Passed
  • Model Under Test
  • Equivalent Model
a023849b09115d1d68a99406e397277770c52167 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Prime True Passed
  • Model Under Test
  • Equivalent Model
d5dec5df4ba7daf12e662f5f49d3f2e98bcc5bfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Prime False Passed
  • Model Under Test
  • Equivalent Model