Tests by plug feature BoolTrue; CLI Option: -workers 1

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
934f1d94d3075ce2b93e8133211746cfe3118a87	Apalache	And	BoolTrue	True	Passed	Model Under Test Equivalent Model
a384cfe51a3f8eed5e48f12d999762513e4ab7e9	Apalache	And	BoolTrue	False	Passed	Model Under Test Equivalent Model
8004609a22053f80e20ebb56a9ebcf8e3f1c5add	TLC with reduction strategy: Case Feature: /\ A /\ B == (A /\ B)	AndMultiLine	BoolTrue	True	Passed	Model Under Test Equivalent Model
f38f88fae71f1334f908d685e354615fab1635b4	TLC with reduction strategy: Case Feature: /\ A /\ B == (A /\ B)	AndMultiLine	BoolTrue	False	Passed	Model Under Test Equivalent Model
fe414cb109cbed79877d56afffc0fdacb8d2adbb	Apalache	Imply	BoolTrue	True	Passed	Model Under Test Equivalent Model
f804c6ac64af1ff6918ac892c16b7fd3c63bc90a	Apalache	Imply	BoolTrue	False	Passed	Model Under Test Equivalent Model
ef6ae3291fd48908358702412d85777b39c97386	Apalache	Not	BoolTrue	True	Passed	Model Under Test Equivalent Model
4e676aef8a0f64d90130ba264875c998fc73b55b	Apalache	Not	BoolTrue	False	Passed	Model Under Test Equivalent Model
13904e5919ea449bcdf39c0d6d70cc34200289a2	TLC with reduction strategy: Case Feature: A \/ B == ~(~A /\ ~B)	Or	BoolTrue	True	Passed	Model Under Test Equivalent Model
038bdddf073429ab769747efde35cb8cbbbfd4a6	TLC with reduction strategy: Case Feature: A \/ B == ~(~A /\ ~B)	Or	BoolTrue	False	Passed	Model Under Test Equivalent Model
a2b6490420402df15404f4d13c3528d457744735	TLC with reduction strategy: Case Feature: \/ A \/ B == (A \/ B)	OrMultiLine	BoolTrue	True	Passed	Model Under Test Equivalent Model
64a0e7c269e9ba4383eaa9b106264be025c1099d	TLC with reduction strategy: Case Feature: \/ A \/ B == (A \/ B)	OrMultiLine	BoolTrue	False	Passed	Model Under Test Equivalent Model
0af0f1af6a006e5d0abe2379d777b3bbf82b1669	Apalache	AndProp	BoolTrue	True	Passed	Model Under Test Equivalent Model
8ae3d519172735485924620e62e79e416f78cd0d	Apalache	AndProp	BoolTrue	False	Passed	Model Under Test Equivalent Model
d0a7c23000693b09257a8dea9df735df7fa026e3	Apalache	Boxed	BoolTrue	True	Passed	Model Under Test Equivalent Model
6c7647dbc8a1cefb4283fa783b7bcb969c6918e6	Apalache	Boxed	BoolTrue	False	Passed	Model Under Test Equivalent Model
9b33484778609a0a78ef2dae93ea8780283e5604	Apalache	Eq	BoolTrue	True	Passed	Model Under Test Equivalent Model
94dc14331d9da5603c31466dffc5b4cca2094178	Apalache	Eq	BoolTrue	False	Passed	Model Under Test Equivalent Model
2f34980954083ab6f7f2276c3799ea4a5c78de73	Apalache	Ne	BoolTrue	True	Passed	Model Under Test Equivalent Model
865346b17a95db2dda7ca9850eff92eb39018309	Apalache	Ne	BoolTrue	False	Passed	Model Under Test Equivalent Model
06cb41f6d429e5df49e3648fa0c09fcd9dd41244	Apalache	Let	BoolTrue	True	Passed	Model Under Test Equivalent Model
afb5a158cc0289c80fb1a9285d646ce5c9483562	Apalache	Let	BoolTrue	False	Passed	Model Under Test Equivalent Model
3fea1e63913d156d3c02b58e59f895ff08c93d26	Apalache	Set0	BoolTrue	True	Passed	Model Under Test Equivalent Model
ea828b9a8a2a0670b6c39fba3cc573af44823780	Apalache	Set0	BoolTrue	False	Passed	Model Under Test Equivalent Model
3bbef76af30b767feb671634193c53e0c1380a8b	Apalache	Set1	BoolTrue	True	Passed	Model Under Test Equivalent Model
c58b5fb705d1fbadb6e4c3dc2f5c688dbaa48b3e	Apalache	Set1	BoolTrue	False	Passed	Model Under Test Equivalent Model
85e8af4d0eabec6001850abe5c089c405f55f236	Apalache	Set2	BoolTrue	True	Passed	Model Under Test Equivalent Model
54504b579f568f7bb7e72f3e2c71e0ab764bb984	Apalache	Set2	BoolTrue	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
640a5cf5364d6caff1d2a15c333ae1d2e5f85c08	Apalache	In	BoolTrue	True	Passed	Model Under Test Equivalent Model
6e940f6a9003363584a39ed56ec4b76c33a04916	Apalache	In	BoolTrue	False	Passed	Model Under Test Equivalent Model
3fe7cf7f8eb0a39838d671e865c48bc800f50e7d	Apalache	NotIn	BoolTrue	True	Passed	Model Under Test Equivalent Model
0d22dd64e78ef3706d50913b0fc46b889b43c981	Apalache	NotIn	BoolTrue	False	Passed	Model Under Test Equivalent Model
53dc8ead63bf1c4509df8d87225b349e254c1700	Apalache	Exists	BoolTrue	True	Passed	Model Under Test Equivalent Model
5747a4215238c2b8f70f293df80a8b3279ca42f6	Apalache	Exists	BoolTrue	False	Passed	Model Under Test Equivalent Model
43c46ac34d06bec00db835172fac33d7772e77f5	Apalache	Forall	BoolTrue	True	Passed	Model Under Test Equivalent Model
e3908d7fc1c072c4f00ea15522625f527a90aee9	Apalache	Forall	BoolTrue	False	Passed	Model Under Test Equivalent Model
d776fc63b5110c79354eb760003f4c3fc3ae0456	Apalache	Choose	BoolTrue	True	Passed	Model Under Test Equivalent Model
80ed39a21701899ac303372ec05db6e93311f0ca	Apalache	Choose	BoolTrue	False	Passed	Model Under Test Equivalent Model
c4e1f3c660ca96300d1f5ffddaf880ad16924b3f	Apalache	Record	BoolTrue	True	Passed	Model Under Test Equivalent Model
c8800b6589fba759fc3fa262f475d0fc357fe13c	Apalache	Record	BoolTrue	False	Passed	Model Under Test Equivalent Model
ad629298d961e979e96ccd6114c7096c33c39648	Apalache	Tuple	BoolTrue	True	Passed	Model Under Test Equivalent Model
6c2fc7731b951382d425eda7b3268eebd74a1194	Apalache	Tuple	BoolTrue	False	Passed	Model Under Test Equivalent Model
3bff317541c2a2276b2c51a6022c9bcbd0dff797	Apalache	FunApp	BoolTrue	True	Passed	Model Under Test Equivalent Model
9a5d16f29c2529042018a32f2e9c0f5c4fe2e27f	Apalache	FunApp	BoolTrue	False	Passed	Model Under Test Equivalent Model
9945aaa080825ebbc27a182aab23409a3e711c64	Apalache	Except1Fun	BoolTrue	True	Passed	Model Under Test Equivalent Model
a0b86474790744ab419ad2ce21e10af970db4714	Apalache	Except1Fun	BoolTrue	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
781041cd2d14f0b7a9b526172d77f954612875a4	Apalache	Except1Rec	BoolTrue	True	Passed	Model Under Test Equivalent Model
c7ef981488f80064ec01249de39750cc14f34f64	Apalache	Except1Rec	BoolTrue	False	Passed	Model Under Test Equivalent Model
93579d662a5e98df969a9e33d383f2430c8bf972	TLC with reduction strategy: Case Feature: @ is reduced to F.arg	Except1RecWithAt	BoolTrue	True	Passed	Model Under Test Equivalent Model
889a22708a74ece6c26a6d6ffb85cc53fed5e0c6	TLC with reduction strategy: Case Feature: @ is reduced to F.arg	Except1RecWithAt	BoolTrue	False	Passed	Model Under Test Equivalent Model
f23f84687bbb98ac0fa680c58520c6ebcb2af63f	Apalache	Except2Fun	BoolTrue	True	Passed	Model Under Test Equivalent Model
bad899983cb54a0e740c5447f21b6528949602c2	Apalache	Except2Fun	BoolTrue	False	Passed	Model Under Test Equivalent Model
5cd51d8a461fe01b4757c5bea4da5f557f7d69dd	Apalache	Prime	BoolTrue	True	Passed	Model Under Test Equivalent Model
a787514660a16b0a49a28e89b03821fe3df7d05e	Apalache	Prime	BoolTrue	False	Passed	Model Under Test Equivalent Model
42730151aafc9097578e849b5fff20af5dc56272	Apalache	DefFun	BoolTrue	True	Passed	Model Under Test Equivalent Model
1d87e0eecefb36e8b1318f9d8172dcabd7d4b746	Apalache	DefFun	BoolTrue	False	Passed	Model Under Test Equivalent Model
872806ab1a847f5318d35dbc9ff1074bc0ea3148	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFun	BoolTrue	True	Passed	Model Under Test Equivalent Model
6cf02c126ba3bf517ae8079b25365ef1257f0a3c	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFun	BoolTrue	False	Passed	Model Under Test Equivalent Model
00b51c2e8e66ddd196dcb177f265d52b94c07ff4	Apalache	DefFunRecursive	BoolTrue	True	Passed	Model Under Test Equivalent Model
93db5840cb55f3e038333fa0ca7c888bae0ff1aa	Apalache	DefFunRecursive	BoolTrue	False	Passed	Model Under Test Equivalent Model
e9de9f481b2433a8e9b00db8c0d343e765c5155e	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunRecursive	BoolTrue	True	Passed	Model Under Test Equivalent Model
55db5cd742d62ceaeb94cb760872926ffc46ae05	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunRecursive	BoolTrue	False	Passed	Model Under Test Equivalent Model
66c2fe211966c5488914580f1180ac63582314a5	Apalache	Def0	BoolTrue	True	Passed	Model Under Test Equivalent Model
3ae0cd6e0e55f917e7bec588dfcfe1abfb73a211	Apalache	Def0	BoolTrue	False	Passed	Model Under Test Equivalent Model
243fcf7d03cc54d9fb84e884fdc7b3c3d2e68256	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef0	BoolTrue	True	Passed	Model Under Test Equivalent Model
ddc1a8aa230a9c1d1c6ded395beb2fca275b5e26	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef0	BoolTrue	False	Passed	Model Under Test Equivalent Model
d5ab2c5538d30760fda1472bd2640bc8e80d4f34	Apalache	Def1	BoolTrue	True	Passed	Model Under Test Equivalent Model
73ed24839f128909c916f2a984a456ba3714bf27	Apalache	Def1	BoolTrue	False	Passed	Model Under Test Equivalent Model
eb85d2793bc509d21d46adc08f2ff14073b0afcf	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1	BoolTrue	True	Passed	Model Under Test Equivalent Model
8cff8775c30d2219d89241e1a2bd9c9ee81e2616	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1	BoolTrue	False	Passed	Model Under Test Equivalent Model
843d02b0614ae567199a6731f5ed3688b027acd1	Apalache	Def2	BoolTrue	True	Passed	Model Under Test Equivalent Model
65a6a61d8b8c546a80ed53f784c69f901f5d6b9f	Apalache	Def2	BoolTrue	False	Passed	Model Under Test Equivalent Model
dd34e8ec17e2e9d8b9be375ec60ec73032d3f240	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef2	BoolTrue	True	Passed	Model Under Test Equivalent Model
86aab253c9892d8aff1b67f259e06c61b568f65c	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef2	BoolTrue	False	Passed	Model Under Test Equivalent Model
fcfca5d10ba7a7cb0527488d26d9f687a0c36f84	Apalache	Def1Recursive	BoolTrue	True	Passed	Model Under Test Equivalent Model
715fb92740a8f0ee7b4869c95a8930eb69a55e12	Apalache	Def1Recursive	BoolTrue	False	Passed	Model Under Test Equivalent Model
f4df125aa34bc6d0cb1a7a5e36425f946056df55	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1Recursive	BoolTrue	True	Passed	Model Under Test Equivalent Model
d541d0473e8a1e8e043157fa880f16f359a70432	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1Recursive	BoolTrue	False	Passed	Model Under Test Equivalent Model
209961d76ec119d32404fbc3a14062b979f3e5e0	Apalache	Extends	BoolTrue	True	Passed	Model Under Test Equivalent Model
1cafdbd56ead47c82b87c5ec3e1a1c84fd67b168	Apalache	Extends	BoolTrue	False	Passed	Model Under Test Equivalent Model
0cb4bd52971e5b48276cfde15d5f5c459c06b20e	Apalache	ExtendsInDifferentFolder	BoolTrue	True	Passed	Model Under Test Equivalent Model
b8e7a5b8be2735e0499ab2296a358765a84a2583	Apalache	ExtendsInDifferentFolder	BoolTrue	False	Passed	Model Under Test Equivalent Model
7e4febb6f33289058b355e3a83f259336ac14d19	Apalache	Variable	BoolTrue	True	Passed	Model Under Test Equivalent Model
538eda2121f0bf826e6e37ac38192c023bcf8189	Apalache	Variable	BoolTrue	False	Passed	Model Under Test Equivalent Model
97dc7c46d12927768bfd704b2298b2b41a325757	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BoolTrue	True	Passed	Model Under Test Equivalent Model
8c07655775ccb021a8a0abddd558d75ae8669845	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	BoolTrue	False	Passed	Model Under Test Equivalent Model
86899fe6e3a44df1840e4e93271e960ef4fcb096	Apalache	Constant	BoolTrue	True	Passed	Model Under Test Equivalent Model
069e1ebe318bf7843ad86be080a042bf8621b510	Apalache	Constant	BoolTrue	False	Passed	Model Under Test Equivalent Model
91a6c3fab779a32883214f9fed7e608cfc9d7e2c	Apalache	ConstantRank1	BoolTrue	True	Passed	Model Under Test Equivalent Model
39f01450c267eca7ddb64cc9ffe8ee8bd23e66ea	Apalache	ConstantRank1	BoolTrue	False	Passed	Model Under Test Equivalent Model
2295337e3de31845468f2741ad64c9c81c91e146	Apalache	Instance	BoolTrue	True	Passed	Model Under Test Equivalent Model
d59f8b30fb983751c628e2e3118bacee5a772d51	Apalache	Instance	BoolTrue	False	Passed	Model Under Test Equivalent Model
1838a88ab4fac33518655d7a2991d1dc151e4b9f	Apalache	InstanceWith	BoolTrue	True	Passed	Model Under Test Equivalent Model
002781a1856b29a3e501d196da9439f55cb04af4	Apalache	InstanceWith	BoolTrue	False	Passed	Model Under Test Equivalent Model
99542963a4561de81bf1c5728960ec9b629361de	Apalache	InstanceNamed	BoolTrue	True	Passed	Model Under Test Equivalent Model
e78f4b4f46f9e800aeabeb508a4b5539a8175dab	Apalache	InstanceNamed	BoolTrue	False	Passed	Model Under Test Equivalent Model
7b9665dc17de1692ca94ade6dca8e327353e883f	Apalache	InstanceNamedWith	BoolTrue	True	Passed	Model Under Test Equivalent Model
7c339496ea8de87b0e9f449e814d23b81215a07d	Apalache	InstanceNamedWith	BoolTrue	False	Passed	Model Under Test Equivalent Model
334a1f9612999cbc6c0763511a6acec432ffafd2	Apalache	InstanceInFolder	BoolTrue	True	Passed	Model Under Test Equivalent Model
20205a0baaf6084e075de063bf0bbfc3676cbd34	Apalache	InstanceInFolder	BoolTrue	False	Passed	Model Under Test Equivalent Model
2dbbb63aa78cf5414472b943a5a0e0b8cf9c87c1	Apalache	InstanceWithInFolder	BoolTrue	True	Passed	Model Under Test Equivalent Model
efb994dfbd0059d697c3c63cc633acd52c85a547	Apalache	InstanceWithInFolder	BoolTrue	False	Passed	Model Under Test Equivalent Model
06ed62b712e37eeb47bcd3c09197ca1c88cf5262	Apalache	InstanceNamedInFolder	BoolTrue	True	Passed	Model Under Test Equivalent Model
6afb8357ff9ba8907977ffaf956b82af7d751f6f	Apalache	InstanceNamedInFolder	BoolTrue	False	Passed	Model Under Test Equivalent Model
38be08329c565aeaec1f2b60dc66bb4db27d1da8	Apalache	InstanceNamedWithInFolder	BoolTrue	True	Passed	Model Under Test Equivalent Model
896defee2259a14e541db1ba0ff31ada335813e9	Apalache	InstanceNamedWithInFolder	BoolTrue	False	Passed	Model Under Test Equivalent Model
f85a8c8b070809cb0f54c081da908852bbb949be	Apalache	Enabled	BoolTrue	True	Passed	Model Under Test Equivalent Model
aca89d8f9ace59a5fd7716214cc8866242eb7135	Apalache	Enabled	BoolTrue	False	Passed	Model Under Test Equivalent Model
11147a90621e63c3fe4020d7047ae42169cec33d	Apalache	Assume	BoolTrue	True	Passed	Model Under Test Equivalent Model
9dbd44f2f1c1a214ed7c38f562084529364ad0c0	Apalache	Assume	BoolTrue	False	Passed	Model Under Test Equivalent Model
eb68e26cb5b91cfeb71eb0e294875dc15188702d	Apalache	AssumeNamed	BoolTrue	True	Passed	Model Under Test Equivalent Model
16a9e2e814dd40efa9eedf8b25c6ee40e2e30992	Apalache	AssumeNamed	BoolTrue	False	Passed	Model Under Test Equivalent Model
1656b0239965b32e9e8d836d3075b2d55d15c59a	Apalache	Lambda	BoolTrue	True	Passed	Model Under Test Equivalent Model
be724b3106283d090b05ec11a25a31d5c064a05c	Apalache	Lambda	BoolTrue	False	Passed	Model Under Test Equivalent Model
38c89bb8c50b06e2dc2ace0de2da0da9610f6dc0	Apalache	IfCond	BoolTrue	True	Passed	Model Under Test Equivalent Model
048ac972b41ffb548e179662cd6371991f0ddbd3	Apalache	IfCond	BoolTrue	False	Passed	Model Under Test Equivalent Model
bdd3572d389b4747ccbe88b72a4e3df314e39be2	Apalache	IfThen	BoolTrue	True	Passed	Model Under Test Equivalent Model
5817176dba841a888697c74cd6af9279e761dfad	Apalache	IfThen	BoolTrue	False	Passed	Model Under Test Equivalent Model
57a8dfbe5fe297d0d6b9c3b86a29d51a541deb26	Apalache	IfElse	BoolTrue	True	Passed	Model Under Test Equivalent Model
06fa88755eb04778fda4ab676b4750ac65b50e17	Apalache	IfElse	BoolTrue	False	Passed	Model Under Test Equivalent Model
907c0b0dd3b24047bf843593bc70c0523b3917e6	Apalache	Unchanged	BoolTrue	True	Passed	Model Under Test Equivalent Model
449e553aa186882f43f78c3974620e0889b2cfe2	Apalache	Unchanged	BoolTrue	False	Passed	Model Under Test Equivalent Model
286685a27e0dc34ea3627d7573e7c0d79c60680c	Apalache	Equivalence	BoolTrue	True	Passed	Model Under Test Equivalent Model
c0bc188fbe16d9bcce9e9920034a5b2579fdea1b	Apalache	Equivalence	BoolTrue	False	Passed	Model Under Test Equivalent Model
5ce2bf74252fac06a8f2535b305865733de548ef	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	TlcSingletonFun	BoolTrue	True	Passed	Model Under Test Equivalent Model
8a0b86a4e210bedf951b4cbe544ba0d5fe3719dd	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	TlcSingletonFun	BoolTrue	False	Passed	Model Under Test Equivalent Model
590f14181374d45bdf6035dff8c2fcb990651664	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr	TlcEval	BoolTrue	True	Passed	Model Under Test Equivalent Model
2dc0a4d66854fd97ba2f8f1d9b8b7301e7b93a51	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr	TlcEval	BoolTrue	False	Passed	Model Under Test Equivalent Model
3ed09ecdf00d202e315b6bdd7dfab85231873482	Apalache	BagBagIn	BoolTrue	True	Passed	Model Under Test Equivalent Model
143cde18c96caf6e4f9502c076a18893497bfbf2	Apalache	BagBagIn	BoolTrue	False	Passed	Model Under Test Equivalent Model
ec65a3d33fa36e9652ce723cfc3e5b191a7bc52e	Apalache	BagCopiesIn	BoolTrue	True	Passed	Model Under Test Equivalent Model
0d6afb8104f8809e4a4a786b33afd44ae5391c5d	Apalache	BagCopiesIn	BoolTrue	False	Passed	Model Under Test Equivalent Model
6c03fd74eda3644f1387d6e451e5eb4aa273a580	Apalache	SeqAppend	BoolTrue	True	Passed	Model Under Test Equivalent Model
8d05eb06aa5d6aa6614fe56213eeb611a6175fd3	Apalache	SeqAppend	BoolTrue	False	Passed	Model Under Test Equivalent Model

Index

Tests by plug feature BoolTrue; CLI Option: -workers 1