Show More
@@ -985,7 +985,7 b' One with >200 heads. We now switch to se' | |||||
985 | sampling from both directions |
|
985 | sampling from both directions | |
986 | searching: 5 queries |
|
986 | searching: 5 queries | |
987 | query 5; still undecided: 185, sample size is: 185 (no-py3 !) |
|
987 | query 5; still undecided: 185, sample size is: 185 (no-py3 !) | |
988 |
query 5; still undecided: 187, sample size is: 18 |
|
988 | query 5; still undecided: 187, sample size is: 187 (py3 !) | |
989 | 5 total queries in *.????s (glob) |
|
989 | 5 total queries in *.????s (glob) | |
990 | elapsed time: * seconds (glob) |
|
990 | elapsed time: * seconds (glob) | |
991 | heads summary: |
|
991 | heads summary: |
General Comments 0
You need to be logged in to leave comments.
Login now