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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
b069109a494cd0f1761b22f7ce26dff579e6d7d2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	NatSet	True	Passed	Model Under Test Equivalent Model
895503dd3b380f55f8b9cdb224d42335229ae31b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	NatSet	False	Passed	Model Under Test Equivalent Model
aee098ff408d0cdd36329fdb8deff59f2b2503ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	NatSet	True	Passed	Model Under Test Equivalent Model
bd35ad15993c561935325df4014fc232b5122446	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	NatSet	False	Passed	Model Under Test Equivalent Model
d42e73af726de403d1974480dd3a1798fc5b001a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	NatSet	True	Passed	Model Under Test Equivalent Model
bc4b261d5584518f2aca801d4063dd775774abd5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	NatSet	False	Passed	Model Under Test Equivalent Model
396e5905036d14f29d0d303e3049d441636cd836	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	NatSet	True	Passed	Model Under Test Equivalent Model
781d078ffcb3b3d5b7ac9cccb6c491b5084e0cd8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	NatSet	False	Passed	Model Under Test Equivalent Model
ee9129b63c1b6a649c36e543685b8c860c4dc272	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	NatSet	True	Passed	Model Under Test Equivalent Model
997274013b2473d5b355cde3d1841641e6b78854	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	NatSet	False	Passed	Model Under Test Equivalent Model
f941f62e17adef159bc0c50e099133253db21729	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	NatSet	True	Passed	Model Under Test Equivalent Model
596980f6b914bae9a2bfda38426ac27fbd0a4a60	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	NatSet	False	Passed	Model Under Test Equivalent Model

Index

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