abstraction-binding-results.json (44108B)
1 { 2 "stage": "stable-binding-attribution-and-safety-controls", 3 "git_head": "23e96a601e150ab79c6329246a0523d972a625e6", 4 "run": { 5 "complete": true, 6 "runtime_sha256": "15517148463a5ee0d3d4cc26f80d2aa69807946a405237aeeb4f128fb237d5d6", 7 "compiler_sha256": "6b7b389d64af12d85b85598db69d7ff71cf3dcb991c584e17e0caec8bcb44c7b", 8 "harness_sha256": "2878035965be9a79060dae5fff74488d624822383be53a8a1deda61d144061dd", 9 "model_sha256": "837a85f323b3376b29751e0acf0e1b6801e356dc8339af2fbaacc6d241c976bb", 10 "runner_dependency_sha256": "f54ae048b7ba7706fe90ce82eab40a488f328f9faa43533bc852cb469d6a2edf", 11 "source_sha256": "12124184e7562998cefb70a4c9a54f66925b8dfcc86ecf49da34f5fa37eb95c6", 12 "platform": "Linux-6.18.42-x86_64-with-glibc2.42", 13 "model": [ 14 { 15 "name": "etaExpanded", 16 "exact_tree_match": true, 17 "reachable_dag_nodes": 14, 18 "counters": { 19 "dependent_distribution": 5, 20 "variable_K": 1, 21 "identity": 2, 22 "literal_K": 4, 23 "literal_stem_fold": 8, 24 "literal_leaf_fold": 8 25 }, 26 "binders": [ 27 { 28 "binder": "arg", 29 "counts": { 30 "dependent_distribution": 1, 31 "variable_K": 1, 32 "identity": 1 33 } 34 }, 35 { 36 "binder": "f", 37 "counts": { 38 "dependent_distribution": 4, 39 "identity": 1, 40 "literal_K": 4, 41 "literal_stem_fold": 8, 42 "literal_leaf_fold": 8 43 } 44 } 45 ] 46 }, 47 { 48 "name": "etaContracted", 49 "exact_tree_match": true, 50 "reachable_dag_nodes": 4, 51 "counters": { 52 "identity": 1 53 }, 54 "binders": [ 55 { 56 "binder": "f", 57 "counts": { 58 "identity": 1 59 } 60 } 61 ] 62 }, 63 { 64 "name": "singleBound", 65 "exact_tree_match": true, 66 "reachable_dag_nodes": 77, 67 "counters": { 68 "dependent_distribution": 6, 69 "literal_K": 5, 70 "literal_stem_fold": 10, 71 "identity": 3, 72 "literal_leaf_fold": 12, 73 "variable_K": 1 74 }, 75 "binders": [ 76 { 77 "binder": "z", 78 "counts": { 79 "dependent_distribution": 2, 80 "literal_K": 1, 81 "literal_stem_fold": 2, 82 "identity": 1, 83 "literal_leaf_fold": 4, 84 "variable_K": 1 85 } 86 }, 87 { 88 "binder": "x", 89 "counts": { 90 "dependent_distribution": 4, 91 "literal_K": 3, 92 "literal_stem_fold": 7, 93 "identity": 2, 94 "literal_leaf_fold": 8 95 } 96 }, 97 { 98 "binder": "flag", 99 "counts": { 100 "literal_K": 1, 101 "literal_stem_fold": 1 102 } 103 } 104 ] 105 }, 106 { 107 "name": "singleInline", 108 "exact_tree_match": true, 109 "reachable_dag_nodes": 73, 110 "counters": { 111 "dependent_distribution": 3, 112 "literal_K": 3, 113 "literal_stem_fold": 6, 114 "identity": 2, 115 "literal_leaf_fold": 6 116 }, 117 "binders": [ 118 { 119 "binder": "x", 120 "counts": { 121 "dependent_distribution": 3, 122 "literal_K": 2, 123 "literal_stem_fold": 5, 124 "identity": 2, 125 "literal_leaf_fold": 6 126 } 127 }, 128 { 129 "binder": "flag", 130 "counts": { 131 "literal_K": 1, 132 "literal_stem_fold": 1 133 } 134 } 135 ] 136 }, 137 { 138 "name": "branchBound", 139 "exact_tree_match": true, 140 "reachable_dag_nodes": 94, 141 "counters": { 142 "dependent_distribution": 28, 143 "literal_K": 21, 144 "literal_stem_fold": 42, 145 "identity": 6, 146 "literal_leaf_fold": 48, 147 "variable_K": 2, 148 "constructor_K": 2 149 }, 150 "binders": [ 151 { 152 "binder": "z", 153 "counts": { 154 "dependent_distribution": 6, 155 "literal_K": 2, 156 "literal_stem_fold": 3, 157 "identity": 2, 158 "literal_leaf_fold": 6, 159 "variable_K": 2, 160 "constructor_K": 1 161 } 162 }, 163 { 164 "binder": "x", 165 "counts": { 166 "dependent_distribution": 16, 167 "literal_K": 13, 168 "literal_stem_fold": 27, 169 "identity": 3, 170 "literal_leaf_fold": 30, 171 "constructor_K": 1 172 } 173 }, 174 { 175 "binder": "flag", 176 "counts": { 177 "dependent_distribution": 6, 178 "literal_K": 6, 179 "literal_stem_fold": 12, 180 "identity": 1, 181 "literal_leaf_fold": 12 182 } 183 } 184 ] 185 }, 186 { 187 "name": "branchInline", 188 "exact_tree_match": true, 189 "reachable_dag_nodes": 82, 190 "counters": { 191 "dependent_distribution": 11, 192 "literal_K": 7, 193 "literal_stem_fold": 17, 194 "identity": 5, 195 "literal_leaf_fold": 22, 196 "variable_K": 1 197 }, 198 "binders": [ 199 { 200 "binder": "x", 201 "counts": { 202 "dependent_distribution": 9, 203 "literal_K": 5, 204 "literal_stem_fold": 13, 205 "identity": 4, 206 "literal_leaf_fold": 18, 207 "variable_K": 1 208 } 209 }, 210 { 211 "binder": "flag", 212 "counts": { 213 "dependent_distribution": 2, 214 "literal_K": 2, 215 "literal_stem_fold": 4, 216 "identity": 1, 217 "literal_leaf_fold": 4 218 } 219 } 220 ] 221 }, 222 { 223 "name": "constructorBound", 224 "exact_tree_match": true, 225 "reachable_dag_nodes": 86, 226 "counters": { 227 "dependent_distribution": 28, 228 "literal_K": 21, 229 "literal_stem_fold": 42, 230 "identity": 6, 231 "literal_leaf_fold": 48, 232 "variable_K": 2, 233 "constructor_K": 2 234 }, 235 "binders": [ 236 { 237 "binder": "z", 238 "counts": { 239 "dependent_distribution": 6, 240 "literal_K": 2, 241 "literal_stem_fold": 3, 242 "identity": 2, 243 "literal_leaf_fold": 6, 244 "variable_K": 2, 245 "constructor_K": 1 246 } 247 }, 248 { 249 "binder": "x", 250 "counts": { 251 "dependent_distribution": 16, 252 "literal_K": 13, 253 "literal_stem_fold": 27, 254 "identity": 3, 255 "literal_leaf_fold": 30, 256 "constructor_K": 1 257 } 258 }, 259 { 260 "binder": "flag", 261 "counts": { 262 "dependent_distribution": 6, 263 "literal_K": 6, 264 "literal_stem_fold": 12, 265 "identity": 1, 266 "literal_leaf_fold": 12 267 } 268 } 269 ] 270 }, 271 { 272 "name": "constructorInline", 273 "exact_tree_match": true, 274 "reachable_dag_nodes": 74, 275 "counters": { 276 "dependent_distribution": 11, 277 "literal_K": 7, 278 "literal_stem_fold": 17, 279 "identity": 5, 280 "literal_leaf_fold": 22, 281 "variable_K": 1 282 }, 283 "binders": [ 284 { 285 "binder": "x", 286 "counts": { 287 "dependent_distribution": 9, 288 "literal_K": 5, 289 "literal_stem_fold": 13, 290 "identity": 4, 291 "literal_leaf_fold": 18, 292 "variable_K": 1 293 } 294 }, 295 { 296 "binder": "flag", 297 "counts": { 298 "dependent_distribution": 2, 299 "literal_K": 2, 300 "literal_stem_fold": 4, 301 "identity": 1, 302 "literal_leaf_fold": 4 303 } 304 } 305 ] 306 }, 307 { 308 "name": "sharedBound", 309 "exact_tree_match": true, 310 "reachable_dag_nodes": 97, 311 "counters": { 312 "dependent_distribution": 4, 313 "literal_K": 3, 314 "literal_stem_fold": 7, 315 "identity": 3, 316 "literal_leaf_fold": 8 317 }, 318 "binders": [ 319 { 320 "binder": "z", 321 "counts": { 322 "dependent_distribution": 2, 323 "literal_K": 1, 324 "literal_stem_fold": 3, 325 "identity": 2, 326 "literal_leaf_fold": 4 327 } 328 }, 329 { 330 "binder": "x", 331 "counts": { 332 "dependent_distribution": 2, 333 "literal_K": 2, 334 "literal_stem_fold": 4, 335 "identity": 1, 336 "literal_leaf_fold": 4 337 } 338 } 339 ] 340 }, 341 { 342 "name": "sharedInline", 343 "exact_tree_match": true, 344 "reachable_dag_nodes": 95, 345 "counters": { 346 "dependent_distribution": 4, 347 "literal_K": 3, 348 "literal_stem_fold": 7, 349 "identity": 2, 350 "literal_leaf_fold": 8 351 }, 352 "binders": [ 353 { 354 "binder": "x", 355 "counts": { 356 "dependent_distribution": 4, 357 "literal_K": 3, 358 "literal_stem_fold": 7, 359 "identity": 2, 360 "literal_leaf_fold": 8 361 } 362 } 363 ] 364 }, 365 { 366 "name": "closureBound", 367 "exact_tree_match": true, 368 "reachable_dag_nodes": 51, 369 "counters": { 370 "variable_K": 1, 371 "dependent_distribution": 3, 372 "literal_K": 3, 373 "literal_stem_fold": 6, 374 "identity": 2, 375 "literal_leaf_fold": 6 376 }, 377 "binders": [ 378 { 379 "binder": "ignored", 380 "counts": { 381 "variable_K": 1 382 } 383 }, 384 { 385 "binder": "z", 386 "counts": { 387 "dependent_distribution": 1, 388 "literal_K": 1, 389 "literal_stem_fold": 2, 390 "identity": 1, 391 "literal_leaf_fold": 2 392 } 393 }, 394 { 395 "binder": "x", 396 "counts": { 397 "dependent_distribution": 2, 398 "literal_K": 2, 399 "literal_stem_fold": 4, 400 "identity": 1, 401 "literal_leaf_fold": 4 402 } 403 } 404 ] 405 }, 406 { 407 "name": "closureInline", 408 "exact_tree_match": true, 409 "reachable_dag_nodes": 52, 410 "counters": { 411 "independent_computation_distribution": 1, 412 "literal_K": 3, 413 "literal_stem_fold": 5, 414 "variable_K": 1, 415 "literal_leaf_fold": 6, 416 "dependent_distribution": 2, 417 "identity": 1 418 }, 419 "binders": [ 420 { 421 "binder": "ignored", 422 "counts": { 423 "independent_computation_distribution": 1, 424 "literal_K": 1, 425 "literal_stem_fold": 1, 426 "variable_K": 1, 427 "literal_leaf_fold": 2 428 } 429 }, 430 { 431 "binder": "x", 432 "counts": { 433 "literal_K": 2, 434 "literal_stem_fold": 4, 435 "literal_leaf_fold": 4, 436 "dependent_distribution": 2, 437 "identity": 1 438 } 439 } 440 ] 441 }, 442 { 443 "name": "unusedBound", 444 "exact_tree_match": true, 445 "reachable_dag_nodes": 51, 446 "counters": { 447 "variable_K": 1, 448 "dependent_distribution": 2, 449 "literal_K": 3, 450 "literal_stem_fold": 6, 451 "identity": 1, 452 "literal_leaf_fold": 6, 453 "independent_computation_distribution": 1 454 }, 455 "binders": [ 456 { 457 "binder": "z", 458 "counts": { 459 "variable_K": 1 460 } 461 }, 462 { 463 "binder": "x", 464 "counts": { 465 "dependent_distribution": 2, 466 "literal_K": 3, 467 "literal_stem_fold": 6, 468 "identity": 1, 469 "literal_leaf_fold": 6, 470 "independent_computation_distribution": 1 471 } 472 } 473 ] 474 }, 475 { 476 "name": "unusedInline", 477 "exact_tree_match": true, 478 "reachable_dag_nodes": 4, 479 "counters": { 480 "identity": 1 481 }, 482 "binders": [ 483 { 484 "binder": "x", 485 "counts": { 486 "identity": 1 487 } 488 } 489 ] 490 }, 491 { 492 "name": "closedBranchBound", 493 "exact_tree_match": true, 494 "reachable_dag_nodes": 106, 495 "counters": { 496 "dependent_distribution": 6, 497 "literal_K": 6, 498 "literal_stem_fold": 12, 499 "identity": 2, 500 "literal_leaf_fold": 14, 501 "variable_K": 1, 502 "independent_computation_distribution": 1 503 }, 504 "binders": [ 505 { 506 "binder": "z", 507 "counts": { 508 "dependent_distribution": 3, 509 "literal_K": 2, 510 "literal_stem_fold": 4, 511 "identity": 1, 512 "literal_leaf_fold": 6, 513 "variable_K": 1 514 } 515 }, 516 { 517 "binder": "flag", 518 "counts": { 519 "dependent_distribution": 3, 520 "literal_K": 4, 521 "literal_stem_fold": 8, 522 "identity": 1, 523 "literal_leaf_fold": 8, 524 "independent_computation_distribution": 1 525 } 526 } 527 ] 528 }, 529 { 530 "name": "closedBranchInline", 531 "exact_tree_match": true, 532 "reachable_dag_nodes": 101, 533 "counters": { 534 "dependent_distribution": 1, 535 "independent_computation_distribution": 3, 536 "literal_K": 4, 537 "literal_stem_fold": 8, 538 "literal_leaf_fold": 8, 539 "identity": 1 540 }, 541 "binders": [ 542 { 543 "binder": "flag", 544 "counts": { 545 "dependent_distribution": 1, 546 "independent_computation_distribution": 3, 547 "literal_K": 4, 548 "literal_stem_fold": 8, 549 "literal_leaf_fold": 8, 550 "identity": 1 551 } 552 } 553 ] 554 }, 555 { 556 "name": "adderBound", 557 "exact_tree_match": true, 558 "reachable_dag_nodes": 196, 559 "counters": { 560 "dependent_distribution": 119, 561 "literal_K": 100, 562 "literal_stem_fold": 176, 563 "independent_computation_distribution": 8, 564 "variable_K": 10, 565 "literal_leaf_fold": 216, 566 "identity": 13, 567 "constructor_K": 8 568 }, 569 "binders": [ 570 { 571 "binder": "z", 572 "counts": { 573 "dependent_distribution": 10, 574 "literal_K": 7, 575 "literal_stem_fold": 8, 576 "independent_computation_distribution": 8, 577 "variable_K": 10, 578 "literal_leaf_fold": 16, 579 "identity": 2 580 } 581 }, 582 { 583 "binder": "carry", 584 "counts": { 585 "dependent_distribution": 40, 586 "literal_K": 30, 587 "literal_stem_fold": 47, 588 "literal_leaf_fold": 66, 589 "identity": 5, 590 "constructor_K": 6 591 } 592 }, 593 { 594 "binder": "bbit", 595 "counts": { 596 "dependent_distribution": 48, 597 "literal_K": 43, 598 "literal_stem_fold": 80, 599 "literal_leaf_fold": 92, 600 "identity": 4, 601 "constructor_K": 2 602 } 603 }, 604 { 605 "binder": "abit", 606 "counts": { 607 "dependent_distribution": 21, 608 "literal_K": 20, 609 "literal_stem_fold": 41, 610 "literal_leaf_fold": 42, 611 "identity": 2 612 } 613 } 614 ] 615 }, 616 { 617 "name": "adderInline", 618 "exact_tree_match": true, 619 "reachable_dag_nodes": 154, 620 "counters": { 621 "dependent_distribution": 60, 622 "literal_K": 44, 623 "literal_stem_fold": 86, 624 "identity": 12, 625 "literal_leaf_fold": 108, 626 "variable_K": 6, 627 "independent_computation_distribution": 1, 628 "constructor_K": 2 629 }, 630 "binders": [ 631 { 632 "binder": "carry", 633 "counts": { 634 "dependent_distribution": 19, 635 "literal_K": 9, 636 "literal_stem_fold": 16, 637 "identity": 6, 638 "literal_leaf_fold": 28, 639 "variable_K": 6, 640 "independent_computation_distribution": 1 641 } 642 }, 643 { 644 "binder": "bbit", 645 "counts": { 646 "dependent_distribution": 29, 647 "literal_K": 24, 648 "literal_stem_fold": 47, 649 "identity": 4, 650 "literal_leaf_fold": 56, 651 "constructor_K": 2 652 } 653 }, 654 { 655 "binder": "abit", 656 "counts": { 657 "dependent_distribution": 12, 658 "literal_K": 11, 659 "literal_stem_fold": 23, 660 "identity": 2, 661 "literal_leaf_fold": 24 662 } 663 } 664 ] 665 } 666 ], 667 "demand": [ 668 { 669 "name": "unusedDemandBound", 670 "outcome": "expected-result" 671 }, 672 { 673 "name": "unselectedDemandBound", 674 "outcome": "expected-result" 675 }, 676 { 677 "name": "branchDemandBound", 678 "outcome": "expected-result" 679 }, 680 { 681 "name": "selectedDemandBound", 682 "outcome": "timeout", 683 "seconds": 3 684 }, 685 { 686 "name": "unusedDemandInline", 687 "outcome": "expected-result" 688 }, 689 { 690 "name": "unselectedDemandInline", 691 "outcome": "expected-result" 692 }, 693 { 694 "name": "branchDemandInline", 695 "outcome": "expected-result" 696 }, 697 { 698 "name": "selectedDemandInline", 699 "outcome": "timeout", 700 "seconds": 3 701 }, 702 { 703 "name": "closureInline", 704 "outcome": "expected-finite-function-tree", 705 "tree_sha256": "7542de6919ad65a15a1b95c1527423134ce1e1d4f5fca7ff37187b7fbcef4b25", 706 "tree_bytes": 182 707 }, 708 { 709 "name": "closureBound", 710 "outcome": "timeout", 711 "seconds": 3 712 }, 713 { 714 "name": "invokeClosureBound", 715 "outcome": "timeout", 716 "seconds": 3 717 }, 718 { 719 "name": "invokeClosureInline", 720 "outcome": "timeout", 721 "seconds": 3 722 } 723 ], 724 "samples": [ 725 { 726 "group": "single", 727 "size": 1024, 728 "name": "runsingleBound", 729 "repeat": 0, 730 "warmup": true, 731 "wall_ns": 3376205, 732 "allocated_bytes": 11487784 733 }, 734 { 735 "group": "constructor", 736 "size": 1024, 737 "name": "runconstructorInline", 738 "repeat": 0, 739 "warmup": true, 740 "wall_ns": 4003122, 741 "allocated_bytes": 13288648 742 }, 743 { 744 "group": "branch", 745 "size": 1024, 746 "name": "runbranchBound", 747 "repeat": 0, 748 "warmup": true, 749 "wall_ns": 2870135, 750 "allocated_bytes": 16427560 751 }, 752 { 753 "group": "single", 754 "size": 1024, 755 "name": "runsingleInline", 756 "repeat": 0, 757 "warmup": true, 758 "wall_ns": 3400881, 759 "allocated_bytes": 11284552 760 }, 761 { 762 "group": "shared", 763 "size": 512, 764 "name": "sharedBound", 765 "repeat": 0, 766 "warmup": true, 767 "wall_ns": 3836589, 768 "allocated_bytes": 5473888 769 }, 770 { 771 "group": "shared", 772 "size": 16, 773 "name": "sharedBound", 774 "repeat": 0, 775 "warmup": true, 776 "wall_ns": 449944, 777 "allocated_bytes": 144960 778 }, 779 { 780 "group": "single", 781 "size": 128, 782 "name": "runsingleBound", 783 "repeat": 0, 784 "warmup": true, 785 "wall_ns": 606338, 786 "allocated_bytes": 1461288 787 }, 788 { 789 "group": "constructor", 790 "size": 128, 791 "name": "runconstructorBound", 792 "repeat": 0, 793 "warmup": true, 794 "wall_ns": 990889, 795 "allocated_bytes": 1784520 796 }, 797 { 798 "group": "shared", 799 "size": 128, 800 "name": "sharedBound", 801 "repeat": 0, 802 "warmup": true, 803 "wall_ns": 622818, 804 "allocated_bytes": 1157192 805 }, 806 { 807 "group": "constructor", 808 "size": 128, 809 "name": "runconstructorInline", 810 "repeat": 0, 811 "warmup": true, 812 "wall_ns": 731192, 813 "allocated_bytes": 1680072 814 }, 815 { 816 "group": "branch", 817 "size": 1024, 818 "name": "runbranchInline", 819 "repeat": 0, 820 "warmup": true, 821 "wall_ns": 2739410, 822 "allocated_bytes": 15591976 823 }, 824 { 825 "group": "single", 826 "size": 128, 827 "name": "runsingleInline", 828 "repeat": 0, 829 "warmup": true, 830 "wall_ns": 823044, 831 "allocated_bytes": 1435688 832 }, 833 { 834 "group": "shared", 835 "size": 512, 836 "name": "sharedInline", 837 "repeat": 0, 838 "warmup": true, 839 "wall_ns": 2957640, 840 "allocated_bytes": 7736768 841 }, 842 { 843 "group": "shared", 844 "size": 128, 845 "name": "sharedInline", 846 "repeat": 0, 847 "warmup": true, 848 "wall_ns": 781346, 849 "allocated_bytes": 1717928 850 }, 851 { 852 "group": "branch", 853 "size": 128, 854 "name": "runbranchInline", 855 "repeat": 0, 856 "warmup": true, 857 "wall_ns": 1018100, 858 "allocated_bytes": 1974312 859 }, 860 { 861 "group": "shared", 862 "size": 16, 863 "name": "sharedInline", 864 "repeat": 0, 865 "warmup": true, 866 "wall_ns": 488987, 867 "allocated_bytes": 215376 868 }, 869 { 870 "group": "constructor", 871 "size": 1024, 872 "name": "runconstructorBound", 873 "repeat": 0, 874 "warmup": true, 875 "wall_ns": 3874861, 876 "allocated_bytes": 14124232 877 }, 878 { 879 "group": "branch", 880 "size": 128, 881 "name": "runbranchBound", 882 "repeat": 0, 883 "warmup": true, 884 "wall_ns": 1841125, 885 "allocated_bytes": 2080328 886 }, 887 { 888 "group": "branch", 889 "size": 128, 890 "name": "runbranchBound", 891 "repeat": 1, 892 "warmup": false, 893 "wall_ns": 995218, 894 "allocated_bytes": 2078760 895 }, 896 { 897 "group": "single", 898 "size": 128, 899 "name": "runsingleInline", 900 "repeat": 1, 901 "warmup": false, 902 "wall_ns": 828494, 903 "allocated_bytes": 1435688 904 }, 905 { 906 "group": "branch", 907 "size": 128, 908 "name": "runbranchInline", 909 "repeat": 1, 910 "warmup": false, 911 "wall_ns": 1047847, 912 "allocated_bytes": 1974312 913 }, 914 { 915 "group": "shared", 916 "size": 128, 917 "name": "sharedBound", 918 "repeat": 1, 919 "warmup": false, 920 "wall_ns": 919295, 921 "allocated_bytes": 1158760 922 }, 923 { 924 "group": "single", 925 "size": 1024, 926 "name": "runsingleInline", 927 "repeat": 1, 928 "warmup": false, 929 "wall_ns": 3324729, 930 "allocated_bytes": 11282984 931 }, 932 { 933 "group": "shared", 934 "size": 16, 935 "name": "sharedBound", 936 "repeat": 1, 937 "warmup": false, 938 "wall_ns": 452309, 939 "allocated_bytes": 144960 940 }, 941 { 942 "group": "shared", 943 "size": 16, 944 "name": "sharedInline", 945 "repeat": 1, 946 "warmup": false, 947 "wall_ns": 479119, 948 "allocated_bytes": 215376 949 }, 950 { 951 "group": "branch", 952 "size": 1024, 953 "name": "runbranchInline", 954 "repeat": 1, 955 "warmup": false, 956 "wall_ns": 4100715, 957 "allocated_bytes": 15593544 958 }, 959 { 960 "group": "constructor", 961 "size": 128, 962 "name": "runconstructorInline", 963 "repeat": 1, 964 "warmup": false, 965 "wall_ns": 913584, 966 "allocated_bytes": 1680072 967 }, 968 { 969 "group": "constructor", 970 "size": 1024, 971 "name": "runconstructorBound", 972 "repeat": 1, 973 "warmup": false, 974 "wall_ns": 4029241, 975 "allocated_bytes": 14124232 976 }, 977 { 978 "group": "shared", 979 "size": 128, 980 "name": "sharedInline", 981 "repeat": 1, 982 "warmup": false, 983 "wall_ns": 1124791, 984 "allocated_bytes": 1717928 985 }, 986 { 987 "group": "shared", 988 "size": 512, 989 "name": "sharedBound", 990 "repeat": 1, 991 "warmup": false, 992 "wall_ns": 3753904, 993 "allocated_bytes": 5473888 994 }, 995 { 996 "group": "constructor", 997 "size": 1024, 998 "name": "runconstructorInline", 999 "repeat": 1, 1000 "warmup": false, 1001 "wall_ns": 4541422, 1002 "allocated_bytes": 13290216 1003 }, 1004 { 1005 "group": "single", 1006 "size": 128, 1007 "name": "runsingleBound", 1008 "repeat": 1, 1009 "warmup": false, 1010 "wall_ns": 819167, 1011 "allocated_bytes": 1461288 1012 }, 1013 { 1014 "group": "constructor", 1015 "size": 128, 1016 "name": "runconstructorBound", 1017 "repeat": 1, 1018 "warmup": false, 1019 "wall_ns": 932429, 1020 "allocated_bytes": 1784520 1021 }, 1022 { 1023 "group": "shared", 1024 "size": 512, 1025 "name": "sharedInline", 1026 "repeat": 1, 1027 "warmup": false, 1028 "wall_ns": 4066300, 1029 "allocated_bytes": 7736768 1030 }, 1031 { 1032 "group": "single", 1033 "size": 1024, 1034 "name": "runsingleBound", 1035 "repeat": 1, 1036 "warmup": false, 1037 "wall_ns": 3452258, 1038 "allocated_bytes": 11487784 1039 }, 1040 { 1041 "group": "branch", 1042 "size": 1024, 1043 "name": "runbranchBound", 1044 "repeat": 1, 1045 "warmup": false, 1046 "wall_ns": 5094028, 1047 "allocated_bytes": 16429128 1048 }, 1049 { 1050 "group": "branch", 1051 "size": 128, 1052 "name": "runbranchInline", 1053 "repeat": 2, 1054 "warmup": false, 1055 "wall_ns": 995928, 1056 "allocated_bytes": 1974312 1057 }, 1058 { 1059 "group": "shared", 1060 "size": 16, 1061 "name": "sharedInline", 1062 "repeat": 2, 1063 "warmup": false, 1064 "wall_ns": 467277, 1065 "allocated_bytes": 215376 1066 }, 1067 { 1068 "group": "single", 1069 "size": 1024, 1070 "name": "runsingleBound", 1071 "repeat": 2, 1072 "warmup": false, 1073 "wall_ns": 3251301, 1074 "allocated_bytes": 11487784 1075 }, 1076 { 1077 "group": "single", 1078 "size": 128, 1079 "name": "runsingleBound", 1080 "repeat": 2, 1081 "warmup": false, 1082 "wall_ns": 841519, 1083 "allocated_bytes": 1461288 1084 }, 1085 { 1086 "group": "branch", 1087 "size": 128, 1088 "name": "runbranchBound", 1089 "repeat": 2, 1090 "warmup": false, 1091 "wall_ns": 1178531, 1092 "allocated_bytes": 2078760 1093 }, 1094 { 1095 "group": "shared", 1096 "size": 128, 1097 "name": "sharedBound", 1098 "repeat": 2, 1099 "warmup": false, 1100 "wall_ns": 888497, 1101 "allocated_bytes": 1157192 1102 }, 1103 { 1104 "group": "shared", 1105 "size": 16, 1106 "name": "sharedBound", 1107 "repeat": 2, 1108 "warmup": false, 1109 "wall_ns": 459613, 1110 "allocated_bytes": 144960 1111 }, 1112 { 1113 "group": "constructor", 1114 "size": 128, 1115 "name": "runconstructorBound", 1116 "repeat": 2, 1117 "warmup": false, 1118 "wall_ns": 944653, 1119 "allocated_bytes": 1784520 1120 }, 1121 { 1122 "group": "single", 1123 "size": 128, 1124 "name": "runsingleInline", 1125 "repeat": 2, 1126 "warmup": false, 1127 "wall_ns": 810140, 1128 "allocated_bytes": 1435688 1129 }, 1130 { 1131 "group": "constructor", 1132 "size": 1024, 1133 "name": "runconstructorBound", 1134 "repeat": 2, 1135 "warmup": false, 1136 "wall_ns": 5194176, 1137 "allocated_bytes": 14125800 1138 }, 1139 { 1140 "group": "constructor", 1141 "size": 128, 1142 "name": "runconstructorInline", 1143 "repeat": 2, 1144 "warmup": false, 1145 "wall_ns": 922431, 1146 "allocated_bytes": 1680072 1147 }, 1148 { 1149 "group": "shared", 1150 "size": 512, 1151 "name": "sharedBound", 1152 "repeat": 2, 1153 "warmup": false, 1154 "wall_ns": 3224450, 1155 "allocated_bytes": 5473888 1156 }, 1157 { 1158 "group": "branch", 1159 "size": 1024, 1160 "name": "runbranchInline", 1161 "repeat": 2, 1162 "warmup": false, 1163 "wall_ns": 4077561, 1164 "allocated_bytes": 15591976 1165 }, 1166 { 1167 "group": "shared", 1168 "size": 128, 1169 "name": "sharedInline", 1170 "repeat": 2, 1171 "warmup": false, 1172 "wall_ns": 1068345, 1173 "allocated_bytes": 1717928 1174 }, 1175 { 1176 "group": "single", 1177 "size": 1024, 1178 "name": "runsingleInline", 1179 "repeat": 2, 1180 "warmup": false, 1181 "wall_ns": 3772439, 1182 "allocated_bytes": 11284552 1183 }, 1184 { 1185 "group": "branch", 1186 "size": 1024, 1187 "name": "runbranchBound", 1188 "repeat": 2, 1189 "warmup": false, 1190 "wall_ns": 4050801, 1191 "allocated_bytes": 16427560 1192 }, 1193 { 1194 "group": "shared", 1195 "size": 512, 1196 "name": "sharedInline", 1197 "repeat": 2, 1198 "warmup": false, 1199 "wall_ns": 4700690, 1200 "allocated_bytes": 7736768 1201 }, 1202 { 1203 "group": "constructor", 1204 "size": 1024, 1205 "name": "runconstructorInline", 1206 "repeat": 2, 1207 "warmup": false, 1208 "wall_ns": 3857578, 1209 "allocated_bytes": 13288648 1210 }, 1211 { 1212 "group": "shared", 1213 "size": 128, 1214 "name": "sharedBound", 1215 "repeat": 3, 1216 "warmup": false, 1217 "wall_ns": 938721, 1218 "allocated_bytes": 1158760 1219 }, 1220 { 1221 "group": "shared", 1222 "size": 512, 1223 "name": "sharedInline", 1224 "repeat": 3, 1225 "warmup": false, 1226 "wall_ns": 4440572, 1227 "allocated_bytes": 7736768 1228 }, 1229 { 1230 "group": "constructor", 1231 "size": 1024, 1232 "name": "runconstructorInline", 1233 "repeat": 3, 1234 "warmup": false, 1235 "wall_ns": 3800442, 1236 "allocated_bytes": 13288648 1237 }, 1238 { 1239 "group": "branch", 1240 "size": 1024, 1241 "name": "runbranchBound", 1242 "repeat": 3, 1243 "warmup": false, 1244 "wall_ns": 4695801, 1245 "allocated_bytes": 16427560 1246 }, 1247 { 1248 "group": "shared", 1249 "size": 16, 1250 "name": "sharedInline", 1251 "repeat": 3, 1252 "warmup": false, 1253 "wall_ns": 457980, 1254 "allocated_bytes": 215376 1255 }, 1256 { 1257 "group": "branch", 1258 "size": 1024, 1259 "name": "runbranchInline", 1260 "repeat": 3, 1261 "warmup": false, 1262 "wall_ns": 3981871, 1263 "allocated_bytes": 15591976 1264 }, 1265 { 1266 "group": "single", 1267 "size": 1024, 1268 "name": "runsingleBound", 1269 "repeat": 3, 1270 "warmup": false, 1271 "wall_ns": 3280556, 1272 "allocated_bytes": 11487784 1273 }, 1274 { 1275 "group": "branch", 1276 "size": 128, 1277 "name": "runbranchBound", 1278 "repeat": 3, 1279 "warmup": false, 1280 "wall_ns": 1038649, 1281 "allocated_bytes": 2078760 1282 }, 1283 { 1284 "group": "branch", 1285 "size": 128, 1286 "name": "runbranchInline", 1287 "repeat": 3, 1288 "warmup": false, 1289 "wall_ns": 1030633, 1290 "allocated_bytes": 1974312 1291 }, 1292 { 1293 "group": "constructor", 1294 "size": 128, 1295 "name": "runconstructorBound", 1296 "repeat": 3, 1297 "warmup": false, 1298 "wall_ns": 1005297, 1299 "allocated_bytes": 1786088 1300 }, 1301 { 1302 "group": "shared", 1303 "size": 16, 1304 "name": "sharedBound", 1305 "repeat": 3, 1306 "warmup": false, 1307 "wall_ns": 448542, 1308 "allocated_bytes": 144960 1309 }, 1310 { 1311 "group": "single", 1312 "size": 128, 1313 "name": "runsingleBound", 1314 "repeat": 3, 1315 "warmup": false, 1316 "wall_ns": 936237, 1317 "allocated_bytes": 1461288 1318 }, 1319 { 1320 "group": "single", 1321 "size": 128, 1322 "name": "runsingleInline", 1323 "repeat": 3, 1324 "warmup": false, 1325 "wall_ns": 817494, 1326 "allocated_bytes": 1435688 1327 }, 1328 { 1329 "group": "shared", 1330 "size": 128, 1331 "name": "sharedInline", 1332 "repeat": 3, 1333 "warmup": false, 1334 "wall_ns": 1162140, 1335 "allocated_bytes": 1719496 1336 }, 1337 { 1338 "group": "shared", 1339 "size": 512, 1340 "name": "sharedBound", 1341 "repeat": 3, 1342 "warmup": false, 1343 "wall_ns": 3937599, 1344 "allocated_bytes": 5475456 1345 }, 1346 { 1347 "group": "constructor", 1348 "size": 128, 1349 "name": "runconstructorInline", 1350 "repeat": 3, 1351 "warmup": false, 1352 "wall_ns": 934293, 1353 "allocated_bytes": 1680072 1354 }, 1355 { 1356 "group": "single", 1357 "size": 1024, 1358 "name": "runsingleInline", 1359 "repeat": 3, 1360 "warmup": false, 1361 "wall_ns": 3409307, 1362 "allocated_bytes": 11282984 1363 }, 1364 { 1365 "group": "constructor", 1366 "size": 1024, 1367 "name": "runconstructorBound", 1368 "repeat": 3, 1369 "warmup": false, 1370 "wall_ns": 4027657, 1371 "allocated_bytes": 14124232 1372 }, 1373 { 1374 "group": "single", 1375 "size": 1024, 1376 "name": "runsingleBound", 1377 "repeat": 4, 1378 "warmup": false, 1379 "wall_ns": 3451487, 1380 "allocated_bytes": 11487784 1381 }, 1382 { 1383 "group": "constructor", 1384 "size": 1024, 1385 "name": "runconstructorBound", 1386 "repeat": 4, 1387 "warmup": false, 1388 "wall_ns": 3973295, 1389 "allocated_bytes": 14124232 1390 }, 1391 { 1392 "group": "branch", 1393 "size": 1024, 1394 "name": "runbranchInline", 1395 "repeat": 4, 1396 "warmup": false, 1397 "wall_ns": 4738071, 1398 "allocated_bytes": 15593544 1399 }, 1400 { 1401 "group": "single", 1402 "size": 128, 1403 "name": "runsingleInline", 1404 "repeat": 4, 1405 "warmup": false, 1406 "wall_ns": 825228, 1407 "allocated_bytes": 1435688 1408 }, 1409 { 1410 "group": "constructor", 1411 "size": 128, 1412 "name": "runconstructorInline", 1413 "repeat": 4, 1414 "warmup": false, 1415 "wall_ns": 924555, 1416 "allocated_bytes": 1680072 1417 }, 1418 { 1419 "group": "branch", 1420 "size": 128, 1421 "name": "runbranchInline", 1422 "repeat": 4, 1423 "warmup": false, 1424 "wall_ns": 1042656, 1425 "allocated_bytes": 1974312 1426 }, 1427 { 1428 "group": "single", 1429 "size": 128, 1430 "name": "runsingleBound", 1431 "repeat": 4, 1432 "warmup": false, 1433 "wall_ns": 819017, 1434 "allocated_bytes": 1461288 1435 }, 1436 { 1437 "group": "shared", 1438 "size": 128, 1439 "name": "sharedBound", 1440 "repeat": 4, 1441 "warmup": false, 1442 "wall_ns": 862879, 1443 "allocated_bytes": 1157192 1444 }, 1445 { 1446 "group": "shared", 1447 "size": 16, 1448 "name": "sharedInline", 1449 "repeat": 4, 1450 "warmup": false, 1451 "wall_ns": 470614, 1452 "allocated_bytes": 215376 1453 }, 1454 { 1455 "group": "branch", 1456 "size": 1024, 1457 "name": "runbranchBound", 1458 "repeat": 4, 1459 "warmup": false, 1460 "wall_ns": 4191495, 1461 "allocated_bytes": 16427560 1462 }, 1463 { 1464 "group": "constructor", 1465 "size": 1024, 1466 "name": "runconstructorInline", 1467 "repeat": 4, 1468 "warmup": false, 1469 "wall_ns": 3992281, 1470 "allocated_bytes": 13288648 1471 }, 1472 { 1473 "group": "shared", 1474 "size": 128, 1475 "name": "sharedInline", 1476 "repeat": 4, 1477 "warmup": false, 1478 "wall_ns": 1130702, 1479 "allocated_bytes": 1717928 1480 }, 1481 { 1482 "group": "shared", 1483 "size": 512, 1484 "name": "sharedBound", 1485 "repeat": 4, 1486 "warmup": false, 1487 "wall_ns": 3448972, 1488 "allocated_bytes": 5473888 1489 }, 1490 { 1491 "group": "constructor", 1492 "size": 128, 1493 "name": "runconstructorBound", 1494 "repeat": 4, 1495 "warmup": false, 1496 "wall_ns": 963758, 1497 "allocated_bytes": 1784520 1498 }, 1499 { 1500 "group": "branch", 1501 "size": 128, 1502 "name": "runbranchBound", 1503 "repeat": 4, 1504 "warmup": false, 1505 "wall_ns": 1166219, 1506 "allocated_bytes": 2078760 1507 }, 1508 { 1509 "group": "single", 1510 "size": 1024, 1511 "name": "runsingleInline", 1512 "repeat": 4, 1513 "warmup": false, 1514 "wall_ns": 3115957, 1515 "allocated_bytes": 11282984 1516 }, 1517 { 1518 "group": "shared", 1519 "size": 512, 1520 "name": "sharedInline", 1521 "repeat": 4, 1522 "warmup": false, 1523 "wall_ns": 3973226, 1524 "allocated_bytes": 7736768 1525 }, 1526 { 1527 "group": "shared", 1528 "size": 16, 1529 "name": "sharedBound", 1530 "repeat": 4, 1531 "warmup": false, 1532 "wall_ns": 441338, 1533 "allocated_bytes": 144960 1534 } 1535 ], 1536 "summaries": [ 1537 { 1538 "group": "branch", 1539 "size": 128, 1540 "name": "runbranchBound", 1541 "wall_ns": 1102434.0, 1542 "wall_ns_min": 995218, 1543 "wall_ns_max": 1178531, 1544 "allocated_bytes": 2078760.0, 1545 "allocated_bytes_min": 2078760, 1546 "allocated_bytes_max": 2078760 1547 }, 1548 { 1549 "group": "branch", 1550 "size": 128, 1551 "name": "runbranchInline", 1552 "wall_ns": 1036644.5, 1553 "wall_ns_min": 995928, 1554 "wall_ns_max": 1047847, 1555 "allocated_bytes": 1974312.0, 1556 "allocated_bytes_min": 1974312, 1557 "allocated_bytes_max": 1974312 1558 }, 1559 { 1560 "group": "branch", 1561 "size": 1024, 1562 "name": "runbranchBound", 1563 "wall_ns": 4443648.0, 1564 "wall_ns_min": 4050801, 1565 "wall_ns_max": 5094028, 1566 "allocated_bytes": 16427560.0, 1567 "allocated_bytes_min": 16427560, 1568 "allocated_bytes_max": 16429128 1569 }, 1570 { 1571 "group": "branch", 1572 "size": 1024, 1573 "name": "runbranchInline", 1574 "wall_ns": 4089138.0, 1575 "wall_ns_min": 3981871, 1576 "wall_ns_max": 4738071, 1577 "allocated_bytes": 15592760.0, 1578 "allocated_bytes_min": 15591976, 1579 "allocated_bytes_max": 15593544 1580 }, 1581 { 1582 "group": "constructor", 1583 "size": 128, 1584 "name": "runconstructorBound", 1585 "wall_ns": 954205.5, 1586 "wall_ns_min": 932429, 1587 "wall_ns_max": 1005297, 1588 "allocated_bytes": 1784520.0, 1589 "allocated_bytes_min": 1784520, 1590 "allocated_bytes_max": 1786088 1591 }, 1592 { 1593 "group": "constructor", 1594 "size": 128, 1595 "name": "runconstructorInline", 1596 "wall_ns": 923493.0, 1597 "wall_ns_min": 913584, 1598 "wall_ns_max": 934293, 1599 "allocated_bytes": 1680072.0, 1600 "allocated_bytes_min": 1680072, 1601 "allocated_bytes_max": 1680072 1602 }, 1603 { 1604 "group": "constructor", 1605 "size": 1024, 1606 "name": "runconstructorBound", 1607 "wall_ns": 4028449.0, 1608 "wall_ns_min": 3973295, 1609 "wall_ns_max": 5194176, 1610 "allocated_bytes": 14124232.0, 1611 "allocated_bytes_min": 14124232, 1612 "allocated_bytes_max": 14125800 1613 }, 1614 { 1615 "group": "constructor", 1616 "size": 1024, 1617 "name": "runconstructorInline", 1618 "wall_ns": 3924929.5, 1619 "wall_ns_min": 3800442, 1620 "wall_ns_max": 4541422, 1621 "allocated_bytes": 13288648.0, 1622 "allocated_bytes_min": 13288648, 1623 "allocated_bytes_max": 13290216 1624 }, 1625 { 1626 "group": "shared", 1627 "size": 16, 1628 "name": "sharedBound", 1629 "wall_ns": 450425.5, 1630 "wall_ns_min": 441338, 1631 "wall_ns_max": 459613, 1632 "allocated_bytes": 144960.0, 1633 "allocated_bytes_min": 144960, 1634 "allocated_bytes_max": 144960 1635 }, 1636 { 1637 "group": "shared", 1638 "size": 16, 1639 "name": "sharedInline", 1640 "wall_ns": 468945.5, 1641 "wall_ns_min": 457980, 1642 "wall_ns_max": 479119, 1643 "allocated_bytes": 215376.0, 1644 "allocated_bytes_min": 215376, 1645 "allocated_bytes_max": 215376 1646 }, 1647 { 1648 "group": "shared", 1649 "size": 128, 1650 "name": "sharedBound", 1651 "wall_ns": 903896.0, 1652 "wall_ns_min": 862879, 1653 "wall_ns_max": 938721, 1654 "allocated_bytes": 1157976.0, 1655 "allocated_bytes_min": 1157192, 1656 "allocated_bytes_max": 1158760 1657 }, 1658 { 1659 "group": "shared", 1660 "size": 128, 1661 "name": "sharedInline", 1662 "wall_ns": 1127746.5, 1663 "wall_ns_min": 1068345, 1664 "wall_ns_max": 1162140, 1665 "allocated_bytes": 1717928.0, 1666 "allocated_bytes_min": 1717928, 1667 "allocated_bytes_max": 1719496 1668 }, 1669 { 1670 "group": "shared", 1671 "size": 512, 1672 "name": "sharedBound", 1673 "wall_ns": 3601438.0, 1674 "wall_ns_min": 3224450, 1675 "wall_ns_max": 3937599, 1676 "allocated_bytes": 5473888.0, 1677 "allocated_bytes_min": 5473888, 1678 "allocated_bytes_max": 5475456 1679 }, 1680 { 1681 "group": "shared", 1682 "size": 512, 1683 "name": "sharedInline", 1684 "wall_ns": 4253436.0, 1685 "wall_ns_min": 3973226, 1686 "wall_ns_max": 4700690, 1687 "allocated_bytes": 7736768.0, 1688 "allocated_bytes_min": 7736768, 1689 "allocated_bytes_max": 7736768 1690 }, 1691 { 1692 "group": "single", 1693 "size": 128, 1694 "name": "runsingleBound", 1695 "wall_ns": 830343.0, 1696 "wall_ns_min": 819017, 1697 "wall_ns_max": 936237, 1698 "allocated_bytes": 1461288.0, 1699 "allocated_bytes_min": 1461288, 1700 "allocated_bytes_max": 1461288 1701 }, 1702 { 1703 "group": "single", 1704 "size": 128, 1705 "name": "runsingleInline", 1706 "wall_ns": 821361.0, 1707 "wall_ns_min": 810140, 1708 "wall_ns_max": 828494, 1709 "allocated_bytes": 1435688.0, 1710 "allocated_bytes_min": 1435688, 1711 "allocated_bytes_max": 1435688 1712 }, 1713 { 1714 "group": "single", 1715 "size": 1024, 1716 "name": "runsingleBound", 1717 "wall_ns": 3366021.5, 1718 "wall_ns_min": 3251301, 1719 "wall_ns_max": 3452258, 1720 "allocated_bytes": 11487784.0, 1721 "allocated_bytes_min": 11487784, 1722 "allocated_bytes_max": 11487784 1723 }, 1724 { 1725 "group": "single", 1726 "size": 1024, 1727 "name": "runsingleInline", 1728 "wall_ns": 3367018.0, 1729 "wall_ns_min": 3115957, 1730 "wall_ns_max": 3772439, 1731 "allocated_bytes": 11282984.0, 1732 "allocated_bytes_min": 11282984, 1733 "allocated_bytes_max": 11284552 1734 } 1735 ], 1736 "bundle_sha256": "ed3e319721b884a850a0c70a787d72dad73f04bc5e43991702094857cff37ee6", 1737 "eta_control": { 1738 "etaExpanded": { 1739 "root_tag": 2, 1740 "tree_sha256": "fb4357e654bfcfc76673c3fdf6fb5c0065092e876f0cb164a33d762169e03bc5" 1741 }, 1742 "etaContracted": { 1743 "root_tag": 0, 1744 "tree_sha256": "6e340b9cffb37a989ca544e6bb780a2c78901d3fb33738768511a30617afa01d" 1745 } 1746 }, 1747 "adder_truth_table_cases": 16 1748 } 1749 }