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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
89e21999f009a191c95b93cce618fc9fd96993f6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	OneLineComment	True	Passed	Model Under Test Equivalent Model
6903c57cda27dfad14ba891a48cef03149e02e24	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	OneLineComment	False	Passed	Model Under Test Equivalent Model
1e152d259e195c686696d65edbc7e9e98eaf163d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	MultiLineComment	True	Passed	Model Under Test Equivalent Model
f87476c8efac859054064a1eb123a1db995b2e0f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	MultiLineComment	False	Passed	Model Under Test Equivalent Model
4f163190a7bbdd7253b598144acdbc0b2c10a252	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BoolTrue	True	Passed	Model Under Test Equivalent Model
3244ed8fbaf8c117e58d48506c8de5c39193c196	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BoolTrue	False	Passed	Model Under Test Equivalent Model
6f27fd1565ba7adb3824b4e9d4047bf60e174f73	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BoolFalse	True	Passed	Model Under Test Equivalent Model
beebc371d9a5230cabd425f3d5d80919aa6f45aa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BoolFalse	False	Passed	Model Under Test Equivalent Model
ca41bd69315b47604a1505307275b584fc0890d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BoolSet	True	Passed	Model Under Test Equivalent Model
8a60fb174df7d60f2701887453d6592a6c25b127	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BoolSet	False	Passed	Model Under Test Equivalent Model
110bf16bf3a9fc805ee2ef6781e69ca9c5ff3869	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	And	True	Passed	Model Under Test Equivalent Model
e00d2bfad7def11204c1b77560b407b520207af5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	And	False	Passed	Model Under Test Equivalent Model
c7a2e430352fa3d271cc27ceb63468fae51a603b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	AndMultiLine	True	Passed	Model Under Test Equivalent Model
d883dfa118892a70e8b079a67b077662a5476c25	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	AndMultiLine	False	Passed	Model Under Test Equivalent Model
4a619ff222f2a78ed12c7749a5b0cba80ba5e32d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Imply	True	Passed	Model Under Test Equivalent Model
32ba9507d76e6ac8f28ef4a6bb4b77d1410f8bcb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Imply	False	Passed	Model Under Test Equivalent Model
1e9372880b9f50632823c08e6e45e0dc428e3423	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Not	True	Passed	Model Under Test Equivalent Model
88e697131d435156fe72953f5c323997d8eb5fdf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Not	False	Passed	Model Under Test Equivalent Model
f5bd3f138686232c8dbdeb7995648781fd2a4510	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Or	True	Passed	Model Under Test Equivalent Model
c575b993fefd6baac4b4da79aac56cf4c5280025	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Or	False	Passed	Model Under Test Equivalent Model
fdd064dbefffbd89cc6e97760b5a638ca80803b2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	OrMultiLine	True	Passed	Model Under Test Equivalent Model
240323a05a44b4a9124b1106fe414e5ff3929581	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	OrMultiLine	False	Passed	Model Under Test Equivalent Model
d20260750e73243054ddf363ad98293ce38844c5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Eq	True	Passed	Model Under Test Equivalent Model
7e864ca4d650da8d08b404b6d8feb89697019cb6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Eq	False	Passed	Model Under Test Equivalent Model
d8cb6deca69e2375832739f726cb93a172daae5c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Ne	True	Passed	Model Under Test Equivalent Model
fed7ddc3d7f882bf1b7fd4f131a508522ccd6959	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Ne	False	Passed	Model Under Test Equivalent Model
645556dd32e07bb134518b1053cfa56658ed5ec3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Let	True	Passed	Model Under Test Equivalent Model
67b6a7e7c020e8997026785565aff43acef063fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Let	False	Passed	Model Under Test Equivalent Model
11d337a76ab1abe62c46d4e73ddd7c4006281e4a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SetEmpty	True	Passed	Model Under Test Equivalent Model
7e1de6be9877c80cc9f08257d5a5b162151904f0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SetEmpty	False	Passed	Model Under Test Equivalent Model
44ec64e695ba21b8a433c915e394bd37689e4633	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Set0	True	Passed	Model Under Test Equivalent Model
41713892663f53aab729bb0d66cd971d88147bfe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Set0	False	Passed	Model Under Test Equivalent Model
2780a7aecd224e7f042a1f8845f8a76232de349a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Set1	True	Passed	Model Under Test Equivalent Model
eb832518deb02dffdb2da5a231588d81242e9423	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Set1	False	Passed	Model Under Test Equivalent Model
8e2212dff2f423f4f419316e42ce21d57f9363fe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Set2	True	Passed	Model Under Test Equivalent Model
320c399145fa5b84b85553515f4c3c92ce2e6c50	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Set2	False	Passed	Model Under Test Equivalent Model
8e46aa4819d3b4265684311799c66ef36cd69f2c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Fun	True	Passed	Model Under Test Equivalent Model
f4054f39fad5b29b88615557e0034f6ef8e4cf52	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Fun	False	Passed	Model Under Test Equivalent Model
4a1bed1974b5c1f73843b1729d0f4cc3d52a47e5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	In	True	Passed	Model Under Test Equivalent Model
b2528a78ca715f26b59b0cdfcf9bd1dc70aaa9eb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	In	False	Passed	Model Under Test Equivalent Model
a9657311e93e4438c5cd4b12e24433c7e06bff8d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NotIn	True	Passed	Model Under Test Equivalent Model
7178594f6f969b9a29cfce9f74c50288499d01ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NotIn	False	Passed	Model Under Test Equivalent Model
5577c685b2c05954a7ecde52932bcc3fc8162349	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Exists	True	Passed	Model Under Test Equivalent Model
59301ce2381220dc3d900a7a635d4f56c372483b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Exists	False	Passed	Model Under Test Equivalent Model
87595fc86b26df410fff97e30684e20ffe656e50	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Forall	True	Passed	Model Under Test Equivalent Model
14c9d33b5012aa55fc5ae3bb2aaf75232af7c26c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Forall	False	Passed	Model Under Test Equivalent Model
bd15d425ba6f7377e27959be2f9c98b9dbfb6b3d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Choose	True	Passed	Model Under Test Equivalent Model
f6f1003e4882cbb0253d94a8dce9e4d800e27ad7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Choose	False	Passed	Model Under Test Equivalent Model
338bc9ffa3c6f235cbfbd67cca60a82d5ac71528	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Record	True	Passed	Model Under Test Equivalent Model
830d082c9eb473eb0dc2eab0d0a2491f17eb7c37	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Record	False	Passed	Model Under Test Equivalent Model
6c1b8ae055bd5034efcfd248cf0e5dabbd27722b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Tuple	True	Passed	Model Under Test Equivalent Model
c8d9aa0c92482294903080dffcc347940ef33621	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Tuple	False	Passed	Model Under Test Equivalent Model
bf1420708e07ac8e63528c52d2e24ec11234b027	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	TupleEmpty	True	Passed	Model Under Test Equivalent Model
574479999118ea53ae51c707dd2a3442b1109c10	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	TupleEmpty	False	Passed	Model Under Test Equivalent Model
549a17488bef727961b37d58a57fa44e5c0730d8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	FunApp	True	Passed	Model Under Test Equivalent Model
7ed570da0e9469d75db6e6db53cfe3f100fdfd94	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	FunApp	False	Passed	Model Under Test Equivalent Model
2c56e9e535d2784c75615eda359c072c42a2be5f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumZero	True	Passed	Model Under Test Equivalent Model
46890956915c70018edd9f9b6d9d8060fd75213d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumZero	False	Passed	Model Under Test Equivalent Model
44f894b656c1cbe093bb609e28146928f2daee8d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumOne	True	Passed	Model Under Test Equivalent Model
5eaa351aabc656662d04d6a9a64263a6c0b84830	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumOne	False	Passed	Model Under Test Equivalent Model
5fc16148899880728a53e28d9f4aca47780a3313	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumMaxInt	True	Passed	Model Under Test Equivalent Model
cfd254d0c3d5916a79d6c359b8d4971fb462657f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumMaxInt	False	Passed	Model Under Test Equivalent Model
1d8d9b2449b67018a3946280dfbbec1c0eeaccf0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
737c8b4eb843bc4d485481b45acdb4cdbcab0da3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
2cac643f0fcefcbe98950bfc60a756797de96a92	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumPlus	True	Passed	Model Under Test Equivalent Model
8f7d54012a4088128e77caed32d9becb60d9102c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumPlus	False	Passed	Model Under Test Equivalent Model
307980a6a39542110b83dd6ba9205d35cd787c17	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumMinus	True	Passed	Model Under Test Equivalent Model
38b7c01338c295aa25004bdf68f9d7db7abb62bb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumMinus	False	Passed	Model Under Test Equivalent Model
149015f76f50f5a32a6980661244e277fb647c3d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumMul	True	Passed	Model Under Test Equivalent Model
740efebf74686154c111f9c11545789f4d8f043d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumMul	False	Passed	Model Under Test Equivalent Model
777242e8e46d3c4240a60f7762644d28bcf45444	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumDiv	True	Passed	Model Under Test Equivalent Model
a42b5110a1b1ed5bdad9551a7a7d0376ca51b4e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumDiv	False	Passed	Model Under Test Equivalent Model
3dc3292b8254251df3a62a7e9a66843d66807d29	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumMod	True	Passed	Model Under Test Equivalent Model
61a53e12cd3898c4710cade0188d304d92fe67c9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumMod	False	Passed	Model Under Test Equivalent Model
fb3c4350231ee64ea8855499917fcb7535d1aa2d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumPow	True	Passed	Model Under Test Equivalent Model
a79d7596cbf64514c717d2010e8b8de2d7807737	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumPow	False	Passed	Model Under Test Equivalent Model
8f2b617601c980c8581970e12ba27887df8dae87	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumGt	True	Passed	Model Under Test Equivalent Model
b79f933f234cab8af58e64cad09378a2d14afcf0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumGt	False	Passed	Model Under Test Equivalent Model
dc14725a74b15d77e6d4c0b00130a067ba622b1e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumGe	True	Passed	Model Under Test Equivalent Model
e989e108782cddea22ccae6c154a18b2953df4d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumGe	False	Passed	Model Under Test Equivalent Model
0f75e6a7b38befd0e704c32df687d92bcf9c9188	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumLt	True	Passed	Model Under Test Equivalent Model
77b1124828a6d8f33e5f89eabfc80dad5881fb17	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumLt	False	Passed	Model Under Test Equivalent Model
f19e83b009a0704d911a0226b10b4df13d4366c8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumLe	True	Passed	Model Under Test Equivalent Model
42824c403c053b709a8332f537324d6c4d430515	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumLe	False	Passed	Model Under Test Equivalent Model
6fbed64d70f98d023395c6f0e7aa8790cad33dbf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	DefFun	True	Passed	Model Under Test Equivalent Model
ba535304bcaf42f0e691dd8072a6cd28893cba40	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	DefFun	False	Passed	Model Under Test Equivalent Model
e396601d38144d182045411ce002960a50199f3d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	LetDefFun	True	Passed	Model Under Test Equivalent Model
5f1204751cd1c268459bb37272b0a89eb7b63976	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	LetDefFun	False	Passed	Model Under Test Equivalent Model
0c2a78d56b99ed9166de333d077948d590f6b361	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
7627275112171b51504793c8074843f39ac4de39	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
fdf073a52e5dd1c3677b19421d6574bbe7572057	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
8a20c661b543df47d06a61f029bbd50047612773	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
f9776b1abc2d0ab3ed0be017287ddf20f430de57	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Def0	True	Passed	Model Under Test Equivalent Model
20c94b133d7aafbcbbdce31189b25886b542aecc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Def0	False	Passed	Model Under Test Equivalent Model
d29190c5d5440bff0696a281a2123db770d0ac48	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	LetDef0	True	Passed	Model Under Test Equivalent Model
c2025993794148eaee84f67585d5929963f97646	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	LetDef0	False	Passed	Model Under Test Equivalent Model
8e91b69282d6264db69e57e58fd800b1d2bb4dad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Def1	True	Passed	Model Under Test Equivalent Model
834449e7742a956f1cd8e7dd0018b320e247d591	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Def1	False	Passed	Model Under Test Equivalent Model
cad4b9bbce55b0b50b5a318a6fe248fb68c45f5f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	LetDef1	True	Passed	Model Under Test Equivalent Model
caa5b1ba067d6769fbdd113b9274a645fb99f160	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	LetDef1	False	Passed	Model Under Test Equivalent Model
57bb97a16ca84303480b0c869e4353cb6f2c5775	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Def2	True	Passed	Model Under Test Equivalent Model
3fc9fc800d8790e27b3d38620755657cdf669cac	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Def2	False	Passed	Model Under Test Equivalent Model
84302beb120cdbacd0e3e1ec1f866a41e2c22559	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	LetDef2	True	Passed	Model Under Test Equivalent Model
25c26d58876a9cd0c8db8c37830450af1c3f6ad5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	LetDef2	False	Passed	Model Under Test Equivalent Model
354259c211541bbd017a95e3df0cda03803c31f7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Def1Recursive	True	Passed	Model Under Test Equivalent Model
da4165f109e4d7b1f96fdda628a53cbb88147340	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Def1Recursive	False	Passed	Model Under Test Equivalent Model
471b6fa7348f66a2b005b7382241e0c63202b1a8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
e6af71a37a51b3cd03b44e49e271c8d35ec71338	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
a99682fe960f9d17aa90f47e1cdfbb461ca30bed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Extends	True	Passed	Model Under Test Equivalent Model
413cd6267fa8c91d238b5ea800681021f73675e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Extends	False	Passed	Model Under Test Equivalent Model
870c8373e8f8b0da6a7d9e1ac7d7c2a4387ee6f9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
58e0dc7fff540fe698af2282c1d8f738c8157417	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
4e34917e162d35d61e32d9140b672877d814db9a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Variable	True	Passed	Model Under Test Equivalent Model
7f76ae8f3611a30728613483d228f5b8100babe8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Variable	False	Passed	Model Under Test Equivalent Model
ecea71b4a68f12f1819950705be03332f4783e97	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Constant	True	Passed	Model Under Test Equivalent Model
53526fcbfb694fdf53792275e1fbd419f8f6089b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Constant	False	Passed	Model Under Test Equivalent Model
655329fcbc9ff37bceb56a6d30bddfbba93ed5ce	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
4c44fe9549f0d3b4489935cb2be584bd47a6580b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
4fb9b612f2aafeda31e5419482731a54d29f26ef	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	ConstantRank1	True	Passed	Model Under Test Equivalent Model
6b2ae24f96bfa820671111f6bd9e284d79bdbc24	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	ConstantRank1	False	Passed	Model Under Test Equivalent Model
805a8ebe5b9dbde92b4c5101850c68134f3ee089	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Instance	True	Passed	Model Under Test Equivalent Model
6c98a5d2d967869a996aee3563a8e1f7ef3ce28e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Instance	False	Passed	Model Under Test Equivalent Model
a29e5b7937b40594cfaf0f752fdbe82526177783	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	InstanceWith	True	Passed	Model Under Test Equivalent Model
463176997b0582483a3ef30025c261426b8c797b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	InstanceWith	False	Passed	Model Under Test Equivalent Model
5bf3f37fb07fd1dd606b9c7fac024680a98cebb8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	InstanceNamed	True	Passed	Model Under Test Equivalent Model
19dc9b5528692068e406d3eea1cff5caee4dce09	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	InstanceNamed	False	Passed	Model Under Test Equivalent Model
f3b144361dd3f5f24cecb29fd75748cb7fc9dcb9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
367cafd30b23b342868a3d67100fc6dc0f1e2793	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
0ea16956d4091a5b557579a56a03dafe6de56cb6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
b16b01c602dfba8eba9ce15d0393640a76fa0ad4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
1f09b9632ffa8c3412c2e8aa1ba1fad181377d2b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
961c0fc9f9208aef5a216fec26b08e185d5dee10	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
af868fde047bc9e7b87bfa0062d8784598f1524d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
52511786f504d3e8fe55f72563a638d2ae7d8a86	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
ab100ec00ecafb0be989d0842355fc0d002a6e1b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
f79ca31fb0a7087afe4a0b7058206fcf8da0a172	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
0359fd44f49dd41ced9ed836921524580ec47bb0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Enabled	True	Passed	Model Under Test Equivalent Model
d1abd9e29cb053905701bfdf5d2a3c964552f0c9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Enabled	False	Passed	Model Under Test Equivalent Model
d42dfbd9d4e9e76e68a598c29da392ed8feeee3e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Cross2	True	Passed	Model Under Test Equivalent Model
7684ec506ed1c5defefed2c9c044a8c053a05523	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Cross2	False	Passed	Model Under Test Equivalent Model
078edf80afa33dd959375cd8c3248e896301cc15	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Cross3	True	Passed	Model Under Test Equivalent Model
d594a686d326b3b96a4e27777d9425015d36aaab	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Cross3	False	Passed	Model Under Test Equivalent Model
60115b0bf021f113c444e5b8fd419f914eedd8ec	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	FunSet	True	Passed	Model Under Test Equivalent Model
5003b5abb7436b08e28ca46d16304319eb06a91f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	FunSet	False	Passed	Model Under Test Equivalent Model
e551fb895514708f7dac0a5fc20bdb5aec91ee49	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	RecordSet	True	Passed	Model Under Test Equivalent Model
4cb67cb3b1f931f4cb92174524279625e5470287	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	RecordSet	False	Passed	Model Under Test Equivalent Model
226537f08fcb2d9d0bde6e1e7b539f1fe29d7fa4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SetDiff	True	Passed	Model Under Test Equivalent Model
ebf8c7a1b58398c1aa44b2221b6ba07f76fa9310	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SetDiff	False	Passed	Model Under Test Equivalent Model
8b871dad6dffccc7985762f87ca67bf1547e0168	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SetUnion	True	Passed	Model Under Test Equivalent Model
82c09f11cff13a149d14075dcb9c72a330e6507f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SetUnion	False	Passed	Model Under Test Equivalent Model
d95b6e5c7c10c738f1d17d17ddce467337c31241	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SetIntersect	True	Passed	Model Under Test Equivalent Model
a7862be11242266e84460cd4ae5cf045ba350e86	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SetIntersect	False	Passed	Model Under Test Equivalent Model
69de5baa41378769165e5cd01f8d7511ec3349a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SubsetEq	True	Passed	Model Under Test Equivalent Model
26a55bcd376ec852dd3ae31bead1e097f6074dd2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SubsetEq	False	Passed	Model Under Test Equivalent Model
5637f435c8f9ad9a0efc0e78b8a336394dcb72a3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	IfCond	True	Passed	Model Under Test Equivalent Model
03ffaaf1b99ece2ff668a1077b47cee1f8bd7908	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	IfCond	False	Passed	Model Under Test Equivalent Model
53062a89c3bcd1dc62d9d0400461ccd773e08407	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	IfThen	True	Passed	Model Under Test Equivalent Model
ba9cc4d61f708da9ddd3dd02fef5ad0e33622c44	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	IfThen	False	Passed	Model Under Test Equivalent Model
58bf78a4d27a8278c633213c530a78401ea47b29	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	IfElse	True	Passed	Model Under Test Equivalent Model
9476ba06a51d89bf0d058ff7e83f0bda408ed486	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	IfElse	False	Passed	Model Under Test Equivalent Model
c0277e0b701bff5183e25e7268f88f82dc29e3fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Subset	True	Passed	Model Under Test Equivalent Model
8a679d2c0ca293ca606d9884e81589efe3bd0e7f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Subset	False	Passed	Model Under Test Equivalent Model
5d88349f014615919be32554ea11bf59689e4102	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Domain	True	Passed	Model Under Test Equivalent Model
fbe16a0532df9b5f978efa4d5dce9f65c3e96087	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Domain	False	Passed	Model Under Test Equivalent Model
75c0363ab45f58b46a5bd93f136495dbca4572df	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Union	True	Passed	Model Under Test Equivalent Model
a36f188a9b9cd22b76050f5265096892d398a418	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Union	False	Passed	Model Under Test Equivalent Model
0b6889d04ce330ea2d109c8f47a64612edaff096	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Equivalence	True	Passed	Model Under Test Equivalent Model
22b207fdc140d8bb7f8a4cc948b8d6ad9f3ccc6a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Equivalence	False	Passed	Model Under Test Equivalent Model
427a9497ce83f9d62e286f8fad1e0b57debf5f6f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	StringEmpty	True	Passed	Model Under Test Equivalent Model
d193308e269cbeb44e7f1a6b275321772fb48411	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	StringEmpty	False	Passed	Model Under Test Equivalent Model
4c1d597e3ed77f2df43e3a551da0b2c9f274508c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	String	True	Passed	Model Under Test Equivalent Model
4fc260aba125bf0ca951079d6553f54de8a6947d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	String	False	Passed	Model Under Test Equivalent Model
936ba9c45e161b78eedb2ca3c10a7171041e9af3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SeqLen	True	Passed	Model Under Test Equivalent Model
04410e5dd97d071ca4be563f3d8d8d9d2e1c2ad4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SeqLen	False	Passed	Model Under Test Equivalent Model
5a32f83f057b75e506555701c62677b81c169dc6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SeqConcat	True	Passed	Model Under Test Equivalent Model
8dbeff869d05cac2f6ab0506b96de583213315bb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SeqConcat	False	Passed	Model Under Test Equivalent Model
f1ab1f0f3d8d3be74a104f7fe5c8aae4f7665a5f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
4ad57faceabe38a6d915d20026b816706662467c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
0766a86ba5f35992cc783ba1eb5f8c36f6ba420e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
07b8f0a95fb9ddbb924ebd53c33d7140a058b427	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
261e1014b7d590df5fa4373414c4f5640c2d18f8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumRange	True	Passed	Model Under Test Equivalent Model
eadd8dc3d52e4e2a9be91dfffb123f337b4ccdfe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	NumRange	False	Passed	Model Under Test Equivalent Model
4a285d01fbfedd0da9c29c04823fd0312b02c9d3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
b4465e02cbe09acbbff08e75ee57c3211f2fb758	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
78c1bd52f8bb92a935bd866ba4dfb6437be7ea18	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
26aa1325affd47803f31ec205d63586e1e714959	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
2193eeda547f0a017b9863bd767974baff2736c1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
2ff262a6360fadaade921e317fed04a129632b39	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
0b754e0e9ef0c1ea456ef6507c155ee0b255625e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
01db09a2cd79ac96f28adb7fec62515ca67db766	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
280ce0421adad837d0e11515e63f7ad8c373557f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	TlcEval	True	Passed	Model Under Test Equivalent Model
c2068a041059ec984ecedd870e04b10fba8d326c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	TlcEval	False	Passed	Model Under Test Equivalent Model
4971614703d133532d7416ff56b511bff1ace019	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagBagToSet	True	Passed	Model Under Test Equivalent Model
9b2c640ce0d099b7a84e6cad54161f5375563447	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagBagToSet	False	Passed	Model Under Test Equivalent Model
24669666688db0c6a376b4114550570961cbb236	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagSetToBag	True	Passed	Model Under Test Equivalent Model
dcf15d426db1c567c178239ff30c7513e68d5ac9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagSetToBag	False	Passed	Model Under Test Equivalent Model
0b47d41bdfb3db74898efb6e28fcf417ed63635b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagBagIn	True	Passed	Model Under Test Equivalent Model
d9b28c53b334375f525fe83114e8d5abe0f476e0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagBagIn	False	Passed	Model Under Test Equivalent Model
ff7c68ec11b60d98dd3200cb5fc269cc74be15bf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
3bdf881f05c907bfe9a7aa8acc3e7b7386a861e7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
a2d55dcf7679d18f3f60de789d14af15e1db73d7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagAddBag	True	Passed	Model Under Test Equivalent Model
60a8bb77b30d34340f38a318b6e2ee20558f5316	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagAddBag	False	Passed	Model Under Test Equivalent Model
0c6e73050f30fb2d1245d65e439dbcad0fb2a475	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagBagSub	True	Passed	Model Under Test Equivalent Model
c8e65b5fb12dce2b657b956410fb07e979b1f233	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagBagSub	False	Passed	Model Under Test Equivalent Model
229013dfe41bce3991a7a355cf6d1ad603e563d7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
2fd17087dab4059c4f260cd7366626fea6169aaa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
53c54040b380aa135832ee853b15900f64d89c63	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
658072fed2b1f205fa84313862c4dc95b11bfa55	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
b37f6c8ed4ed33ce169bbd7cf6c97a019b9ed817	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagBagUnion	True	Passed	Model Under Test Equivalent Model
a3ead6ccc66648b04ef04dde3122e724a4921893	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagBagUnion	False	Passed	Model Under Test Equivalent Model
22008231efe493a4038d62052225a5c35c10bc0b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
1cb0c7a04dfb941563ef165d560510aa52074346	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
91c87905449c5e0be405503d21c0321b48444d27	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
a57624ef49b285394036c9f43d1cc370400c5269	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
a7f17a065aeae3434a3ce1392c2f9d777f976335	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagSubBag	True	Passed	Model Under Test Equivalent Model
27960714577957549e9d8ce03442b6e31ed34ed1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	BagSubBag	False	Passed	Model Under Test Equivalent Model
18a7ec8c4531262dbc2ab427522b1f3dce2833f0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
0688bad8455d6307136b4247b6ba96ae9fe7d201	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
8536f6167923ef7378239e0541b99c03395b2d4e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
9089b19bedf0cf76bfb16ee25c3958d27e26daa5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
8ec400bee8bf8278c14ec343b7a72ea56883ec7a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SeqHead	True	Passed	Model Under Test Equivalent Model
fb3cd39663ce15665ed945028c3d7f225ff5f868	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SeqHead	False	Passed	Model Under Test Equivalent Model
37a4c6424de5950dff774eade7b476940cec040c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SeqTail	True	Passed	Model Under Test Equivalent Model
3a5a4d797d4b4e7f161ec138274bcd5344b18726	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SeqTail	False	Passed	Model Under Test Equivalent Model
a1032aed7a1b92e74b1680699d2650e9017565ca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SeqAppend	True	Passed	Model Under Test Equivalent Model
954d0962dfccc3ef34e38bf652cb261968a2e7d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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