equal
deleted
inserted
replaced
978 sampling from both directions |
978 sampling from both directions |
979 searching: 3 queries |
979 searching: 3 queries |
980 query 3; still undecided: 980, sample size is: 200 |
980 query 3; still undecided: 980, sample size is: 200 |
981 sampling from both directions |
981 sampling from both directions |
982 searching: 4 queries |
982 searching: 4 queries |
983 query 4; still undecided: \d+, sample size is: 200 (re) |
983 query 4; still undecided: 435, sample size is: 210 |
984 sampling from both directions |
984 sampling from both directions |
985 searching: 5 queries |
985 searching: 5 queries |
986 query 5; still undecided: 195, sample size is: 195 |
986 query 5; still undecided: 185, sample size is: 185 |
987 5 total queries in *.????s (glob) |
987 5 total queries in *.????s (glob) |
988 elapsed time: * seconds (glob) |
988 elapsed time: * seconds (glob) |
989 heads summary: |
989 heads summary: |
990 total common heads: 1 |
990 total common heads: 1 |
991 also local heads: 0 |
991 also local heads: 0 |