float-aligned-quantize-results.json (90038B)
1 { 2 "stage": "single-round-near-and-far-positive-alignment", 3 "git_head": "264672c05512457ffcc9107f44d675207aa293ed", 4 "scope": "benchmark-only; trusted normalized-input contracts; no production changes", 5 "raw_directory": "/tmp/tricu-float-aligned-quantize-final", 6 "independent_tests": 5, 7 "small_precision_midpoint_comparisons": 36072, 8 "test_sha256": "5f3903f90c28a422eaddc96e429f438ef1e08bf8b8285934819ec49d0cc07ccd", 9 "run": { 10 "complete": true, 11 "scope": "positive normalized magnitude RNE; trusted internal invariants", 12 "runtime_sha256": "3b9f1df33d5d2143206fb3559d7a0e514f80b3dc729deb9df5df556d060e6d94", 13 "compiler_sha256": "819ad1c86fbf2d6f86533439217146eb9ffd37ca7f95bb278063a28f0ab5b534", 14 "harness_sha256": "fa6f0992b5ad556b194dcc32fe9308815497ce981fcd76c0a86f5ae34da0cf13", 15 "sources": { 16 "driver.tri": "565df94e20637af3c15b48a40ca0d16ff8b24abbf1ee24d5cdcded6276c4a6b0", 17 "fast.tri": "b962053fa3d77b7e251d75dc70c3606574ce861876a6cfc6ab62662a84ebfd9a", 18 "quantize.tri": "e62f92ee19e60ff2ed9ae79378d89019ba8dae14f1fb81cb2b774efeced8ea53", 19 "pipelines.tri": "6daba69f8c252469dea0e799c2d7fca45b673a23508faf4a0f69e5c375a735bb", 20 "kernels.tri": "58b04ec37e82bfe7b8d3a6b42bb81307258ff0812a77f0fdac04b0f022b17db5", 21 "layouts.tri": "3e1ccc050fa4e803271f87505cdd141ded2cc7b0be367fa548aba2bbd86b9914", 22 "native_math.tri": "d699cce98f8779ff3d451d1be02687182243922fa622cedf5d4f6f9fe252102a" 23 }, 24 "validation": [ 25 { 26 "label": "check-adds-0", 27 "cases": 24, 28 "input_sha256": "c8ed30aee69c019fbdc429ec561518cdf316f02ddecd44b866954742b43ce934", 29 "output_sha256": "2d68bf397d503a6d90a213191be0a00410a1c4f2da6983add9f9b292ae21f0f2" 30 }, 31 { 32 "label": "check-adds-24", 33 "cases": 24, 34 "input_sha256": "d2298a0d742c7005cd32fae789bfbdaa7cd09b64bbf868321680d359de0c18f4", 35 "output_sha256": "2d68bf397d503a6d90a213191be0a00410a1c4f2da6983add9f9b292ae21f0f2" 36 }, 37 { 38 "label": "check-adds-48", 39 "cases": 24, 40 "input_sha256": "23673f23bfcfef7264eb53aa30e2ec56bf2201da611cdde9d6265df4c009a20d", 41 "output_sha256": "2d68bf397d503a6d90a213191be0a00410a1c4f2da6983add9f9b292ae21f0f2" 42 }, 43 { 44 "label": "check-adds-72", 45 "cases": 24, 46 "input_sha256": "cfffe6eb6ece942eac59344f1a00b94d080785c635abdbc8e64c39a95315c3fb", 47 "output_sha256": "6e245c02a2a18671e7bcba30530bb8d8b5a1de5b6bf7f696370a0930083ced9c" 48 }, 49 { 50 "label": "check-adds-96", 51 "cases": 24, 52 "input_sha256": "ab5f23b6fcec33b85c63e3195c58be6e64c3e77b68cc3b433e619f01551451fb", 53 "output_sha256": "a12f9414c89df5363a2e1e6efe5bfe51901bf33a58978f8d1deab9b85e87ad4f" 54 }, 55 { 56 "label": "check-adds-120", 57 "cases": 24, 58 "input_sha256": "f5c450a234abe4dee7344ff0e4281a0029261cb4d728c4d9b79ebba0efedfa59", 59 "output_sha256": "2d68bf397d503a6d90a213191be0a00410a1c4f2da6983add9f9b292ae21f0f2" 60 }, 61 { 62 "label": "check-adds-144", 63 "cases": 24, 64 "input_sha256": "cb3346252ac0e3875d4e165ba50347b09d38f40c58dc1a6e767ee8199534e043", 65 "output_sha256": "2d68bf397d503a6d90a213191be0a00410a1c4f2da6983add9f9b292ae21f0f2" 66 }, 67 { 68 "label": "check-adds-168", 69 "cases": 24, 70 "input_sha256": "ebd98547ec69ed4262626c470bd2b53654cd1f3154a39c7a3c2885bf4851cdd6", 71 "output_sha256": "2ab8ea967af68aea4702d3f66ca3cdd1fa7b537c188c8c7b9e159ee8e48097dd" 72 }, 73 { 74 "label": "check-adds-192", 75 "cases": 24, 76 "input_sha256": "64b199b4279bf7541b980c85779c203b702b2b889d7ce7c8f0b5e6febc36e77c", 77 "output_sha256": "87b73fb4dec6fb26953d633729d2f78689ef612352637433366d8017e3341d3e" 78 }, 79 { 80 "label": "check-adds-216", 81 "cases": 24, 82 "input_sha256": "5c2adf40a085f2303d153f828a4cf7fd24ec786c779580c5986cea718dafd003", 83 "output_sha256": "87b73fb4dec6fb26953d633729d2f78689ef612352637433366d8017e3341d3e" 84 }, 85 { 86 "label": "check-adds-240", 87 "cases": 24, 88 "input_sha256": "a4de6ad12269f205925d1c2cd4a586767803e378862525d230cb9059c4731203", 89 "output_sha256": "87b73fb4dec6fb26953d633729d2f78689ef612352637433366d8017e3341d3e" 90 }, 91 { 92 "label": "check-adds-264", 93 "cases": 24, 94 "input_sha256": "ea2988761e158fbbcd1151ce9b55d26a7a25c0a819ebff2a726ea7385312f5b2", 95 "output_sha256": "86dfcbeaaaf9c945e579b67a5e540e323431a44b603b764e36e7ee9b5375372d" 96 }, 97 { 98 "label": "check-adds-288", 99 "cases": 24, 100 "input_sha256": "562ead70f8d229c29f4be293f2eface6dd2cf0389a6805043746b58ef64b3faf", 101 "output_sha256": "4375f0e9ed6004faaa0356dda5aee66251b3a5eaad6147f9e7c374e110f2b409" 102 }, 103 { 104 "label": "check-adds-312", 105 "cases": 24, 106 "input_sha256": "cf5a9152a17a7146d37961beadc19cadc6c6dcdc8a0e16663d046d3eaf4437a9", 107 "output_sha256": "71099f91158b60952e2543eb1cd8c25dd37b8385f37c44b1d9eb32e9d5a9cb65" 108 }, 109 { 110 "label": "check-adds-336", 111 "cases": 24, 112 "input_sha256": "7681f03b2f65ffba45f03355b6aae3c6d2fbc669eab53c4412b8c3f22371e2c4", 113 "output_sha256": "4bf0cd0f10af9bf92758bf3b2d4870b3189b7da4fb4777aa6910bd08bc6a430c" 114 }, 115 { 116 "label": "check-adds-360", 117 "cases": 24, 118 "input_sha256": "7d30d24c4d7aa43e2c67fe639cc3eb22c38a1d28342cf4a39c7da2952e2c9d1b", 119 "output_sha256": "6d1141661e6bab49399486469bf65cecca982f4ddd81a333cd6215b4824a8169" 120 }, 121 { 122 "label": "check-adds-384", 123 "cases": 24, 124 "input_sha256": "a00326c87b20b038b7a887fb37a2997e8d030672586b31741d474fcc876d2b67", 125 "output_sha256": "cb2e5828f14fc55e8f032101ca59629a01ddaf0e4431f98b6fd7ac2b5ea7a9b9" 126 }, 127 { 128 "label": "check-adds-408", 129 "cases": 24, 130 "input_sha256": "b039302c4b36fe13fbe8f314f53b799961af75a106c5d06c6cc4d9e64198c1b9", 131 "output_sha256": "5a5faea024a82786b2f15a16d1ae32ffbef598aa87e866bff96a41ffe9d046de" 132 }, 133 { 134 "label": "check-adds-432", 135 "cases": 24, 136 "input_sha256": "0765928251eed22adbd3068b9a302f8cf7f5b4265aab8f3e4aff9a4580a07a75", 137 "output_sha256": "1bd039d47c62f4b573beae844af3825e68079df8d8d99deba80d3d427adb3d34" 138 }, 139 { 140 "label": "check-adds-456", 141 "cases": 24, 142 "input_sha256": "f02883172753ed1abb1cf867e7d28c440c9e88d9cdbd620217565255b0d392d0", 143 "output_sha256": "0d79d6a399b512d4aff4695f393b0311f340478b3d1387b32cefe59da4dce429" 144 }, 145 { 146 "label": "check-adds-480", 147 "cases": 24, 148 "input_sha256": "91099e72fa9b9b4ca6aa4376e61c4600fe8cc0d0a5956ad554915db527bbf05b", 149 "output_sha256": "10269bcb9748a79db2463bf46553f6053f9426cdd08065e6b94da595cd38ca8e" 150 }, 151 { 152 "label": "check-adds-504", 153 "cases": 24, 154 "input_sha256": "b00f368e8d6587269bc969c1c622e7a72fa1288124c40b08ec197d9a57dfb1ed", 155 "output_sha256": "5d373655ba3e78d67d385ff17dca23ed58ff2ea8ecd9ccd023b4e57e29b50c38" 156 }, 157 { 158 "label": "check-adds-528", 159 "cases": 24, 160 "input_sha256": "06d0e333e0e973186a207a77c3d516c24b10db8daaca4fd04a437d332a109369", 161 "output_sha256": "ff0add6b9f089efd77b8b06dee6fc65cd0e772dedcb717b9abccc5ec2dab873f" 162 }, 163 { 164 "label": "check-adds-552", 165 "cases": 24, 166 "input_sha256": "eb9ac4abc036a6fee4926d5566fb2831ada82fea21f8d5e43db603906db8c0c3", 167 "output_sha256": "e3db578f6b4937c37d472af2953c81ec1ed496694a14c9b799043f30bb468c5c" 168 }, 169 { 170 "label": "check-adds-576", 171 "cases": 24, 172 "input_sha256": "6a8ddc341daaba5977a311e20f9377fcc9ff051c888af8dc5e4a09157c17b2d0", 173 "output_sha256": "9a9d25b89e2b3eea30e11eda6eeb925ff41443e04d12c2828d8edbb4e9b9f9eb" 174 }, 175 { 176 "label": "check-adds-600", 177 "cases": 24, 178 "input_sha256": "d237d5dbd9a8a57460bf30bd73bc5a9fdd808286eda00578e1ae4def8a8cc8cf", 179 "output_sha256": "d0aef36541059ddf2f4709498cfeb3eeef33c54b299a649eb54b2d9bebcd2559" 180 }, 181 { 182 "label": "check-adds-624", 183 "cases": 24, 184 "input_sha256": "a308fe36f9b98e6206cf9564129445cb7fe19c6c36aa15fa8053a01c88b31ebe", 185 "output_sha256": "b8af63f85f82f78ff785024539cb02acb70b7265cc602e10ecc1ee4dd5ecc2fa" 186 }, 187 { 188 "label": "check-adds-648", 189 "cases": 24, 190 "input_sha256": "844a85aba4c485dfe3c97ed2b935db01d45fa5aca627e2f3aa3b2f680bc7eef1", 191 "output_sha256": "f166a5152ce5b2576aa391d5631f5abb7c29523489d17958d49e2ce9018219e1" 192 }, 193 { 194 "label": "check-adds-672", 195 "cases": 24, 196 "input_sha256": "fd37644fe62878b5bd10c6a84103f36eafe936af84b0e2048e5151ae344a18cf", 197 "output_sha256": "1d9cf94096e317c3c9eecfabe31a80ba6e2209d332a5bf61c6e6a74e308fe9ad" 198 }, 199 { 200 "label": "check-adds-696", 201 "cases": 24, 202 "input_sha256": "55ed47411de253089b4da07adc222768b9062e18cc505f8fd0b7e68dcedded59", 203 "output_sha256": "fd02d1297ee4b3458a6889506f2e7a94a8a2a6088daaa4514aaa415c236d9b64" 204 }, 205 { 206 "label": "check-adds-720", 207 "cases": 24, 208 "input_sha256": "9baa84de99f30f418a63c8cb714c72e91ab7a6dff4d1e8fb7f53f029de95ce8d", 209 "output_sha256": "f863296b1c3b436e1b1d8c962b79211fa120d739adb0a0a0db06c1c6d159a970" 210 }, 211 { 212 "label": "check-adds-744", 213 "cases": 24, 214 "input_sha256": "3d4486a8473379b0ba451537f58eac53bea980e6fc96c0b1315e2bb4d737a850", 215 "output_sha256": "eacf0bf925736cb681b6bde2645701fb4e4b9005cc92c05c23bc4f4e3f80755a" 216 }, 217 { 218 "label": "check-adds-768", 219 "cases": 24, 220 "input_sha256": "a9d5956f24cf83e784bc316957e1411551b22f17167bd41cf962f69a07e0394b", 221 "output_sha256": "ac0edf69e52a62a898f3eace27c2aef336c97f7775765950446dbd2c4bd6f63b" 222 }, 223 { 224 "label": "check-adds-792", 225 "cases": 24, 226 "input_sha256": "b37d8a24d6252125e6e33ac6a8313f53bfaed04cdf417f31c7bd1bee790cfc78", 227 "output_sha256": "8983f515041ab391098ceb6627d097338e0e0589ae713c81f69503e34c1504b2" 228 }, 229 { 230 "label": "check-adds-816", 231 "cases": 24, 232 "input_sha256": "19a68d79fd77385927e67b22e9c3bb11d155db2db63817297e4c345e0409578e", 233 "output_sha256": "b6ff2e49884a56ee74fc728d660319317fcf91c0c3e8562c21e86642ff0507cd" 234 }, 235 { 236 "label": "check-adds-840", 237 "cases": 24, 238 "input_sha256": "82bb908704ad10caab5626d9a271c226e795fd518fb1fc1d19e7a0d3124ff96e", 239 "output_sha256": "6fe82fd40dddf159b418e79e85a71d150757c3ebc2f82bd76b8162ae489d7428" 240 }, 241 { 242 "label": "check-adds-864", 243 "cases": 24, 244 "input_sha256": "47d20e91b4542acb0605b53d119f4684fa1177ad195187974e3b900f372d1508", 245 "output_sha256": "2a07f89312bca1b2cedc7ef9f4dd160bd319fbc0ebb799a169adb731f2e9940e" 246 }, 247 { 248 "label": "check-adds-888", 249 "cases": 24, 250 "input_sha256": "1e0266700999b183e0ba83fbef20df879acfbb0b9d99d92ba156815ec6fb942a", 251 "output_sha256": "38aa59f68ded993fcb2b6d2613bc3bf00b229bae35e2298b401bcf88bef2d623" 252 }, 253 { 254 "label": "check-adds-912", 255 "cases": 24, 256 "input_sha256": "1330bb6f577aef5cfb985a5c70ce95b4ff512e58371d8aed1afe55d3891aa2cc", 257 "output_sha256": "bb5dab288cab1739b09127abb514a46b172eeb59227eba52d7ca6e904ba81549" 258 }, 259 { 260 "label": "check-adds-936", 261 "cases": 24, 262 "input_sha256": "9237c63a7b25a98fc919748d5eaea507582f87d5dcca96abac0b0750f7fd9679", 263 "output_sha256": "0b84d2ec5f2ee2575608ab675909d9c9ce296db04b80b72476ccb1cc59f87401" 264 }, 265 { 266 "label": "check-adds-960", 267 "cases": 24, 268 "input_sha256": "462dd7d6f89e482486d2268942db2d7811a65b23a1779ef152a61326f707df3b", 269 "output_sha256": "347ea1beace98b2b1631d83b7dfa14045b9904542c82bc96f70fb6daf731ccef" 270 }, 271 { 272 "label": "check-adds-984", 273 "cases": 24, 274 "input_sha256": "6acbadd9635995c542d3aa01970ebab69fb784dff58a1dbea6d5cc8821b39053", 275 "output_sha256": "7dd5befcf2a69b7147425181ea71a60c3570fce2398279e1c68a0eec1f67d955" 276 }, 277 { 278 "label": "check-adds-1008", 279 "cases": 24, 280 "input_sha256": "c1811750d10222dfe84e3ad9da687df2bb69608ee21ce33f94aff845f75ae37c", 281 "output_sha256": "7dd5befcf2a69b7147425181ea71a60c3570fce2398279e1c68a0eec1f67d955" 282 }, 283 { 284 "label": "check-adds-1032", 285 "cases": 24, 286 "input_sha256": "58414d18d6528abd0420291b6075f9e62b9bb2fe13f79993ebdc0ffc619cce9e", 287 "output_sha256": "7dd5befcf2a69b7147425181ea71a60c3570fce2398279e1c68a0eec1f67d955" 288 }, 289 { 290 "label": "check-adds-1056", 291 "cases": 24, 292 "input_sha256": "eac707f94e35561276c5e0fcf1448157d7c8ab4d72366592fb3c187e8c4e2956", 293 "output_sha256": "7dd5befcf2a69b7147425181ea71a60c3570fce2398279e1c68a0eec1f67d955" 294 }, 295 { 296 "label": "check-adds-1080", 297 "cases": 24, 298 "input_sha256": "09fcba9bb4656e3c893a129f51c735416520a2a1bccfbaf6df0f924eb7cd0174", 299 "output_sha256": "7dd5befcf2a69b7147425181ea71a60c3570fce2398279e1c68a0eec1f67d955" 300 }, 301 { 302 "label": "check-adds-1104", 303 "cases": 24, 304 "input_sha256": "a780357db68c33c47005400e8d0ff843e55d6c80bc6ba277eae2192d89229418", 305 "output_sha256": "7dd5befcf2a69b7147425181ea71a60c3570fce2398279e1c68a0eec1f67d955" 306 }, 307 { 308 "label": "check-adds-1128", 309 "cases": 24, 310 "input_sha256": "0f070d890922f6490bcf36b98df053eaaab9aebf86ab31dfc3e392d8e4a2bd12", 311 "output_sha256": "7dd5befcf2a69b7147425181ea71a60c3570fce2398279e1c68a0eec1f67d955" 312 }, 313 { 314 "label": "check-adds-1152", 315 "cases": 24, 316 "input_sha256": "724551b09a6b02939ca9e43b41446c1e7766d2956449843971e4fb1f0d6da295", 317 "output_sha256": "cf83b72e12750803726349204a10bc0d90a85c3f1754bde4983f24dab1b0a3d3" 318 }, 319 { 320 "label": "check-adds-1176", 321 "cases": 24, 322 "input_sha256": "4ed2ea9ad3050133b531345cf96e2b666c1804c694287adecf57425151986a48", 323 "output_sha256": "2db54143797f005973bfaf053f643f21a85363770d0763356fd90343c29f29f6" 324 }, 325 { 326 "label": "check-adds-1200", 327 "cases": 24, 328 "input_sha256": "5d3bf68e665e6fb3160715edbd47da717b5f850cf0a6a147e92c1242f6936685", 329 "output_sha256": "d0b421135474459ea62c0ca8f253aff0976f94b123ac4d59c20d05e546169749" 330 }, 331 { 332 "label": "check-adds-1224", 333 "cases": 24, 334 "input_sha256": "c90383b4bd38b2b8b277832e08f7f07eb8f872841afd120e0a8de857ddc96e6b", 335 "output_sha256": "f1cfcc389471b470b69f9e137c9c8ec0191ba91aa06e5522580e5eb3421c9847" 336 }, 337 { 338 "label": "check-adds-1248", 339 "cases": 24, 340 "input_sha256": "aa7e7dabb1a771d60f20100401c2a3ec9ef75ef75b03e3c621c67c3cad5a56cc", 341 "output_sha256": "d897774bf84a2d40e6e82bddcc4142a6f21c77e40346e1cd7084f59efc608382" 342 }, 343 { 344 "label": "check-adds-1272", 345 "cases": 24, 346 "input_sha256": "fe22a85d0cb82d4e88a0140c5e840f73d4925631b5f6eb546e1e67e4d5131dae", 347 "output_sha256": "7f018e278f6c453b49c91e954e9e6b2fb759990d8873d870997f5d7b1d8bbaa0" 348 }, 349 { 350 "label": "check-adds-1296", 351 "cases": 24, 352 "input_sha256": "981c0079711c23f5249059784cd8c7cc809617a78ec2fae48011319db9a5bc2b", 353 "output_sha256": "5953b05a94192b9c7096f0b41d1db0b154e943c63b0144b77ca024eb4e3b025b" 354 }, 355 { 356 "label": "check-adds-1320", 357 "cases": 24, 358 "input_sha256": "14dfd7656a35e185b5ff063e832a568c2a56244eddb73992abb33029bc9775b4", 359 "output_sha256": "d1ae0ec7b3dc349c92716bc83f8c77bb847a24f1ca5cd9d0b639de150ac353e9" 360 }, 361 { 362 "label": "check-adds-1344", 363 "cases": 9, 364 "input_sha256": "555f62dfab17e08e574434c3962028a247653d568da5d823aed67d14d39017f5", 365 "output_sha256": "e55558d33f82f2682bed502d32d00e227e714836e3aa1dd57b30261204fcd089" 366 }, 367 { 368 "label": "check-subtracts-0", 369 "cases": 24, 370 "input_sha256": "c8ed30aee69c019fbdc429ec561518cdf316f02ddecd44b866954742b43ce934", 371 "output_sha256": "cb9512457696bbd718edaece6679e16e07133646d609372bff817d0404043dcb" 372 }, 373 { 374 "label": "check-subtracts-24", 375 "cases": 24, 376 "input_sha256": "d2298a0d742c7005cd32fae789bfbdaa7cd09b64bbf868321680d359de0c18f4", 377 "output_sha256": "2d68bf397d503a6d90a213191be0a00410a1c4f2da6983add9f9b292ae21f0f2" 378 }, 379 { 380 "label": "check-subtracts-48", 381 "cases": 24, 382 "input_sha256": "23673f23bfcfef7264eb53aa30e2ec56bf2201da611cdde9d6265df4c009a20d", 383 "output_sha256": "2d68bf397d503a6d90a213191be0a00410a1c4f2da6983add9f9b292ae21f0f2" 384 }, 385 { 386 "label": "check-subtracts-72", 387 "cases": 24, 388 "input_sha256": "cfffe6eb6ece942eac59344f1a00b94d080785c635abdbc8e64c39a95315c3fb", 389 "output_sha256": "cb9512457696bbd718edaece6679e16e07133646d609372bff817d0404043dcb" 390 }, 391 { 392 "label": "check-subtracts-96", 393 "cases": 24, 394 "input_sha256": "ab5f23b6fcec33b85c63e3195c58be6e64c3e77b68cc3b433e619f01551451fb", 395 "output_sha256": "2d68bf397d503a6d90a213191be0a00410a1c4f2da6983add9f9b292ae21f0f2" 396 }, 397 { 398 "label": "check-subtracts-120", 399 "cases": 24, 400 "input_sha256": "f5c450a234abe4dee7344ff0e4281a0029261cb4d728c4d9b79ebba0efedfa59", 401 "output_sha256": "2d68bf397d503a6d90a213191be0a00410a1c4f2da6983add9f9b292ae21f0f2" 402 }, 403 { 404 "label": "check-subtracts-144", 405 "cases": 24, 406 "input_sha256": "cb3346252ac0e3875d4e165ba50347b09d38f40c58dc1a6e767ee8199534e043", 407 "output_sha256": "2d68bf397d503a6d90a213191be0a00410a1c4f2da6983add9f9b292ae21f0f2" 408 }, 409 { 410 "label": "check-subtracts-168", 411 "cases": 24, 412 "input_sha256": "ebd98547ec69ed4262626c470bd2b53654cd1f3154a39c7a3c2885bf4851cdd6", 413 "output_sha256": "262d2be1bb4bd7d4dfbfd7e27defee3283cd174dad734a54e069143d80d0a59a" 414 }, 415 { 416 "label": "check-subtracts-192", 417 "cases": 24, 418 "input_sha256": "64b199b4279bf7541b980c85779c203b702b2b889d7ce7c8f0b5e6febc36e77c", 419 "output_sha256": "0fb236723a2cde529186a245c20332bab1a5c26fb6747be292ae2a7456669257" 420 }, 421 { 422 "label": "check-subtracts-216", 423 "cases": 24, 424 "input_sha256": "5c2adf40a085f2303d153f828a4cf7fd24ec786c779580c5986cea718dafd003", 425 "output_sha256": "640558b2231381544242136035d8fbdde2f7e194afe12686359e39d6827ab0fc" 426 }, 427 { 428 "label": "check-subtracts-240", 429 "cases": 24, 430 "input_sha256": "a4de6ad12269f205925d1c2cd4a586767803e378862525d230cb9059c4731203", 431 "output_sha256": "a2061d78d3ea0358352b86d8432025a76a2c39096c34ec996761cfece5834fea" 432 }, 433 { 434 "label": "check-subtracts-264", 435 "cases": 24, 436 "input_sha256": "ea2988761e158fbbcd1151ce9b55d26a7a25c0a819ebff2a726ea7385312f5b2", 437 "output_sha256": "2cba7edf7e72f8c63cb666692442ba4292d62e58458e6c50d08e6fc1320eadec" 438 }, 439 { 440 "label": "check-subtracts-288", 441 "cases": 24, 442 "input_sha256": "562ead70f8d229c29f4be293f2eface6dd2cf0389a6805043746b58ef64b3faf", 443 "output_sha256": "e6b6d064558dda123a5f03315ea7388a8b69f6456f722e9704b54b06819eb71c" 444 }, 445 { 446 "label": "check-subtracts-312", 447 "cases": 24, 448 "input_sha256": "cf5a9152a17a7146d37961beadc19cadc6c6dcdc8a0e16663d046d3eaf4437a9", 449 "output_sha256": "5105ecd2f5788b7debe2096719b9c591a5182724289716072f45eb627d74d5e1" 450 }, 451 { 452 "label": "check-subtracts-336", 453 "cases": 24, 454 "input_sha256": "7681f03b2f65ffba45f03355b6aae3c6d2fbc669eab53c4412b8c3f22371e2c4", 455 "output_sha256": "89b2cc83eec95697fea9e360efae409773634540fd4de343b54e20cb4c8332b5" 456 }, 457 { 458 "label": "check-subtracts-360", 459 "cases": 24, 460 "input_sha256": "7d30d24c4d7aa43e2c67fe639cc3eb22c38a1d28342cf4a39c7da2952e2c9d1b", 461 "output_sha256": "f64c92d02862708c912b153dc58fb23234691bc076146f44e1eec7c406c05a60" 462 }, 463 { 464 "label": "check-subtracts-384", 465 "cases": 24, 466 "input_sha256": "a00326c87b20b038b7a887fb37a2997e8d030672586b31741d474fcc876d2b67", 467 "output_sha256": "2802006be11da2004adb7f7a39cc588e39e9e54cdc94860d265bf7603a3a39ff" 468 }, 469 { 470 "label": "check-subtracts-408", 471 "cases": 24, 472 "input_sha256": "b039302c4b36fe13fbe8f314f53b799961af75a106c5d06c6cc4d9e64198c1b9", 473 "output_sha256": "51876d5bf7b3b15ab706f359172573f185ce92f3d9fba21645e7a851f3df6d2b" 474 }, 475 { 476 "label": "check-subtracts-432", 477 "cases": 24, 478 "input_sha256": "0765928251eed22adbd3068b9a302f8cf7f5b4265aab8f3e4aff9a4580a07a75", 479 "output_sha256": "17f9bb2e97e2cc81d5ed446bfaa4b6be9473bcbc438f0488c0cf70ce1d153b1e" 480 }, 481 { 482 "label": "check-subtracts-456", 483 "cases": 24, 484 "input_sha256": "f02883172753ed1abb1cf867e7d28c440c9e88d9cdbd620217565255b0d392d0", 485 "output_sha256": "2446e47c3fc6be29104b80525afc445121b677cfe2734f25cfa83192ea32827c" 486 }, 487 { 488 "label": "check-subtracts-480", 489 "cases": 24, 490 "input_sha256": "91099e72fa9b9b4ca6aa4376e61c4600fe8cc0d0a5956ad554915db527bbf05b", 491 "output_sha256": "24e666743d25b382feaa0d781029ad98bdfa9ea53cac2e7ff0247a833b08103e" 492 }, 493 { 494 "label": "check-subtracts-504", 495 "cases": 24, 496 "input_sha256": "b00f368e8d6587269bc969c1c622e7a72fa1288124c40b08ec197d9a57dfb1ed", 497 "output_sha256": "5d373655ba3e78d67d385ff17dca23ed58ff2ea8ecd9ccd023b4e57e29b50c38" 498 }, 499 { 500 "label": "check-subtracts-528", 501 "cases": 24, 502 "input_sha256": "06d0e333e0e973186a207a77c3d516c24b10db8daaca4fd04a437d332a109369", 503 "output_sha256": "ff0add6b9f089efd77b8b06dee6fc65cd0e772dedcb717b9abccc5ec2dab873f" 504 }, 505 { 506 "label": "check-subtracts-552", 507 "cases": 24, 508 "input_sha256": "eb9ac4abc036a6fee4926d5566fb2831ada82fea21f8d5e43db603906db8c0c3", 509 "output_sha256": "56f70abe7fec07cdc3961c746daff4b3144b023e9eacd53fab7a142916afc20c" 510 }, 511 { 512 "label": "check-subtracts-576", 513 "cases": 24, 514 "input_sha256": "6a8ddc341daaba5977a311e20f9377fcc9ff051c888af8dc5e4a09157c17b2d0", 515 "output_sha256": "815c2711a0b27ba842735f3e7dcde970dfa7dab59bd8e642432fe5d2d65c7fcd" 516 }, 517 { 518 "label": "check-subtracts-600", 519 "cases": 24, 520 "input_sha256": "d237d5dbd9a8a57460bf30bd73bc5a9fdd808286eda00578e1ae4def8a8cc8cf", 521 "output_sha256": "3103a735f66e36c2ca5f78da7a2e27a5c801608d145420f20e9af8d4ec5c8201" 522 }, 523 { 524 "label": "check-subtracts-624", 525 "cases": 24, 526 "input_sha256": "a308fe36f9b98e6206cf9564129445cb7fe19c6c36aa15fa8053a01c88b31ebe", 527 "output_sha256": "b8af63f85f82f78ff785024539cb02acb70b7265cc602e10ecc1ee4dd5ecc2fa" 528 }, 529 { 530 "label": "check-subtracts-648", 531 "cases": 24, 532 "input_sha256": "844a85aba4c485dfe3c97ed2b935db01d45fa5aca627e2f3aa3b2f680bc7eef1", 533 "output_sha256": "b986054266b06eec423497bf1c311dab3a5acd0772ef196e31193c998ad401ab" 534 }, 535 { 536 "label": "check-subtracts-672", 537 "cases": 24, 538 "input_sha256": "fd37644fe62878b5bd10c6a84103f36eafe936af84b0e2048e5151ae344a18cf", 539 "output_sha256": "66bced8d4a76e6b4b9b8737e455c98ad43fe4c8a407a15b1aeb0b71e05a7ece6" 540 }, 541 { 542 "label": "check-subtracts-696", 543 "cases": 24, 544 "input_sha256": "55ed47411de253089b4da07adc222768b9062e18cc505f8fd0b7e68dcedded59", 545 "output_sha256": "295e576eea4f4201dbfadeeb381d6ac5a8a1b42bf7afad35535311d988cd311c" 546 }, 547 { 548 "label": "check-subtracts-720", 549 "cases": 24, 550 "input_sha256": "9baa84de99f30f418a63c8cb714c72e91ab7a6dff4d1e8fb7f53f029de95ce8d", 551 "output_sha256": "f863296b1c3b436e1b1d8c962b79211fa120d739adb0a0a0db06c1c6d159a970" 552 }, 553 { 554 "label": "check-subtracts-744", 555 "cases": 24, 556 "input_sha256": "3d4486a8473379b0ba451537f58eac53bea980e6fc96c0b1315e2bb4d737a850", 557 "output_sha256": "72ad8c0b76bffdeaeab666aec081959a76b5e3d9cabd0cc9a6a19fe3575dac45" 558 }, 559 { 560 "label": "check-subtracts-768", 561 "cases": 24, 562 "input_sha256": "a9d5956f24cf83e784bc316957e1411551b22f17167bd41cf962f69a07e0394b", 563 "output_sha256": "d19ff6fbf18efb7187c553924ed7c1a59ba0572b43d86a649da3cdf9c2e4eba9" 564 }, 565 { 566 "label": "check-subtracts-792", 567 "cases": 24, 568 "input_sha256": "b37d8a24d6252125e6e33ac6a8313f53bfaed04cdf417f31c7bd1bee790cfc78", 569 "output_sha256": "0562f550286fdd0b3b4c9e366ab6809f7b2f822d915602c6e952dbffa9c10dc4" 570 }, 571 { 572 "label": "check-subtracts-816", 573 "cases": 24, 574 "input_sha256": "19a68d79fd77385927e67b22e9c3bb11d155db2db63817297e4c345e0409578e", 575 "output_sha256": "b6ff2e49884a56ee74fc728d660319317fcf91c0c3e8562c21e86642ff0507cd" 576 }, 577 { 578 "label": "check-subtracts-840", 579 "cases": 24, 580 "input_sha256": "82bb908704ad10caab5626d9a271c226e795fd518fb1fc1d19e7a0d3124ff96e", 581 "output_sha256": "6fe82fd40dddf159b418e79e85a71d150757c3ebc2f82bd76b8162ae489d7428" 582 }, 583 { 584 "label": "check-subtracts-864", 585 "cases": 24, 586 "input_sha256": "47d20e91b4542acb0605b53d119f4684fa1177ad195187974e3b900f372d1508", 587 "output_sha256": "394944931fece65e8610f48e094fd7047880530112b0742966f2c81ffe175a22" 588 }, 589 { 590 "label": "check-subtracts-888", 591 "cases": 24, 592 "input_sha256": "1e0266700999b183e0ba83fbef20df879acfbb0b9d99d92ba156815ec6fb942a", 593 "output_sha256": "7afa9c12eeb4eb821ee3a86b6ce639e6e59244b8335a0582778dd0ffce417dcc" 594 }, 595 { 596 "label": "check-subtracts-912", 597 "cases": 24, 598 "input_sha256": "1330bb6f577aef5cfb985a5c70ce95b4ff512e58371d8aed1afe55d3891aa2cc", 599 "output_sha256": "bb5dab288cab1739b09127abb514a46b172eeb59227eba52d7ca6e904ba81549" 600 }, 601 { 602 "label": "check-subtracts-936", 603 "cases": 24, 604 "input_sha256": "9237c63a7b25a98fc919748d5eaea507582f87d5dcca96abac0b0750f7fd9679", 605 "output_sha256": "0b84d2ec5f2ee2575608ab675909d9c9ce296db04b80b72476ccb1cc59f87401" 606 }, 607 { 608 "label": "check-subtracts-960", 609 "cases": 24, 610 "input_sha256": "462dd7d6f89e482486d2268942db2d7811a65b23a1779ef152a61326f707df3b", 611 "output_sha256": "48b9d47abe6eab6c8b2615272716ccc4dcd1e172924ae7a50228c9bea1a21abc" 612 }, 613 { 614 "label": "check-subtracts-984", 615 "cases": 24, 616 "input_sha256": "6acbadd9635995c542d3aa01970ebab69fb784dff58a1dbea6d5cc8821b39053", 617 "output_sha256": "bf4bf168da4e54ff45dae2a834a9b40e3dde6b547d503ae4182c95570161033b" 618 }, 619 { 620 "label": "check-subtracts-1008", 621 "cases": 24, 622 "input_sha256": "c1811750d10222dfe84e3ad9da687df2bb69608ee21ce33f94aff845f75ae37c", 623 "output_sha256": "7dd5befcf2a69b7147425181ea71a60c3570fce2398279e1c68a0eec1f67d955" 624 }, 625 { 626 "label": "check-subtracts-1032", 627 "cases": 24, 628 "input_sha256": "58414d18d6528abd0420291b6075f9e62b9bb2fe13f79993ebdc0ffc619cce9e", 629 "output_sha256": "7dd5befcf2a69b7147425181ea71a60c3570fce2398279e1c68a0eec1f67d955" 630 }, 631 { 632 "label": "check-subtracts-1056", 633 "cases": 24, 634 "input_sha256": "eac707f94e35561276c5e0fcf1448157d7c8ab4d72366592fb3c187e8c4e2956", 635 "output_sha256": "4753c95d2ffc45481e18c3dd9aab5862f5f0eed71fd8ebe7d87abf3c47896280" 636 }, 637 { 638 "label": "check-subtracts-1080", 639 "cases": 24, 640 "input_sha256": "09fcba9bb4656e3c893a129f51c735416520a2a1bccfbaf6df0f924eb7cd0174", 641 "output_sha256": "7dd5befcf2a69b7147425181ea71a60c3570fce2398279e1c68a0eec1f67d955" 642 }, 643 { 644 "label": "check-subtracts-1104", 645 "cases": 24, 646 "input_sha256": "a780357db68c33c47005400e8d0ff843e55d6c80bc6ba277eae2192d89229418", 647 "output_sha256": "7dd5befcf2a69b7147425181ea71a60c3570fce2398279e1c68a0eec1f67d955" 648 }, 649 { 650 "label": "check-subtracts-1128", 651 "cases": 24, 652 "input_sha256": "0f070d890922f6490bcf36b98df053eaaab9aebf86ab31dfc3e392d8e4a2bd12", 653 "output_sha256": "7dd5befcf2a69b7147425181ea71a60c3570fce2398279e1c68a0eec1f67d955" 654 }, 655 { 656 "label": "check-subtracts-1152", 657 "cases": 24, 658 "input_sha256": "724551b09a6b02939ca9e43b41446c1e7766d2956449843971e4fb1f0d6da295", 659 "output_sha256": "cf83b72e12750803726349204a10bc0d90a85c3f1754bde4983f24dab1b0a3d3" 660 }, 661 { 662 "label": "check-subtracts-1176", 663 "cases": 24, 664 "input_sha256": "4ed2ea9ad3050133b531345cf96e2b666c1804c694287adecf57425151986a48", 665 "output_sha256": "e9192c9d7e83aa2dc9cddea90771284b874b5f11f163869f02461cbb625d951e" 666 }, 667 { 668 "label": "check-subtracts-1200", 669 "cases": 24, 670 "input_sha256": "5d3bf68e665e6fb3160715edbd47da717b5f850cf0a6a147e92c1242f6936685", 671 "output_sha256": "d3480044157231b46c4fb3848a76ae19cf075a89956b53617c19441c43642178" 672 }, 673 { 674 "label": "check-subtracts-1224", 675 "cases": 24, 676 "input_sha256": "c90383b4bd38b2b8b277832e08f7f07eb8f872841afd120e0a8de857ddc96e6b", 677 "output_sha256": "6c48ea61d7448d85ba0e9602a804553e7c39cdfab555a60b3e5a3995f5e98a01" 678 }, 679 { 680 "label": "check-subtracts-1248", 681 "cases": 24, 682 "input_sha256": "aa7e7dabb1a771d60f20100401c2a3ec9ef75ef75b03e3c621c67c3cad5a56cc", 683 "output_sha256": "d897774bf84a2d40e6e82bddcc4142a6f21c77e40346e1cd7084f59efc608382" 684 }, 685 { 686 "label": "check-subtracts-1272", 687 "cases": 24, 688 "input_sha256": "fe22a85d0cb82d4e88a0140c5e840f73d4925631b5f6eb546e1e67e4d5131dae", 689 "output_sha256": "7f018e278f6c453b49c91e954e9e6b2fb759990d8873d870997f5d7b1d8bbaa0" 690 }, 691 { 692 "label": "check-subtracts-1296", 693 "cases": 24, 694 "input_sha256": "981c0079711c23f5249059784cd8c7cc809617a78ec2fae48011319db9a5bc2b", 695 "output_sha256": "5953b05a94192b9c7096f0b41d1db0b154e943c63b0144b77ca024eb4e3b025b" 696 }, 697 { 698 "label": "check-subtracts-1320", 699 "cases": 24, 700 "input_sha256": "14dfd7656a35e185b5ff063e832a568c2a56244eddb73992abb33029bc9775b4", 701 "output_sha256": "d1ae0ec7b3dc349c92716bc83f8c77bb847a24f1ca5cd9d0b639de150ac353e9" 702 }, 703 { 704 "label": "check-subtracts-1344", 705 "cases": 9, 706 "input_sha256": "555f62dfab17e08e574434c3962028a247653d568da5d823aed67d14d39017f5", 707 "output_sha256": "e55558d33f82f2682bed502d32d00e227e714836e3aa1dd57b30261204fcd089" 708 }, 709 { 710 "label": "check-surrogateAdds-0", 711 "cases": 24, 712 "input_sha256": "95a807e0dc6660412717784f6e4410cad0a510b186a1a631d432e07657a54896", 713 "output_sha256": "2d68bf397d503a6d90a213191be0a00410a1c4f2da6983add9f9b292ae21f0f2" 714 }, 715 { 716 "label": "check-surrogateAdds-24", 717 "cases": 24, 718 "input_sha256": "65360713a700ef506cd9b31857cb0a4ca3f21c25b521b7c8280ec4b1f731d694", 719 "output_sha256": "2d68bf397d503a6d90a213191be0a00410a1c4f2da6983add9f9b292ae21f0f2" 720 }, 721 { 722 "label": "check-surrogateAdds-48", 723 "cases": 24, 724 "input_sha256": "63a4571983d2bd3a07d26a5ab1f68d86eb1b893f27325c4e665563fbad16663a", 725 "output_sha256": "2d68bf397d503a6d90a213191be0a00410a1c4f2da6983add9f9b292ae21f0f2" 726 }, 727 { 728 "label": "check-surrogateAdds-72", 729 "cases": 24, 730 "input_sha256": "ae40cd0e481dc4a2d734f93762f34162102ef219cefedf0a5583a5b9c85414d0", 731 "output_sha256": "2d68bf397d503a6d90a213191be0a00410a1c4f2da6983add9f9b292ae21f0f2" 732 }, 733 { 734 "label": "check-surrogateAdds-96", 735 "cases": 24, 736 "input_sha256": "51d2d78c0289e1e44355ceb6ddab68cc3263d810a00026f5d83d49b6c2866821", 737 "output_sha256": "c6e8df0892c55faa7753b7c818d395f3b51c79dbf1a0cc8fb0b0c98ef2d24906" 738 }, 739 { 740 "label": "check-surrogateAdds-120", 741 "cases": 24, 742 "input_sha256": "36c3069e40654152be472773832239fc494e34876cbc31274ba03b10ae9e85bd", 743 "output_sha256": "87b73fb4dec6fb26953d633729d2f78689ef612352637433366d8017e3341d3e" 744 }, 745 { 746 "label": "check-surrogateAdds-144", 747 "cases": 24, 748 "input_sha256": "41c36141e32079941ef7f4a2173ec9f2c2652fc4b78381f244736e0459f727b1", 749 "output_sha256": "36964ca4569788f07bffe4791b272472529a922813a90f659474b91e2fd1db7c" 750 }, 751 { 752 "label": "check-surrogateAdds-168", 753 "cases": 24, 754 "input_sha256": "90f170b9b8ed623bd9859c0876a6389f11707aaac83993154fb67c60b581b49c", 755 "output_sha256": "71099f91158b60952e2543eb1cd8c25dd37b8385f37c44b1d9eb32e9d5a9cb65" 756 }, 757 { 758 "label": "check-surrogateAdds-192", 759 "cases": 24, 760 "input_sha256": "9c25c1a534379daeb7ca5e29253740335089076ad4b67b871a32a29a2ac2da3a", 761 "output_sha256": "4bf0cd0f10af9bf92758bf3b2d4870b3189b7da4fb4777aa6910bd08bc6a430c" 762 }, 763 { 764 "label": "check-surrogateAdds-216", 765 "cases": 24, 766 "input_sha256": "37d294e7ea10fcb0b787dfa20a2509e55fc7cea9b930d941725a27dba79a48f2", 767 "output_sha256": "1bd039d47c62f4b573beae844af3825e68079df8d8d99deba80d3d427adb3d34" 768 }, 769 { 770 "label": "check-surrogateAdds-240", 771 "cases": 24, 772 "input_sha256": "5ca745115948e8e46dd58e0a6c53ad3a39ebdacad444c07ec2d2e50007d5bda2", 773 "output_sha256": "74c0808724d81e35d9d9d4c0f66a07e348b28c79d2eefe2b1630dcd55de9e5e9" 774 }, 775 { 776 "label": "check-surrogateAdds-264", 777 "cases": 24, 778 "input_sha256": "9048928071f031616e6c394672e468dcc485d6a1eecc54b3cdc954052f8a08e4", 779 "output_sha256": "93d44ceb97a14c106726bbc9a339790d7aa8f9a923d6c6955fb74cd04a22c5c0" 780 }, 781 { 782 "label": "check-surrogateAdds-288", 783 "cases": 24, 784 "input_sha256": "bb65df5a8c9472cd847d1de3f432bcbf635251e155a7ce346cf332f3835ac9ca", 785 "output_sha256": "5d373655ba3e78d67d385ff17dca23ed58ff2ea8ecd9ccd023b4e57e29b50c38" 786 }, 787 { 788 "label": "check-surrogateAdds-312", 789 "cases": 24, 790 "input_sha256": "85921c0d49065ec88eccafbe789c59c1700cb4bdc68a35fb9a2c0156d532a3f1", 791 "output_sha256": "007440120dad7f586a4b4495c2669bcf5b1367ce37637b19ffe8be98c8c23a16" 792 }, 793 { 794 "label": "check-surrogateAdds-336", 795 "cases": 24, 796 "input_sha256": "a308fe36f9b98e6206cf9564129445cb7fe19c6c36aa15fa8053a01c88b31ebe", 797 "output_sha256": "b8af63f85f82f78ff785024539cb02acb70b7265cc602e10ecc1ee4dd5ecc2fa" 798 }, 799 { 800 "label": "check-surrogateAdds-360", 801 "cases": 24, 802 "input_sha256": "5c4537f21aaf08d500909eeb01e0a4f28f97d02d993292f7238208dd1e4edae1", 803 "output_sha256": "ee836a89960b94f256b6b8853c3ccd708e902320d8218ee6af6cd198be2eee51" 804 }, 805 { 806 "label": "check-surrogateAdds-384", 807 "cases": 24, 808 "input_sha256": "d41111f21fc6fdff3ab262c868954b3ffe530f6d739d11c77119984e38075926", 809 "output_sha256": "cc126fdaf0f8a4cd8917968cfb668691135253238e995453c1eb949681f087ea" 810 }, 811 { 812 "label": "check-surrogateAdds-408", 813 "cases": 24, 814 "input_sha256": "dd7502180c2b316aa328a2036c7535fef61acd7906f7036104054783728c3153", 815 "output_sha256": "f845177c958fb2d7c9007a0fbde7a7441c69d6539e908f5a2aac2dc279fe84a3" 816 }, 817 { 818 "label": "check-surrogateAdds-432", 819 "cases": 24, 820 "input_sha256": "9ebafdc3f493b83c72c29df014739a7dcd325daf298f59094be2aa98ed29c016", 821 "output_sha256": "667fd2d88eccf9268bda1103509096860c43d3c15ac321294d161ef4a9a6e27e" 822 }, 823 { 824 "label": "check-surrogateAdds-456", 825 "cases": 24, 826 "input_sha256": "f8ff35f9d5bab26275a0cc76d6afd51317823d2b153c71815071e9d52b6cb28a", 827 "output_sha256": "b6ff2e49884a56ee74fc728d660319317fcf91c0c3e8562c21e86642ff0507cd" 828 }, 829 { 830 "label": "check-surrogateAdds-480", 831 "cases": 24, 832 "input_sha256": "d015a31bd2daa5961f1801c298489d28fefdbbfa426e4188f167663f7a1d2cc6", 833 "output_sha256": "179d69c6b1f0880c19161108ab04a8868b49f77860a089f57b386b35e5fbecb2" 834 }, 835 { 836 "label": "check-surrogateAdds-504", 837 "cases": 24, 838 "input_sha256": "ab6a8b8be0faaaf695112ab2c8373375b63b61f6b5e2ddceb180e1e4bead50bd", 839 "output_sha256": "0b84d2ec5f2ee2575608ab675909d9c9ce296db04b80b72476ccb1cc59f87401" 840 }, 841 { 842 "label": "check-surrogateAdds-528", 843 "cases": 24, 844 "input_sha256": "6772572a2d77a7657a9c46ac1d5a438a9003310331cb4591165f151a84388e1c", 845 "output_sha256": "ec672612a4bbbe6db26e809944d4a3d568c4dc2e69569a3d140130e5745a77c0" 846 }, 847 { 848 "label": "check-surrogateAdds-552", 849 "cases": 24, 850 "input_sha256": "30720eeb0d73119aa507945e62a93d1c1072b5375d3176ec56171f28888b5ce6", 851 "output_sha256": "7dd5befcf2a69b7147425181ea71a60c3570fce2398279e1c68a0eec1f67d955" 852 }, 853 { 854 "label": "check-surrogateAdds-576", 855 "cases": 24, 856 "input_sha256": "40be00f080374a898b3a3185193704cafe38398133ab262f39215140c2b41f87", 857 "output_sha256": "7dd5befcf2a69b7147425181ea71a60c3570fce2398279e1c68a0eec1f67d955" 858 }, 859 { 860 "label": "check-surrogateAdds-600", 861 "cases": 24, 862 "input_sha256": "55bfc01e0ff93471861114f5f98111001027f2a1d288dd1bff480ad77844c0dc", 863 "output_sha256": "7dd5befcf2a69b7147425181ea71a60c3570fce2398279e1c68a0eec1f67d955" 864 }, 865 { 866 "label": "check-surrogateAdds-624", 867 "cases": 24, 868 "input_sha256": "757fb29901fb38475750d579f7450f6f9904f006fc465d4cb02a45e23a5ab916", 869 "output_sha256": "7dd5befcf2a69b7147425181ea71a60c3570fce2398279e1c68a0eec1f67d955" 870 }, 871 { 872 "label": "check-surrogateAdds-648", 873 "cases": 24, 874 "input_sha256": "112c9521377bc800c25889f444fbfb4cde45554719a241d08948d79e2bc6c51b", 875 "output_sha256": "963e3b84b0a32265d35126fd5c686f8035324443c3608adc31b59165022cd484" 876 }, 877 { 878 "label": "check-surrogateAdds-672", 879 "cases": 24, 880 "input_sha256": "e4b56861fb3645ee402bfb7d878edf3e605173b7582999cb8ae797b2d599d332", 881 "output_sha256": "3fe262ebab5cdd49f86ef972c9fe9e393ad5e770efdeb5f40190e48f8a23f76a" 882 }, 883 { 884 "label": "check-surrogateAdds-696", 885 "cases": 24, 886 "input_sha256": "065f133231e14f7234099f52620f84b03331a79d7e5f1075176ccc2150df8ff0", 887 "output_sha256": "54fb71834faa123ba197a95d7d77d1631027ad5ddd4cdd288abd01fd58792d78" 888 }, 889 { 890 "label": "check-surrogateAdds-720", 891 "cases": 24, 892 "input_sha256": "9d9e794f360ed9c0317b709f06f0af6470b5c0522025b458087f48c71d4fe50b", 893 "output_sha256": "a754d75b6c369717481558978eb63e1be64280d4d90eb343db732ad9616ac809" 894 }, 895 { 896 "label": "check-surrogateAdds-744", 897 "cases": 24, 898 "input_sha256": "dbceae9ef3d51be2386863541405963999b928cfd8e31aba0cf36ca29311f196", 899 "output_sha256": "a3c887e59e05d0ba0d0e0dd3ed7b19eba6de32a042dbc40edc30457935f3f491" 900 }, 901 { 902 "label": "check-surrogateAdds-768", 903 "cases": 24, 904 "input_sha256": "e362dd1dcc3a4b16467d0aaa7efa58a9f4a66d0e1fe4d983c235ea2bd01fcf62", 905 "output_sha256": "564afdcb556ebc567b627aa79c253f5ff18aeffa24b22cc6f08ceb1721681a26" 906 }, 907 { 908 "label": "check-surrogateAdds-792", 909 "cases": 24, 910 "input_sha256": "0a2d0503242151e47819a0f8548916b5237c1c459127c64697465c3769457b8d", 911 "output_sha256": "a37150d6459f233b2f957d129b5f3ca4049720ebf181d3fd809ddcecb622d789" 912 }, 913 { 914 "label": "check-surrogateAdds-816", 915 "cases": 16, 916 "input_sha256": "662d42ac8af99c6a15c15acb6786e03d1dc9b61ca6e92684a6abc693c7444805", 917 "output_sha256": "3c8ec4668757d97eedf2014c235cac6853ae7af3c0a4f1a5448a6c998c21e86d" 918 }, 919 { 920 "label": "check-surrogateSubtracts-0", 921 "cases": 24, 922 "input_sha256": "95a807e0dc6660412717784f6e4410cad0a510b186a1a631d432e07657a54896", 923 "output_sha256": "2d68bf397d503a6d90a213191be0a00410a1c4f2da6983add9f9b292ae21f0f2" 924 }, 925 { 926 "label": "check-surrogateSubtracts-24", 927 "cases": 24, 928 "input_sha256": "65360713a700ef506cd9b31857cb0a4ca3f21c25b521b7c8280ec4b1f731d694", 929 "output_sha256": "2d68bf397d503a6d90a213191be0a00410a1c4f2da6983add9f9b292ae21f0f2" 930 }, 931 { 932 "label": "check-surrogateSubtracts-48", 933 "cases": 24, 934 "input_sha256": "63a4571983d2bd3a07d26a5ab1f68d86eb1b893f27325c4e665563fbad16663a", 935 "output_sha256": "2d68bf397d503a6d90a213191be0a00410a1c4f2da6983add9f9b292ae21f0f2" 936 }, 937 { 938 "label": "check-surrogateSubtracts-72", 939 "cases": 24, 940 "input_sha256": "ae40cd0e481dc4a2d734f93762f34162102ef219cefedf0a5583a5b9c85414d0", 941 "output_sha256": "2d68bf397d503a6d90a213191be0a00410a1c4f2da6983add9f9b292ae21f0f2" 942 }, 943 { 944 "label": "check-surrogateSubtracts-96", 945 "cases": 24, 946 "input_sha256": "51d2d78c0289e1e44355ceb6ddab68cc3263d810a00026f5d83d49b6c2866821", 947 "output_sha256": "4b75d8f86cd3e4af644c7fc097b154cbe2ca15dc85b3f313ff7ae3a759dab1b4" 948 }, 949 { 950 "label": "check-surrogateSubtracts-120", 951 "cases": 24, 952 "input_sha256": "36c3069e40654152be472773832239fc494e34876cbc31274ba03b10ae9e85bd", 953 "output_sha256": "b0f883a4dce5f4a33b3658e6ce119c00e7fddc0e05007ac616788d1d5c2e4d9f" 954 }, 955 { 956 "label": "check-surrogateSubtracts-144", 957 "cases": 24, 958 "input_sha256": "41c36141e32079941ef7f4a2173ec9f2c2652fc4b78381f244736e0459f727b1", 959 "output_sha256": "9f53608731386b2596e7c68a50cc709551d2d1df42c3ee88864d83ff65251d6f" 960 }, 961 { 962 "label": "check-surrogateSubtracts-168", 963 "cases": 24, 964 "input_sha256": "90f170b9b8ed623bd9859c0876a6389f11707aaac83993154fb67c60b581b49c", 965 "output_sha256": "5105ecd2f5788b7debe2096719b9c591a5182724289716072f45eb627d74d5e1" 966 }, 967 { 968 "label": "check-surrogateSubtracts-192", 969 "cases": 24, 970 "input_sha256": "9c25c1a534379daeb7ca5e29253740335089076ad4b67b871a32a29a2ac2da3a", 971 "output_sha256": "89b2cc83eec95697fea9e360efae409773634540fd4de343b54e20cb4c8332b5" 972 }, 973 { 974 "label": "check-surrogateSubtracts-216", 975 "cases": 24, 976 "input_sha256": "37d294e7ea10fcb0b787dfa20a2509e55fc7cea9b930d941725a27dba79a48f2", 977 "output_sha256": "17f9bb2e97e2cc81d5ed446bfaa4b6be9473bcbc438f0488c0cf70ce1d153b1e" 978 }, 979 { 980 "label": "check-surrogateSubtracts-240", 981 "cases": 24, 982 "input_sha256": "5ca745115948e8e46dd58e0a6c53ad3a39ebdacad444c07ec2d2e50007d5bda2", 983 "output_sha256": "fa8937eff3f29c62eb84842b05b7732db1d2711e5ccf9231f558ea08783eff09" 984 }, 985 { 986 "label": "check-surrogateSubtracts-264", 987 "cases": 24, 988 "input_sha256": "9048928071f031616e6c394672e468dcc485d6a1eecc54b3cdc954052f8a08e4", 989 "output_sha256": "ddad98742beb30d46beba6ce2d6414b405e77c1e94669adf4d132eb7a7bb116c" 990 }, 991 { 992 "label": "check-surrogateSubtracts-288", 993 "cases": 24, 994 "input_sha256": "bb65df5a8c9472cd847d1de3f432bcbf635251e155a7ce346cf332f3835ac9ca", 995 "output_sha256": "5d373655ba3e78d67d385ff17dca23ed58ff2ea8ecd9ccd023b4e57e29b50c38" 996 }, 997 { 998 "label": "check-surrogateSubtracts-312", 999 "cases": 24, 1000 "input_sha256": "85921c0d49065ec88eccafbe789c59c1700cb4bdc68a35fb9a2c0156d532a3f1", 1001 "output_sha256": "007440120dad7f586a4b4495c2669bcf5b1367ce37637b19ffe8be98c8c23a16" 1002 }, 1003 { 1004 "label": "check-surrogateSubtracts-336", 1005 "cases": 24, 1006 "input_sha256": "a308fe36f9b98e6206cf9564129445cb7fe19c6c36aa15fa8053a01c88b31ebe", 1007 "output_sha256": "b8af63f85f82f78ff785024539cb02acb70b7265cc602e10ecc1ee4dd5ecc2fa" 1008 }, 1009 { 1010 "label": "check-surrogateSubtracts-360", 1011 "cases": 24, 1012 "input_sha256": "5c4537f21aaf08d500909eeb01e0a4f28f97d02d993292f7238208dd1e4edae1", 1013 "output_sha256": "ee836a89960b94f256b6b8853c3ccd708e902320d8218ee6af6cd198be2eee51" 1014 }, 1015 { 1016 "label": "check-surrogateSubtracts-384", 1017 "cases": 24, 1018 "input_sha256": "d41111f21fc6fdff3ab262c868954b3ffe530f6d739d11c77119984e38075926", 1019 "output_sha256": "cc126fdaf0f8a4cd8917968cfb668691135253238e995453c1eb949681f087ea" 1020 }, 1021 { 1022 "label": "check-surrogateSubtracts-408", 1023 "cases": 24, 1024 "input_sha256": "dd7502180c2b316aa328a2036c7535fef61acd7906f7036104054783728c3153", 1025 "output_sha256": "f845177c958fb2d7c9007a0fbde7a7441c69d6539e908f5a2aac2dc279fe84a3" 1026 }, 1027 { 1028 "label": "check-surrogateSubtracts-432", 1029 "cases": 24, 1030 "input_sha256": "9ebafdc3f493b83c72c29df014739a7dcd325daf298f59094be2aa98ed29c016", 1031 "output_sha256": "667fd2d88eccf9268bda1103509096860c43d3c15ac321294d161ef4a9a6e27e" 1032 }, 1033 { 1034 "label": "check-surrogateSubtracts-456", 1035 "cases": 24, 1036 "input_sha256": "f8ff35f9d5bab26275a0cc76d6afd51317823d2b153c71815071e9d52b6cb28a", 1037 "output_sha256": "b6ff2e49884a56ee74fc728d660319317fcf91c0c3e8562c21e86642ff0507cd" 1038 }, 1039 { 1040 "label": "check-surrogateSubtracts-480", 1041 "cases": 24, 1042 "input_sha256": "d015a31bd2daa5961f1801c298489d28fefdbbfa426e4188f167663f7a1d2cc6", 1043 "output_sha256": "179d69c6b1f0880c19161108ab04a8868b49f77860a089f57b386b35e5fbecb2" 1044 }, 1045 { 1046 "label": "check-surrogateSubtracts-504", 1047 "cases": 24, 1048 "input_sha256": "ab6a8b8be0faaaf695112ab2c8373375b63b61f6b5e2ddceb180e1e4bead50bd", 1049 "output_sha256": "0b84d2ec5f2ee2575608ab675909d9c9ce296db04b80b72476ccb1cc59f87401" 1050 }, 1051 { 1052 "label": "check-surrogateSubtracts-528", 1053 "cases": 24, 1054 "input_sha256": "6772572a2d77a7657a9c46ac1d5a438a9003310331cb4591165f151a84388e1c", 1055 "output_sha256": "ec672612a4bbbe6db26e809944d4a3d568c4dc2e69569a3d140130e5745a77c0" 1056 }, 1057 { 1058 "label": "check-surrogateSubtracts-552", 1059 "cases": 24, 1060 "input_sha256": "30720eeb0d73119aa507945e62a93d1c1072b5375d3176ec56171f28888b5ce6", 1061 "output_sha256": "7dd5befcf2a69b7147425181ea71a60c3570fce2398279e1c68a0eec1f67d955" 1062 }, 1063 { 1064 "label": "check-surrogateSubtracts-576", 1065 "cases": 24, 1066 "input_sha256": "40be00f080374a898b3a3185193704cafe38398133ab262f39215140c2b41f87", 1067 "output_sha256": "7dd5befcf2a69b7147425181ea71a60c3570fce2398279e1c68a0eec1f67d955" 1068 }, 1069 { 1070 "label": "check-surrogateSubtracts-600", 1071 "cases": 24, 1072 "input_sha256": "55bfc01e0ff93471861114f5f98111001027f2a1d288dd1bff480ad77844c0dc", 1073 "output_sha256": "7dd5befcf2a69b7147425181ea71a60c3570fce2398279e1c68a0eec1f67d955" 1074 }, 1075 { 1076 "label": "check-surrogateSubtracts-624", 1077 "cases": 24, 1078 "input_sha256": "757fb29901fb38475750d579f7450f6f9904f006fc465d4cb02a45e23a5ab916", 1079 "output_sha256": "7dd5befcf2a69b7147425181ea71a60c3570fce2398279e1c68a0eec1f67d955" 1080 }, 1081 { 1082 "label": "check-surrogateSubtracts-648", 1083 "cases": 24, 1084 "input_sha256": "112c9521377bc800c25889f444fbfb4cde45554719a241d08948d79e2bc6c51b", 1085 "output_sha256": "963e3b84b0a32265d35126fd5c686f8035324443c3608adc31b59165022cd484" 1086 }, 1087 { 1088 "label": "check-surrogateSubtracts-672", 1089 "cases": 24, 1090 "input_sha256": "e4b56861fb3645ee402bfb7d878edf3e605173b7582999cb8ae797b2d599d332", 1091 "output_sha256": "3fe262ebab5cdd49f86ef972c9fe9e393ad5e770efdeb5f40190e48f8a23f76a" 1092 }, 1093 { 1094 "label": "check-surrogateSubtracts-696", 1095 "cases": 24, 1096 "input_sha256": "065f133231e14f7234099f52620f84b03331a79d7e5f1075176ccc2150df8ff0", 1097 "output_sha256": "54fb71834faa123ba197a95d7d77d1631027ad5ddd4cdd288abd01fd58792d78" 1098 }, 1099 { 1100 "label": "check-surrogateSubtracts-720", 1101 "cases": 24, 1102 "input_sha256": "9d9e794f360ed9c0317b709f06f0af6470b5c0522025b458087f48c71d4fe50b", 1103 "output_sha256": "a754d75b6c369717481558978eb63e1be64280d4d90eb343db732ad9616ac809" 1104 }, 1105 { 1106 "label": "check-surrogateSubtracts-744", 1107 "cases": 24, 1108 "input_sha256": "dbceae9ef3d51be2386863541405963999b928cfd8e31aba0cf36ca29311f196", 1109 "output_sha256": "a3c887e59e05d0ba0d0e0dd3ed7b19eba6de32a042dbc40edc30457935f3f491" 1110 }, 1111 { 1112 "label": "check-surrogateSubtracts-768", 1113 "cases": 24, 1114 "input_sha256": "e362dd1dcc3a4b16467d0aaa7efa58a9f4a66d0e1fe4d983c235ea2bd01fcf62", 1115 "output_sha256": "564afdcb556ebc567b627aa79c253f5ff18aeffa24b22cc6f08ceb1721681a26" 1116 }, 1117 { 1118 "label": "check-surrogateSubtracts-792", 1119 "cases": 24, 1120 "input_sha256": "0a2d0503242151e47819a0f8548916b5237c1c459127c64697465c3769457b8d", 1121 "output_sha256": "a37150d6459f233b2f957d129b5f3ca4049720ebf181d3fd809ddcecb622d789" 1122 }, 1123 { 1124 "label": "check-surrogateSubtracts-816", 1125 "cases": 16, 1126 "input_sha256": "662d42ac8af99c6a15c15acb6786e03d1dc9b61ca6e92684a6abc693c7444805", 1127 "output_sha256": "3c8ec4668757d97eedf2014c235cac6853ae7af3c0a4f1a5448a6c998c21e86d" 1128 }, 1129 { 1130 "label": "check-exactAdds", 1131 "cases": 20, 1132 "input_sha256": "f87a760cc9fc41764f2e5ac1fb412e1a4ac67e90097d3fec77c08618593b5ae4", 1133 "output_sha256": "98426b351debda3bcacc652e68d65089d31837508766756cd3f94fdd2a70adf6" 1134 }, 1135 { 1136 "label": "check-exactSubtracts", 1137 "cases": 20, 1138 "input_sha256": "f87a760cc9fc41764f2e5ac1fb412e1a4ac67e90097d3fec77c08618593b5ae4", 1139 "output_sha256": "3d064bc0aab2b7ff193bfc305f395c03509cf11d0df9b3bba1b07e3551586a69" 1140 }, 1141 { 1142 "label": "discard-control", 1143 "cases": 2, 1144 "input_sha256": "6e195dd491003b6cc7f5115645d3d9d8ae3790730d915aab22849906c158ba7d", 1145 "output_sha256": "62cb9fa9108926c73a1a908def6cf84fe2eaebb1d8b77e4b47a6e7f5123eaa23" 1146 }, 1147 { 1148 "label": "huge-add", 1149 "cases": 3, 1150 "input_sha256": "7a6f1bc5c9d4943a0355a203899255adc6f256167e0ab7ee202b44beb7f03070", 1151 "output_sha256": "de2605ae36521e7c7ac3cc4750660e39fab0131eace166e118b67ed7b55d5dff" 1152 }, 1153 { 1154 "label": "huge-subtract", 1155 "cases": 3, 1156 "input_sha256": "7a6f1bc5c9d4943a0355a203899255adc6f256167e0ab7ee202b44beb7f03070", 1157 "output_sha256": "7c81340ee645d528b765df2ba48442aa3892766b3a85be78e3576c2c71f594f5" 1158 } 1159 ], 1160 "demand": [ 1161 { 1162 "name": "farAddDemand", 1163 "outcome": "expected-result" 1164 }, 1165 { 1166 "name": "farSubtractDemand", 1167 "outcome": "expected-result" 1168 }, 1169 { 1170 "name": "cancellationDemand", 1171 "outcome": "expected-result" 1172 }, 1173 { 1174 "name": "normalAddDemand", 1175 "outcome": "expected-result" 1176 }, 1177 { 1178 "name": "normalSubtractDemand", 1179 "outcome": "expected-result" 1180 }, 1181 { 1182 "name": "overflowDemand", 1183 "outcome": "expected-result" 1184 } 1185 ], 1186 "samples": [ 1187 { 1188 "group": "127", 1189 "name": "surrogateSubtracts", 1190 "size": 16, 1191 "repeat": 0, 1192 "warmup": true, 1193 "wall_ns": 14470274, 1194 "allocated_bytes": 79426728 1195 }, 1196 { 1197 "group": "340282366920938463463374607431768211456", 1198 "name": "subtracts", 1199 "size": 16, 1200 "repeat": 0, 1201 "warmup": true, 1202 "wall_ns": 4841261, 1203 "allocated_bytes": 22767712 1204 }, 1205 { 1206 "group": "underflow", 1207 "name": "surrogateAdds", 1208 "size": 16, 1209 "repeat": 0, 1210 "warmup": true, 1211 "wall_ns": 17419909, 1212 "allocated_bytes": 98252608 1213 }, 1214 { 1215 "group": "55", 1216 "name": "adds", 1217 "size": 16, 1218 "repeat": 0, 1219 "warmup": true, 1220 "wall_ns": 4972468, 1221 "allocated_bytes": 23347208 1222 }, 1223 { 1224 "group": "55", 1225 "name": "surrogateSubtracts", 1226 "size": 16, 1227 "repeat": 0, 1228 "warmup": true, 1229 "wall_ns": 13776950, 1230 "allocated_bytes": 79425160 1231 }, 1232 { 1233 "group": "55", 1234 "name": "surrogateAdds", 1235 "size": 16, 1236 "repeat": 0, 1237 "warmup": true, 1238 "wall_ns": 14612110, 1239 "allocated_bytes": 78233880 1240 }, 1241 { 1242 "group": "127", 1243 "name": "adds", 1244 "size": 16, 1245 "repeat": 0, 1246 "warmup": true, 1247 "wall_ns": 5130305, 1248 "allocated_bytes": 22763752 1249 }, 1250 { 1251 "group": "127", 1252 "name": "surrogateAdds", 1253 "size": 16, 1254 "repeat": 0, 1255 "warmup": true, 1256 "wall_ns": 14197261, 1257 "allocated_bytes": 78232312 1258 }, 1259 { 1260 "group": "54", 1261 "name": "subtracts", 1262 "size": 16, 1263 "repeat": 0, 1264 "warmup": true, 1265 "wall_ns": 32569449, 1266 "allocated_bytes": 186664704 1267 }, 1268 { 1269 "group": "340282366920938463463374607431768211456", 1270 "name": "adds", 1271 "size": 16, 1272 "repeat": 0, 1273 "warmup": true, 1274 "wall_ns": 5401244, 1275 "allocated_bytes": 22763752 1276 }, 1277 { 1278 "group": "55", 1279 "name": "subtracts", 1280 "size": 16, 1281 "repeat": 0, 1282 "warmup": true, 1283 "wall_ns": 5693514, 1284 "allocated_bytes": 23347208 1285 }, 1286 { 1287 "group": "127", 1288 "name": "exactSubtracts", 1289 "size": 16, 1290 "repeat": 0, 1291 "warmup": true, 1292 "wall_ns": 62851548, 1293 "allocated_bytes": 356299664 1294 }, 1295 { 1296 "group": "54", 1297 "name": "exactAdds", 1298 "size": 16, 1299 "repeat": 0, 1300 "warmup": true, 1301 "wall_ns": 35520627, 1302 "allocated_bytes": 194416664 1303 }, 1304 { 1305 "group": "underflow", 1306 "name": "surrogateSubtracts", 1307 "size": 16, 1308 "repeat": 0, 1309 "warmup": true, 1310 "wall_ns": 14584137, 1311 "allocated_bytes": 81370088 1312 }, 1313 { 1314 "group": "340282366920938463463374607431768211456", 1315 "name": "surrogateSubtracts", 1316 "size": 16, 1317 "repeat": 0, 1318 "warmup": true, 1319 "wall_ns": 14655492, 1320 "allocated_bytes": 79430752 1321 }, 1322 { 1323 "group": "127", 1324 "name": "exactAdds", 1325 "size": 16, 1326 "repeat": 0, 1327 "warmup": true, 1328 "wall_ns": 58619703, 1329 "allocated_bytes": 322933144 1330 }, 1331 { 1332 "group": "340282366920938463463374607431768211456", 1333 "name": "surrogateAdds", 1334 "size": 16, 1335 "repeat": 0, 1336 "warmup": true, 1337 "wall_ns": 14492986, 1338 "allocated_bytes": 78237872 1339 }, 1340 { 1341 "group": "2097", 1342 "name": "surrogateAdds", 1343 "size": 16, 1344 "repeat": 0, 1345 "warmup": true, 1346 "wall_ns": 14929557, 1347 "allocated_bytes": 78233880 1348 }, 1349 { 1350 "group": "2097", 1351 "name": "adds", 1352 "size": 16, 1353 "repeat": 0, 1354 "warmup": true, 1355 "wall_ns": 5549112, 1356 "allocated_bytes": 22763752 1357 }, 1358 { 1359 "group": "55", 1360 "name": "exactAdds", 1361 "size": 16, 1362 "repeat": 0, 1363 "warmup": true, 1364 "wall_ns": 35977837, 1365 "allocated_bytes": 196267800 1366 }, 1367 { 1368 "group": "2097", 1369 "name": "surrogateSubtracts", 1370 "size": 16, 1371 "repeat": 0, 1372 "warmup": true, 1373 "wall_ns": 15263575, 1374 "allocated_bytes": 79426728 1375 }, 1376 { 1377 "group": "underflow", 1378 "name": "subtracts", 1379 "size": 16, 1380 "repeat": 0, 1381 "warmup": true, 1382 "wall_ns": 16478228, 1383 "allocated_bytes": 87321192 1384 }, 1385 { 1386 "group": "54", 1387 "name": "exactSubtracts", 1388 "size": 16, 1389 "repeat": 0, 1390 "warmup": true, 1391 "wall_ns": 38401093, 1392 "allocated_bytes": 217342336 1393 }, 1394 { 1395 "group": "underflow", 1396 "name": "adds", 1397 "size": 16, 1398 "repeat": 0, 1399 "warmup": true, 1400 "wall_ns": 18445126, 1401 "allocated_bytes": 104203712 1402 }, 1403 { 1404 "group": "55", 1405 "name": "exactSubtracts", 1406 "size": 16, 1407 "repeat": 0, 1408 "warmup": true, 1409 "wall_ns": 38794453, 1410 "allocated_bytes": 219983600 1411 }, 1412 { 1413 "group": "2097", 1414 "name": "subtracts", 1415 "size": 16, 1416 "repeat": 0, 1417 "warmup": true, 1418 "wall_ns": 4851821, 1419 "allocated_bytes": 22763752 1420 }, 1421 { 1422 "group": "54", 1423 "name": "adds", 1424 "size": 16, 1425 "repeat": 0, 1426 "warmup": true, 1427 "wall_ns": 29974131, 1428 "allocated_bytes": 163739032 1429 }, 1430 { 1431 "group": "127", 1432 "name": "subtracts", 1433 "size": 16, 1434 "repeat": 0, 1435 "warmup": true, 1436 "wall_ns": 6137208, 1437 "allocated_bytes": 22765320 1438 }, 1439 { 1440 "group": "underflow", 1441 "name": "surrogateSubtracts", 1442 "size": 16, 1443 "repeat": 1, 1444 "warmup": false, 1445 "wall_ns": 14922604, 1446 "allocated_bytes": 81371656 1447 }, 1448 { 1449 "group": "54", 1450 "name": "exactAdds", 1451 "size": 16, 1452 "repeat": 1, 1453 "warmup": false, 1454 "wall_ns": 34761911, 1455 "allocated_bytes": 194416664 1456 }, 1457 { 1458 "group": "54", 1459 "name": "exactSubtracts", 1460 "size": 16, 1461 "repeat": 1, 1462 "warmup": false, 1463 "wall_ns": 40011831, 1464 "allocated_bytes": 217342336 1465 }, 1466 { 1467 "group": "55", 1468 "name": "adds", 1469 "size": 16, 1470 "repeat": 1, 1471 "warmup": false, 1472 "wall_ns": 5271651, 1473 "allocated_bytes": 23347208 1474 }, 1475 { 1476 "group": "54", 1477 "name": "subtracts", 1478 "size": 16, 1479 "repeat": 1, 1480 "warmup": false, 1481 "wall_ns": 34110237, 1482 "allocated_bytes": 186664704 1483 }, 1484 { 1485 "group": "2097", 1486 "name": "adds", 1487 "size": 16, 1488 "repeat": 1, 1489 "warmup": false, 1490 "wall_ns": 4821264, 1491 "allocated_bytes": 22765320 1492 }, 1493 { 1494 "group": "340282366920938463463374607431768211456", 1495 "name": "surrogateAdds", 1496 "size": 16, 1497 "repeat": 1, 1498 "warmup": false, 1499 "wall_ns": 14029074, 1500 "allocated_bytes": 78236304 1501 }, 1502 { 1503 "group": "55", 1504 "name": "subtracts", 1505 "size": 16, 1506 "repeat": 1, 1507 "warmup": false, 1508 "wall_ns": 4997375, 1509 "allocated_bytes": 23347208 1510 }, 1511 { 1512 "group": "55", 1513 "name": "surrogateSubtracts", 1514 "size": 16, 1515 "repeat": 1, 1516 "warmup": false, 1517 "wall_ns": 14098945, 1518 "allocated_bytes": 79425160 1519 }, 1520 { 1521 "group": "127", 1522 "name": "exactSubtracts", 1523 "size": 16, 1524 "repeat": 1, 1525 "warmup": false, 1526 "wall_ns": 64101759, 1527 "allocated_bytes": 356299664 1528 }, 1529 { 1530 "group": "2097", 1531 "name": "subtracts", 1532 "size": 16, 1533 "repeat": 1, 1534 "warmup": false, 1535 "wall_ns": 4889752, 1536 "allocated_bytes": 22763752 1537 }, 1538 { 1539 "group": "127", 1540 "name": "surrogateSubtracts", 1541 "size": 16, 1542 "repeat": 1, 1543 "warmup": false, 1544 "wall_ns": 14418146, 1545 "allocated_bytes": 79426728 1546 }, 1547 { 1548 "group": "underflow", 1549 "name": "subtracts", 1550 "size": 16, 1551 "repeat": 1, 1552 "warmup": false, 1553 "wall_ns": 15191840, 1554 "allocated_bytes": 87322760 1555 }, 1556 { 1557 "group": "55", 1558 "name": "exactAdds", 1559 "size": 16, 1560 "repeat": 1, 1561 "warmup": false, 1562 "wall_ns": 36327534, 1563 "allocated_bytes": 196267800 1564 }, 1565 { 1566 "group": "127", 1567 "name": "exactAdds", 1568 "size": 16, 1569 "repeat": 1, 1570 "warmup": false, 1571 "wall_ns": 58945867, 1572 "allocated_bytes": 322933144 1573 }, 1574 { 1575 "group": "underflow", 1576 "name": "adds", 1577 "size": 16, 1578 "repeat": 1, 1579 "warmup": false, 1580 "wall_ns": 18732086, 1581 "allocated_bytes": 104203712 1582 }, 1583 { 1584 "group": "340282366920938463463374607431768211456", 1585 "name": "subtracts", 1586 "size": 16, 1587 "repeat": 1, 1588 "warmup": false, 1589 "wall_ns": 6359385, 1590 "allocated_bytes": 22769280 1591 }, 1592 { 1593 "group": "127", 1594 "name": "subtracts", 1595 "size": 16, 1596 "repeat": 1, 1597 "warmup": false, 1598 "wall_ns": 5332665, 1599 "allocated_bytes": 22763752 1600 }, 1601 { 1602 "group": "340282366920938463463374607431768211456", 1603 "name": "adds", 1604 "size": 16, 1605 "repeat": 1, 1606 "warmup": false, 1607 "wall_ns": 4915521, 1608 "allocated_bytes": 22763752 1609 }, 1610 { 1611 "group": "2097", 1612 "name": "surrogateAdds", 1613 "size": 16, 1614 "repeat": 1, 1615 "warmup": false, 1616 "wall_ns": 14986965, 1617 "allocated_bytes": 78233880 1618 }, 1619 { 1620 "group": "55", 1621 "name": "exactSubtracts", 1622 "size": 16, 1623 "repeat": 1, 1624 "warmup": false, 1625 "wall_ns": 39525567, 1626 "allocated_bytes": 219985168 1627 }, 1628 { 1629 "group": "54", 1630 "name": "adds", 1631 "size": 16, 1632 "repeat": 1, 1633 "warmup": false, 1634 "wall_ns": 30539373, 1635 "allocated_bytes": 163737464 1636 }, 1637 { 1638 "group": "underflow", 1639 "name": "surrogateAdds", 1640 "size": 16, 1641 "repeat": 1, 1642 "warmup": false, 1643 "wall_ns": 17318859, 1644 "allocated_bytes": 98252608 1645 }, 1646 { 1647 "group": "55", 1648 "name": "surrogateAdds", 1649 "size": 16, 1650 "repeat": 1, 1651 "warmup": false, 1652 "wall_ns": 15126197, 1653 "allocated_bytes": 78233880 1654 }, 1655 { 1656 "group": "2097", 1657 "name": "surrogateSubtracts", 1658 "size": 16, 1659 "repeat": 1, 1660 "warmup": false, 1661 "wall_ns": 14909289, 1662 "allocated_bytes": 79426728 1663 }, 1664 { 1665 "group": "127", 1666 "name": "adds", 1667 "size": 16, 1668 "repeat": 1, 1669 "warmup": false, 1670 "wall_ns": 5071524, 1671 "allocated_bytes": 22763752 1672 }, 1673 { 1674 "group": "127", 1675 "name": "surrogateAdds", 1676 "size": 16, 1677 "repeat": 1, 1678 "warmup": false, 1679 "wall_ns": 14171412, 1680 "allocated_bytes": 78233880 1681 }, 1682 { 1683 "group": "340282366920938463463374607431768211456", 1684 "name": "surrogateSubtracts", 1685 "size": 16, 1686 "repeat": 1, 1687 "warmup": false, 1688 "wall_ns": 14478650, 1689 "allocated_bytes": 79429184 1690 }, 1691 { 1692 "group": "54", 1693 "name": "adds", 1694 "size": 16, 1695 "repeat": 2, 1696 "warmup": false, 1697 "wall_ns": 30220834, 1698 "allocated_bytes": 163739032 1699 }, 1700 { 1701 "group": "55", 1702 "name": "subtracts", 1703 "size": 16, 1704 "repeat": 2, 1705 "warmup": false, 1706 "wall_ns": 4953753, 1707 "allocated_bytes": 23345640 1708 }, 1709 { 1710 "group": "2097", 1711 "name": "subtracts", 1712 "size": 16, 1713 "repeat": 2, 1714 "warmup": false, 1715 "wall_ns": 6034034, 1716 "allocated_bytes": 22763752 1717 }, 1718 { 1719 "group": "54", 1720 "name": "exactSubtracts", 1721 "size": 16, 1722 "repeat": 2, 1723 "warmup": false, 1724 "wall_ns": 38535505, 1725 "allocated_bytes": 217340768 1726 }, 1727 { 1728 "group": "underflow", 1729 "name": "subtracts", 1730 "size": 16, 1731 "repeat": 2, 1732 "warmup": false, 1733 "wall_ns": 15588766, 1734 "allocated_bytes": 87322760 1735 }, 1736 { 1737 "group": "127", 1738 "name": "exactSubtracts", 1739 "size": 16, 1740 "repeat": 2, 1741 "warmup": false, 1742 "wall_ns": 64474610, 1743 "allocated_bytes": 356299664 1744 }, 1745 { 1746 "group": "127", 1747 "name": "surrogateSubtracts", 1748 "size": 16, 1749 "repeat": 2, 1750 "warmup": false, 1751 "wall_ns": 14552599, 1752 "allocated_bytes": 79426728 1753 }, 1754 { 1755 "group": "55", 1756 "name": "surrogateSubtracts", 1757 "size": 16, 1758 "repeat": 2, 1759 "warmup": false, 1760 "wall_ns": 14429837, 1761 "allocated_bytes": 79425160 1762 }, 1763 { 1764 "group": "55", 1765 "name": "surrogateAdds", 1766 "size": 16, 1767 "repeat": 2, 1768 "warmup": false, 1769 "wall_ns": 14415682, 1770 "allocated_bytes": 78233880 1771 }, 1772 { 1773 "group": "127", 1774 "name": "surrogateAdds", 1775 "size": 16, 1776 "repeat": 2, 1777 "warmup": false, 1778 "wall_ns": 14713340, 1779 "allocated_bytes": 78233880 1780 }, 1781 { 1782 "group": "2097", 1783 "name": "adds", 1784 "size": 16, 1785 "repeat": 2, 1786 "warmup": false, 1787 "wall_ns": 4822606, 1788 "allocated_bytes": 22763752 1789 }, 1790 { 1791 "group": "55", 1792 "name": "exactAdds", 1793 "size": 16, 1794 "repeat": 2, 1795 "warmup": false, 1796 "wall_ns": 37453732, 1797 "allocated_bytes": 196267800 1798 }, 1799 { 1800 "group": "55", 1801 "name": "adds", 1802 "size": 16, 1803 "repeat": 2, 1804 "warmup": false, 1805 "wall_ns": 5019827, 1806 "allocated_bytes": 23345640 1807 }, 1808 { 1809 "group": "2097", 1810 "name": "surrogateAdds", 1811 "size": 16, 1812 "repeat": 2, 1813 "warmup": false, 1814 "wall_ns": 13679777, 1815 "allocated_bytes": 78232312 1816 }, 1817 { 1818 "group": "underflow", 1819 "name": "surrogateAdds", 1820 "size": 16, 1821 "repeat": 2, 1822 "warmup": false, 1823 "wall_ns": 18010910, 1824 "allocated_bytes": 98252608 1825 }, 1826 { 1827 "group": "55", 1828 "name": "exactSubtracts", 1829 "size": 16, 1830 "repeat": 2, 1831 "warmup": false, 1832 "wall_ns": 39361889, 1833 "allocated_bytes": 219985168 1834 }, 1835 { 1836 "group": "54", 1837 "name": "subtracts", 1838 "size": 16, 1839 "repeat": 2, 1840 "warmup": false, 1841 "wall_ns": 32664077, 1842 "allocated_bytes": 186664704 1843 }, 1844 { 1845 "group": "127", 1846 "name": "adds", 1847 "size": 16, 1848 "repeat": 2, 1849 "warmup": false, 1850 "wall_ns": 6314170, 1851 "allocated_bytes": 22763752 1852 }, 1853 { 1854 "group": "2097", 1855 "name": "surrogateSubtracts", 1856 "size": 16, 1857 "repeat": 2, 1858 "warmup": false, 1859 "wall_ns": 14237026, 1860 "allocated_bytes": 79425160 1861 }, 1862 { 1863 "group": "54", 1864 "name": "exactAdds", 1865 "size": 16, 1866 "repeat": 2, 1867 "warmup": false, 1868 "wall_ns": 36806064, 1869 "allocated_bytes": 194416664 1870 }, 1871 { 1872 "group": "underflow", 1873 "name": "adds", 1874 "size": 16, 1875 "repeat": 2, 1876 "warmup": false, 1877 "wall_ns": 19863293, 1878 "allocated_bytes": 104203712 1879 }, 1880 { 1881 "group": "127", 1882 "name": "subtracts", 1883 "size": 16, 1884 "repeat": 2, 1885 "warmup": false, 1886 "wall_ns": 5399822, 1887 "allocated_bytes": 22763752 1888 }, 1889 { 1890 "group": "340282366920938463463374607431768211456", 1891 "name": "surrogateSubtracts", 1892 "size": 16, 1893 "repeat": 2, 1894 "warmup": false, 1895 "wall_ns": 15473299, 1896 "allocated_bytes": 79430752 1897 }, 1898 { 1899 "group": "underflow", 1900 "name": "surrogateSubtracts", 1901 "size": 16, 1902 "repeat": 2, 1903 "warmup": false, 1904 "wall_ns": 14827465, 1905 "allocated_bytes": 81371656 1906 }, 1907 { 1908 "group": "340282366920938463463374607431768211456", 1909 "name": "adds", 1910 "size": 16, 1911 "repeat": 2, 1912 "warmup": false, 1913 "wall_ns": 5328588, 1914 "allocated_bytes": 22763752 1915 }, 1916 { 1917 "group": "340282366920938463463374607431768211456", 1918 "name": "subtracts", 1919 "size": 16, 1920 "repeat": 2, 1921 "warmup": false, 1922 "wall_ns": 4907085, 1923 "allocated_bytes": 22767712 1924 }, 1925 { 1926 "group": "127", 1927 "name": "exactAdds", 1928 "size": 16, 1929 "repeat": 2, 1930 "warmup": false, 1931 "wall_ns": 60976304, 1932 "allocated_bytes": 322933144 1933 }, 1934 { 1935 "group": "340282366920938463463374607431768211456", 1936 "name": "surrogateAdds", 1937 "size": 16, 1938 "repeat": 2, 1939 "warmup": false, 1940 "wall_ns": 13805263, 1941 "allocated_bytes": 78237872 1942 }, 1943 { 1944 "group": "55", 1945 "name": "surrogateAdds", 1946 "size": 16, 1947 "repeat": 3, 1948 "warmup": false, 1949 "wall_ns": 13717258, 1950 "allocated_bytes": 78233880 1951 }, 1952 { 1953 "group": "54", 1954 "name": "exactSubtracts", 1955 "size": 16, 1956 "repeat": 3, 1957 "warmup": false, 1958 "wall_ns": 31335841, 1959 "allocated_bytes": 217340768 1960 }, 1961 { 1962 "group": "55", 1963 "name": "surrogateSubtracts", 1964 "size": 16, 1965 "repeat": 3, 1966 "warmup": false, 1967 "wall_ns": 13928725, 1968 "allocated_bytes": 79426728 1969 }, 1970 { 1971 "group": "340282366920938463463374607431768211456", 1972 "name": "surrogateAdds", 1973 "size": 16, 1974 "repeat": 3, 1975 "warmup": false, 1976 "wall_ns": 14169989, 1977 "allocated_bytes": 78236304 1978 }, 1979 { 1980 "group": "underflow", 1981 "name": "surrogateAdds", 1982 "size": 16, 1983 "repeat": 3, 1984 "warmup": false, 1985 "wall_ns": 14476536, 1986 "allocated_bytes": 98251040 1987 }, 1988 { 1989 "group": "127", 1990 "name": "adds", 1991 "size": 16, 1992 "repeat": 3, 1993 "warmup": false, 1994 "wall_ns": 5573308, 1995 "allocated_bytes": 22763752 1996 }, 1997 { 1998 "group": "340282366920938463463374607431768211456", 1999 "name": "adds", 2000 "size": 16, 2001 "repeat": 3, 2002 "warmup": false, 2003 "wall_ns": 4737106, 2004 "allocated_bytes": 22763752 2005 }, 2006 { 2007 "group": "2097", 2008 "name": "subtracts", 2009 "size": 16, 2010 "repeat": 3, 2011 "warmup": false, 2012 "wall_ns": 5385084, 2013 "allocated_bytes": 22765320 2014 }, 2015 { 2016 "group": "127", 2017 "name": "exactAdds", 2018 "size": 16, 2019 "repeat": 3, 2020 "warmup": false, 2021 "wall_ns": 58963259, 2022 "allocated_bytes": 322933144 2023 }, 2024 { 2025 "group": "underflow", 2026 "name": "adds", 2027 "size": 16, 2028 "repeat": 3, 2029 "warmup": false, 2030 "wall_ns": 19454113, 2031 "allocated_bytes": 104203712 2032 }, 2033 { 2034 "group": "127", 2035 "name": "subtracts", 2036 "size": 16, 2037 "repeat": 3, 2038 "warmup": false, 2039 "wall_ns": 5394381, 2040 "allocated_bytes": 22763752 2041 }, 2042 { 2043 "group": "55", 2044 "name": "adds", 2045 "size": 16, 2046 "repeat": 3, 2047 "warmup": false, 2048 "wall_ns": 5685639, 2049 "allocated_bytes": 23345640 2050 }, 2051 { 2052 "group": "2097", 2053 "name": "adds", 2054 "size": 16, 2055 "repeat": 3, 2056 "warmup": false, 2057 "wall_ns": 5286428, 2058 "allocated_bytes": 22763752 2059 }, 2060 { 2061 "group": "54", 2062 "name": "exactAdds", 2063 "size": 16, 2064 "repeat": 3, 2065 "warmup": false, 2066 "wall_ns": 35214662, 2067 "allocated_bytes": 194416664 2068 }, 2069 { 2070 "group": "55", 2071 "name": "exactAdds", 2072 "size": 16, 2073 "repeat": 3, 2074 "warmup": false, 2075 "wall_ns": 32510308, 2076 "allocated_bytes": 196267800 2077 }, 2078 { 2079 "group": "2097", 2080 "name": "surrogateSubtracts", 2081 "size": 16, 2082 "repeat": 3, 2083 "warmup": false, 2084 "wall_ns": 15084959, 2085 "allocated_bytes": 79426728 2086 }, 2087 { 2088 "group": "underflow", 2089 "name": "surrogateSubtracts", 2090 "size": 16, 2091 "repeat": 3, 2092 "warmup": false, 2093 "wall_ns": 13446950, 2094 "allocated_bytes": 81370088 2095 }, 2096 { 2097 "group": "127", 2098 "name": "exactSubtracts", 2099 "size": 16, 2100 "repeat": 3, 2101 "warmup": false, 2102 "wall_ns": 47852311, 2103 "allocated_bytes": 356299664 2104 }, 2105 { 2106 "group": "55", 2107 "name": "subtracts", 2108 "size": 16, 2109 "repeat": 3, 2110 "warmup": false, 2111 "wall_ns": 4904620, 2112 "allocated_bytes": 23345640 2113 }, 2114 { 2115 "group": "2097", 2116 "name": "surrogateAdds", 2117 "size": 16, 2118 "repeat": 3, 2119 "warmup": false, 2120 "wall_ns": 14235201, 2121 "allocated_bytes": 78233880 2122 }, 2123 { 2124 "group": "underflow", 2125 "name": "subtracts", 2126 "size": 16, 2127 "repeat": 3, 2128 "warmup": false, 2129 "wall_ns": 15732086, 2130 "allocated_bytes": 87322760 2131 }, 2132 { 2133 "group": "55", 2134 "name": "exactSubtracts", 2135 "size": 16, 2136 "repeat": 3, 2137 "warmup": false, 2138 "wall_ns": 37369343, 2139 "allocated_bytes": 219983600 2140 }, 2141 { 2142 "group": "340282366920938463463374607431768211456", 2143 "name": "subtracts", 2144 "size": 16, 2145 "repeat": 3, 2146 "warmup": false, 2147 "wall_ns": 5354616, 2148 "allocated_bytes": 22767712 2149 }, 2150 { 2151 "group": "54", 2152 "name": "adds", 2153 "size": 16, 2154 "repeat": 3, 2155 "warmup": false, 2156 "wall_ns": 28502945, 2157 "allocated_bytes": 163739032 2158 }, 2159 { 2160 "group": "127", 2161 "name": "surrogateAdds", 2162 "size": 16, 2163 "repeat": 3, 2164 "warmup": false, 2165 "wall_ns": 11635705, 2166 "allocated_bytes": 78233880 2167 }, 2168 { 2169 "group": "340282366920938463463374607431768211456", 2170 "name": "surrogateSubtracts", 2171 "size": 16, 2172 "repeat": 3, 2173 "warmup": false, 2174 "wall_ns": 12445918, 2175 "allocated_bytes": 79429184 2176 }, 2177 { 2178 "group": "54", 2179 "name": "subtracts", 2180 "size": 16, 2181 "repeat": 3, 2182 "warmup": false, 2183 "wall_ns": 27766019, 2184 "allocated_bytes": 186664704 2185 }, 2186 { 2187 "group": "127", 2188 "name": "surrogateSubtracts", 2189 "size": 16, 2190 "repeat": 3, 2191 "warmup": false, 2192 "wall_ns": 14382088, 2193 "allocated_bytes": 79426728 2194 }, 2195 { 2196 "group": "underflow", 2197 "name": "surrogateAdds", 2198 "size": 16, 2199 "repeat": 4, 2200 "warmup": false, 2201 "wall_ns": 13496984, 2202 "allocated_bytes": 98251040 2203 }, 2204 { 2205 "group": "127", 2206 "name": "surrogateAdds", 2207 "size": 16, 2208 "repeat": 4, 2209 "warmup": false, 2210 "wall_ns": 14141626, 2211 "allocated_bytes": 78233880 2212 }, 2213 { 2214 "group": "127", 2215 "name": "exactSubtracts", 2216 "size": 16, 2217 "repeat": 4, 2218 "warmup": false, 2219 "wall_ns": 56343424, 2220 "allocated_bytes": 356299664 2221 }, 2222 { 2223 "group": "55", 2224 "name": "exactSubtracts", 2225 "size": 16, 2226 "repeat": 4, 2227 "warmup": false, 2228 "wall_ns": 28981043, 2229 "allocated_bytes": 219985168 2230 }, 2231 { 2232 "group": "340282366920938463463374607431768211456", 2233 "name": "subtracts", 2234 "size": 16, 2235 "repeat": 4, 2236 "warmup": false, 2237 "wall_ns": 3416733, 2238 "allocated_bytes": 22767712 2239 }, 2240 { 2241 "group": "underflow", 2242 "name": "adds", 2243 "size": 16, 2244 "repeat": 4, 2245 "warmup": false, 2246 "wall_ns": 16099386, 2247 "allocated_bytes": 104203712 2248 }, 2249 { 2250 "group": "54", 2251 "name": "adds", 2252 "size": 16, 2253 "repeat": 4, 2254 "warmup": false, 2255 "wall_ns": 29919317, 2256 "allocated_bytes": 163739032 2257 }, 2258 { 2259 "group": "2097", 2260 "name": "surrogateSubtracts", 2261 "size": 16, 2262 "repeat": 4, 2263 "warmup": false, 2264 "wall_ns": 12053921, 2265 "allocated_bytes": 79426728 2266 }, 2267 { 2268 "group": "340282366920938463463374607431768211456", 2269 "name": "surrogateAdds", 2270 "size": 16, 2271 "repeat": 4, 2272 "warmup": false, 2273 "wall_ns": 14717598, 2274 "allocated_bytes": 78236304 2275 }, 2276 { 2277 "group": "2097", 2278 "name": "subtracts", 2279 "size": 16, 2280 "repeat": 4, 2281 "warmup": false, 2282 "wall_ns": 4186290, 2283 "allocated_bytes": 22763752 2284 }, 2285 { 2286 "group": "54", 2287 "name": "exactSubtracts", 2288 "size": 16, 2289 "repeat": 4, 2290 "warmup": false, 2291 "wall_ns": 38500380, 2292 "allocated_bytes": 217342336 2293 }, 2294 { 2295 "group": "340282366920938463463374607431768211456", 2296 "name": "surrogateSubtracts", 2297 "size": 16, 2298 "repeat": 4, 2299 "warmup": false, 2300 "wall_ns": 13215465, 2301 "allocated_bytes": 79429184 2302 }, 2303 { 2304 "group": "55", 2305 "name": "exactAdds", 2306 "size": 16, 2307 "repeat": 4, 2308 "warmup": false, 2309 "wall_ns": 31587233, 2310 "allocated_bytes": 196267800 2311 }, 2312 { 2313 "group": "underflow", 2314 "name": "subtracts", 2315 "size": 16, 2316 "repeat": 4, 2317 "warmup": false, 2318 "wall_ns": 15983449, 2319 "allocated_bytes": 87322760 2320 }, 2321 { 2322 "group": "55", 2323 "name": "adds", 2324 "size": 16, 2325 "repeat": 4, 2326 "warmup": false, 2327 "wall_ns": 4932022, 2328 "allocated_bytes": 23345640 2329 }, 2330 { 2331 "group": "54", 2332 "name": "exactAdds", 2333 "size": 16, 2334 "repeat": 4, 2335 "warmup": false, 2336 "wall_ns": 29199244, 2337 "allocated_bytes": 194416664 2338 }, 2339 { 2340 "group": "127", 2341 "name": "subtracts", 2342 "size": 16, 2343 "repeat": 4, 2344 "warmup": false, 2345 "wall_ns": 5391897, 2346 "allocated_bytes": 22763752 2347 }, 2348 { 2349 "group": "127", 2350 "name": "exactAdds", 2351 "size": 16, 2352 "repeat": 4, 2353 "warmup": false, 2354 "wall_ns": 42076462, 2355 "allocated_bytes": 322931576 2356 }, 2357 { 2358 "group": "55", 2359 "name": "subtracts", 2360 "size": 16, 2361 "repeat": 4, 2362 "warmup": false, 2363 "wall_ns": 4912736, 2364 "allocated_bytes": 23345640 2365 }, 2366 { 2367 "group": "2097", 2368 "name": "adds", 2369 "size": 16, 2370 "repeat": 4, 2371 "warmup": false, 2372 "wall_ns": 5479060, 2373 "allocated_bytes": 22763752 2374 }, 2375 { 2376 "group": "55", 2377 "name": "surrogateSubtracts", 2378 "size": 16, 2379 "repeat": 4, 2380 "warmup": false, 2381 "wall_ns": 11070663, 2382 "allocated_bytes": 79426728 2383 }, 2384 { 2385 "group": "2097", 2386 "name": "surrogateAdds", 2387 "size": 16, 2388 "repeat": 4, 2389 "warmup": false, 2390 "wall_ns": 14293221, 2391 "allocated_bytes": 78233880 2392 }, 2393 { 2394 "group": "127", 2395 "name": "adds", 2396 "size": 16, 2397 "repeat": 4, 2398 "warmup": false, 2399 "wall_ns": 5455496, 2400 "allocated_bytes": 22763752 2401 }, 2402 { 2403 "group": "127", 2404 "name": "surrogateSubtracts", 2405 "size": 16, 2406 "repeat": 4, 2407 "warmup": false, 2408 "wall_ns": 14685548, 2409 "allocated_bytes": 79426728 2410 }, 2411 { 2412 "group": "underflow", 2413 "name": "surrogateSubtracts", 2414 "size": 16, 2415 "repeat": 4, 2416 "warmup": false, 2417 "wall_ns": 14743066, 2418 "allocated_bytes": 81370088 2419 }, 2420 { 2421 "group": "55", 2422 "name": "surrogateAdds", 2423 "size": 16, 2424 "repeat": 4, 2425 "warmup": false, 2426 "wall_ns": 14380214, 2427 "allocated_bytes": 78233880 2428 }, 2429 { 2430 "group": "340282366920938463463374607431768211456", 2431 "name": "adds", 2432 "size": 16, 2433 "repeat": 4, 2434 "warmup": false, 2435 "wall_ns": 5598685, 2436 "allocated_bytes": 22763752 2437 }, 2438 { 2439 "group": "54", 2440 "name": "subtracts", 2441 "size": 16, 2442 "repeat": 4, 2443 "warmup": false, 2444 "wall_ns": 34720594, 2445 "allocated_bytes": 186663136 2446 } 2447 ], 2448 "summaries": [ 2449 { 2450 "group": "54", 2451 "name": "adds", 2452 "size": 16, 2453 "wall_ns": 30070075.5, 2454 "wall_ns_min": 28502945, 2455 "wall_ns_max": 30539373, 2456 "allocated_bytes": 163739032.0, 2457 "allocated_bytes_min": 163737464, 2458 "allocated_bytes_max": 163739032 2459 }, 2460 { 2461 "group": "54", 2462 "name": "exactAdds", 2463 "size": 16, 2464 "wall_ns": 34988286.5, 2465 "wall_ns_min": 29199244, 2466 "wall_ns_max": 36806064, 2467 "allocated_bytes": 194416664.0, 2468 "allocated_bytes_min": 194416664, 2469 "allocated_bytes_max": 194416664 2470 }, 2471 { 2472 "group": "54", 2473 "name": "subtracts", 2474 "size": 16, 2475 "wall_ns": 33387157.0, 2476 "wall_ns_min": 27766019, 2477 "wall_ns_max": 34720594, 2478 "allocated_bytes": 186664704.0, 2479 "allocated_bytes_min": 186663136, 2480 "allocated_bytes_max": 186664704 2481 }, 2482 { 2483 "group": "54", 2484 "name": "exactSubtracts", 2485 "size": 16, 2486 "wall_ns": 38517942.5, 2487 "wall_ns_min": 31335841, 2488 "wall_ns_max": 40011831, 2489 "allocated_bytes": 217341552.0, 2490 "allocated_bytes_min": 217340768, 2491 "allocated_bytes_max": 217342336 2492 }, 2493 { 2494 "group": "55", 2495 "name": "adds", 2496 "size": 16, 2497 "wall_ns": 5145739.0, 2498 "wall_ns_min": 4932022, 2499 "wall_ns_max": 5685639, 2500 "allocated_bytes": 23345640.0, 2501 "allocated_bytes_min": 23345640, 2502 "allocated_bytes_max": 23347208 2503 }, 2504 { 2505 "group": "55", 2506 "name": "surrogateAdds", 2507 "size": 16, 2508 "wall_ns": 14397948.0, 2509 "wall_ns_min": 13717258, 2510 "wall_ns_max": 15126197, 2511 "allocated_bytes": 78233880.0, 2512 "allocated_bytes_min": 78233880, 2513 "allocated_bytes_max": 78233880 2514 }, 2515 { 2516 "group": "55", 2517 "name": "exactAdds", 2518 "size": 16, 2519 "wall_ns": 34418921.0, 2520 "wall_ns_min": 31587233, 2521 "wall_ns_max": 37453732, 2522 "allocated_bytes": 196267800.0, 2523 "allocated_bytes_min": 196267800, 2524 "allocated_bytes_max": 196267800 2525 }, 2526 { 2527 "group": "55", 2528 "name": "subtracts", 2529 "size": 16, 2530 "wall_ns": 4933244.5, 2531 "wall_ns_min": 4904620, 2532 "wall_ns_max": 4997375, 2533 "allocated_bytes": 23345640.0, 2534 "allocated_bytes_min": 23345640, 2535 "allocated_bytes_max": 23347208 2536 }, 2537 { 2538 "group": "55", 2539 "name": "surrogateSubtracts", 2540 "size": 16, 2541 "wall_ns": 14013835.0, 2542 "wall_ns_min": 11070663, 2543 "wall_ns_max": 14429837, 2544 "allocated_bytes": 79425944.0, 2545 "allocated_bytes_min": 79425160, 2546 "allocated_bytes_max": 79426728 2547 }, 2548 { 2549 "group": "55", 2550 "name": "exactSubtracts", 2551 "size": 16, 2552 "wall_ns": 38365616.0, 2553 "wall_ns_min": 28981043, 2554 "wall_ns_max": 39525567, 2555 "allocated_bytes": 219985168.0, 2556 "allocated_bytes_min": 219983600, 2557 "allocated_bytes_max": 219985168 2558 }, 2559 { 2560 "group": "127", 2561 "name": "adds", 2562 "size": 16, 2563 "wall_ns": 5514402.0, 2564 "wall_ns_min": 5071524, 2565 "wall_ns_max": 6314170, 2566 "allocated_bytes": 22763752.0, 2567 "allocated_bytes_min": 22763752, 2568 "allocated_bytes_max": 22763752 2569 }, 2570 { 2571 "group": "127", 2572 "name": "surrogateAdds", 2573 "size": 16, 2574 "wall_ns": 14156519.0, 2575 "wall_ns_min": 11635705, 2576 "wall_ns_max": 14713340, 2577 "allocated_bytes": 78233880.0, 2578 "allocated_bytes_min": 78233880, 2579 "allocated_bytes_max": 78233880 2580 }, 2581 { 2582 "group": "127", 2583 "name": "exactAdds", 2584 "size": 16, 2585 "wall_ns": 58954563.0, 2586 "wall_ns_min": 42076462, 2587 "wall_ns_max": 60976304, 2588 "allocated_bytes": 322933144.0, 2589 "allocated_bytes_min": 322931576, 2590 "allocated_bytes_max": 322933144 2591 }, 2592 { 2593 "group": "127", 2594 "name": "subtracts", 2595 "size": 16, 2596 "wall_ns": 5393139.0, 2597 "wall_ns_min": 5332665, 2598 "wall_ns_max": 5399822, 2599 "allocated_bytes": 22763752.0, 2600 "allocated_bytes_min": 22763752, 2601 "allocated_bytes_max": 22763752 2602 }, 2603 { 2604 "group": "127", 2605 "name": "surrogateSubtracts", 2606 "size": 16, 2607 "wall_ns": 14485372.5, 2608 "wall_ns_min": 14382088, 2609 "wall_ns_max": 14685548, 2610 "allocated_bytes": 79426728.0, 2611 "allocated_bytes_min": 79426728, 2612 "allocated_bytes_max": 79426728 2613 }, 2614 { 2615 "group": "127", 2616 "name": "exactSubtracts", 2617 "size": 16, 2618 "wall_ns": 60222591.5, 2619 "wall_ns_min": 47852311, 2620 "wall_ns_max": 64474610, 2621 "allocated_bytes": 356299664.0, 2622 "allocated_bytes_min": 356299664, 2623 "allocated_bytes_max": 356299664 2624 }, 2625 { 2626 "group": "2097", 2627 "name": "adds", 2628 "size": 16, 2629 "wall_ns": 5054517.0, 2630 "wall_ns_min": 4821264, 2631 "wall_ns_max": 5479060, 2632 "allocated_bytes": 22763752.0, 2633 "allocated_bytes_min": 22763752, 2634 "allocated_bytes_max": 22765320 2635 }, 2636 { 2637 "group": "2097", 2638 "name": "surrogateAdds", 2639 "size": 16, 2640 "wall_ns": 14264211.0, 2641 "wall_ns_min": 13679777, 2642 "wall_ns_max": 14986965, 2643 "allocated_bytes": 78233880.0, 2644 "allocated_bytes_min": 78232312, 2645 "allocated_bytes_max": 78233880 2646 }, 2647 { 2648 "group": "2097", 2649 "name": "subtracts", 2650 "size": 16, 2651 "wall_ns": 5137418.0, 2652 "wall_ns_min": 4186290, 2653 "wall_ns_max": 6034034, 2654 "allocated_bytes": 22763752.0, 2655 "allocated_bytes_min": 22763752, 2656 "allocated_bytes_max": 22765320 2657 }, 2658 { 2659 "group": "2097", 2660 "name": "surrogateSubtracts", 2661 "size": 16, 2662 "wall_ns": 14573157.5, 2663 "wall_ns_min": 12053921, 2664 "wall_ns_max": 15084959, 2665 "allocated_bytes": 79426728.0, 2666 "allocated_bytes_min": 79425160, 2667 "allocated_bytes_max": 79426728 2668 }, 2669 { 2670 "group": "340282366920938463463374607431768211456", 2671 "name": "adds", 2672 "size": 16, 2673 "wall_ns": 5122054.5, 2674 "wall_ns_min": 4737106, 2675 "wall_ns_max": 5598685, 2676 "allocated_bytes": 22763752.0, 2677 "allocated_bytes_min": 22763752, 2678 "allocated_bytes_max": 22763752 2679 }, 2680 { 2681 "group": "340282366920938463463374607431768211456", 2682 "name": "surrogateAdds", 2683 "size": 16, 2684 "wall_ns": 14099531.5, 2685 "wall_ns_min": 13805263, 2686 "wall_ns_max": 14717598, 2687 "allocated_bytes": 78236304.0, 2688 "allocated_bytes_min": 78236304, 2689 "allocated_bytes_max": 78237872 2690 }, 2691 { 2692 "group": "340282366920938463463374607431768211456", 2693 "name": "subtracts", 2694 "size": 16, 2695 "wall_ns": 5130850.5, 2696 "wall_ns_min": 3416733, 2697 "wall_ns_max": 6359385, 2698 "allocated_bytes": 22767712.0, 2699 "allocated_bytes_min": 22767712, 2700 "allocated_bytes_max": 22769280 2701 }, 2702 { 2703 "group": "340282366920938463463374607431768211456", 2704 "name": "surrogateSubtracts", 2705 "size": 16, 2706 "wall_ns": 13847057.5, 2707 "wall_ns_min": 12445918, 2708 "wall_ns_max": 15473299, 2709 "allocated_bytes": 79429184.0, 2710 "allocated_bytes_min": 79429184, 2711 "allocated_bytes_max": 79430752 2712 }, 2713 { 2714 "group": "underflow", 2715 "name": "adds", 2716 "size": 16, 2717 "wall_ns": 19093099.5, 2718 "wall_ns_min": 16099386, 2719 "wall_ns_max": 19863293, 2720 "allocated_bytes": 104203712.0, 2721 "allocated_bytes_min": 104203712, 2722 "allocated_bytes_max": 104203712 2723 }, 2724 { 2725 "group": "underflow", 2726 "name": "surrogateAdds", 2727 "size": 16, 2728 "wall_ns": 15897697.5, 2729 "wall_ns_min": 13496984, 2730 "wall_ns_max": 18010910, 2731 "allocated_bytes": 98251824.0, 2732 "allocated_bytes_min": 98251040, 2733 "allocated_bytes_max": 98252608 2734 }, 2735 { 2736 "group": "underflow", 2737 "name": "subtracts", 2738 "size": 16, 2739 "wall_ns": 15660426.0, 2740 "wall_ns_min": 15191840, 2741 "wall_ns_max": 15983449, 2742 "allocated_bytes": 87322760.0, 2743 "allocated_bytes_min": 87322760, 2744 "allocated_bytes_max": 87322760 2745 }, 2746 { 2747 "group": "underflow", 2748 "name": "surrogateSubtracts", 2749 "size": 16, 2750 "wall_ns": 14785265.5, 2751 "wall_ns_min": 13446950, 2752 "wall_ns_max": 14922604, 2753 "allocated_bytes": 81370872.0, 2754 "allocated_bytes_min": 81370088, 2755 "allocated_bytes_max": 81371656 2756 } 2757 ], 2758 "bundle_sha256": "ebc047926db4ab39dd936588285cfac6aa69f5009a30fbee2e0a6d8c1d28aad2", 2759 "cases_per_operation": 1353, 2760 "far_cases_per_surrogate": 832, 2761 "discard_counterexamples": 2, 2762 "huge_cases": "six symbolic boundedness checks, not huge-integer oracle computations" 2763 } 2764 }