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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
8e2d85afae36096df99f45e00ef2fe46f2e693fa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	OneLineComment	True	Passed	Model Under Test Equivalent Model
09c82d359895d159c08ca0ba8db5f2aa432d324a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	OneLineComment	False	Passed	Model Under Test Equivalent Model
685f81820e4de9f013aa03e61ae0c84ea2959595	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	MultiLineComment	True	Passed	Model Under Test Equivalent Model
09a8e4caa1f0cf1228ec46d40d59722b1ade40f4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	MultiLineComment	False	Passed	Model Under Test Equivalent Model
4d09914538ef0c5a29851f0f1fc71891491a689c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	BoolTrue	True	Passed	Model Under Test Equivalent Model
dfc055e5ced5b663f07ea7ded9231cd41cae80f1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	BoolTrue	False	Passed	Model Under Test Equivalent Model
ee417f597540509462a930485f5676b5a981728d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	BoolFalse	True	Passed	Model Under Test Equivalent Model
a2b4ee4011c296d42d63b72226b7adbbac8ba714	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	BoolFalse	False	Passed	Model Under Test Equivalent Model
59bfd3aa3e6bc9058de613bd07165a1a68c3fb1d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	And	True	Passed	Model Under Test Equivalent Model
ab6abed723cbf269fa2c8cb98b39d498e9482e45	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	And	False	Passed	Model Under Test Equivalent Model
d10ffaa7359152fa36c00157b9f4cfc421d58dc0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	AndMultiLine	True	Passed	Model Under Test Equivalent Model
a677d136ecb9b3db4eba6067a352a63c357db56b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	AndMultiLine	False	Passed	Model Under Test Equivalent Model
70ea5b329d80fdcc3b7bfa8d748142f72c63273b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Imply	True	Passed	Model Under Test Equivalent Model
f96f79e65b72b6891575c09bb74ea9e1c3c6321f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Imply	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
559d2fe74dda5a8683cfd03cd788ec317e139b2d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Or	True	Passed	Model Under Test Equivalent Model
ecbad324049117f24d1664630dd796850e1d93a8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Or	False	Passed	Model Under Test Equivalent Model
76934f9a4fa2c46c7fcb1f894c241459c9716ac6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	OrMultiLine	True	Passed	Model Under Test Equivalent Model
18e4560093e4996e9aa8241b2dea24cddb144236	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	OrMultiLine	False	Passed	Model Under Test Equivalent Model
db1a1c52d43a0a4a5b49776118536030b20b4db7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Eq	True	Passed	Model Under Test Equivalent Model
30a8268293007fbf8d84e62486282af6248a0eb6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Eq	False	Passed	Model Under Test Equivalent Model
7c0e8c50715526dc2d9fb17d2c864f17758de2df	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Ne	True	Passed	Model Under Test Equivalent Model
4a08e370dd71f11870731049e0d6b5b67bb59a1b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Ne	False	Passed	Model Under Test Equivalent Model
f9be8e7299719231ae4b6d97cca6552bf775ac4c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Let	True	Passed	Model Under Test Equivalent Model
740b961445a058c0eee903b2a9447a6c413e48b6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Let	False	Passed	Model Under Test Equivalent Model
4e0de16d0a427d86de29355eb5c3a46f3334caf1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	In	True	Passed	Model Under Test Equivalent Model
f4d2a8226a013d66d3eee0d97d75feee05726ad9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	In	False	Passed	Model Under Test Equivalent Model
b17b80c604928cb351246181329659b306b5e736	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	NotIn	True	Passed	Model Under Test Equivalent Model
3c139cc965fe9f6e7ca23d26ec699e9f8d0d66be	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	NotIn	False	Passed	Model Under Test Equivalent Model
54db1a9f0e5900ba628693398a13245068219208	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Exists	True	Passed	Model Under Test Equivalent Model
630033576053df1217a225110748c73a7815d57a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Exists	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
28b04b8ca7b3ea5f5070d6d215dcce6bbed36a0f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Choose	True	Passed	Model Under Test Equivalent Model
d336cd7e01fae249854ccd0b60bdfe601c951e14	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Choose	False	Passed	Model Under Test Equivalent Model
e40f8e168a3416b4f1444fb1e8d04ae4056e96fd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	FunApp	True	Passed	Model Under Test Equivalent Model
8318f98fd245ee78ef068a183e976386348e5f60	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	FunApp	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
192add6903b8359ed9604edd9519361f75d7c1b1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	NumGt	True	Passed	Model Under Test Equivalent Model
42bed68d6ee4184ff121cd68b6d076c30bd6efd4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	NumGt	False	Passed	Model Under Test Equivalent Model
d18381f842b5138576fda78cbd55075661db9a63	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	NumGe	True	Passed	Model Under Test Equivalent Model
2bb6401e9407313eea52ff4644a4dae765813068	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	NumGe	False	Passed	Model Under Test Equivalent Model
9db8a89b555ad004120e7fc1e9c7934c4ba407bc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	NumLt	True	Passed	Model Under Test Equivalent Model
fd11fe384e318c51d152760e2128a7d678b4751e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	NumLt	False	Passed	Model Under Test Equivalent Model
c18bfe89845ed8f1aeaddcf78f7c9e4d8fa590cd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	NumLe	True	Passed	Model Under Test Equivalent Model
7c2a5a6fcb50c23691b58851290436ba5c7605ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	NumLe	False	Passed	Model Under Test Equivalent Model
80acf6debcdd4ee5391e516ca9618bee72833ac8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Def0	True	Passed	Model Under Test Equivalent Model
71fc613ee2da6cf6c529f9509a1e185f6d6cc8de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Def0	False	Passed	Model Under Test Equivalent Model
f8ac4cf55ff56d8bd412f8a09227030bf907ebb3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	LetDef0	True	Passed	Model Under Test Equivalent Model
d76120d512237bf78493e058b6a88e2305e062f2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	LetDef0	False	Passed	Model Under Test Equivalent Model
7d79b398bd05f65fc15ce9c90771e4b83788848a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Def1	True	Passed	Model Under Test Equivalent Model
142de5784f4c1889fbe4759f0a2b11bac731027a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Def1	False	Passed	Model Under Test Equivalent Model
9821d8f6827ca5444add89222aa9ab640f416087	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	LetDef1	True	Passed	Model Under Test Equivalent Model
432279ca2820f4676e603d7a0310b23427fa3ed0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	LetDef1	False	Passed	Model Under Test Equivalent Model
b5d83e01bfdcb0b0a1e33aecaa2684f1b8f27072	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Def2	True	Passed	Model Under Test Equivalent Model
9f262bdb54faddacfe64e6bc85cb4a749819cfc9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Def2	False	Passed	Model Under Test Equivalent Model
cab774fca6f9ff75e9a96b65405a5129158e0d19	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	LetDef2	True	Passed	Model Under Test Equivalent Model
671fd14b4031a854dbc8a931c10b70ff43afabe3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	LetDef2	False	Passed	Model Under Test Equivalent Model
521ca806d974c483a3d44bd6a55546f14c904416	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Def1Recursive	True	Passed	Model Under Test Equivalent Model
e35d3c5bf55f85635b720f2a45ed84a4158a7cd2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Def1Recursive	False	Passed	Model Under Test Equivalent Model
4587ac2fbc0e712163a2b0763a7fe3808f202481	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
ee0371ac7a0682d38350d0c0b0955961a908672d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
061b3265655721bdcffc1df0fc059c224a329bb9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Extends	True	Passed	Model Under Test Equivalent Model
ac5015559081ac8242d94d92bde57ea0e6c9ca42	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Extends	False	Passed	Model Under Test Equivalent Model
f486d7fc73b731a42e559e39c84e737d08003980	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
539365860d99b77f752a6ff64c093ee599c99d69	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
d7ea8c52522a498ba1c9e2ae0fa4fd0f5c451961	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Variable	True	Passed	Model Under Test Equivalent Model
9eba77dc3b36493e9edcf8c7261ba63da8df203e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Variable	False	Passed	Model Under Test Equivalent Model
56fde93079072064df3fbdac53c44d2e79b3e1b6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Constant	True	Passed	Model Under Test Equivalent Model
2d4ea133641345b01cfaf036df5720984f9c8af3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Constant	False	Passed	Model Under Test Equivalent Model
fb9c12a629582f86ac7844893525967b4a55159d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	ConstantRank1	True	Passed	Model Under Test Equivalent Model
2a6401633d5cfc7e6a7fc6da88579b6a9ca9a762	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	ConstantRank1	False	Passed	Model Under Test Equivalent Model
1d68706e494e24965df11f38d862a333381b9b5a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Instance	True	Passed	Model Under Test Equivalent Model
415083a7f14b242dae4ea2a9e6a32d24ba46d8a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Instance	False	Passed	Model Under Test Equivalent Model
1fd1ddcb93563d0b45cc4f4d54d9beaf96a339e9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	InstanceWith	True	Passed	Model Under Test Equivalent Model
6238f6665e4b3508bbebe8a5b588dc37fe667c58	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	InstanceWith	False	Passed	Model Under Test Equivalent Model
73457a3c2cb9c9c1073ab356e0388c10017d4e73	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	InstanceNamed	True	Passed	Model Under Test Equivalent Model
7e9fef502d0b479bd4a74fe7c06815aa51ee704c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	InstanceNamed	False	Passed	Model Under Test Equivalent Model
6fac3b986ce01151c367be312d09a48dc7049fac	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
bbe3705419d0ac40ec5b0da0dab087874141760a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
0982ebcf6214ad7d5d657774ed7d88862641114a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
320a19e318721df06b984133e78f0959dc063f8a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
cd91dc576aed7891f12f651f5b4aa7da3693b462	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
4508ca1da065cfd8234ce84d0f904222b46e33ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
666340e555cb2cd27f22cbcb655b6465480615a0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
85156ce41c225a5dbc53c5ca2318400200522aac	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
55e63dd2cd191e160b68c8a2fc7d5d10c0fee1de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
b160055a87673d8a29004f85752a45a17f7552b9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
d6962c9a9c4a24f8eed8b90a95a0b9f6c2ce8524	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Enabled	True	Passed	Model Under Test Equivalent Model
a4eabc1e0f4a7b1d082a301358503304e2ac8176	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Enabled	False	Passed	Model Under Test Equivalent Model
e53f21181d6a9b8e1ad38dd7829f56701f1c9b5d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	SubsetEq	True	Passed	Model Under Test Equivalent Model
0aecfdcb39f8c06e042126a23a78d9c3a7a77ab5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	SubsetEq	False	Passed	Model Under Test Equivalent Model
9f42d782ee73d22769cebe6ca8fe917ec743c29e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	IfCond	True	Passed	Model Under Test Equivalent Model
986f5682ccf9ecd24df1a0b3ba2790980c59a75c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	IfCond	False	Passed	Model Under Test Equivalent Model
272ce03605a7295c9497adf25afd37bb12986590	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	IfThen	True	Passed	Model Under Test Equivalent Model
76682e356efd6c0ec0c468e4c383c97ef0712209	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	IfThen	False	Passed	Model Under Test Equivalent Model
237b4365c9221e3a41ad85bea343b1b6e56ac384	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	IfElse	True	Passed	Model Under Test Equivalent Model
6c5cb5ba60600b07d0d258a084bf731d9271e8bb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	IfElse	False	Passed	Model Under Test Equivalent Model
1b9e0e337bc76d305837a93a87bcbc40c6f96d85	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Unchanged	True	Passed	Model Under Test Equivalent Model
c2db988c51f4dc556d8fa34b5e3b2e5ee0b4061b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Unchanged	False	Passed	Model Under Test Equivalent Model
0cc9861dbd525fb56ad3104eb28c445b5ce8c906	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Equivalence	True	Passed	Model Under Test Equivalent Model
4771529e286e5ffdf7c4706ef0350dcbfcde8ee7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Equivalence	False	Passed	Model Under Test Equivalent Model
f24688cdd59389fb67ee63d9e76efe218b876d7d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	TlcEval	True	Passed	Model Under Test Equivalent Model
085649f6e47afb7b5da0c7c7b581d2fb19485a82	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	TlcEval	False	Passed	Model Under Test Equivalent Model
f945116bb265bdde563da74b0bf59e6a0a188d97	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	BagBagIn	True	Passed	Model Under Test Equivalent Model
9e6d6172774d9049f13ee633211ed32197946f4f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	BagBagIn	False	Passed	Model Under Test Equivalent Model
391ecd6388337bb95e08fe0a605e68766104cd3e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
b2f693c710b029be5f9542419eb68468dcd705f8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
27045822b7983a5235ad0a6405a325618751eafe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
2765bf29f1d769759f4ded516f4f8be8682ecba8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
7568c3dbabf0a9bfc561b9103ac1e56c307f3ebc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	SeqHead	True	Passed	Model Under Test Equivalent Model
1a272bb603de7b9019c875aa8a2ff8c81980cd51	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

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