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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
34efcfb5fc4a825fb869cfbbf4b25b86ed394bf7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2InDef	InDef0	True	Passed	Model Under Test Equivalent Model
15accbd5148489cf6753fa48c5c7cbc492ef736a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2InDef	InDef0	False	Passed	Model Under Test Equivalent Model
2f86b6d740542b3ce3655a84215d828034b182e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunInDef	InDef0	True	Passed	Model Under Test Equivalent Model
b96bfa12d4a54cf9dd340ca505c00655957d14c0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunInDef	InDef0	False	Passed	Model Under Test Equivalent Model
23a1daf3c46c3cb64fc3ce0f450c131ea2d9a757	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExistsInDef	InDef0	True	Passed	Model Under Test Equivalent Model
3087b12d1a453ba6d147de3db7b23cd13d98675c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExistsInDef	InDef0	False	Passed	Model Under Test Equivalent Model
22db2057283b34c15bd3653b3d6beb2dab7284f5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ForallInDef	InDef0	True	Passed	Model Under Test Equivalent Model
94e9c266ac7f50e6d8c547b60e4c841bca2ba22a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ForallInDef	InDef0	False	Passed	Model Under Test Equivalent Model
05914f5b68fb1de25483914a217b131dc1cf717b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunInDef	InDef0	True	Passed	Model Under Test Equivalent Model
c24297f123153dfd926785a6a38c9ce00d3cd42e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunInDef	InDef0	False	Passed	Model Under Test Equivalent Model
cc4307c13e57690149d703eae4b640e7684a9db6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunInDef	InDef0	True	Passed	Model Under Test Equivalent Model
091ec64a0cfee0203034e4963af82c7d22d4be90	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunInDef	InDef0	False	Passed	Model Under Test Equivalent Model

Index

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