<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_q75ccmblpa3to4tdba0ucbeste, 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 />
!7

sS isSmallerOrEq = "hctmgjqkmpmopddh * *";
sS isGreaterOrEq = "emyajonmfdmoogrx * *";

sO solver;

p {
  solver = hotwire(#1007393);
  
  int a = randomExcl(0, 1000);
  int b = randomExcl(1000, 2000);
  printVars(+a, +b);
  assertTrue(checkStatement(format(isSmallerOrEq, a, b));
  assertFalse(checkStatement(format(isSmallerOrEq, b, a));
  assertFalse(checkStatement(format(isGreaterOrEq, a, b));
  assertTrue(checkStatement(format(isGreaterOrEq, b, a));
  print("OK");
}

sbool checkStatement(S bla) {
  print ("Checking: " + bla);
  ret isYes(callAnswerMethod(solver, bla));
}