Warning: session_start(): open(/var/lib/php/sessions/sess_ppq5275rv17mni96v6si5d70k9, 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
static S ai_solveQuestionInSubSpace_noTimeOut(T3 seed, T3 lookingFor) {
AI_SubSpace subSpace = new(1000);
ai_setSubSpace(subSpace);
try {
ai_postTriple(seed);
int step = 0;
while (!subSpace.limitReached()) {
++step;
int n = l(subSpace.webs);
print("Solving question: " + lookingFor + " (step " + step + ", " + n + "/" + subSpace.limit + ")");
pcall-short {
for (S term : concatLists(keys(subSpace.index), keys(subSpace.websByID)))
ai_speculate(term);
}
L newWebs = cloneSubList(subSpace.webs, n);
ai_spec_possiblyToActually(newWebs);
S a = ai_text(lookingFor);
if (a != null) ret a;
if (l(subSpace.webs) == n) break; // No more progress
}
null;
} finally {
ai_setSubSpace(null);
}
}