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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
6d9dddabd587e046dd3046e7ecaff6915113cffd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	OneLineComment	True	Passed	Model Under Test Equivalent Model
418766551707a234fc123c21cedb3d53ea83f19c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	OneLineComment	False	Passed	Model Under Test Equivalent Model
3beede663e6b89ca6edaa95c812792ceb8e16a72	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	MultiLineComment	True	Passed	Model Under Test Equivalent Model
62be4e3140bbcdd43bb744e36488b05cbc8ac66c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	MultiLineComment	False	Passed	Model Under Test Equivalent Model
2f6a880f2016a0090bcf845aa7df4f816f20c835	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	BoolTrue	True	Passed	Model Under Test Equivalent Model
bb144b519e6559f3990a4d369275d0d6e4b07b6c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	BoolTrue	False	Passed	Model Under Test Equivalent Model
5e0eee71cc921f7fd29ea70df75acc97a5866b59	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	BoolFalse	True	Passed	Model Under Test Equivalent Model
0e8fdfa04063284ebe02fcb594d38a79020df487	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	BoolFalse	False	Passed	Model Under Test Equivalent Model
8e599bb67c71c95417defc8ffe54fe6ef92df07b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	And	True	Passed	Model Under Test Equivalent Model
d0c58db70b3ac4998f6d66d133b9193f3783bda8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	And	False	Passed	Model Under Test Equivalent Model
361af3764cc3fdb228e64a62fceecfeda72f7bb5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	AndMultiLine	True	Passed	Model Under Test Equivalent Model
a8cc1f2dd47088273dae9545b9d2ffdb0e2722e9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	AndMultiLine	False	Passed	Model Under Test Equivalent Model
ab5d68bd238a94b4113f3047e9cd86ec616b3edd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Imply	True	Passed	Model Under Test Equivalent Model
dd05ff446dff33e484103a0af055abc8015349df	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Imply	False	Passed	Model Under Test Equivalent Model
c000d8b00c580bfa957194f66268d6c1516eb129	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Not	True	Passed	Model Under Test Equivalent Model
8103bf1ef78fa3e7edff7d2fd47a577f0621de7f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Not	False	Passed	Model Under Test Equivalent Model
19b62b001f2b404a25e4d22b68a1272c5bda6744	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Or	True	Passed	Model Under Test Equivalent Model
ae3450c5e307316410d86dc26114675a03363ec2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Or	False	Passed	Model Under Test Equivalent Model
d47ec2c295f201f7e0c6e3a89030f759b895dfe0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	OrMultiLine	True	Passed	Model Under Test Equivalent Model
f71d4117c99616b0e716abb292ea5b9324a0e637	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	OrMultiLine	False	Passed	Model Under Test Equivalent Model
1f4961c2917388c9a6eef51e1af748d611edb6ee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Eq	True	Passed	Model Under Test Equivalent Model
4a7b473ba6f6231a2628a776508e34a3958bb08f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Eq	False	Passed	Model Under Test Equivalent Model
e35d4a539cdfeed11c6493bff28cc30393888809	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Ne	True	Passed	Model Under Test Equivalent Model
370a1335fed97b00ed0d9e4646502e3ddd9d1114	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Ne	False	Passed	Model Under Test Equivalent Model
db866943b26d8641892cdfb0f88674d873fd7fbb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Let	True	Passed	Model Under Test Equivalent Model
61f787b4bf84077d71760a337627fedc62e953da	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Let	False	Passed	Model Under Test Equivalent Model
00836f947270b213ea7cfd4f7a6c28a4173586a3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	In	True	Passed	Model Under Test Equivalent Model
268a3562e4f77b52a2912d692dec3d9293a4892e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	In	False	Passed	Model Under Test Equivalent Model
e9a6535e8ee0db16a28b4e00f1bc22d28ea34c7f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	NotIn	True	Passed	Model Under Test Equivalent Model
f02c23df086e6ee8d1eacdfb19a3b49df08060cb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	NotIn	False	Passed	Model Under Test Equivalent Model
8dd8daf0fe97b75b26840408d6c636f5ecc1d472	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Exists	True	Passed	Model Under Test Equivalent Model
0d61ba566bdaf226824b9f8306e698b5519ef2e6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Exists	False	Passed	Model Under Test Equivalent Model
0b01165c3bfad383577b3c3b8d61b3b4fd29501d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Forall	True	Passed	Model Under Test Equivalent Model
9225453a3f94b14b59c85159559dece8658d42e2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Forall	False	Passed	Model Under Test Equivalent Model
d14b1458f689f2375708d7669ba9ffea484c1fb2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Choose	True	Passed	Model Under Test Equivalent Model
e48bc66f6a9a2e72ea482746576ac032517d1ae2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Choose	False	Passed	Model Under Test Equivalent Model
31f34b022a79a36cb329be54186cde8e0b6fb504	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	FunApp	True	Passed	Model Under Test Equivalent Model
fc7a8fe62f62ed93e2c67121340dadad1d002a74	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	FunApp	False	Passed	Model Under Test Equivalent Model
b9b3c0aecc149f782339de5ed9dcfbcfc0677c84	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Prime	True	Passed	Model Under Test Equivalent Model
462adb7b106d35140f7f5cb27e7fc72e40959a0d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Prime	False	Passed	Model Under Test Equivalent Model
758beaf915ad3988e82269a83ba66c50efed19e2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	NumGt	True	Passed	Model Under Test Equivalent Model
fc7f05a8c7bfc133e3d8ffd54cea5688aa1afe3e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	NumGt	False	Passed	Model Under Test Equivalent Model
ddf9bdce7f9d5a8d0d2ec2dbf6858f40258bf2a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	NumGe	True	Passed	Model Under Test Equivalent Model
4efbe527a4c7552c5e9687cc3b44ddfb2c043953	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	NumGe	False	Passed	Model Under Test Equivalent Model
eeef3ea0af88e95a8d3ffae617e560745a079e30	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	NumLt	True	Passed	Model Under Test Equivalent Model
06388dbfbd36b34bd6505e7fbeca23825896dce4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	NumLt	False	Passed	Model Under Test Equivalent Model
e0608ac638e92ebfe26642d5d1d218ce4ea89d68	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	NumLe	True	Passed	Model Under Test Equivalent Model
37cd7e0f8977bcf8630d7110fa74d080fe8391ef	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	NumLe	False	Passed	Model Under Test Equivalent Model
e4b4b620abcce957f001e435699e087fee2b0855	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Def0	True	Passed	Model Under Test Equivalent Model
12110a836ee988fffc0c0bad0422109bdba08695	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Def0	False	Passed	Model Under Test Equivalent Model
dc967e0993853f2d6899b36e222fff646ddb6cf2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	LetDef0	True	Passed	Model Under Test Equivalent Model
2a705f1aa66aabb6ccb2bcf7701d107d651f3d4c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	LetDef0	False	Passed	Model Under Test Equivalent Model
d3e6e1c68d8c0cad56a3b08b215e62df2d4ea18e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Def1	True	Passed	Model Under Test Equivalent Model
8c7ad5d44ebf709fe272633ae906d7f656877801	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Def1	False	Passed	Model Under Test Equivalent Model
44497c6a0160ef9e726685718fa70044514d11e5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	LetDef1	True	Passed	Model Under Test Equivalent Model
de237c68068a35e84a82e4f640d3a44e6495425a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	LetDef1	False	Passed	Model Under Test Equivalent Model
4ab14511eb80e9c64c16e2bafdf2cfcf4c7cb34d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Def2	True	Passed	Model Under Test Equivalent Model
05b929b03d32e5e4d6844b7e9082455880174d07	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Def2	False	Passed	Model Under Test Equivalent Model
ba6988f05f2559023d8725fa33d7aca68e911bd7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	LetDef2	True	Passed	Model Under Test Equivalent Model
4d683929f74dd872c441be77ee8983190d2f4df9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	LetDef2	False	Passed	Model Under Test Equivalent Model
86cf5bbeb21747cf96d8f267c570e540df862d2a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Def1Recursive	True	Passed	Model Under Test Equivalent Model
653a61bf86a27b7f52d0864d1089b16d8121741f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Def1Recursive	False	Passed	Model Under Test Equivalent Model
feff6397ff18c8a0c32541e33c8c32a7db877a38	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
2e126113228d6d1ca46349139f1589c87870c94c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
9a6f418debf5215d451e2be760ef0d76db9dd109	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Extends	True	Passed	Model Under Test Equivalent Model
062781e6bdc601ed295adf562297367a8ddddf7d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Extends	False	Passed	Model Under Test Equivalent Model
2a64c2ff13b502c410d0002b222463aa3839467b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
fd722c41d2060e14e8206ac1a54dba13fa3ccacb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
1220e6700d4b24b939ce6e57b99d98ee4c75705f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Variable	True	Passed	Model Under Test Equivalent Model
082c2cc226257e773eebec963fd1a2d2f4d7030a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Variable	False	Passed	Model Under Test Equivalent Model
5ab9d1c3f73d2b95a97a380ae29d19f710f7e51d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Constant	True	Passed	Model Under Test Equivalent Model
c9c34898d95a1df5dcc132a31f95849023a69aea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Constant	False	Passed	Model Under Test Equivalent Model
27ce1fbeee894edb2617835a3026022babb1515b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	ConstantRank1	True	Passed	Model Under Test Equivalent Model
5dcb66129b5deecb582d775de5b8ae5c9526d006	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	ConstantRank1	False	Passed	Model Under Test Equivalent Model
c34c55c98b27499b4c1aaf9e28139a8c29245946	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Instance	True	Passed	Model Under Test Equivalent Model
baef04e07747ab4aa9379da788be2b0fdf40d746	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Instance	False	Passed	Model Under Test Equivalent Model
5a091a1fd10223c3cd1ad71f55196b40d823cfd5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	InstanceWith	True	Passed	Model Under Test Equivalent Model
4e6d4c42c6408ce661b5ec9345020b4d98b6cfdb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	InstanceWith	False	Passed	Model Under Test Equivalent Model
3845b3d32fcc77e2b395fe2fafbf81e7b9ea4dd6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	InstanceNamed	True	Passed	Model Under Test Equivalent Model
0f1a567a64072bd7ff904fc1db052d0a8952ea2b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	InstanceNamed	False	Passed	Model Under Test Equivalent Model
727e9d96bdaba21a1df207741cb2cf449e44898c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
73b0627d2cba5ad9b01052f63fe051b5bf73abc8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
ab8438400c05b9c893731e3fe6606c2570113041	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
7587cdcbdc3ad55c86f04d5bc93300e4ad9a4f2b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
862a856d8181871611f7b545f792c6ff18fbdce5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
939feb24d0eb349cc54c0ad27d49571c86a6191a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
e119e61ac433b89589a005f4eadf215cac838ea4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
26a54aae09642f6ccff7c91803587d1416023b3f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
ca89f9401ee49a23a27096c7c1f326acbef8455d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
abe88f1f12361cba36720c7137b4c7d39cb6138a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
fec2b1df25a28b973ca9c1ad6378e7ef8396a768	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Enabled	True	Passed	Model Under Test Equivalent Model
be144d399dc958f80ae963a6b273b1c1375f8c9d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Enabled	False	Passed	Model Under Test Equivalent Model
2f19392d5824f7a58dd8cf099c5bc59f961cd36e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	SubsetEq	True	Passed	Model Under Test Equivalent Model
63388bb1c9c9f7a4aad011389725937e6db1c41b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	SubsetEq	False	Passed	Model Under Test Equivalent Model
7a1f1c635ceb3f2bc8a81e6ce5c07bfb0db6e88c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	IfCond	True	Passed	Model Under Test Equivalent Model
73e24ad8b9e11901046f749be8e6e65739bb0a2b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	IfCond	False	Passed	Model Under Test Equivalent Model
46811620123c5a4e4ad7b35f888170343bd14984	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	IfThen	True	Passed	Model Under Test Equivalent Model
0d88d999abb8bebc5e401dfd0165303b9116d8fd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	IfThen	False	Passed	Model Under Test Equivalent Model
fb695510a1a8b8a19a3f665ed10ce55971bbcc13	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	IfElse	True	Passed	Model Under Test Equivalent Model
1159ea82dd9a53cf20f8cd409acae0333c1c4ae6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	IfElse	False	Passed	Model Under Test Equivalent Model
86781096791fd7666f8d8a5d24a66eb058ed7577	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Unchanged	True	Passed	Model Under Test Equivalent Model
30f4d00c1a2bcfda9b66d679a59c82cf48a62db5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Unchanged	False	Passed	Model Under Test Equivalent Model
41d7fdbd07e4e38bb3a458fb9129981c0cc26b88	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Equivalence	True	Passed	Model Under Test Equivalent Model
b8dbec78bea324e5e4fdc67a0a9c6e50f091e301	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Equivalence	False	Passed	Model Under Test Equivalent Model
ee316c1539c867bb01046bde1641815876a46fd4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	TlcEval	True	Passed	Model Under Test Equivalent Model
f1192704c268f0640fb52ad0753514a19dbe1022	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	TlcEval	False	Passed	Model Under Test Equivalent Model
fb5fd4d4e341b9ab4edc71e2be3d4a2210cba4ed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	BagBagIn	True	Passed	Model Under Test Equivalent Model
0b0de364de975a691421fce9fbecbd3ddc9ae502	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	BagBagIn	False	Passed	Model Under Test Equivalent Model
b5506ce84ae4764252806521e5cf73cc41c8eda4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
6c37f167a0e167a5a2fd1511e64b203e186eba7d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
d8d4b5d0eb28873c2bb32b5780fd655a8c54c493	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
a20f5a7eb70a4cc91ac178ed7c2da9e8b1d5c3af	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
7fb3aa6fddc314380b932dccea7de3824b36c848	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	SeqHead	True	Passed	Model Under Test Equivalent Model
ef212e157751fd62f4f3d1644f78ecc956b9a959	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

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