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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
479bdf1e7b85eb5b8466c7ce7b04369c4866b27f	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamedInFolder	OneLineComment	True	Passed	Model Under Test Equivalent Model
38c267c53f078a4b99dbb6cda7e829ff6e357de0	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamedInFolder	OneLineComment	False	Passed	Model Under Test Equivalent Model
2179d58625733a9c411b093ee20837ad57e99eff	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamedInFolder	MultiLineComment	True	Passed	Model Under Test Equivalent Model
e1bfb7bf622353aea3208913cd8020cda0024a78	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	InstanceNamedInFolder	MultiLineComment	False	Passed	Model Under Test Equivalent Model
06ed62b712e37eeb47bcd3c09197ca1c88cf5262	Apalache	InstanceNamedInFolder	BoolTrue	True	Passed	Model Under Test Equivalent Model
6afb8357ff9ba8907977ffaf956b82af7d751f6f	Apalache	InstanceNamedInFolder	BoolTrue	False	Passed	Model Under Test Equivalent Model
c5275974220bdc4e9752377c68d5c565f5cf1bec	Apalache	InstanceNamedInFolder	BoolFalse	True	Passed	Model Under Test Equivalent Model
89d5f6f355d2b1c180affbc2c8f8c07f0bc7ef6f	Apalache	InstanceNamedInFolder	BoolFalse	False	Passed	Model Under Test Equivalent Model
73928828238f2c446c1dab499cf7d86aec2fe5a8	Apalache	InstanceNamedInFolder	BoolSet	True	Passed	Model Under Test Equivalent Model
f97b55bc4fa02d5dd9eef1c3a4056b644f4411fa	Apalache	InstanceNamedInFolder	BoolSet	False	Passed	Model Under Test Equivalent Model
9cec2692155bc92dc57da58e9d3f49c8bc7459c4	Apalache	InstanceNamedInFolder	And	True	Passed	Model Under Test Equivalent Model
c44f0b0e5e559f62c77043bb66057541414b2727	Apalache	InstanceNamedInFolder	And	False	Passed	Model Under Test Equivalent Model
e92bfc5321510b3225b685b2ff3e8cef41f1c921	TLC with reduction strategy: Plug Feature: /\ A /\ B == (A /\ B)	InstanceNamedInFolder	AndMultiLine	True	Passed	Model Under Test Equivalent Model
b3a4fbd916602ccd34288cfc1442c63fa79845f6	TLC with reduction strategy: Plug Feature: /\ A /\ B == (A /\ B)	InstanceNamedInFolder	AndMultiLine	False	Passed	Model Under Test Equivalent Model
76844a114bf51fc5b8ef436b846dcd611b974def	Apalache	InstanceNamedInFolder	Imply	True	Passed	Model Under Test Equivalent Model
d4e0084cfa3e51831d3c3bca69ca11692ea90484	Apalache	InstanceNamedInFolder	Imply	False	Passed	Model Under Test Equivalent Model
4409246e885448a3d0bea10c0b1b2c1f11e59e75	Apalache	InstanceNamedInFolder	Not	True	Passed	Model Under Test Equivalent Model
9b17098bb39173925b22fced82bc1a7b0e70e59a	Apalache	InstanceNamedInFolder	Not	False	Passed	Model Under Test Equivalent Model
7486e2ac0b54c405f655af8fa9eb3672e236e3dc	TLC with reduction strategy: Plug Feature: A \/ B == ~(~A /\ ~B)	InstanceNamedInFolder	Or	True	Passed	Model Under Test Equivalent Model
7c7ea30d9d9d2a339d08cc7fbc1f3596c6d4aa1d	TLC with reduction strategy: Plug Feature: A \/ B == ~(~A /\ ~B)	InstanceNamedInFolder	Or	False	Passed	Model Under Test Equivalent Model
b1d4308daa89090b34945fa9e5e24b46928ed6d2	TLC with reduction strategy: Plug Feature: \/ A \/ B == (A \/ B)	InstanceNamedInFolder	OrMultiLine	True	Passed	Model Under Test Equivalent Model
2bba3264c0d6e90e6de783ccc8e5b6bb03e8b102	TLC with reduction strategy: Plug Feature: \/ A \/ B == (A \/ B)	InstanceNamedInFolder	OrMultiLine	False	Passed	Model Under Test Equivalent Model
1402f48701cfbfc00165bc1b6efaca11c75f9f4e	Apalache	InstanceNamedInFolder	AndProp	True	Passed	Model Under Test Equivalent Model
1499b58cc8745ea55e922b334222af56fe166154	Apalache	InstanceNamedInFolder	AndProp	False	Passed	Model Under Test Equivalent Model
26f8703a6a7ca411894224b0481c25ddcda299cf	Apalache	InstanceNamedInFolder	Boxed	True	Passed	Model Under Test Equivalent Model
ff6aa72151841db6e1fd055b2d43d639796a181f	Apalache	InstanceNamedInFolder	Boxed	False	Passed	Model Under Test Equivalent Model
26f329494bbebda46269c10f6ab0d371db7275de	Apalache	InstanceNamedInFolder	Eq	True	Passed	Model Under Test Equivalent Model
967888722d3831ea7a4a7d578bd468a653744bd1	Apalache	InstanceNamedInFolder	Eq	False	Passed	Model Under Test Equivalent Model
724e7fe4bbcae53c2e3754e9907b4e4b481c74d9	Apalache	InstanceNamedInFolder	Ne	True	Passed	Model Under Test Equivalent Model
7af56126bcce52b0fe6d063ca4b2ebc301e956fb	Apalache	InstanceNamedInFolder	Ne	False	Passed	Model Under Test Equivalent Model
2b31750cef4bedc0b94576fe946e1589ba207f6a	Apalache	InstanceNamedInFolder	Let	True	Passed	Model Under Test Equivalent Model
65acd75f266bb09f1a1760325de5c78792015cf5	Apalache	InstanceNamedInFolder	Let	False	Passed	Model Under Test Equivalent Model
32141f0595f7a39eba886f6f22a7b5b7a05feacb	Apalache	InstanceNamedInFolder	SetEmpty	True	Passed	Model Under Test Equivalent Model
30a5e83a3ee52f559771e9d8ed6b2c34a087e8bb	Apalache	InstanceNamedInFolder	SetEmpty	False	Passed	Model Under Test Equivalent Model
53f7517ec0eed26d3e1d5f6001bd411767142b67	Apalache	InstanceNamedInFolder	Set0	True	Passed	Model Under Test Equivalent Model
5105fbe6cce4fafd09d6071bf731c491daeabce7	Apalache	InstanceNamedInFolder	Set0	False	Passed	Model Under Test Equivalent Model
7e22ba8563493f3e08a8f116702277a626e8496a	Apalache	InstanceNamedInFolder	Set1	True	Passed	Model Under Test Equivalent Model
8e1152cd9c1bb80e6033db93114a33209c8f9511	Apalache	InstanceNamedInFolder	Set1	False	Passed	Model Under Test Equivalent Model
6d22d0bf4c40e71d96dd5e2cf5c2bbe68d858b1a	Apalache	InstanceNamedInFolder	Set2	True	Passed	Model Under Test Equivalent Model
d526fdad1b596b5383ac97069c9a1b8d5bcc8e21	Apalache	InstanceNamedInFolder	Set2	False	Passed	Model Under Test Equivalent Model
28e54ec6074a7b58cceb17eb99eedc87b65b6d88	Apalache	InstanceNamedInFolder	Fun	True	Passed	Model Under Test Equivalent Model
8f158f17c02aa37f33cb7fcd4d78bed35b5269d9	Apalache	InstanceNamedInFolder	Fun	False	Passed	Model Under Test Equivalent Model
72430ba799d7e991343ed8aa272dcc6dbd8a3d27	Apalache	InstanceNamedInFolder	In	True	Passed	Model Under Test Equivalent Model
87c4f56facabc325157bf8b843a66181163050e3	Apalache	InstanceNamedInFolder	In	False	Passed	Model Under Test Equivalent Model
8a93c1434e14bc37983c026fd04cb1ad9533d738	Apalache	InstanceNamedInFolder	NotIn	True	Passed	Model Under Test Equivalent Model
70a85897e28dfe6fd2007de8577339d9efa28d76	Apalache	InstanceNamedInFolder	NotIn	False	Passed	Model Under Test Equivalent Model
799a7d3983731cc982776441ab53d19e7b2c292e	Apalache	InstanceNamedInFolder	Exists	True	Passed	Model Under Test Equivalent Model
d3082d9ff7933dde83e49474e75b4f51ba076c02	Apalache	InstanceNamedInFolder	Exists	False	Passed	Model Under Test Equivalent Model
054c6e885acb5427519c21e873a3e71bab247873	Apalache	InstanceNamedInFolder	Forall	True	Passed	Model Under Test Equivalent Model
9fe6ec87088bbafd6fbb2600fd8c609ccb5697b8	Apalache	InstanceNamedInFolder	Forall	False	Passed	Model Under Test Equivalent Model
cc7caa18acae2cbd3557a028377e6e186e7768ca	Apalache	InstanceNamedInFolder	Choose	True	Passed	Model Under Test Equivalent Model
d7a3050dc0aa9c72e72736dd1c86df65ae317fc1	Apalache	InstanceNamedInFolder	Choose	False	Passed	Model Under Test Equivalent Model
de58db19d369c5fd3280a8212e5024c6e924007e	Apalache	InstanceNamedInFolder	Record	True	Passed	Model Under Test Equivalent Model
a1e1cbc0b6ac90f2653b605d2ecb2485b09838f4	Apalache	InstanceNamedInFolder	Record	False	Passed	Model Under Test Equivalent Model
45d0b55945ccdff288e8d11b917e941f993d33fe	Apalache	InstanceNamedInFolder	Tuple	True	Passed	Model Under Test Equivalent Model
a8c7867b8ac115a1a7aa6f243ed446750b02d86d	Apalache	InstanceNamedInFolder	Tuple	False	Passed	Model Under Test Equivalent Model
d1bc8e43089ba78da9013efbcd372a2a7a3ef85e	Apalache	InstanceNamedInFolder	TupleEmpty	True	Passed	Model Under Test Equivalent Model
7becab07361b860b25d2e12846cdbc01f6cc022f	Apalache	InstanceNamedInFolder	TupleEmpty	False	Passed	Model Under Test Equivalent Model
a816a8137d11b4e92bea9cdfc897730d42b350f3	Apalache	InstanceNamedInFolder	FunApp	True	Passed	Model Under Test Equivalent Model
05e2b7b5ee2dca6f641a9e4eb558d6e3da3ab9d0	Apalache	InstanceNamedInFolder	FunApp	False	Passed	Model Under Test Equivalent Model
0bd016754e4dc36ac4cf92139049734777e8dfc2	Apalache	InstanceNamedInFolder	Prime	True	Passed	Model Under Test Equivalent Model
0f162b80637bdbefc0d52e2d63ec7e276462059f	Apalache	InstanceNamedInFolder	Prime	False	Passed	Model Under Test Equivalent Model
827e00a66dc298dfeecbee4414424fe6eaf7b1ae	Apalache	InstanceNamedInFolder	NumZero	True	Passed	Model Under Test Equivalent Model
5d6504a124b485197e34b24d67b90ccc4fc31f13	Apalache	InstanceNamedInFolder	NumZero	False	Passed	Model Under Test Equivalent Model
f4a5f8638b183c482743bd5198fb27d48452a7d1	Apalache	InstanceNamedInFolder	NumOne	True	Passed	Model Under Test Equivalent Model
6eddb96e0790d67d177535b30c2f9b8d28bb9ae9	Apalache	InstanceNamedInFolder	NumOne	False	Passed	Model Under Test Equivalent Model
aeaac1b995f61546a62c07f4b6f930245c352041	Apalache	InstanceNamedInFolder	NumMaxInt	True	Passed	Model Under Test Equivalent Model
b7679e3ccdf587b7fbf27517fc59471f203d23bf	Apalache	InstanceNamedInFolder	NumMaxInt	False	Passed	Model Under Test Equivalent Model
9fa1e99f802547f73dd764555d6e548bb2e458fe	Apalache	InstanceNamedInFolder	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
d50608b2f3dd6e268dfe05db05631c73c782570c	Apalache	InstanceNamedInFolder	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
e5e035b2b9991eb9a4351214df917d656d6045c5	Apalache	InstanceNamedInFolder	NumPlus	True	Passed	Model Under Test Equivalent Model
1f22cbe1f0c0dd30d0cd39c5be8d51cd499f6799	Apalache	InstanceNamedInFolder	NumPlus	False	Passed	Model Under Test Equivalent Model
e19241be0e9c38794fa319f037c53f5065dcf6af	Apalache	InstanceNamedInFolder	NumMinus	True	Passed	Model Under Test Equivalent Model
659ee2f2efb589fe215f2564732cc88ffaada9b1	Apalache	InstanceNamedInFolder	NumMinus	False	Passed	Model Under Test Equivalent Model
ea37d251887d1eae2ef0f3ee78407ab1fa4f7e6d	Apalache	InstanceNamedInFolder	NumMul	True	Passed	Model Under Test Equivalent Model
572946ebca74ade01cbf73d7e87da7509aa6548c	Apalache	InstanceNamedInFolder	NumMul	False	Passed	Model Under Test Equivalent Model
153715695cff0df2e5eb4fefeb37beb503afc10c	Apalache	InstanceNamedInFolder	NumDiv	True	Passed	Model Under Test Equivalent Model
4d859860bec09fc9f21d27586aee83dfca1eaf8c	Apalache	InstanceNamedInFolder	NumDiv	False	Passed	Model Under Test Equivalent Model
16287c072bc78e3f8e34eca6268e6b2b3f5a9eac	Apalache	InstanceNamedInFolder	NumMod	True	Passed	Model Under Test Equivalent Model
6691a2bd1a8264d4db12599073bb06e7103930ac	Apalache	InstanceNamedInFolder	NumMod	False	Passed	Model Under Test Equivalent Model
744c13fd634c83041f216f813746ec7a9798aaad	Apalache	InstanceNamedInFolder	NumPow	True	Passed	Model Under Test Equivalent Model
fb4a923b6ea0472740d874960a2033215223fcf5	Apalache	InstanceNamedInFolder	NumPow	False	Passed	Model Under Test Equivalent Model
c8959ac9cc9bf3066cc4a2a91ab5a714a6240f28	Apalache	InstanceNamedInFolder	NumGt	True	Passed	Model Under Test Equivalent Model
d71cc75c297d57cc171d8225feb860e0bf76bc6c	Apalache	InstanceNamedInFolder	NumGt	False	Passed	Model Under Test Equivalent Model
39051fbbef09b81b7be52f0d878c88de6940223a	Apalache	InstanceNamedInFolder	NumGe	True	Passed	Model Under Test Equivalent Model
96bef38c9f02eb9bf2f5a444b3adbe102590694f	Apalache	InstanceNamedInFolder	NumGe	False	Passed	Model Under Test Equivalent Model
cac4c0256e0962bfb10c00f6c7078e2f835206e7	Apalache	InstanceNamedInFolder	NumLt	True	Passed	Model Under Test Equivalent Model
a3b51d441b0563a4f4492b466ce78c6bce7ac793	Apalache	InstanceNamedInFolder	NumLt	False	Passed	Model Under Test Equivalent Model
52f3c1c51a7cc0ad48d7315bd177be0c27254dc1	Apalache	InstanceNamedInFolder	NumLe	True	Passed	Model Under Test Equivalent Model
e3191646da31c7f7ad0a028f17aa48a4dde806d4	Apalache	InstanceNamedInFolder	NumLe	False	Passed	Model Under Test Equivalent Model
215acdfc66422810e68caff35aa7bb7b353e79ae	Apalache	InstanceNamedInFolder	DefFun	True	Passed	Model Under Test Equivalent Model
e2fdffe57708b37fc5851a4589cbfadcaa7ece11	Apalache	InstanceNamedInFolder	DefFun	False	Passed	Model Under Test Equivalent Model
d9c93df57473f0807166b097f9a6c5b1f82828a8	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedInFolder	LetDefFun	True	Passed	Model Under Test Equivalent Model
aa0cb9841ed37b4637217d390487432025204d7c	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedInFolder	LetDefFun	False	Passed	Model Under Test Equivalent Model
df47369244f3338fa1e0775852324c31077e094c	Apalache	InstanceNamedInFolder	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
6eabd10761fb7ba06a9a38da4cd87e078eaf87f1	Apalache	InstanceNamedInFolder	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
07a91ef507354b145f3abbad96163b8ede2ae3cc	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedInFolder	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
49575761d3d0610f0f574ef8d8de8a22a0e032ef	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedInFolder	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
7113a2efc2605c69eab3936881d82345c429d0f4	Apalache	InstanceNamedInFolder	Def0	True	Passed	Model Under Test Equivalent Model
5996a8d3952ca13cfd3e2209b16ca7d36c513431	Apalache	InstanceNamedInFolder	Def0	False	Passed	Model Under Test Equivalent Model
b36bfae187548a910596a2c971e53278310759df	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedInFolder	LetDef0	True	Passed	Model Under Test Equivalent Model
8802b55472e17885d45d880c928dff1234b984ab	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedInFolder	LetDef0	False	Passed	Model Under Test Equivalent Model
e4377ea249c10ca92748c149a03b8795dd011e51	Apalache	InstanceNamedInFolder	Def1	True	Passed	Model Under Test Equivalent Model
947ba44932e0e7a08e924305be8c0c2c54782060	Apalache	InstanceNamedInFolder	Def1	False	Passed	Model Under Test Equivalent Model
255893671801c43580367dddca6771b7b424e873	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedInFolder	LetDef1	True	Passed	Model Under Test Equivalent Model
c7685e15900ddc2692c5ce5f26910c5f7562db71	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedInFolder	LetDef1	False	Passed	Model Under Test Equivalent Model
8fd5678e0dc0f70e6438767719118ea41ff8f1b9	Apalache	InstanceNamedInFolder	Def2	True	Passed	Model Under Test Equivalent Model
c813ad5decdfa824c310fa2bf800bd959577f4c5	Apalache	InstanceNamedInFolder	Def2	False	Passed	Model Under Test Equivalent Model
34bd67d5c37e5518663ccb9798e6e1f920138bfe	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedInFolder	LetDef2	True	Passed	Model Under Test Equivalent Model
697529d7585d6bb89509beb82402a6e66caa780b	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedInFolder	LetDef2	False	Passed	Model Under Test Equivalent Model
627099c0d7441cc520b847c5d8ee3f9296c21d1d	Apalache	InstanceNamedInFolder	Def1Recursive	True	Passed	Model Under Test Equivalent Model
a0b36a225315073db7a858ead9968a5f9191b725	Apalache	InstanceNamedInFolder	Def1Recursive	False	Passed	Model Under Test Equivalent Model
f4d5277e9ee4f7630a57528aa98609076b62bc42	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedInFolder	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
71580ed1e2dca8de146d84d49970d50f5f46fb51	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedInFolder	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
8ab99f1ea7efb4e2a42257c3ec2dbd3f792f1ab2	Apalache	InstanceNamedInFolder	Extends	True	Passed	Model Under Test Equivalent Model
92074012ab36d5afc260a6b10357086ff8f508b9	Apalache	InstanceNamedInFolder	Extends	False	Passed	Model Under Test Equivalent Model
77a963609164d33cc6feb6f4861c9a7de6e6bf3c	Apalache	InstanceNamedInFolder	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
8c466313cfca2573ab2b7087d6599c1a31dab499	Apalache	InstanceNamedInFolder	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
a566270ef6a2b30eeae4287fb0601effd6c57a71	Apalache	InstanceNamedInFolder	Variable	True	Passed	Model Under Test Equivalent Model
d957f27e68c5ae4aa98515e43b6669b7d53c9c7e	Apalache	InstanceNamedInFolder	Variable	False	Passed	Model Under Test Equivalent Model
f730b100613e70ecaf6b79d425208ed1c0a275a5	Apalache	InstanceNamedInFolder	Constant	True	Passed	Model Under Test Equivalent Model
68f56b2b22e14da64c506e4dec6324389484b176	Apalache	InstanceNamedInFolder	Constant	False	Passed	Model Under Test Equivalent Model
15e63e87f5acaaf685977f80baaf56cef449a49d	Apalache	InstanceNamedInFolder	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
fb9a27951f4aa46c854fc2b7ffc1f7353f88c0d6	Apalache	InstanceNamedInFolder	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
e02369d89e9804f1db464ef3c60ceff415b2b352	Apalache	InstanceNamedInFolder	ConstantRank1	True	Passed	Model Under Test Equivalent Model
af1c4ea50693289827e9f786491d52d0db0d6cc0	Apalache	InstanceNamedInFolder	ConstantRank1	False	Passed	Model Under Test Equivalent Model
b50810e86b02a53875df9ff6a29b647b3db795cd	Apalache	InstanceNamedInFolder	Instance	True	Passed	Model Under Test Equivalent Model
722ddb6ba5223e2bfb9b7a200825b2d1091aaf71	Apalache	InstanceNamedInFolder	Instance	False	Passed	Model Under Test Equivalent Model
780336b4539e1f544d02bd5d9c77257e8d7f56d4	Apalache	InstanceNamedInFolder	InstanceWith	True	Passed	Model Under Test Equivalent Model
1662cfdd1d1dc1a14c28b46836bbc5cd63255f18	Apalache	InstanceNamedInFolder	InstanceWith	False	Passed	Model Under Test Equivalent Model
b8ed01acf5f472e57891c008492af418e37f1e6e	Apalache	InstanceNamedInFolder	InstanceNamed	True	Passed	Model Under Test Equivalent Model
7645587fb22781920878b115896f3e98d833cdbe	Apalache	InstanceNamedInFolder	InstanceNamed	False	Passed	Model Under Test Equivalent Model
ebd0db1849bcb7413c4a18fc785b4e6fb92d9c17	Apalache	InstanceNamedInFolder	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
b5c5f87895c44027d0344a7a1b616911aef98416	Apalache	InstanceNamedInFolder	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
6ce3360aeb00abb722f7af74b49e8ea27ef9f713	Apalache	InstanceNamedInFolder	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
5f726e3630442176506717fa4a04991e60a4e424	Apalache	InstanceNamedInFolder	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
b15824fa95cbd4157bdf46a8b2d2e2085bd40a65	Apalache	InstanceNamedInFolder	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
61d463c2a246bbd9af2cbf0810452f0d9db2d15a	Apalache	InstanceNamedInFolder	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
a9db11be4a8a49d41cfe29d7d82938baf03c997a	Apalache	InstanceNamedInFolder	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
2e114a4e72f70a878fcc831bf268790500428783	Apalache	InstanceNamedInFolder	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
bb9f21d1cf3343f9ab0614baa4d3fed70e6a6398	Apalache	InstanceNamedInFolder	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
50ff97fccdd57f9da6c5359c87f7ea8aae94afb6	Apalache	InstanceNamedInFolder	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
d3833e6697da1a2c456f89ade2b123182b80fd14	Apalache	InstanceNamedInFolder	Enabled	True	Passed	Model Under Test Equivalent Model
e6bd5ad1480d3be3312501e2fa3fce2f0ad22b4c	Apalache	InstanceNamedInFolder	Enabled	False	Passed	Model Under Test Equivalent Model
118b8f66d5e8adb71fcfd3bc99c1db747e86bd57	Apalache	InstanceNamedInFolder	Cross2	True	Passed	Model Under Test Equivalent Model
c5ef6090162c17268110867c6c319c717d2cc0d2	Apalache	InstanceNamedInFolder	Cross2	False	Passed	Model Under Test Equivalent Model
a0b91e8683d30f99666f16cdbf817c63f25e5c58	Apalache	InstanceNamedInFolder	Cross3	True	Passed	Model Under Test Equivalent Model
e4171386ab1b5f0bdd3319a05ae28d2d22681e0a	Apalache	InstanceNamedInFolder	Cross3	False	Passed	Model Under Test Equivalent Model
fa4114fc08deb06e4ddbd997fd29cbdbd9638701	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))	InstanceNamedInFolder	FunSet	True	Passed	Model Under Test Equivalent Model
e32e625aca959a89b83f72ad6ea06aa8f50644f9	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))	InstanceNamedInFolder	FunSet	False	Passed	Model Under Test Equivalent Model
424ba43e994a4c01f0e97130fa0e67aecf34a209	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)	InstanceNamedInFolder	RecordSet	True	Passed	Model Under Test Equivalent Model
70463af098804f6408a6aeb05b96e14d851a3342	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)	InstanceNamedInFolder	RecordSet	False	Passed	Model Under Test Equivalent Model
7990dec2ef211c7f24fffa9b9748096ee890b96e	Apalache	InstanceNamedInFolder	SetDiff	True	Passed	Model Under Test Equivalent Model
f196266bb9d0df4df8420bf3fcccba02ae934115	Apalache	InstanceNamedInFolder	SetDiff	False	Passed	Model Under Test Equivalent Model
7562d50a61c2e689d80e1243b9e07526817ba716	Apalache	InstanceNamedInFolder	SetUnion	True	Passed	Model Under Test Equivalent Model
9f459238858fe0ce096ff6f030cc2b857ef56c7a	Apalache	InstanceNamedInFolder	SetUnion	False	Passed	Model Under Test Equivalent Model
cbfee000ea6580efdedc166b9ef9b9c972bf9130	Apalache	InstanceNamedInFolder	SetIntersect	True	Passed	Model Under Test Equivalent Model
2c621895cb12bfdcb65f42ec2b334d6969b0cfbf	Apalache	InstanceNamedInFolder	SetIntersect	False	Passed	Model Under Test Equivalent Model
4fd0eff534c9832ac6055769c0bbb5ee2ae0209e	Apalache	InstanceNamedInFolder	SubsetEq	True	Passed	Model Under Test Equivalent Model
2c33d5d63e11a38f71d0b452f493126c7e0ce88b	Apalache	InstanceNamedInFolder	SubsetEq	False	Passed	Model Under Test Equivalent Model
43839ab801a011a980b6fc25871ff8694e11fab0	Apalache	InstanceNamedInFolder	IfCond	True	Passed	Model Under Test Equivalent Model
63aebfa6f83d3429f6bdb93c61eba5b94d45987e	Apalache	InstanceNamedInFolder	IfCond	False	Passed	Model Under Test Equivalent Model
e25b94b9efe8c13ad617514b7332d666ee8bc8b7	Apalache	InstanceNamedInFolder	IfThen	True	Passed	Model Under Test Equivalent Model
93e67e5f0cbfdaf9f199c246daebffeeaf101b4c	Apalache	InstanceNamedInFolder	IfThen	False	Passed	Model Under Test Equivalent Model
99c6f210ea2a663a633e836b8dea098fcb49d071	Apalache	InstanceNamedInFolder	IfElse	True	Passed	Model Under Test Equivalent Model
f2396a9d598f8719c0af61dab73f3d36f0afa4b7	Apalache	InstanceNamedInFolder	IfElse	False	Passed	Model Under Test Equivalent Model
9a4d88d6b27fd48b1257dbb3c8b59f3ef5b237f5	Apalache	InstanceNamedInFolder	Subset	True	Passed	Model Under Test Equivalent Model
0882ba03be4d76fa7a386c526b392ae3ceb5b9d2	Apalache	InstanceNamedInFolder	Subset	False	Passed	Model Under Test Equivalent Model
8332a8235e3e64b275c368c474684a222f09b39b	Apalache	InstanceNamedInFolder	Domain	True	Passed	Model Under Test Equivalent Model
a41048b14483e0b5414fe8a466a53ab715002f93	Apalache	InstanceNamedInFolder	Domain	False	Passed	Model Under Test Equivalent Model
ff054ddc12223f91ca046f23e3cbaca401d8ea0e	Apalache	InstanceNamedInFolder	Union	True	Passed	Model Under Test Equivalent Model
a901e0fcfda929f7a85a3aed700bc5ccf77bb9c6	Apalache	InstanceNamedInFolder	Union	False	Passed	Model Under Test Equivalent Model
c1c487b137f83368e35ebf4fb6c25ed4245a9695	Apalache	InstanceNamedInFolder	Unchanged	True	Passed	Model Under Test Equivalent Model
5a9de09d1749492e067fbe9653cc18de470a74ca	Apalache	InstanceNamedInFolder	Unchanged	False	Passed	Model Under Test Equivalent Model
f966e87381866b5335520c2e1024af75d3ef499b	Apalache	InstanceNamedInFolder	Equivalence	True	Passed	Model Under Test Equivalent Model
3e0b632034ad8c6da082c7393186b0918f93e023	Apalache	InstanceNamedInFolder	Equivalence	False	Passed	Model Under Test Equivalent Model
d019d0ecc056e9a8e77dfc543d243ab2dc4da10c	Apalache	InstanceNamedInFolder	StringEmpty	True	Passed	Model Under Test Equivalent Model
a750755614b883f415de4a20ae2cafd58cf2dcdd	Apalache	InstanceNamedInFolder	StringEmpty	False	Passed	Model Under Test Equivalent Model
3eb74a78d4fc82cd883d264893bfbf2d28b6888e	Apalache	InstanceNamedInFolder	String	True	Passed	Model Under Test Equivalent Model
943c4311ee1f75240645956b395fef8e0594a060	Apalache	InstanceNamedInFolder	String	False	Passed	Model Under Test Equivalent Model
bc47fbb604e4b90ca99291a2b54778c10d73f40c	Apalache	InstanceNamedInFolder	SeqLen	True	Passed	Model Under Test Equivalent Model
f7f7232c5ff8bfb54fe63f55f679ca797e231735	Apalache	InstanceNamedInFolder	SeqLen	False	Passed	Model Under Test Equivalent Model
05ab5f08c85fe0990c5830b78b929e045b9e69b5	Apalache	InstanceNamedInFolder	SeqConcat	True	Passed	Model Under Test Equivalent Model
baa5bfa693d54b39056645a99dc664cfa57c1967	Apalache	InstanceNamedInFolder	SeqConcat	False	Passed	Model Under Test Equivalent Model
0af4e024b002fea39d620a3f6dc08e8f0b58ee60	Apalache	InstanceNamedInFolder	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
87b8d942fd861720a718a53c9ff3fb6bfe9d95bf	Apalache	InstanceNamedInFolder	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
cc235f3ce9e6db8e20c5f0975e37493bbc4f0f26	Apalache	InstanceNamedInFolder	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
b60017862d8e641888e73068e46059cd69ee874b	Apalache	InstanceNamedInFolder	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
0c2c9b1d12be2e660c0129d6a7fbb33899dae177	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	InstanceNamedInFolder	NumRange	True	Passed	Model Under Test Equivalent Model
46785305550a956ba7a3f7bbe9879e457fafd61f	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	InstanceNamedInFolder	NumRange	False	Passed	Model Under Test Equivalent Model
c44f08e408952242e103a1fa3a179594dc642bc4	TLC with reduction strategy: Plug Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	InstanceNamedInFolder	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
5e34ae7bfe5e66225eaf433d42c56737db742481	TLC with reduction strategy: Plug Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	InstanceNamedInFolder	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
e14045061c0a3fd2561db5596432a8d4d7d2d611	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]]	InstanceNamedInFolder	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
09740a987146a983eef97641c16b592665ed907c	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]]	InstanceNamedInFolder	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
973c231ac60ef07a50a015f8f2e13bb2fb27945d	TLC with reduction strategy: Plug Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	InstanceNamedInFolder	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
8dacb2ace98418c808264727ef5c0e7ceba8e7ed	TLC with reduction strategy: Plug Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	InstanceNamedInFolder	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
c0a20115e2ff1e39fa8f933377b87d5d9d0c897f	TLC with reduction strategy: Plug Feature: SortSeq(S) is reduced to equivalent sort implementation	InstanceNamedInFolder	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
86deb410633afe4f6c218a19548961ba31cef5ce	TLC with reduction strategy: Plug Feature: SortSeq(S) is reduced to equivalent sort implementation	InstanceNamedInFolder	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
db99b259502be6e4992b276bf4a785c8b37f55bf	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	InstanceNamedInFolder	TlcEval	True	Passed	Model Under Test Equivalent Model
37acb4f58a9441134ea9e78c4b5a7ce0f31ef0c6	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	InstanceNamedInFolder	TlcEval	False	Passed	Model Under Test Equivalent Model
30bb7749412ddc057839ff21819ac314567b0022	Apalache	InstanceNamedInFolder	BagBagToSet	True	Passed	Model Under Test Equivalent Model
5881151876c9f1022fc6c4bbc08415eada7660f0	Apalache	InstanceNamedInFolder	BagBagToSet	False	Passed	Model Under Test Equivalent Model
70953ba4f9b10b1594feedb54a7ec1f4fd911bb3	Apalache	InstanceNamedInFolder	BagSetToBag	True	Passed	Model Under Test Equivalent Model
5e5475c63651e62b910ea7d17314a294b57a5998	Apalache	InstanceNamedInFolder	BagSetToBag	False	Passed	Model Under Test Equivalent Model
5a81b5f67d5761d73e86282eb901ea7d6a44db3e	Apalache	InstanceNamedInFolder	BagBagIn	True	Passed	Model Under Test Equivalent Model
02ebd42127c4931f39f17ae45aec10384bb42576	Apalache	InstanceNamedInFolder	BagBagIn	False	Passed	Model Under Test Equivalent Model
b72ce5d60988b08182d6bcfc73ae37f1401b7296	Apalache	InstanceNamedInFolder	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
67755a647aade871ffc76665708f4ba46427bc94	Apalache	InstanceNamedInFolder	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
88832846d5a932e3bdf84b80eb2945d28a943cc5	Apalache	InstanceNamedInFolder	BagAddBag	True	Passed	Model Under Test Equivalent Model
1f9d8d184c3ecda07ea16e1861c75e2d3244fa0e	Apalache	InstanceNamedInFolder	BagAddBag	False	Passed	Model Under Test Equivalent Model
22e687cf597c501326b311a21a06eebe02352e01	Apalache	InstanceNamedInFolder	BagBagSub	True	Passed	Model Under Test Equivalent Model
af1e0b55fe1a884a15a5345cc454a129b17401da	Apalache	InstanceNamedInFolder	BagBagSub	False	Passed	Model Under Test Equivalent Model
c1513ad270fc2cc2f77cfee1905025ccb711d8c7	Apalache	InstanceNamedInFolder	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
0f1393827173edacf41573df97c66185b36eee13	Apalache	InstanceNamedInFolder	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
36c611df80ca982c1ba5e469cdfb82ce0f9e4eec	Apalache	InstanceNamedInFolder	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
45478c796466826a67a71a2d17797bd8765e829c	Apalache	InstanceNamedInFolder	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
86ebe6fe5d786f401484b2d2617322c3d3fbaea8	Apalache	InstanceNamedInFolder	BagBagUnion	True	Passed	Model Under Test Equivalent Model
79fa0d11653536ab306278c84d94253e01d2d797	Apalache	InstanceNamedInFolder	BagBagUnion	False	Passed	Model Under Test Equivalent Model
516cae17b935e1edfc14091e4b7589a421b30f0f	Apalache	InstanceNamedInFolder	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
650bdcced66a4836574e838c0998301afb8a6f6e	Apalache	InstanceNamedInFolder	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
c66aa2da82e634ebefdad3535bfbd02d8b6f2fa5	Apalache	InstanceNamedInFolder	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
ebf0283273da27e2f52accca17a3635e24cc622a	Apalache	InstanceNamedInFolder	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
2baf790dbe68ebb1ff03abfd2c9cf46161c8ba9b	TLC with reduction strategy: Plug Feature: SubBag(B) is reduced to equivalent SubBagR implementation	InstanceNamedInFolder	BagSubBag	True	Passed	Model Under Test Equivalent Model
86b30073ceb9dc3429813ae66faa22ae1793f40f	TLC with reduction strategy: Plug Feature: SubBag(B) is reduced to equivalent SubBagR implementation	InstanceNamedInFolder	BagSubBag	False	Passed	Model Under Test Equivalent Model
58fd48877d4733b2518d7dd6c80bd948df6f381f	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)	InstanceNamedInFolder	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
a172352c934f6458d8ff83c01c646a2f975074d7	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)	InstanceNamedInFolder	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
a564b7a5c29a14a0d570d2c22113d7cf68e70c70	Apalache	InstanceNamedInFolder	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
b7aa4472ecfe93635c471309b607a207ecb7d6bb	Apalache	InstanceNamedInFolder	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
2058780f327630874e86d5e1c5105cb00a0bd702	Apalache	InstanceNamedInFolder	SeqHead	True	Passed	Model Under Test Equivalent Model
95241e721a1d82a47793f5aa49ee9a77be9438cc	Apalache	InstanceNamedInFolder	SeqHead	False	Passed	Model Under Test Equivalent Model
a24b139bf76b899816e5afebe75f2a26d286a690	Apalache	InstanceNamedInFolder	SeqTail	True	Passed	Model Under Test Equivalent Model
223615b6a74295448fa2077a96e99e2c17c2866e	Apalache	InstanceNamedInFolder	SeqTail	False	Passed	Model Under Test Equivalent Model
407294cb299e8f210b397bbcf8dcfca865c7c35e	Apalache	InstanceNamedInFolder	SeqAppend	True	Passed	Model Under Test Equivalent Model
1de1078b23cb12eda2192d3c35264297c8d89081	Apalache	InstanceNamedInFolder	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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