{
 "tm": "1RB0RA_1LC0LF_1LE0LD_1LB---_1RA1LB_0LB0RC",
 "seed": 20261010,
 "results": [
  {
   "name": "OVERFLOW LR(W,b,c) -> LR(dW, b-2^D, c+2^D)",
   "instances": 150,
   "passed": 150
  },
  {
   "name": "R1 A> (101)^n -> (010)^n A>",
   "instances": 60,
   "passed": 60
  },
  {
   "name": "R2 A> 111 -> 000 A>",
   "instances": 60,
   "passed": 60
  },
  {
   "name": "R3 (010)^n <B -> <B (101)^n",
   "instances": 60,
   "passed": 60
  },
  {
   "name": "R4 100 <B -> <B 111 (carry)",
   "instances": 60,
   "passed": 60
  },
  {
   "name": "R5 000 <B -> 100 A> (turn)",
   "instances": 60,
   "passed": 60
  },
  {
   "name": "R6 0^inf <B -> 0^inf 100 A> (overflow)",
   "instances": 60,
   "passed": 60
  },
  {
   "name": "R7 A> 101 00 101 -> <B 00 101 101 (marker step)",
   "instances": 60,
   "passed": 60
  },
  {
   "name": "R8 010 A> 0^inf -> <B 00 101 0^inf (marker birth)",
   "instances": 60,
   "passed": 60
  },
  {
   "name": "ROUND K(W,b,c) -> K(inc W, b-1, c+1)",
   "instances": 372,
   "passed": 372,
   "steps_formula_passed": 372
  },
  {
   "name": "EAT(aligned W) reaches next K without halting",
   "instances": 400,
   "passed": 400
  }
 ]
}