Tests by case feature Except1FunWithAt; CLI Option: -workers 1

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
8d091df480b06c7c2b3e3005614b7573080f1548	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: Replace spec with the same without comments	Except1FunWithAt	OneLineComment	True	Passed	Model Under Test Equivalent Model
1b8fec9510ca7caf8d69170875fa170f226c5b8a	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: Replace spec with the same without comments	Except1FunWithAt	OneLineComment	False	Passed	Model Under Test Equivalent Model
2a76fd1b32ed2e7c78a5588ce3d77656451b354e	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: Replace spec with the same without comments	Except1FunWithAt	MultiLineComment	True	Passed	Model Under Test Equivalent Model
49f53d3c3cf3a5ec87d50780b35b7b02f932562c	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: Replace spec with the same without comments	Except1FunWithAt	MultiLineComment	False	Passed	Model Under Test Equivalent Model
d7e89cc59607f6c45c3c9602d5555be3254158da	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BoolTrue	True	Passed	Model Under Test Equivalent Model
db2c338562ffe330a91a71af61a072cd38e09848	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BoolTrue	False	Passed	Model Under Test Equivalent Model
799d5e705c66a81039f95be1030b34f3f47f8465	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BoolFalse	True	Passed	Model Under Test Equivalent Model
2232553e9b587721a51fa0a5c06480ceee0534f1	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BoolFalse	False	Passed	Model Under Test Equivalent Model
2528ce9fba5ad2e6323c44a60bf60fe4f73a5039	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BoolSet	True	Passed	Model Under Test Equivalent Model
02a8911e4ba08a1b9229b80f443a15cd92b61aec	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BoolSet	False	Passed	Model Under Test Equivalent Model
98bd44355466ec6519fbb27da4961e6ba7741c4f	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	And	True	Passed	Model Under Test Equivalent Model
12ac8d87c66c3d09079cf73613e8bdaef39c635d	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	And	False	Passed	Model Under Test Equivalent Model
3e9896da4e40330189e0a15d8e6a10433ac36b8f	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: /\ A /\ B == (A /\ B)	Except1FunWithAt	AndMultiLine	True	Passed	Model Under Test Equivalent Model
fbcc2f659585a63210e2ac25f032dea68f8de900	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: /\ A /\ B == (A /\ B)	Except1FunWithAt	AndMultiLine	False	Passed	Model Under Test Equivalent Model
208f8aadf42587f37ec26338aab48ecd0e3ef965	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Imply	True	Passed	Model Under Test Equivalent Model
0252090225c811de904c8b0858fa9a9c5c9683d9	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Imply	False	Passed	Model Under Test Equivalent Model
aabb28f4a91a27cee1bf8a4fe2e8d4b0c92ec46b	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Not	True	Passed	Model Under Test Equivalent Model
6ef250972d19fcef5184a2549aee94e07bfe0b75	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Not	False	Passed	Model Under Test Equivalent Model
e273705b20dedd03eb2fde32e992475caf213339	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: A \/ B == ~(~A /\ ~B)	Except1FunWithAt	Or	True	Passed	Model Under Test Equivalent Model
0efe73310b03618003053f60ef6842a40276665f	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: A \/ B == ~(~A /\ ~B)	Except1FunWithAt	Or	False	Passed	Model Under Test Equivalent Model
c93b8ccf804ccbd2b7b0a61541b81910e93def89	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: \/ A \/ B == (A \/ B)	Except1FunWithAt	OrMultiLine	True	Passed	Model Under Test Equivalent Model
71c069ca02055ab4ece68f84aac64a1d064ced81	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: \/ A \/ B == (A \/ B)	Except1FunWithAt	OrMultiLine	False	Passed	Model Under Test Equivalent Model
248756576d0a059c71a4ed5f0a16126bd9ae2b93	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Eq	True	Passed	Model Under Test Equivalent Model
55c4df7fb19b094e50f5cee63a01bf4cd225ae60	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Eq	False	Passed	Model Under Test Equivalent Model
b5e0c674ba8ac5cd972635ef0f20384d264986fd	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Ne	True	Passed	Model Under Test Equivalent Model
a0d6e585d332b897e377e51a1e968f81f5cb974c	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Ne	False	Passed	Model Under Test Equivalent Model
0f2c443ecaeb4703f9715a3812ca07edf93a47e2	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Let	True	Passed	Model Under Test Equivalent Model
974b8bf2551d2e630ca32057e9fad618973debc1	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Let	False	Passed	Model Under Test Equivalent Model
df76104565f5fff0b9ef3727b19173942f3f4001	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SetEmpty	True	Passed	Model Under Test Equivalent Model
101525d49f82beaa6dfcd6d7ebfa00344dbccdf7	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SetEmpty	False	Passed	Model Under Test Equivalent Model
02bcd673303a4721a0afcae7d0516ea6a178c6c9	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Set0	True	Passed	Model Under Test Equivalent Model
53fb9046306988dc9eb766a4cb91692b46645c50	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Set0	False	Passed	Model Under Test Equivalent Model
7b21b1d3508d2dafd0f1f64ec858b701ba810727	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Set1	True	Passed	Model Under Test Equivalent Model
deaa9d8f38e69a18ed60bad7c61b989c147e2765	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Set1	False	Passed	Model Under Test Equivalent Model
2dc142d868b52142de915db0b2316460823bd196	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Set2	True	Passed	Model Under Test Equivalent Model
93883f3d5e1bfed875f76de0bf1582323eff697c	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Set2	False	Passed	Model Under Test Equivalent Model
d37fcbd8cad887ff2f6deb46c3dae16b7df19df8	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Fun	True	Passed	Model Under Test Equivalent Model
b28ea4437874039706370d76d09571c41d0a4b65	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Fun	False	Passed	Model Under Test Equivalent Model
ecfb8d89905707823f157148a4694e5fea7404e8	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	In	True	Passed	Model Under Test Equivalent Model
209e6876a8747b7ddfaa03a643cce5cc4257b661	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	In	False	Passed	Model Under Test Equivalent Model
37de4f31399858c9aa6a38a8584f6dba975d10cc	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NotIn	True	Passed	Model Under Test Equivalent Model
e05f33b556069697c15fb0f3237c8418329f6234	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NotIn	False	Passed	Model Under Test Equivalent Model
b50a4195d958118eec329daae5aef154df1f94b3	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Exists	True	Passed	Model Under Test Equivalent Model
b5f6b41ee61a9de73a48d042ccb56086b828212c	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Exists	False	Passed	Model Under Test Equivalent Model
8ac9b1154e68a52934765610230565aabd882484	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Forall	True	Passed	Model Under Test Equivalent Model
55f133555037abd86f7054fb8298efe1b31afba3	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Forall	False	Passed	Model Under Test Equivalent Model
f1b37ab76ba95a54903712c63f72f17d59757fdc	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Choose	True	Passed	Model Under Test Equivalent Model
8c1f2f9af02e31e07ca49d6641ecf9a36cb32312	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Choose	False	Passed	Model Under Test Equivalent Model
ee5ff0b0f16b1046ed20c52c1d8ee34182a0a014	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Record	True	Passed	Model Under Test Equivalent Model
2f756b951a49921c2747c0144cf25c63e3820959	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Record	False	Passed	Model Under Test Equivalent Model
15267b0364caa1f9768a9aae383a2c722fef3bcf	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Tuple	True	Passed	Model Under Test Equivalent Model
b10c45372eb6ca48e4f8d038967baa988617339a	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Tuple	False	Passed	Model Under Test Equivalent Model
abd2dd74ff60d37877d27b7f0d9aa57906247b12	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	TupleEmpty	True	Passed	Model Under Test Equivalent Model
e54fa567606b320a65d10581f199f4bc1cae558f	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	TupleEmpty	False	Passed	Model Under Test Equivalent Model
0230394b8f02c83c09003725042b0d1a87781753	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	FunApp	True	Passed	Model Under Test Equivalent Model
728ec11f801fe3194f99781e5ea666a64662a8d1	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	FunApp	False	Passed	Model Under Test Equivalent Model
9a436690019f39514b485a5555f61ee62f788afe	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Prime	True	Passed	Model Under Test Equivalent Model
12484122bc1f6c40a30ce14efeb9f3941c662b19	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Prime	False	Passed	Model Under Test Equivalent Model
4dcc8795858f41c35b4f5432eabcc5b0a676136c	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumZero	True	Passed	Model Under Test Equivalent Model
84b05b9fd65538756210c7dda0efe3f59e15ec7b	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumZero	False	Passed	Model Under Test Equivalent Model
9a739b8c461bde5a7360f6c42993f36b0b68c17a	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumOne	True	Passed	Model Under Test Equivalent Model
7cc00dc06bda2dce96919a57e5f7a5d10554dbb9	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumOne	False	Passed	Model Under Test Equivalent Model
b519d40424e1458de35e1bc05ce69ac89f23f282	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumMaxInt	True	Passed	Model Under Test Equivalent Model
44c45137b8a8295b1b249d6a06e9c1638b8c28a7	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumMaxInt	False	Passed	Model Under Test Equivalent Model
72412c62a0d3a4bf962059f13cf6c4c6a898d3cd	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
8ef16bd24c1fdf86b4b528fc41581d888d0c8588	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
0158f62ead11f23f3e3f0df9f8374435e4cf1c44	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumPlus	True	Passed	Model Under Test Equivalent Model
6ec111d2490f07a82b8d8960d557f98d88b17ad1	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumPlus	False	Passed	Model Under Test Equivalent Model
c51e2c72870ed27e0cf19768c32bb9cf3ff2a434	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumMinus	True	Passed	Model Under Test Equivalent Model
9839dd355a822915590eba1584f36a6471142e59	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumMinus	False	Passed	Model Under Test Equivalent Model
5b5c6bb9357b1507e1f50bda773557c5fe737129	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumMul	True	Passed	Model Under Test Equivalent Model
bbb367620befaf77c60f28fb45a12202a77e5571	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumMul	False	Passed	Model Under Test Equivalent Model
fecd68b8c73c9f72bd0d9d103146036a05792d7f	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumDiv	True	Passed	Model Under Test Equivalent Model
d1ff18f62be9061bad1772a8035a366410e8beaa	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumDiv	False	Passed	Model Under Test Equivalent Model
162bd91319d244bb9e322b0575b57216dcf1f3a4	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumMod	True	Passed	Model Under Test Equivalent Model
f476f66fdec05b46fa0bba195fdcfaa55fcb161f	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumMod	False	Passed	Model Under Test Equivalent Model
b80b7e26f486c3454b1ba16272a352bd5fe11e67	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumPow	True	Passed	Model Under Test Equivalent Model
b414f944bbc951f9051a5cbeea8198c40a09d01a	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumPow	False	Passed	Model Under Test Equivalent Model
a2ce3fed26648ff18cb6749306af6cec0f198fa9	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumGt	True	Passed	Model Under Test Equivalent Model
06725f9526af38141a4ba01babb7f8f6c4fbae26	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumGt	False	Passed	Model Under Test Equivalent Model
99fc6ca8bcd0d9311b607c85dccf2d735e396aab	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumGe	True	Passed	Model Under Test Equivalent Model
d90bb4ed21b1ca42ed7bec9808a60e8052052580	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumGe	False	Passed	Model Under Test Equivalent Model
522476124269a095b141b85c7a04df409e64c3b1	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumLt	True	Passed	Model Under Test Equivalent Model
70f9ac805e1235d8accef11d0ac23b1eb7b36050	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumLt	False	Passed	Model Under Test Equivalent Model
9363a5d720f2edbe4cd199b06ff2c2bac380646b	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumLe	True	Passed	Model Under Test Equivalent Model
ec1e483ceb65d7e12e63c4480954a6004796b141	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	NumLe	False	Passed	Model Under Test Equivalent Model
e208fe2e25bd398db50d6c842d2ade967462fc51	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	DefFun	True	Passed	Model Under Test Equivalent Model
b0b00119863bba34ad3f8dc27ec5075df52f23a0	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	DefFun	False	Passed	Model Under Test Equivalent Model
729ab751398e7a4e589d8dcf7144315fc99b1a91	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: LET definitions are reduced to global definitions	Except1FunWithAt	LetDefFun	True	Passed	Model Under Test Equivalent Model
6aba3f7ea1327037c31d3013b9b4086457fd4f53	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: LET definitions are reduced to global definitions	Except1FunWithAt	LetDefFun	False	Passed	Model Under Test Equivalent Model
eb4957fe58abc2dadab0ed1c1ef3cf53149657f3	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
2137d85496f87c322dc2359ab8588ac6b70a96f1	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
8589b3b0e7d96e77c11a554a948f75591a490f91	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: LET definitions are reduced to global definitions	Except1FunWithAt	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
15c152c5f074aa0428f7b6e9e2762387d32930b5	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: LET definitions are reduced to global definitions	Except1FunWithAt	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
e4fbb15127c093916811dc8192f9278af8f1836b	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Def0	True	Passed	Model Under Test Equivalent Model
60905a22a6044efffc3c66f6098bae077908534e	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Def0	False	Passed	Model Under Test Equivalent Model
7f96621b5f71ba11d382f8780f908f297546af76	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: LET definitions are reduced to global definitions	Except1FunWithAt	LetDef0	True	Passed	Model Under Test Equivalent Model
55a498c5bf3cdce3444ef7b50af7bc9edef566f9	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: LET definitions are reduced to global definitions	Except1FunWithAt	LetDef0	False	Passed	Model Under Test Equivalent Model
2714b7cbafaecddeda2c3c4df91cfb99eea76b17	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Def1	True	Passed	Model Under Test Equivalent Model
6db07fe72d8f8d51753912869b111c2385a429ec	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Def1	False	Passed	Model Under Test Equivalent Model
bbd6b4d7d67b4ceb39c99de8012e4878d203a17b	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: LET definitions are reduced to global definitions	Except1FunWithAt	LetDef1	True	Passed	Model Under Test Equivalent Model
8a084669d7d580f080f6ed2af68d52b689a3c33a	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: LET definitions are reduced to global definitions	Except1FunWithAt	LetDef1	False	Passed	Model Under Test Equivalent Model
0d27a76a14fbf2b465cb54ac7629f2d7c5576c48	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Def2	True	Passed	Model Under Test Equivalent Model
62a1c5aeabdc10219bc8dbcb5280a26b0f2a5832	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Def2	False	Passed	Model Under Test Equivalent Model
5f9dd3b34b42afce31b2bdc87bc9c529122cc790	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: LET definitions are reduced to global definitions	Except1FunWithAt	LetDef2	True	Passed	Model Under Test Equivalent Model
212a3d5306fecb9f3a507de8ed0319e562b93135	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: LET definitions are reduced to global definitions	Except1FunWithAt	LetDef2	False	Passed	Model Under Test Equivalent Model
a1c1a28220f493f1ae704126b5e1db52026b88ae	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Def1Recursive	True	Passed	Model Under Test Equivalent Model
9469dc7485341fe6a918a7c70198c7e5e28d1ddf	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Def1Recursive	False	Passed	Model Under Test Equivalent Model
d3eb208026869a2e55174ef1b35f60d0ff999c60	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: LET definitions are reduced to global definitions	Except1FunWithAt	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
20b65807fd672d0d46729aa0aa186ee9bfe383e8	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: LET definitions are reduced to global definitions	Except1FunWithAt	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
9ab52fd6ed4a816a5d7e002fc3f5e0090e7065b1	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Extends	True	Passed	Model Under Test Equivalent Model
c85d0f3153977a4d10f0ecec398faed870dde25f	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Extends	False	Passed	Model Under Test Equivalent Model
3348b4d077cf49c8dc749aec7b4bf663fc97a207	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
8d48289d3f7004e35dc4ac8893db27b6cb54de1f	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
01b22f0b9c41ce0de7e6ccc540166b950eab955a	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Variable	True	Passed	Model Under Test Equivalent Model
73253cc6237215473c34cb746ab3792a30194e98	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Variable	False	Passed	Model Under Test Equivalent Model
dc3ce7fbdb4d08ce95bb87da0aa6b48f24db829d	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Constant	True	Passed	Model Under Test Equivalent Model
c711a82d3f7503fec587a5b698fed737a0292ba7	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Constant	False	Passed	Model Under Test Equivalent Model
58f463294fc83b3f49be953ecd14163d70c6bb72	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	ConstantRank1	True	Passed	Model Under Test Equivalent Model
163ea0382f8c70cca5058ea8e59e8101dfd7f2ff	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	ConstantRank1	False	Passed	Model Under Test Equivalent Model
1d1e96e1953e5f9a3e0e00b991c0fcc01a79e36b	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Instance	True	Passed	Model Under Test Equivalent Model
316a49634b0d70b7ee494062dbd5725dc73e56e5	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Instance	False	Passed	Model Under Test Equivalent Model
89d75eaf24bc283dd0a5f1de4656357234449da6	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	InstanceWith	True	Passed	Model Under Test Equivalent Model
048915609138cd3195dcb2d73998635c6bd65a47	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	InstanceWith	False	Passed	Model Under Test Equivalent Model
8e7d4beadc574ba2478a716e0d3869e8c4340b90	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	InstanceNamed	True	Passed	Model Under Test Equivalent Model
a183b10e4a0aa063d78877879e469709c3fab789	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	InstanceNamed	False	Passed	Model Under Test Equivalent Model
31c941aee76dc57e254b48a85fabd59df35d2449	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
d7a8bd2f06d29845ebeb14e4190ffa559f2e11e0	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
fcdae3ed72a9af9a5fc15fba8369cdc13edc7e93	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
768b21a697c2c3d63af4b945521d9378c200c352	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
5e0d75c3ded7abc507d6e23493328d88d523d132	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
f9384ccb43a4d6b54b0e63497fe4a21c7cb56bdf	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
3a9bebf5866699b303da204bd4ac48345cdf6ed1	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
5cef341bde50df34a1bf13f985da17af86f769c8	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
95928e27f94c094eb9b7440843b8e43033b4b28b	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
597564e5f29a5ee3e945149f5e9ec9b05320d082	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
00222391e6890dbcb9f7f71c4e13c021ecc1f8cd	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Enabled	True	Passed	Model Under Test Equivalent Model
61cb78b39b744028741f5ea594098b0cfa919186	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Enabled	False	Passed	Model Under Test Equivalent Model
4a9bab24032ba1559d3646e7a39834d06ef3b132	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Cross2	True	Passed	Model Under Test Equivalent Model
d2f86f72a400a4b201a110c6fb6584ce4b6dbd8a	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Cross2	False	Passed	Model Under Test Equivalent Model
cb2c8218f4197cc08a62f6545335e63ba1bec76c	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Cross3	True	Passed	Model Under Test Equivalent Model
1e2125d1b86fc3987e4fe8e43f13c6cac04b3c62	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Cross3	False	Passed	Model Under Test Equivalent Model
15938e048dc3da0f66bdb26288f45b452e0c9cc1	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: For finite R replace [D -> R] with explicit function set enumeration; for infinite R replace (f \in [D -> R]) with conjunction (DOMAIN f = D /\ (\A x \in D : f[x] \in R))	Except1FunWithAt	FunSet	True	Passed	Model Under Test Equivalent Model
5b9827b82ab6ae2f1bbd2efc44605f632f56913b	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: For finite R replace [D -> R] with explicit function set enumeration; for infinite R replace (f \in [D -> R]) with conjunction (DOMAIN f = D /\ (\A x \in D : f[x] \in R))	Except1FunWithAt	FunSet	False	Passed	Model Under Test Equivalent Model
add90ba00547b1a38ba46213e4731b04c0c32070	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: For finite R replace [field : R] with explicit function set enumeration; for infinite R replace (f \in [field : R]) with conjunction (DOMAIN f = {'field'} /\ f['field'] \in R)	Except1FunWithAt	RecordSet	True	Passed	Model Under Test Equivalent Model
70039a77cd6748a947db69b55971c3fd1439f721	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: For finite R replace [field : R] with explicit function set enumeration; for infinite R replace (f \in [field : R]) with conjunction (DOMAIN f = {'field'} /\ f['field'] \in R)	Except1FunWithAt	RecordSet	False	Passed	Model Under Test Equivalent Model
bfff63e5951a16a86cad614768760f63b7f9386b	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SetDiff	True	Passed	Model Under Test Equivalent Model
af3414a5acbda12cddf887c45dbf822e5edfdd4c	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SetDiff	False	Passed	Model Under Test Equivalent Model
0ac81ed87ea38b4253f812548cd7496f1c187fdf	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SetUnion	True	Passed	Model Under Test Equivalent Model
0db2eef9d9eba2b8fb0f45fe4eb0300a69a75934	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SetUnion	False	Passed	Model Under Test Equivalent Model
580ce9705627e5aaaa4323ef57766cd64ff4bdf6	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SetIntersect	True	Passed	Model Under Test Equivalent Model
429202f8af8420bbbc4a412c4736a4f7f6b34a34	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SetIntersect	False	Passed	Model Under Test Equivalent Model
c86659c1728e8d22e995873587604e18006a4017	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SubsetEq	True	Passed	Model Under Test Equivalent Model
06c780a58af3045a65961a295fa851f9991e5a9f	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SubsetEq	False	Passed	Model Under Test Equivalent Model
6c8d49e2c84971e8e6b8af07f8eb10ca5e16fa63	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	IfCond	True	Passed	Model Under Test Equivalent Model
09028ef9aefcb717c492e673559f3b5b6ced7c85	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	IfCond	False	Passed	Model Under Test Equivalent Model
6a79bd19a7fd33882598a43c41b011334076737f	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	IfThen	True	Passed	Model Under Test Equivalent Model
fe6950f31296351cf2329e20d6d3aeecba8b602f	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	IfThen	False	Passed	Model Under Test Equivalent Model
a1f47176aea0d7a611b2da6a12895bc37387da70	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	IfElse	True	Passed	Model Under Test Equivalent Model
a954a21366e67b1065e6c78d92d23e5758870f14	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	IfElse	False	Passed	Model Under Test Equivalent Model
1836e204ec171880cf71a07f21ad32ed84aa3c80	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Subset	True	Passed	Model Under Test Equivalent Model
f24ca527bf3bf1d6ca89e1bff24d227a13a946e1	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Subset	False	Passed	Model Under Test Equivalent Model
fd08938b3d2fcb3860f544ec64fa24598cc90b5a	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Domain	True	Passed	Model Under Test Equivalent Model
438db43ae84651514f2418295bf5a1899e4a2c57	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Domain	False	Passed	Model Under Test Equivalent Model
63d1e31f9b0611536c00369d1da6ce05386ee70b	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Union	True	Passed	Model Under Test Equivalent Model
1e2ce8387d0b9676d959a5343ea855996b2843e2	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Union	False	Passed	Model Under Test Equivalent Model
73bb9c458f2ffbb69da3790a1824fdd41947612b	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Unchanged	True	Passed	Model Under Test Equivalent Model
40d0ccc3f7eefd950d189fbaa76e7be2a3fc2d9e	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Unchanged	False	Passed	Model Under Test Equivalent Model
7535840cbc629a5fe96ce8e0db064b0374c3153e	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Equivalence	True	Passed	Model Under Test Equivalent Model
2548ae84bad6f6562bd746362095c7f9a43c7924	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Equivalence	False	Passed	Model Under Test Equivalent Model
a0cae1f47e55143783590b7080fe15ce509921ff	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	StringEmpty	True	Passed	Model Under Test Equivalent Model
12e1f059bd1680ebebca99ff08286a43b671e35b	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	StringEmpty	False	Passed	Model Under Test Equivalent Model
38cfce6a8c61f70ae325516b2cc99d84a8b83f88	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	String	True	Passed	Model Under Test Equivalent Model
66409a2879c5f112761e8a7f6829df6081ac6e3e	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	String	False	Passed	Model Under Test Equivalent Model
96c7e13c51a5839393936ce0f456ca69f9e20b63	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SeqLen	True	Passed	Model Under Test Equivalent Model
69f90cb3338fd5f53f2fa21f9292d39801dafe0e	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SeqLen	False	Passed	Model Under Test Equivalent Model
01cb51c3bcafc56548132a3467fc27e7af9a7ef2	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SeqConcat	True	Passed	Model Under Test Equivalent Model
e80d734b0bbac40226c492bf4942dcb9b69926e9	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SeqConcat	False	Passed	Model Under Test Equivalent Model
daf954018497f939746e3de7004cda4b2b41f755	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
d85159e97b68d4584ca162256dc7564aeccd4175	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
1f90aa4b4a183da626714c27df5746d8691c9c7f	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
55231465fc6854db5702e29b9b1dafc7c052c4e0	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
ab818ac4fae6c53f7de7072b1e67af056c2be880	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Except1FunWithAt	NumRange	True	Passed	Model Under Test Equivalent Model
7bf4a2d0e98204bb8ec9c76ee729d95f56c3ecac	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	Except1FunWithAt	NumRange	False	Passed	Model Under Test Equivalent Model
7be41c0430cbcb2dbdc7fac896a8621763667648	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	Except1FunWithAt	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
5d1162071c54d4bbca811473061f374571976747	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	Except1FunWithAt	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
33b66696e96053da5dea7e8b4f97cbadf0eabccd	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: f @@ g is replaced with equivalent: LET DomF == DOMAIN f IN [u \in DomF \union DOMAIN g \|-> IF u \in DomF THEN f[u] ELSE g[x]]	Except1FunWithAt	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
2ca72380a4f78347f3333b080645dd087c065710	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: f @@ g is replaced with equivalent: LET DomF == DOMAIN f IN [u \in DomF \union DOMAIN g \|-> IF u \in DomF THEN f[u] ELSE g[x]]	Except1FunWithAt	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
0d40756ffb386b05a4e92c1cd225adfcadb26bad	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	Except1FunWithAt	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
2437bb5622fb55c486c073705da79f9e07a584fd	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	Except1FunWithAt	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
47a4d4685a8cad728c518537b2c4f470108dfd9a	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: SortSeq(S) is reduced to equivalent sort implementation	Except1FunWithAt	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
10a73b6eeb7e344aec5b2ae4306bb80eade1f1cd	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: SortSeq(S) is reduced to equivalent sort implementation	Except1FunWithAt	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
cf2d3a68417253dc19a47faa33de6f8ccfa12ea8	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: TLCEval(expr) is reduced to just expr	Except1FunWithAt	TlcEval	True	Passed	Model Under Test Equivalent Model
a3e934b36711d673387c4338b2a4c9f8feb3afb8	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: TLCEval(expr) is reduced to just expr	Except1FunWithAt	TlcEval	False	Passed	Model Under Test Equivalent Model
639a9287a40f9aed0ad9c179ebe556db0d1592a9	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagBagToSet	True	Passed	Model Under Test Equivalent Model
bbea3e64f168c72d8781d0c44a0e070a935c19d0	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagBagToSet	False	Passed	Model Under Test Equivalent Model
8ecd8a0e1527b02f84abb9a267c01bed562f5c8f	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagSetToBag	True	Passed	Model Under Test Equivalent Model
fb6ec7a419b547be0c7dd64f236d52f17ce72973	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagSetToBag	False	Passed	Model Under Test Equivalent Model
dd0a19d4f2dd19af1b5a184e10472e8c26b393e0	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagBagIn	True	Passed	Model Under Test Equivalent Model
2ecb1997f5ca1722f7b08266a957ad34c32ce173	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagBagIn	False	Passed	Model Under Test Equivalent Model
815ccd9bc19f8abe2b15bc53b6c17319aa1731d5	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
eaecd68e43a095a4b640c049aeab4d5211bb7a9a	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
7bdeb3915b6ac89e36d9d29393e5a0636f9912e2	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagAddBag	True	Passed	Model Under Test Equivalent Model
a5c30f32ce7e37cd30026effa779b415318d6ff0	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagAddBag	False	Passed	Model Under Test Equivalent Model
f5ba2ea6544f61a130af298fd49b495cba3909e2	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagBagSub	True	Passed	Model Under Test Equivalent Model
67275d9e329a4931a9c4a31bc271835e6b2e876f	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagBagSub	False	Passed	Model Under Test Equivalent Model
36a99cc38f09c4a7fe89d28d7a0a0292b34f4539	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
24434e6b402c6e369d57852570ffb6e557e257c9	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
4f3c01a5a7334f1d9aadf1d0ed4f79a470020dda	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
408af4b5643ff7d502ea8e6796dce22cc723c279	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
3ebf77281bd10cf6f185846a81f8476a4ba36433	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagBagUnion	True	Passed	Model Under Test Equivalent Model
f64a25351512644a47021b39387d602d9b656f29	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagBagUnion	False	Passed	Model Under Test Equivalent Model
239e980f395344e08d25976003b525675ef72057	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
fdc21a524f48c89d9f6c220e6d9e6223d63bc8ed	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
4b7430d712ea0e7a53f6e50828141d95cc905e3a	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
9b8c4e0462fec307505950beb0acb202da1512c2	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
408d509c74e243546a9247527c78e7b20a4d38d9	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: SubBag(B) is reduced to equivalent SubBagR implementation	Except1FunWithAt	BagSubBag	True	Passed	Model Under Test Equivalent Model
05887580e70be331db7b91b92a1ef2f4bed1536c	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: SubBag(B) is reduced to equivalent SubBagR implementation	Except1FunWithAt	BagSubBag	False	Passed	Model Under Test Equivalent Model
e2478e8ee00832cc7caffc3c83016a5f4cc9362a	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: IsFiniteSet(B) is reduced to either TRUE or FALSE, depending on type information (finite and infinite sets have different types)	Except1FunWithAt	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
55df68b0684ac7f77f02f7dc8086450289c0a259	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: IsFiniteSet(B) is reduced to either TRUE or FALSE, depending on type information (finite and infinite sets have different types)	Except1FunWithAt	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
4665c84ab2b75e4ab4b872a1a2968df59261aa24	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
dbbebb64ac15253bcef3741e99fd9ac4b20ff90f	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
bb91ed832bcdbbf10c63171bec0e70bf4187969d	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SeqHead	True	Passed	Model Under Test Equivalent Model
2dee1104f65fcdf11507a4b3029809395cf050d8	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SeqHead	False	Passed	Model Under Test Equivalent Model
8dd7caf7386e47f264033a8cba37cb7bcea5a947	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SeqTail	True	Passed	Model Under Test Equivalent Model
046381475e2a1f7a8b238928603bba91e93ac15d	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SeqTail	False	Passed	Model Under Test Equivalent Model
fd5334794a5d5d37da5890f7c77f3e2aff8654b0	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SeqAppend	True	Passed	Model Under Test Equivalent Model
b1a22366b80b60463a5e4ca52c10b094b3596782	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

Tests by case feature Except1FunWithAt; CLI Option: -workers 1