Gather data

This commit is contained in:
mike
2026-01-09 21:55:34 +01:00
parent 95891d9efe
commit 2ec023b49d
2 changed files with 19 additions and 21 deletions

View File

@@ -248,7 +248,7 @@ public class Main {
var tLoad1 = System.nanoTime();
section("Load");
info(String.format(Locale.ROOT, "words : %,d", dict.wordz().length));
info(String.format(Locale.ROOT, "words : %,d", dict.dictLength() ));
info(String.format(Locale.ROOT, "loadTime : %.3f s", (tLoad1 - tLoad0) / 1e9));
section("Search");
@@ -332,7 +332,7 @@ public class Main {
if (TOTAL_SUCCESS.get() > 0) {
info(String.format(Locale.ROOT, "avgSimplic : %.2f", TOTAL_SIMPLICITY.get() / 100.0 / TOTAL_SUCCESS.get()));
}
info(String.format(Locale.ROOT, "dictWords : %,d", dict.wordz().length));
info(String.format(Locale.ROOT, "dictWords : %,d", dict.dictLength()));
return resFinal;
}