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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
29ab12eb7f3242c43b95fd9f039534fa2bd84744	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Fun	OneLineComment	True	Passed	Model Under Test Equivalent Model
1b21659bec154eb1f66c6dfdae5f81029ce66e22	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Fun	OneLineComment	False	Passed	Model Under Test Equivalent Model
74ae509b8eec49cccf1eacc0c832b574f9f1def1	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Fun	MultiLineComment	True	Passed	Model Under Test Equivalent Model
5c8290f5ca69deb376dc5b1afeaebce68749606a	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Fun	MultiLineComment	False	Passed	Model Under Test Equivalent Model
01ba94159ead0d0d43ed08d16795b8be09b4146b	Apalache	Fun	BoolTrue	True	Passed	Model Under Test Equivalent Model
39a5ce9414075e7ce6e566496fc5183a56f1df0c	Apalache	Fun	BoolTrue	False	Passed	Model Under Test Equivalent Model
735c8312749f6271bf0986f0687d4e709bb64cc7	Apalache	Fun	BoolFalse	True	Passed	Model Under Test Equivalent Model
7e02605666bd9d62deb1f94764a38b8e03f24f0f	Apalache	Fun	BoolFalse	False	Passed	Model Under Test Equivalent Model
74b3f0c9a2533137d554ab5ac95330784442eafc	Apalache	Fun	BoolSet	True	Passed	Model Under Test Equivalent Model
0171767c2eb8de9706f9911832dade5d11b7edbe	Apalache	Fun	BoolSet	False	Passed	Model Under Test Equivalent Model
aa8432aa959ddfb76b7b396dc023623c81d3527e	Apalache	Fun	And	True	Passed	Model Under Test Equivalent Model
07668dd4fa7ff418b39146f18d1e975748e591c6	Apalache	Fun	And	False	Passed	Model Under Test Equivalent Model
981cc72fc963ab4203f81e48c186582019790c38	TLC with reduction strategy: Plug Feature: /\ A /\ B == (A /\ B)	Fun	AndMultiLine	True	Passed	Model Under Test Equivalent Model
6915537b22020036c2deb12034a5740ab0b212a8	TLC with reduction strategy: Plug Feature: /\ A /\ B == (A /\ B)	Fun	AndMultiLine	False	Passed	Model Under Test Equivalent Model
e54dd8102e119354cca7c4986a65993268dcace5	Apalache	Fun	Imply	True	Passed	Model Under Test Equivalent Model
670e101cf085179a32ae6ec88689e9630aa30c6f	Apalache	Fun	Imply	False	Passed	Model Under Test Equivalent Model
724817d16dfeb1c71eb7e2e8f0ea743f61693f3c	Apalache	Fun	Not	True	Passed	Model Under Test Equivalent Model
582eaa9b5cd42999fb528e0c49bd603e7db2e5a2	Apalache	Fun	Not	False	Passed	Model Under Test Equivalent Model
7749a22f7dd6a0a6ece081b7623d249e78dafd8e	TLC with reduction strategy: Plug Feature: A \/ B == ~(~A /\ ~B)	Fun	Or	True	Passed	Model Under Test Equivalent Model
74fc99049471ab639c35827af8231dff9f5c567f	TLC with reduction strategy: Plug Feature: A \/ B == ~(~A /\ ~B)	Fun	Or	False	Passed	Model Under Test Equivalent Model
60105873835be21f3c77e781a95d119bc5ba72d3	TLC with reduction strategy: Plug Feature: \/ A \/ B == (A \/ B)	Fun	OrMultiLine	True	Passed	Model Under Test Equivalent Model
03c4114f138b6ac071774b0559ceab3048aa0d28	TLC with reduction strategy: Plug Feature: \/ A \/ B == (A \/ B)	Fun	OrMultiLine	False	Passed	Model Under Test Equivalent Model
4dc0c7092e87f84c369c34f4b6ca2ab43e28263a	Apalache	Fun	Eq	True	Passed	Model Under Test Equivalent Model
8b24fdb62513e7a7425a287fc4e67a62e566b728	Apalache	Fun	Eq	False	Passed	Model Under Test Equivalent Model
f3e4d7ac09abbe3e4e4dca6147b82f1e66fb92e9	Apalache	Fun	Ne	True	Passed	Model Under Test Equivalent Model
4b383ba3c4a5076cbcb4c804a8297e4177614a02	Apalache	Fun	Ne	False	Passed	Model Under Test Equivalent Model
b8f577b3232cc73120b16055a0346a0adfcb4553	Apalache	Fun	Let	True	Passed	Model Under Test Equivalent Model
4079b34156db6041851127a06191d59f921b9671	Apalache	Fun	Let	False	Passed	Model Under Test Equivalent Model
baabf694b173dacedb4a8a3ad6c2462054488776	Apalache	Fun	SetEmpty	True	Passed	Model Under Test Equivalent Model
bf604ebc968e94f3834ec634cdd18fd972201a78	Apalache	Fun	SetEmpty	False	Passed	Model Under Test Equivalent Model
a1aa4f5125ff5795670a52c962a2190b79287556	Apalache	Fun	Set0	True	Passed	Model Under Test Equivalent Model
8f5a0aea682f1a626e32f0f961958ca55227f6ce	Apalache	Fun	Set0	False	Passed	Model Under Test Equivalent Model
9f3b4d5181fed248ffccc250b30da905c281afb4	Apalache	Fun	Set1	True	Passed	Model Under Test Equivalent Model
d4cb5b5910d86f80a7b5336480110e4070f8c658	Apalache	Fun	Set1	False	Passed	Model Under Test Equivalent Model
2cf6cf84fc762455433b31c8915dadfd3388943a	Apalache	Fun	Set2	True	Passed	Model Under Test Equivalent Model
768a99a3ee2ec91b8e03be1019b530889b656439	Apalache	Fun	Set2	False	Passed	Model Under Test Equivalent Model
84f42b52b795966a7fe13a1107d581dc280f5c92	Apalache	Fun	Fun	True	Passed	Model Under Test Equivalent Model
c384cec2ecefc7cc52da11182be142fe5bf27f13	Apalache	Fun	Fun	False	Passed	Model Under Test Equivalent Model
6ac7f65417e4b3efa35364e2281ad8ccbf50b3c7	Apalache	Fun	In	True	Passed	Model Under Test Equivalent Model
9dfbc161d2e6f5bcfff2002bac037715117c72a6	Apalache	Fun	In	False	Passed	Model Under Test Equivalent Model
1bfd3d9e4f3be26e7a9788a00b5da291c2f50d7b	Apalache	Fun	NotIn	True	Passed	Model Under Test Equivalent Model
77a05adcd9a1393feeec2ea50186521b8fa45f71	Apalache	Fun	NotIn	False	Passed	Model Under Test Equivalent Model
fb4173c6891b844f9ef0cf857575440058773e85	Apalache	Fun	Exists	True	Passed	Model Under Test Equivalent Model
768639d9c291976a4f335cddab1fd0bdb2d65660	Apalache	Fun	Exists	False	Passed	Model Under Test Equivalent Model
58abd9deb3e121487b4b1da13050636f8dcc5e30	Apalache	Fun	Forall	True	Passed	Model Under Test Equivalent Model
fd181e6621b9a2b70a8d10d33c0fbe1f0ce563ed	Apalache	Fun	Forall	False	Passed	Model Under Test Equivalent Model
d73f0c297731139e4be6ad850ea6a08d5e0edd22	Apalache	Fun	Choose	True	Passed	Model Under Test Equivalent Model
3ad5e1154b38e5ad3d35dfb9336fc433d56c1547	Apalache	Fun	Choose	False	Passed	Model Under Test Equivalent Model
44f7aa327ce4423bcb8c0cc38628ba51e56b3e34	Apalache	Fun	Record	True	Passed	Model Under Test Equivalent Model
90c9711c0af5a06a06cb3d720c2617ebf3f88264	Apalache	Fun	Record	False	Passed	Model Under Test Equivalent Model
8bf0870f35a6795b9430fc9c2530bd3fc7222aba	Apalache	Fun	Tuple	True	Passed	Model Under Test Equivalent Model
d80f741691075fc7792d46be9f2d00f5abc48df4	Apalache	Fun	Tuple	False	Passed	Model Under Test Equivalent Model
51872252506a4907c074671105543e77a0913a0d	Apalache	Fun	TupleEmpty	True	Passed	Model Under Test Equivalent Model
3bf475748e78ba6e28824f0214ae59c073a897c2	Apalache	Fun	TupleEmpty	False	Passed	Model Under Test Equivalent Model
64245786aea3ffbb4474022802d71bcb6a016c0d	Apalache	Fun	FunApp	True	Passed	Model Under Test Equivalent Model
146b7f85ac5e63e4b55ee87e4a8b3b457f7322c4	Apalache	Fun	FunApp	False	Passed	Model Under Test Equivalent Model
1f5614d98017ee26a118bc0a5141b214e2d626e8	Apalache	Fun	Prime	True	Passed	Model Under Test Equivalent Model
2d4a67aed76df0da169abeaeca9cff5213373106	Apalache	Fun	Prime	False	Passed	Model Under Test Equivalent Model
c9cd816c7194966800bd396c5d25f7e650157af7	Apalache	Fun	NumZero	True	Passed	Model Under Test Equivalent Model
6a7eddf6de51ef2d4d970cb3ce329a79210f90d5	Apalache	Fun	NumZero	False	Passed	Model Under Test Equivalent Model
af7f80230783854766535987437cde876621cd03	Apalache	Fun	NumOne	True	Passed	Model Under Test Equivalent Model
a6fe472850d7564eb5e28950ec784bea0cafbb2b	Apalache	Fun	NumOne	False	Passed	Model Under Test Equivalent Model
7e91291c7b59e0d0b7a428de0918aedca7e48c04	Apalache	Fun	NumMaxInt	True	Passed	Model Under Test Equivalent Model
bc69226075aef8adcb991f6e757597d77f76e9e0	Apalache	Fun	NumMaxInt	False	Passed	Model Under Test Equivalent Model
37bbd082306346f59c07e12154fea614b9ea749b	Apalache	Fun	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
992bc8de300cb1ca95c9fd1913b4b59226d1d996	Apalache	Fun	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
90f9f752939990a869b0c54a794910ae8fa744cf	Apalache	Fun	NumPlus	True	Passed	Model Under Test Equivalent Model
9cbb8f815ba72d544100aee3d7820a7e01a3f050	Apalache	Fun	NumPlus	False	Passed	Model Under Test Equivalent Model
91733ba01a1a93f4d247ddb3a8c79069e627f046	Apalache	Fun	NumMinus	True	Passed	Model Under Test Equivalent Model
093310b4d1c33f7fdf8e210372558d89b9f1d826	Apalache	Fun	NumMinus	False	Passed	Model Under Test Equivalent Model
50c415a108e7abe2bcf42c2415aa8ba416226be2	Apalache	Fun	NumMul	True	Passed	Model Under Test Equivalent Model
9390f03024d45a96476436a661773b396cc2b61e	Apalache	Fun	NumMul	False	Passed	Model Under Test Equivalent Model
623cf825de947064759842c8e3304126dfe595e0	Apalache	Fun	NumDiv	True	Passed	Model Under Test Equivalent Model
9f2238204d35db09abfb84630a67f6acc8ab1f68	Apalache	Fun	NumDiv	False	Passed	Model Under Test Equivalent Model
47f15c81e11e192780a2f51f13fa3c66753ff05c	Apalache	Fun	NumMod	True	Passed	Model Under Test Equivalent Model
9aed9abb2363bc464271f526c7422b486d3455e9	Apalache	Fun	NumMod	False	Passed	Model Under Test Equivalent Model
3374fe5116f8d988af48d5c64b7efb8920924712	Apalache	Fun	NumPow	True	Passed	Model Under Test Equivalent Model
d9dbf5f0436f770526bc9961d7845a2ce438b5eb	Apalache	Fun	NumPow	False	Passed	Model Under Test Equivalent Model
cf84bea4e3da249daddda7e7b57befd7f0bd17df	Apalache	Fun	NumGt	True	Passed	Model Under Test Equivalent Model
c1615a148e9dfdd3ef1aa6916d21cc2c5567864a	Apalache	Fun	NumGt	False	Passed	Model Under Test Equivalent Model
c1da7d046c2f9227b53961700cdcaf4e2610fd74	Apalache	Fun	NumGe	True	Passed	Model Under Test Equivalent Model
128fb15e41c66e000b0d17a461b0746e1581a64f	Apalache	Fun	NumGe	False	Passed	Model Under Test Equivalent Model
be1037788e1d703d3ddeba3148ba693724ca22d0	Apalache	Fun	NumLt	True	Passed	Model Under Test Equivalent Model
b7f8dd8155cb8ba8db20c360f304b8ac7ddc289d	Apalache	Fun	NumLt	False	Passed	Model Under Test Equivalent Model
b303edb56a0a3f9533dc7e78e2d9060751c64301	Apalache	Fun	NumLe	True	Passed	Model Under Test Equivalent Model
eb3548b4228af796d278224f2078cc410310dd4b	Apalache	Fun	NumLe	False	Passed	Model Under Test Equivalent Model
163bb7f4dfb30a1db92ea1f66c3ec826979d0507	Apalache	Fun	DefFun	True	Passed	Model Under Test Equivalent Model
dab478886af8a909b0499ca73b69f42ca5793570	Apalache	Fun	DefFun	False	Passed	Model Under Test Equivalent Model
9213407c156a0dc26f2b52f760abab35ea13be20	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Fun	LetDefFun	True	Passed	Model Under Test Equivalent Model
181d450fbb0c9096629fffb159529c458f56a8b4	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Fun	LetDefFun	False	Passed	Model Under Test Equivalent Model
47b22afb8cbaec790926a5420446a3f8462b56d8	Apalache	Fun	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
3aedb214c7b061020f87af53ffc51f3766f2a0bf	Apalache	Fun	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
323c70ac7196e683e172d5f6cf018e0e2e214981	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Fun	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
e38a0266afacf7c9caab6ba3820b9667fad9bc6c	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Fun	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
1b3dde6dbe23e369796aa3322100157cf8a72417	Apalache	Fun	Def0	True	Passed	Model Under Test Equivalent Model
7dbe65a091fca6f93e1d192f844c1a3b9d99f83e	Apalache	Fun	Def0	False	Passed	Model Under Test Equivalent Model
706ce10b8fae374b0b3581b8e4226b0fa45fff5a	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Fun	LetDef0	True	Passed	Model Under Test Equivalent Model
d60b500f937d9a1e106cd85a01d1971e39696b75	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Fun	LetDef0	False	Passed	Model Under Test Equivalent Model
d278653066e62b173a14304aad5a43ee8fc083e2	Apalache	Fun	Def1	True	Passed	Model Under Test Equivalent Model
8d417e3ffd06c3cce21551cfc7357d47c892e31d	Apalache	Fun	Def1	False	Passed	Model Under Test Equivalent Model
d719bc8eb2431665127911ccc5d6f4814e480c19	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Fun	LetDef1	True	Passed	Model Under Test Equivalent Model
0a681a1a84151720ee5a3edc1dd0340c2baed198	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Fun	LetDef1	False	Passed	Model Under Test Equivalent Model
7c4ed8c5075c91e80cb8c263163482d3fd91c5d2	Apalache	Fun	Def2	True	Passed	Model Under Test Equivalent Model
c20f2180ae28b9955139954199755eaa40bd6714	Apalache	Fun	Def2	False	Passed	Model Under Test Equivalent Model
31e0ca6100b4896e21f1dd58990982c27a1e2e25	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Fun	LetDef2	True	Passed	Model Under Test Equivalent Model
d3177e02f5a042a54b0503fd48694ae53fd6c477	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Fun	LetDef2	False	Passed	Model Under Test Equivalent Model
62af23ac4192d85b746157328d9fdb65ace2f679	Apalache	Fun	Def1Recursive	True	Passed	Model Under Test Equivalent Model
1bd0a0764cf947b11558d93103adade0b2c0b2e1	Apalache	Fun	Def1Recursive	False	Passed	Model Under Test Equivalent Model
97025aff69b9a193b96d03e1f1cd9b15c147f848	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Fun	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
bb3e0c07e2c1292c1ee36ec65bab5a74ce82e4eb	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Fun	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
33237baf1a065ca1aba05e538ca4465f610e4be3	Apalache	Fun	Extends	True	Passed	Model Under Test Equivalent Model
a59a818bff3d34cd8d0fc6baf463fb66e20ea80d	Apalache	Fun	Extends	False	Passed	Model Under Test Equivalent Model
efc2b113789bd830b5c41c6688c0893befa71585	Apalache	Fun	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
2a736c0686c20e54af7f2ee384b38ba186315fae	Apalache	Fun	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
a66f70b36548dc410778ac91bef290ecf33fbf5a	Apalache	Fun	Variable	True	Passed	Model Under Test Equivalent Model
d9c8eebf4bf0445842398110468e52a9d28949d2	Apalache	Fun	Variable	False	Passed	Model Under Test Equivalent Model
d46d66536ffee62ed667cab1f8f5d379f761e10e	Apalache	Fun	Constant	True	Passed	Model Under Test Equivalent Model
fae1f1f00096af905cfb46abafa3a54ded7c7fd5	Apalache	Fun	Constant	False	Passed	Model Under Test Equivalent Model
0a075ea8b400c86f9cff2e178a7fd3e57c6b87ec	Apalache	Fun	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
14b7d82ce99b39d6ec5fc3e840639a85a410b86c	Apalache	Fun	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
44dd31d0e57a1dd42807254ca9993bdf1fd8c703	Apalache	Fun	ConstantRank1	True	Passed	Model Under Test Equivalent Model
6a851d1ea01bd5eebba7be6fb59719ab64b921b0	Apalache	Fun	ConstantRank1	False	Passed	Model Under Test Equivalent Model
7cbf91165007ac2e2ebe58b0d55051cd54e60569	Apalache	Fun	Instance	True	Passed	Model Under Test Equivalent Model
9ea6bb39c868f6798f4bfd1e2596356c1fd8c304	Apalache	Fun	Instance	False	Passed	Model Under Test Equivalent Model
3f59062290c87d21cc7115f44d5fd49e9672cbf8	Apalache	Fun	InstanceWith	True	Passed	Model Under Test Equivalent Model
f377b18f1372c77205e71118ad3331bb3404081e	Apalache	Fun	InstanceWith	False	Passed	Model Under Test Equivalent Model
e984717dd6562df1d1b66d65cea8384b34b1dfb7	Apalache	Fun	InstanceNamed	True	Passed	Model Under Test Equivalent Model
6ac2cc4597aaf61a53dfdc703f6c34481875ab49	Apalache	Fun	InstanceNamed	False	Passed	Model Under Test Equivalent Model
68412d933ec00a2f4e6ba684dce43a7a989c6e51	Apalache	Fun	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
62f59e01d6071be7497739f41ca679a200093cfb	Apalache	Fun	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
bf8705a8125b4925dd1f4423a76bf78c43440d95	Apalache	Fun	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
523c4a6584c6aaf07c4443dda92dda34bd36d472	Apalache	Fun	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
ae24fce5a454a78e1d3fab9fa9724bcc36a803ae	Apalache	Fun	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
ffd9fa00d92e701b4272cde8e1724de0d3ffa14c	Apalache	Fun	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
e8bde74a50bdd2b2d95c6b3677536b11e5a9c86e	Apalache	Fun	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
d018e98f86470b4dadb4445037710930c8abe660	Apalache	Fun	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
7141b1537ff6c4541188914a652e8a2feb9ee009	Apalache	Fun	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
78fc9569aa55a31df9345c2c0003ab5f6c945e97	Apalache	Fun	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
546409d81965c42dc84c7532ec5ced99d0c28ccb	Apalache	Fun	Enabled	True	Passed	Model Under Test Equivalent Model
026d5623e65fbe2b311eb4d0f4d933eb7c6c65f7	Apalache	Fun	Enabled	False	Passed	Model Under Test Equivalent Model
dfa36751eebefb7522f305ccf313852439ceea24	Apalache	Fun	Cross2	True	Passed	Model Under Test Equivalent Model
a08f4594577a19c9cc95d41e226f48fe7ed0137c	Apalache	Fun	Cross2	False	Passed	Model Under Test Equivalent Model
ae42a455363c2a4b28be2c5d093eab9ac09f67a5	Apalache	Fun	Cross3	True	Passed	Model Under Test Equivalent Model
5e3cc77c9e1c4a8ff8d000d9360831df61173c05	Apalache	Fun	Cross3	False	Passed	Model Under Test Equivalent Model
a8c75a3a05ec0c80a4fe48f71fd0686fc0232155	TLC with reduction strategy: 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))	Fun	FunSet	True	Passed	Model Under Test Equivalent Model
f9b9592a851cb86ef2958e007265968539bc2162	TLC with reduction strategy: 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))	Fun	FunSet	False	Passed	Model Under Test Equivalent Model
c468d896cf65e0d0673deb986651b88b3dc8da0e	TLC with reduction strategy: 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)	Fun	RecordSet	True	Passed	Model Under Test Equivalent Model
0f1d7037693dc2588621f49df6b00488ac1261b1	TLC with reduction strategy: 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)	Fun	RecordSet	False	Passed	Model Under Test Equivalent Model
62f9a07325de5cbffc89fc7e9e6f081b15b0cedd	Apalache	Fun	SetDiff	True	Passed	Model Under Test Equivalent Model
7e3339642ff8ba96311774d0d94a77f609255530	Apalache	Fun	SetDiff	False	Passed	Model Under Test Equivalent Model
38bc7bb58b9daceaeb54fbd6e559d162b5aa61ab	Apalache	Fun	SetUnion	True	Passed	Model Under Test Equivalent Model
0dfc9a464054f9c7730ad7ccb3103e7c31ba4398	Apalache	Fun	SetUnion	False	Passed	Model Under Test Equivalent Model
d48ac5a74c9483a4e9f031191da80f6dad025bc5	Apalache	Fun	SetIntersect	True	Passed	Model Under Test Equivalent Model
24d380ea425658837a1adf2fe1958116321b6afe	Apalache	Fun	SetIntersect	False	Passed	Model Under Test Equivalent Model
2868a62b892561d4b4b6020dc8fa5e800a25821c	Apalache	Fun	SubsetEq	True	Passed	Model Under Test Equivalent Model
5abf0fa0e017afeef0ba796509e58a9ae605bfef	Apalache	Fun	SubsetEq	False	Passed	Model Under Test Equivalent Model
78f5343b35bcc3da0ad31b56fa2e4c970b1c9bf5	Apalache	Fun	IfCond	True	Passed	Model Under Test Equivalent Model
2152bec2ab7c0ae99336d988bb55f3b4db279e8c	Apalache	Fun	IfCond	False	Passed	Model Under Test Equivalent Model
3bb07ada436c420fdabdd9f8e675891269549f38	Apalache	Fun	IfThen	True	Passed	Model Under Test Equivalent Model
be5000244f5a67a4c353af77552b473d41082e6e	Apalache	Fun	IfThen	False	Passed	Model Under Test Equivalent Model
b539e50fbd927dc0553d4c21bacbb2bbd95a3dee	Apalache	Fun	IfElse	True	Passed	Model Under Test Equivalent Model
60e406005696176e454052f35f56b6d325d0bc26	Apalache	Fun	IfElse	False	Passed	Model Under Test Equivalent Model
75b512e87d212c737996c5a010b18fdb7bcd7ae1	Apalache	Fun	Subset	True	Passed	Model Under Test Equivalent Model
b4cc86f510d6a8410f85525b80006fdebb4f3cda	Apalache	Fun	Subset	False	Passed	Model Under Test Equivalent Model
17ca1067ca886cc4cce2d6a688da54d30f2823fb	Apalache	Fun	Domain	True	Passed	Model Under Test Equivalent Model
9d4c0f19dc0ebd6aa81c9ed90bd4870f8b006d11	Apalache	Fun	Domain	False	Passed	Model Under Test Equivalent Model
0409c59eabf210bababf407adfd40be255be6655	Apalache	Fun	Union	True	Passed	Model Under Test Equivalent Model
d87d2cd09cb8bfa31fa6971a9c08c6648b9df7d6	Apalache	Fun	Union	False	Passed	Model Under Test Equivalent Model
c0f27558a5fa6df89f1f1a46e1395db179b40547	Apalache	Fun	Unchanged	True	Passed	Model Under Test Equivalent Model
666c5fb4e4f12a5a923489f2cfdca80a3bdd1de0	Apalache	Fun	Unchanged	False	Passed	Model Under Test Equivalent Model
318a1da37bb8b400edea0de8d48f81c1e7453255	Apalache	Fun	Equivalence	True	Passed	Model Under Test Equivalent Model
29950990f26bc553269d9e2cc6ee35fa0baff61e	Apalache	Fun	Equivalence	False	Passed	Model Under Test Equivalent Model
f66488e3bae95f20d610379fa7b3c040689f7017	Apalache	Fun	StringEmpty	True	Passed	Model Under Test Equivalent Model
23c81744713c0b4f18c3a8ecd46ec10aecbcb062	Apalache	Fun	StringEmpty	False	Passed	Model Under Test Equivalent Model
a7b8e4efdea6422b60c2749e3f355dca218e591b	Apalache	Fun	String	True	Passed	Model Under Test Equivalent Model
0f10aa085914b89a79c92204aaa6d7da25d77db6	Apalache	Fun	String	False	Passed	Model Under Test Equivalent Model
b4f52f28b8d84fe2247410462656415293e28550	Apalache	Fun	SeqLen	True	Passed	Model Under Test Equivalent Model
ed754f7305f956e831adad7e6dfadb7453f5a83f	Apalache	Fun	SeqLen	False	Passed	Model Under Test Equivalent Model
9bc83b2cf9957a38b446eef951ec9f37a490b8d5	Apalache	Fun	SeqConcat	True	Passed	Model Under Test Equivalent Model
372628104e8a7d51e135700d72987d46447ce54e	Apalache	Fun	SeqConcat	False	Passed	Model Under Test Equivalent Model
354b4f947ba95d064f441642357c905db8d27778	Apalache	Fun	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
f99f31602f7284497ecab0a3c67bab1082e6e6af	Apalache	Fun	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
35a54109bdc68b40a802199ada8922db803687a8	Apalache	Fun	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
64aa647114dcbab8e5757ea7d2dff648672d37f3	Apalache	Fun	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
aa45d2097b76a7d9fc4166022323bcf33b63871d	TLC with reduction strategy: 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	Fun	NumRange	True	Passed	Model Under Test Equivalent Model
b6fb228bcf1c91daac8296aa554e13479e498a71	TLC with reduction strategy: 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	Fun	NumRange	False	Passed	Model Under Test Equivalent Model
bc541b36019a775dec91605582854ddcfe8ba9e1	TLC with reduction strategy: Plug Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	Fun	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
b5302c037723e4b6e2af851e916b15242f72edd3	TLC with reduction strategy: Plug Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	Fun	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
0c2100369b494a8430a24d16aeab235fada3435c	TLC with reduction strategy: 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]]	Fun	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
18e25ade9f1c79f7e4c089e745d397ea8697356b	TLC with reduction strategy: 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]]	Fun	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
bc6e7b08bf75f6ad8ff12731b8af93fd85adffa0	TLC with reduction strategy: Plug Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	Fun	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
6607df309d8f1a738b6a2119d846fd4fc794c506	TLC with reduction strategy: Plug Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	Fun	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
38a8f0fb2859714edd0647476b08e65d29187192	TLC with reduction strategy: Plug Feature: SortSeq(S) is reduced to equivalent sort implementation	Fun	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
af3ed8862c1bb966a8ee1da7da36e60ec9614035	TLC with reduction strategy: Plug Feature: SortSeq(S) is reduced to equivalent sort implementation	Fun	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
ac693e1ee8a39346a6d7c739f110c60da17a82fb	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	Fun	TlcEval	True	Passed	Model Under Test Equivalent Model
7abccdfe448b6010fa940141cbe711d913c7f3cc	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	Fun	TlcEval	False	Passed	Model Under Test Equivalent Model
e27b0431f00eecb53bc56ed2955236064628a02a	Apalache	Fun	BagBagToSet	True	Passed	Model Under Test Equivalent Model
a54a5d63a95b0ebe62db9561be43cd3033ebfe38	Apalache	Fun	BagBagToSet	False	Passed	Model Under Test Equivalent Model
37c1dd4f01e1247763c3196e7f5ad945d20cb757	Apalache	Fun	BagSetToBag	True	Passed	Model Under Test Equivalent Model
83c06247eb3762ae9b70b630dcc4528706e09d8b	Apalache	Fun	BagSetToBag	False	Passed	Model Under Test Equivalent Model
3035b982aff40234217b26d3db6ac6dc35aa09a4	Apalache	Fun	BagBagIn	True	Passed	Model Under Test Equivalent Model
bc63fdc572fd0cfc7c0683505becea8b53c4cda8	Apalache	Fun	BagBagIn	False	Passed	Model Under Test Equivalent Model
d45d9d5372138ea12fa773974a406a1dcc600625	Apalache	Fun	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
0411b8476ede6d1426e32b813c84aa5220469604	Apalache	Fun	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
cdd2891c4df14c9d5fcb760935125aeedb6c1bde	Apalache	Fun	BagAddBag	True	Passed	Model Under Test Equivalent Model
16db5598f742e3717874e28e10611b951d4db07b	Apalache	Fun	BagAddBag	False	Passed	Model Under Test Equivalent Model
187772d143746fc12a48157ce73925c6c3e7e436	Apalache	Fun	BagBagSub	True	Passed	Model Under Test Equivalent Model
b3ba7960cb9d7b786c03430653f51bf5ab8ab420	Apalache	Fun	BagBagSub	False	Passed	Model Under Test Equivalent Model
0673c09fc77a8a672e2efb6255ff612f218a72fc	Apalache	Fun	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
b183ff148aecae3de8cbbc450b4d8712bad38c51	Apalache	Fun	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
efda27595fca6d8dde41014d57a4b7f1c83eba04	Apalache	Fun	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
0944cbb3a8c03604d20570a56b0b4f368a07459c	Apalache	Fun	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
17edcd64973c395f9d50ac1f9d877a686438471c	Apalache	Fun	BagBagUnion	True	Passed	Model Under Test Equivalent Model
ed751897ca557ac1be6ef30527446ee32b7064ab	Apalache	Fun	BagBagUnion	False	Passed	Model Under Test Equivalent Model
f6bd439878d71cafc47e8a5942d93b4628f37b14	Apalache	Fun	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
4bcdf9d5ef58daf3ba13b8e981d4be1377cbe7a7	Apalache	Fun	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
266bcf7bdb3956536c561013069aacb32b3539e3	Apalache	Fun	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
54bb0c972e6cabc74a2a1677e0102a1226d1525a	Apalache	Fun	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
b38ee7085cbd08b157d8e81802b5ba1b4f0d0876	TLC with reduction strategy: Plug Feature: SubBag(B) is reduced to equivalent SubBagR implementation	Fun	BagSubBag	True	Passed	Model Under Test Equivalent Model
83bffc079528998187d0283180a0de648bc12d6e	TLC with reduction strategy: Plug Feature: SubBag(B) is reduced to equivalent SubBagR implementation	Fun	BagSubBag	False	Passed	Model Under Test Equivalent Model
7cb1909027121cfe002bf30bc6d5a8c576bd41d9	TLC with reduction strategy: Plug Feature: IsFiniteSet(B) is reduced to either TRUE or FALSE, depending on type information (finite and infinite sets have different types)	Fun	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
46b4cbe6ba0a381495372bbc0d0644ed4842abb8	TLC with reduction strategy: Plug Feature: IsFiniteSet(B) is reduced to either TRUE or FALSE, depending on type information (finite and infinite sets have different types)	Fun	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
98dba0fa9b2978e8c09e16cb317c4dde7ce886d1	Apalache	Fun	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
0c9dc7cfc0752bdb89fcc6c05eeb99df961ccf65	Apalache	Fun	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
4e23f542e99fbae72b63f916ebca38bdd07b353f	Apalache	Fun	SeqHead	True	Passed	Model Under Test Equivalent Model
ca5ed26734833540c36f88339d2fb8e7fdf75d07	Apalache	Fun	SeqHead	False	Passed	Model Under Test Equivalent Model
f42bda6a2c75b521bc9339062a17a3bc660d98de	Apalache	Fun	SeqTail	True	Passed	Model Under Test Equivalent Model
da70f9e6c34ea4b236fc1b52990ca6653c7844f1	Apalache	Fun	SeqTail	False	Passed	Model Under Test Equivalent Model
7d88b7df824422016c3c7178025752d849d62d38	Apalache	Fun	SeqAppend	True	Passed	Model Under Test Equivalent Model
86b6b86901e2b30a7736bf44c4bda0c8ff85271b	Apalache	Fun	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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