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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
4f579b2f03fa27d49084af95333064db71bde68c	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamed	OneLineComment	True	Passed	Model Under Test Equivalent Model
dd5fb7325104621c5247a1bd2bc77d30c2fdbe04	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamed	OneLineComment	False	Passed	Model Under Test Equivalent Model
f8efdec9e5077796572e702b1c16af4b34cb2c84	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamed	MultiLineComment	True	Passed	Model Under Test Equivalent Model
f6f1fbd6c8092be4c99211c2764a31d65fb7ee8b	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamed	MultiLineComment	False	Passed	Model Under Test Equivalent Model
99542963a4561de81bf1c5728960ec9b629361de	Apalache	InstanceNamed	BoolTrue	True	Passed	Model Under Test Equivalent Model
e78f4b4f46f9e800aeabeb508a4b5539a8175dab	Apalache	InstanceNamed	BoolTrue	False	Passed	Model Under Test Equivalent Model
5c47f156eb22b069fce473dcb0946489449d542f	Apalache	InstanceNamed	BoolFalse	True	Passed	Model Under Test Equivalent Model
c77d109e2737d71cf9091f6b96cd8cab9085ec16	Apalache	InstanceNamed	BoolFalse	False	Passed	Model Under Test Equivalent Model
432821b9efb7eda8d78b9eee79dd1c64a6511d81	Apalache	InstanceNamed	BoolSet	True	Passed	Model Under Test Equivalent Model
e498ca2febc1670a57cc3f20083964d4b1bfbde2	Apalache	InstanceNamed	BoolSet	False	Passed	Model Under Test Equivalent Model
e4c64880c69009d250d0dc7721c7f61b06d66314	Apalache	InstanceNamed	And	True	Passed	Model Under Test Equivalent Model
45a607d7e7fd33331fcedc5a623c22fdcd09af37	Apalache	InstanceNamed	And	False	Passed	Model Under Test Equivalent Model
ad11b9569a6c4f1b72d61fd46f2e6529b6ef4a77	TLC with reduction strategy: Plug Feature: /\ A /\ B == (A /\ B)	InstanceNamed	AndMultiLine	True	Passed	Model Under Test Equivalent Model
4a87a1abd6d82d6f9c4c5a4c4111821caf98e53e	TLC with reduction strategy: Plug Feature: /\ A /\ B == (A /\ B)	InstanceNamed	AndMultiLine	False	Passed	Model Under Test Equivalent Model
9c56d3c32b697b986e149626d800164ef27ea910	Apalache	InstanceNamed	Imply	True	Passed	Model Under Test Equivalent Model
666d437b7b480629b24dc26ed3c962a6565c3ebe	Apalache	InstanceNamed	Imply	False	Passed	Model Under Test Equivalent Model
0a1fefd3cd05cc7a134366f9a35a80072a9e31a5	Apalache	InstanceNamed	Not	True	Passed	Model Under Test Equivalent Model
502bfe6324a9e7d54946434406f2b4e8dc4df716	Apalache	InstanceNamed	Not	False	Passed	Model Under Test Equivalent Model
0d0b03f21cbad87e25fef552117bafb41cfda0d4	TLC with reduction strategy: Plug Feature: A \/ B == ~(~A /\ ~B)	InstanceNamed	Or	True	Passed	Model Under Test Equivalent Model
3e43e21ebface81b045b30bb43ab2d815313d8c6	TLC with reduction strategy: Plug Feature: A \/ B == ~(~A /\ ~B)	InstanceNamed	Or	False	Passed	Model Under Test Equivalent Model
8b7708c86aef8ed35b047152037059736c92f95d	TLC with reduction strategy: Plug Feature: \/ A \/ B == (A \/ B)	InstanceNamed	OrMultiLine	True	Passed	Model Under Test Equivalent Model
fd307780ad6e0cdbc00f924cd50983d26bf52f0d	TLC with reduction strategy: Plug Feature: \/ A \/ B == (A \/ B)	InstanceNamed	OrMultiLine	False	Passed	Model Under Test Equivalent Model
aa5bb76167f7533672dcf62dbd3551ff18ae7f1f	Apalache	InstanceNamed	AndProp	True	Passed	Model Under Test Equivalent Model
b13a3e21116677fe7b604900184c1320e3bb7039	Apalache	InstanceNamed	AndProp	False	Passed	Model Under Test Equivalent Model
106e4e5d76ebe2452a837b0ecec271056b4fd784	Apalache	InstanceNamed	Boxed	True	Passed	Model Under Test Equivalent Model
c4200822c384b072608860631901593bdf92f4b4	Apalache	InstanceNamed	Boxed	False	Passed	Model Under Test Equivalent Model
da06718cf290b80a6021540ff5fb2c6b778103c9	Apalache	InstanceNamed	Eq	True	Passed	Model Under Test Equivalent Model
57c4278ff3232ce54624adad84c044b7351057a4	Apalache	InstanceNamed	Eq	False	Passed	Model Under Test Equivalent Model
f1237a0e105d92379557dd2350e5944fc3a88b8f	Apalache	InstanceNamed	Ne	True	Passed	Model Under Test Equivalent Model
cc0a07b3a9c48d433142ee0f20208cad10d8b6fe	Apalache	InstanceNamed	Ne	False	Passed	Model Under Test Equivalent Model
7dee05f550335a0ee150d822c65640aaa5c98393	Apalache	InstanceNamed	Let	True	Passed	Model Under Test Equivalent Model
bace87aa8574ed65787578c92c5692ddb16842c5	Apalache	InstanceNamed	Let	False	Passed	Model Under Test Equivalent Model
d3fa9d03627fd01b3e6b1ca1d2c445c493c7f0d2	Apalache	InstanceNamed	SetEmpty	True	Passed	Model Under Test Equivalent Model
c12b999bb7b90246d284b4c043216cbb61674070	Apalache	InstanceNamed	SetEmpty	False	Passed	Model Under Test Equivalent Model
8780301f113c87bfca74b29a97a50a17c80dd14b	Apalache	InstanceNamed	Set0	True	Passed	Model Under Test Equivalent Model
c22637c220c384bd5a59a6f4cd106294178a30fb	Apalache	InstanceNamed	Set0	False	Passed	Model Under Test Equivalent Model
e364f2e64f758ae2b5e93cbb00357c4e60f59f59	Apalache	InstanceNamed	Set1	True	Passed	Model Under Test Equivalent Model
caedbcfd713b6254b4f89fd04ffa98ab6d8d582a	Apalache	InstanceNamed	Set1	False	Passed	Model Under Test Equivalent Model
252ae88a89376d839fb4339c7c08461a6389c4d7	Apalache	InstanceNamed	Set2	True	Passed	Model Under Test Equivalent Model
cb6e6de01fbd51ba3b7b536175ec41f462f90cbe	Apalache	InstanceNamed	Set2	False	Passed	Model Under Test Equivalent Model
11034736cb5b1e02753933d8cf387cfeaa3886c7	Apalache	InstanceNamed	Fun	True	Passed	Model Under Test Equivalent Model
4859c58076710f7d6b2c033c02c47c06424a0058	Apalache	InstanceNamed	Fun	False	Passed	Model Under Test Equivalent Model
478d4596bb87fa7396f562a7ff3d96cb657e7a08	Apalache	InstanceNamed	In	True	Passed	Model Under Test Equivalent Model
68f7fcda358247c7e02ed87f083ea64b96f1190b	Apalache	InstanceNamed	In	False	Passed	Model Under Test Equivalent Model
35e5142dced7199b2f5c070bba60acf41b9f0905	Apalache	InstanceNamed	NotIn	True	Passed	Model Under Test Equivalent Model
15c17cc5cce1f1021f66034e5c1cfd21f5c3da63	Apalache	InstanceNamed	NotIn	False	Passed	Model Under Test Equivalent Model
84cfebc977ed15fd1d9579efe46645c0eddfdbc2	Apalache	InstanceNamed	Exists	True	Passed	Model Under Test Equivalent Model
960ac43eb830b3000e398fbbda5877e21e296fcd	Apalache	InstanceNamed	Exists	False	Passed	Model Under Test Equivalent Model
96fa48a4832b389a190e4cebd0a4e5b6bb0d6f1c	Apalache	InstanceNamed	Forall	True	Passed	Model Under Test Equivalent Model
ca4b4ed3ba25aa2827b17110316188a67d591fe1	Apalache	InstanceNamed	Forall	False	Passed	Model Under Test Equivalent Model
df63483ceee25f7dfd140bf08ab0f03715e4a6e5	Apalache	InstanceNamed	Choose	True	Passed	Model Under Test Equivalent Model
4569460ce8b087682191da0a35f9d6166e5683fd	Apalache	InstanceNamed	Choose	False	Passed	Model Under Test Equivalent Model
01359142f18fd7abf533f0f7756c56a474520c86	Apalache	InstanceNamed	Record	True	Passed	Model Under Test Equivalent Model
12fc3703a37f214545069ad588f21e8a07e35989	Apalache	InstanceNamed	Record	False	Passed	Model Under Test Equivalent Model
679a28deb4563856ad84a273ff1b27816e3e2701	Apalache	InstanceNamed	Tuple	True	Passed	Model Under Test Equivalent Model
9d7194f1645fd510cdafbc70da95bf76a9e60820	Apalache	InstanceNamed	Tuple	False	Passed	Model Under Test Equivalent Model
133f6b0a6fd5ce96d31aae5d7ae71bf83d09fc3a	Apalache	InstanceNamed	TupleEmpty	True	Passed	Model Under Test Equivalent Model
61cfbcdb9ca2dab663313ae82adf36190430a137	Apalache	InstanceNamed	TupleEmpty	False	Passed	Model Under Test Equivalent Model
20c9382428b4070e89fb1a47ce7e1edfec247a8b	Apalache	InstanceNamed	FunApp	True	Passed	Model Under Test Equivalent Model
94cd6add36c7a22f2f337c12b9192ee5f5b3dbf4	Apalache	InstanceNamed	FunApp	False	Passed	Model Under Test Equivalent Model
2642cdecba01c6a37595287bd68b2d405555f712	Apalache	InstanceNamed	Prime	True	Passed	Model Under Test Equivalent Model
bb65238c9253914800bcd46596ca9a73677db591	Apalache	InstanceNamed	Prime	False	Passed	Model Under Test Equivalent Model
547a5597088be7877a481288d6cb52ccb666d671	Apalache	InstanceNamed	NumZero	True	Passed	Model Under Test Equivalent Model
c6f93f18175a6a0bcd874799c2d295b93cbe2ada	Apalache	InstanceNamed	NumZero	False	Passed	Model Under Test Equivalent Model
fb6c0107d5883e6e2a13d1f4e1f56abac5ec2241	Apalache	InstanceNamed	NumOne	True	Passed	Model Under Test Equivalent Model
664220eb9822221e95d971025d41dda4262e0673	Apalache	InstanceNamed	NumOne	False	Passed	Model Under Test Equivalent Model
0b63c1a8ddc984764c7b59a1500025908c060bd7	Apalache	InstanceNamed	NumMaxInt	True	Passed	Model Under Test Equivalent Model
ca73cc0d16f3bcd5506032e7490a5b2910682810	Apalache	InstanceNamed	NumMaxInt	False	Passed	Model Under Test Equivalent Model
10c760946ecef251c803662ab369e7e052f63b67	Apalache	InstanceNamed	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
1f655d992a69061ec0090441b297357625981697	Apalache	InstanceNamed	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
46e53a9d46920f4e790e38b5627af84ff907060a	Apalache	InstanceNamed	NumPlus	True	Passed	Model Under Test Equivalent Model
238edf607efec46e1dd508768e818384abe1d6f4	Apalache	InstanceNamed	NumPlus	False	Passed	Model Under Test Equivalent Model
31213eae3b9cf44df022d469b81ad803bbf9aeb6	Apalache	InstanceNamed	NumMinus	True	Passed	Model Under Test Equivalent Model
27b46436afe281a9c43c5f459c9fdd93c4b52e42	Apalache	InstanceNamed	NumMinus	False	Passed	Model Under Test Equivalent Model
85ace191d6a5622d01d972cac6e26317e273af5e	Apalache	InstanceNamed	NumMul	True	Passed	Model Under Test Equivalent Model
81dbc96086d9d3f5b2c6b4b1d6da8527f1d75c20	Apalache	InstanceNamed	NumMul	False	Passed	Model Under Test Equivalent Model
e9e8f33f7018e45015867609677908cac5fda90a	Apalache	InstanceNamed	NumDiv	True	Passed	Model Under Test Equivalent Model
d74035ed8bd7b828d14c17f362b0521c984cda00	Apalache	InstanceNamed	NumDiv	False	Passed	Model Under Test Equivalent Model
82e26df716225a56382b67926b3e0278d21adca1	Apalache	InstanceNamed	NumMod	True	Passed	Model Under Test Equivalent Model
74bdced51d13baf8d63352d2d2472a1f93ab1ef9	Apalache	InstanceNamed	NumMod	False	Passed	Model Under Test Equivalent Model
e97d6ce3d044f00ec665f4a647b8d548d25ac062	Apalache	InstanceNamed	NumPow	True	Passed	Model Under Test Equivalent Model
9778fdf85f84b92e905b9a4161e8577c0a086b0f	Apalache	InstanceNamed	NumPow	False	Passed	Model Under Test Equivalent Model
351a6b3a56cc4754a0bf3b1b1e107df69cfc1853	Apalache	InstanceNamed	NumGt	True	Passed	Model Under Test Equivalent Model
ae036da370ff1857d3dcf0d8c9a18249631292b3	Apalache	InstanceNamed	NumGt	False	Passed	Model Under Test Equivalent Model
2dc0c258071affae4321a9b6dbdf4a43b82cff6c	Apalache	InstanceNamed	NumGe	True	Passed	Model Under Test Equivalent Model
5139c50e9c01ead850c9125dea9dead82553498c	Apalache	InstanceNamed	NumGe	False	Passed	Model Under Test Equivalent Model
4aee3600557ac438eed612a83eeec3c7cd9e0146	Apalache	InstanceNamed	NumLt	True	Passed	Model Under Test Equivalent Model
6ccfa74c435c8049382646737eeb1159dd591ccb	Apalache	InstanceNamed	NumLt	False	Passed	Model Under Test Equivalent Model
a6125ffabe28db9490db48886d46c2d893a957af	Apalache	InstanceNamed	NumLe	True	Passed	Model Under Test Equivalent Model
ab4318f3021034675d11370eb415c33019b48f5b	Apalache	InstanceNamed	NumLe	False	Passed	Model Under Test Equivalent Model
2ec23d462d619b853b26fad397068ce3ea81e2d2	Apalache	InstanceNamed	DefFun	True	Passed	Model Under Test Equivalent Model
f058720daf2c7c8c1e36a14e390a8ba42e50c1ce	Apalache	InstanceNamed	DefFun	False	Passed	Model Under Test Equivalent Model
40a4a3e4896d35bba581c94d4b419a10f776b17a	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamed	LetDefFun	True	Passed	Model Under Test Equivalent Model
4c913cdaae68893a0efc6d4cf6272740ca179ba1	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamed	LetDefFun	False	Passed	Model Under Test Equivalent Model
81cc67f8c4d5d1b9190b966b108587f3a3e0059e	Apalache	InstanceNamed	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
1aaa4ee5fab9e61a91bf9ed30cfa2755497bc062	Apalache	InstanceNamed	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
1309d83cd8a6bd63a0690fdf49e48eef55fcf348	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamed	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
f917d2eb8a145a4fbf32dfd1c3aa09bcab96af88	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamed	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
9a40631532dfa50f1b1f276b9f013c0f645954ad	Apalache	InstanceNamed	Def0	True	Passed	Model Under Test Equivalent Model
f0c93cb98540b37fc766cf5a7a4c3980e24db7c7	Apalache	InstanceNamed	Def0	False	Passed	Model Under Test Equivalent Model
9762d19d11a67f40883afa59d5f3e1cbb94c5ee5	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamed	LetDef0	True	Passed	Model Under Test Equivalent Model
a1cade250705791c04a779e7e1de9a6e35e8d71a	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamed	LetDef0	False	Passed	Model Under Test Equivalent Model
ac94082a334ea6756fa7bbaade49e5d2818d8d3e	Apalache	InstanceNamed	Def1	True	Passed	Model Under Test Equivalent Model
054c20bce257a4109162dc62377b5f78711519c4	Apalache	InstanceNamed	Def1	False	Passed	Model Under Test Equivalent Model
f8d55722e728792421b426c9423354a522935305	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamed	LetDef1	True	Passed	Model Under Test Equivalent Model
162ab1b53a75c45b58c27c6c04ea93fea26af807	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamed	LetDef1	False	Passed	Model Under Test Equivalent Model
2fc0caef96f7f1ea553c7acbc6f78de97e25d534	Apalache	InstanceNamed	Def2	True	Passed	Model Under Test Equivalent Model
194e8481f33be4f73da1823b24ae53d6e0c5ac3a	Apalache	InstanceNamed	Def2	False	Passed	Model Under Test Equivalent Model
c97248b17060d798a387e79a50baafb443a8b663	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamed	LetDef2	True	Passed	Model Under Test Equivalent Model
5d777618525a82ff7feb22eb671b57074f948f7e	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamed	LetDef2	False	Passed	Model Under Test Equivalent Model
c7676c9119e289289bba50b245e06ad7c606aed3	Apalache	InstanceNamed	Def1Recursive	True	Passed	Model Under Test Equivalent Model
665029201f3d7d47d291d065222cddfa7c73d3f5	Apalache	InstanceNamed	Def1Recursive	False	Passed	Model Under Test Equivalent Model
be58ac32dd682a13c951116f5c905b4f89233196	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamed	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
14c629d8a16e3aa7a99003962ddaf876f6b798a9	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamed	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
24efe108013976f4da6626b2a73f9dce0fb55376	Apalache	InstanceNamed	Extends	True	Passed	Model Under Test Equivalent Model
678d1fa456f7bf5219f93e242a0231622c51247a	Apalache	InstanceNamed	Extends	False	Passed	Model Under Test Equivalent Model
320e17e4718865fd4736e42238b7d0b200834f33	Apalache	InstanceNamed	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
37836383ea231b0245f61d422d8adcdb4077cf70	Apalache	InstanceNamed	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
964a3ec2f209d09ad4295ca0df6fc59b80f40048	Apalache	InstanceNamed	Variable	True	Passed	Model Under Test Equivalent Model
c6a16a50f7f679a87b09ddeee993eefb76944696	Apalache	InstanceNamed	Variable	False	Passed	Model Under Test Equivalent Model
8bc0cf2c804b1db6a6c8277a3814cfbfa5a90191	Apalache	InstanceNamed	Constant	True	Passed	Model Under Test Equivalent Model
100a9fe9890380c8ef3549099cd054afbe1d2150	Apalache	InstanceNamed	Constant	False	Passed	Model Under Test Equivalent Model
29a94a78e931027e8b01c2ea141bbc6268ffda08	Apalache	InstanceNamed	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
eadb83e83d07ae2a36571403531ecee133788ef0	Apalache	InstanceNamed	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
d6a65681c2282b472c6962a4267433154b333a86	Apalache	InstanceNamed	ConstantRank1	True	Passed	Model Under Test Equivalent Model
ea0dea27de63500cbd6d02e68e16633135b4b982	Apalache	InstanceNamed	ConstantRank1	False	Passed	Model Under Test Equivalent Model
1cf929fcaeb163d4fc4e5109e8931b8d01a968ff	Apalache	InstanceNamed	Instance	True	Passed	Model Under Test Equivalent Model
dac482d0b722deeebc40a5d48e527d3ab4549683	Apalache	InstanceNamed	Instance	False	Passed	Model Under Test Equivalent Model
54f47a6f211da55273e7008d894f7ae605ee7b3c	Apalache	InstanceNamed	InstanceWith	True	Passed	Model Under Test Equivalent Model
7ceaccb0e68eff3455b4ab5b30faa6f4ab325126	Apalache	InstanceNamed	InstanceWith	False	Passed	Model Under Test Equivalent Model
383c9f2a26b7b2dc87ceb72ca100a6f5599d268e	Apalache	InstanceNamed	InstanceNamed	True	Passed	Model Under Test Equivalent Model
40e9d9d4528ffc5202fcef24c548586a5ff8e072	Apalache	InstanceNamed	InstanceNamed	False	Passed	Model Under Test Equivalent Model
007f802538e357fc92acb09d1292a144ccdab32d	Apalache	InstanceNamed	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
496355a495f4f3e7688d02ddf25febc1cefb871d	Apalache	InstanceNamed	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
b0d027d7c376e58ad45bbc2f2127f5734846bc89	Apalache	InstanceNamed	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
e1a3a4c19ba09d956f77960a2bf8f7907e10299d	Apalache	InstanceNamed	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
c3d002fb5a149cc9fc101ae6a3bbb9560309d655	Apalache	InstanceNamed	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
890601e708eda2bfdd530dc136033c52fdf1afcf	Apalache	InstanceNamed	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
89e570659501aa8cb57f7127ae26d552ce2f6809	Apalache	InstanceNamed	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
b53bfb11418e822cede5087ddeddc4d81745f911	Apalache	InstanceNamed	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
777ce5ea67f83110e58836a3287878b18c5b7069	Apalache	InstanceNamed	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
ef2296b5ed1ccef843a9ba30ad258a843d13147a	Apalache	InstanceNamed	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
f2fe0cc6ef3c2734b0bb7e7c18691544044ada23	Apalache	InstanceNamed	Enabled	True	Passed	Model Under Test Equivalent Model
3ead6d499d5742b8cdda653153492ffb8f258bf5	Apalache	InstanceNamed	Enabled	False	Passed	Model Under Test Equivalent Model
d31d305024ea1b66fc8a8671e47518b1d7540d6e	Apalache	InstanceNamed	Cross2	True	Passed	Model Under Test Equivalent Model
974bb7a10bf0ab5380fbc5b5a58e4c9e8098b8e1	Apalache	InstanceNamed	Cross2	False	Passed	Model Under Test Equivalent Model
a814ca19b736216d46e3b5ea6e1eded7f0cdd9fc	Apalache	InstanceNamed	Cross3	True	Passed	Model Under Test Equivalent Model
985a0320715d43a3ecc1f6a94f2c36d757495d30	Apalache	InstanceNamed	Cross3	False	Passed	Model Under Test Equivalent Model
17cf58147a058602da21c6546ea63885c92377a5	TLC with reduction strategy: Plug Feature: For finite R replace [D -> R] with explicit function set enumeration; for infinite R replace (f \in [D -> R]) with conjunction (DOMAIN f = D /\ (\A x \in D : f[x] \in R))	InstanceNamed	FunSet	True	Passed	Model Under Test Equivalent Model
17f36693a984b241a5d69885d24b24fd6a6d2c60	TLC with reduction strategy: Plug Feature: For finite R replace [D -> R] with explicit function set enumeration; for infinite R replace (f \in [D -> R]) with conjunction (DOMAIN f = D /\ (\A x \in D : f[x] \in R))	InstanceNamed	FunSet	False	Passed	Model Under Test Equivalent Model
8526bdde8c1ac39f5418ca2df508d1bfb347170d	TLC with reduction strategy: Plug Feature: For finite R replace [field : R] with explicit function set enumeration; for infinite R replace (f \in [field : R]) with conjunction (DOMAIN f = {'field'} /\ f['field'] \in R)	InstanceNamed	RecordSet	True	Passed	Model Under Test Equivalent Model
5de9722b52f4213facdb054395f36cbe9420b74b	TLC with reduction strategy: Plug Feature: For finite R replace [field : R] with explicit function set enumeration; for infinite R replace (f \in [field : R]) with conjunction (DOMAIN f = {'field'} /\ f['field'] \in R)	InstanceNamed	RecordSet	False	Passed	Model Under Test Equivalent Model
c139753a469778c8d69bbcf470e098762e77453e	Apalache	InstanceNamed	SetDiff	True	Passed	Model Under Test Equivalent Model
b964986fd04090b9e75263fad62a7deffe325ca7	Apalache	InstanceNamed	SetDiff	False	Passed	Model Under Test Equivalent Model
94c2515cc6726460b39ade3300f3313986ce2d03	Apalache	InstanceNamed	SetUnion	True	Passed	Model Under Test Equivalent Model
183a360e9bbd13804246e38fb93e24c5a73a2f07	Apalache	InstanceNamed	SetUnion	False	Passed	Model Under Test Equivalent Model
fe4bff2dd4486eee82690403cdcb6e03e7b8b9e3	Apalache	InstanceNamed	SetIntersect	True	Passed	Model Under Test Equivalent Model
2e942c699d037555f8bff73327da465bb6fcc554	Apalache	InstanceNamed	SetIntersect	False	Passed	Model Under Test Equivalent Model
66d54f41f44ab4bf16f59faa36ea302c46276e77	Apalache	InstanceNamed	SubsetEq	True	Passed	Model Under Test Equivalent Model
e0187e8694c71b7b3218d2e217744c14c8c2769a	Apalache	InstanceNamed	SubsetEq	False	Passed	Model Under Test Equivalent Model
841117cdab871e71cd5529a37c65ab71f0f9017c	Apalache	InstanceNamed	IfCond	True	Passed	Model Under Test Equivalent Model
64b1e2b8085bfae9ec82a15e4a4b3b508f1595e5	Apalache	InstanceNamed	IfCond	False	Passed	Model Under Test Equivalent Model
0248470cddb047d0c68f091a5127e8d2bdd84591	Apalache	InstanceNamed	IfThen	True	Passed	Model Under Test Equivalent Model
e5fb010a4a5069a3534d35a21c564d6465c1bc88	Apalache	InstanceNamed	IfThen	False	Passed	Model Under Test Equivalent Model
cf3454dd4e2ecceacc41a4dbff39ae23677edaea	Apalache	InstanceNamed	IfElse	True	Passed	Model Under Test Equivalent Model
08a11c26bbfbbfb96cb4d3b862ec1724d7e1d0f3	Apalache	InstanceNamed	IfElse	False	Passed	Model Under Test Equivalent Model
d3bd390dcf4d2439a78b7288017c3863eb6c7cad	Apalache	InstanceNamed	Subset	True	Passed	Model Under Test Equivalent Model
16da8840d4af26100b5f9b28d6a64225f708f0a7	Apalache	InstanceNamed	Subset	False	Passed	Model Under Test Equivalent Model
b460f588ed9bca69fa8c61bc8a25ab67177359b0	Apalache	InstanceNamed	Domain	True	Passed	Model Under Test Equivalent Model
a9532438b01a7aae05ed19810ef6f8a8a91da1c6	Apalache	InstanceNamed	Domain	False	Passed	Model Under Test Equivalent Model
ba1d7e3dcd5b76875a3fbdf823bdbce80a16ccaa	Apalache	InstanceNamed	Union	True	Passed	Model Under Test Equivalent Model
903ec7221162d8693945abbca62ae8b0dec2be56	Apalache	InstanceNamed	Union	False	Passed	Model Under Test Equivalent Model
c3eed7fc4f088807147d4ea1e1afc2f5a382910f	Apalache	InstanceNamed	Unchanged	True	Passed	Model Under Test Equivalent Model
64caafc8bb0af9c268b326cdf42d68bce670ad4e	Apalache	InstanceNamed	Unchanged	False	Passed	Model Under Test Equivalent Model
295071f295a6dc6387572d316cdaa35e02bb2bfa	Apalache	InstanceNamed	Equivalence	True	Passed	Model Under Test Equivalent Model
096e5827d590c2546f66a5c285d03f0216273829	Apalache	InstanceNamed	Equivalence	False	Passed	Model Under Test Equivalent Model
c39833323c37f4c38e676c7a91d0c99e30dfa083	Apalache	InstanceNamed	StringEmpty	True	Passed	Model Under Test Equivalent Model
4c8ecbb214779253056825fdfb6c071551c16043	Apalache	InstanceNamed	StringEmpty	False	Passed	Model Under Test Equivalent Model
cf4d47cfcb4f99fea2d16aa2b66155bcc549fca3	Apalache	InstanceNamed	String	True	Passed	Model Under Test Equivalent Model
f5d2ff0a0f27669d2606b41a128a1902087fc013	Apalache	InstanceNamed	String	False	Passed	Model Under Test Equivalent Model
d7a5cddc1f8dfd78218e6326566f801f53347711	Apalache	InstanceNamed	SeqLen	True	Passed	Model Under Test Equivalent Model
0dc503d628cee5829389383f873efbad1399fd67	Apalache	InstanceNamed	SeqLen	False	Passed	Model Under Test Equivalent Model
9090717358b50e319245d5927676a000fc11c6a3	Apalache	InstanceNamed	SeqConcat	True	Passed	Model Under Test Equivalent Model
cefdff889fcfbb6b6faf2338c9047b69ae5899bf	Apalache	InstanceNamed	SeqConcat	False	Passed	Model Under Test Equivalent Model
64d4b3a1df104447e0b19d9715ce58c26aae0345	Apalache	InstanceNamed	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
08b6f93f4a86267952a74416f95972656bb8ed27	Apalache	InstanceNamed	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
ae7a0d02352798cc63d701bf28b153f2f3d888d0	Apalache	InstanceNamed	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
1a209ec2229fa73b71b1fb3bd5c8db315d980ce9	Apalache	InstanceNamed	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
a767980862c52abab3ce589c0ac3ce2845fe2bb0	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	InstanceNamed	NumRange	True	Passed	Model Under Test Equivalent Model
a906942a23dfcbee57ddfb92548bd92858835d0f	TLC with reduction strategy: Plug Feature: n..m is replaced with { x \in { n, n + 1, ... } : x <= m }; it falls back to crash (through CHOOSE Q : FALSE) if m is too big: this crash forces to do manual test review	InstanceNamed	NumRange	False	Passed	Model Under Test Equivalent Model
d66716f23a2222c8120ebac8ccb212399f1dba4f	TLC with reduction strategy: Plug Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	InstanceNamed	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
fc60ff5c6e218f63462a05fb7e35e988a9772cbc	TLC with reduction strategy: Plug Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	InstanceNamed	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
5b545364aa61122430d838595a23a3a40a82ae92	TLC with reduction strategy: Plug Feature: f @@ g is replaced with equivalent: LET DomF == DOMAIN f IN [u \in DomF \union DOMAIN g \|-> IF u \in DomF THEN f[u] ELSE g[x]]	InstanceNamed	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
6724b1de8d9933a67f2e9e0d673064fbfb939e2e	TLC with reduction strategy: Plug Feature: f @@ g is replaced with equivalent: LET DomF == DOMAIN f IN [u \in DomF \union DOMAIN g \|-> IF u \in DomF THEN f[u] ELSE g[x]]	InstanceNamed	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
21ddff623839238961e1b93eac5eab39ee5e6d7d	TLC with reduction strategy: Plug Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	InstanceNamed	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
b361d807350d30eedc6b15249a4ef9e67c43d986	TLC with reduction strategy: Plug Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	InstanceNamed	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
10bf272b1161257d95441a35866b08eb29218c49	TLC with reduction strategy: Plug Feature: SortSeq(S) is reduced to equivalent sort implementation	InstanceNamed	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
c4e24b785c7e25b55f51fa9f56de93f72fa033b6	TLC with reduction strategy: Plug Feature: SortSeq(S) is reduced to equivalent sort implementation	InstanceNamed	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
a35a841804b2c8f2951caee720fe9629d0499036	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	InstanceNamed	TlcEval	True	Passed	Model Under Test Equivalent Model
947c70ec1a41f9b6c93dcb16a3b6096dfb209201	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	InstanceNamed	TlcEval	False	Passed	Model Under Test Equivalent Model
ed117fb4e196b2af8e475599b5ae0c3cbc62df87	Apalache	InstanceNamed	BagBagToSet	True	Passed	Model Under Test Equivalent Model
6a45c23994d32c0460eae3f17fa85809829ccb23	Apalache	InstanceNamed	BagBagToSet	False	Passed	Model Under Test Equivalent Model
6c60da3f6047d27944c2f85f5b14287fea943c1a	Apalache	InstanceNamed	BagSetToBag	True	Passed	Model Under Test Equivalent Model
af7f86240f502efaf003d1b72230b82795c78624	Apalache	InstanceNamed	BagSetToBag	False	Passed	Model Under Test Equivalent Model
a89b39bd6c966df38010dbd70161f28db93d9491	Apalache	InstanceNamed	BagBagIn	True	Passed	Model Under Test Equivalent Model
6d0b2fb07c8717c5e5125b42d25b851da909a6d0	Apalache	InstanceNamed	BagBagIn	False	Passed	Model Under Test Equivalent Model
b1a02acd582c4bbaea32532f2b602ce50522bf16	Apalache	InstanceNamed	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
e2af40a314b2befb033a96dda1eee5224b87ce83	Apalache	InstanceNamed	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
c3d72341235c6ff5beaa054ecfc60f0858f23300	Apalache	InstanceNamed	BagAddBag	True	Passed	Model Under Test Equivalent Model
622d2cf11e59df273c823505b2449ab51ea5ef2c	Apalache	InstanceNamed	BagAddBag	False	Passed	Model Under Test Equivalent Model
a3fa1a9d2e2596f73e79e97bcbb5d266401ea8a5	Apalache	InstanceNamed	BagBagSub	True	Passed	Model Under Test Equivalent Model
3db8b5f2f2c04cfc5a1178e1d876fbf87698f8c4	Apalache	InstanceNamed	BagBagSub	False	Passed	Model Under Test Equivalent Model
f61ab99b45ebf804dbd38379e7339706c034cb93	Apalache	InstanceNamed	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
0a414da1d1c61fc120a453489b8070d60de5e779	Apalache	InstanceNamed	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
825107858a2f294c21e368ee5325dc4bcef6ea74	Apalache	InstanceNamed	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
bcb2d38e5c5ee71f7cf045521e6ac118fbe100ee	Apalache	InstanceNamed	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
ac26abf3b93062dda35e3b9bfae7cbfe1e103b00	Apalache	InstanceNamed	BagBagUnion	True	Passed	Model Under Test Equivalent Model
09babfd766f5fd2c455407644344eae3dff91569	Apalache	InstanceNamed	BagBagUnion	False	Passed	Model Under Test Equivalent Model
5be390854e63934acecec1eac1b1116384e6f757	Apalache	InstanceNamed	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
25a5854731c40e04edf6c48e4134964fe2f65838	Apalache	InstanceNamed	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
59b41b82efc639b9b7c095ac6dbe6ba7e4ef5d58	Apalache	InstanceNamed	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
9d6caafdbf7597bb88c02adbb204d37fa352d462	Apalache	InstanceNamed	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
65f8da20faaa8e6288ce725d0e52078f12730b39	TLC with reduction strategy: Plug Feature: SubBag(B) is reduced to equivalent SubBagR implementation	InstanceNamed	BagSubBag	True	Passed	Model Under Test Equivalent Model
26173f92f91df54253f77a8aa97328b1d381cebc	TLC with reduction strategy: Plug Feature: SubBag(B) is reduced to equivalent SubBagR implementation	InstanceNamed	BagSubBag	False	Passed	Model Under Test Equivalent Model
5c7b66049c75cfe99190ec058cbf57566c4f4adc	TLC with reduction strategy: Plug Feature: IsFiniteSet(B) is reduced to either TRUE or FALSE, depending on type information (finite and infinite sets have different types)	InstanceNamed	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
1689c03ead056f6d956aa79e07ddad8d1c9f82a1	TLC with reduction strategy: Plug Feature: IsFiniteSet(B) is reduced to either TRUE or FALSE, depending on type information (finite and infinite sets have different types)	InstanceNamed	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
074a08bf10f7c76a935aa3875b6de9bb30d94068	Apalache	InstanceNamed	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
8dd2f5ed8c20dd3e92136785069e3d3fdecdb2d5	Apalache	InstanceNamed	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
4c60efc80dbdd28acbf6578e6447436a32ffba85	Apalache	InstanceNamed	SeqHead	True	Passed	Model Under Test Equivalent Model
9adab204162ffc27ae7073757e0f00fe5f2d2c10	Apalache	InstanceNamed	SeqHead	False	Passed	Model Under Test Equivalent Model
70a6a63fc0e7deb89b9cbc15f6d5cf40a9565fb6	Apalache	InstanceNamed	SeqTail	True	Passed	Model Under Test Equivalent Model
c33fbde6d902737cc782b03f88fbcf0f3656907c	Apalache	InstanceNamed	SeqTail	False	Passed	Model Under Test Equivalent Model
29ca2781565dae348cd020085608616e81042e74	Apalache	InstanceNamed	SeqAppend	True	Passed	Model Under Test Equivalent Model
37ea7189b0564e5e2941a08ad97f896573ebe369	Apalache	InstanceNamed	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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