<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_4aov56ol0jkitasbne9i6epshd, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
svoid runProbabilisticForNSeconds(double seconds, IProbabilistic p) {
  if (p == null) ret;
  p.run();
  runProbabilisticForNSeconds(seconds, p.scheduler());
}

svoid runProbabilisticForNSeconds(double seconds, IProbabilisticScheduler ps) {
  if (ps == null) ret;
  Timeout timeout = new(seconds);
  long steps = 0;
  while (!timeout.reached()) {
    ++steps;
    if (!ps.step())
      break;
  }
  
  print(nSteps(steps) + " in " + formatDouble(timeout.elapsedSeconds(), 1) + " s, reached probability " + ps.lastExecutedProbability());
}