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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
fc127a80d57be5f6d3674238d2855417506ac647	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	OneLineComment	True	Passed	Model Under Test Equivalent Model
3d19fa837c9745333f89ce2789d1bd16ff41bad5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	OneLineComment	False	Passed	Model Under Test Equivalent Model
8b8541e7086abdd7891ba3d07c33e5f1ab2c0ac9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	MultiLineComment	True	Passed	Model Under Test Equivalent Model
534419ddcdb83d04784ef5361611f936d83d198e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	MultiLineComment	False	Passed	Model Under Test Equivalent Model
20eef7a7c9e0744671717d5bc08cead2cd11b2bc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BoolTrue	True	Passed	Model Under Test Equivalent Model
89bb2c2060e87538653c82f7ffe6e366d7bc7299	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BoolTrue	False	Passed	Model Under Test Equivalent Model
84e74751da55bde2abb58435d7c8e296c338857a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BoolFalse	True	Passed	Model Under Test Equivalent Model
5ab10b01b1316bd0468ab04e9db2cbf49e6c758d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BoolFalse	False	Passed	Model Under Test Equivalent Model
b091681f516a3e0d23a8af6373aa4708cae98211	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BoolSet	True	Passed	Model Under Test Equivalent Model
d436716a1a565afbe34fd9fbb6961457e3c09d41	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BoolSet	False	Passed	Model Under Test Equivalent Model
2743f218f23ce368552b436c950cb1014c89c109	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	And	True	Passed	Model Under Test Equivalent Model
f39e714487529830bbe4b94aa314a12557d3372a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	And	False	Passed	Model Under Test Equivalent Model
c21d3095b031d61b49957e6058e23b3d2cf5a772	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	AndMultiLine	True	Passed	Model Under Test Equivalent Model
07df678b9d62958f2d021cc918e1fe8ef1db20ca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	AndMultiLine	False	Passed	Model Under Test Equivalent Model
23c4cb8f3d613b3885ac9d361cf2e26ef82d97a4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Imply	True	Passed	Model Under Test Equivalent Model
bee38a9102a1cfb523d750906163530b2f2f471b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Imply	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
a5ee607312e2ec0ef731480d71d09ea704fcc9a6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Or	True	Passed	Model Under Test Equivalent Model
4aa781dba9648a964d73a8895e38491175ab75c4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Or	False	Passed	Model Under Test Equivalent Model
585f1904986cd7411b9a8ae93523dd82b383d317	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	OrMultiLine	True	Passed	Model Under Test Equivalent Model
7670fc1f3dcd9076082063807b5f9a4a2a5b5a28	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	OrMultiLine	False	Passed	Model Under Test Equivalent Model
0539b10e0649cad327b0e49dc5c7bdb4eff0373a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Eq	True	Passed	Model Under Test Equivalent Model
3adbd9a066e8d31ce1111c8bfff2d8cc0268d96e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Eq	False	Passed	Model Under Test Equivalent Model
d6bc7ebb62f9f8fec5784549016499315eb48f33	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Ne	True	Passed	Model Under Test Equivalent Model
25cb021c2d37399c6d98f8420db7340ede552d41	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Ne	False	Passed	Model Under Test Equivalent Model
71e116d3b4d8a0f4dae0d270deb3bd3cb5e9705a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Let	True	Passed	Model Under Test Equivalent Model
b06da3c9709d65937e00e2947182726a7a71d4d4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Let	False	Passed	Model Under Test Equivalent Model
3996fe0bde1af3a41f210560efb4ab553316a59c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SetEmpty	True	Passed	Model Under Test Equivalent Model
c8098329e67caa6e51b1099bad2543f7367268f4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SetEmpty	False	Passed	Model Under Test Equivalent Model
3c2575bfe747c73712ad55e3cbf2d0d56639089b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Set0	True	Passed	Model Under Test Equivalent Model
e94bba3c22ebb77664134e51be0d7ecad5991a00	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Set0	False	Passed	Model Under Test Equivalent Model
53aa7ef839816b00648bbe55067d49abcb49d600	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Set1	True	Passed	Model Under Test Equivalent Model
9db15590c23a7b4717b6826270fd8362c65bcb0d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Set1	False	Passed	Model Under Test Equivalent Model
b6df6c324938bb845136140a1bac2c43489e2d97	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Set2	True	Passed	Model Under Test Equivalent Model
9e32452079b27f5a3358200bff6bf5a8c1755f6b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Set2	False	Passed	Model Under Test Equivalent Model
b7641addd18963955b04dc4614d01644ee81a934	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Fun	True	Passed	Model Under Test Equivalent Model
a0fc6c1687561f5760b79da5d792c75e3b992940	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Fun	False	Passed	Model Under Test Equivalent Model
af64ffaad701b2069038d2a0224c042cf2389620	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	In	True	Passed	Model Under Test Equivalent Model
1d572478babd0b15ef4f3444edf82589984bce62	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	In	False	Passed	Model Under Test Equivalent Model
aa8f74f56aacd8cba127d67c61bf63dd97006e86	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NotIn	True	Passed	Model Under Test Equivalent Model
6b279002ed7b61306ac9e2e882c982119d992b60	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NotIn	False	Passed	Model Under Test Equivalent Model
4cfe09ef53a8c7cfac812d4fe03c44ebb1dd4035	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Exists	True	Passed	Model Under Test Equivalent Model
ff2da9aff87ef0d16a882ea00e58bde5db9ad91b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Exists	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
8880da65dd5217ff06c5415d0a2a4b9fb6b70778	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Choose	True	Passed	Model Under Test Equivalent Model
6ade011d11e34c8122e7c8a5f9ca26a7a5504b20	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Choose	False	Passed	Model Under Test Equivalent Model
524363418185485800da092f4f4155e62af338e0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Record	True	Passed	Model Under Test Equivalent Model
f81ab2ec4fd0b91c5d18e166155a49c87e5e931c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Record	False	Passed	Model Under Test Equivalent Model
273027890c6d3c56f04602d04cf4c706716f95a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Tuple	True	Passed	Model Under Test Equivalent Model
de20eed24ed4127b49097c082b3cd6a1dd0af01d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Tuple	False	Passed	Model Under Test Equivalent Model
dcdb479527d5d31ce8b71d7d870590926235abf1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	TupleEmpty	True	Passed	Model Under Test Equivalent Model
76a06724a206220c4cdc0e828c0383a630dac3e4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	TupleEmpty	False	Passed	Model Under Test Equivalent Model
d518bc770143db4775531f1b79872e9928274a49	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	FunApp	True	Passed	Model Under Test Equivalent Model
b3fc462ed885ecbad3b154ab4973068b14fae87f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	FunApp	False	Passed	Model Under Test Equivalent Model
4b740bfa21423784c4be2ad275d36ad085c2eac5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumZero	True	Passed	Model Under Test Equivalent Model
a57d2c4acb459e8d4a719f659da6bbd094b02fa4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumZero	False	Passed	Model Under Test Equivalent Model
6b389e1621498ca70d4aa00fac43fc05099348ce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumOne	True	Passed	Model Under Test Equivalent Model
4fb7af404712f4b2365b2f2d96d4d05e03ad4f13	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumOne	False	Passed	Model Under Test Equivalent Model
6c80f649a466ed428581d0c2e31c74096b43a2cd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumMaxInt	True	Passed	Model Under Test Equivalent Model
23636d3b219e61d6d79c08f4cbf3e22581437479	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumMaxInt	False	Passed	Model Under Test Equivalent Model
f7a02ff902a762532ca78256036c2d3cac2a9d16	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
4cf240602a16ac4786da02a3d13ca924e3af8d5f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
667ca9c9cd8892ef2145317fa30da0f8dc734e0f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumPlus	True	Passed	Model Under Test Equivalent Model
fefda49b13d2bc5730617270cbdbe5530cfde4d5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumPlus	False	Passed	Model Under Test Equivalent Model
57e2a44a374562683eae6a75197c6eb97909f4a0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumMinus	True	Passed	Model Under Test Equivalent Model
679d608c6377418c8b69828cfa91a79151036c15	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumMinus	False	Passed	Model Under Test Equivalent Model
5c561a7af1990683ef3ec8cf8376a78b6a079385	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumMul	True	Passed	Model Under Test Equivalent Model
de434b628433e5214ed193079f8cfceb775961fb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumMul	False	Passed	Model Under Test Equivalent Model
3227e4b66127a6a66bbf9b397de58ff8b1eb94de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumDiv	True	Passed	Model Under Test Equivalent Model
df1ca5e7990ae3a80fe9bf6b8cd03c4b89a893ca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumDiv	False	Passed	Model Under Test Equivalent Model
e334c6194125dd467fda45a0692a23f0c02a36f9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumMod	True	Passed	Model Under Test Equivalent Model
3aea318df22a36a6fb4aa34fe69f4083aafef4de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumMod	False	Passed	Model Under Test Equivalent Model
50d1ede2b526702f634414f147bd1b153caf0f63	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumPow	True	Passed	Model Under Test Equivalent Model
e1bcca1658894e7bf533ad9a83bf88913a453c2c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumPow	False	Passed	Model Under Test Equivalent Model
342aa92dcc70b8d18e4cc2f2c7b4107fc952f925	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumGt	True	Passed	Model Under Test Equivalent Model
84c121fd3be9175c86cddeffc777a3caba8d05f5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumGt	False	Passed	Model Under Test Equivalent Model
cc2bf456576fb4feae00f3a7bfcbbc07f7742fd9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumGe	True	Passed	Model Under Test Equivalent Model
e930b22629b31141cc0086e77495d11666b2dd34	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumGe	False	Passed	Model Under Test Equivalent Model
ad6ae69ed2dc4ea61a0177b6c6bf692d675c7e10	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumLt	True	Passed	Model Under Test Equivalent Model
72b0c6c0e3cacd005ab044c3820af5a74242ebb9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumLt	False	Passed	Model Under Test Equivalent Model
a8049893d984aca451ce5704b6d6a418ba5934fc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumLe	True	Passed	Model Under Test Equivalent Model
d24708391ce4fdfe5f049e446daa849242f7780d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumLe	False	Passed	Model Under Test Equivalent Model
de6bde733110efdb211aa0382db3e073693794b4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	DefFun	True	Passed	Model Under Test Equivalent Model
973c1dbb6bdab5b25e0e8654efc4d639023da397	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	DefFun	False	Passed	Model Under Test Equivalent Model
92222c202c0645c5dd3bc3445df0c484fbb170fc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	LetDefFun	True	Passed	Model Under Test Equivalent Model
c87f5bb4489134a6c3e845646942ea1d9d35cb71	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	LetDefFun	False	Passed	Model Under Test Equivalent Model
44eb2349e95acf2a7082af05bdba5cf31c6fc255	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
ebacd5cb8dbaf8568c1639d13813a030038107c6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
c10eecb994be8d9a8a0697f55d633d68ef54f9a2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
aac1062c7aca22f63cbf2762e6c37d74bb8c8aae	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
3b3b33bf64b97d919610cf8563c9523fef53c980	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Def0	True	Passed	Model Under Test Equivalent Model
623bbf4c924ea86ffe02e84e598df0810f359f17	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Def0	False	Passed	Model Under Test Equivalent Model
6d7d3ac1fbf70603817cdfac04af85b45c202ed7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	LetDef0	True	Passed	Model Under Test Equivalent Model
7bac5d553bd484cec89665970a09c83b53a9cb99	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	LetDef0	False	Passed	Model Under Test Equivalent Model
f5a1ba392747587296c5fcdcb9dbd8fb5bd21c44	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Def1	True	Passed	Model Under Test Equivalent Model
d8f3ac7aca98b9cc37e8ddccac85ffcd2ced4cf8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Def1	False	Passed	Model Under Test Equivalent Model
4a7befbda46289e04558d9d8fbd4f2ebe467f714	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	LetDef1	True	Passed	Model Under Test Equivalent Model
4aeae9c4a95020fc6731b44825a14dcc621ce226	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	LetDef1	False	Passed	Model Under Test Equivalent Model
6ab7afc0ca2c02ef433b01d14c38d37c6c7189d7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Def2	True	Passed	Model Under Test Equivalent Model
4d1f17a72498c749adf99afad899175a1dca878c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Def2	False	Passed	Model Under Test Equivalent Model
f38fb0d163c3ba4cb8ba49fb8203a7ce01506f40	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	LetDef2	True	Passed	Model Under Test Equivalent Model
961354e6ca192d6ee950627e9857b78badb749f3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	LetDef2	False	Passed	Model Under Test Equivalent Model
ead2a86c942054d99ec0c324c8513a38c61730b3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Def1Recursive	True	Passed	Model Under Test Equivalent Model
be3e03206fdbac6b03e84780cda6134d7f893575	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Def1Recursive	False	Passed	Model Under Test Equivalent Model
ef68eb1460ba7fb1599123d89e344af4e66ef556	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
4712ef8515870bdce6d7f7813874ca6446d1d458	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
6525e3b8c3c7d28d2f36c6972ddbae341b29ff24	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Extends	True	Passed	Model Under Test Equivalent Model
9156cc476602ea23da3836e2e47cbf79c5c8ee09	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Extends	False	Passed	Model Under Test Equivalent Model
e4bb170cdffde9f7995523ab877144ef990c3179	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
100e01e3ab85b8fbdca41a62be1fed3281e49b6a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
3cd9da1d5aa9538d4b65beb0be11d2e78f49e7e9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Variable	True	Passed	Model Under Test Equivalent Model
1edb599a8f0e3a21ce82b69768b5d3b0d6935916	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Variable	False	Passed	Model Under Test Equivalent Model
79ecf68827574d73b10b6807676ab5dea83af6e1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Constant	True	Passed	Model Under Test Equivalent Model
ca9ccca1eb32713452efe7ee7c67993b3eaadcd1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Constant	False	Passed	Model Under Test Equivalent Model
0369c31affa1c06b48b968ef05dbfad22888198c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
03c91e2ef32c0ed64f3de82d0fd4124c15f5c5f9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
78bcbf2c5c5e691d77ee87d580e135698024486f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	ConstantRank1	True	Passed	Model Under Test Equivalent Model
b92a4a270f05df0713d98711f08ca3d0be19b03c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	ConstantRank1	False	Passed	Model Under Test Equivalent Model
c49d6f4d4a04c803b6b26635c4254efb7623a70e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Instance	True	Passed	Model Under Test Equivalent Model
76b9c2f54dd19e8c1ab5523516ff4c162f5d874e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Instance	False	Passed	Model Under Test Equivalent Model
ecb1b6c9e7a8b0d7f9266c81e5f64dfb1bf88d8b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	InstanceWith	True	Passed	Model Under Test Equivalent Model
091962e0aa79ba0c277a32d5c7e7e4f85ba51d52	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	InstanceWith	False	Passed	Model Under Test Equivalent Model
b01f22afcba74c2b324637f780d5478c9536be37	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	InstanceNamed	True	Passed	Model Under Test Equivalent Model
4dd190973bbfb25cb1d1afc168be915b23bb8462	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	InstanceNamed	False	Passed	Model Under Test Equivalent Model
1764f0065f896f46e9c2d34b3d895335b92bb84f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
84e705e9447d444477ff729c0dd48bc085a27e16	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
5c4ff78356353e4232f4b930620d0e25e5276713	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
1ef75f20f0536a47fef0ae163cf12d17bd36c46d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
6ae0f41bccf10c8e96e00029e4a9ea0100191e56	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
b14536434dbccb22a7f381f4ced569af24264749	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
8b15e2c86bbad80170a11089bb4970738bafa21e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
dd4aabc79f37c13ca75d91b5934592fcccff9acb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
6bd9dbe0040940477bf01fe917f3169618495ec7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
b5c8e94c39e76f8039d0948e2af028c97c485081	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
1bbf1f3f1c505608f2c7ba3376d3040c25edd524	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Enabled	True	Passed	Model Under Test Equivalent Model
1bc1b4e0c903aed03064a074e562dde966b29298	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Enabled	False	Passed	Model Under Test Equivalent Model
87f496c612544b34644ac1d28a313eabdb78edf1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Cross2	True	Passed	Model Under Test Equivalent Model
632844e459d24e9d90b987bd184f045fa86c26f6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Cross2	False	Passed	Model Under Test Equivalent Model
8ef05319b5db92a24828d90fa177ec5b4d499440	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Cross3	True	Passed	Model Under Test Equivalent Model
a1b1aec08aca9cd542c507e46e109809876330f1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Cross3	False	Passed	Model Under Test Equivalent Model
609205c8657b4a5c599245e9abe1726e7511ad8c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	FunSet	True	Passed	Model Under Test Equivalent Model
83b07c5eafdad7dbd2ea195cd19af2aac8fd3d8d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	FunSet	False	Passed	Model Under Test Equivalent Model
7d206e74346ac3d3589a8d983bdba3dcf1091732	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	RecordSet	True	Passed	Model Under Test Equivalent Model
ab6138c2b79cd3f5c04a5855f13721488765ea8c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	RecordSet	False	Passed	Model Under Test Equivalent Model
76ece9b26a2037c0151b9e63e911b2034ac0222b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SetDiff	True	Passed	Model Under Test Equivalent Model
d28f092c2dfe6e9db9271824f865483d43d3de89	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SetDiff	False	Passed	Model Under Test Equivalent Model
13f57df81040c01ed01edabff7fd45caf2dec6f3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SetUnion	True	Passed	Model Under Test Equivalent Model
ed850fee5213d54ed11f50ab5615634d25d2029a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SetUnion	False	Passed	Model Under Test Equivalent Model
ae260bfda71a60283a80d7a325d6637dd79b3685	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SetIntersect	True	Passed	Model Under Test Equivalent Model
594d0e67b10c64dfb2ef7e91f408a331f195cb73	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SetIntersect	False	Passed	Model Under Test Equivalent Model
728bb0b3b3088ccb72303d695d7f25c6a6134215	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SubsetEq	True	Passed	Model Under Test Equivalent Model
d6114e024ba3fb29e1534e1d2283c66d996dd24c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SubsetEq	False	Passed	Model Under Test Equivalent Model
8aca6261d1868618da4a603606664610b07cd464	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	IfCond	True	Passed	Model Under Test Equivalent Model
2ba42d3aa74093815b2f75788ddc590d074d06db	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	IfCond	False	Passed	Model Under Test Equivalent Model
3e15644cb4cc2ebf8d4deadf14f633bf4bc31997	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	IfThen	True	Passed	Model Under Test Equivalent Model
53317d39ee866c65b954fa1deb7502f650500243	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	IfThen	False	Passed	Model Under Test Equivalent Model
670866e3951d0369e372bfb701e9d6c0ee7aece6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	IfElse	True	Passed	Model Under Test Equivalent Model
566c2f6779c622f02be104e1a0e8840a8ec36b5e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	IfElse	False	Passed	Model Under Test Equivalent Model
b971b5f784409244ef1c9040adc84593402b96a5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Subset	True	Passed	Model Under Test Equivalent Model
bd332aca459e563a91c742ee94ee67262d45363b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Subset	False	Passed	Model Under Test Equivalent Model
6b4e9931250a369ff41a8d3761aee9a9f41b920c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Domain	True	Passed	Model Under Test Equivalent Model
65074504d2bc6f00bd262e693f76977a91cd542e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Domain	False	Passed	Model Under Test Equivalent Model
6827d59e9016f3d85a91cea1f65fd3f3da5a7303	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Union	True	Passed	Model Under Test Equivalent Model
a66ec979b7df75ef903bf339b11f18bff32fbec0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Union	False	Passed	Model Under Test Equivalent Model
2c32d0a642520729864f3229131a851afb786165	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Equivalence	True	Passed	Model Under Test Equivalent Model
63af8f98eb11fef7b5e120f15a5be655db1589c9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Equivalence	False	Passed	Model Under Test Equivalent Model
9f660362ad4121a7d3a9f913d98b34373c2ee903	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	StringEmpty	True	Passed	Model Under Test Equivalent Model
9de60955d366ff24557b0620652fdb4e6cae63e1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	StringEmpty	False	Passed	Model Under Test Equivalent Model
e446b3aa75068b114e036bdd9d14fdb28d4c4234	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	String	True	Passed	Model Under Test Equivalent Model
184ad15237fc11999ee4d283a21f8a8267d65c95	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	String	False	Passed	Model Under Test Equivalent Model
e6b5670ea6484268d221630aabc67fca8e82b8db	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SeqLen	True	Passed	Model Under Test Equivalent Model
1a847801f2f2fc9aae8f1e9539113cb85704f16c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SeqLen	False	Passed	Model Under Test Equivalent Model
fa6265a8ca9a0dfbd74ffd37a93c09833bdcbe08	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SeqConcat	True	Passed	Model Under Test Equivalent Model
c49c44aa69764c70f6c323ac7dd65debb8fb8647	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SeqConcat	False	Passed	Model Under Test Equivalent Model
d0d098fdc17aaf2335278f3104da6cf8cee9a6e1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
3247e61788644146e628f47f9b8cce3cdd0e4b7c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
a36b9e3756d7ed1a40cee43b35f7fece658087d0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
e9d81d0fcfa220e154d01ebe5994f4ac3238f70e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
2ead1bbeb5feb1cd59ccc5b00fce555cb72fb0f1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumRange	True	Passed	Model Under Test Equivalent Model
31190772363b584d98d0c8902989063591dc254b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	NumRange	False	Passed	Model Under Test Equivalent Model
e661f1c1281ae39d8e4869eb3e8b08c1a7b1b5c8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
ee07375f39a605033787d13f6a0a109abc408e9b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
3752f53eed3fa95044eadd6c13f798d1d79cd1dc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
551c0cbf7a6fceb32ccbabcad150fff578261f87	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
c7025b9c3fe8bd69d867f4b7ded16c4cbcc6584a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
4ab6342bff0e1c7a3065576d1439a920148e5860	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
e4b65922456fab03e017ee7fde0338b7d37c7021	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
08917020a7307e6b72cb3c41d341b36717325f1d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
93b3ffcc807adff724e303c29567581a55fe3a8b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	TlcEval	True	Passed	Model Under Test Equivalent Model
81ffc4cf717a58d9a162ea8deebb5016767c15b2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	TlcEval	False	Passed	Model Under Test Equivalent Model
83ecba7695ee8cab7ffc17088d450a6ffabd2854	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagBagToSet	True	Passed	Model Under Test Equivalent Model
b4200ce0fa649a960f71c6dca4ff08f7473a2e15	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagBagToSet	False	Passed	Model Under Test Equivalent Model
f8a4fb5c788e70a0ce0975062893bfa50fffd5bb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagSetToBag	True	Passed	Model Under Test Equivalent Model
dfca6013fcb4360945c968570a7eb99d9c5de444	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagSetToBag	False	Passed	Model Under Test Equivalent Model
24e1fb0bd16b44663447b1d657bde96e6d1d2781	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagBagIn	True	Passed	Model Under Test Equivalent Model
d7ed27b07ff5c2e694c00fedd3e2905804e5a0a5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagBagIn	False	Passed	Model Under Test Equivalent Model
997692ea40c3b56c30ba43145ccf66f7170ebddb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
3bd02d274c8a4b1aa0de0e80588c7aee12cfaffe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
7f787703a7d598dce67d15795c39e936be36f139	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagAddBag	True	Passed	Model Under Test Equivalent Model
90fc585037b1bfe20f88ef577d42a8a3ef0aa2c4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagAddBag	False	Passed	Model Under Test Equivalent Model
77d38862c35aae5208fb40a43218273097f448ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagBagSub	True	Passed	Model Under Test Equivalent Model
e449a973a9e99713a8b202f2e64910a2e59e5b20	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagBagSub	False	Passed	Model Under Test Equivalent Model
2136d1e447686c398dbcfda8c8c5b15cb0b0a528	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
806d9fd65e3b1470ade3dc316bfc7f5b8750e9bd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
e1cc9d8b0715c3ffc992877ff38cf28937f0ea43	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
d98e6839c6dc4b6de80e937ac3baa3f33d14aaa8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
3abe99c331f1eac1a9eb0efc5690bf24b2863562	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagBagUnion	True	Passed	Model Under Test Equivalent Model
0745025aa91cceac7d6e6182e56e9fc3da56eec2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagBagUnion	False	Passed	Model Under Test Equivalent Model
555270615acc4526dd26b53eae2b5abf83f8c10d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
0ecaa2ed1e36844fce2fc4505f98549256f34c3d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
fdb5ab3072c3437fbeb1eb5878ce9e65cc8463b0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
2018b91ef2a93852383919d2d58f4115b750cd72	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
d8d3af6b41e705ad5f3251e6de8aba3c692186d8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagSubBag	True	Passed	Model Under Test Equivalent Model
098a7647be02fbd718536077b689b48231af9ba2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	BagSubBag	False	Passed	Model Under Test Equivalent Model
e6339ddf0c589c1afcdcdf4840c4fbec70c61c0b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
9f4e35af2ed844eb3920963b25eeae946d110d64	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
0b11025d17518dcee61fb894939991b7240e595f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
d7c9339955fca23a44e4ceb6ebc3b01924ae6cee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
d52300ec6bfc3fd5a694a851a03bfe77755f3fb1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SeqHead	True	Passed	Model Under Test Equivalent Model
02225a066ddff5a991f88f8f5ef7e78f5af59cb7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SeqHead	False	Passed	Model Under Test Equivalent Model
05a7f429daa27daa494e893d38df7c54f08bdaaf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SeqTail	True	Passed	Model Under Test Equivalent Model
a71a3955112b8fefabfe824c5c75440da660adde	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SeqTail	False	Passed	Model Under Test Equivalent Model
7e03cfe4b83b9ae4ae41a842ffb6684e96dd1843	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SeqAppend	True	Passed	Model Under Test Equivalent Model
3f55a10d33649c4d64d74e165c14f1f2fa2ee160	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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