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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
528570ec00c2bdf83b375c6bd8947810ae352796	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2InDef	InDef1	True	Passed	Model Under Test Equivalent Model
38dac648c4de296b2f56d69914f5efb5ed25f99a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2InDef	InDef1	False	Passed	Model Under Test Equivalent Model
3332c3170beedd583db2a0a2377975263606f5c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunInDef	InDef1	True	Passed	Model Under Test Equivalent Model
9e2c322a93b9bf696cea005be9d21d5f48c1f8ee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunInDef	InDef1	False	Passed	Model Under Test Equivalent Model
a2d147e7a5154f0b35b3514a53d8a097a6072f50	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExistsInDef	InDef1	True	Passed	Model Under Test Equivalent Model
1484cdd254a55901f5ebb406c541fe858b31cddb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExistsInDef	InDef1	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
408e3b298f1d88a14d5f5b81c355725597c52a84	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunInDef	InDef1	True	Passed	Model Under Test Equivalent Model
175058a76699ccc0ef791eafbeb00c5d92bdbc7e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunInDef	InDef1	False	Passed	Model Under Test Equivalent Model
65e666b579fb601abf06db2683ac225a76cf6126	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunInDef	InDef1	True	Passed	Model Under Test Equivalent Model
4eaa63f2992775bf16c05f30277eba3232b95988	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunInDef	InDef1	False	Passed	Model Under Test Equivalent Model

Index

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