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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
3955a4ad906f5965480eb911e70f11d8d9864a14	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	Forall	True	Passed	Model Under Test Equivalent Model
2b342970741b68da9fb6e2fdfbbd6228f7a5c8b7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	Forall	False	Passed	Model Under Test Equivalent Model
5dd5e727712f360d349614e4274352c509080ca9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	Forall	True	Passed	Model Under Test Equivalent Model
5d90e63eab65a9a3681db8ae7c2e2e1445459e69	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	Forall	False	Passed	Model Under Test Equivalent Model
3e54cd97c6965e9affebd89373ae5e6933576bf1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	Forall	True	Passed	Model Under Test Equivalent Model
32b88d0483a3abb7f0f9724128a8b87a23094b05	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	Forall	False	Passed	Model Under Test Equivalent Model
37ebed3ce8497505676801f4b44a0406490a97fa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	Forall	True	Passed	Model Under Test Equivalent Model
b0e69dd30afaa00c409111cc35783d21f5ff4e0a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	Forall	False	Passed	Model Under Test Equivalent Model
035e58997625d94f375391c90ce2e13c59cbbc3a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	Forall	True	Passed	Model Under Test Equivalent Model
5248d295c4b0b7b3c6319df97d1d549aa30e2e15	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	Forall	False	Passed	Model Under Test Equivalent Model
77e4856dd1b7131069b8a294e50b51ff390e1b44	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	Forall	True	Passed	Model Under Test Equivalent Model
b18139ec8d4ef5252365a536565d1e359d958c04	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	Forall	False	Passed	Model Under Test Equivalent Model
c2ac0785224d0c6838b3ec6b4dfdbd5209d72b3f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndProp	Forall	True	Passed	Model Under Test Equivalent Model
eb0a5382b473ce06bd47e09960f67a880b40173b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndProp	Forall	False	Passed	Model Under Test Equivalent Model
fd7dbe670d6c7152428950d087cadf8015378f68	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	Forall	True	Passed	Model Under Test Equivalent Model
1739f07d721b1e2f81334f71e36a8af5ab42ce3a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	Forall	False	Passed	Model Under Test Equivalent Model
c5545c8b9016269ca6bcee61769e299f0a2189fa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Forall	True	Passed	Model Under Test Equivalent Model
d5c16c4c43bc30205b81299677b880363ef2c416	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Forall	False	Passed	Model Under Test Equivalent Model
80e3fcba5a9d6656a2970e5bcb10e9b4da8c93ee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Forall	True	Passed	Model Under Test Equivalent Model
09547a28c1978ab8ccc09e7b0a0aaccc9ccc7950	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Forall	False	Passed	Model Under Test Equivalent Model
24e07a86183d4f36eadaaa16e0f0bfc1125eff3f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Forall	True	Passed	Model Under Test Equivalent Model
2814452ee5237f83c8126b0a6abcf893670ff356	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Forall	False	Passed	Model Under Test Equivalent Model
8d19758c7e01e2d3d25e7bd61450e30aceb00c60	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Forall	True	Passed	Model Under Test Equivalent Model
16891b93f92643ecbb92e831cd82e839e8685ea6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Forall	False	Passed	Model Under Test Equivalent Model
c46d7649c1a5c26709307120d8e812ba6979c460	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Forall	True	Passed	Model Under Test Equivalent Model
26e3f76b8ba292e5c4b0936d84171c221f2d9e98	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Forall	False	Passed	Model Under Test Equivalent Model
476f8fbddd8d19338401d8b1bbf0219b85b5c42a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Forall	True	Passed	Model Under Test Equivalent Model
8b1a18213b4e6e2074dcd1cec1f7c35ad3403307	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Forall	False	Passed	Model Under Test Equivalent Model
918f942a60605ad085e05aca804e4798bacca3e0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Forall	True	Passed	Model Under Test Equivalent Model
d1b4f0d19e94a78758eb9e58a433fe81f1d09441	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Forall	False	Passed	Model Under Test Equivalent Model
25dcbb79133f46543c932770e817619492cb9c4e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Forall	True	Passed	Model Under Test Equivalent Model
9aefaa1ec62b72b0ffe82912f62f7921de246f91	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Forall	False	Passed	Model Under Test Equivalent Model
12888fb2c540bccc6782c69c1f5db6f4255d2883	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Forall	True	Passed	Model Under Test Equivalent Model
451c6ec3a81a7323dd2a18ecbe8b1d2e026c3223	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Forall	False	Passed	Model Under Test Equivalent Model
f2ffe3e1cfe83f7774429d8e143de7c1c929bb52	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Forall	True	Passed	Model Under Test Equivalent Model
a34e79b649eb35a2b35d95e1701f7e1f76dbc051	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Forall	False	Passed	Model Under Test Equivalent Model
c3fb4ef57a579dc7491692e0c3bf934e48952455	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Forall	True	Passed	Model Under Test Equivalent Model
545ba2625ccecc518eba7fdd2cbc0c06c3baaf87	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Forall	False	Passed	Model Under Test Equivalent Model
9ae221e49fab291268ff0c98d34ad67406a8e446	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	Forall	True	Passed	Model Under Test Equivalent Model
cfbcbc41f4f0428196f4e36a54f1bc152485296b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	Forall	False	Passed	Model Under Test Equivalent Model
d59677e0ab5221b41db132ea3371759b24764fdc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Forall	True	Passed	Model Under Test Equivalent Model
06affd410c4a6f8947336b56135cd0fec91625e8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Forall	False	Passed	Model Under Test Equivalent Model
208fca7a8df158040bd19dafe4d124cc0749c867	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Forall	True	Passed	Model Under Test Equivalent Model
ddab562de0632f69da13783c8ce1cdc3143b05c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Forall	False	Passed	Model Under Test Equivalent Model
b8ecde801e8e7b0062fd65250d6e9a5507a8e0b8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Forall	True	Passed	Model Under Test Equivalent Model
2275ba0de89e6154d329e3bd74e6d37457fe8548	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Forall	False	Passed	Model Under Test Equivalent Model
fad9f24d0305e16847f0833cfbf7162fba1a1d21	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Forall	True	Passed	Model Under Test Equivalent Model
d00cfeb61a5eb8e17d9b3fa30c54125b24c41e59	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Forall	False	Passed	Model Under Test Equivalent Model
bdb298d90723d0eaa097ec8cc19ac377d5616c0d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Forall	True	Passed	Model Under Test Equivalent Model
d5d585c36c64abab2eead54e1362e12575ebac81	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Forall	False	Passed	Model Under Test Equivalent Model
95a09483e4e1e73febdb2c6305a17bf424bd57a5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Forall	True	Passed	Model Under Test Equivalent Model
04b5f4cf85762010efcc8fd3df3449584764f2be	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Forall	False	Passed	Model Under Test Equivalent Model
1ad6764749b2bd5778b25c2091a5d3fe593ea292	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Forall	True	Passed	Model Under Test Equivalent Model
dea9e10bf20863ee8e0ae767dc69436151f824c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Forall	False	Passed	Model Under Test Equivalent Model
d73510c2842dd50c87c8fa2bb8d27525f04f7d52	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Forall	True	Passed	Model Under Test Equivalent Model
31e5a1901380e2e0399e5718bc3c6a8be964df11	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Forall	False	Passed	Model Under Test Equivalent Model
e4b0b0d1451cdfd9a3086e23cb77fd1f69f322c1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Forall	True	Passed	Model Under Test Equivalent Model
750cb68aa24fb1147b489f367bfe3decd85bc536	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Forall	False	Passed	Model Under Test Equivalent Model
225047d2b53f9bbfaa6eeb3fc7d2da38b0f59245	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Forall	True	Passed	Model Under Test Equivalent Model
9961650d1587d13d48db307386ce85a0a53caa8a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Forall	False	Passed	Model Under Test Equivalent Model
895c291fb66046e4b75f85719193352bd8b35ba0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Forall	True	Passed	Model Under Test Equivalent Model
802963ad38f67604b3e8c77756a99e2cc7fb6a7c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Forall	False	Passed	Model Under Test Equivalent Model
4246c51f9f435bc4c6cd6e8d343b366bb0291442	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Forall	True	Passed	Model Under Test Equivalent Model
43eae8810c051387e33cec0679d83d88a8c961b8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Forall	False	Passed	Model Under Test Equivalent Model
3fd1cc9489f70cd2f6e9c592cce3261f7418038c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Forall	True	Passed	Model Under Test Equivalent Model
0a8737b4be251d4fdd3983ec879b290072a6b13a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Forall	False	Passed	Model Under Test Equivalent Model
1510243d05a30cd8db6354fce74825de7a48ee91	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Forall	True	Passed	Model Under Test Equivalent Model
8b266705a4868b0f361a6b77f5bc3fa4cb631266	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Forall	False	Passed	Model Under Test Equivalent Model
00b85352e87ee555a8d4f008b4a26fa2a231c053	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Forall	True	Passed	Model Under Test Equivalent Model
242ee7e971dc28c4b627a95684405452e020fac5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Forall	False	Passed	Model Under Test Equivalent Model
0ed088ecec643b12e1e3870d92c20f50fa7c72af	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Forall	True	Passed	Model Under Test Equivalent Model
bd09c629c959e922718556826f4fa6c22fdd37cd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Forall	False	Passed	Model Under Test Equivalent Model
bcbb283b36303b1a89eee2d250d0887d3b837ea1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Forall	True	Passed	Model Under Test Equivalent Model
c17de4c128593e1dae43c9f3d41ebaa0d1fac7ef	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Forall	False	Passed	Model Under Test Equivalent Model
79e3e775b61eb25fae22ee8c3c97fb8a8c46bf67	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Forall	True	Passed	Model Under Test Equivalent Model
108a9951cf016ed6bb80ec4c92ad6499880b622a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Forall	False	Passed	Model Under Test Equivalent Model
e2c979f3d5c5a9ef0f13cd04a51e73b621ff5b8f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Forall	True	Passed	Model Under Test Equivalent Model
8a6ada0d2e98a77868837c8c4a6858bb923e2b86	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Forall	False	Passed	Model Under Test Equivalent Model
732317b557fc6d43fc94dae0a5de1ee47f0c0319	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Forall	True	Passed	Model Under Test Equivalent Model
8d51385cf7b0a350d4f8c1243821945499d80e4b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Forall	False	Passed	Model Under Test Equivalent Model
feb3e55208ed29e38c53c98b1bf858091fa181c9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Forall	True	Passed	Model Under Test Equivalent Model
b4fe606683b5c49134b253e45060d4042244d52e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Forall	False	Passed	Model Under Test Equivalent Model
b59d578c3a86826981b3cab1a0de34b10761e753	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Forall	True	Passed	Model Under Test Equivalent Model
bb74f06f6289417d618f1f3402e3fd6d25ee5a3f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Forall	False	Passed	Model Under Test Equivalent Model
6dd9d122d4eac2af757c9b41b0b317c03bc939e7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Forall	True	Passed	Model Under Test Equivalent Model
2aa6653202fcd39aed66398d51178075963c4883	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Forall	False	Passed	Model Under Test Equivalent Model
f2791f7405de947cc665e1134f76ca79596b308d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Forall	True	Passed	Model Under Test Equivalent Model
21f3dd4075d309a944f622989d96b9ba87b2fe8e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Forall	False	Passed	Model Under Test Equivalent Model
3f1af2f75810ea411503704a8bf42e906758342d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Forall	True	Passed	Model Under Test Equivalent Model
12abce59cc06e846eb5613ce6a813bd2104deb86	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Forall	False	Passed	Model Under Test Equivalent Model
df2501ac367ed4513dba342e7f2433e696cfe5a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Forall	True	Passed	Model Under Test Equivalent Model
1934a912d4d700dcf14960224b36c9463846eb46	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Forall	False	Passed	Model Under Test Equivalent Model
8de1876695b4895028a3dde58c7b4129e9ba8063	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	Forall	True	Passed	Model Under Test Equivalent Model
dd56e49deb2fe1fab2a2773f92000430b0989f05	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	Forall	False	Passed	Model Under Test Equivalent Model
6c84ebf1c55f999e11c9a4089b994272e0b2d9f7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Forall	True	Passed	Model Under Test Equivalent Model
968e82044c094fa6512439ae545dc3006273dbd7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Forall	False	Passed	Model Under Test Equivalent Model
dd42d7ba9e6851c14013c4ca9777fa9151117a48	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Forall	True	Passed	Model Under Test Equivalent Model
ba97dfa5295595c0fecba1133aa51d1228b90a42	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Forall	False	Passed	Model Under Test Equivalent Model
6efeef4be3a07f19496339d890d316906988c636	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Forall	True	Passed	Model Under Test Equivalent Model
271d06cd6feeb49166d571ae71ca1ca6e763c8b2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Forall	False	Passed	Model Under Test Equivalent Model
1f4798286f4761ab2f819f408646574618395b4f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Forall	True	Passed	Model Under Test Equivalent Model
57990009eb8cc4968374f4fa53f2b1bc10660cd6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Forall	False	Passed	Model Under Test Equivalent Model
5f42b0018215060310c37cd3c044a97070c50c7e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Forall	True	Passed	Model Under Test Equivalent Model
47cf14c513a4621411243bf53547d170516f4d1c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Forall	False	Passed	Model Under Test Equivalent Model
bb6b41fbb88edba4b633c3a4c0694b4e8152c821	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Forall	True	Passed	Model Under Test Equivalent Model
87207320d6b7d19b147ebc3acb8a6b65afbcac35	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Forall	False	Passed	Model Under Test Equivalent Model
aa5bbbbf5737ade2d170ab74f9a9d613333191a1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Forall	True	Passed	Model Under Test Equivalent Model
25a4b3056cff706b272b1950cb80b3dcdb02414c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Forall	False	Passed	Model Under Test Equivalent Model
a9bbd4a4d7c85280f3690ccaf48650f70de6e454	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Forall	True	Passed	Model Under Test Equivalent Model
e2cb2ab7ccac9e027ba87f46a78f988cb952d928	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Forall	False	Passed	Model Under Test Equivalent Model
a7d6ca3d3cb24f8a2207c44d8a7cce8b4de211b6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Forall	True	Passed	Model Under Test Equivalent Model
209ded0aa5d763235174c58254532c081d1a79b8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Forall	False	Passed	Model Under Test Equivalent Model
24fd53b7a65394a47fbd590115d719c7582bf3b4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Assume	Forall	True	Passed	Model Under Test Equivalent Model
b9ed011feadd7c09f3b77ebdd919acead3a4ec27	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Assume	Forall	False	Passed	Model Under Test Equivalent Model
3a2fdb73361796ac4472398623b210aff168e8bf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AssumeNamed	Forall	True	Passed	Model Under Test Equivalent Model
fd082964f569b0ce1682e0c2da74ea45ae6682cd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AssumeNamed	Forall	False	Passed	Model Under Test Equivalent Model
537d4ea6cf6ffe134b0b693881ef06986267afab	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Forall	True	Passed	Model Under Test Equivalent Model
6c751f29101826a38dd44c3f9d94680d8bdd4bca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Forall	False	Passed	Model Under Test Equivalent Model
9491f7c28d2d7344d526ceb347a99c7950ec5d2e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	Forall	True	Passed	Model Under Test Equivalent Model
2a275844ac4fbf8d6c7e45bbecfa79f905ab7c5b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	Forall	False	Passed	Model Under Test Equivalent Model
6912d002eaeee37a1c09203eb9d721c13f328161	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Forall	True	Passed	Model Under Test Equivalent Model
5b5e45e0775e0370aa35a6bfb2c1a4cf0524b7de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Forall	False	Passed	Model Under Test Equivalent Model
41537f74b42a2f1db3709d4c63f6d86acbff097a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Forall	True	Passed	Model Under Test Equivalent Model
7e96a37f587b4cd4746226df78dfc30a87d2b8c8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Forall	False	Passed	Model Under Test Equivalent Model
9df246c268f80c60a52891227f842361ac1f520d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Forall	True	Passed	Model Under Test Equivalent Model
d3c1f7f84f6094991b38d5869411afd07759e0ba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Forall	False	Passed	Model Under Test Equivalent Model
935ff80db3c173e4b61bff53c9d2670cbf4e198c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	Forall	True	Passed	Model Under Test Equivalent Model
5980058889b0613859cea2dc7b681be8d704e3ef	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	Forall	False	Passed	Model Under Test Equivalent Model
e047f1cfd81769ad37dabffc2a7661c2a5e11b95	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Forall	True	Passed	Model Under Test Equivalent Model
508f9f4c1cf231a97bf1d3e4fe373b497c7e940d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Forall	False	Passed	Model Under Test Equivalent Model
a9b5afb61ec22be895b9b5fe2285557c3bfe3044	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Forall	True	Passed	Model Under Test Equivalent Model
5dfc3e4af190cbad6a075e53a8689ea40f7b6ea2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Forall	False	Passed	Model Under Test Equivalent Model
24183318930872e2d902bac383e9e24cbcea9271	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Forall	True	Passed	Model Under Test Equivalent Model
b2427bcdc94eee33a4f1386e3542b0b6ae895c2e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Forall	False	Passed	Model Under Test Equivalent Model
82f815997d6ac65e6cc089c3fa6cafa46568bc74	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Forall	True	Passed	Model Under Test Equivalent Model
e64bad5529b1501a25d5768f960e6827ec981c8b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Forall	False	Passed	Model Under Test Equivalent Model
a2472631d84033790cf46ea62ad42002ae3384ee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Forall	True	Passed	Model Under Test Equivalent Model
ef5083e3a23b6627195948b5323b125100120648	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Forall	False	Passed	Model Under Test Equivalent Model

Index

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