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: 435, sample size is: 210 |
983 query 4; still undecided: 435, sample size is: 210 (no-py3 !) |
|
984 query 4; still undecided: 430, sample size is: 210 (py3 !) |
984 sampling from both directions |
985 sampling from both directions |
985 searching: 5 queries |
986 searching: 5 queries |
986 query 5; still undecided: 185, sample size is: 185 |
987 query 5; still undecided: 185, sample size is: 185 (no-py3 !) |
|
988 query 5; still undecided: 187, sample size is: 185 (py3 !) |
987 5 total queries in *.????s (glob) |
989 5 total queries in *.????s (glob) |
988 elapsed time: * seconds (glob) |
990 elapsed time: * seconds (glob) |
989 heads summary: |
991 heads summary: |
990 total common heads: 1 |
992 total common heads: 1 |
991 also local heads: 0 |
993 also local heads: 0 |