Tests by plug feature InDef1; CLI Option: -workers auto

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
ede42352daf04d039e326740181898f491b4e89c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2InDef	InDef1	True	Passed	Model Under Test Equivalent Model
8f2562834218ef007a1099ea49441e4a8dec77bc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2InDef	InDef1	False	Passed	Model Under Test Equivalent Model
bb9942fc60aa524c13e8eaae8a97e31f9cb00946	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunInDef	InDef1	True	Passed	Model Under Test Equivalent Model
85ba1dee62f54158d34c24b3aa9536c2a231a060	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunInDef	InDef1	False	Passed	Model Under Test Equivalent Model
67b72bc7cf2e0827e68e7e2cac014fc3647fcaf9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExistsInDef	InDef1	True	Passed	Model Under Test Equivalent Model
bc5c44b8f9e089ee1b4c170c346d9747b5fa7f4a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExistsInDef	InDef1	False	Passed	Model Under Test Equivalent Model
40ea16faf56bd02894f00779ceafbf24714da2dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ForallInDef	InDef1	True	Passed	Model Under Test Equivalent Model
e315c98f5cb5350e8febdd242a8c289a0de1926a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ForallInDef	InDef1	False	Passed	Model Under Test Equivalent Model
7c7df61cc413c18b08fcdf0347e3e4a51cc957e7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunInDef	InDef1	True	Passed	Model Under Test Equivalent Model
ec49f96b7316d575ea7b2362003070650dc6156a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunInDef	InDef1	False	Passed	Model Under Test Equivalent Model
8ea9ce8c66401b99b99c144bea8a705245020093	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunInDef	InDef1	True	Passed	Model Under Test Equivalent Model
1edd63363aeb76a8be57b24294cea483350e2973	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunInDef	InDef1	False	Passed	Model Under Test Equivalent Model

Index

Tests by plug feature InDef1; CLI Option: -workers auto