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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
4d3ae1efcf759c1916c255cded254f0949a3445a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ForallInDef	InDef0	True	Passed	Model Under Test Equivalent Model
698c9831f920cd97be938511ca967e0b3b6a89f8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ForallInDef	InDef0	False	Passed	Model Under Test Equivalent Model
2a70f539f0792b33e198522255ae675c5573f6c6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ForallInDef	InDef1	True	Passed	Model Under Test Equivalent Model
d5f0b09e3bc7705b45715e030925824f0acbb297	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ForallInDef	InDef1	False	Passed	Model Under Test Equivalent Model
caf6cb2891736a7df78068de1b960e1e48e1a54e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ForallInDef	InDef2	True	Passed	Model Under Test Equivalent Model
1e43d717c972ec7cd36edbcf5f9d142d4971bd8a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ForallInDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index