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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
db952ca7ac79603a81352fde05fce79ae66a2ef9	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumPlus	OneLineComment	True	Passed	Model Under Test Equivalent Model
1dfd7d3b7afed7205e4f40afe00950ee7900fad4	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumPlus	OneLineComment	False	Passed	Model Under Test Equivalent Model
94ddd6d33864094661c841e8e7add5b76c73e54a	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumPlus	MultiLineComment	True	Passed	Model Under Test Equivalent Model
707c223c6cde05e68c0444ba23267583ee219c1d	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumPlus	MultiLineComment	False	Passed	Model Under Test Equivalent Model
2ac3b32246d0f7e9bfd696583655714cab2a4113	Apalache	NumPlus	Let	True	Passed	Model Under Test Equivalent Model
fa2e9e21dd88c7c82bea74631767088d44d7bfd3	Apalache	NumPlus	Let	False	Passed	Model Under Test Equivalent Model
1f3d684a5000afa4f237e722e71c779e96d37b33	Apalache	NumPlus	Choose	True	Passed	Model Under Test Equivalent Model
257988509e40d70a2739ec4395c5d37b6f2a6b76	Apalache	NumPlus	Choose	False	Passed	Model Under Test Equivalent Model
8bab4baa6098053ed6ee390490a6cdbc4450d7f3	Apalache	NumPlus	FunApp	True	Passed	Model Under Test Equivalent Model
3f34d00430f4518b73720877c3b02056b7b89f52	Apalache	NumPlus	FunApp	False	Passed	Model Under Test Equivalent Model
5ca54822877656eff9de7db57abf723acf5d06f6	Apalache	NumPlus	Prime	True	Passed	Model Under Test Equivalent Model
c978dffc72af8a04fc58b67b22092a2516c3665c	Apalache	NumPlus	Prime	False	Passed	Model Under Test Equivalent Model
3a432d87048cc6e88216cea20da079a7122e25d0	Apalache	NumPlus	NumZero	True	Passed	Model Under Test Equivalent Model
12e4ddc125b7117c7d6d1ff646ad17dda69fe82b	Apalache	NumPlus	NumZero	False	Passed	Model Under Test Equivalent Model
1e744acdf5d53a4b8d3e8a87dd657b5f551982de	Apalache	NumPlus	NumOne	True	Passed	Model Under Test Equivalent Model
59a644e0163329a49b11145fd7ecd717a9f30a85	Apalache	NumPlus	NumOne	False	Passed	Model Under Test Equivalent Model
4142febf3f1f73ebb34b120aa12dc0bb2de8b6fd	Apalache	NumPlus	NumMaxInt	True	Failed: TLC internally represents integers as 32 bit numbers and reports an error if the value is overflowed. Apalache is unable to detect overflows	Model Under Test Equivalent Model
1745d72d9d851029e3331ff2327ed2ce209afee8	Apalache	NumPlus	NumMaxInt	False	Failed: TLC internally represents integers as 32 bit numbers and reports an error if the value is overflowed. Apalache is unable to detect overflows	Model Under Test Equivalent Model
2070900cceb25624cb360eb0caf5fad1da8dfdbe	Apalache	NumPlus	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
189897b74b33d4e20126fd93f24a7a9f8351d268	Apalache	NumPlus	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
2f6bf3ff975dcfe3c9603070dd60fd313204d74b	Apalache	NumPlus	NumPlus	True	Passed	Model Under Test Equivalent Model
75884a4a7ff760a5f04fb3292796f98eb3f05071	Apalache	NumPlus	NumPlus	False	Passed	Model Under Test Equivalent Model
946fa57c64e88bbc74d1631d35b5068b8dc69f04	Apalache	NumPlus	NumMinus	True	Passed	Model Under Test Equivalent Model
8d1f8809f9ea9fbe74c9c90e103c5e72a9994e72	Apalache	NumPlus	NumMinus	False	Passed	Model Under Test Equivalent Model
7b3f471076c310f5a1f4a115ceaf3e72f0a2588b	Apalache	NumPlus	NumMul	True	Passed	Model Under Test Equivalent Model
3f52c0db6b8866ea9c96edef82e463c9483a93c9	Apalache	NumPlus	NumMul	False	Passed	Model Under Test Equivalent Model
4d626714ad223b75130584dc852a1bf9614db943	Apalache	NumPlus	NumDiv	True	Passed	Model Under Test Equivalent Model
3733deeadb031140d786b14d6945d2d667759e5b	Apalache	NumPlus	NumDiv	False	Passed	Model Under Test Equivalent Model
2936633a108f12b4b1c21cecf85b5562df993cfa	Apalache	NumPlus	NumMod	True	Passed	Model Under Test Equivalent Model
6e9f850bbbb24b873c5cbacb19f094467521fa19	Apalache	NumPlus	NumMod	False	Passed	Model Under Test Equivalent Model
fc75ac6a46ecf3890e0ad260898acbbecefe4cdf	Apalache	NumPlus	NumPow	True	Passed	Model Under Test Equivalent Model
82d3076e15bfbb42b81b5d39a56c5fd44b17c253	Apalache	NumPlus	NumPow	False	Passed	Model Under Test Equivalent Model
9ed4f8c02bcb5b80ab5f44c24720406bec8dadc7	Apalache	NumPlus	Def0	True	Passed	Model Under Test Equivalent Model
62d6f25c0709d703f81869271bcb2584a03b3865	Apalache	NumPlus	Def0	False	Passed	Model Under Test Equivalent Model
936b684c06d7340b14d647c5e6f0c9c9737686d5	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumPlus	LetDef0	True	Passed	Model Under Test Equivalent Model
7a43bf730e3740f2f34565d3fb875215f6b4961b	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumPlus	LetDef0	False	Passed	Model Under Test Equivalent Model
c277f15de6dd07a63ff49ccdb5e002cb6a141135	Apalache	NumPlus	Def1	True	Passed	Model Under Test Equivalent Model
b2eb1889390bf59f9c15204f5515ce9884b471ba	Apalache	NumPlus	Def1	False	Passed	Model Under Test Equivalent Model
99b65f67aa2a23cc33c50d1f99327c97fe6b4dba	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumPlus	LetDef1	True	Passed	Model Under Test Equivalent Model
21a983a10a0b4ba3a720ca2a790e20001fc74baa	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumPlus	LetDef1	False	Passed	Model Under Test Equivalent Model
22caf39533dee6f60fe255c5eed0c5f7cc587c60	Apalache	NumPlus	Def2	True	Passed	Model Under Test Equivalent Model
e0375b3cce12f7fdb74a32fe35df2a084e2c4c43	Apalache	NumPlus	Def2	False	Passed	Model Under Test Equivalent Model
e231b615912d00ae5e5c7a1467fa5f0a3a7f86e7	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumPlus	LetDef2	True	Passed	Model Under Test Equivalent Model
baff624e3bda02c67ef275b56fc8f11530fe72d2	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumPlus	LetDef2	False	Passed	Model Under Test Equivalent Model
73c116d5e77c666731009b6ae9af74bd828a463a	Apalache	NumPlus	Def1Recursive	True	Passed	Model Under Test Equivalent Model
d1ec61d98c335b1c6b5aeede423ce1de1e16b707	Apalache	NumPlus	Def1Recursive	False	Passed	Model Under Test Equivalent Model
0fb551708cdc6cd6aa5d592af3a35c8843c27398	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumPlus	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
2fe4d3704c8563d7d9fdfb8d4ce8de31dd002d7c	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumPlus	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
4874a65ebc078de81e783f03bee530f1e17ee15a	Apalache	NumPlus	Extends	True	Passed	Model Under Test Equivalent Model
d1370ab2d19ccf8b764d019a8665c52724a9afc1	Apalache	NumPlus	Extends	False	Passed	Model Under Test Equivalent Model
a28f17ecf89a38d9810d174f3f5860cfa4a9a137	Apalache	NumPlus	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
699a477570699172b020d10efcf95abb66b7fabb	Apalache	NumPlus	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
76462ab639594076c07092e855eceed3ea4f9341	Apalache	NumPlus	Variable	True	Passed	Model Under Test Equivalent Model
98876abd9cf12da7d734c50dc4e5be7b2c9ef1ff	Apalache	NumPlus	Variable	False	Passed	Model Under Test Equivalent Model
9c390d87d1eb1b6da097a7e5300a84146d781cb1	Apalache	NumPlus	Constant	True	Passed	Model Under Test Equivalent Model
840f9412ba4d6a6322f9e8f647fe40bb8b2b34d6	Apalache	NumPlus	Constant	False	Passed	Model Under Test Equivalent Model
f51b24522476fc0401c2cb5ec64cf8c31c20414a	Apalache	NumPlus	ConstantRank1	True	Passed	Model Under Test Equivalent Model
62337c4079b844b6b140e0913291de08a661c164	Apalache	NumPlus	ConstantRank1	False	Passed	Model Under Test Equivalent Model
a91760fef364e633cd241b914271a3a3072f4e88	Apalache	NumPlus	Instance	True	Passed	Model Under Test Equivalent Model
f474f2c79254904de4959f0750393e28c473ef56	Apalache	NumPlus	Instance	False	Passed	Model Under Test Equivalent Model
96a8ab28041a12b015c5e3d779712bee7d8157c6	Apalache	NumPlus	InstanceWith	True	Passed	Model Under Test Equivalent Model
b2b3d872ab2568d39204a2100ca63bbfc8088c0a	Apalache	NumPlus	InstanceWith	False	Passed	Model Under Test Equivalent Model
3975c0558e03c8e7526c6439d00a2c956cffe88c	Apalache	NumPlus	InstanceNamed	True	Passed	Model Under Test Equivalent Model
90d28f8ad1b74432d69a72a29cc9af1f2e5dc784	Apalache	NumPlus	InstanceNamed	False	Passed	Model Under Test Equivalent Model
369fd0b485c921c9815eab8ff0862ebb17308136	Apalache	NumPlus	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
a2c6873d7fcfa24322083847e282901bb8f942a8	Apalache	NumPlus	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
3497857d4e2b1cd7b3675a962bb2ebda4e38436b	Apalache	NumPlus	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
4b9a7477ac2abdaf6e760d6c39a7a2cb5132cf2a	Apalache	NumPlus	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
53e0a9a500c8d1613ee0767d1c55deb29e36c68c	Apalache	NumPlus	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
7e900bb0fc70705a296b08ba4da3f6384ddcd435	Apalache	NumPlus	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
910277c2d9e104bffd469e9394dba0c88e12d6bb	Apalache	NumPlus	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
cecadb223fa3357669c1022d90ba476c2ca12584	Apalache	NumPlus	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
1739e89b6d9ea3e03c06edca429758323719d783	Apalache	NumPlus	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
6289d16f21fb3f989befd49fbe497f0022b3df18	Apalache	NumPlus	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
5dd01dacba7906e39bf1a54db3f552da5b576afa	Apalache	NumPlus	IfCond	True	Passed	Model Under Test Equivalent Model
6533ae8f6e18dc666b87232d1789390c5125eeea	Apalache	NumPlus	IfCond	False	Passed	Model Under Test Equivalent Model
37ca26561db6905ad01eb7eaa27097f2914493aa	Apalache	NumPlus	IfThen	True	Passed	Model Under Test Equivalent Model
4e5590b7ca5b5f9d576c43286c4c068bb51a6a2e	Apalache	NumPlus	IfThen	False	Passed	Model Under Test Equivalent Model
559446a08400996c6567cca87bc391b578b127b3	Apalache	NumPlus	IfElse	True	Passed	Model Under Test Equivalent Model
9382206fad2c7dfe6ee0a892c2b2055a4f7ce3fa	Apalache	NumPlus	IfElse	False	Passed	Model Under Test Equivalent Model
ecd85705225b40fffa13e2676088631fda3a75a2	Apalache	NumPlus	SeqLen	True	Passed	Model Under Test Equivalent Model
865f6949dd2ac7d772b1a6962afc41ba7e534c55	Apalache	NumPlus	SeqLen	False	Passed	Model Under Test Equivalent Model
771ec1eb532f2c3ac8b5b28804e735b9a5a3ea9a	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	NumPlus	TlcEval	True	Passed	Model Under Test Equivalent Model
5055348ef07794f42cd2bed9b1ee85d2203d73ab	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	NumPlus	TlcEval	False	Passed	Model Under Test Equivalent Model
ef02f20bdeb792a14546ca5bc9482d2a6924c72b	Apalache	NumPlus	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
b5166404d67c9e59c7cd4a430170727640aaab4b	Apalache	NumPlus	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
38790b93fcde8f20b1d563a85c67bc145581edd6	Apalache	NumPlus	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
dbb452f0a0305a4e2b1da6756e6e305c1a7d4b47	Apalache	NumPlus	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
844a6bb39eb28b0408fe67004c1849e7a8e9697c	Apalache	NumPlus	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
461f117b413fcb547c7b9cc7383e046ac32db076	Apalache	NumPlus	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
b1b529778846eb6a8da5a342f52668348d136a7b	Apalache	NumPlus	SeqHead	True	Passed	Model Under Test Equivalent Model
34477ce80f6a591194ed514d0ada84b547ff6799	Apalache	NumPlus	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

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