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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
37d290f171920c7293c636d0e19e1dca1b76d430	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumUnaryMinus	OneLineComment	True	Passed	Model Under Test Equivalent Model
2af713f664754c07bcaa9e21f2642d96b94a435a	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumUnaryMinus	OneLineComment	False	Passed	Model Under Test Equivalent Model
21750143d99e6addf50ef0789ffe6a4a6bb94f41	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumUnaryMinus	MultiLineComment	True	Passed	Model Under Test Equivalent Model
6fa3c94b60839161d765668cd779d3ff14f7d0b0	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumUnaryMinus	MultiLineComment	False	Passed	Model Under Test Equivalent Model
ec94240ed58010540c10a268a8b0816194a05360	Apalache	NumUnaryMinus	Let	True	Passed	Model Under Test Equivalent Model
df9664948fa7f41769b08216273b5874e620fc1f	Apalache	NumUnaryMinus	Let	False	Passed	Model Under Test Equivalent Model
dd15406a05f309f22b2bf992dfb0cf2f8a2c465a	Apalache	NumUnaryMinus	Choose	True	Passed	Model Under Test Equivalent Model
5acc5b65db97b5f3528758e13484b13ff7dc6fef	Apalache	NumUnaryMinus	Choose	False	Passed	Model Under Test Equivalent Model
72ce7d919e1c50d98bd417af17e3ba35b6af5949	Apalache	NumUnaryMinus	FunApp	True	Passed	Model Under Test Equivalent Model
d28e4ed94f4b6c7967075ac9ded598a0d57c4057	Apalache	NumUnaryMinus	FunApp	False	Passed	Model Under Test Equivalent Model
c17b9c6bfefa25acf7bc7bf8880dd288afe08382	Apalache	NumUnaryMinus	Prime	True	Passed	Model Under Test Equivalent Model
0faa8dcd4017aff22a6f7331fb6814950c30415d	Apalache	NumUnaryMinus	Prime	False	Passed	Model Under Test Equivalent Model
2d28236b2843b83996e999d37aca07af2d10c835	Apalache	NumUnaryMinus	NumZero	True	Passed	Model Under Test Equivalent Model
e3bf3e9c4c7cc80c3f618ae29d748f9ced4b6fa8	Apalache	NumUnaryMinus	NumZero	False	Passed	Model Under Test Equivalent Model
38a5a4da698d4dcff74e1f5f290430caa02a35ed	Apalache	NumUnaryMinus	NumOne	True	Passed	Model Under Test Equivalent Model
6912745a5e7a7f19e96e79a5d63f0841379adef2	Apalache	NumUnaryMinus	NumOne	False	Passed	Model Under Test Equivalent Model
5c78fb10f2d92e31bd62a3d7d0d63603657f9605	Apalache	NumUnaryMinus	NumMaxInt	True	Passed	Model Under Test Equivalent Model
c8af08c3c222bd1a8695ff26272b1c810ba2b318	Apalache	NumUnaryMinus	NumMaxInt	False	Passed	Model Under Test Equivalent Model
4002dee6bcf0ecd2586e39e999c97403b73e6e37	Apalache	NumUnaryMinus	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
1c36181fee87217363077a4b62edd6d7cba726dc	Apalache	NumUnaryMinus	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
78e2bfb1f5d7523e3a66be18aa42a074348a6192	Apalache	NumUnaryMinus	NumPlus	True	Passed	Model Under Test Equivalent Model
d4b39f2ec46f58e0f95b4e59b656775ea8e54e8f	Apalache	NumUnaryMinus	NumPlus	False	Passed	Model Under Test Equivalent Model
41eaad9147596315fd5db51ba77d0bb735ba20ad	Apalache	NumUnaryMinus	NumMinus	True	Passed	Model Under Test Equivalent Model
597177f7bc1989feb3f6fe86af53fefd48ee1be6	Apalache	NumUnaryMinus	NumMinus	False	Passed	Model Under Test Equivalent Model
70e2c09df8bfd34a16e16abbdcdce480baf013fb	Apalache	NumUnaryMinus	NumMul	True	Passed	Model Under Test Equivalent Model
3a213bd729c22e3a3e61735d2221d5adb3b1ef9f	Apalache	NumUnaryMinus	NumMul	False	Passed	Model Under Test Equivalent Model
13f03fb7595dd3b5a73c53116fc4ea2b905d670a	Apalache	NumUnaryMinus	NumDiv	True	Passed	Model Under Test Equivalent Model
b8ab6e54ecf14e54904f56e3d2373cbc2efa95b4	Apalache	NumUnaryMinus	NumDiv	False	Passed	Model Under Test Equivalent Model
114417685a2540404c857cf1e98f4c91e6f47806	Apalache	NumUnaryMinus	NumMod	True	Passed	Model Under Test Equivalent Model
bc0cf3041355495fa024ea2b2637fc7a71c99441	Apalache	NumUnaryMinus	NumMod	False	Passed	Model Under Test Equivalent Model
1d270fdfd551936941b65922c11d9693323206d8	Apalache	NumUnaryMinus	NumPow	True	Passed	Model Under Test Equivalent Model
3d7b6e5559dbb9e6d4c5a1441b6a1dd05000631d	Apalache	NumUnaryMinus	NumPow	False	Passed	Model Under Test Equivalent Model
b93d23237f7bef2a6c4b3715d43398f0ccd6fa93	Apalache	NumUnaryMinus	Def0	True	Passed	Model Under Test Equivalent Model
1968a91fee4cc5a66ee6aae3c669003795ade25f	Apalache	NumUnaryMinus	Def0	False	Passed	Model Under Test Equivalent Model
410ed91e5b560e922f4fcf29af6bbf0648b0206e	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumUnaryMinus	LetDef0	True	Passed	Model Under Test Equivalent Model
1644e7b9def651d2930306f8d2cb0c931979f97c	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumUnaryMinus	LetDef0	False	Passed	Model Under Test Equivalent Model
9227a649e20e0c0dad64d09948bbe7766ec7c2ce	Apalache	NumUnaryMinus	Def1	True	Passed	Model Under Test Equivalent Model
bdb662d21d02a106529b2228de8baaa7d25a8cd5	Apalache	NumUnaryMinus	Def1	False	Passed	Model Under Test Equivalent Model
845c4ed1aeefee5c85abd8a95e770958934284c2	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumUnaryMinus	LetDef1	True	Passed	Model Under Test Equivalent Model
c2a9fc4e2eaea706621e44e9970247fe28bd6a9e	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumUnaryMinus	LetDef1	False	Passed	Model Under Test Equivalent Model
70a70a956964b08ef349826232b956994a459395	Apalache	NumUnaryMinus	Def2	True	Passed	Model Under Test Equivalent Model
3a429bbc398895c82d6300f077df02c0a64e567a	Apalache	NumUnaryMinus	Def2	False	Passed	Model Under Test Equivalent Model
502d6ae83d782008c0dad5a2b61c3f858f2b6381	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumUnaryMinus	LetDef2	True	Passed	Model Under Test Equivalent Model
30cbf778dbdf1cc2e587c9205ea1080aa88b6abc	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumUnaryMinus	LetDef2	False	Passed	Model Under Test Equivalent Model
3d7297a98b6cdeaa343ea62baca008f814d90480	Apalache	NumUnaryMinus	Def1Recursive	True	Passed	Model Under Test Equivalent Model
3d40b8560341704122af0c1b944a3183f3942d67	Apalache	NumUnaryMinus	Def1Recursive	False	Passed	Model Under Test Equivalent Model
cf9f121fae6dd37772c9191f74e9029be0ccb9b8	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumUnaryMinus	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
01f357dc577f158d07a1a3f631661f5caf2b5cee	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumUnaryMinus	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
5642c825ef1bce3fa1fbafccd5d6cfaffae0e750	Apalache	NumUnaryMinus	Extends	True	Passed	Model Under Test Equivalent Model
ace882f368af3daa9310edbe2bda4add383a64fa	Apalache	NumUnaryMinus	Extends	False	Passed	Model Under Test Equivalent Model
2c05f92c57d661f19290549468147a6e0a7e3c20	Apalache	NumUnaryMinus	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
84359fd319757869718653905707491ca3ea7e8a	Apalache	NumUnaryMinus	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
5442b0222d9989eb7b4e597471c3c367b02cbdd4	Apalache	NumUnaryMinus	Variable	True	Passed	Model Under Test Equivalent Model
b68ba890b07d80f27759fa6c05d4b6fb042cd0a4	Apalache	NumUnaryMinus	Variable	False	Passed	Model Under Test Equivalent Model
877910410d7e927ae5e45c1dcb555be34f30eb2c	Apalache	NumUnaryMinus	Constant	True	Passed	Model Under Test Equivalent Model
8ba86cf7984e5bea759a4002340b283632d2d538	Apalache	NumUnaryMinus	Constant	False	Passed	Model Under Test Equivalent Model
de16ca2634a1f91670d9ef64097debba119004b7	Apalache	NumUnaryMinus	ConstantRank1	True	Passed	Model Under Test Equivalent Model
6ed6e59d1ce50e5db1b5e9bc1763f0ec94f6a394	Apalache	NumUnaryMinus	ConstantRank1	False	Passed	Model Under Test Equivalent Model
3cddf3782623717349cdb7886cf1d8f0950f2bf2	Apalache	NumUnaryMinus	Instance	True	Passed	Model Under Test Equivalent Model
511bf07fc2cdbce1a6480c98fcea08d99bf281ad	Apalache	NumUnaryMinus	Instance	False	Passed	Model Under Test Equivalent Model
5f59f2fbc77be5572ba99796e10c3024a0782f60	Apalache	NumUnaryMinus	InstanceWith	True	Passed	Model Under Test Equivalent Model
94abf5578a832dd18ccd90b78985e15d3fea05bb	Apalache	NumUnaryMinus	InstanceWith	False	Passed	Model Under Test Equivalent Model
9fe0abdb1754a03d28592698c9142788995c7196	Apalache	NumUnaryMinus	InstanceNamed	True	Passed	Model Under Test Equivalent Model
0163c8d493e026435ee0b797a3cc15c26dd7e962	Apalache	NumUnaryMinus	InstanceNamed	False	Passed	Model Under Test Equivalent Model
03a2d108240815b4a0647c9ac7fd25ab513cd1f0	Apalache	NumUnaryMinus	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
8562eb6e065ec64fe36f2c7c17cd101639460fae	Apalache	NumUnaryMinus	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
71557d88ade96adb1295289d6882a29c3ac7f0b2	Apalache	NumUnaryMinus	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
3752294f68e79920da4631eafc5d48f8de67251d	Apalache	NumUnaryMinus	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
58dbfc9c36fdb96d82c76c4b58663f25d610effd	Apalache	NumUnaryMinus	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
be57d51c436701e2797c3e2b4dbf68261bbca77c	Apalache	NumUnaryMinus	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
ce22de35df0493f5ad5cdf86d3c7271dd1ec860f	Apalache	NumUnaryMinus	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
17a51b36d6d0f56f427d1f6bfbeb374da892eba7	Apalache	NumUnaryMinus	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
3bf00c96f006ec3961db2543eaa1960cd2f60440	Apalache	NumUnaryMinus	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
66f5d46b38f5b32983c23f1afd036aa3cd162cc8	Apalache	NumUnaryMinus	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
efaf7732eafd56c48f59558b9dc76a2fe21d5b7f	Apalache	NumUnaryMinus	IfCond	True	Passed	Model Under Test Equivalent Model
1f59abdcca3dd52e43137930fc3f70f2f49cb775	Apalache	NumUnaryMinus	IfCond	False	Passed	Model Under Test Equivalent Model
4ad89b44d203c0907475ce219796fc6b33fdbd6c	Apalache	NumUnaryMinus	IfThen	True	Passed	Model Under Test Equivalent Model
0cdebd86e0e25c09c5e96d33db9ffcfeba8fc24c	Apalache	NumUnaryMinus	IfThen	False	Passed	Model Under Test Equivalent Model
0889bb463bb7f355a9ec017e2b0598164ca99628	Apalache	NumUnaryMinus	IfElse	True	Passed	Model Under Test Equivalent Model
10ad2b37370ebdfdeb0459bff05e14679e09ebdd	Apalache	NumUnaryMinus	IfElse	False	Passed	Model Under Test Equivalent Model
e92a7fdcde8eb86bd03a7693ae7a786aaf1e6836	Apalache	NumUnaryMinus	SeqLen	True	Passed	Model Under Test Equivalent Model
c12d20a3f4fb85aedd0d57ceaeeb2ce199e9ce5f	Apalache	NumUnaryMinus	SeqLen	False	Passed	Model Under Test Equivalent Model
43e423c94aefb233f1eb3efaa8431ade2eb02c7c	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	NumUnaryMinus	TlcEval	True	Passed	Model Under Test Equivalent Model
c9b96fe860c437f0d2c29deb756f0c777283115e	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	NumUnaryMinus	TlcEval	False	Passed	Model Under Test Equivalent Model
8d2b24dfe7d8a7a231b5e071dade3f713fea548c	Apalache	NumUnaryMinus	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
8dd3e9cca3191bcb058bcbe1c54d018acf16beae	Apalache	NumUnaryMinus	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
0a8d03fcb25e727f4c614d63fcf41937fe893e5b	Apalache	NumUnaryMinus	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
cb125b4d590e0bf3851d62c958d1f00e4e91f67f	Apalache	NumUnaryMinus	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
33c807220f7207ba2d656997952015e290c75361	Apalache	NumUnaryMinus	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
d1f19640b7d92f7d62f651567bac496c1a405038	Apalache	NumUnaryMinus	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
b62bc47becca50fcfeb38656ec08a617aa6d15fa	Apalache	NumUnaryMinus	SeqHead	True	Passed	Model Under Test Equivalent Model
fbdc24b39812a0585cfe88de4bbd1e8de1292d5c	Apalache	NumUnaryMinus	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

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