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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
199bc137c54dc85cf3fd95c4fd4f9511945ca17f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	OneLineComment	True	Passed	Model Under Test Equivalent Model
42305083cfc043f63362a6b06f87005a83387704	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	OneLineComment	False	Passed	Model Under Test Equivalent Model
e3f00ef80e08a4027674f0e1a200d0a9a3be003a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	MultiLineComment	True	Passed	Model Under Test Equivalent Model
62137f900441bdd16b4d514ff4a7e977a777094b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	MultiLineComment	False	Passed	Model Under Test Equivalent Model
de3eee714966b8e7be76fc44d7b012790cf12858	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BoolTrue	True	Passed	Model Under Test Equivalent Model
b5b94ae4990807cf285b950995343f3dd410e8bf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BoolTrue	False	Passed	Model Under Test Equivalent Model
f8b59e722a3ae91e069150dc91ecc2000dc022fd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BoolFalse	True	Passed	Model Under Test Equivalent Model
2230829bedf923edf7afc5da79a497d558872044	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BoolFalse	False	Passed	Model Under Test Equivalent Model
1b55f79e15ba4466ebf1520e6799099dc6473c8f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BoolSet	True	Passed	Model Under Test Equivalent Model
2ac84daf7f627a172673747da4010469b7ce52e8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BoolSet	False	Passed	Model Under Test Equivalent Model
5b8557d00f055b6deb036eee6b2179c902532fc8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	And	True	Passed	Model Under Test Equivalent Model
348bb2f2240cc39d66503b97c11f75f664695497	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	And	False	Passed	Model Under Test Equivalent Model
cfc4a6279ac75a0f7ccecc400c1de5d0017169b4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	AndMultiLine	True	Passed	Model Under Test Equivalent Model
e7fe9534f257a1dfc54bc8a60f3d51a3e538c0a8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	AndMultiLine	False	Passed	Model Under Test Equivalent Model
9141cb23506792029e31c7715e650b341d6d2923	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Imply	True	Passed	Model Under Test Equivalent Model
42f85795274c730a50a479e24b7ac7908a818f23	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Imply	False	Passed	Model Under Test Equivalent Model
bcf23e7a3baecc094334ea8778c0bf14cd168e16	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Not	True	Passed	Model Under Test Equivalent Model
3136ebb1316485ec75211c82d3d12859f70f7e5a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Not	False	Passed	Model Under Test Equivalent Model
9c4a664e1840ecd813aa90614aa8fd39be3b89c5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Or	True	Passed	Model Under Test Equivalent Model
d3ce71c9a78f1cfce0889bb53de1bc3c7fe6f46a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Or	False	Passed	Model Under Test Equivalent Model
ca39b7b463c57f26cbeac308c4f753d1c443ef05	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	OrMultiLine	True	Passed	Model Under Test Equivalent Model
084949a1eb3ceed656dcbe0e4e68c5e8e1a374ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	OrMultiLine	False	Passed	Model Under Test Equivalent Model
eefc06107b0ae54c2949575685440a73b6ad8cc5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	AndProp	True	Passed	Model Under Test Equivalent Model
d84c574961baf9c499c2982756f439f5545cb3cb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	AndProp	False	Passed	Model Under Test Equivalent Model
a000c712788d192f76d2e74ee5fa97d2662ca7fc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Boxed	True	Passed	Model Under Test Equivalent Model
a41dcc54e3c9ddda4a013e7ca980f44f847ca5cd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Boxed	False	Passed	Model Under Test Equivalent Model
379a3bdf4b449faf8fb3e5cd511fca104b66a48f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Eq	True	Passed	Model Under Test Equivalent Model
2f29a44f8d3a173a1a515c23c46d36e9e38cf3ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Eq	False	Passed	Model Under Test Equivalent Model
30fcf916c0fcc29c089d09a39aafba1d37854071	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Ne	True	Passed	Model Under Test Equivalent Model
edfab24ddf4e4aa8dbe7513772f851ba8112ad20	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Ne	False	Passed	Model Under Test Equivalent Model
ef25fbaeb7e62335e5989fd2bdab01781cf5cbe7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Let	True	Passed	Model Under Test Equivalent Model
96351636a8b0c701cd7336a6778d3c4913148eb8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Let	False	Passed	Model Under Test Equivalent Model
8dbdb607b2e2fd1c32ee1985395c68e4e453124f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SetEmpty	True	Passed	Model Under Test Equivalent Model
17e7aff2f918a2a99ed8a7ac1891d97b0d47b7ff	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SetEmpty	False	Passed	Model Under Test Equivalent Model
8418808b54a92a0537d82458251900724b5cc139	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Set0	True	Passed	Model Under Test Equivalent Model
1f615dc8c8f5159d7a0d1c112cc21ba496a0a8e7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Set0	False	Passed	Model Under Test Equivalent Model
31d5ddb94a594ec1649244de42938196e58c3463	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Set1	True	Passed	Model Under Test Equivalent Model
d3e335ac58832bf72c6c4b37d6b795fd525e6bac	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Set1	False	Passed	Model Under Test Equivalent Model
90bf06cf2cb957bbd44b2b9313fb474b726381fb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Set2	True	Passed	Model Under Test Equivalent Model
51654210c84c6e4e56fd61ff484385e1791613eb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Set2	False	Passed	Model Under Test Equivalent Model
8f549d210a4573376eae2d050f3a00b97bb202a8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Fun	True	Passed	Model Under Test Equivalent Model
851539ec9e291a332888a33abd6b3ca9b2cdbedd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Fun	False	Passed	Model Under Test Equivalent Model
9ca695766e12b7eca320a734c805ce2919a15ef1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	In	True	Passed	Model Under Test Equivalent Model
c7461f58393a23d7d4fd5a8ff537159304d2ebb2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	In	False	Passed	Model Under Test Equivalent Model
7f5e1cc17f5cbc77a1ad8c279e321020cf7bd51a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NotIn	True	Passed	Model Under Test Equivalent Model
fb9006247bc20ccc0e84d527f9885e38f65586c0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NotIn	False	Passed	Model Under Test Equivalent Model
5e1280272b0ba0cffe283554fee9ec5fb8e767d0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Exists	True	Passed	Model Under Test Equivalent Model
bcebc0c2d17e794023f4b2819f6bc0f316886758	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Exists	False	Passed	Model Under Test Equivalent Model
b59d578c3a86826981b3cab1a0de34b10761e753	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Forall	True	Passed	Model Under Test Equivalent Model
bb74f06f6289417d618f1f3402e3fd6d25ee5a3f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Forall	False	Passed	Model Under Test Equivalent Model
57626f1657a657c93d47225de1983e563ab0b3f8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Choose	True	Passed	Model Under Test Equivalent Model
f9e7ddc8fc50dfd72510e93eafda0b75d82797ba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Choose	False	Passed	Model Under Test Equivalent Model
8ec36e025c5966371ef1ce9ff90a847154a01233	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Record	True	Passed	Model Under Test Equivalent Model
a47caee838de12bb112779625a19062519b35322	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Record	False	Passed	Model Under Test Equivalent Model
f1621340f944f6e864fb06a6d3513619ee760443	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Tuple	True	Passed	Model Under Test Equivalent Model
d5bed1a8b7cb063afce6b6552505523c28348882	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Tuple	False	Passed	Model Under Test Equivalent Model
dfe6f7228e40b7c2561f434add0df14e739d1608	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	TupleEmpty	True	Passed	Model Under Test Equivalent Model
05fb5d23cf28bb808170bace65e69bac87a6eaeb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	TupleEmpty	False	Passed	Model Under Test Equivalent Model
24fde334c7e9d97547e64c4a63bdfd72a7e29d38	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	FunApp	True	Passed	Model Under Test Equivalent Model
8579765e82b8ddab5491176fc43b6360956a4294	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	FunApp	False	Passed	Model Under Test Equivalent Model
46db21f20ea6752033c3a61218cf0342d1d197c1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Prime	True	Passed	Model Under Test Equivalent Model
255942a8eb0c49a02d498ead59789616deb91d06	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Prime	False	Passed	Model Under Test Equivalent Model
2e56367c4bdf5889f0e6075126d71839215beed3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumZero	True	Passed	Model Under Test Equivalent Model
44635d21d3c5b803261c7f3cc7717c2362f40b7e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumZero	False	Passed	Model Under Test Equivalent Model
64884a665e46c534f1541f6062aa4c194a8ead2a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumOne	True	Passed	Model Under Test Equivalent Model
77f4d7f00f16e809d5ab9bb02b6ac14495075afa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumOne	False	Passed	Model Under Test Equivalent Model
f5c46784eebba416d416121a5c038056a85cf7a1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumMaxInt	True	Passed	Model Under Test Equivalent Model
7b30b83d92c7f4d72fff5076e055674c0e90a4d4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumMaxInt	False	Passed	Model Under Test Equivalent Model
38621ea8410b865fece44f066e3d16f343fc140c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
d49d10baed60e6e5265addc8c43ce7ba78539083	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
7cc3303688075057fd94c0b753974908a94d4027	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumPlus	True	Passed	Model Under Test Equivalent Model
1e19c7d283532fd55a9d705bd191169b90f6d723	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumPlus	False	Passed	Model Under Test Equivalent Model
07afd386a67aa1d5171463f54e8e66b8ecbc7fe6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumMinus	True	Passed	Model Under Test Equivalent Model
6daa7b58686f0a82be8e6adf572e6e1f44410a20	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumMinus	False	Passed	Model Under Test Equivalent Model
5c8184220736c1a13809e31507fb2c838bd7f365	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumMul	True	Passed	Model Under Test Equivalent Model
2b390a0c7fd8bd255555ef500f267aae83d8eced	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumMul	False	Passed	Model Under Test Equivalent Model
991f186d83e336698811bc4077464d7ccbb760d8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumDiv	True	Passed	Model Under Test Equivalent Model
5557d9a58fcaa1cac1aaa469ed5c9527728cc029	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumDiv	False	Passed	Model Under Test Equivalent Model
b7fdb817cec8036060d3b74a1f0922585a180704	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumMod	True	Passed	Model Under Test Equivalent Model
c518694894ff127db14a4ca2a8b7ec686d2e40fa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumMod	False	Passed	Model Under Test Equivalent Model
ffd3a8e5776c2af2d599c7112d26248536675ea3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumPow	True	Passed	Model Under Test Equivalent Model
4472ad530e4c9eed3416291eeaa917c39b8fa4f8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumPow	False	Passed	Model Under Test Equivalent Model
a44020286cef26eb13dfc54ffb01c01110f9bb8b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumGt	True	Passed	Model Under Test Equivalent Model
1bd64b8d89a2a98244e6315a48e3769930e0456e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumGt	False	Passed	Model Under Test Equivalent Model
f1c74b92b4f4dc7dcd30c06414563c8e4945a32f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumGe	True	Passed	Model Under Test Equivalent Model
9bebd2b4b8c4c7a1bf95d15fd57f0ec6e425e0d6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumGe	False	Passed	Model Under Test Equivalent Model
f03fafd07f1b1095b4c7267354d9e23670081d9e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumLt	True	Passed	Model Under Test Equivalent Model
34cdbd9c606eeff4dad97e4441dc68e4e4baf773	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumLt	False	Passed	Model Under Test Equivalent Model
619e2958861c42c75796b2768eb797ed3b144b3e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumLe	True	Passed	Model Under Test Equivalent Model
7c326410edaa6ae9edeeee1cda4b6468437c3c8a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumLe	False	Passed	Model Under Test Equivalent Model
5c93c9a5629bf227d800ecad25b56fc8be2fd163	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	DefFun	True	Passed	Model Under Test Equivalent Model
13847d478e336cb3ef7bb9e41db48db9d2ee02c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	DefFun	False	Passed	Model Under Test Equivalent Model
d4fa3a10191bdfc033d9581b6f4bf5c62fd8dd49	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	LetDefFun	True	Passed	Model Under Test Equivalent Model
c7e5861f9488ea1049893ca57d70a755d478c118	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	LetDefFun	False	Passed	Model Under Test Equivalent Model
1de05b139110ed203918ab2d0e440f127deec898	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
707967068cb2d28007f8fb71ec55134787fde724	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
ea03fd6e64c2f122c4feab13bfda0a9659487ede	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
4f2a2780f5e962a42da14d53f18defc8f4f3339b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
217a19857966cfc4a474343c5ae1ad0fd93e4ba1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Def0	True	Passed	Model Under Test Equivalent Model
b76ea1e5a28f7d3c9f542070c482edd38caf53be	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Def0	False	Passed	Model Under Test Equivalent Model
563fc33240eca85872aecd5387327562bd2b6e59	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	LetDef0	True	Passed	Model Under Test Equivalent Model
d4f32a5de2616ff1adb3665d818b225341454c2d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	LetDef0	False	Passed	Model Under Test Equivalent Model
794f326d986525bb3aeab543d87bdbc586f6720a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Def1	True	Passed	Model Under Test Equivalent Model
fecabd00dac1d779aab49b4265854e364fdde540	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Def1	False	Passed	Model Under Test Equivalent Model
226b5e045ce4ceea4cdc79a2683782553197fade	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	LetDef1	True	Passed	Model Under Test Equivalent Model
4ffe433a5226094590395150b71ed12cd09bf4cb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	LetDef1	False	Passed	Model Under Test Equivalent Model
78935836b21ebdd5e074bd820d97eb5500e5f4e7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Def2	True	Passed	Model Under Test Equivalent Model
fb587e3b58d3a41d20251a5532bf959517afad66	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Def2	False	Passed	Model Under Test Equivalent Model
9a8851a782a247f85f4c2d0a7c2413b186366249	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	LetDef2	True	Passed	Model Under Test Equivalent Model
674ab37fa1dd897533546c56e6840c69901d33b9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	LetDef2	False	Passed	Model Under Test Equivalent Model
0e83e778fc794e97257d6612dc13943568240f58	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Def1Recursive	True	Passed	Model Under Test Equivalent Model
038b4075bc46d2f6923bab4ff9e5bce6a909580a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Def1Recursive	False	Passed	Model Under Test Equivalent Model
9a181733f6a64718397b4d566483a3097266ccc8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
6eb49ae51b952559104251e37e0649ac9e8f68dc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
4a0453367c69b75332b9af0ffab89035c8c0f52e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Extends	True	Passed	Model Under Test Equivalent Model
f817779d2036bb550448521595e9d7fa57bf8922	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Extends	False	Passed	Model Under Test Equivalent Model
043a137d8724b83a8741c9bf3c9eb900546f0c3d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
f190a4080872851dc53f0bdcf0b511f8fac7ae88	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
993e6e790561ddf2d3311cd6ff32aa7124b016f6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Variable	True	Passed	Model Under Test Equivalent Model
08c90296d4611f86ba463f50c4292144ca4bbdd1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Variable	False	Passed	Model Under Test Equivalent Model
35fafc58128d654c9833ed026d5905c4cc69fcfb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Constant	True	Passed	Model Under Test Equivalent Model
a879c8c1c0341c6f7cd60efa392233eb7bdca0af	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Constant	False	Passed	Model Under Test Equivalent Model
7cc7ce52d89e9d7e65fc3f7e51f682be23a751db	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
727895e2377c8ede5db7edbd61c373dad57a11c0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
5f14df5be28ce48ad1723c0b6dcdd7788fa11fdd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	ConstantRank1	True	Passed	Model Under Test Equivalent Model
689e6b5d545af8123f6527ecf64e1a456a8ade56	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	ConstantRank1	False	Passed	Model Under Test Equivalent Model
c6ead0a7b64f800a94c8bc692b7ec9d861b647a4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Instance	True	Passed	Model Under Test Equivalent Model
1a457ecc98ba9b77d8581ceb13e63b8a17b21940	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Instance	False	Passed	Model Under Test Equivalent Model
fae54bbd6c9896a6e962dc0fdb2378447f415318	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	InstanceWith	True	Passed	Model Under Test Equivalent Model
148e408bf07439d5b11b557386ef25ddb87fb2bc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	InstanceWith	False	Passed	Model Under Test Equivalent Model
404c6488dc3e381aac9fa6301b10690ef6807cf6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	InstanceNamed	True	Passed	Model Under Test Equivalent Model
de5936aa160ee8a34bc4b3ac33948ec825eb7fb1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	InstanceNamed	False	Passed	Model Under Test Equivalent Model
213134d298c8fc106b8177de2a60c132c332c368	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
2ff0b644cedaeef89e30785f906ef243d768c40f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
2ceba12aac4cb5cc610e1875cf1ab2ffe0a4bc84	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
b301551826fff9b304feeb957c70a005fe9360d7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
f70d304f3717915241e962efb6f5ae8c8ee9abdd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
643ebfdee7a4f768143c20920a9b6067cf17c6e5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
362ee68e6ec854dd7d4a1ebb14f9c2e7e78d4541	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
f8c1c82347c79b3c471e46e4ce88d411d558d62a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
9d6d602b78d3f006b7828cb184eb492431f525fe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
a061f071a56774bb6a33786a7dad12794f9a729f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
82b1b636b3f73793415f851a07b2f5d104f85893	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Enabled	True	Passed	Model Under Test Equivalent Model
1e27167cd48ff3bbeb39ff9300a1bea4b6257cdc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Enabled	False	Passed	Model Under Test Equivalent Model
bdd64f5c504288070da511f53d3db683d6d84c1d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Cross2	True	Passed	Model Under Test Equivalent Model
adeebecddebbee1475d487c362edb31fb808e492	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Cross2	False	Passed	Model Under Test Equivalent Model
c9dd3311779bb11fdf32c3b329e70f914321aad3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Cross3	True	Passed	Model Under Test Equivalent Model
65b1c3397c34e3f1ba8f7529833691de9fea76ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Cross3	False	Passed	Model Under Test Equivalent Model
075bdfbf32293ad55c8edc9fbd3abf875ce73a9e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	FunSet	True	Passed	Model Under Test Equivalent Model
d3b8c4e315636501c0ca5d0c8639b007eea35b16	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	FunSet	False	Passed	Model Under Test Equivalent Model
1b5a9297e0f39a6d27b7c0fda5f8118f1f2f1434	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	RecordSet	True	Passed	Model Under Test Equivalent Model
bbaa2303b930b0071a3fad198d13986776a8b5bb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	RecordSet	False	Passed	Model Under Test Equivalent Model
bd3e8547ad21a6551ac7b1d33420362b1eea7296	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SetDiff	True	Passed	Model Under Test Equivalent Model
96fbb308880d18d6a82bc58543f88f8595f9a7b9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SetDiff	False	Passed	Model Under Test Equivalent Model
8b066767d6f59352d09254ebd6d0ad6946199365	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SetUnion	True	Passed	Model Under Test Equivalent Model
a1076a3f061158b4c982b4eb8c07f9ff41c05215	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SetUnion	False	Passed	Model Under Test Equivalent Model
dabcef4e2e5c22cbada188ff64e42a19fc108a94	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SetIntersect	True	Passed	Model Under Test Equivalent Model
181c2105a311ce1ba2f655d575eade09f4799320	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SetIntersect	False	Passed	Model Under Test Equivalent Model
6c688e0c8c2813e7ace390f1fce7d1562f8e6491	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SubsetEq	True	Passed	Model Under Test Equivalent Model
63454358eed5dd338ed7fd26ba2a5a6eb72f928c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SubsetEq	False	Passed	Model Under Test Equivalent Model
dcaa875736e12880703043610c87d38d36a14fce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	IfCond	True	Passed	Model Under Test Equivalent Model
47d7ed500b24e4bdecb44e3b9b99cfc96fb8e25c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	IfCond	False	Passed	Model Under Test Equivalent Model
40f5758f5e4c441f8d8e5a98069c1f4dd5c2f67c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	IfThen	True	Passed	Model Under Test Equivalent Model
8805a2ddbd98cee3f4e5aee1f8dd80fa63a36096	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	IfThen	False	Passed	Model Under Test Equivalent Model
469e506c2967ef0b9ff7ae695307b32b14e334ed	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	IfElse	True	Passed	Model Under Test Equivalent Model
3ed1f98c0ebbdd68e532f554604020cfd189f035	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	IfElse	False	Passed	Model Under Test Equivalent Model
227fa2a7f9cf89c3a8bf90c1613cb212a6ec4247	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Subset	True	Passed	Model Under Test Equivalent Model
17dba41489ad67fff705e3b56125f5ef9c63cc92	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Subset	False	Passed	Model Under Test Equivalent Model
c3842b277c415762bed3c9050da803c8974fc57b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Domain	True	Passed	Model Under Test Equivalent Model
a3b76f30a02e9f4de6a38b99556a163c0deba998	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Domain	False	Passed	Model Under Test Equivalent Model
e06a5b56b5ef334389935741c08c098d321fda36	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Union	True	Passed	Model Under Test Equivalent Model
b21b634a29434912649db86dff57cbfa1ae3b969	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Union	False	Passed	Model Under Test Equivalent Model
d764d34faece808e262e3a5e88337be6f2be09e3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Unchanged	True	Passed	Model Under Test Equivalent Model
27392272a2a568980146bfc692cb0a84ae0c67b8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Unchanged	False	Passed	Model Under Test Equivalent Model
9c0076c1d44e28a064fdd7aac3eafa6a4171a11b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Equivalence	True	Passed	Model Under Test Equivalent Model
f2c7a33ef2cb3039dad195544ef958c99ed865fe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Equivalence	False	Passed	Model Under Test Equivalent Model
f27934d6567e7760906ee3dc1e311ff1670aa4a3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	StringEmpty	True	Passed	Model Under Test Equivalent Model
bfe7cf5d3063f4bb0abc6b2d472082d7f36af949	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	StringEmpty	False	Passed	Model Under Test Equivalent Model
b40280be0afb9cb4da59c1e23e4f3d1bd03e848d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	String	True	Passed	Model Under Test Equivalent Model
3bf7705b96a6dd0b797b2d29a1c7ee930b12ac9b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	String	False	Passed	Model Under Test Equivalent Model
ca32af836122c428ae1dbd87ad16e73f220c1985	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SeqLen	True	Passed	Model Under Test Equivalent Model
3275c5937292a2f3766f54df24503f94e0caa7f6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SeqLen	False	Passed	Model Under Test Equivalent Model
9240c6bb765d3229c9086e2b5c52c173dc37dd32	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SeqConcat	True	Passed	Model Under Test Equivalent Model
6effac8d15659ccc41f74fe4fb610762f41a44e8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SeqConcat	False	Passed	Model Under Test Equivalent Model
cc64d037ad1e897ce498fcd947de3aba0fed9ae9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
3335077e794ebaa00ff78d292cf10e7db1b79387	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
acae16a9f6486203f05037d791c962ea029c6e5c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
9662907bfefc3aa08ee22b569e59d076ca5cf678	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
98bc72ac84d30614cfcccbbf972bec139af71eb5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumRange	True	Passed	Model Under Test Equivalent Model
a704e8202bf8ca87f0f9a129f15d01f9ca8971a4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	NumRange	False	Passed	Model Under Test Equivalent Model
76137d3d938357d5415519df2f671bc4b8423392	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
1319e1acdbb4a2bd9c775e6303e5a8cccabf64ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
13ad0c7a8ef98fe3698b9e06024d0ef9c0463058	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
cb6cdb6d6f132b55017da79b3d71a0fd819100ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
578aa5d6ee8a371dd6ad9668eb12a78a4b406f49	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
84f05a58b3d9904e505f524d7debea00ad9021ef	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
ceff7dacb1963867e9e24a361b2b1000df739cd3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
d6658c9fc1c04a6b89b176b58ebe32b0aea1b66f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
2c5def8b1c0ce53d8fa2bc3abf0741f0a7e49bc3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	TlcEval	True	Passed	Model Under Test Equivalent Model
20c8c11023ce77656878c850a78315a40ba14311	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	TlcEval	False	Passed	Model Under Test Equivalent Model
3e5f21a0b46078a81763f31fe20d82b2baf5c3b0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagBagToSet	True	Passed	Model Under Test Equivalent Model
49fc80b35f460d1684c0a21c932df7f85fd218b5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagBagToSet	False	Passed	Model Under Test Equivalent Model
b9e6de30073997ffa36bb07c5553db10583a24a8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagSetToBag	True	Passed	Model Under Test Equivalent Model
46f0de629d1dde48c015e0a92aaa52a95e6cc425	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagSetToBag	False	Passed	Model Under Test Equivalent Model
c75efa872c23bd8c840aa5ccfa1aa16cea3697bc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagBagIn	True	Passed	Model Under Test Equivalent Model
59fce192f580d48292c6be7eb939167385749b43	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagBagIn	False	Passed	Model Under Test Equivalent Model
d616d6d9484e241c7b5848cf66fabe3123b04cb3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
7fe531d1b5541db8c55febf46d5d9f67847f045d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
c2ae70121662d83187d4a1a4d0e323672107e0ab	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagAddBag	True	Passed	Model Under Test Equivalent Model
e2b3a174b2eb3e850a295f42f18aac19b59b5b54	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagAddBag	False	Passed	Model Under Test Equivalent Model
e56174169138feada337e1be3dd9e072831b553e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagBagSub	True	Passed	Model Under Test Equivalent Model
2ab68d85a5014c500bb7725d1cfefb9ceec9d841	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagBagSub	False	Passed	Model Under Test Equivalent Model
589f32cd74882218d1d9680d130c5a6bed6eb326	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
c1bb6ba034458893ab2971f82d7a292fc124b9b3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
a67d1d8c501bd2fa18a20f3436f7930a0aedd2b6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
9560f6656ba9afaff0e0a5c249ca7998c5166c6d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
4e05933c3ecc7687ecb5df5cf9137fc8931cfa45	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagBagUnion	True	Passed	Model Under Test Equivalent Model
8e4ed2f67f8c467ef3e617bfa069c314283e8786	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagBagUnion	False	Passed	Model Under Test Equivalent Model
59d6fa3c62e24c67c8d1cf712e3e3419f0a1f529	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
d13ab15565fa4fa6f063e2a1f5947dbeb11879a4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
847e42341f38fe76aec4e454e5e83c221a4d5ba7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
be0638ad8d1dbe0996a6b1862ac7984ae20f37fa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
d71b043e0216717afe7926271e3139fe15db6990	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagSubBag	True	Passed	Model Under Test Equivalent Model
292db3bb55799f028c00bb81d9c706ea41916599	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	BagSubBag	False	Passed	Model Under Test Equivalent Model
5389f09dd057ce64639a81f8137e9307d6c85866	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
651d6057b1e61aada6aee4aa7e6d460ad86cd237	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
bd4b77e88cde30e9292ea5579edb8541808c1473	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
c8b3bc3b3b8e7ce5c15aaba4e2a6879e6281e691	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
e60bed4bf761aa381d031185c1493f0ad5a9d2fa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SeqHead	True	Passed	Model Under Test Equivalent Model
81b0f550a2c6592402f810926603d4c98d1a6ed1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SeqHead	False	Passed	Model Under Test Equivalent Model
4d230ed490cf70c3c23f6d69c577e9c87590434a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SeqTail	True	Passed	Model Under Test Equivalent Model
a8f29336c7904f465080a1d484ec8ebb6bf92566	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SeqTail	False	Passed	Model Under Test Equivalent Model
8b3827ae54d7d80340a9f8acac9a1723db798180	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SeqAppend	True	Passed	Model Under Test Equivalent Model
e3dbf0d8155c7942fbfd72ad9f3848f06f1ebd89	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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