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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
cb3457f43315635bb17f9627ba46c600218cc6c5	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumLt	OneLineComment	True	Passed	Model Under Test Equivalent Model
8e9ecd5e69cb47b84dd6a666d6e41be9d2240421	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumLt	OneLineComment	False	Passed	Model Under Test Equivalent Model
d86a25004f6666081ebec7fb51c4d78b9929176c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumLt	MultiLineComment	True	Passed	Model Under Test Equivalent Model
81d6321d0a00f6fd53a604db68aac132a74a6a48	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumLt	MultiLineComment	False	Passed	Model Under Test Equivalent Model
cda03521c89623ee5d34458478a4213fd26712e5	Apalache	NumLt	Let	True	Passed	Model Under Test Equivalent Model
15989815a9c311a8545b8fe9d1cbe2711341e693	Apalache	NumLt	Let	False	Passed	Model Under Test Equivalent Model
81b5c72a21521e869418ac61814d9ca8cb2f01a6	Apalache	NumLt	Choose	True	Passed	Model Under Test Equivalent Model
934703817d8618a72ba8c9dd7d95896c998c77ef	Apalache	NumLt	Choose	False	Passed	Model Under Test Equivalent Model
2c675d0f32721e6dae9caf2cb5106714a4d1f162	Apalache	NumLt	FunApp	True	Passed	Model Under Test Equivalent Model
95f5f89d7fd2cd5dff1d53442db46ab80f2351c9	Apalache	NumLt	FunApp	False	Passed	Model Under Test Equivalent Model
c03e7ec7b5f3b7a775e688a4041ac17ca6bbf7b8	Apalache	NumLt	Prime	True	Passed	Model Under Test Equivalent Model
53357f89202d6a10c977d590020b970e13ef1510	Apalache	NumLt	Prime	False	Passed	Model Under Test Equivalent Model
6e2d0d1255b92bae4a06d7be63a5fbcfb1468e36	Apalache	NumLt	NumZero	True	Passed	Model Under Test Equivalent Model
3ec7a8f8a7aee08ada2910d0061cc16e74723509	Apalache	NumLt	NumZero	False	Passed	Model Under Test Equivalent Model
bc53aad883fa90bcad02a04ef1572ffaa4d9d2ce	Apalache	NumLt	NumOne	True	Passed	Model Under Test Equivalent Model
3cfa6e1a1d2d190a85a9346ca04192d1626fa03a	Apalache	NumLt	NumOne	False	Passed	Model Under Test Equivalent Model
7f1e6425936b1c1b8e076a23c0f08c19ff2305d3	Apalache	NumLt	NumMaxInt	True	Passed	Model Under Test Equivalent Model
241b0a995cff962bf93097729c3c67387e2f0efd	Apalache	NumLt	NumMaxInt	False	Passed	Model Under Test Equivalent Model
18d3a6c8a2c00fda840884c81d79855d03c612d5	Apalache	NumLt	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
076bb0660a5b9af7731b042b431c01252fc4b1f5	Apalache	NumLt	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
f2eabcbab825be9326c8b269ddafce3653cad325	Apalache	NumLt	NumPlus	True	Passed	Model Under Test Equivalent Model
43ba74e884276ca53b834a7f37043ca2d2a5416a	Apalache	NumLt	NumPlus	False	Passed	Model Under Test Equivalent Model
e0cc7b8b29d5ef2063d18f0475ec0d59cf72ceeb	Apalache	NumLt	NumMinus	True	Passed	Model Under Test Equivalent Model
e207d2b38fc7a27359e1a4771b5c0faf783477a8	Apalache	NumLt	NumMinus	False	Passed	Model Under Test Equivalent Model
1697deb767b16b016c1d34bced3b5176f520b04b	Apalache	NumLt	NumMul	True	Passed	Model Under Test Equivalent Model
daa43d1ee944d83e1199d2352770f26fa91c1e11	Apalache	NumLt	NumMul	False	Passed	Model Under Test Equivalent Model
07f30319123feea4458302e9bcaab6cc68df616f	Apalache	NumLt	NumDiv	True	Passed	Model Under Test Equivalent Model
3ead2c4f35b7ace7020e84428f069b014cde5f67	Apalache	NumLt	NumDiv	False	Passed	Model Under Test Equivalent Model
5f58265c64b514ce660a795b905191cf3e91f31f	Apalache	NumLt	NumMod	True	Passed	Model Under Test Equivalent Model
5b016d6bafe4e392ca8d71b5d870d46243a2fd56	Apalache	NumLt	NumMod	False	Passed	Model Under Test Equivalent Model
aad7fc54ef79b7cdfa0c77fd16943c785476df10	Apalache	NumLt	NumPow	True	Passed	Model Under Test Equivalent Model
eb94c49075f6e6db84ce482fc9490e3bbbfefa67	Apalache	NumLt	NumPow	False	Passed	Model Under Test Equivalent Model
bc0d94ef7c2daced6d1593d9299a866869719b84	Apalache	NumLt	Def0	True	Passed	Model Under Test Equivalent Model
b35b8971434d9c73a8ed62e3af22e08863718ed5	Apalache	NumLt	Def0	False	Passed	Model Under Test Equivalent Model
be5cc5bf9607f3a71e70dfafeca62c33ed95b312	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumLt	LetDef0	True	Passed	Model Under Test Equivalent Model
99396d738cf497415d8c1486417b34f06d29fa80	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumLt	LetDef0	False	Passed	Model Under Test Equivalent Model
f0f9df9a0ca7ff0d30e55a90be8521fff287fbf8	Apalache	NumLt	Def1	True	Passed	Model Under Test Equivalent Model
483a5cbdbeaa7fa43a57f17602c01e276157f38e	Apalache	NumLt	Def1	False	Passed	Model Under Test Equivalent Model
6f1433a3cfec4e6f9cef13aedac7b00b2aec49b4	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumLt	LetDef1	True	Passed	Model Under Test Equivalent Model
57cdcff123a4d158828ff7db1d9503bc93f0ecc7	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumLt	LetDef1	False	Passed	Model Under Test Equivalent Model
1c73f4d06307960153a2b7ee55c41f90a2a7e84a	Apalache	NumLt	Def2	True	Passed	Model Under Test Equivalent Model
96a448df20a8c399c54a914f30c4b95d1b45955e	Apalache	NumLt	Def2	False	Passed	Model Under Test Equivalent Model
c0fab9ccb9f80039fcd45dcfae40353a80a3f7f7	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumLt	LetDef2	True	Passed	Model Under Test Equivalent Model
f102511871f3500ea596c171f0514529113ed57a	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumLt	LetDef2	False	Passed	Model Under Test Equivalent Model
9394ca47020e0d451c83a624c023c0e60b413147	Apalache	NumLt	Def1Recursive	True	Passed	Model Under Test Equivalent Model
0cd1532518215ad490b1154701f3ee882c77b14b	Apalache	NumLt	Def1Recursive	False	Passed	Model Under Test Equivalent Model
2f8be6d51e4141c0f5e8f1609081a7719934b580	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumLt	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
6c60abd4bfe4365c50a401fd4f7999b52e56138d	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumLt	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
dff17a8d2ca86102b58f17731cf257303d49f5cd	Apalache	NumLt	Extends	True	Passed	Model Under Test Equivalent Model
6adc1bd23b2628e2f2a1975de400efac77249a9c	Apalache	NumLt	Extends	False	Passed	Model Under Test Equivalent Model
0fc0aad956d9b639e1a2b9e66008b2f8746f84c0	Apalache	NumLt	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
f7b1b91db33e8619eff0039e37d7ca48f34f8aa8	Apalache	NumLt	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
9480377fcaeb4774903b6bc2252f13d741815f86	Apalache	NumLt	Variable	True	Passed	Model Under Test Equivalent Model
09f944216246c6f9d93ae45ce07c033da16ade17	Apalache	NumLt	Variable	False	Passed	Model Under Test Equivalent Model
29a476a212c76d7bf166c417046799f8d6f3fe10	Apalache	NumLt	Constant	True	Passed	Model Under Test Equivalent Model
20024aaf64e6054cc8279cab91077c6fddbaa110	Apalache	NumLt	Constant	False	Passed	Model Under Test Equivalent Model
0e8f73c597b5bed3e5fef79f2266af5f42641133	Apalache	NumLt	ConstantRank1	True	Passed	Model Under Test Equivalent Model
bc3611c5d9295e520c58ea2c332a67b66b235db6	Apalache	NumLt	ConstantRank1	False	Passed	Model Under Test Equivalent Model
9366484f15322d340362a3d95f32b83875072471	Apalache	NumLt	Instance	True	Passed	Model Under Test Equivalent Model
35d2a41274ec0cd585e1e413714a80411e229902	Apalache	NumLt	Instance	False	Passed	Model Under Test Equivalent Model
b90f779268b145af85c5a242702ceaaa1816aa5d	Apalache	NumLt	InstanceWith	True	Passed	Model Under Test Equivalent Model
60dee6d8c1623c64ca2ed6aec201abf8ddb75ba0	Apalache	NumLt	InstanceWith	False	Passed	Model Under Test Equivalent Model
1a58ae3e38993543e891133b1582924c646c3aee	Apalache	NumLt	InstanceNamed	True	Passed	Model Under Test Equivalent Model
830d8c68b6f575c32895f059bb39f573466f56e5	Apalache	NumLt	InstanceNamed	False	Passed	Model Under Test Equivalent Model
aef07d58af7249c78d8ae5ef4611a6bfdfd29d4d	Apalache	NumLt	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
76ca089ced6e13fef70e710548e81a1227cdf5e4	Apalache	NumLt	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
f24dc6c113b674eaf807fd6ecb7e5449fccb3b85	Apalache	NumLt	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
cf067647d36451e6dbe01d8f6b454efff9c81455	Apalache	NumLt	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
1b7e0cd5e6f9a76475949d3e4f44a55cfc1754f0	Apalache	NumLt	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
16b0bab31426dff539316925a90809bd2858680f	Apalache	NumLt	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
80194ab12c10a051863bb7fa6a46145eec70053d	Apalache	NumLt	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
ff50c465ecb681c21ed22d41598d097454d54225	Apalache	NumLt	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
66441b9a4843a7e531870444f5b44fc89a3907c3	Apalache	NumLt	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
dfeef7f3a6bd6dac6c07a34c699e5ca957a2a851	Apalache	NumLt	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
d5f37a983d5493f9521d0843bd69cc06da155830	Apalache	NumLt	IfCond	True	Passed	Model Under Test Equivalent Model
1f6c3d5e01bed0909f84d86ee9b183a90b0b4da9	Apalache	NumLt	IfCond	False	Passed	Model Under Test Equivalent Model
fe766c40333c46bb5ff9df02f64025fab3b9c01c	Apalache	NumLt	IfThen	True	Passed	Model Under Test Equivalent Model
eefb67e735d2be5e0a9b42740a051b2fa3cef464	Apalache	NumLt	IfThen	False	Passed	Model Under Test Equivalent Model
0fa2257d0393ecf4fdee201d5741acbb255179bc	Apalache	NumLt	IfElse	True	Passed	Model Under Test Equivalent Model
2d1f66cbf6907f76bae83a6f8519a45f8487f2cf	Apalache	NumLt	IfElse	False	Passed	Model Under Test Equivalent Model
005cd21aaca46285d29e8debc63e185eb3a2f059	Apalache	NumLt	SeqLen	True	Passed	Model Under Test Equivalent Model
fd20965308e047275e89bb3060e2bb5f81b16c43	Apalache	NumLt	SeqLen	False	Passed	Model Under Test Equivalent Model
25660856fceb935e18d4e0f83aefb32d8e75a6f6	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	NumLt	TlcEval	True	Passed	Model Under Test Equivalent Model
2aea08b8242b68b7841639ed4581593ce6fbdf98	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	NumLt	TlcEval	False	Passed	Model Under Test Equivalent Model
cdb4f49a9aab11b2a8d6df06e14c0cebb5a048f4	Apalache	NumLt	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
38e73bf2c39253d8fdf7ca396007914eb2c2a51f	Apalache	NumLt	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
4b3d6de118550102a915b5a91368de0b23d9094e	Apalache	NumLt	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
d4a4d0be8035345045dd148819a7ccfec822f1b1	Apalache	NumLt	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
35a7274912e1ff70daedee86598225ae4735fc6f	Apalache	NumLt	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
68817442be652c2107c7ee7129a059f19ab24da4	Apalache	NumLt	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
08cdcb32d91023044dd86aa0c84b300b4bb65107	Apalache	NumLt	SeqHead	True	Passed	Model Under Test Equivalent Model
d446429245780915093bbe6fc31d4727cde52a46	Apalache	NumLt	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

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