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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
653c5e1cba551c1503c2b936b13a60104f9fb663	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	OneLineComment	True	Passed	Model Under Test Equivalent Model
8a84f4e66e98531b01529ce83c35d92795fa1142	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	OneLineComment	False	Passed	Model Under Test Equivalent Model
9844209c0a40a8266ea6254428bbae32d8c44999	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	MultiLineComment	True	Passed	Model Under Test Equivalent Model
cd3d764e63820522c79354fc52f367d0cea4d14c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	MultiLineComment	False	Passed	Model Under Test Equivalent Model
476ba8c7fc69ab012b0299eb3a921911d0dfe911	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	BoolTrue	True	Passed	Model Under Test Equivalent Model
e8b2e3c7f77ddd560220ecb7506666ab81c73bcf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	BoolTrue	False	Passed	Model Under Test Equivalent Model
62e82dbfacbc35efdd1a59473ec75c39ce6309b6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	BoolFalse	True	Passed	Model Under Test Equivalent Model
90924dd26a8c86be5703d14e65a9bad3920b6453	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	BoolFalse	False	Passed	Model Under Test Equivalent Model
92422e39499343334342e5bbdc6b39bfb8966efe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	And	True	Passed	Model Under Test Equivalent Model
6734f305eda8c1c41f6bd46a3307913b5896a844	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	And	False	Passed	Model Under Test Equivalent Model
4d111b985ea8ff11bbb1171282f2eb9ffa1b7033	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	AndMultiLine	True	Passed	Model Under Test Equivalent Model
d4f0977aced975b26057c7cd5e1056ec2fb691fe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	AndMultiLine	False	Passed	Model Under Test Equivalent Model
ffd0661a698329c8410f179e449aa587d929634a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Imply	True	Passed	Model Under Test Equivalent Model
e0f19e3c42daf40ca5c299c0c72b3ec90feb2468	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Imply	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
f0635606c4ae0e30b97c0e781a9d499e3bb09906	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Or	True	Passed	Model Under Test Equivalent Model
6a1118d62d30eaf24a828240f6031f0bd5056867	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Or	False	Passed	Model Under Test Equivalent Model
518da36cbba4f98199faca20e7c7885e257f82dc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	OrMultiLine	True	Passed	Model Under Test Equivalent Model
dafad15734ceba0389610f3fac8af33d38540924	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	OrMultiLine	False	Passed	Model Under Test Equivalent Model
f121f6a0e9370aa438ac9a4909fd14b88b4042b1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Eq	True	Passed	Model Under Test Equivalent Model
bb4de2f66cff0e94c2801c79eef7f4ef057c9d49	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Eq	False	Passed	Model Under Test Equivalent Model
7cf60c2d77cb6354988d10cfba97372171b9da06	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Ne	True	Passed	Model Under Test Equivalent Model
35671bb6ebd7085b82ec72d5e8f0cb8641513e6e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Ne	False	Passed	Model Under Test Equivalent Model
2b7dc7a1d593c390d0b7d90808f09c780edacf0c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Let	True	Passed	Model Under Test Equivalent Model
49869012b6d6346b9cabad9f0af495a715182896	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Let	False	Passed	Model Under Test Equivalent Model
5ef13b5ee7b1d9f710ca634e82e675bad5006fee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	In	True	Passed	Model Under Test Equivalent Model
76dffb3aa9389c64cbced071143deb94ba29c365	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	In	False	Passed	Model Under Test Equivalent Model
a133fbebb97128471c8e6839f580f788e9c91191	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	NotIn	True	Passed	Model Under Test Equivalent Model
b5652119e666205e667e1d59a791a1e9559b03ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	NotIn	False	Passed	Model Under Test Equivalent Model
a759f171475dff474cc7f061e688dd261e9c9028	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Exists	True	Passed	Model Under Test Equivalent Model
ddaa9906fe44895195016942b6bd8d6a04de3201	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Exists	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
9a2d24af22403e8dc3eb8375d9501dd6dfe94ab6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Choose	True	Passed	Model Under Test Equivalent Model
49a8f968524d5a257435f507f49e272757ef0318	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Choose	False	Passed	Model Under Test Equivalent Model
7b137f02995f9e99a63c542537e2917e4410d461	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	FunApp	True	Passed	Model Under Test Equivalent Model
62e27750924a8a2d8f664087f402ac7157fd232e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	FunApp	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
566acf6d06d93d2c7177678ca4b6c26676d8c796	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	NumGt	True	Passed	Model Under Test Equivalent Model
1fe3ceee1ce78fbc7b639d66737867e4875e1b85	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	NumGt	False	Passed	Model Under Test Equivalent Model
4a9a0a4d3ae71678003468746037348ce2789fce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	NumGe	True	Passed	Model Under Test Equivalent Model
bf54acfed4d7cc4aeaac641af00c74e8071bf5d2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	NumGe	False	Passed	Model Under Test Equivalent Model
c8b0df99f7508ad7f997cc4c457860f910b136a3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	NumLt	True	Passed	Model Under Test Equivalent Model
306a415567661f7999397a0288997b2746aab708	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	NumLt	False	Passed	Model Under Test Equivalent Model
64b3f3e80916a6c02ae3cbfa795176b6bd348a52	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	NumLe	True	Passed	Model Under Test Equivalent Model
311b010e03d9da68ab9f15434fb341ec28101f34	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	NumLe	False	Passed	Model Under Test Equivalent Model
5e7581c2f763cf8c7fff8e69e5ac9d82c75bb17e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Def0	True	Passed	Model Under Test Equivalent Model
679374159f2e498348f7fa2a7025a955461aa2c4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Def0	False	Passed	Model Under Test Equivalent Model
2684c9c07a75c7970f70362d789c2090fd78626a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	LetDef0	True	Passed	Model Under Test Equivalent Model
194a10daad35a271f56dfcbf4cc48b15f248b8c6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	LetDef0	False	Passed	Model Under Test Equivalent Model
9ad0983b673c45c370981d1e5a6dfc54fac0d052	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Def1	True	Passed	Model Under Test Equivalent Model
345ab44818f1d6086790f181286a96a8dd2ff742	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Def1	False	Passed	Model Under Test Equivalent Model
cc10bf6a062b06a1bbfb56a6eb1d8e42b24fdf03	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	LetDef1	True	Passed	Model Under Test Equivalent Model
1af8fbe515708b4a7c5d2bc5e401d9425e6372f9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	LetDef1	False	Passed	Model Under Test Equivalent Model
2be48ad1fd27f4ce22fdeb2817d9ab4b3854905d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Def2	True	Passed	Model Under Test Equivalent Model
e38f19dc0f336afed1020c3d686b6818654370e0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Def2	False	Passed	Model Under Test Equivalent Model
1943955ba4ff133785b864b35ddef4a85041abe4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	LetDef2	True	Passed	Model Under Test Equivalent Model
620f7e6e7682b73590defd7b5ef20a5305706282	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	LetDef2	False	Passed	Model Under Test Equivalent Model
e1f0984f97c47f762564828620477eb4c243464a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Def1Recursive	True	Passed	Model Under Test Equivalent Model
954ea2808b7973204c73351740181f343e79425c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Def1Recursive	False	Passed	Model Under Test Equivalent Model
cd92d4341c93a5a4a80bd80c57f051fc8bd50f16	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
a12fdd06d4c8cfc5b214c5376756ee92fde8a5e2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
a171cf53e516da73c72e69f74aa85078bd44f558	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Extends	True	Passed	Model Under Test Equivalent Model
bfdb470f81df6536528378d4771bab4bb934ede2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Extends	False	Passed	Model Under Test Equivalent Model
33bf49a802936d8b050de8330f06c40c2aec9da0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
208289f975aca39fa2860ea92e428961b7ab1bc5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
c7ffcb85c17ab5bce397be952ef1765b50310e9d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Variable	True	Passed	Model Under Test Equivalent Model
f1ad3faea3e4e33d8f2b4dc2da4fb5ec2bcc81ea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Variable	False	Passed	Model Under Test Equivalent Model
6f826fae11931a4a2c33db6b5b2a1f786d0e164a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Constant	True	Passed	Model Under Test Equivalent Model
fcdeeb291f0d2c6b9c2a246529d501a6a9aedc3e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Constant	False	Passed	Model Under Test Equivalent Model
decabd3d20083d9dbbcec6dbdc9f4e2f571372b9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	ConstantRank1	True	Passed	Model Under Test Equivalent Model
a3bd9f9ea94c00196721414d2849b8afa2264a01	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	ConstantRank1	False	Passed	Model Under Test Equivalent Model
5ccc52bc9630f1f13f354fc58e0d4d68b129c2ed	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Instance	True	Passed	Model Under Test Equivalent Model
86901ebc6ca95dc08c7d6b8bb4105e90af9c7f77	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Instance	False	Passed	Model Under Test Equivalent Model
82c1da64feda86638a5842314c4dfc203619e68b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	InstanceWith	True	Passed	Model Under Test Equivalent Model
63fa21d9f52b7517fb40e6c957d5c35742559926	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	InstanceWith	False	Passed	Model Under Test Equivalent Model
43e6bb5ef1245fc81a6d76518bf663a031a193af	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	InstanceNamed	True	Passed	Model Under Test Equivalent Model
dbd4972d4ea09e7da4592e76684bab5143431ca1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	InstanceNamed	False	Passed	Model Under Test Equivalent Model
a876fd0bec0d517fdba1ef65b1215cb9ad7318a6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
7b72aa269f4957a92f70a88a5bde4c4c841e41e7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
8276f47e5bc134e68228723ad620f64e0f96d9d2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
46d28442ee905e67dbf096ec23f41b72add050ee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
2000ca94ddce1bf233700ec331ae54c12043a2ac	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
eba6527070aeab74d0e7af0dcc2dae2859dbc0fd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
2d9c576d76e7319f1ef20071b088fa2bfc1953ae	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
fb78761c974dd4e7cd208f1af1ad910abfcaeb10	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
0909fdfaca797635389431add95e0a67b3abe404	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
5e142cdb359b66acc56c9cba8991afdc74f3bc1c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
9dd8c0a1197863843fab8e1880fe80c577f8482c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Enabled	True	Passed	Model Under Test Equivalent Model
d50ba1790bffcddf50d7e231dbf035618dc3fa03	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Enabled	False	Passed	Model Under Test Equivalent Model
3b95bf3b5f359d6db39d34632167cf432ed92ae1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	SubsetEq	True	Passed	Model Under Test Equivalent Model
11f05f906988e6ea917bd1b5c8a8ed0ed1528481	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	SubsetEq	False	Passed	Model Under Test Equivalent Model
fa1376871ce90fff6da2c7df8805a840af54f664	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	IfCond	True	Passed	Model Under Test Equivalent Model
964d11db5b39cc8f9d2059c507894b0c4004ce98	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	IfCond	False	Passed	Model Under Test Equivalent Model
8b95d0e22073723e36de55f2180a3335df4afddb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	IfThen	True	Passed	Model Under Test Equivalent Model
08d0ecefc8dbd69551985914cf14403097a406b1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	IfThen	False	Passed	Model Under Test Equivalent Model
cf0b7f41fd4e08aa5be0311c589a7f67e69b62cc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	IfElse	True	Passed	Model Under Test Equivalent Model
54b4c3368192032fe4b2063b4271fc8314af7eac	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	IfElse	False	Passed	Model Under Test Equivalent Model
71d3c88cdfe4178c72853509f79f9ec2a35cf5fc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Unchanged	True	Passed	Model Under Test Equivalent Model
2f1437d5a6395f483bc1377f150891948ccd590e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Unchanged	False	Passed	Model Under Test Equivalent Model
97b7f754d3d738e37d3b1b29013e2412af199f34	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Equivalence	True	Passed	Model Under Test Equivalent Model
f80c599c182fcee2249a43fc8779fa5a4c26586c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Equivalence	False	Passed	Model Under Test Equivalent Model
5a5a88174a91d3331e35dc95c5aa4604b7a29116	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	TlcEval	True	Passed	Model Under Test Equivalent Model
529af93b778f20f244d709b3e83e64635705f2d9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	TlcEval	False	Passed	Model Under Test Equivalent Model
a3c111dde9cf269ac915b3d5037cb165ca483048	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	BagBagIn	True	Passed	Model Under Test Equivalent Model
4512827d06fb3b0b89aa599b30eadbfdd01d78d9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	BagBagIn	False	Passed	Model Under Test Equivalent Model
aa2ae1a333010839475f655f10b7993baf3ca1a0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
8915b445a42bf26cb6e06d65a9732e308da335be	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
0fc8aeaef1bc0eda76cdff3904f641cced266424	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
e0798fc9c2ca526fd22918d63f885467d7d9a811	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
2cb7a3c7554b4907248c5e678c3e2a04692e4fea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	SeqHead	True	Passed	Model Under Test Equivalent Model
f9d4e38ad0d62cbfafd888d4909baec485653546	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

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