Warning: session_start(): open(/var/lib/php/sessions/sess_3k5bv81qvggnr7aq2rgetqikt7, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
!include once #1030256 // Wikify
sclass TestWikify {
S text;
S pattern = "bla";
new Wikify wikify;
int n = oneMillion(), rep = 100;
swappable S makeText() {
ret rep('a', n) + " bla " + rep('b', n);
}
run {
if (text == null) text = makeText();
repeat 100 {
//PreciselyTimed i = returnPreciselyTimed_repeat(rep, () -> wikify.anyIndexOf(text, pattern));
int i = benchFor1Second(() -> wikify.anyIndexOf(text, pattern));
print(wikify.slowSearches + " | " + i);
//sleep(1000);
}
long size = l_long(wikify.indexed.searcher.getMem());
print("Wikify size: " + str_toK(size) + ", ratio: " + doublePercentRatio(size, l(text)));
}
}