Tests by plug feature Not; CLI Option: -workers 2

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
c7e9db828d8b1c403acab595ee83a88e9060f238	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	Not	True	Passed	Model Under Test Equivalent Model
54f0984371495ba1eafe52b39d10421f12e8a0ae	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	Not	False	Passed	Model Under Test Equivalent Model
bc3e4d4d210148c8ce6ac81fb1ef88f3ec4ad234	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	Not	True	Passed	Model Under Test Equivalent Model
bb8aba7103359097feac5befdb88018177a34bcc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	Not	False	Passed	Model Under Test Equivalent Model
6d244986400afac5652455169d05458282e97edb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	Not	True	Passed	Model Under Test Equivalent Model
8c66deaa2bf8d6188048575ed141f2eed560b702	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	Not	False	Passed	Model Under Test Equivalent Model
ee524da042d67869e9701a4467a5c9c8b84a7738	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	Not	True	Passed	Model Under Test Equivalent Model
0451bcc891d5d0f4c5806a2e83c1d53186da08cd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	Not	False	Passed	Model Under Test Equivalent Model
66ecbf540fb63c91f750f90de69c3c6f7a0b60db	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	Not	True	Passed	Model Under Test Equivalent Model
ba0af8b14b0b8d4003a7d7be6b6870bdf4fe8609	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	Not	False	Passed	Model Under Test Equivalent Model
78fc48be1d8d4115806040317ce0e65808f4d9bf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	Not	True	Passed	Model Under Test Equivalent Model
6b04e61b71c8a389cde5c1d974ac31e7e98a62f9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	Not	False	Passed	Model Under Test Equivalent Model
e0fb94f268644db9455806427df3dfcd0ccf2965	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndProp	Not	True	Passed	Model Under Test Equivalent Model
a86894bbd7a85f208aa7592d4c8cc3c9ec4fad00	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndProp	Not	False	Passed	Model Under Test Equivalent Model
f6c81887a544d35285d31c8c79b13fe0ba31667c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	Not	True	Passed	Model Under Test Equivalent Model
5b32f00ae70468ebb141d429daa0025bd8677196	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	Not	False	Passed	Model Under Test Equivalent Model
fa75a8f4fd508ee543f056338f1d368b87918249	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Not	True	Passed	Model Under Test Equivalent Model
93baa8ac712f03a1b11a30a989e1253d66823910	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Not	False	Passed	Model Under Test Equivalent Model
1ceaa44eac4947924b89f3db708a725eac7e944c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Not	True	Passed	Model Under Test Equivalent Model
9dec10dd438ef461db9db50869c2d81533227ef7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Not	False	Passed	Model Under Test Equivalent Model
6831b625bcbeffc1cafc7c1963c47fba0cec249b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Not	True	Passed	Model Under Test Equivalent Model
4101ec5e4fb9196168f43120aeb285be191b7fd9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Not	False	Passed	Model Under Test Equivalent Model
28a731547e5023f871524a5a48da1d2525741ba4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Not	True	Passed	Model Under Test Equivalent Model
f509ced52d3f8c77d094b36df69fb07233f6a545	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Not	False	Passed	Model Under Test Equivalent Model
667b446857e7e9c79f8e594a2906d9715f4de713	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Not	True	Passed	Model Under Test Equivalent Model
9db92150922ce1c1cda95a9e32f2197b22e98dad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Not	False	Passed	Model Under Test Equivalent Model
b5fb53c208b49bfd3668d9d426a0a80438968994	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Not	True	Passed	Model Under Test Equivalent Model
4e959a776ecd2f2683aa81e26aa50d3a9a61e54c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Not	False	Passed	Model Under Test Equivalent Model
745672c120d365e59c4416ab9256f336089fe126	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Not	True	Passed	Model Under Test Equivalent Model
dc73d02175441a015197bcb9b7700717307373b8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Not	False	Passed	Model Under Test Equivalent Model
5c04a80bc927bd0f964e821768c197cada5b5752	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Not	True	Passed	Model Under Test Equivalent Model
c5aa065f1a325839b79f5b35c5fdff2407a89e5b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Not	False	Passed	Model Under Test Equivalent Model
58d1efbef34913443422ba7d9be81372aafba52c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Not	True	Passed	Model Under Test Equivalent Model
6b23ede6ea7b1033613d977eb0d840c7f39e9f86	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Not	False	Passed	Model Under Test Equivalent Model
171069d39776f0f5a24456fd06c066fe9f115a2a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Not	True	Passed	Model Under Test Equivalent Model
018f307a18ae8c4d85d1953bd8d6c1f2e2c91095	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Not	False	Passed	Model Under Test Equivalent Model
8b0c60b65f799935b8353217dbd1973d32052f05	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Not	True	Passed	Model Under Test Equivalent Model
1b837471935eb71f89545897ab808cbc5d1875a5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Not	False	Passed	Model Under Test Equivalent Model
7657db327afdc9617ad45437a041ed46bebda01c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	Not	True	Passed	Model Under Test Equivalent Model
e3accce6c9b575fb6e97d3ed54c0e959b5b0b25b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	Not	False	Passed	Model Under Test Equivalent Model
744884cd305dabebaf91455150d728220ce73c6c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Not	True	Passed	Model Under Test Equivalent Model
471870ef9cdf8373b35424e5e313d35f1fd3cca3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Not	False	Passed	Model Under Test Equivalent Model
8d86cb0bd0514deafeb01fb3def670517d419bb4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Not	True	Passed	Model Under Test Equivalent Model
0268808f4c2a5ea49dbd2c47d171cd3b21e8c0aa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Not	False	Passed	Model Under Test Equivalent Model
534617abda82cb22e9327b436b97564db9fc10d5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Not	True	Passed	Model Under Test Equivalent Model
8746350f510cf07ca4f404b7765f5b93928fa3ba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Not	False	Passed	Model Under Test Equivalent Model
8d824fa6d5d50e6f5d52f832cfdd36cef3c7562c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Not	True	Passed	Model Under Test Equivalent Model
b48a627a5d7385e350c9545387f244afbcda887a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Not	False	Passed	Model Under Test Equivalent Model
3383f443687a8f82d8d87b159c77d5a8c2fa0a9b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Not	True	Passed	Model Under Test Equivalent Model
33e7199e90b939503e2c08fe32993dcd7814d77a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Not	False	Passed	Model Under Test Equivalent Model
9749bc7b6c7e11598e7079896b72b7505b734313	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Not	True	Passed	Model Under Test Equivalent Model
3b54047cee2eb6fc39e6b63f6e1f2616c2e37948	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Not	False	Passed	Model Under Test Equivalent Model
71c39c627633deaee190f41d45791774ba8b8f96	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Not	True	Passed	Model Under Test Equivalent Model
73f1b52014b7858101d3d9da6dc4a9c3784ddd45	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Not	False	Passed	Model Under Test Equivalent Model
3340743fd9c21b628f5a1d7d4fe695c994386cff	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Not	True	Passed	Model Under Test Equivalent Model
6bb76b41f46ccb14f5625f8140b1d7d41d81bf90	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Not	False	Passed	Model Under Test Equivalent Model
ab4b095f4a4068243c10970ee52134cbb225dadd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Not	True	Passed	Model Under Test Equivalent Model
80f1de5724ddb70000613025d4efcd5313e1d104	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Not	False	Passed	Model Under Test Equivalent Model
30f8692a5da8bae063f50fecd5f5ec71051adb87	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Not	True	Passed	Model Under Test Equivalent Model
d33cff9a3e7d23f6c1ace9e8bbe567ffe7e1141c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Not	False	Passed	Model Under Test Equivalent Model
0b682cdeba8fe6395bd9f8b4d99f7b7c8cad1c24	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Not	True	Passed	Model Under Test Equivalent Model
d0b1ba8d3e3a1f746543e90416d5035130c59759	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Not	False	Passed	Model Under Test Equivalent Model
02918f0eeee63656c307db1107c6758dd407d749	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Not	True	Passed	Model Under Test Equivalent Model
d3c54621f8774dbeb4d1bd34d42ce5c522454fe3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Not	False	Passed	Model Under Test Equivalent Model
b74f9fc617244fba0de0009ba4db10acac995ba8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Not	True	Passed	Model Under Test Equivalent Model
aff725d9d05916010761b866c4cf7fdcd87dcddd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Not	False	Passed	Model Under Test Equivalent Model
348d11076e617a6a59e9ea8dc1968f81badb6e75	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Not	True	Passed	Model Under Test Equivalent Model
94fc5c4ece50f1d1d760d48b375f52f930c37848	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Not	False	Passed	Model Under Test Equivalent Model
cdd7de809f4f545d444abbac9f1ae02e2249d936	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Not	True	Passed	Model Under Test Equivalent Model
d91469541729b58a9a3afce54e74fae54f1dd5ee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Not	False	Passed	Model Under Test Equivalent Model
5f82d62fe6ee37c944a86c6a68ea63dc3cada837	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Not	True	Passed	Model Under Test Equivalent Model
b152c1c35279fd24e1327c9c1f47b70992f6e52b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Not	False	Passed	Model Under Test Equivalent Model
23210f0564d300bb6fe3474c75cc19e7915351ab	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Not	True	Passed	Model Under Test Equivalent Model
b2d5a689d66def83a7c8bb5c653db1dc39d718e9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Not	False	Passed	Model Under Test Equivalent Model
a15ef72d82297afdcf28d1d69f9534bb919bc5eb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Not	True	Passed	Model Under Test Equivalent Model
38a860366e0480cda9be52a65c33eb70f6f372b2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Not	False	Passed	Model Under Test Equivalent Model
a4e5d4e1c106328fc5212e78975173c7c6b5d83f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Not	True	Passed	Model Under Test Equivalent Model
fbd20ea9b6f67cb1dba781785f99dd9494b8e42c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Not	False	Passed	Model Under Test Equivalent Model
d69939eb6c9d2c5e72bf70053c24e67aaaf5bfa4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Not	True	Passed	Model Under Test Equivalent Model
8e02bc48ce9d190add225a69b770a7bb3de0bc2e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Not	False	Passed	Model Under Test Equivalent Model
09ca8ec28227a82e42f6ac9a1b1e7010d30ff89b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Not	True	Passed	Model Under Test Equivalent Model
0896aa2fbe31235c883cd1aab81f3aaaf62e16ff	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Not	False	Passed	Model Under Test Equivalent Model
bcf23e7a3baecc094334ea8778c0bf14cd168e16	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Not	True	Passed	Model Under Test Equivalent Model
3136ebb1316485ec75211c82d3d12859f70f7e5a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Not	False	Passed	Model Under Test Equivalent Model
54d7c66e4caf8a93a8b8c2c2df44e0a7a4eb8861	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Not	True	Passed	Model Under Test Equivalent Model
aa5f3ae573dcb8e486826cbca09aadadb8113ed4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Not	False	Passed	Model Under Test Equivalent Model
6f2fd7893676d06227835a222d4991567fde1545	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Not	True	Passed	Model Under Test Equivalent Model
144ad70c0236a000b39b8d6ea2c3776e47e3d810	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Not	False	Passed	Model Under Test Equivalent Model
79bf8f999f9bd5c7e1515194526c125fb2c14429	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Not	True	Passed	Model Under Test Equivalent Model
0206641ec4de8edc37846623b954bfe25cca5579	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Not	False	Passed	Model Under Test Equivalent Model
9eec030f717757862db684e790170e72c523adbc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Not	True	Passed	Model Under Test Equivalent Model
1181f43b243d4f18436eebb5e9a6a5c9d108f3f4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Not	False	Passed	Model Under Test Equivalent Model
118e0f3602c9572af1ad1ccf30ef5d8657c67d59	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	Not	True	Passed	Model Under Test Equivalent Model
b87e0ddb994a769774a852ad736410f4d4d33e98	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	Not	False	Passed	Model Under Test Equivalent Model
4c655ff1ebab55987dafb9730388b818236d694d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Not	True	Passed	Model Under Test Equivalent Model
d0483c17e98c1b748dc096c813087623bc796881	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Not	False	Passed	Model Under Test Equivalent Model
bbce68a0bdd789e7ec354575c3ad1c2ff471790b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Not	True	Passed	Model Under Test Equivalent Model
48b1cc101d91ab0d22d5faa9eb487d1a0e5a4c27	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Not	False	Passed	Model Under Test Equivalent Model
e6af562720a14d6a9c5af68fbea6414613d70d30	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Not	True	Passed	Model Under Test Equivalent Model
9cea3ac0454b61084da5ee45cdf440547f6dadd2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Not	False	Passed	Model Under Test Equivalent Model
1209ad0421ca419e23ceaed41644fd8989a1ba71	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Not	True	Passed	Model Under Test Equivalent Model
1acd3974816cb7cc25f528e35503018de9bb845e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Not	False	Passed	Model Under Test Equivalent Model
2dc875f07b55104827aa837fef94e75f8055bc3e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Not	True	Passed	Model Under Test Equivalent Model
7979323d3367e46929d1cf8cd60224c03cd6cd2e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Not	False	Passed	Model Under Test Equivalent Model
b26afbf5bba0b7b06aaf18013227083aec00b7c4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Not	True	Passed	Model Under Test Equivalent Model
74aa19950212f9492839dcedbe83050071933bfe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Not	False	Passed	Model Under Test Equivalent Model
13f6dec1dec46bcb12a2cacbac189a462ae8c19c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Not	True	Passed	Model Under Test Equivalent Model
aee55eb1c7d4fe4c27b652f6a46cedc22bbf14f0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Not	False	Passed	Model Under Test Equivalent Model
67d5686137603f0dc8050dfb9abae234e06c1a85	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Not	True	Passed	Model Under Test Equivalent Model
0c0db18c81ae552e99fe48187e127522f3ec90e2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Not	False	Passed	Model Under Test Equivalent Model
70e4408fcae07f71a75bfa0c51a86f8fa8340085	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Not	True	Passed	Model Under Test Equivalent Model
02da4fe950cd4ea3af2a22223ea03b3a451baa87	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Not	False	Passed	Model Under Test Equivalent Model
8ea8644f7631f8cf0b451648c1f98f5d56d74626	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Assume	Not	True	Passed	Model Under Test Equivalent Model
4431dda5cb4187c123ac6496f146458dc79fbdd1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Assume	Not	False	Passed	Model Under Test Equivalent Model
d5ec9ea50072065af650daee0b53ddadee567504	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AssumeNamed	Not	True	Passed	Model Under Test Equivalent Model
973158376debb8f9dd76fc04d6e31da6085b7e47	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AssumeNamed	Not	False	Passed	Model Under Test Equivalent Model
0c74aaf3f9e014e8861958e6686f802981fa21ce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Not	True	Passed	Model Under Test Equivalent Model
2e13d034e54a527ebdb2ed5ac1a88a7331093a5c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Not	False	Passed	Model Under Test Equivalent Model
817ef11dd65a4bf0446f8452c52621988504af14	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	Not	True	Passed	Model Under Test Equivalent Model
d24e83074837361b8b93efac8d3bb1ee1f0f9c81	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	Not	False	Passed	Model Under Test Equivalent Model
1ac5cce5cd08337f2df2fb0d28e55e69043ffbc0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Not	True	Passed	Model Under Test Equivalent Model
f82076ada398199e02858c700001efd4d4d410a3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Not	False	Passed	Model Under Test Equivalent Model
f4bad4f36814ae0a0a4d21ab54ff2ae54b967d02	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Not	True	Passed	Model Under Test Equivalent Model
efaaaeeb6cd8a88be2e3569b04d35d67b91c74b0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Not	False	Passed	Model Under Test Equivalent Model
f6dd9cad2522446f1d997ffd9fc0cda1a34867af	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Not	True	Passed	Model Under Test Equivalent Model
b6865dcbc88b2a36df9c6d37c7d30776911e7422	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Not	False	Passed	Model Under Test Equivalent Model
e8eef6650632565947994165607089e10965fc13	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	Not	True	Passed	Model Under Test Equivalent Model
c606ba07d427fcb5640614c5a578e99e63bfd94a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	Not	False	Passed	Model Under Test Equivalent Model
b9df9af5c27e6843c291ee72427b7c97f4b9fe2d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Not	True	Passed	Model Under Test Equivalent Model
ade80967498c039cc6d9923a7531350e8be92fd6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Not	False	Passed	Model Under Test Equivalent Model
59c9956c691cada00b4d9260962bc985b4ff8aeb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Not	True	Passed	Model Under Test Equivalent Model
1a3cb39c367b5de2dbb85fd2c418c180802b4821	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Not	False	Passed	Model Under Test Equivalent Model
328fe1fdbba297158d1d79791d377358eb388bae	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Not	True	Passed	Model Under Test Equivalent Model
9d181f86ff8c3e21568084edb1621c72ea011fb7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Not	False	Passed	Model Under Test Equivalent Model
7d647c31ff1fd9960c30ce95cfa8a9ba40aa17dd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Not	True	Passed	Model Under Test Equivalent Model
7ef290e3a830c55ab84583456e11d3e0c729d87f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Not	False	Passed	Model Under Test Equivalent Model
1fe17ab23f9a88fb82585bc211a01cef0921f8ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Not	True	Passed	Model Under Test Equivalent Model
c9c42e08058fb25c8043d5dd7cd6eaf9a0a3fa6a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Not	False	Passed	Model Under Test Equivalent Model

Index

Tests by plug feature Not; CLI Option: -workers 2