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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
90a854e0b88e2be3220a9b465e40fc8f963b48c4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	Exists	True	Passed	Model Under Test Equivalent Model
cc1026c9dcf612310514dbce8f0d90e53b22622a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	Exists	False	Passed	Model Under Test Equivalent Model
0756cca95654b2ada531ea59357328a8a816b1de	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	Exists	True	Passed	Model Under Test Equivalent Model
ad3b408ea2265dda557838d3340087c68bbf4e88	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	Exists	False	Passed	Model Under Test Equivalent Model
6fad7931a10c515102f74fc5cc993534a4c2f7f2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	Exists	True	Passed	Model Under Test Equivalent Model
681781cc1e5aa431d33f7f5c37e98873d69bcde0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	Exists	False	Passed	Model Under Test Equivalent Model
e142e0e997f86f9519bb9c88aa874a6381968773	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	Exists	True	Passed	Model Under Test Equivalent Model
77161fabcf913b0cd48043d480666907f38ece8c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	Exists	False	Passed	Model Under Test Equivalent Model
f0f7dcf00784581a97cde18452b8d237483c789d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	Exists	True	Passed	Model Under Test Equivalent Model
b7797db624074478877a2648a09f0636bdd216d8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	Exists	False	Passed	Model Under Test Equivalent Model
795d8d5d6d612e8791a887ba332a72c8250adbd9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	Exists	True	Passed	Model Under Test Equivalent Model
7f8d6a331dfb90313b3b0cd874aa2a21064420e8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	Exists	False	Passed	Model Under Test Equivalent Model
2af1e17d3c42c84c5bf14c0cb69caa1e8edcf7e5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	Exists	True	Passed	Model Under Test Equivalent Model
d764b6ba26d65b89c266f8fd455f5a69f0418790	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	Exists	False	Passed	Model Under Test Equivalent Model
8dd8daf0fe97b75b26840408d6c636f5ecc1d472	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Exists	True	Passed	Model Under Test Equivalent Model
0d61ba566bdaf226824b9f8306e698b5519ef2e6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Exists	False	Passed	Model Under Test Equivalent Model
0ed0ae0d156bf811f6fcf6c55215f71868265411	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Exists	True	Passed	Model Under Test Equivalent Model
f1cfd2eca693a475e162b0d4379ba94a5ecdcdbd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Exists	False	Passed	Model Under Test Equivalent Model
7bf588c4b5c67db00f3b01922acfbcc59cadfb2f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Exists	True	Passed	Model Under Test Equivalent Model
5836ec70a1d9f849a1768d2dff8b35f722d0b193	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Exists	False	Passed	Model Under Test Equivalent Model
8bf5b80eecd18a67168242e423dfdba91c28f4b1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Exists	True	Passed	Model Under Test Equivalent Model
c3b2305b30a1ee94fdc957a3b615600c92d469c1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Exists	False	Passed	Model Under Test Equivalent Model
2485ec30ff815a2bdb0310dc4317eb1a74bc7c73	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Exists	True	Passed	Model Under Test Equivalent Model
f062955f98fa065871643fcbcc9da192cd78a071	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Exists	False	Passed	Model Under Test Equivalent Model
0848bfc77132dca2b64041914219958eb84ad9c8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Exists	True	Passed	Model Under Test Equivalent Model
6ee4070c178ef4d448d36a755ac91966898a0533	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Exists	False	Passed	Model Under Test Equivalent Model
24b4d5fd92244ae86d583b1954904128b65edce2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Exists	True	Passed	Model Under Test Equivalent Model
49a649c70c8b3a056705cdeaee577ed454c2308d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Exists	False	Passed	Model Under Test Equivalent Model
c919fab159bdffa62abfb128303daec282e74079	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Exists	True	Passed	Model Under Test Equivalent Model
c9999b53cd0b17717c38b49d279f4a98bb81e5df	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Exists	False	Passed	Model Under Test Equivalent Model
df40364c880fe8001fd7e61faf09f8ff5d89ac05	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Exists	True	Passed	Model Under Test Equivalent Model
f74ca18aabd3c0aa5164ae86f0530b8f2cfc4ff6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Exists	False	Passed	Model Under Test Equivalent Model
eb8401e2112d36e0a0f49d592501183f9f9d4111	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Exists	True	Passed	Model Under Test Equivalent Model
fb34d9ad14a2c95dbcfdf4ce3f290c631b66cb04	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Exists	False	Passed	Model Under Test Equivalent Model
a9f7f5b9c44a91e334b4fd392043086b5896dc93	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Exists	True	Passed	Model Under Test Equivalent Model
b1ed6e09cda940c0037b0938f96b0dc6931bf976	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Exists	False	Passed	Model Under Test Equivalent Model
c46b958b0156f07c278cf3ef9779d2f665c9588f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Exists	True	Passed	Model Under Test Equivalent Model
fda8850bbf765ed184b5ee6e578ae11f61457e0f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Exists	False	Passed	Model Under Test Equivalent Model
51c75cd25a7cc217bcacf729ad51e053f729a876	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	Exists	True	Passed	Model Under Test Equivalent Model
553b3bfc98d81e2b64fd19a2f128da5fb4f71287	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	Exists	False	Passed	Model Under Test Equivalent Model
b55404afff970d9389655f491c7d05854db52f2c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Exists	True	Passed	Model Under Test Equivalent Model
be4b1c74e3c3636d48d6adb85391b52342ab2362	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Exists	False	Passed	Model Under Test Equivalent Model
d3831158e11efc7da5909f5cabf9fc323428d836	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Exists	True	Passed	Model Under Test Equivalent Model
369673bc7e15185c5997dd2418b9c9ddffcd87a3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Exists	False	Passed	Model Under Test Equivalent Model
97c576db07dc5cee777eb106fc249b079e2863de	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Exists	True	Passed	Model Under Test Equivalent Model
5b32a2204bf6d28948cb8b8efe30db30cce81f62	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Exists	False	Passed	Model Under Test Equivalent Model
3c41ef04a024f88d705fa074d6f21f7df7da871d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Exists	True	Passed	Model Under Test Equivalent Model
6dd1882c756f8e1457551bfffab81678a7dd2800	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Exists	False	Passed	Model Under Test Equivalent Model
3c898d254a593112bcc41304d9c6d3d9f50d10f2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Exists	True	Passed	Model Under Test Equivalent Model
541e28969d3d911714b52fe19bed4a2bf8a0edf6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Exists	False	Passed	Model Under Test Equivalent Model
e9b653cfcbab16dfae5171b7e8de40be9ef0ffb6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Exists	True	Passed	Model Under Test Equivalent Model
82c7a88fd31162378401f30dc77b3700cb1d7b04	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Exists	False	Passed	Model Under Test Equivalent Model
51cf4050ad2cadde39e9d493e4727c32bc6ce76f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Exists	True	Passed	Model Under Test Equivalent Model
616c9839c56d8cec40e7cd019fd0943cc4a4d5a8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Exists	False	Passed	Model Under Test Equivalent Model
af0818ab6c2f727c129eee27ce41813c5a65802c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Exists	True	Passed	Model Under Test Equivalent Model
847d0ea16c69a72108ef0ced0bb2c42f9660ef34	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Exists	False	Passed	Model Under Test Equivalent Model
5577c685b2c05954a7ecde52932bcc3fc8162349	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Exists	True	Passed	Model Under Test Equivalent Model
59301ce2381220dc3d900a7a635d4f56c372483b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Exists	False	Passed	Model Under Test Equivalent Model
2568285c0317a19be6b8fe548498569c1742bab8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Exists	True	Passed	Model Under Test Equivalent Model
5c96a0aa46b09e27208ec7c7d4e9ce91f8687181	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Exists	False	Passed	Model Under Test Equivalent Model
d5da0e8c95d531a718084f15b86f94a5b5863d1d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Exists	True	Passed	Model Under Test Equivalent Model
1a75e1256161227f30357986be71b4dee041f9be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Exists	False	Passed	Model Under Test Equivalent Model
59b1b23a0197600923e2da78a473a80b294d4f44	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Exists	True	Passed	Model Under Test Equivalent Model
17827666ac8795a61df827d10fef1bebbedd0c41	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Exists	False	Passed	Model Under Test Equivalent Model
0cdc65bc113d3c3bac337e6c83d835f0cc06004c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Exists	True	Passed	Model Under Test Equivalent Model
58513fd7958281286161e5d9fb2ed78b07cacf03	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Exists	False	Passed	Model Under Test Equivalent Model
dcdaf50b3602f23bedf31efe27c12af4e17a52ef	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Exists	True	Passed	Model Under Test Equivalent Model
a6d1030b5094838157da31210bd4ae81b9303fa7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Exists	False	Passed	Model Under Test Equivalent Model
4a8ac428a2cf8c9207b090557e25101e14893d29	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Exists	True	Passed	Model Under Test Equivalent Model
ffbecbbd6eaea3e18d5ae40e140039bf83a9246d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Exists	False	Passed	Model Under Test Equivalent Model
9afcb451493d569ed804dff57768bdac89ec34db	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Exists	True	Passed	Model Under Test Equivalent Model
59e5e5d283f495c0302f8fcbb4f965f8dc7dc111	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Exists	False	Passed	Model Under Test Equivalent Model
fffe4e52bee75f51e5f619c7d168d2337bd61d97	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Exists	True	Passed	Model Under Test Equivalent Model
7c7b154bd48b113bfb0759bd0a7dbe1a84a21f0c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Exists	False	Passed	Model Under Test Equivalent Model
c93def7054c1180ffdf436f94ae9e23783b6cb68	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Exists	True	Passed	Model Under Test Equivalent Model
1223ae977b5ec3c2f3ad6281abc9785370c15a8f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Exists	False	Passed	Model Under Test Equivalent Model
a690a80ff6651b4b222782b901c6f31bc08d7ac6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Exists	True	Passed	Model Under Test Equivalent Model
f53d5d897aa057d663b3cf76f596a7fc4cd5d2cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Exists	False	Passed	Model Under Test Equivalent Model
f0efa2ce6f9235fda93a7d72f1b02ec33c49f467	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Exists	True	Passed	Model Under Test Equivalent Model
1421ff4c8caba1002298d65b035555966dd36e43	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Exists	False	Passed	Model Under Test Equivalent Model
02244c659751b72ed2603e99f586aa72f2cf088b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Exists	True	Passed	Model Under Test Equivalent Model
f54c4e076446b5cf79583ce6edc3e39d6d05563c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Exists	False	Passed	Model Under Test Equivalent Model
77f16d99340642023a61a246781ad45a2923ce2e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Exists	True	Passed	Model Under Test Equivalent Model
d367ebd457a8bd45a6dccd1c3cb65c3318b626e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Exists	False	Passed	Model Under Test Equivalent Model
46a22be8e8cdc92b238652a937bd4a003123c813	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Exists	True	Passed	Model Under Test Equivalent Model
7d40c0e1e32d242afcd907f12ea8487a56d77e9c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Exists	False	Passed	Model Under Test Equivalent Model
3feb9f5de9bb9dec884fc97988f997e0016f449d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Exists	True	Passed	Model Under Test Equivalent Model
45dc78eb39c2a29c24bab13e48df06fe04e32606	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Exists	False	Passed	Model Under Test Equivalent Model
56dac619ca7e28a506ae6da072006f9aeec444a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Exists	True	Passed	Model Under Test Equivalent Model
bb66f6d2feb23a8f7a4fbfca9d6f28aafc24825e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Exists	False	Passed	Model Under Test Equivalent Model
bd1ec2de01fe754e0eb0f17914a03aab53f2bfa2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Exists	True	Passed	Model Under Test Equivalent Model
15f9930ba48b126ec7fb19f7c47e5be520d2aa17	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Exists	False	Passed	Model Under Test Equivalent Model
331540b5e29ddea53d69ddcead1b5b2e557b8ae1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	Exists	True	Passed	Model Under Test Equivalent Model
5cdbbee461553588d8d71efa30849cc6f5e1a934	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	Exists	False	Passed	Model Under Test Equivalent Model
711f4fc4b9f0dcb7e7cc6e336670341bf1c79c4d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Exists	True	Passed	Model Under Test Equivalent Model
c141061b37d939b4f7bc36ca93142863ed0885fd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Exists	False	Passed	Model Under Test Equivalent Model
bf8f61ab594a5dd289ada93dd2e18e349d5955ba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Exists	True	Passed	Model Under Test Equivalent Model
a584a181e053abafb55d4c3c1298907ef04e575e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Exists	False	Passed	Model Under Test Equivalent Model
0df2b7d7f0c1259ef254b06720317a587cc5e04a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Exists	True	Passed	Model Under Test Equivalent Model
effaf305285dbff08e1179ba1475fe391553b9f8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Exists	False	Passed	Model Under Test Equivalent Model
68ffdd269884f1df2962fdb2de0720f19c9354f9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Exists	True	Passed	Model Under Test Equivalent Model
00b702ba19b1f8dc08c69538b7a1a72a2bdb471a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Exists	False	Passed	Model Under Test Equivalent Model
d8c3ccf59c47cdc1bb3daac3247ad6fe2172ea9d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Exists	True	Passed	Model Under Test Equivalent Model
fc8e06d16edf255b74405e2c57e6c7da92b2b4d8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Exists	False	Passed	Model Under Test Equivalent Model
34b0661fa14613df0e318a9655c53b7f83f0745a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Exists	True	Passed	Model Under Test Equivalent Model
5204552917fdca9486c872056e993b5b1a88f096	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Exists	False	Passed	Model Under Test Equivalent Model
495ef3b786cb560059dbc05d9cd4314ed2a7f186	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Exists	True	Passed	Model Under Test Equivalent Model
c5c39b3dc69fc2013a2380a8e98465e927d71783	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Exists	False	Passed	Model Under Test Equivalent Model
6da0c25ccca4e75f16746c0f39c2c5676f3ae30a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Exists	True	Passed	Model Under Test Equivalent Model
439d062f43293e0ba9020d649241448208eaba23	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Exists	False	Passed	Model Under Test Equivalent Model
07226c524e2d230073067cd296d32b05694ffb22	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Exists	True	Passed	Model Under Test Equivalent Model
924413e7e73e971c8701a8d3cd936a02e2491692	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Exists	False	Passed	Model Under Test Equivalent Model
a50730582d028829bcc39e1f825c60ac743e649e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	Exists	True	Passed	Model Under Test Equivalent Model
96700963317b69218fad3f31e04e9f1361d79b22	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	Exists	False	Passed	Model Under Test Equivalent Model
247ee728eb66784e99ae7ee0de867fb22dfe4f33	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	Exists	True	Passed	Model Under Test Equivalent Model
565babebdaf5fb1ce57f05905ee4a2297260036c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	Exists	False	Passed	Model Under Test Equivalent Model
2354df84ddab423eebe97ff33c5d3ed49ead30bc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Exists	True	Passed	Model Under Test Equivalent Model
b0a59350f3eba2d1e0ba6327b44335663879d79a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Exists	False	Passed	Model Under Test Equivalent Model
68e9086a24b4742323c93e024b925bd05eb7731e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	Exists	True	Passed	Model Under Test Equivalent Model
60b72b9e1c9b6d9347a743a8b2ff989f9471e75b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	Exists	False	Passed	Model Under Test Equivalent Model
0d30bdbf71ad0cbad02d2eda04da0a8e6788794b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Exists	True	Passed	Model Under Test Equivalent Model
9acbeb94eb7168f15a209a3066a2485c7fd630fe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Exists	False	Passed	Model Under Test Equivalent Model
8ee355af09cf8fcdf918b30bf9e5fc2c93f67434	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Exists	True	Passed	Model Under Test Equivalent Model
728c9816e80ceab2d7d7a9aca7d0329f42e2985c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Exists	False	Passed	Model Under Test Equivalent Model
0442733ef190ed1e987fdd43926f356cc0028f6c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	Exists	True	Passed	Model Under Test Equivalent Model
f8ee465b4acff977f1299a2070fa4f359d8b39ec	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	Exists	False	Passed	Model Under Test Equivalent Model
4a7395e2f22182dac42a50869bf5e347bae85168	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	Exists	True	Passed	Model Under Test Equivalent Model
c46bb9d79bb0aa0377fe5186dc74019f74488c14	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	Exists	False	Passed	Model Under Test Equivalent Model
bc3da3935010d7e04ca46885bda2a7b8c23480c5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Exists	True	Passed	Model Under Test Equivalent Model
a7499145821dc8d7d4091f2b18ee2f41ca45eee8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Exists	False	Passed	Model Under Test Equivalent Model
9c92aa092024f10b5efeb54db75cd02b33014ca4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Exists	True	Passed	Model Under Test Equivalent Model
bd6fd0ecb06ea7b3679aa6ae51f80e1d0f3e510e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Exists	False	Passed	Model Under Test Equivalent Model
7b5dd53806ab1c43c26c83825c2121bc219addc5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Exists	True	Passed	Model Under Test Equivalent Model
4fc0cd26f5304dbda6694a2de37756627f3e26c2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Exists	False	Passed	Model Under Test Equivalent Model
9c818c446774ff0bede134a404adf36c31ec9f8c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Exists	True	Passed	Model Under Test Equivalent Model
60b5ed4c516087644cadaa3fd4aef80a2afce93a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Exists	False	Passed	Model Under Test Equivalent Model
7799220ffe49d111fc1d5399bacc6aee761f9117	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Exists	True	Passed	Model Under Test Equivalent Model
b7238829d99fd1c6992d9ed59375f3c0854c97d3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Exists	False	Passed	Model Under Test Equivalent Model

Index

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