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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
b7e4cdcd10c1f912c03236059542481edbf75707	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumLe	OneLineComment	True	Passed	Model Under Test Equivalent Model
10fabae4f7f704fe07985c3829352436fa038ebe	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumLe	OneLineComment	False	Passed	Model Under Test Equivalent Model
7d4dc8061b1e77612bb97280b5fdb783991a01e9	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumLe	MultiLineComment	True	Passed	Model Under Test Equivalent Model
40dd5d909076c0a73bcd960f455e35b7f07c63b0	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumLe	MultiLineComment	False	Passed	Model Under Test Equivalent Model
9a5706208a925594f16ef35936b1a221cd874c91	Apalache	NumLe	Let	True	Passed	Model Under Test Equivalent Model
69e939ac771a43c97e23c02d070cd12b5b027ddc	Apalache	NumLe	Let	False	Passed	Model Under Test Equivalent Model
4bbac713bbe24088a804f03c044686c0c0ebc446	Apalache	NumLe	Choose	True	Passed	Model Under Test Equivalent Model
bfdde1f0b51c83e920d80018d3f51f1b5688c1b2	Apalache	NumLe	Choose	False	Passed	Model Under Test Equivalent Model
4b5a47a65d344d105b9c04c112c4d3372e616890	Apalache	NumLe	FunApp	True	Passed	Model Under Test Equivalent Model
93c4f9ae8ba91977ecaa8c571cbaab9a35c29ade	Apalache	NumLe	FunApp	False	Passed	Model Under Test Equivalent Model
ba7330926280feac79eeba289c3f956a504bc674	Apalache	NumLe	Prime	True	Passed	Model Under Test Equivalent Model
219b2179fa14318750968039ba136ba81e881b64	Apalache	NumLe	Prime	False	Passed	Model Under Test Equivalent Model
7a2302fa517366e7f2d56d84d5d9b5c747d2e1aa	Apalache	NumLe	NumZero	True	Passed	Model Under Test Equivalent Model
3fe45041a841456d2e7ed9fb76808f0c17da52fd	Apalache	NumLe	NumZero	False	Passed	Model Under Test Equivalent Model
d8a9049fe3a37ac3563b822a8424dddb2a5b2577	Apalache	NumLe	NumOne	True	Passed	Model Under Test Equivalent Model
111cfa70e82858be5b05e6adb71d9bda60791e7e	Apalache	NumLe	NumOne	False	Passed	Model Under Test Equivalent Model
497e5d2e2715107f95e580a3f6dd11eb1db340d2	Apalache	NumLe	NumMaxInt	True	Passed	Model Under Test Equivalent Model
6980e1f44f1ee396e9095a875688585b13158ce6	Apalache	NumLe	NumMaxInt	False	Passed	Model Under Test Equivalent Model
1c018ce6e46fe5e4c6473ec704f38908403e0696	Apalache	NumLe	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
33168aee3e0ea218f84de63d438abe5c1d2ed6d6	Apalache	NumLe	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
b01c5e68c3a3098000b85ee17a6aceab3bcdab9f	Apalache	NumLe	NumPlus	True	Passed	Model Under Test Equivalent Model
3af46a4c9031495f15032e5df69eb71dff53babf	Apalache	NumLe	NumPlus	False	Passed	Model Under Test Equivalent Model
b1864f1e501fda1a19fc7c92204a77e95bef7f11	Apalache	NumLe	NumMinus	True	Passed	Model Under Test Equivalent Model
7eda53a03a9e91d3fd6f6e5866d89618689b7dd8	Apalache	NumLe	NumMinus	False	Passed	Model Under Test Equivalent Model
ca9beca8807abb573b6dcceb1c008af39596e1fa	Apalache	NumLe	NumMul	True	Passed	Model Under Test Equivalent Model
8e9079b6ec5a3c84f060acdb6dc5b2f26a190d74	Apalache	NumLe	NumMul	False	Passed	Model Under Test Equivalent Model
8e55b68d748a138ac47b340cbb047966579783f6	Apalache	NumLe	NumDiv	True	Passed	Model Under Test Equivalent Model
99c6223f25e1a6ff555fc98728d345461795b0c1	Apalache	NumLe	NumDiv	False	Passed	Model Under Test Equivalent Model
57e1331391a47006a0ca0cbb4cf897cfda1860af	Apalache	NumLe	NumMod	True	Passed	Model Under Test Equivalent Model
9c93c8432b677d6e29539267ca0dd95680789c12	Apalache	NumLe	NumMod	False	Passed	Model Under Test Equivalent Model
4c49967a6d44f1a9295b0d105723564352aa2f12	Apalache	NumLe	NumPow	True	Passed	Model Under Test Equivalent Model
790d03a4eca533b3ba60d214ed99af88e76743f9	Apalache	NumLe	NumPow	False	Passed	Model Under Test Equivalent Model
c0ce135104433a06ddd7afc07fd9492816b71a47	Apalache	NumLe	Def0	True	Passed	Model Under Test Equivalent Model
d5414f19873b521630423d44e14efb27b2677887	Apalache	NumLe	Def0	False	Passed	Model Under Test Equivalent Model
34d4d768b0ed66111a7005de050bac80688710f1	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumLe	LetDef0	True	Passed	Model Under Test Equivalent Model
a4effaa09826be6c24afc55953fb3efffdcec223	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumLe	LetDef0	False	Passed	Model Under Test Equivalent Model
d91e7e741a070a99f38f837f9c20ec63800cbb30	Apalache	NumLe	Def1	True	Passed	Model Under Test Equivalent Model
b157b890a1a798bfc81e8cdd3d517bc57fb30280	Apalache	NumLe	Def1	False	Passed	Model Under Test Equivalent Model
da28fdb00daac33292b890ff3c30f17fdb4f3ced	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumLe	LetDef1	True	Passed	Model Under Test Equivalent Model
1f5ebd37c8f1a62a919e06ce1c64f8058a284e76	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumLe	LetDef1	False	Passed	Model Under Test Equivalent Model
229549edaa895b859feffb343ce4bd83e6cf7a28	Apalache	NumLe	Def2	True	Passed	Model Under Test Equivalent Model
024fe68d7fbfe80bfaf4014a73fe76eb8115f995	Apalache	NumLe	Def2	False	Passed	Model Under Test Equivalent Model
89dc7b9cd50c37a7f0825fd3b67adbe1e3e78b6e	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumLe	LetDef2	True	Passed	Model Under Test Equivalent Model
483b660f4e749d642ef0900ddc32897bb126c4a3	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumLe	LetDef2	False	Passed	Model Under Test Equivalent Model
78d957114e85cd2d25a88b20fba6317ce1a29b51	Apalache	NumLe	Def1Recursive	True	Passed	Model Under Test Equivalent Model
7425c5368ab290b6edca810ea47a64f29b0aec0e	Apalache	NumLe	Def1Recursive	False	Passed	Model Under Test Equivalent Model
1821c9b042fa0f15645d343bdcda46e0dbb953bd	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumLe	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
ddcff9064a20834030556121b529261bf06c5072	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumLe	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
687d6e2c4170fdd0b1f0f94b3e1a431e99bc97bf	Apalache	NumLe	Extends	True	Passed	Model Under Test Equivalent Model
45b5a58eaea7dfc099b2dfd90bdfea7d3e942de8	Apalache	NumLe	Extends	False	Passed	Model Under Test Equivalent Model
161a9a54ff3543d4733f44770b820c8f4c77178a	Apalache	NumLe	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
fcfe13609ceb80d9ec082f6e701180a94e9c3b70	Apalache	NumLe	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
8d313ccbeee34c5b17e140ca3cfb139ac408e460	Apalache	NumLe	Variable	True	Passed	Model Under Test Equivalent Model
5fbd6091b95d7f0203d4b5bfbd77fb5f2370f4d2	Apalache	NumLe	Variable	False	Passed	Model Under Test Equivalent Model
a41364330744712a6b2d8314ffe0705010de7a9b	Apalache	NumLe	Constant	True	Passed	Model Under Test Equivalent Model
72e432c6273c46678efc104381d0f961af3cf0f6	Apalache	NumLe	Constant	False	Passed	Model Under Test Equivalent Model
0772ce55e2b6eaf7836fea37571b1ebe331bb88b	Apalache	NumLe	ConstantRank1	True	Passed	Model Under Test Equivalent Model
3c7efe2a92f6443d6e331e1118505dee0dce5d54	Apalache	NumLe	ConstantRank1	False	Passed	Model Under Test Equivalent Model
11230e245c233006f69b8a242809cc48664d68ed	Apalache	NumLe	Instance	True	Passed	Model Under Test Equivalent Model
0f9b8b02a329f8c312e4c871caa94f1d5b0977d0	Apalache	NumLe	Instance	False	Passed	Model Under Test Equivalent Model
ebf8703a254fa7847a3d8e19aacf5eda75e10802	Apalache	NumLe	InstanceWith	True	Passed	Model Under Test Equivalent Model
39cd95ed6fc6f9587aa275b15bd0c862b607342e	Apalache	NumLe	InstanceWith	False	Passed	Model Under Test Equivalent Model
5846f72222c879455e7b42f66ab1f153ce1fe52e	Apalache	NumLe	InstanceNamed	True	Passed	Model Under Test Equivalent Model
2cb0fa9985a79a506369020bd8f7421c4cce531d	Apalache	NumLe	InstanceNamed	False	Passed	Model Under Test Equivalent Model
8dff929b3a45c2941e9a8d75bc81332cbb594737	Apalache	NumLe	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
279170c2307021fc0cec216880c338ef4da17134	Apalache	NumLe	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
f6f7eb57d5fefe285228774349e2df11689a7f92	Apalache	NumLe	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
616b65b9149f517c0d8bb481d8f2b2e33e07b9ae	Apalache	NumLe	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
2d3e6a1055afda6d137b62f15a1631747d6ef4a0	Apalache	NumLe	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
e75ac19fb1a29d7dc28a4ffbac22d6261f530ace	Apalache	NumLe	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
85615f411e7cb6ba394d81ac002b3db7578e939d	Apalache	NumLe	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
b91f65f9702874aeb9871732363e0ec155dd0b06	Apalache	NumLe	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
cf205564eef3732e9f4be2ab7b6b44de88919daf	Apalache	NumLe	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
eac2d3096eb0262d26fde963cde1db67b0297f64	Apalache	NumLe	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
3041112e792f0be0339b070e78112a545eb1e2c4	Apalache	NumLe	IfCond	True	Passed	Model Under Test Equivalent Model
f3f673a56eafb74697cd5ee4444d69324ced79c4	Apalache	NumLe	IfCond	False	Passed	Model Under Test Equivalent Model
8585bd703b5cb566febfe100277a82c7f6542482	Apalache	NumLe	IfThen	True	Passed	Model Under Test Equivalent Model
7b2e7b33373074e9cd7c1c9627a7f3967e613c27	Apalache	NumLe	IfThen	False	Passed	Model Under Test Equivalent Model
0f6fb2c8b54af2d3b646f9d35a857e6f455965f0	Apalache	NumLe	IfElse	True	Passed	Model Under Test Equivalent Model
07d7d9e7ae2ef385b049e8e5564f31fe76d07609	Apalache	NumLe	IfElse	False	Passed	Model Under Test Equivalent Model
fb2af25fd421f8fe1cd541c1c306bceaf8758884	Apalache	NumLe	SeqLen	True	Passed	Model Under Test Equivalent Model
befe62a808c9e8a1c84b4039e0faf3650b949163	Apalache	NumLe	SeqLen	False	Passed	Model Under Test Equivalent Model
de8a82f1ea7c999372c9b2ac92a268c7c52cc37d	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	NumLe	TlcEval	True	Passed	Model Under Test Equivalent Model
736b4d411b6f5701b624169f39ee63d1b7dd7272	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	NumLe	TlcEval	False	Passed	Model Under Test Equivalent Model
5f5bf7eb73e3ac72d67855c50883478acfae3265	Apalache	NumLe	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
b454859da6680ced172ab0307fbdc64886e69502	Apalache	NumLe	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
a9d134253d890d4ea8bea34ea28dbd16170969ef	Apalache	NumLe	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
7f9df94aa34ffda458ab884bf01866f3674393e9	Apalache	NumLe	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
1cb002b8a0a1e399c62b7a0f33084649824ad4f9	Apalache	NumLe	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
10f5f46f6edb2d8da006ee5a35428e651b546a82	Apalache	NumLe	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
c635a50232a03314d5af6d95a20d49e35052ceda	Apalache	NumLe	SeqHead	True	Passed	Model Under Test Equivalent Model
fd2839bc211ca13daaa88709d753cf3eff3b7f5a	Apalache	NumLe	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

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