Case-of-case

IntersectMBO · Sep 21, 2023 · 16155a3 · 16155a3
1 parent eea5afe
commit 16155a3
Show file tree

Hide file tree

Showing 167 changed files with 1,597 additions and 1,023 deletions.
diff --git a/.../semantics/0000020002010200020101020201000100010001020101020201010000020102.budget.golden b/.../semantics/0000020002010200020101020201000100010001020101020201010000020102.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 688778394
-| mem: 2219963})
+({cpu: 686202394
+| mem: 2208763})
diff --git a/.../semantics/0001000101000000010101000001000001010101010100000001000001010000.budget.golden b/.../semantics/0001000101000000010101000001000001010101010100000001000001010000.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1263472556
-| mem: 4161436})
+({cpu: 1259976556
+| mem: 4146236})
diff --git a/.../semantics/0003040402030103010203030303000200000104030002040304020400000102.budget.golden b/.../semantics/0003040402030103010203030303000200000104030002040304020400000102.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1486776955
-| mem: 5690372})
+({cpu: 1476840955
+| mem: 5647172})
diff --git a/.../semantics/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.budget.golden b/.../semantics/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 2499655815
-| mem: 8200979})
+({cpu: 2493767815
+| mem: 8175379})
diff --git a/.../semantics/0101010001010101010101000100010100000001010000010001000001000101.budget.golden b/.../semantics/0101010001010101010101000100010100000001010000010001000001000101.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 8554108933
-| mem: 24733340})
+({cpu: 8548220933
+| mem: 24707740})
diff --git a/.../semantics/0101020201010201010200010102000201000201010102000102010201010000.budget.golden b/.../semantics/0101020201010201010200010102000201000201010102000102010201010000.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 520014880
-| mem: 1761369})
+({cpu: 517622880
+| mem: 1750969})
diff --git a/.../semantics/0101080808040600020306010000000302050807010208060100070207080202.budget.golden b/.../semantics/0101080808040600020306010000000302050807010208060100070207080202.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1566349057
-| mem: 5518064})
+({cpu: 1559725057
+| mem: 5489264})
diff --git a/.../semantics/0104010200020000040103020102020004040300030304040400010301040303.budget.golden b/.../semantics/0104010200020000040103020102020004040300030304040400010301040303.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 846316504
-| mem: 3215135})
+({cpu: 840980504
+| mem: 3191935})
diff --git a/.../semantics/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.budget.golden b/.../semantics/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1504147324
-| mem: 5180473})
+({cpu: 1497707324
+| mem: 5152473})
diff --git a/.../semantics/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.budget.golden b/.../semantics/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1093976220
-| mem: 3890291})
+({cpu: 1084408220
+| mem: 3848691})
diff --git a/.../semantics/0705030002040601010206030604080208020207000101060706050502040301.budget.golden b/.../semantics/0705030002040601010206030604080208020207000101060706050502040301.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 2450820502
-| mem: 7851614})
+({cpu: 2443460502
+| mem: 7819614})
diff --git a/.../semantics/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.budget.golden b/.../semantics/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1224148565
-| mem: 4606493})
+({cpu: 1213292565
+| mem: 4559293})
diff --git a/.../semantics/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.budget.golden b/.../semantics/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1253172275
-| mem: 4764911})
+({cpu: 1242684275
+| mem: 4719311})
diff --git a/.../semantics/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.budget.golden b/.../semantics/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 2018462646
-| mem: 7399734})
+({cpu: 2006134646
+| mem: 7346134})
diff --git a/.../semantics/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.budget.golden b/.../semantics/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1038659537
-| mem: 3426503})
+({cpu: 1034795537
+| mem: 3409703})
diff --git a/.../semantics/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.budget.golden b/.../semantics/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1116827136
-| mem: 4009697})
+({cpu: 1111307136
+| mem: 3985697})
diff --git a/.../semantics/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.budget.golden b/.../semantics/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 694045400
-| mem: 2499327})
+({cpu: 690549400
+| mem: 2484127})
diff --git a/.../semantics/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.budget.golden b/.../semantics/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 905798501
-| mem: 3358297})
+({cpu: 898806501
+| mem: 3327897})
diff --git a/.../semantics/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.budget.golden b/.../semantics/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1754006866
-| mem: 5276209})
+({cpu: 1751430866
+| mem: 5265009})
diff --git a/.../semantics/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.budget.golden b/.../semantics/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1648035702
-| mem: 5864878})
+({cpu: 1642331702
+| mem: 5840078})
diff --git a/.../semantics/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.budget.golden b/.../semantics/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1518696996
-| mem: 5174683})
+({cpu: 1512992996
+| mem: 5149883})
diff --git a/.../semantics/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.budget.golden b/.../semantics/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 594501754
-| mem: 1974183})
+({cpu: 591925754
+| mem: 1962983})
diff --git a/.../semantics/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.budget.golden b/.../semantics/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 36351772004
-| mem: 100817220})
+({cpu: 36349012004
+| mem: 100805220})
diff --git a/.../semantics/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.budget.golden b/.../semantics/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 194289424781
-| mem: 551206222})
+({cpu: 194285560781
+| mem: 551189422})
diff --git a/.../semantics/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.budget.golden b/.../semantics/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 837832925
-| mem: 2901300})
+({cpu: 834888925
+| mem: 2888500})
diff --git a/.../semantics/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.budget.golden b/.../semantics/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 519256528
-| mem: 1783367})
+({cpu: 516864528
+| mem: 1772967})
diff --git a/.../semantics/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.budget.golden b/.../semantics/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 762503000
-| mem: 2886194})
+({cpu: 756983000
+| mem: 2862194})
diff --git a/.../semantics/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.budget.golden b/.../semantics/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 39432246944
-| mem: 111233982})
+({cpu: 39428566944
+| mem: 111217982})
diff --git a/.../semantics/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.budget.golden b/.../semantics/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 4629656073
-| mem: 13797144})
+({cpu: 4622664073
+| mem: 13766744})
diff --git a/.../semantics/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.budget.golden b/.../semantics/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 859378175
-| mem: 3261533})
+({cpu: 852754175
+| mem: 3232733})
diff --git a/.../semantics/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.budget.golden b/.../semantics/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1594847006
-| mem: 5521638})
+({cpu: 1590431006
+| mem: 5502438})
diff --git a/.../semantics/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.budget.golden b/.../semantics/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1635048262
-| mem: 6210012})
+({cpu: 1622720262
+| mem: 6156412})
diff --git a/.../semantics/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.budget.golden b/.../semantics/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 497375642
-| mem: 1705039})
+({cpu: 494799642
+| mem: 1693839})
diff --git a/.../semantics/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.budget.golden b/.../semantics/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 652960901
-| mem: 2352399})
+({cpu: 649648901
+| mem: 2337999})
diff --git a/.../semantics/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.budget.golden b/.../semantics/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 983853993
-| mem: 3624766})
+({cpu: 979989993
+| mem: 3607966})
diff --git a/.../semantics/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.budget.golden b/.../semantics/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1067844540
-| mem: 3940826})
+({cpu: 1061220540
+| mem: 3912026})
diff --git a/.../semantics/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.budget.golden b/.../semantics/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 587290205
-| mem: 1952547})
+({cpu: 584898205
+| mem: 1942147})
diff --git a/.../semantics/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.budget.golden b/.../semantics/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1579021703
-| mem: 5399870})
+({cpu: 1573133703
+| mem: 5374270})
diff --git a/.../semantics/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.budget.golden b/.../semantics/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 677892358
-| mem: 2197327})
+({cpu: 675500358
+| mem: 2186927})
diff --git a/.../semantics/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.budget.golden b/.../semantics/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1288383373
-| mem: 4858927})
+({cpu: 1278815373
+| mem: 4817327})
diff --git a/.../semantics/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.budget.golden b/.../semantics/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 904967658
-| mem: 3309225})
+({cpu: 900183658
+| mem: 3288425})
diff --git a/.../semantics/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.budget.golden b/.../semantics/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1980057633
-| mem: 6180050})
+({cpu: 1976929633
+| mem: 6166450})
diff --git a/.../semantics/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.budget.golden b/.../semantics/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 372896209
-| mem: 1375899})
+({cpu: 370320209
+| mem: 1364699})
diff --git a/.../semantics/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.budget.golden b/.../semantics/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 464636040
-| mem: 1635383})
+({cpu: 462244040
+| mem: 1624983})
diff --git a/.../semantics/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.budget.golden b/.../semantics/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 558072787
-| mem: 1884089})
+({cpu: 555680787
+| mem: 1873689})
diff --git a/.../semantics/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.budget.golden b/.../semantics/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1274104539
-| mem: 4711188})
+({cpu: 1266744539
+| mem: 4679188})
diff --git a/.../semantics/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.budget.golden b/.../semantics/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 519256528
-| mem: 1783367})
+({cpu: 516864528
+| mem: 1772967})
diff --git a/.../semantics/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.budget.golden b/.../semantics/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 621910481
-| mem: 2306529})
+({cpu: 617862481
+| mem: 2288929})
diff --git a/.../semantics/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.budget.golden b/.../semantics/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1348776662
-| mem: 4737031})
+({cpu: 1339024662
+| mem: 4694631})
diff --git a/.../semantics/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.budget.golden b/.../semantics/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1190358587
-| mem: 4533599})
+({cpu: 1180422587
+| mem: 4490399})
diff --git a/.../semantics/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.budget.golden b/.../semantics/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 624808375
-| mem: 2331167})
+({cpu: 619656375
+| mem: 2308767})
diff --git a/.../semantics/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.budget.golden b/.../semantics/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 522749765
-| mem: 1767371})
+({cpu: 520173765
+| mem: 1756171})
diff --git a/.../semantics/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.budget.golden b/.../semantics/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1078311946
-| mem: 4014274})
+({cpu: 1071503946
+| mem: 3984674})
diff --git a/.../semantics/5f3d46c57a56cef6764f96c9de9677ac6e494dd7a4e368d1c8dd9c1f7a4309a5.budget.golden b/.../semantics/5f3d46c57a56cef6764f96c9de9677ac6e494dd7a4e368d1c8dd9c1f7a4309a5.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 813823182
-| mem: 2830961})
+({cpu: 809775182
+| mem: 2813361})
diff --git a/.../semantics/64c3d5b43f005855ffc4d0950a02fd159aa1575294ea39061b81a194ebb9eaae.budget.golden b/.../semantics/64c3d5b43f005855ffc4d0950a02fd159aa1575294ea39061b81a194ebb9eaae.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 927230227
-| mem: 3481748})
+({cpu: 922630227
+| mem: 3461748})
diff --git a/.../semantics/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e.budget.golden b/.../semantics/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 80743227260
-| mem: 231332162})
+({cpu: 80738811260
+| mem: 231312962})
diff --git a/.../semantics/66af9e473d75e3f464971f6879cc0f2ef84bafcb38fbfa1dbc31ac2053628a38.budget.golden b/.../semantics/66af9e473d75e3f464971f6879cc0f2ef84bafcb38fbfa1dbc31ac2053628a38.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 2682254898
-| mem: 8655332})
+({cpu: 2673422898
+| mem: 8616932})