equal
deleted
inserted
replaced
779 1 successors: 10 |
779 1 successors: 10 |
780 2 successors: 0 |
780 2 successors: 0 |
781 more than 2 successors: 0 |
781 more than 2 successors: 0 |
782 available keys: |
782 available keys: |
783 ef1: 10 |
783 ef1: 10 |
|
784 fold-id: 5 |
|
785 fold-idx: 5 |
|
786 fold-size: 5 |
784 operation: 10 |
787 operation: 10 |
785 user: 10 |
788 user: 10 |
786 marker size: |
789 marker size: |
787 format v1: |
790 format v1: |
788 smallest length: 90 |
791 smallest length: 90 |
789 longer length: 92 |
792 longer length: 131 |
790 median length: 91 |
793 median length: 130 |
791 mean length: 90 |
794 mean length: 110 |
792 format v0: |
795 format v0: |
793 smallest length: * (glob) |
796 smallest length: * (glob) |
794 longer length: * (glob) |
797 longer length: * (glob) |
795 median length: * (glob) |
798 median length: * (glob) |
796 mean length: * (glob) |
799 mean length: * (glob) |
797 disconnected clusters: 1 |
800 disconnected clusters: 1 |
798 any known node: 1 |
801 any known node: 1 |
799 smallest length: 10 |
802 smallest length: 10 |
800 longer length: 10 |
803 longer length: 10 |
801 median length: 10 |
804 median length: 10 |