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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
9fd7868f6d4908574d66a8efd0542d2bb42e7647	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	AssumeNamed	OneLineComment	True	Passed	Model Under Test Equivalent Model
00b83fd4eb72bb473255e5c41065e9a77e2d20f8	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	AssumeNamed	OneLineComment	False	Passed	Model Under Test Equivalent Model
3835abeedb227ab105de229c61ebb7d79b4009ef	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	AssumeNamed	MultiLineComment	True	Passed	Model Under Test Equivalent Model
00cac589668f5726b974eca921dbd24c6594a4cc	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	AssumeNamed	MultiLineComment	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
d8a4c533cccde5070c0ee43590a0990325794eff	Apalache	AssumeNamed	BoolFalse	True	Passed	Model Under Test Equivalent Model
15e7076be3334e2508f6d0540a8d13fe40f8b1bf	Apalache	AssumeNamed	BoolFalse	False	Passed	Model Under Test Equivalent Model
bbb8ca5b61901edeee2635ca519f3a16276795b7	Apalache	AssumeNamed	And	True	Passed	Model Under Test Equivalent Model
678a2e09e397c51571943f20f977af5b5013de67	Apalache	AssumeNamed	And	False	Passed	Model Under Test Equivalent Model
75e9dda9f4756343bbba2fd9a4d58fb43353968e	TLC with reduction strategy: Plug Feature: /\ A /\ B == (A /\ B)	AssumeNamed	AndMultiLine	True	Passed	Model Under Test Equivalent Model
43233d682e864ec3b456f45637ab0d82d81a809e	TLC with reduction strategy: Plug Feature: /\ A /\ B == (A /\ B)	AssumeNamed	AndMultiLine	False	Passed	Model Under Test Equivalent Model
d7d0f06c2646c8a47b4a7f6ef780c178162e5ae5	Apalache	AssumeNamed	Imply	True	Passed	Model Under Test Equivalent Model
c1d28085c616b38b3b2f80f453be7f684d86b543	Apalache	AssumeNamed	Imply	False	Passed	Model Under Test Equivalent Model
4de9f86db8ac23f64ca038a596243105e3fb5033	Apalache	AssumeNamed	Not	True	Passed	Model Under Test Equivalent Model
a333320177240021c257d3b3572be5b9fc9ba974	Apalache	AssumeNamed	Not	False	Passed	Model Under Test Equivalent Model
453c991064e2d3ba9b0a6fb3402c0d0374a41bc1	TLC with reduction strategy: Plug Feature: A \/ B == ~(~A /\ ~B)	AssumeNamed	Or	True	Passed	Model Under Test Equivalent Model
e49e3e75a4262706c3f6992d16824b0ed92b24c1	TLC with reduction strategy: Plug Feature: A \/ B == ~(~A /\ ~B)	AssumeNamed	Or	False	Passed	Model Under Test Equivalent Model
e9e59dd840653e40ef55f06aaf041571de7ca97b	TLC with reduction strategy: Plug Feature: \/ A \/ B == (A \/ B)	AssumeNamed	OrMultiLine	True	Passed	Model Under Test Equivalent Model
765fc106a3fa2568cab6d20b1f5018097ddc8b56	TLC with reduction strategy: Plug Feature: \/ A \/ B == (A \/ B)	AssumeNamed	OrMultiLine	False	Passed	Model Under Test Equivalent Model
41486767ca7fc9d74b451c406723534fc3c80b85	Apalache	AssumeNamed	Eq	True	Passed	Model Under Test Equivalent Model
423a60776e806731ad443d691ca5c339f11ba361	Apalache	AssumeNamed	Eq	False	Passed	Model Under Test Equivalent Model
fb6ab188c956c30e533b993c0c95dcf437e27ab3	Apalache	AssumeNamed	Ne	True	Passed	Model Under Test Equivalent Model
25e9ecd27500754f5f888146011c3887fa8c0025	Apalache	AssumeNamed	Ne	False	Passed	Model Under Test Equivalent Model
15df0ece8aa5e70715521bfb6615a515a4672124	Apalache	AssumeNamed	Let	True	Passed	Model Under Test Equivalent Model
982a328909dc2c857bc9825a7106acbdffc44459	Apalache	AssumeNamed	Let	False	Passed	Model Under Test Equivalent Model
3b5389fffedb4facda477ca0b4614f784040ebe7	Apalache	AssumeNamed	In	True	Passed	Model Under Test Equivalent Model
6ac1cd850e7be5a94c180a272bc2defe606d5db8	Apalache	AssumeNamed	In	False	Passed	Model Under Test Equivalent Model
5d5e474a582b30c272514a6498d50f695e323c2d	Apalache	AssumeNamed	NotIn	True	Passed	Model Under Test Equivalent Model
0deb3f13fb9bca1f9a0da80ce875f9e30142e409	Apalache	AssumeNamed	NotIn	False	Passed	Model Under Test Equivalent Model
f668dd3ea8a96a4767ee8e1191f9d0225590adcc	Apalache	AssumeNamed	Exists	True	Passed	Model Under Test Equivalent Model
fda9d08c98e9c6c6c8490dd7a44692f04d0593ab	Apalache	AssumeNamed	Exists	False	Passed	Model Under Test Equivalent Model
dfd2e6cd3ebac91a1cf9aa2177085d5abdd414ca	Apalache	AssumeNamed	Forall	True	Passed	Model Under Test Equivalent Model
c59211aeb904cf79e9d877d8dad227d4dfdbf6bb	Apalache	AssumeNamed	Forall	False	Passed	Model Under Test Equivalent Model
76ec573715e3a992035d907dd0eea09e38841a47	Apalache	AssumeNamed	Choose	True	Passed	Model Under Test Equivalent Model
73f5924146df5fcf0d4906482eb5c4e14f7edaea	Apalache	AssumeNamed	Choose	False	Passed	Model Under Test Equivalent Model
c41814cda2ff58ac1f000b0b27fa24d88f5ec46a	Apalache	AssumeNamed	FunApp	True	Passed	Model Under Test Equivalent Model
041a1bcc54aca37da3cc4c81ddf22b513dd4eb21	Apalache	AssumeNamed	FunApp	False	Passed	Model Under Test Equivalent Model
7df3936fb29adf96e712d54b106e9e858cbe292d	Apalache	AssumeNamed	NumGt	True	Passed	Model Under Test Equivalent Model
969ddd3e173ac14968ece4147e93d9d727c8a858	Apalache	AssumeNamed	NumGt	False	Passed	Model Under Test Equivalent Model
715a853cff3d6e0f7f56712ea7ccc89c1b1d0fb8	Apalache	AssumeNamed	NumGe	True	Passed	Model Under Test Equivalent Model
b441d28dd2a2b0b5e99ca8c70d8742ef14397877	Apalache	AssumeNamed	NumGe	False	Passed	Model Under Test Equivalent Model
a798bb9d59ae789e801a03048c95bc10440ff621	Apalache	AssumeNamed	NumLt	True	Passed	Model Under Test Equivalent Model
c03694ff89f17b2f3a0af166dcd89d1af2911e20	Apalache	AssumeNamed	NumLt	False	Passed	Model Under Test Equivalent Model
f1104aa13a5157184e8c7a5eddbb8d7dc7eadb5a	Apalache	AssumeNamed	NumLe	True	Passed	Model Under Test Equivalent Model
20402a8c90d33cb8c40ac0c708ca96dc4d1c59d9	Apalache	AssumeNamed	NumLe	False	Passed	Model Under Test Equivalent Model
906f13aa3f429a4f0212b1108b3da8573ecbfcde	Apalache	AssumeNamed	Def0	True	Passed	Model Under Test Equivalent Model
114276802369fd5534759d09268ce510f0a64546	Apalache	AssumeNamed	Def0	False	Passed	Model Under Test Equivalent Model
f5cf721e742158b9fba23747a0b568a34410f558	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	AssumeNamed	LetDef0	True	Passed	Model Under Test Equivalent Model
157dfee18841817b68d664419e593d1f99c9fa71	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	AssumeNamed	LetDef0	False	Passed	Model Under Test Equivalent Model
865be380e2f445c390b6db636023e4ce508d7860	Apalache	AssumeNamed	Def1	True	Passed	Model Under Test Equivalent Model
d1454cfc113d02e26807c393800b576419239709	Apalache	AssumeNamed	Def1	False	Passed	Model Under Test Equivalent Model
ac3af5f287ee3fc4547c0f6b9138d5b801a1b6a2	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	AssumeNamed	LetDef1	True	Passed	Model Under Test Equivalent Model
369f9709837936bed2a33b728c3320add847659d	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	AssumeNamed	LetDef1	False	Passed	Model Under Test Equivalent Model
b03d721c8648a8b123cb5efbe1d5da2b9ec98a68	Apalache	AssumeNamed	Def2	True	Passed	Model Under Test Equivalent Model
59259bb91e54399bf48f04b7cc475b36712188b9	Apalache	AssumeNamed	Def2	False	Passed	Model Under Test Equivalent Model
6bcd54cfa9f93f6fe6d3921507e7dc2f612e6c44	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	AssumeNamed	LetDef2	True	Passed	Model Under Test Equivalent Model
64324ee2f52b72ddbe79774cb3339a9fcfab8846	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	AssumeNamed	LetDef2	False	Passed	Model Under Test Equivalent Model
f4d31af67ae7202115aabc716fecbd23110b522c	Apalache	AssumeNamed	Def1Recursive	True	Passed	Model Under Test Equivalent Model
4bf561a7bef14c6f319e34e658352bfe40d2f98a	Apalache	AssumeNamed	Def1Recursive	False	Passed	Model Under Test Equivalent Model
a4fa62078b4424de1facab2eab93937ef766bd0e	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	AssumeNamed	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
52dd987d59010bb1443ce7c6a69dacce641b10ad	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	AssumeNamed	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
7b89b04ed4d372fcb4c3e914122acfae7f0a8cc6	Apalache	AssumeNamed	Extends	True	Passed	Model Under Test Equivalent Model
dc87aa96642ee0bff6a09e3ae9c6d4d57c07bed8	Apalache	AssumeNamed	Extends	False	Passed	Model Under Test Equivalent Model
f126a3111eba96cc1e332f7bb140a4938f399f10	Apalache	AssumeNamed	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
e81d38fdb8abb1892e3886e5ec883263bd453c39	Apalache	AssumeNamed	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
f13db52e76cdd0a40c5ed37c5a5f1d3d14bd8464	Apalache	AssumeNamed	Constant	True	Passed	Model Under Test Equivalent Model
a75106f43f8dd203adae5e69e7f0437d9fd936ac	Apalache	AssumeNamed	Constant	False	Passed	Model Under Test Equivalent Model
576768a0c81e57138e551a1b43bb581452514b39	Apalache	AssumeNamed	ConstantRank1	True	Passed	Model Under Test Equivalent Model
c2b7547ec7f032a3ad404bf88f685c22e67139c5	Apalache	AssumeNamed	ConstantRank1	False	Passed	Model Under Test Equivalent Model
2c6d9acf1262022246f71565b06cabda4d011ce8	Apalache	AssumeNamed	Instance	True	Passed	Model Under Test Equivalent Model
572dfd78aada27959000ec2beae3fd1433b20bc9	Apalache	AssumeNamed	Instance	False	Passed	Model Under Test Equivalent Model
139e8b1066eedc38d1b6569090361d034677d383	Apalache	AssumeNamed	InstanceWith	True	Passed	Model Under Test Equivalent Model
203b9fd78804a5eabf4bb2e1077fbbf80cd6bce7	Apalache	AssumeNamed	InstanceWith	False	Passed	Model Under Test Equivalent Model
557ec024649c17587a53601a1810de6dddcb7979	Apalache	AssumeNamed	InstanceNamed	True	Passed	Model Under Test Equivalent Model
9435b263f2712709acf94da13edccc8c402f37f3	Apalache	AssumeNamed	InstanceNamed	False	Passed	Model Under Test Equivalent Model
71679645f67dd0495bdfe3a09581dbb7d0301f4c	Apalache	AssumeNamed	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
a2312f54618e614613d1b5ba965ccc306e45fd43	Apalache	AssumeNamed	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
dea01e8ffafcafd3b37738670d701583f74affa0	Apalache	AssumeNamed	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
de5c1257e664598d33cf549dedb1ae9109a75e33	Apalache	AssumeNamed	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
71f522c07acfa14608d3eb8960589f17be86bc8f	Apalache	AssumeNamed	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
33b6f1fd1d929d4a4f2888cae4d20dcf3320318a	Apalache	AssumeNamed	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
9200376afe67ece037a7f40cd6f5f29aa9128fbc	Apalache	AssumeNamed	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
27fe7af780aeef5a8078506ffe93f6527da2d02d	Apalache	AssumeNamed	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
dbbece57ffb031c1918239ec2a7b03ddbee74259	Apalache	AssumeNamed	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
78d10776f2215827ac781b2bdead2865cd3cd1f2	Apalache	AssumeNamed	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
bdc8b909660018e50d629facb6cf2b592d9c604e	Apalache	AssumeNamed	SubsetEq	True	Passed	Model Under Test Equivalent Model
a42a1bc4dd32e43fba18213ad4fafaa9706f3f2e	Apalache	AssumeNamed	SubsetEq	False	Passed	Model Under Test Equivalent Model
07f87504239c4f87954d7e072e5955e45d79530f	Apalache	AssumeNamed	IfCond	True	Passed	Model Under Test Equivalent Model
d80ed5b95d8b6e1ee414df0f86a813e7c40ccbb2	Apalache	AssumeNamed	IfCond	False	Passed	Model Under Test Equivalent Model
7302129c8ed12a8c6e22ccf72fcb4d7447fe81e4	Apalache	AssumeNamed	IfThen	True	Passed	Model Under Test Equivalent Model
e41ef845833ad52d553c58b8077bbb88bbc0df5c	Apalache	AssumeNamed	IfThen	False	Passed	Model Under Test Equivalent Model
3c0ff3c2eb0a47b74b8a747b5de22d8c95be01d6	Apalache	AssumeNamed	IfElse	True	Passed	Model Under Test Equivalent Model
3d9c763a19ada6c52cc81b4bc458d63927f0dddb	Apalache	AssumeNamed	IfElse	False	Passed	Model Under Test Equivalent Model
d1edae011aae2f1a651fcbea163e945e9a1dafbf	Apalache	AssumeNamed	Equivalence	True	Passed	Model Under Test Equivalent Model
c044ae63dcc042b13cb74825f07beaff36e3c52b	Apalache	AssumeNamed	Equivalence	False	Passed	Model Under Test Equivalent Model
77cf29a8e2cc6d4a104bf92e6ed94d62d2d01c21	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	AssumeNamed	TlcEval	True	Passed	Model Under Test Equivalent Model
067a48a3ccc9ed21b960388afb3833185a65b455	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	AssumeNamed	TlcEval	False	Passed	Model Under Test Equivalent Model
fcae7d5161b56cfe35d24b064db14d386de66fd9	Apalache	AssumeNamed	BagBagIn	True	Passed	Model Under Test Equivalent Model
7655faab407a2e22f5a516bb57a9d36655230592	Apalache	AssumeNamed	BagBagIn	False	Passed	Model Under Test Equivalent Model
df03a56917fb3b50d452063b7e9741b9543f78ed	Apalache	AssumeNamed	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
d531dc8b84c3e219ede24329a0cad5f3141d52c4	Apalache	AssumeNamed	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
fb2fef8eb69de936a063915c1a355fe894b392a9	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)	AssumeNamed	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
3153748bff6ab84666118245c2ea0e86af4cec4a	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)	AssumeNamed	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
8a4d8e53dcaaae1ff04c6b5567cc1c05ca152a2e	Apalache	AssumeNamed	SeqHead	True	Passed	Model Under Test Equivalent Model
0ea3177c398a6a7ca5d4a4463beda71f63e79eaa	Apalache	AssumeNamed	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

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