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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
5ca5760b1ea3df3d4470badc510da8e6f96086e4	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumMul	OneLineComment	True	Passed	Model Under Test Equivalent Model
b9e94802c4a9c4dd6d44274db24c306ee530926f	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumMul	OneLineComment	False	Passed	Model Under Test Equivalent Model
f05ebe8c80484dd4fc44595c0a01ef35ee3e6f8a	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumMul	MultiLineComment	True	Passed	Model Under Test Equivalent Model
57541553ffae0049bfdadef7672f75dd77122255	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumMul	MultiLineComment	False	Passed	Model Under Test Equivalent Model
f5470e1a530041826c29e3186120570341b207d5	Apalache	NumMul	Let	True	Passed	Model Under Test Equivalent Model
d88ffd09d1fafb680f11eafbd7107bd9e478b340	Apalache	NumMul	Let	False	Passed	Model Under Test Equivalent Model
629dbf2f2302d8ce561e7ad55e1472c0bdec2dff	Apalache	NumMul	Choose	True	Passed	Model Under Test Equivalent Model
3449c32ce5f90c578f4c9634022de5670ee69761	Apalache	NumMul	Choose	False	Passed	Model Under Test Equivalent Model
9f9b03e9a735d37d524f60e5daa6acd41153a2fe	Apalache	NumMul	FunApp	True	Passed	Model Under Test Equivalent Model
540c4e6401b9dc41775ccd9426a03815f9173502	Apalache	NumMul	FunApp	False	Passed	Model Under Test Equivalent Model
c6ac31d0ced4a5450f7ffe390072b95da074fc50	Apalache	NumMul	Prime	True	Passed	Model Under Test Equivalent Model
c4722c6df71e2e8a62d38f7414ee16b66446e36f	Apalache	NumMul	Prime	False	Passed	Model Under Test Equivalent Model
e36df0fb99ee8e1665460e21bd165180026defd6	Apalache	NumMul	NumZero	True	Passed	Model Under Test Equivalent Model
42785fbe752daf77f0a0dba602d1d891c044e5f3	Apalache	NumMul	NumZero	False	Passed	Model Under Test Equivalent Model
c5aad6656c74d902454a16cd378ca4521db6fad7	Apalache	NumMul	NumOne	True	Passed	Model Under Test Equivalent Model
921405b4d64be03a2057a27f5aaa38cda78a0736	Apalache	NumMul	NumOne	False	Passed	Model Under Test Equivalent Model
1663ba55031fbe24d8618dc7e85880a019776ced	Apalache	NumMul	NumMaxInt	True	Passed	Model Under Test Equivalent Model
ec1a0923b4026e5b4886e4b2fc6a208bf4a5e20a	Apalache	NumMul	NumMaxInt	False	Passed	Model Under Test Equivalent Model
3723e0dc12e90caf8205a026afca9db0f6990165	Apalache	NumMul	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
b92542b83d14d5f627c5f02731b29c9aba0f3997	Apalache	NumMul	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
5981480cc521b4f4816d29258e1ff9581fa1e32e	Apalache	NumMul	NumPlus	True	Passed	Model Under Test Equivalent Model
a0a9d9b1f710d4737fe604fc6f8197427615704f	Apalache	NumMul	NumPlus	False	Passed	Model Under Test Equivalent Model
23ff9d7e2ef088372c5431c643dd1727e6659aee	Apalache	NumMul	NumMinus	True	Passed	Model Under Test Equivalent Model
389e65dfba868f00e51fa3ae26334b77a7ffd33e	Apalache	NumMul	NumMinus	False	Passed	Model Under Test Equivalent Model
c38248c5aef4393fbd3171faa0e3f669ebd5c8ec	Apalache	NumMul	NumMul	True	Passed	Model Under Test Equivalent Model
52a895c76f69a5329f37ffe22831d9deefb2e3c0	Apalache	NumMul	NumMul	False	Passed	Model Under Test Equivalent Model
251994e7824929055c95ca704c508d96e5941d33	Apalache	NumMul	NumDiv	True	Passed	Model Under Test Equivalent Model
f15b8a46c7220049a8c9051b48b94f275fa7c548	Apalache	NumMul	NumDiv	False	Passed	Model Under Test Equivalent Model
e71d5c5ac535b7d5527d22a387e369c2cc40384b	Apalache	NumMul	NumMod	True	Passed	Model Under Test Equivalent Model
7818e64f96167f77784d1a17a53d87f56ee3ca68	Apalache	NumMul	NumMod	False	Passed	Model Under Test Equivalent Model
1814a2d12495ac11de7f9da83dfd39a1aeaef754	Apalache	NumMul	NumPow	True	Passed	Model Under Test Equivalent Model
21e416195d5f93f1c91fff3c4c7b60e928d12212	Apalache	NumMul	NumPow	False	Passed	Model Under Test Equivalent Model
f82973559d1555158076e8f99648a713f2049bce	Apalache	NumMul	Def0	True	Passed	Model Under Test Equivalent Model
f3c9b72cf66fb58a06ea2800731506db15493ac3	Apalache	NumMul	Def0	False	Passed	Model Under Test Equivalent Model
b7c1b97cd6ee146fb7cd285ae6d623e6b49c3c04	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumMul	LetDef0	True	Passed	Model Under Test Equivalent Model
d4820897f63e588c072c0b2285ac3918c0d24ed4	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumMul	LetDef0	False	Passed	Model Under Test Equivalent Model
133fa1915b50d806a15dadbccd049ba2e442fc9c	Apalache	NumMul	Def1	True	Passed	Model Under Test Equivalent Model
bb76fa4463bb61880e96b3142cd2ee6005d34120	Apalache	NumMul	Def1	False	Passed	Model Under Test Equivalent Model
9118cd3825a29839686732c3f695b55c8a47ea28	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumMul	LetDef1	True	Passed	Model Under Test Equivalent Model
cc09134c7d3207e32af75a02990aab08872db81d	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumMul	LetDef1	False	Passed	Model Under Test Equivalent Model
4f3569d80da10aa68f73c8787d87070f7b4ab412	Apalache	NumMul	Def2	True	Passed	Model Under Test Equivalent Model
dc877a2f0200183a75fc520e39ccf19639d8853d	Apalache	NumMul	Def2	False	Passed	Model Under Test Equivalent Model
4de3583b7b03010925cdecc91f00abb087eb6b38	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumMul	LetDef2	True	Passed	Model Under Test Equivalent Model
f7f2493f0039c9186333e08fc3f4cf790b28e0fb	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumMul	LetDef2	False	Passed	Model Under Test Equivalent Model
f1258ad8d81f0ca4f1d97a171e241e778d068934	Apalache	NumMul	Def1Recursive	True	Passed	Model Under Test Equivalent Model
e3f83c9d2abb0f4b978d8e153f4d72de21d6a914	Apalache	NumMul	Def1Recursive	False	Passed	Model Under Test Equivalent Model
d7f41f5a9233081fb5a8ccd9683471b51f0ce1dd	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumMul	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
a564804e0a60f6730e918568cd5418d522dc48b4	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumMul	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
23958bfacab1c83155c6489f333037651c6995e7	Apalache	NumMul	Extends	True	Passed	Model Under Test Equivalent Model
fffd6f4683620da2b85226f59bfa8b9f11c20672	Apalache	NumMul	Extends	False	Passed	Model Under Test Equivalent Model
7e1bbbeafb3d1e47afea45742ebfc689b9d2e830	Apalache	NumMul	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
0c9df7f7f422e922239c30c9b1a7ede0a5e10c14	Apalache	NumMul	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
122f52a2f44da4c6236c2ad5cb25ce51bec4dfea	Apalache	NumMul	Variable	True	Passed	Model Under Test Equivalent Model
9024b65290c2353447f74c51a7a9d8c9028894d8	Apalache	NumMul	Variable	False	Passed	Model Under Test Equivalent Model
c067c50cf0d2f4b66e8956fe6402b22cac4f913a	Apalache	NumMul	Constant	True	Passed	Model Under Test Equivalent Model
95f1b46ea7ae667d2e38bc83bedcd8dc3b90c261	Apalache	NumMul	Constant	False	Passed	Model Under Test Equivalent Model
95b76802fc4a3ab9625eda590930545a58734816	Apalache	NumMul	ConstantRank1	True	Passed	Model Under Test Equivalent Model
24bbfaa02b3a3b4cb7b2838344c1d0587c565167	Apalache	NumMul	ConstantRank1	False	Passed	Model Under Test Equivalent Model
cfca201f8c99d9b5d4d515cd78894e86a883f90f	Apalache	NumMul	Instance	True	Passed	Model Under Test Equivalent Model
6d1dd14a80b6b975c8344fb7a19af150eda0b642	Apalache	NumMul	Instance	False	Passed	Model Under Test Equivalent Model
dcca0550a7d93f76688a1ecb19e3c4794971b3ee	Apalache	NumMul	InstanceWith	True	Passed	Model Under Test Equivalent Model
67c5da273f4b559828b85914fc5b44647da4d15b	Apalache	NumMul	InstanceWith	False	Passed	Model Under Test Equivalent Model
500372df39f94a5a4fd3d8673cb9160026394f5a	Apalache	NumMul	InstanceNamed	True	Passed	Model Under Test Equivalent Model
ebba66f411d4d92f546e72727955624145e75076	Apalache	NumMul	InstanceNamed	False	Passed	Model Under Test Equivalent Model
2c539dcd0b7488b852e06cf47805a005d8854165	Apalache	NumMul	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
5733886995c7a23623d430d6b9cafc9b9325b37f	Apalache	NumMul	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
a4e7ce775ac7a6496bb0314680df48e0e5be974a	Apalache	NumMul	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
70ea8268355d26ea9931c2f645dada2f6cb81eb1	Apalache	NumMul	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
ae862ed9367251d9258b7993dd3e2d34a76940a2	Apalache	NumMul	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
e11de3d86108d3a752f3b35135e57de64d2005f1	Apalache	NumMul	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
333a15ff2ca0e0fe9d9652e33f60ec901b436cd6	Apalache	NumMul	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
093a8f049076bc04d3ea49b4bf8e4182400d2ddf	Apalache	NumMul	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
b3000d340fe9e689178326518657fa7f1b2c85a4	Apalache	NumMul	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
829a098331fff4a18bb28f67b75d571e30334884	Apalache	NumMul	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
078068d22cabbe7bd501b533a9d0e1968444ef3c	Apalache	NumMul	IfCond	True	Passed	Model Under Test Equivalent Model
32d67182be32f27a727251eef9c0cdb391d6ff7b	Apalache	NumMul	IfCond	False	Passed	Model Under Test Equivalent Model
289b5891e6b34c9a87a4d356ce9f7d2e2a40e857	Apalache	NumMul	IfThen	True	Passed	Model Under Test Equivalent Model
40c7b244537a6294bce199d4e908024916a74ba3	Apalache	NumMul	IfThen	False	Passed	Model Under Test Equivalent Model
4ff450a5d41d0bccded5cff05e882ef8358d3cd7	Apalache	NumMul	IfElse	True	Passed	Model Under Test Equivalent Model
5152ff7bee5647a8113f4af7098bd4f6c052f8cf	Apalache	NumMul	IfElse	False	Passed	Model Under Test Equivalent Model
18d7f00bc0e16ee69ffbe6080555d92ffc931879	Apalache	NumMul	SeqLen	True	Passed	Model Under Test Equivalent Model
39525a8b1188ac8464a6dba6004b3e2751e7e1b5	Apalache	NumMul	SeqLen	False	Passed	Model Under Test Equivalent Model
2a60bd5afeeab4a6a7b796d4113299192e697abb	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	NumMul	TlcEval	True	Passed	Model Under Test Equivalent Model
9d90e7dd24f36cdac001ba8968c5fbc08b712ddf	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	NumMul	TlcEval	False	Passed	Model Under Test Equivalent Model
9fd73ae663065944ce0902f19a78c5b1e07073b8	Apalache	NumMul	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
4bb4335e9dd5a8a5ff52cfab1ff3cef222e9cc1d	Apalache	NumMul	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
e7c92f3135962f3b4e2713727d5b8912885aaa24	Apalache	NumMul	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
9b42a0536de22553f94a57a185d45ef7f26b1e20	Apalache	NumMul	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
ac1bf43ed67de1371b0eaa37871e2edc53c2d134	Apalache	NumMul	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
dd4c1c896721e807cbf2f965ca65f21f978c7fb2	Apalache	NumMul	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
adb5800556f2ef2f46a2218e4b7bfa3c183f0b72	Apalache	NumMul	SeqHead	True	Passed	Model Under Test Equivalent Model
531b1692033932e93f452841618bd7cf6dce5e88	Apalache	NumMul	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

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