equal
deleted
inserted
replaced
784 1 successors: 10 |
784 1 successors: 10 |
785 2 successors: 0 |
785 2 successors: 0 |
786 more than 2 successors: 0 |
786 more than 2 successors: 0 |
787 available keys: |
787 available keys: |
788 ef1: 10 |
788 ef1: 10 |
789 operation: 8 |
789 operation: 10 |
790 user: 10 |
790 user: 10 |
791 marker size: |
791 marker size: |
792 format v1: |
792 format v1: |
793 smallest length: 75 |
793 smallest length: 90 |
794 longer length: 92 |
794 longer length: 92 |
795 median length: 91 |
795 median length: 91 |
796 mean length: 87 |
796 mean length: 91 |
797 format v0: |
797 format v0: |
798 smallest length: * (glob) |
798 smallest length: * (glob) |
799 longer length: * (glob) |
799 longer length: * (glob) |
800 median length: * (glob) |
800 median length: * (glob) |
801 mean length: * (glob) |
801 mean length: * (glob) |